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/rand252.cudf.dudf-random.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/dudf-random//rand252.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand252.cudf.dudf-random.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.10 1.01 0.85 3/37 18336
/proc/meminfo: memFree=275324/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=3708 CPUtime=0
/proc/18336/stat : 18336 (packup) D 18335 18335 17551 34817 17551 4202496 387 0 0 0 0 0 0 0 18 0 1 0 35370991 3796992 316 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/18336/statm: 927 316 273 59 0 91 0

[startup+0.173319 s]
/proc/loadavg: 1.10 1.01 0.85 3/37 18336
/proc/meminfo: memFree=275324/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=8236 CPUtime=0.12
/proc/18336/stat : 18336 (packup) R 18335 18335 17551 34817 17551 4202496 1537 0 0 0 12 0 0 0 25 0 1 0 35370991 8433664 1466 1283457024 134512640 134752139 4294668736 18446744073709551615 134681672 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18336/statm: 2059 1466 286 59 0 1223 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10812

[startup+0.20533 s]
/proc/loadavg: 1.10 1.01 0.85 3/37 18336
/proc/meminfo: memFree=275324/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=9028 CPUtime=0.14
/proc/18336/stat : 18336 (packup) R 18335 18335 17551 34817 17551 4202496 1759 0 0 0 14 0 0 0 25 0 1 0 35370991 9244672 1688 1283457024 134512640 134752139 4294668736 18446744073709551615 134695556 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18336/statm: 2257 1688 286 59 0 1421 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11604

[startup+0.305328 s]
/proc/loadavg: 1.10 1.01 0.85 3/37 18336
/proc/meminfo: memFree=275324/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=11800 CPUtime=0.22
/proc/18336/stat : 18336 (packup) R 18335 18335 17551 34817 17551 4202496 2434 0 0 0 22 0 0 0 25 0 1 0 35370991 12083200 2363 1283457024 134512640 134752139 4294668736 18446744073709551615 134705950 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18336/statm: 2950 2363 286 59 0 2114 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 14376

[startup+0.70537 s]
/proc/loadavg: 1.10 1.01 0.85 3/37 18336
/proc/meminfo: memFree=275324/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=21748 CPUtime=0.56
/proc/18336/stat : 18336 (packup) R 18335 18335 17551 34817 17551 4202496 4915 0 0 0 54 2 0 0 25 0 1 0 35370991 22269952 4844 1283457024 134512640 134752139 4294668736 18446744073709551615 134643339 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18336/statm: 5437 4844 286 59 0 4601 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 24324

[startup+1.50978 s]
/proc/loadavg: 1.10 1.01 0.85 1/38 18337
/proc/meminfo: memFree=224892/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=43112 CPUtime=1.3
/proc/18336/stat : 18336 (packup) R 18335 18335 17551 34817 17551 4202496 10323 0 0 0 124 6 0 0 25 0 1 0 35370991 44146688 10203 1283457024 134512640 134752139 4294668736 18446744073709551615 134625488 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18336/statm: 10778 10203 306 59 0 9942 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 45688

[startup+3.11005 s]
/proc/loadavg: 1.25 1.05 0.87 2/41 18343
/proc/meminfo: memFree=192976/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=52016 CPUtime=1.86
/proc/18336/stat : 18336 (packup) S 18335 18335 17551 34817 17551 4202496 12566 0 0 0 152 34 0 0 25 0 1 0 35370991 53264384 12445 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18336/statm: 13004 12445 324 59 0 12168 0
[pid=18338] ppid=18336 vsize=1676 CPUtime=0
/proc/18338/stat : 18338 (sh) S 18336 18335 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 25 0 1 0 35371196 1716224 124 1283457024 134512640 134593992 4293323040 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18338/statm: 419 124 108 20 0 46 0
[pid=18339] ppid=18338 vsize=2572 CPUtime=0
/proc/18339/stat : 18339 (run_h) S 18338 18335 17551 34817 17551 4202496 367 610 0 0 0 0 0 0 25 0 1 0 35371197 2633728 273 1283457024 134512640 135304128 4293341504 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18339/statm: 643 273 232 194 0 30 0
[pid=18343] ppid=18339 vsize=25104 CPUtime=1.04
/proc/18343/stat : 18343 (minisatp_32) R 18339 18335 17551 34817 17551 4202496 5512 0 0 0 102 2 0 0 25 0 1 0 35371197 25706496 4945 1283457024 134512640 135413687 4287822832 18446744073709551615 134520278 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18343/statm: 6276 4945 76 220 0 6054 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 83944

[startup+6.31094 s]
/proc/loadavg: 1.25 1.05 0.87 2/41 18349
/proc/meminfo: memFree=145608/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=54728 CPUtime=3.6
/proc/18336/stat : 18336 (packup) S 18335 18335 17551 34817 17551 4202496 13833 8356 0 0 173 49 122 16 18 0 1 0 35370991 56041472 12888 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18336/statm: 13682 12888 332 59 0 12846 0
[pid=18344] ppid=18336 vsize=1672 CPUtime=0
/proc/18344/stat : 18344 (sh) S 18336 18335 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35371372 1712128 124 1283457024 134512640 134593992 4291747744 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18344/statm: 418 124 108 20 0 45 0
[pid=18345] ppid=18344 vsize=2572 CPUtime=0
/proc/18345/stat : 18345 (run_h) S 18344 18335 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35371373 2633728 272 1283457024 134512640 135304128 4289490320 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18345/statm: 643 272 232 194 0 30 0
[pid=18349] ppid=18345 vsize=70716 CPUtime=2.48
/proc/18349/stat : 18349 (minisatp_32) R 18345 18335 17551 34817 17551 4202496 21573 0 0 0 222 26 0 0 25 0 1 0 35371373 72413184 15707 1283457024 134512640 135413687 4288507024 18446744073709551615 134699114 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18349/statm: 17679 15707 108 220 0 17457 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 132264

[startup+12.7144 s]
/proc/loadavg: 1.31 1.06 0.87 2/43 18366
/proc/meminfo: memFree=166780/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=54736 CPUtime=11.41
/proc/18336/stat : 18336 (packup) S 18335 18335 17551 34817 17551 4202496 14008 72858 0 0 203 91 761 86 18 0 1 0 35370991 56049664 12899 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18336/statm: 13684 12899 332 59 0 12848 0
[pid=18356] ppid=18336 vsize=1676 CPUtime=0
/proc/18356/stat : 18356 (sh) S 18336 18335 17551 34817 17551 4202496 148 0 0 0 0 0 0 0 18 0 1 0 35372155 1716224 124 1283457024 134512640 134593992 4286972688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18356/statm: 419 124 108 20 0 46 0
[pid=18357] ppid=18356 vsize=2568 CPUtime=0
/proc/18357/stat : 18357 (run_h) S 18356 18335 17551 34817 17551 4202496 368 615 0 0 0 0 0 0 20 0 1 0 35372156 2629632 273 1283457024 134512640 135304128 4293794224 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18357/statm: 642 273 232 194 0 29 0
[pid=18361] ppid=18357 vsize=2564 CPUtime=0
/proc/18361/stat : 18361 (run_scip) S 18357 18335 17551 34817 17551 4202496 391 768 0 0 0 0 0 0 22 0 1 0 35372156 2625536 268 1283457024 134512640 135304128 4294609520 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18361/statm: 641 268 228 194 0 28 0
[pid=18365] ppid=18361 vsize=75968 CPUtime=1.05
/proc/18365/stat : 18365 (scip-2.0.1.linu) R 18361 18335 17551 34817 17551 4202496 17328 0 0 0 101 4 0 0 25 0 1 0 35372157 77791232 17044 1283457024 134512640 143279753 4287288112 18446744073709551615 137161051 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18365/statm: 18992 17044 525 2141 0 16848 0
[pid=18366] ppid=18361 vsize=7196 CPUtime=0
/proc/18366/stat : 18366 (scip2v) S 18361 18335 17551 34817 17551 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 35372169 7368704 847 1283457024 134512640 136477024 4291422064 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18366/statm: 1799 847 474 480 0 384 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 147284

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

[startup+12.8144 s]
/proc/loadavg: 1.31 1.06 0.87 2/43 18366
/proc/meminfo: memFree=166780/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=54736 CPUtime=11.41
/proc/18336/stat : 18336 (packup) S 18335 18335 17551 34817 17551 4202496 14008 72858 0 0 203 91 761 86 18 0 1 0 35370991 56049664 12899 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18336/statm: 13684 12899 332 59 0 12848 0
[pid=18356] ppid=18336 vsize=1676 CPUtime=0
/proc/18356/stat : 18356 (sh) S 18336 18335 17551 34817 17551 4202496 148 0 0 0 0 0 0 0 18 0 1 0 35372155 1716224 124 1283457024 134512640 134593992 4286972688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18356/statm: 419 124 108 20 0 46 0
[pid=18357] ppid=18356 vsize=2568 CPUtime=0
/proc/18357/stat : 18357 (run_h) S 18356 18335 17551 34817 17551 4202496 368 615 0 0 0 0 0 0 20 0 1 0 35372156 2629632 273 1283457024 134512640 135304128 4293794224 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18357/statm: 642 273 232 194 0 29 0
[pid=18361] ppid=18357 vsize=2564 CPUtime=0
/proc/18361/stat : 18361 (run_scip) S 18357 18335 17551 34817 17551 4202496 391 768 0 0 0 0 0 0 22 0 1 0 35372156 2625536 268 1283457024 134512640 135304128 4294609520 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18361/statm: 641 268 228 194 0 28 0
[pid=18365] ppid=18361 vsize=100448 CPUtime=1.15
/proc/18365/stat : 18365 (scip-2.0.1.linu) R 18361 18335 17551 34817 17551 4202496 23406 0 0 0 111 4 0 0 25 0 1 0 35372157 102858752 23122 1283457024 134512640 143279753 4287288112 18446744073709551615 135210126 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18365/statm: 25112 23122 532 2141 0 22968 0
[pid=18366] ppid=18361 vsize=7196 CPUtime=0
/proc/18366/stat : 18366 (scip2v) S 18361 18335 17551 34817 17551 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 35372169 7368704 847 1283457024 134512640 136477024 4291422064 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18366/statm: 1799 847 474 480 0 384 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 171764

[startup+16.015 s]
/proc/loadavg: 1.37 1.08 0.88 2/43 18366
/proc/meminfo: memFree=85064/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=54736 CPUtime=11.41
/proc/18336/stat : 18336 (packup) S 18335 18335 17551 34817 17551 4202496 14008 72858 0 0 203 91 761 86 18 0 1 0 35370991 56049664 12899 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18336/statm: 13684 12899 332 59 0 12848 0
[pid=18356] ppid=18336 vsize=1676 CPUtime=0
/proc/18356/stat : 18356 (sh) S 18336 18335 17551 34817 17551 4202496 148 0 0 0 0 0 0 0 18 0 1 0 35372155 1716224 124 1283457024 134512640 134593992 4286972688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18356/statm: 419 124 108 20 0 46 0
[pid=18357] ppid=18356 vsize=2568 CPUtime=0
/proc/18357/stat : 18357 (run_h) S 18356 18335 17551 34817 17551 4202496 368 615 0 0 0 0 0 0 20 0 1 0 35372156 2629632 273 1283457024 134512640 135304128 4293794224 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18357/statm: 642 273 232 194 0 29 0
[pid=18361] ppid=18357 vsize=2564 CPUtime=0
/proc/18361/stat : 18361 (run_scip) S 18357 18335 17551 34817 17551 4202496 391 768 0 0 0 0 0 0 22 0 1 0 35372156 2625536 268 1283457024 134512640 135304128 4294609520 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18361/statm: 641 268 228 194 0 28 0
[pid=18365] ppid=18361 vsize=117664 CPUtime=4.35
/proc/18365/stat : 18365 (scip-2.0.1.linu) R 18361 18335 17551 34817 17551 4202496 41151 0 0 0 382 53 0 0 25 0 1 0 35372157 120487936 27147 1283457024 134512640 143279753 4287288112 18446744073709551615 134603194 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18365/statm: 29416 27147 653 2141 0 27272 0
[pid=18366] ppid=18361 vsize=7196 CPUtime=0
/proc/18366/stat : 18366 (scip2v) S 18361 18335 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35372169 7368704 848 1283457024 134512640 136477024 4291422064 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18366/statm: 1799 848 474 480 0 384 0
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (KiB) 188980

[startup+17.6082 s]
/proc/loadavg: 1.34 1.08 0.88 2/43 18366
/proc/meminfo: memFree=84196/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=54736 CPUtime=11.41
/proc/18336/stat : 18336 (packup) S 18335 18335 17551 34817 17551 4202496 14008 72858 0 0 203 91 761 86 18 0 1 0 35370991 56049664 12899 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18336/statm: 13684 12899 332 59 0 12848 0
[pid=18356] ppid=18336 vsize=1676 CPUtime=0
/proc/18356/stat : 18356 (sh) S 18336 18335 17551 34817 17551 4202496 148 0 0 0 0 0 0 0 18 0 1 0 35372155 1716224 124 1283457024 134512640 134593992 4286972688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18356/statm: 419 124 108 20 0 46 0
[pid=18357] ppid=18356 vsize=2568 CPUtime=0
/proc/18357/stat : 18357 (run_h) S 18356 18335 17551 34817 17551 4202496 368 615 0 0 0 0 0 0 20 0 1 0 35372156 2629632 273 1283457024 134512640 135304128 4293794224 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18357/statm: 642 273 232 194 0 29 0
[pid=18361] ppid=18357 vsize=2564 CPUtime=0
/proc/18361/stat : 18361 (run_scip) S 18357 18335 17551 34817 17551 4202496 391 768 0 0 0 0 0 0 22 0 1 0 35372156 2625536 268 1283457024 134512640 135304128 4294609520 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18361/statm: 641 268 228 194 0 28 0
[pid=18365] ppid=18361 vsize=118688 CPUtime=5.93
/proc/18365/stat : 18365 (scip-2.0.1.linu) R 18361 18335 17551 34817 17551 4202496 49666 0 0 0 528 65 0 0 25 0 1 0 35372157 121536512 27406 1283457024 134512640 143279753 4287288112 18446744073709551615 134605142 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18365/statm: 29672 27406 657 2141 0 27528 0
[pid=18366] ppid=18361 vsize=7196 CPUtime=0
/proc/18366/stat : 18366 (scip2v) S 18361 18335 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35372169 7368704 851 1283457024 134512640 136477024 4291422064 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18366/statm: 1799 851 474 480 0 384 0
Current children cumulated CPU time (s) 17.35
Current children cumulated vsize (KiB) 190004

[startup+18.4084 s]
/proc/loadavg: 1.34 1.08 0.88 2/43 18366
/proc/meminfo: memFree=84196/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=54736 CPUtime=11.41
/proc/18336/stat : 18336 (packup) S 18335 18335 17551 34817 17551 4202496 14008 72858 0 0 203 91 761 86 18 0 1 0 35370991 56049664 12899 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18336/statm: 13684 12899 332 59 0 12848 0
[pid=18356] ppid=18336 vsize=1676 CPUtime=0
/proc/18356/stat : 18356 (sh) S 18336 18335 17551 34817 17551 4202496 148 0 0 0 0 0 0 0 18 0 1 0 35372155 1716224 124 1283457024 134512640 134593992 4286972688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18356/statm: 419 124 108 20 0 46 0
[pid=18357] ppid=18356 vsize=2568 CPUtime=0
/proc/18357/stat : 18357 (run_h) S 18356 18335 17551 34817 17551 4202496 368 615 0 0 0 0 0 0 20 0 1 0 35372156 2629632 273 1283457024 134512640 135304128 4293794224 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18357/statm: 642 273 232 194 0 29 0
[pid=18361] ppid=18357 vsize=2564 CPUtime=0
/proc/18361/stat : 18361 (run_scip) S 18357 18335 17551 34817 17551 4202496 391 768 0 0 0 0 0 0 22 0 1 0 35372156 2625536 268 1283457024 134512640 135304128 4294609520 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18361/statm: 641 268 228 194 0 28 0
[pid=18365] ppid=18361 vsize=120176 CPUtime=6.74
/proc/18365/stat : 18365 (scip-2.0.1.linu) R 18361 18335 17551 34817 17551 4202496 52874 0 0 0 606 68 0 0 25 0 1 0 35372157 123060224 27776 1283457024 134512640 143279753 4287288112 18446744073709551615 135210568 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18365/statm: 30044 27776 657 2141 0 27900 0
[pid=18366] ppid=18361 vsize=7196 CPUtime=0
/proc/18366/stat : 18366 (scip2v) S 18361 18335 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35372169 7368704 851 1283457024 134512640 136477024 4291422064 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18366/statm: 1799 851 474 480 0 384 0
Current children cumulated CPU time (s) 18.16
Current children cumulated vsize (KiB) 191492

[startup+18.8085 s]
/proc/loadavg: 1.34 1.08 0.88 2/43 18366
/proc/meminfo: memFree=83824/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=54736 CPUtime=11.41
/proc/18336/stat : 18336 (packup) S 18335 18335 17551 34817 17551 4202496 14008 72858 0 0 203 91 761 86 18 0 1 0 35370991 56049664 12899 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18336/statm: 13684 12899 332 59 0 12848 0
[pid=18356] ppid=18336 vsize=1676 CPUtime=0
/proc/18356/stat : 18356 (sh) S 18336 18335 17551 34817 17551 4202496 148 0 0 0 0 0 0 0 18 0 1 0 35372155 1716224 124 1283457024 134512640 134593992 4286972688 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18356/statm: 419 124 108 20 0 46 0
[pid=18357] ppid=18356 vsize=2568 CPUtime=0
/proc/18357/stat : 18357 (run_h) S 18356 18335 17551 34817 17551 4202496 368 615 0 0 0 0 0 0 20 0 1 0 35372156 2629632 273 1283457024 134512640 135304128 4293794224 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18357/statm: 642 273 232 194 0 29 0
[pid=18361] ppid=18357 vsize=2564 CPUtime=0
/proc/18361/stat : 18361 (run_scip) S 18357 18335 17551 34817 17551 4202496 391 768 0 0 0 0 0 0 22 0 1 0 35372156 2625536 268 1283457024 134512640 135304128 4294609520 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18361/statm: 641 268 228 194 0 28 0
[pid=18365] ppid=18361 vsize=119068 CPUtime=7.13
/proc/18365/stat : 18365 (scip-2.0.1.linu) R 18361 18335 17551 34817 17551 4202496 54414 0 0 0 644 69 0 0 25 0 1 0 35372157 121925632 27539 1283457024 134512640 143279753 4287288112 18446744073709551615 135447153 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/18365/statm: 29767 27539 698 2141 0 27623 0
[pid=18366] ppid=18361 vsize=7196 CPUtime=0
/proc/18366/stat : 18366 (scip2v) S 18361 18335 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35372169 7368704 851 1283457024 134512640 136477024 4291422064 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/18366/statm: 1799 851 474 480 0 384 0
Current children cumulated CPU time (s) 18.55
Current children cumulated vsize (KiB) 190384

[startup+19.2086 s]
/proc/loadavg: 1.34 1.08 0.88 2/43 18366
/proc/meminfo: memFree=83824/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=54740 CPUtime=18.98
/proc/18336/stat : 18336 (packup) R 18335 18335 17551 34817 17551 4202496 14098 130941 0 0 204 94 1426 174 18 0 1 0 35370991 56053760 12913 1283457024 134512640 134752139 4294668736 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18336/statm: 13685 12913 345 59 0 12849 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 57316

[startup+19.3086 s]
/proc/loadavg: 1.34 1.08 0.88 2/43 18366
/proc/meminfo: memFree=83824/1048576 swapFree=0/0
[pid=18335] ppid=18334 vsize=2576 CPUtime=0.01
/proc/18335/stat : 18335 (packup2hy4tr-0.) S 18334 18335 17551 34817 17551 4202496 379 0 0 0 0 1 0 0 18 0 1 0 35370990 2637824 274 1283457024 134512640 135304128 4286587440 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18335/statm: 644 274 233 194 0 31 0
[pid=18336] ppid=18335 vsize=53380 CPUtime=19.08
/proc/18336/stat : 18336 (packup) R 18335 18335 17551 34817 17551 4202496 25257 130941 0 0 211 97 1426 174 18 0 1 0 35370991 54661120 12573 1283457024 134512640 134752139 4294668736 18446744073709551615 4157400477 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18336/statm: 13345 12573 345 59 0 12509 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 55956

Child status: 0
Real time (s): 19.3347
CPU time (s): 19.1212
CPU user time (s): 16.397
CPU system time (s): 2.72417
CPU usage (%): 98.8958
Max. virtual memory (cumulated for all children) (KiB): 191492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.397
system time used= 2.72417
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157112
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= 26177
involuntary context switches= 26459

runsolver used 0 second user time and 0 second system time

The end