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/rand439.cudf.s-e-l-s.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/incremental/s-e-l-s/rand439.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand439.cudf.s-e-l-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.00 1.00 0.95 5/39 19625
/proc/meminfo: memFree=291252/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) R 19623 19624 17551 34817 17551 4202496 359 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=2568 CPUtime=0
/proc/19625/stat : 19625 (packup2hy4tr-0.) R 19624 19624 17551 34817 17551 4202560 0 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 40 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/19625/statm: 642 40 0 194 0 29 0

[startup+0.115657 s]
/proc/loadavg: 1.00 1.00 0.95 5/39 19625
/proc/meminfo: memFree=291252/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=7492 CPUtime=0.09
/proc/19625/stat : 19625 (packup) R 19624 19624 17551 34817 17551 4202496 1372 0 0 0 9 0 0 0 25 0 1 0 35599920 7671808 1301 1283457024 134512640 134752139 4290715120 18446744073709551615 134681805 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19625/statm: 1873 1301 286 59 0 1037 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10060

[startup+0.207638 s]
/proc/loadavg: 1.00 1.00 0.95 5/39 19625
/proc/meminfo: memFree=291252/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=10924 CPUtime=0.18
/proc/19625/stat : 19625 (packup) R 19624 19624 17551 34817 17551 4202496 2209 0 0 0 18 0 0 0 25 0 1 0 35599920 11186176 2138 1283457024 134512640 134752139 4290715120 18446744073709551615 4156959980 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19625/statm: 2731 2138 286 59 0 1895 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13492

[startup+0.307642 s]
/proc/loadavg: 1.00 1.00 0.95 5/39 19625
/proc/meminfo: memFree=291252/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=14024 CPUtime=0.27
/proc/19625/stat : 19625 (packup) R 19624 19624 17551 34817 17551 4202496 3005 0 0 0 27 0 0 0 25 0 1 0 35599920 14360576 2934 1283457024 134512640 134752139 4290715120 18446744073709551615 134681869 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19625/statm: 3506 2934 286 59 0 2670 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 16592

[startup+0.707667 s]
/proc/loadavg: 1.00 1.00 0.95 5/39 19625
/proc/meminfo: memFree=291252/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=25324 CPUtime=0.59
/proc/19625/stat : 19625 (packup) R 19624 19624 17551 34817 17551 4202496 5818 0 0 0 57 2 0 0 25 0 1 0 35599920 25931776 5747 1283457024 134512640 134752139 4290715120 18446744073709551615 134694895 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19625/statm: 6331 5747 286 59 0 5495 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 27892

[startup+1.50814 s]
/proc/loadavg: 1.00 1.00 0.95 2/40 19627
/proc/meminfo: memFree=240476/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=51032 CPUtime=1.34
/proc/19625/stat : 19625 (packup) R 19624 19624 17551 34817 17551 4202496 12325 0 0 0 130 4 0 0 25 0 1 0 35599920 52256768 12205 1283457024 134512640 134752139 4290715120 18446744073709551615 4156945699 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19625/statm: 12758 12205 306 59 0 11922 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 53600

[startup+3.10853 s]
/proc/loadavg: 1.00 1.00 0.95 2/40 19627
/proc/meminfo: memFree=204808/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67768 CPUtime=2.12
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 16807 0 0 0 176 36 0 0 25 0 1 0 35599920 69394432 16044 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16942 16044 325 59 0 16106 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 70336
heavy processes:

[startup+6.30812 s]
/proc/loadavg: 1.00 1.00 0.95 2/40 19634
/proc/meminfo: memFree=203428/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67772 CPUtime=5.18
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 16903 16660 0 0 197 64 231 26 18 0 1 0 35599920 69398528 16063 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16943 16063 333 59 0 16107 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 70340

[startup+12.7097 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19640
/proc/meminfo: memFree=43312/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67772 CPUtime=5.18
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 16903 16660 0 0 197 64 231 26 18 0 1 0 35599920 69398528 16063 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16943 16063 333 59 0 16107 0
[pid=19634] ppid=19625 vsize=1672 CPUtime=0
/proc/19634/stat : 19634 (sh) S 19625 19624 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35600470 1712128 123 1283457024 134512640 134593992 4290186784 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19634/statm: 418 123 108 20 0 45 0
[pid=19635] ppid=19634 vsize=2572 CPUtime=0.01
/proc/19635/stat : 19635 (run_h) S 19634 19624 17551 34817 17551 4202496 367 614 0 0 0 0 0 1 21 0 1 0 35600471 2633728 273 1283457024 134512640 135304128 4292700320 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19635/statm: 643 273 232 194 0 30 0
[pid=19639] ppid=19635 vsize=173156 CPUtime=7.17
/proc/19639/stat : 19639 (minisatp_32) R 19635 19624 17551 34817 17551 4202496 53948 0 0 0 675 42 0 0 25 0 1 0 35600472 177311744 37930 1283457024 134512640 135413687 4291639184 18446744073709551615 134961285 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19639/statm: 43289 37930 107 220 0 43067 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 247740

[startup+25.5146 s]
/proc/loadavg: 1.00 1.00 0.95 2/44 19657
/proc/meminfo: memFree=80744/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=153084 CPUtime=1.8
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 35810 0 0 0 174 6 0 0 25 0 1 0 35602290 156758016 35525 1283457024 134512640 143279753 4289912240 18446744073709551615 141131755 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 38271 35525 568 2141 0 36127 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1009 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 847 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 847 474 480 0 384 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 237436

[startup+51.1029 s]
/proc/loadavg: 1.00 1.00 0.95 2/44 19657
/proc/meminfo: memFree=30152/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=184556 CPUtime=27.34
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 60155 0 0 0 2570 164 0 0 25 0 1 0 35602290 188985344 43209 1283457024 134512640 143279753 4289912240 18446744073709551615 136059652 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 46139 43209 658 2141 0 43995 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1010 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 848 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 848 474 480 0 384 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 268908

[startup+102.313 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19657
/proc/meminfo: memFree=8536/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=221140 CPUtime=78.45
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 136131 0 0 0 7235 610 0 0 25 0 1 0 35602290 226447360 51562 1283457024 134512640 143279753 4289912240 18446744073709551615 134863205 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 55285 51562 669 2141 0 53141 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1016 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 854 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 305492

[startup+162.307 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19657
/proc/meminfo: memFree=6428/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=223188 CPUtime=138.38
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 167626 0 0 0 13109 729 0 0 25 0 1 0 35602290 228544512 52097 1283457024 134512640 143279753 4289912240 18446744073709551615 141131763 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 55797 52097 669 2141 0 53653 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1016 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 854 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 307540

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

[startup+166.408 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19657
/proc/meminfo: memFree=6428/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=223188 CPUtime=142.47
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 167626 0 0 0 13517 730 0 0 25 0 1 0 35602290 228544512 52097 1283457024 134512640 143279753 4289912240 18446744073709551615 134605015 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 55797 52097 669 2141 0 53653 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1016 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 854 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 165.82
Current children cumulated vsize (KiB) 307540

[startup+172.81 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19657
/proc/meminfo: memFree=6244/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=240884 CPUtime=148.86
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 176490 0 0 0 14146 740 0 0 25 0 1 0 35602290 246665216 56422 1283457024 134512640 143279753 4289912240 18446744073709551615 137840522 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 60221 56422 757 2141 0 58077 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1016 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 854 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 172.21
Current children cumulated vsize (KiB) 325236

[startup+179.212 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19657
/proc/meminfo: memFree=5396/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=243620 CPUtime=155.25
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 178261 0 0 0 14774 751 0 0 25 0 1 0 35602290 249466880 57163 1283457024 134512640 143279753 4289912240 18446744073709551615 136445974 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 60905 57163 791 2141 0 58761 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1016 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 854 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 178.6
Current children cumulated vsize (KiB) 327972

[startup+180.813 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19657
/proc/meminfo: memFree=5496/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=246336 CPUtime=156.85
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 178809 0 0 0 14928 757 0 0 25 0 1 0 35602290 252248064 57709 1283457024 134512640 143279753 4289912240 18446744073709551615 136875212 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 61584 57709 789 2141 0 59440 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1016 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 854 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 180.2
Current children cumulated vsize (KiB) 330688

[startup+181.604 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19657
/proc/meminfo: memFree=5496/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=246336 CPUtime=157.63
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 178814 0 0 0 15005 758 0 0 25 0 1 0 35602290 252248064 57714 1283457024 134512640 143279753 4289912240 18446744073709551615 135245360 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/19656/statm: 61584 57714 789 2141 0 59440 0
[pid=19657] ppid=19652 vsize=7196 CPUtime=0.01
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1016 0 0 0 1 0 0 0 18 0 1 0 35602296 7368704 854 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 180.98
Current children cumulated vsize (KiB) 330688

[startup+182.404 s]
/proc/loadavg: 1.00 1.00 0.95 2/43 19657
/proc/meminfo: memFree=5496/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=67780 CPUtime=23.33
/proc/19625/stat : 19625 (packup) S 19624 19624 17551 34817 17551 4202496 17131 130745 0 0 246 120 1839 128 18 0 1 0 35599920 69406720 16076 1283457024 134512640 134752139 4290715120 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/19625/statm: 16945 16076 333 59 0 16109 0
[pid=19647] ppid=19625 vsize=1672 CPUtime=0
/proc/19647/stat : 19647 (sh) S 19625 19624 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 19 0 1 0 35602288 1712128 124 1283457024 134512640 134593992 4292073456 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/19647/statm: 418 124 108 20 0 45 0
[pid=19648] ppid=19647 vsize=2568 CPUtime=0.01
/proc/19648/stat : 19648 (run_h) S 19647 19624 17551 34817 17551 4202496 365 610 0 0 1 0 0 0 20 0 1 0 35602289 2629632 272 1283457024 134512640 135304128 4292448352 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19648/statm: 642 272 232 194 0 29 0
[pid=19652] ppid=19648 vsize=2568 CPUtime=0
/proc/19652/stat : 19652 (run_scip) S 19648 19624 17551 34817 17551 4202496 394 771 0 0 0 0 0 0 20 0 1 0 35602289 2629632 269 1283457024 134512640 135304128 4290410096 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19652/statm: 642 269 228 194 0 29 0
[pid=19656] ppid=19652 vsize=252400 CPUtime=158.38
/proc/19656/stat : 19656 (scip-2.0.1.linu) R 19652 19624 17551 34817 17551 4202496 187164 0 0 0 15066 772 0 0 25 0 1 0 35602290 258457600 59157 1283457024 134512640 143279753 4289912240 18446744073709551615 140922754 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/19656/statm: 63100 59157 807 2141 0 60956 0
[pid=19657] ppid=19652 vsize=7636 CPUtime=0.06
/proc/19657/stat : 19657 (scip2v) S 19652 19624 17551 34817 17551 4202496 1118 0 0 0 4 2 0 0 18 0 1 0 35602296 7819264 956 1283457024 134512640 136477024 4292089872 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/19657/statm: 1909 956 479 480 0 494 0
Current children cumulated CPU time (s) 181.78
Current children cumulated vsize (KiB) 337192

[startup+182.604 s]
/proc/loadavg: 1.00 1.00 0.95 2/38 19657
/proc/meminfo: memFree=261016/1048576 swapFree=0/0
[pid=19624] ppid=19623 vsize=2568 CPUtime=0
/proc/19624/stat : 19624 (packup2hy4tr-0.) S 19623 19624 17551 34817 17551 4202496 376 0 0 0 0 0 0 0 25 0 1 0 35599920 2629632 273 1283457024 134512640 135304128 4292747280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/19624/statm: 642 273 233 194 0 29 0
[pid=19625] ppid=19624 vsize=66044 CPUtime=182
/proc/19625/stat : 19625 (packup) R 19624 19624 17551 34817 17551 4202496 30201 321446 0 0 256 123 16915 906 18 0 1 0 35599920 67629056 15655 1283457024 134512640 134752139 4290715120 18446744073709551615 4156941725 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/19625/statm: 16511 15655 346 59 0 15675 0
Current children cumulated CPU time (s) 182
Current children cumulated vsize (KiB) 68612

Child status: 0
Real time (s): 182.671
CPU time (s): 182.075
CPU user time (s): 171.779
CPU system time (s): 10.2966
CPU usage (%): 99.6738
Max. virtual memory (cumulated for all children) (KiB): 350680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.779
system time used= 10.2966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353606
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= 22405
involuntary context switches= 24747

runsolver used 0 second user time and 0.008 second system time

The end