runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand152.cudf.user-upgrades.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/user-upgrades/rand152.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand152.cudf.user-upgrades.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.14 1.02 0.85 3/37 18290
/proc/meminfo: memFree=305932/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=3712 CPUtime=0.01
/proc/18290/stat : 18290 (packup) D 18289 18289 17551 34817 17551 4202496 389 0 0 0 1 0 0 0 18 0 1 0 35369008 3801088 317 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/18290/statm: 928 317 273 59 0 92 0

[startup+0.147282 s]
/proc/loadavg: 1.14 1.02 0.85 3/37 18290
/proc/meminfo: memFree=305932/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=7292 CPUtime=0.09
/proc/18290/stat : 18290 (packup) R 18289 18289 17551 34817 17551 4202496 1313 0 0 0 9 0 0 0 25 0 1 0 35369008 7467008 1241 1283457024 134512640 134752139 4289584352 18446744073709551615 134706197 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18290/statm: 1823 1241 286 59 0 987 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9868

[startup+0.207273 s]
/proc/loadavg: 1.14 1.02 0.85 3/37 18290
/proc/meminfo: memFree=305932/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=8480 CPUtime=0.13
/proc/18290/stat : 18290 (packup) R 18289 18289 17551 34817 17551 4202496 1607 0 0 0 13 0 0 0 25 0 1 0 35369008 8683520 1535 1283457024 134512640 134752139 4289584352 18446744073709551615 4157336702 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18290/statm: 2120 1535 286 59 0 1284 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 11056

[startup+0.307291 s]
/proc/loadavg: 1.14 1.02 0.85 3/37 18290
/proc/meminfo: memFree=305932/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=11120 CPUtime=0.21
/proc/18290/stat : 18290 (packup) R 18289 18289 17551 34817 17551 4202496 2275 0 0 0 21 0 0 0 25 0 1 0 35369008 11386880 2203 1283457024 134512640 134752139 4289584352 18446744073709551615 134682058 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18290/statm: 2780 2203 286 59 0 1944 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13696

[startup+0.707346 s]
/proc/loadavg: 1.14 1.02 0.85 3/37 18290
/proc/meminfo: memFree=305932/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=20200 CPUtime=0.55
/proc/18290/stat : 18290 (packup) R 18289 18289 17551 34817 17551 4202496 4555 0 0 0 55 0 0 0 25 0 1 0 35369008 20684800 4483 1283457024 134512640 134752139 4289584352 18446744073709551615 134694880 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18290/statm: 5050 4483 286 59 0 4214 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 22776

[startup+1.50735 s]
/proc/loadavg: 1.14 1.02 0.85 1/38 18291
/proc/meminfo: memFree=257984/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=29104 CPUtime=0.86
/proc/18290/stat : 18290 (packup) R 18289 18289 17551 34817 17551 4202496 6830 0 0 0 84 2 0 0 23 0 1 0 35369008 29802496 6709 1283457024 134512640 134752139 4289584352 18446744073709551615 134681869 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18290/statm: 7276 6709 286 59 0 6440 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 31680

[startup+3.10818 s]
/proc/loadavg: 1.13 1.02 0.85 2/38 18291
/proc/meminfo: memFree=232656/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46088 CPUtime=1.49
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11096 0 0 0 136 13 0 0 24 0 1 0 35369008 47194112 10831 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11522 10831 325 59 0 10686 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48664
heavy processes:

[startup+6.30917 s]
/proc/loadavg: 1.13 1.02 0.85 2/41 18309
/proc/meminfo: memFree=223804/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46096 CPUtime=4.37
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11265 22552 0 0 152 40 221 24 18 0 1 0 35369008 47202304 10852 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11524 10852 333 59 0 10688 0
[pid=18304] ppid=18290 vsize=1676 CPUtime=0
/proc/18304/stat : 18304 (sh) S 18290 18289 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35369527 1716224 124 1283457024 134512640 134593992 4292020192 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18304/statm: 419 124 108 20 0 46 0
[pid=18305] ppid=18304 vsize=2568 CPUtime=0
/proc/18305/stat : 18305 (run_h) S 18304 18289 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35369528 2629632 272 1283457024 134512640 135304128 4289977856 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18305/statm: 642 272 232 194 0 29 0
[pid=18309] ppid=18305 vsize=39220 CPUtime=1.1
/proc/18309/stat : 18309 (minisatp_32) R 18305 18289 17551 34817 17551 4202496 10618 0 0 0 98 12 0 0 25 0 1 0 35369528 40161280 8821 1283457024 134512640 135413687 4291579776 18446744073709551615 134648924 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18309/statm: 9805 8821 90 220 0 9583 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 92136

[startup+12.7108 s]
/proc/loadavg: 1.11 1.02 0.85 2/43 18320
/proc/meminfo: memFree=151604/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46100 CPUtime=7.53
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11335 47829 0 0 164 52 494 43 18 0 1 0 35369008 47206400 10853 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11525 10853 333 59 0 10689 0
[pid=18310] ppid=18290 vsize=1676 CPUtime=0
/proc/18310/stat : 18310 (sh) S 18290 18289 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35369842 1716224 124 1283457024 134512640 134593992 4289811920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18310/statm: 419 124 108 20 0 46 0
[pid=18311] ppid=18310 vsize=2576 CPUtime=0
/proc/18311/stat : 18311 (run_h) S 18310 18289 17551 34817 17551 4202496 368 609 0 0 0 0 0 0 21 0 1 0 35369843 2637824 273 1283457024 134512640 135304128 4286780160 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18311/statm: 644 273 232 194 0 31 0
[pid=18315] ppid=18311 vsize=2568 CPUtime=0
/proc/18315/stat : 18315 (run_scip) S 18311 18289 17551 34817 17551 4202496 392 758 0 0 0 0 0 0 22 0 1 0 35369843 2629632 268 1283457024 134512640 135304128 4294302240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18315/statm: 642 268 228 194 0 29 0
[pid=18319] ppid=18315 vsize=88024 CPUtime=4.34
/proc/18319/stat : 18319 (scip-2.0.1.linu) R 18315 18289 17551 34817 17551 4202496 28102 0 0 0 382 52 0 0 25 0 1 0 35369844 90136576 19922 1283457024 134512640 143279753 4293075120 18446744073709551615 134917990 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18319/statm: 22006 19922 653 2141 0 19862 0
[pid=18320] ppid=18315 vsize=7192 CPUtime=0
/proc/18320/stat : 18320 (scip2v) S 18315 18289 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35369856 7364608 848 1283457024 134512640 136477024 4292165664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18320/statm: 1798 848 474 480 0 383 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 150712

Solver just ended. Dumping a history of the last processes samples

[startup+12.8108 s]
/proc/loadavg: 1.11 1.02 0.85 2/43 18320
/proc/meminfo: memFree=151604/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46100 CPUtime=7.53
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11335 47829 0 0 164 52 494 43 18 0 1 0 35369008 47206400 10853 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11525 10853 333 59 0 10689 0
[pid=18310] ppid=18290 vsize=1676 CPUtime=0
/proc/18310/stat : 18310 (sh) S 18290 18289 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35369842 1716224 124 1283457024 134512640 134593992 4289811920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18310/statm: 419 124 108 20 0 46 0
[pid=18311] ppid=18310 vsize=2576 CPUtime=0
/proc/18311/stat : 18311 (run_h) S 18310 18289 17551 34817 17551 4202496 368 609 0 0 0 0 0 0 21 0 1 0 35369843 2637824 273 1283457024 134512640 135304128 4286780160 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18311/statm: 644 273 232 194 0 31 0
[pid=18315] ppid=18311 vsize=2568 CPUtime=0
/proc/18315/stat : 18315 (run_scip) S 18311 18289 17551 34817 17551 4202496 392 758 0 0 0 0 0 0 22 0 1 0 35369843 2629632 268 1283457024 134512640 135304128 4294302240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18315/statm: 642 268 228 194 0 29 0
[pid=18319] ppid=18315 vsize=88024 CPUtime=4.44
/proc/18319/stat : 18319 (scip-2.0.1.linu) R 18315 18289 17551 34817 17551 4202496 28618 0 0 0 392 52 0 0 25 0 1 0 35369844 90136576 19922 1283457024 134512640 143279753 4293075120 18446744073709551615 134603194 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18319/statm: 22006 19922 653 2141 0 19862 0
[pid=18320] ppid=18315 vsize=7192 CPUtime=0
/proc/18320/stat : 18320 (scip2v) S 18315 18289 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35369856 7364608 848 1283457024 134512640 136477024 4292165664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18320/statm: 1798 848 474 480 0 383 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 150712

[startup+16.0118 s]
/proc/loadavg: 1.11 1.02 0.85 2/43 18320
/proc/meminfo: memFree=149868/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46100 CPUtime=7.53
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11335 47829 0 0 164 52 494 43 18 0 1 0 35369008 47206400 10853 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11525 10853 333 59 0 10689 0
[pid=18310] ppid=18290 vsize=1676 CPUtime=0
/proc/18310/stat : 18310 (sh) S 18290 18289 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35369842 1716224 124 1283457024 134512640 134593992 4289811920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18310/statm: 419 124 108 20 0 46 0
[pid=18311] ppid=18310 vsize=2576 CPUtime=0
/proc/18311/stat : 18311 (run_h) S 18310 18289 17551 34817 17551 4202496 368 609 0 0 0 0 0 0 21 0 1 0 35369843 2637824 273 1283457024 134512640 135304128 4286780160 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18311/statm: 644 273 232 194 0 31 0
[pid=18315] ppid=18311 vsize=2568 CPUtime=0
/proc/18315/stat : 18315 (run_scip) S 18311 18289 17551 34817 17551 4202496 392 758 0 0 0 0 0 0 22 0 1 0 35369843 2629632 268 1283457024 134512640 135304128 4294302240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18315/statm: 642 268 228 194 0 29 0
[pid=18319] ppid=18315 vsize=89352 CPUtime=7.63
/proc/18319/stat : 18319 (scip-2.0.1.linu) R 18315 18289 17551 34817 17551 4202496 36176 0 0 0 686 77 0 0 25 0 1 0 35369844 91496448 20256 1283457024 134512640 143279753 4293075120 18446744073709551615 136545406 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18319/statm: 22338 20256 657 2141 0 20194 0
[pid=18320] ppid=18315 vsize=7192 CPUtime=0
/proc/18320/stat : 18320 (scip2v) S 18315 18289 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35369856 7364608 848 1283457024 134512640 136477024 4292165664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18320/statm: 1798 848 474 480 0 383 0
Current children cumulated CPU time (s) 15.16
Current children cumulated vsize (KiB) 152040

[startup+17.6122 s]
/proc/loadavg: 1.10 1.01 0.85 2/43 18320
/proc/meminfo: memFree=149496/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46100 CPUtime=7.53
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11335 47829 0 0 164 52 494 43 18 0 1 0 35369008 47206400 10853 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11525 10853 333 59 0 10689 0
[pid=18310] ppid=18290 vsize=1676 CPUtime=0
/proc/18310/stat : 18310 (sh) S 18290 18289 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35369842 1716224 124 1283457024 134512640 134593992 4289811920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18310/statm: 419 124 108 20 0 46 0
[pid=18311] ppid=18310 vsize=2576 CPUtime=0
/proc/18311/stat : 18311 (run_h) S 18310 18289 17551 34817 17551 4202496 368 609 0 0 0 0 0 0 21 0 1 0 35369843 2637824 273 1283457024 134512640 135304128 4286780160 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18311/statm: 644 273 232 194 0 31 0
[pid=18315] ppid=18311 vsize=2568 CPUtime=0
/proc/18315/stat : 18315 (run_scip) S 18311 18289 17551 34817 17551 4202496 392 758 0 0 0 0 0 0 22 0 1 0 35369843 2629632 268 1283457024 134512640 135304128 4294302240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18315/statm: 642 268 228 194 0 29 0
[pid=18319] ppid=18315 vsize=89560 CPUtime=9.23
/proc/18319/stat : 18319 (scip-2.0.1.linu) R 18315 18289 17551 34817 17551 4202496 40131 0 0 0 837 86 0 0 25 0 1 0 35369844 91709440 20341 1283457024 134512640 143279753 4293075120 18446744073709551615 134603190 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18319/statm: 22390 20341 657 2141 0 20246 0
[pid=18320] ppid=18315 vsize=7192 CPUtime=0
/proc/18320/stat : 18320 (scip2v) S 18315 18289 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35369856 7364608 851 1283457024 134512640 136477024 4292165664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18320/statm: 1798 851 474 480 0 383 0
Current children cumulated CPU time (s) 16.76
Current children cumulated vsize (KiB) 152248

[startup+18.4123 s]
/proc/loadavg: 1.10 1.01 0.85 2/43 18320
/proc/meminfo: memFree=149496/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46100 CPUtime=7.53
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11335 47829 0 0 164 52 494 43 18 0 1 0 35369008 47206400 10853 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11525 10853 333 59 0 10689 0
[pid=18310] ppid=18290 vsize=1676 CPUtime=0
/proc/18310/stat : 18310 (sh) S 18290 18289 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35369842 1716224 124 1283457024 134512640 134593992 4289811920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18310/statm: 419 124 108 20 0 46 0
[pid=18311] ppid=18310 vsize=2576 CPUtime=0
/proc/18311/stat : 18311 (run_h) S 18310 18289 17551 34817 17551 4202496 368 609 0 0 0 0 0 0 21 0 1 0 35369843 2637824 273 1283457024 134512640 135304128 4286780160 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18311/statm: 644 273 232 194 0 31 0
[pid=18315] ppid=18311 vsize=2568 CPUtime=0
/proc/18315/stat : 18315 (run_scip) S 18311 18289 17551 34817 17551 4202496 392 758 0 0 0 0 0 0 22 0 1 0 35369843 2629632 268 1283457024 134512640 135304128 4294302240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18315/statm: 642 268 228 194 0 29 0
[pid=18319] ppid=18315 vsize=89560 CPUtime=10.04
/proc/18319/stat : 18319 (scip-2.0.1.linu) R 18315 18289 17551 34817 17551 4202496 42324 0 0 0 914 90 0 0 25 0 1 0 35369844 91709440 20341 1283457024 134512640 143279753 4293075120 18446744073709551615 141131408 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18319/statm: 22390 20341 657 2141 0 20246 0
[pid=18320] ppid=18315 vsize=7192 CPUtime=0
/proc/18320/stat : 18320 (scip2v) S 18315 18289 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35369856 7364608 851 1283457024 134512640 136477024 4292165664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18320/statm: 1798 851 474 480 0 383 0
Current children cumulated CPU time (s) 17.57
Current children cumulated vsize (KiB) 152248

[startup+19.2125 s]
/proc/loadavg: 1.10 1.01 0.85 2/43 18320
/proc/meminfo: memFree=149496/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46100 CPUtime=7.53
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11335 47829 0 0 164 52 494 43 18 0 1 0 35369008 47206400 10853 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11525 10853 333 59 0 10689 0
[pid=18310] ppid=18290 vsize=1676 CPUtime=0
/proc/18310/stat : 18310 (sh) S 18290 18289 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35369842 1716224 124 1283457024 134512640 134593992 4289811920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18310/statm: 419 124 108 20 0 46 0
[pid=18311] ppid=18310 vsize=2576 CPUtime=0
/proc/18311/stat : 18311 (run_h) S 18310 18289 17551 34817 17551 4202496 368 609 0 0 0 0 0 0 21 0 1 0 35369843 2637824 273 1283457024 134512640 135304128 4286780160 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18311/statm: 644 273 232 194 0 31 0
[pid=18315] ppid=18311 vsize=2568 CPUtime=0
/proc/18315/stat : 18315 (run_scip) S 18311 18289 17551 34817 17551 4202496 392 758 0 0 0 0 0 0 22 0 1 0 35369843 2629632 268 1283457024 134512640 135304128 4294302240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18315/statm: 642 268 228 194 0 29 0
[pid=18319] ppid=18315 vsize=89560 CPUtime=10.83
/proc/18319/stat : 18319 (scip-2.0.1.linu) R 18315 18289 17551 34817 17551 4202496 46194 0 0 0 989 94 0 0 25 0 1 0 35369844 91709440 20341 1283457024 134512640 143279753 4293075120 18446744073709551615 134605015 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18319/statm: 22390 20341 657 2141 0 20246 0
[pid=18320] ppid=18315 vsize=7192 CPUtime=0
/proc/18320/stat : 18320 (scip2v) S 18315 18289 17551 34817 17551 4202496 1013 0 0 0 0 0 0 0 18 0 1 0 35369856 7364608 852 1283457024 134512640 136477024 4292165664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18320/statm: 1798 852 474 480 0 383 0
Current children cumulated CPU time (s) 18.36
Current children cumulated vsize (KiB) 152248

[startup+19.6126 s]
/proc/loadavg: 1.10 1.01 0.85 2/43 18320
/proc/meminfo: memFree=149496/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=46100 CPUtime=7.53
/proc/18290/stat : 18290 (packup) S 18289 18289 17551 34817 17551 4202496 11335 47829 0 0 164 52 494 43 18 0 1 0 35369008 47206400 10853 1283457024 134512640 134752139 4289584352 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18290/statm: 11525 10853 333 59 0 10689 0
[pid=18310] ppid=18290 vsize=1676 CPUtime=0
/proc/18310/stat : 18310 (sh) S 18290 18289 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35369842 1716224 124 1283457024 134512640 134593992 4289811920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18310/statm: 419 124 108 20 0 46 0
[pid=18311] ppid=18310 vsize=2576 CPUtime=0
/proc/18311/stat : 18311 (run_h) S 18310 18289 17551 34817 17551 4202496 368 609 0 0 0 0 0 0 21 0 1 0 35369843 2637824 273 1283457024 134512640 135304128 4286780160 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18311/statm: 644 273 232 194 0 31 0
[pid=18315] ppid=18311 vsize=2568 CPUtime=0
/proc/18315/stat : 18315 (run_scip) S 18311 18289 17551 34817 17551 4202496 392 758 0 0 0 0 0 0 22 0 1 0 35369843 2629632 268 1283457024 134512640 135304128 4294302240 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18315/statm: 642 268 228 194 0 29 0
[pid=18319] ppid=18315 vsize=92744 CPUtime=11.15
/proc/18319/stat : 18319 (scip-2.0.1.linu) R 18315 18289 17551 34817 17551 4202496 47061 0 0 0 1017 98 0 0 25 0 1 0 35369844 94969856 21144 1283457024 134512640 143279753 4293075120 18446744073709551615 134766190 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18319/statm: 23186 21144 746 2141 0 21042 0
[pid=18320] ppid=18315 vsize=7324 CPUtime=0.09
/proc/18320/stat : 18320 (scip2v) S 18315 18289 17551 34817 17551 4202496 1048 0 0 0 5 4 0 0 18 0 1 0 35369856 7499776 887 1283457024 134512640 136477024 4292165664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18320/statm: 1831 887 479 480 0 416 0
Current children cumulated CPU time (s) 18.77
Current children cumulated vsize (KiB) 155564

[startup+19.7129 s]
/proc/loadavg: 1.10 1.01 0.85 2/43 18320
/proc/meminfo: memFree=149496/1048576 swapFree=0/0
[pid=18289] ppid=18288 vsize=2576 CPUtime=0
/proc/18289/stat : 18289 (packup2hy4tr-0.) S 18288 18289 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35369008 2637824 274 1283457024 134512640 135304128 4287128240 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18289/statm: 644 274 233 194 0 31 0
[pid=18290] ppid=18289 vsize=45328 CPUtime=18.86
/proc/18290/stat : 18290 (packup) R 18289 18289 17551 34817 17551 4202496 20661 98301 0 0 168 54 1518 146 18 0 1 0 35369008 46415872 10672 1283457024 134512640 134752139 4289584352 18446744073709551615 4159119553 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18290/statm: 11332 10672 345 59 0 10496 0
Current children cumulated CPU time (s) 18.86
Current children cumulated vsize (KiB) 47904

Child status: 0
Real time (s): 19.7588
CPU time (s): 18.9332
CPU user time (s): 16.9171
CPU system time (s): 2.01613
CPU usage (%): 95.8213
Max. virtual memory (cumulated for all children) (KiB): 155564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9171
system time used= 2.01613
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12649
involuntary context switches= 12855

runsolver used 0.008 second user time and 0 second system time

The end