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/rand315.cudf.s-e.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/incremental/s-e/rand315.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand315.cudf.s-e.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: 0.92 0.98 0.94 3/39 18975
/proc/meminfo: memFree=282352/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=3716 CPUtime=0
/proc/18975/stat : 18975 (packup) D 18974 18974 17551 34817 17551 4202496 388 0 0 0 0 0 0 0 18 0 1 0 35516729 3805184 317 1283457024 134512640 134752139 4286900832 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/18975/statm: 929 317 273 59 0 93 0

[startup+0.195872 s]
/proc/loadavg: 0.92 0.98 0.94 3/39 18975
/proc/meminfo: memFree=282352/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=9288 CPUtime=0.14
/proc/18975/stat : 18975 (packup) R 18974 18974 17551 34817 17551 4202496 1809 0 0 0 12 2 0 0 25 0 1 0 35516729 9510912 1738 1283457024 134512640 134752139 4286900832 18446744073709551615 134626468 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18975/statm: 2322 1738 286 59 0 1486 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 11852

[startup+0.21122 s]
/proc/loadavg: 0.92 0.98 0.94 3/39 18975
/proc/meminfo: memFree=282352/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=9816 CPUtime=0.15
/proc/18975/stat : 18975 (packup) R 18974 18974 17551 34817 17551 4202496 1931 0 0 0 13 2 0 0 25 0 1 0 35516729 10051584 1860 1283457024 134512640 134752139 4286900832 18446744073709551615 134694843 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18975/statm: 2454 1860 286 59 0 1618 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 12380

[startup+0.30387 s]
/proc/loadavg: 0.92 0.98 0.94 3/39 18975
/proc/meminfo: memFree=282352/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=12492 CPUtime=0.21
/proc/18975/stat : 18975 (packup) R 18974 18974 17551 34817 17551 4202496 2596 0 0 0 19 2 0 0 25 0 1 0 35516729 12791808 2525 1283457024 134512640 134752139 4286900832 18446744073709551615 4157774930 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18975/statm: 3123 2525 286 59 0 2287 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 15056

[startup+0.715464 s]
/proc/loadavg: 0.92 0.98 0.94 3/39 18975
/proc/meminfo: memFree=282352/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=23188 CPUtime=0.49
/proc/18975/stat : 18975 (packup) R 18974 18974 17551 34817 17551 4202496 5312 0 0 0 47 2 0 0 25 0 1 0 35516729 23744512 5241 1283457024 134512640 134752139 4286900832 18446744073709551615 4157765658 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18975/statm: 5797 5241 306 59 0 4961 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 25752

[startup+1.5056 s]
/proc/loadavg: 0.92 0.98 0.94 2/43 18983
/proc/meminfo: memFree=244808/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=28392 CPUtime=0.73
/proc/18975/stat : 18975 (packup) S 18974 18974 17551 34817 17551 4202496 6613 0 0 0 64 9 0 0 25 0 1 0 35516729 29073408 6426 1283457024 134512640 134752139 4286900832 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18975/statm: 7098 6426 324 59 0 6262 0
[pid=18978] ppid=18975 vsize=1672 CPUtime=0
/proc/18978/stat : 18978 (sh) S 18975 18974 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 25 0 1 0 35516824 1712128 124 1283457024 134512640 134593992 4294525504 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18978/statm: 418 124 108 20 0 45 0
[pid=18979] ppid=18978 vsize=2568 CPUtime=0.01
/proc/18979/stat : 18979 (run_h) S 18978 18974 17551 34817 17551 4202496 367 614 0 0 0 0 1 0 25 0 1 0 35516825 2629632 273 1283457024 134512640 135304128 4294523488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18979/statm: 642 273 232 194 0 29 0
[pid=18983] ppid=18979 vsize=17220 CPUtime=0.53
/proc/18983/stat : 18983 (minisatp_32) R 18979 18974 17551 34817 17551 4202496 3444 0 0 0 53 0 0 0 25 0 1 0 35516825 17633280 3010 1283457024 134512640 135413687 4289699248 18446744073709551615 134547440 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18983/statm: 4305 3010 82 220 0 4083 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 52416

[startup+3.10608 s]
/proc/loadavg: 0.92 0.98 0.94 2/43 18989
/proc/meminfo: memFree=240716/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=28396 CPUtime=1.64
/proc/18975/stat : 18975 (packup) S 18974 18974 17551 34817 17551 4202496 6675 5984 0 0 71 19 70 4 18 0 1 0 35516729 29077504 6440 1283457024 134512640 134752139 4286900832 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18975/statm: 7099 6440 332 59 0 6263 0
[pid=18984] ppid=18975 vsize=1668 CPUtime=0
/proc/18984/stat : 18984 (sh) S 18975 18974 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35516917 1708032 123 1283457024 134512640 134593992 4291788720 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18984/statm: 417 123 108 20 0 44 0
[pid=18985] ppid=18984 vsize=2568 CPUtime=0
/proc/18985/stat : 18985 (run_h) S 18984 18974 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 20 0 1 0 35516917 2629632 272 1283457024 134512640 135304128 4291268416 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18985/statm: 642 272 232 194 0 29 0
[pid=18989] ppid=18985 vsize=38144 CPUtime=1.21
/proc/18989/stat : 18989 (minisatp_32) R 18985 18974 17551 34817 17551 4202496 12780 0 0 0 106 15 0 0 25 0 1 0 35516917 39059456 8602 1283457024 134512640 135413687 4290291264 18446744073709551615 134656592 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/18989/statm: 9536 8602 107 220 0 9314 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 73340

[startup+6.30715 s]
/proc/loadavg: 0.93 0.98 0.94 2/43 18995
/proc/meminfo: memFree=201780/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=28404 CPUtime=5.51
/proc/18975/stat : 18975 (packup) S 18974 18974 17551 34817 17551 4202496 6792 41081 0 0 88 38 387 38 18 0 1 0 35516729 29085696 6445 1283457024 134512640 134752139 4286900832 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18975/statm: 7101 6445 332 59 0 6265 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 30968

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

[startup+6.40717 s]
/proc/loadavg: 0.93 0.98 0.94 2/43 18995
/proc/meminfo: memFree=201780/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=28404 CPUtime=5.51
/proc/18975/stat : 18975 (packup) S 18974 18974 17551 34817 17551 4202496 6792 41081 0 0 88 38 387 38 18 0 1 0 35516729 29085696 6445 1283457024 134512640 134752139 4286900832 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18975/statm: 7101 6445 332 59 0 6265 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 30968

[startup+8.0076 s]
/proc/loadavg: 0.93 0.98 0.94 2/45 19006
/proc/meminfo: memFree=187240/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=28404 CPUtime=5.51
/proc/18975/stat : 18975 (packup) S 18974 18974 17551 34817 17551 4202496 6792 41081 0 0 88 38 387 38 18 0 1 0 35516729 29085696 6445 1283457024 134512640 134752139 4286900832 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18975/statm: 7101 6445 332 59 0 6265 0
[pid=18996] ppid=18975 vsize=1668 CPUtime=0
/proc/18996/stat : 18996 (sh) S 18975 18974 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 19 0 1 0 35517303 1708032 123 1283457024 134512640 134593992 4287159104 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18996/statm: 417 123 108 20 0 44 0
[pid=18997] ppid=18996 vsize=2572 CPUtime=0
/proc/18997/stat : 18997 (run_h) S 18996 18974 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35517303 2633728 273 1283457024 134512640 135304128 4292466800 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18997/statm: 643 273 232 194 0 30 0
[pid=19001] ppid=18997 vsize=2572 CPUtime=0
/proc/19001/stat : 19001 (run_scip) S 18997 18974 17551 34817 17551 4202496 394 754 0 0 0 0 0 0 20 0 1 0 35517304 2633728 269 1283457024 134512640 135304128 4288222288 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19001/statm: 643 269 228 194 0 30 0
[pid=19005] ppid=19001 vsize=69948 CPUtime=2.23
/proc/19005/stat : 19005 (scip-2.0.1.linu) R 19001 18974 17551 34817 17551 4202496 24323 0 0 0 183 40 0 0 25 0 1 0 35517304 71626752 15453 1283457024 134512640 143279753 4293626176 18446744073709551615 135491397 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19005/statm: 17487 15453 653 2141 0 15343 0
[pid=19006] ppid=19001 vsize=7192 CPUtime=0
/proc/19006/stat : 19006 (scip2v) S 19001 18974 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35517310 7364608 847 1283457024 134512640 136477024 4294326832 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19006/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 114920

[startup+8.40771 s]
/proc/loadavg: 0.93 0.98 0.94 2/45 19006
/proc/meminfo: memFree=187240/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=28404 CPUtime=5.51
/proc/18975/stat : 18975 (packup) S 18974 18974 17551 34817 17551 4202496 6792 41081 0 0 88 38 387 38 18 0 1 0 35516729 29085696 6445 1283457024 134512640 134752139 4286900832 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18975/statm: 7101 6445 332 59 0 6265 0
[pid=18996] ppid=18975 vsize=1668 CPUtime=0
/proc/18996/stat : 18996 (sh) S 18975 18974 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 19 0 1 0 35517303 1708032 123 1283457024 134512640 134593992 4287159104 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18996/statm: 417 123 108 20 0 44 0
[pid=18997] ppid=18996 vsize=2572 CPUtime=0
/proc/18997/stat : 18997 (run_h) S 18996 18974 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35517303 2633728 273 1283457024 134512640 135304128 4292466800 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18997/statm: 643 273 232 194 0 30 0
[pid=19001] ppid=18997 vsize=2572 CPUtime=0
/proc/19001/stat : 19001 (run_scip) S 18997 18974 17551 34817 17551 4202496 394 754 0 0 0 0 0 0 20 0 1 0 35517304 2633728 269 1283457024 134512640 135304128 4288222288 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19001/statm: 643 269 228 194 0 30 0
[pid=19005] ppid=19001 vsize=69948 CPUtime=2.63
/proc/19005/stat : 19005 (scip-2.0.1.linu) R 19001 18974 17551 34817 17551 4202496 24327 0 0 0 222 41 0 0 25 0 1 0 35517304 71626752 15457 1283457024 134512640 143279753 4293626176 18446744073709551615 135486286 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19005/statm: 17487 15457 657 2141 0 15343 0
[pid=19006] ppid=19001 vsize=7192 CPUtime=0
/proc/19006/stat : 19006 (scip2v) S 19001 18974 17551 34817 17551 4202496 1010 0 0 0 0 0 0 0 18 0 1 0 35517310 7364608 848 1283457024 134512640 136477024 4294326832 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19006/statm: 1798 848 474 480 0 383 0
Current children cumulated CPU time (s) 8.14
Current children cumulated vsize (KiB) 114920

[startup+8.60774 s]
/proc/loadavg: 0.93 0.98 0.94 2/45 19006
/proc/meminfo: memFree=187240/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=28404 CPUtime=5.51
/proc/18975/stat : 18975 (packup) S 18974 18974 17551 34817 17551 4202496 6792 41081 0 0 88 38 387 38 18 0 1 0 35516729 29085696 6445 1283457024 134512640 134752139 4286900832 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/18975/statm: 7101 6445 332 59 0 6265 0
[pid=18996] ppid=18975 vsize=1668 CPUtime=0
/proc/18996/stat : 18996 (sh) S 18975 18974 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 19 0 1 0 35517303 1708032 123 1283457024 134512640 134593992 4287159104 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/18996/statm: 417 123 108 20 0 44 0
[pid=18997] ppid=18996 vsize=2572 CPUtime=0
/proc/18997/stat : 18997 (run_h) S 18996 18974 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35517303 2633728 273 1283457024 134512640 135304128 4292466800 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18997/statm: 643 273 232 194 0 30 0
[pid=19001] ppid=18997 vsize=2572 CPUtime=0
/proc/19001/stat : 19001 (run_scip) S 18997 18974 17551 34817 17551 4202496 394 754 0 0 0 0 0 0 20 0 1 0 35517304 2633728 269 1283457024 134512640 135304128 4288222288 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19001/statm: 643 269 228 194 0 30 0
[pid=19005] ppid=19001 vsize=71280 CPUtime=2.78
/proc/19005/stat : 19005 (scip-2.0.1.linu) R 19001 18974 17551 34817 17551 4202496 24952 0 0 0 234 44 0 0 25 0 1 0 35517304 72990720 15824 1283457024 134512640 143279753 4293626176 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19005/statm: 17820 15824 745 2141 0 15676 0
[pid=19006] ppid=19001 vsize=7372 CPUtime=0.06
/proc/19006/stat : 19006 (scip2v) S 19001 18974 17551 34817 17551 4202496 1042 0 0 0 3 3 0 0 18 0 1 0 35517310 7548928 880 1283457024 134512640 136477024 4294326832 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19006/statm: 1843 880 479 480 0 428 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 116432

[startup+8.70778 s]
/proc/loadavg: 0.93 0.98 0.94 2/45 19006
/proc/meminfo: memFree=187240/1048576 swapFree=0/0
[pid=18974] ppid=18973 vsize=2564 CPUtime=0
/proc/18974/stat : 18974 (packup2hy4tr-0.) S 18973 18974 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 18 0 1 0 35516728 2625536 273 1283457024 134512640 135304128 4287040160 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/18974/statm: 641 273 233 194 0 28 0
[pid=18975] ppid=18974 vsize=28016 CPUtime=8.46
/proc/18975/stat : 18975 (packup) R 18974 18974 17551 34817 17551 4202496 12059 69425 0 0 92 39 627 88 18 0 1 0 35516729 28688384 6361 1283457024 134512640 134752139 4286900832 18446744073709551615 4157756736 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/18975/statm: 7004 6361 345 59 0 6168 0
Current children cumulated CPU time (s) 8.46
Current children cumulated vsize (KiB) 30580

Child status: 0
Real time (s): 8.73738
CPU time (s): 8.50053
CPU user time (s): 7.22045
CPU system time (s): 1.28008
CPU usage (%): 97.2892
Max. virtual memory (cumulated for all children) (KiB): 117708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.22045
system time used= 1.28008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82403
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= 9460
involuntary context switches= 9609

runsolver used 0 second user time and 0.008 second system time

The end