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/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/dudf-real//e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.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.04 1.04 1.00 3/38 24216
/proc/meminfo: memFree=110144/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=3716 CPUtime=0
/proc/24216/stat : 24216 (packup) D 24215 24215 17551 34817 17551 4202496 388 0 0 0 0 0 0 0 18 0 1 0 36047182 3805184 317 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/24216/statm: 929 317 273 59 0 93 0

[startup+0.116116 s]
/proc/loadavg: 1.04 1.04 1.00 3/38 24216
/proc/meminfo: memFree=110144/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=5300 CPUtime=0.03
/proc/24216/stat : 24216 (packup) D 24215 24215 17551 34817 17551 4202496 821 0 0 0 2 1 0 0 25 0 1 0 36047182 5427200 750 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/24216/statm: 1325 750 286 59 0 489 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7876

[startup+0.204112 s]
/proc/loadavg: 1.04 1.04 1.00 3/38 24216
/proc/meminfo: memFree=110144/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=7292 CPUtime=0.07
/proc/24216/stat : 24216 (packup) R 24215 24215 17551 34817 17551 4202496 1328 0 0 0 6 1 0 0 25 0 1 0 36047182 7467008 1257 1283457024 134512640 134752139 4290288992 18446744073709551615 134681608 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24216/statm: 1823 1257 286 59 0 987 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9868

[startup+0.304129 s]
/proc/loadavg: 1.04 1.04 1.00 3/38 24216
/proc/meminfo: memFree=110144/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=8612 CPUtime=0.1
/proc/24216/stat : 24216 (packup) R 24215 24215 17551 34817 17551 4202496 1645 0 0 0 9 1 0 0 25 0 1 0 36047182 8818688 1574 1283457024 134512640 134752139 4290288992 18446744073709551615 4159186196 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24216/statm: 2153 1574 286 59 0 1317 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11188

[startup+0.704163 s]
/proc/loadavg: 1.04 1.04 1.00 3/38 24216
/proc/meminfo: memFree=110144/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=14692 CPUtime=0.27
/proc/24216/stat : 24216 (packup) R 24215 24215 17551 34817 17551 4202496 3166 0 0 0 26 1 0 0 25 0 1 0 36047182 15044608 3095 1283457024 134512640 134752139 4290288992 18446744073709551615 4157732607 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24216/statm: 3673 3095 286 59 0 2837 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 17268

[startup+1.50558 s]
/proc/loadavg: 1.04 1.04 1.00 2/39 24217
/proc/meminfo: memFree=72804/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=38260 CPUtime=1
/proc/24216/stat : 24216 (packup) R 24215 24215 17551 34817 17551 4202496 9160 0 0 0 94 6 0 0 25 0 1 0 36047182 39178240 8991 1283457024 134512640 134752139 4290288992 18446744073709551615 134589576 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24216/statm: 9565 8991 306 59 0 8729 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 40836

[startup+3.10591 s]
/proc/loadavg: 1.04 1.04 1.00 2/42 24223
/proc/meminfo: memFree=37848/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49172 CPUtime=1.54
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 11923 0 0 0 128 26 0 0 25 0 1 0 36047182 50352128 11512 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12293 11512 325 59 0 11457 0
[pid=24218] ppid=24216 vsize=1672 CPUtime=0
/proc/24218/stat : 24218 (sh) S 24216 24215 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 25 0 1 0 36047386 1712128 124 1283457024 134512640 134593992 4286653120 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24218/statm: 418 124 108 20 0 45 0
[pid=24219] ppid=24218 vsize=2568 CPUtime=0
/proc/24219/stat : 24219 (run_h) S 24218 24215 17551 34817 17551 4202496 368 614 0 0 0 0 0 0 25 0 1 0 36047387 2629632 273 1283457024 134512640 135304128 4294683264 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24219/statm: 642 273 232 194 0 29 0
[pid=24223] ppid=24219 vsize=27944 CPUtime=1.05
/proc/24223/stat : 24223 (minisatp_32) R 24219 24215 17551 34817 17551 4202496 6251 0 0 0 103 2 0 0 25 0 1 0 36047387 28614656 5557 1283457024 134512640 135413687 4293896624 18446744073709551615 134752627 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24223/statm: 6986 5557 77 220 0 6764 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 83932

[startup+6.30663 s]
/proc/loadavg: 1.04 1.04 1.00 2/42 24223
/proc/meminfo: memFree=12036/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49176 CPUtime=5.44
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12020 29695 0 0 152 40 320 32 18 0 1 0 36047182 50356224 11532 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12294 11532 333 59 0 11458 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 51752

[startup+12.7009 s]
/proc/loadavg: 1.03 1.04 1.00 2/42 24229
/proc/meminfo: memFree=16788/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49180 CPUtime=12.14
/proc/24216/stat : 24216 (packup) R 24215 24215 17551 34817 17551 4202496 12139 86228 0 0 157 41 932 84 18 0 1 0 36047182 50360320 11543 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24216/statm: 12295 11543 333 59 0 11459 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 51756

[startup+25.5075 s]
/proc/loadavg: 1.11 1.06 1.01 2/43 24246
/proc/meminfo: memFree=39456/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.01
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 771 0 0 0 0 0 1 22 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=138344 CPUtime=5.48
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4202496 34644 0 0 0 499 49 0 0 25 0 1 0 36049181 141664256 32128 1283457024 134512640 143279753 4289756560 18446744073709551615 135922136 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 34586 32128 620 2141 0 32442 0
[pid=24246] ppid=24241 vsize=7188 CPUtime=0.01
/proc/24246/stat : 24246 (scip2v) S 24241 24215 17551 34817 17551 4202496 1008 0 0 0 0 1 0 0 18 0 1 0 36049193 7360512 846 1283457024 134512640 136477024 4287499184 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24246/statm: 1797 846 474 480 0 382 0
Current children cumulated CPU time (s) 24.64
Current children cumulated vsize (KiB) 204108

[startup+51.1044 s]
/proc/loadavg: 1.07 1.05 1.00 2/43 24246
/proc/meminfo: memFree=7956/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.01
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 771 0 0 0 0 0 1 22 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=198884 CPUtime=31.01
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4202496 105131 0 0 0 2916 185 0 0 25 0 1 0 36049181 203657216 46857 1283457024 134512640 143279753 4289756560 18446744073709551615 135227021 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 49721 46857 657 2141 0 47577 0
[pid=24246] ppid=24241 vsize=7188 CPUtime=0.02
/proc/24246/stat : 24246 (scip2v) S 24241 24215 17551 34817 17551 4202496 1015 0 0 0 0 2 0 0 18 0 1 0 36049193 7360512 853 1283457024 134512640 136477024 4287499184 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24246/statm: 1797 853 474 480 0 382 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (KiB) 264648

[startup+102.31 s]
/proc/loadavg: 1.03 1.04 1.00 2/43 24246
/proc/meminfo: memFree=7512/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.01
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 771 0 0 0 0 0 1 22 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=513740 CPUtime=82.04
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4202496 231292 0 0 0 7954 250 0 0 25 0 1 0 36049181 526069760 124940 1283457024 134512640 143279753 4289756560 18446744073709551615 136059675 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 128435 124940 657 2141 0 126291 0
[pid=24246] ppid=24241 vsize=7188 CPUtime=0.02
/proc/24246/stat : 24246 (scip2v) S 24241 24215 17551 34817 17551 4202496 1015 0 0 0 0 2 0 0 18 0 1 0 36049193 7360512 853 1283457024 134512640 136477024 4287499184 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24246/statm: 1797 853 474 480 0 382 0
Current children cumulated CPU time (s) 101.21
Current children cumulated vsize (KiB) 579504

[startup+162.308 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 24246
/proc/meminfo: memFree=6252/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.01
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 771 0 0 0 0 0 1 22 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=534652 CPUtime=141.94
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4202496 238244 0 0 0 13724 470 0 0 25 0 1 0 36049181 547483648 130174 1283457024 134512640 143279753 4289756560 18446744073709551615 136807020 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 133663 130174 773 2141 0 131519 0
[pid=24246] ppid=24241 vsize=7188 CPUtime=0.02
/proc/24246/stat : 24246 (scip2v) S 24241 24215 17551 34817 17551 4202496 1015 0 0 0 0 2 0 0 18 0 1 0 36049193 7360512 853 1283457024 134512640 136477024 4287499184 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24246/statm: 1797 853 474 480 0 382 0
Current children cumulated CPU time (s) 161.11
Current children cumulated vsize (KiB) 600416

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

[startup+166.409 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 24246
/proc/meminfo: memFree=5512/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.01
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 771 0 0 0 0 0 1 22 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=544716 CPUtime=146.04
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4202496 240695 0 0 0 14122 482 0 0 25 0 1 0 36049181 557789184 132625 1283457024 134512640 143279753 4289756560 18446744073709551615 136808544 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 136179 132625 773 2141 0 134035 0
[pid=24246] ppid=24241 vsize=7188 CPUtime=0.02
/proc/24246/stat : 24246 (scip2v) S 24241 24215 17551 34817 17551 4202496 1015 0 0 0 0 2 0 0 18 0 1 0 36049193 7360512 853 1283457024 134512640 136477024 4287499184 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24246/statm: 1797 853 474 480 0 382 0
Current children cumulated CPU time (s) 165.21
Current children cumulated vsize (KiB) 610480

[startup+168.009 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 24246
/proc/meminfo: memFree=5804/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.01
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 771 0 0 0 0 0 1 22 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=554880 CPUtime=147.62
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4202496 242793 0 0 0 14280 482 0 0 25 0 1 0 36049181 568197120 134723 1283457024 134512640 143279753 4289756560 18446744073709551615 136808553 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 138720 134723 773 2141 0 136576 0
[pid=24246] ppid=24241 vsize=7188 CPUtime=0.02
/proc/24246/stat : 24246 (scip2v) S 24241 24215 17551 34817 17551 4202496 1015 0 0 0 0 2 0 0 18 0 1 0 36049193 7360512 853 1283457024 134512640 136477024 4287499184 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24246/statm: 1797 853 474 480 0 382 0
Current children cumulated CPU time (s) 166.79
Current children cumulated vsize (KiB) 620644

[startup+169.609 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 24246
/proc/meminfo: memFree=6200/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.01
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 771 0 0 0 0 0 1 22 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=563520 CPUtime=149.22
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4202496 244933 0 0 0 14439 483 0 0 25 0 1 0 36049181 577044480 136863 1283457024 134512640 143279753 4289756560 18446744073709551615 136808544 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 140880 136863 773 2141 0 138736 0
[pid=24246] ppid=24241 vsize=7188 CPUtime=0.02
/proc/24246/stat : 24246 (scip2v) S 24241 24215 17551 34817 17551 4202496 1015 0 0 0 0 2 0 0 18 0 1 0 36049193 7360512 853 1283457024 134512640 136477024 4287499184 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24246/statm: 1797 853 474 480 0 382 0
Current children cumulated CPU time (s) 168.39
Current children cumulated vsize (KiB) 629284

[startup+170.41 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 24246
/proc/meminfo: memFree=6200/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.01
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 771 0 0 0 0 0 1 22 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=576776 CPUtime=150.02
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4202496 247474 0 0 0 14518 484 0 0 25 0 1 0 36049181 590618624 139286 1283457024 134512640 143279753 4289756560 18446744073709551615 137798839 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24245/statm: 144194 139286 783 2141 0 142050 0
[pid=24246] ppid=24241 vsize=7188 CPUtime=0.02
/proc/24246/stat : 24246 (scip2v) S 24241 24215 17551 34817 17551 4202496 1015 0 0 0 0 2 0 0 18 0 1 0 36049193 7360512 853 1283457024 134512640 136477024 4287499184 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24246/statm: 1797 853 474 480 0 382 0
Current children cumulated CPU time (s) 169.19
Current children cumulated vsize (KiB) 642540

[startup+170.807 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 24246
/proc/meminfo: memFree=5136/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49184 CPUtime=19.14
/proc/24216/stat : 24216 (packup) S 24215 24215 17551 34817 17551 4202496 12228 137881 0 0 192 80 1516 126 18 0 1 0 36047182 50364416 11544 1283457024 134512640 134752139 4290288992 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24216/statm: 12296 11544 333 59 0 11460 0
[pid=24236] ppid=24216 vsize=1672 CPUtime=0
/proc/24236/stat : 24236 (sh) S 24216 24215 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 36049179 1712128 124 1283457024 134512640 134593992 4289353040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24236/statm: 418 124 108 20 0 45 0
[pid=24237] ppid=24236 vsize=2572 CPUtime=0
/proc/24237/stat : 24237 (run_h) S 24236 24215 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 21 0 1 0 36049179 2633728 274 1283457024 134512640 135304128 4290565776 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24237/statm: 643 274 232 194 0 30 0
[pid=24241] ppid=24237 vsize=2572 CPUtime=0.12
/proc/24241/stat : 24241 (run_scip) S 24237 24215 17551 34817 17551 4202496 394 1983 0 0 0 0 4 8 18 0 1 0 36049180 2633728 269 1283457024 134512640 135304128 4288656576 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24241/statm: 643 269 228 194 0 30 0
[pid=24245] ppid=24241 vsize=0 CPUtime=150.32
/proc/24245/stat : 24245 (scip-2.0.1.linu) R 24241 24215 17551 34817 17551 4203524 247686 0 0 0 14540 492 0 0 25 0 1 0 36049181 0 0 1283457024 0 0 0 0 0 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24245/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.58
Current children cumulated vsize (KiB) 58576

[startup+170.906 s]
/proc/loadavg: 1.01 1.03 1.00 2/43 24246
/proc/meminfo: memFree=5136/1048576 swapFree=0/0
[pid=24215] ppid=24214 vsize=2576 CPUtime=0
/proc/24215/stat : 24215 (packup2hy4tr-0.) S 24214 24215 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 18 0 1 0 36047182 2637824 275 1283457024 134512640 135304128 4292884480 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24215/statm: 644 275 233 194 0 31 0
[pid=24216] ppid=24215 vsize=49188 CPUtime=169.7
/proc/24216/stat : 24216 (packup) R 24215 24215 17551 34817 17551 4202496 15389 389093 0 0 196 83 16062 629 18 0 1 0 36047182 50368512 11557 1283457024 134512640 134752139 4290288992 18446744073709551615 134525596 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24216/statm: 12297 11557 345 59 0 11461 0
Current children cumulated CPU time (s) 169.7
Current children cumulated vsize (KiB) 51764

Child status: 0
Real time (s): 170.998
CPU time (s): 169.807
CPU user time (s): 162.65
CPU system time (s): 7.15645
CPU usage (%): 99.3035
Max. virtual memory (cumulated for all children) (KiB): 643684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.65
system time used= 7.15645
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412153
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= 20559
involuntary context switches= 23050

runsolver used 0 second user time and 0.012 second system time

The end