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/rand790.cudf.s-e-l-s-s.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand790.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand790.cudf.s-e-l-s-s.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.01 1.00 0.95 5/37 19570
/proc/meminfo: memFree=246524/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) R 19568 19569 17551 34817 17551 4202496 362 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=2576 CPUtime=0
/proc/19570/stat : 19570 (packup2hy4tr-0.) R 19569 19569 17551 34817 17551 4202560 0 0 0 0 0 0 0 0 25 0 1 0 35584938 2637824 42 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/19570/statm: 644 42 0 194 0 31 0

[startup+0.199931 s]
/proc/loadavg: 1.01 1.00 0.95 5/37 19570
/proc/meminfo: memFree=246524/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=9200 CPUtime=0.12
/proc/19570/stat : 19570 (packup) R 19569 19569 17551 34817 17551 4202496 1774 0 0 0 12 0 0 0 25 0 1 0 35584938 9420800 1703 1283457024 134512640 134752139 4290907680 18446744073709551615 134681161 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19570/statm: 2300 1703 286 59 0 1464 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 11776

[startup+0.21427 s]
/proc/loadavg: 1.01 1.00 0.95 5/37 19570
/proc/meminfo: memFree=246524/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=9596 CPUtime=0.14
/proc/19570/stat : 19570 (packup) R 19569 19569 17551 34817 17551 4202496 1905 0 0 0 14 0 0 0 25 0 1 0 35584938 9826304 1834 1283457024 134512640 134752139 4290907680 18446744073709551615 134682176 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19570/statm: 2399 1834 286 59 0 1563 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 12172

[startup+0.30395 s]
/proc/loadavg: 1.01 1.00 0.95 5/37 19570
/proc/meminfo: memFree=246524/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=12720 CPUtime=0.2
/proc/19570/stat : 19570 (packup) R 19569 19569 17551 34817 17551 4202496 2675 0 0 0 20 0 0 0 25 0 1 0 35584938 13025280 2604 1283457024 134512640 134752139 4290907680 18446744073709551615 134681493 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19570/statm: 3180 2604 286 59 0 2344 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 15296

[startup+0.70797 s]
/proc/loadavg: 1.01 1.00 0.95 5/37 19570
/proc/meminfo: memFree=246524/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=23752 CPUtime=0.53
/proc/19570/stat : 19570 (packup) R 19569 19569 17551 34817 17551 4202496 5443 0 0 0 50 3 0 0 25 0 1 0 35584938 24322048 5372 1283457024 134512640 134752139 4290907680 18446744073709551615 134681536 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19570/statm: 5938 5372 286 59 0 5102 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 26328

[startup+1.51174 s]
/proc/loadavg: 1.01 1.00 0.95 2/38 19571
/proc/meminfo: memFree=198256/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=47276 CPUtime=1.25
/proc/19570/stat : 19570 (packup) R 19569 19569 17551 34817 17551 4202496 11384 0 0 0 118 7 0 0 25 0 1 0 35584938 48410624 11264 1283457024 134512640 134752139 4290907680 18446744073709551615 134667814 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19570/statm: 11819 11264 306 59 0 10983 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 49852

[startup+3.10214 s]
/proc/loadavg: 1.01 1.00 0.95 2/38 19571
/proc/meminfo: memFree=157324/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70716 CPUtime=2.19
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17548 0 0 0 185 34 0 0 25 0 1 0 35584938 72413184 16759 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17679 16759 325 59 0 16843 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 73292
heavy processes:

[startup+6.3127 s]
/proc/loadavg: 1.01 1.00 0.95 2/41 19583
/proc/meminfo: memFree=146612/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70720 CPUtime=4.91
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17673 13098 0 0 212 61 194 24 18 0 1 0 35584938 72417280 16779 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17680 16779 333 59 0 16844 0
[pid=19578] ppid=19570 vsize=1672 CPUtime=0
/proc/19578/stat : 19578 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35585457 1712128 123 1283457024 134512640 134593992 4290067968 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19578/statm: 418 123 108 20 0 45 0
[pid=19579] ppid=19578 vsize=2572 CPUtime=0
/proc/19579/stat : 19579 (run_h) S 19578 19569 17551 34817 17551 4202496 369 610 0 0 0 0 0 0 20 0 1 0 35585458 2633728 274 1283457024 134512640 135304128 4288271456 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19579/statm: 643 274 232 194 0 30 0
[pid=19583] ppid=19579 vsize=29268 CPUtime=1.1
/proc/19583/stat : 19583 (minisatp_32) R 19579 19569 17551 34817 17551 4202496 6714 0 0 0 104 6 0 0 25 0 1 0 35585458 29970432 5859 1283457024 134512640 135413687 4288718016 18446744073709551615 134961166 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19583/statm: 7317 5859 77 220 0 7095 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 106808

[startup+12.7065 s]
/proc/loadavg: 1.01 1.00 0.95 2/41 19583
/proc/meminfo: memFree=5556/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70720 CPUtime=4.91
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17673 13098 0 0 212 61 194 24 18 0 1 0 35584938 72417280 16779 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17680 16779 333 59 0 16844 0
[pid=19578] ppid=19570 vsize=1672 CPUtime=0
/proc/19578/stat : 19578 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35585457 1712128 123 1283457024 134512640 134593992 4290067968 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19578/statm: 418 123 108 20 0 45 0
[pid=19579] ppid=19578 vsize=2572 CPUtime=0
/proc/19579/stat : 19579 (run_h) S 19578 19569 17551 34817 17551 4202496 369 610 0 0 0 0 0 0 20 0 1 0 35585458 2633728 274 1283457024 134512640 135304128 4288271456 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19579/statm: 643 274 232 194 0 30 0
[pid=19583] ppid=19579 vsize=218372 CPUtime=7.48
/proc/19583/stat : 19583 (minisatp_32) R 19579 19569 17551 34817 17551 4202496 67252 0 0 0 708 40 0 0 25 0 1 0 35585458 223612928 49645 1283457024 134512640 135413687 4288718016 18446744073709551615 134686490 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19583/statm: 54593 49645 107 220 0 54371 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 295912

[startup+25.5115 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19600
/proc/meminfo: memFree=58064/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=173332 CPUtime=3.05
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 40803 0 0 0 278 27 0 0 25 0 1 0 35587182 177491968 40390 1283457024 134512640 143279753 4291116752 18446744073709551615 135002687 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 43333 40390 608 2141 0 41189 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 35587188 7364608 847 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 260632

[startup+51.1096 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19600
/proc/meminfo: memFree=56452/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=177032 CPUtime=28.61
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 72539 0 0 0 2671 190 0 0 25 0 1 0 35587182 181280768 41255 1283457024 134512640 143279753 4291116752 18446744073709551615 136060019 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 44258 41255 683 2141 0 42114 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35587188 7364608 851 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 851 474 480 0 383 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 264332

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.95 2/45 19605
/proc/meminfo: memFree=44648/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=186952 CPUtime=79.7
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 100578 0 0 0 7644 326 0 0 25 0 1 0 35587182 191438848 43767 1283457024 134512640 143279753 4291116752 18446744073709551615 136059652 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 46738 43767 681 2141 0 44594 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0.01
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1014 0 0 0 0 1 0 0 18 0 1 0 35587188 7364608 853 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 853 474 480 0 383 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 274252

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

[startup+102.409 s]
/proc/loadavg: 1.00 1.00 0.95 2/45 19605
/proc/meminfo: memFree=44648/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=186952 CPUtime=79.8
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 100578 0 0 0 7654 326 0 0 25 0 1 0 35587182 191438848 43767 1283457024 134512640 143279753 4291116752 18446744073709551615 136059652 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 46738 43767 681 2141 0 44594 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0.01
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1014 0 0 0 0 1 0 0 18 0 1 0 35587188 7364608 853 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 853 474 480 0 383 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 274252

[startup+128.01 s]
/proc/loadavg: 1.00 1.00 0.95 2/45 19607
/proc/meminfo: memFree=43656/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=187976 CPUtime=105.37
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 103632 0 0 0 10195 342 0 0 25 0 1 0 35587182 192487424 44023 1283457024 134512640 143279753 4291116752 18446744073709551615 136059652 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 46994 44023 681 2141 0 44850 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0.01
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1015 0 0 0 0 1 0 0 18 0 1 0 35587188 7364608 854 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 127.49
Current children cumulated vsize (KiB) 275276

[startup+140.814 s]
/proc/loadavg: 1.00 1.00 0.95 2/45 19609
/proc/meminfo: memFree=8068/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=226692 CPUtime=118.13
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 135845 0 0 0 11449 364 0 0 25 0 1 0 35587182 232132608 53067 1283457024 134512640 143279753 4291116752 18446744073709551615 136983855 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 56673 53067 828 2141 0 54529 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0.01
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1015 0 0 0 0 1 0 0 18 0 1 0 35587188 7364608 854 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 140.25
Current children cumulated vsize (KiB) 313992

[startup+144.015 s]
/proc/loadavg: 1.00 1.00 0.95 2/45 19609
/proc/meminfo: memFree=8316/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=226620 CPUtime=121.34
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 136705 0 0 0 11762 372 0 0 25 0 1 0 35587182 232058880 53042 1283457024 134512640 143279753 4291116752 18446744073709551615 141858391 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 56655 53042 874 2141 0 54511 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0.01
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1015 0 0 0 0 1 0 0 18 0 1 0 35587188 7364608 854 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 143.46
Current children cumulated vsize (KiB) 313920

[startup+147.205 s]
/proc/loadavg: 1.00 1.00 0.95 2/45 19609
/proc/meminfo: memFree=8192/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=226788 CPUtime=124.52
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 137591 0 0 0 12076 376 0 0 25 0 1 0 35587182 232230912 53100 1283457024 134512640 143279753 4291116752 18446744073709551615 136875212 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 56697 53100 876 2141 0 54553 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0.01
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1015 0 0 0 0 1 0 0 18 0 1 0 35587188 7364608 854 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 146.64
Current children cumulated vsize (KiB) 314088

[startup+148.806 s]
/proc/loadavg: 1.00 1.00 0.95 2/45 19609
/proc/meminfo: memFree=8936/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=225860 CPUtime=126.12
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 138257 0 0 0 12228 384 0 0 25 0 1 0 35587182 231280640 52935 1283457024 134512640 143279753 4291116752 18446744073709551615 136875212 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 56465 52935 807 2141 0 54321 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0.01
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1015 0 0 0 0 1 0 0 18 0 1 0 35587188 7364608 854 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 148.24
Current children cumulated vsize (KiB) 313160

[startup+149.206 s]
/proc/loadavg: 1.00 1.00 0.95 2/45 19609
/proc/meminfo: memFree=8936/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=70728 CPUtime=22.11
/proc/19570/stat : 19570 (packup) S 19569 19569 17551 34817 17551 4202496 17923 140047 0 0 257 127 1724 103 18 0 1 0 35584938 72425472 16792 1283457024 134512640 134752139 4290907680 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19570/statm: 17682 16792 333 59 0 16846 0
[pid=19590] ppid=19570 vsize=1668 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19570 19569 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35587180 1708032 123 1283457024 134512640 134593992 4291419984 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19590/statm: 417 123 108 20 0 44 0
[pid=19591] ppid=19590 vsize=2572 CPUtime=0
/proc/19591/stat : 19591 (run_h) S 19590 19569 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 20 0 1 0 35587181 2633728 273 1283457024 134512640 135304128 4288310384 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19591/statm: 643 273 232 194 0 30 0
[pid=19595] ppid=19591 vsize=2564 CPUtime=0
/proc/19595/stat : 19595 (run_scip) S 19591 19569 17551 34817 17551 4202496 391 774 0 0 0 0 0 0 20 0 1 0 35587181 2625536 268 1283457024 134512640 135304128 4287716304 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19595/statm: 641 268 228 194 0 28 0
[pid=19599] ppid=19595 vsize=225860 CPUtime=126.52
/proc/19599/stat : 19599 (scip-2.0.1.linu) R 19595 19569 17551 34817 17551 4202496 138257 0 0 0 12268 384 0 0 25 0 1 0 35587182 231280640 52935 1283457024 134512640 143279753 4291116752 18446744073709551615 136802848 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19599/statm: 56465 52935 807 2141 0 54321 0
[pid=19600] ppid=19595 vsize=7192 CPUtime=0.01
/proc/19600/stat : 19600 (scip2v) S 19595 19569 17551 34817 17551 4202496 1015 0 0 0 0 1 0 0 18 0 1 0 35587188 7364608 854 1283457024 134512640 136477024 4293601664 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19600/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 148.64
Current children cumulated vsize (KiB) 313160

[startup+149.606 s]
/proc/loadavg: 1.00 1.00 0.95 2/40 19609
/proc/meminfo: memFree=224900/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=69188 CPUtime=149.06
/proc/19570/stat : 19570 (packup) R 19569 19569 17551 34817 17551 4202496 24855 282358 0 0 262 128 14027 489 18 0 1 0 35584938 70848512 16419 1283457024 134512640 134752139 4290907680 18446744073709551615 134622679 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19570/statm: 17297 16419 345 59 0 16461 0
Current children cumulated CPU time (s) 149.06
Current children cumulated vsize (KiB) 71764

[startup+149.706 s]
/proc/loadavg: 1.00 1.00 0.95 2/40 19609
/proc/meminfo: memFree=224900/1048576 swapFree=0/0
[pid=19569] ppid=19568 vsize=2576 CPUtime=0
/proc/19569/stat : 19569 (packup2hy4tr-0.) S 19568 19569 17551 34817 17551 4202496 379 0 0 0 0 0 0 0 25 0 1 0 35584937 2637824 275 1283457024 134512640 135304128 4291659520 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19569/statm: 644 275 233 194 0 31 0
[pid=19570] ppid=19569 vsize=62968 CPUtime=149.16
/proc/19570/stat : 19570 (packup) R 19569 19569 17551 34817 17551 4202496 32598 282358 0 0 272 128 14027 489 18 0 1 0 35584938 64479232 15236 1283457024 134512640 134752139 4290907680 18446744073709551615 4157642971 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19570/statm: 15742 15236 345 59 0 14906 0
Current children cumulated CPU time (s) 149.16
Current children cumulated vsize (KiB) 65544

Child status: 0
Real time (s): 149.733
CPU time (s): 149.201
CPU user time (s): 143.021
CPU system time (s): 6.18039
CPU usage (%): 99.6452
Max. virtual memory (cumulated for all children) (KiB): 327716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.021
system time used= 6.18039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315958
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= 2506
involuntary context switches= 4510

runsolver used 0 second user time and 0.008 second system time

The end