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/rand58.cudf.s-e-l.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/incremental/s-e-l/rand58.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand58.cudf.s-e-l.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.98 3/37 20448
/proc/meminfo: memFree=289388/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=3716 CPUtime=0
/proc/20448/stat : 20448 (packup) D 20447 20447 17551 34817 17551 4202496 388 0 0 0 0 0 0 0 18 0 1 0 35771772 3805184 317 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/20448/statm: 929 317 273 59 0 93 0

[startup+0.148867 s]
/proc/loadavg: 0.92 0.98 0.98 3/37 20448
/proc/meminfo: memFree=289388/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=8732 CPUtime=0.12
/proc/20448/stat : 20448 (packup) R 20447 20447 17551 34817 17551 4202496 1669 0 0 0 11 1 0 0 25 0 1 0 35771772 8941568 1598 1283457024 134512640 134752139 4289768720 18446744073709551615 134682092 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/20448/statm: 2183 1598 286 59 0 1347 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 11300

[startup+0.204836 s]
/proc/loadavg: 0.92 0.98 0.98 3/37 20448
/proc/meminfo: memFree=289388/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=10580 CPUtime=0.17
/proc/20448/stat : 20448 (packup) R 20447 20447 17551 34817 17551 4202496 2133 0 0 0 15 2 0 0 25 0 1 0 35771772 10833920 2062 1283457024 134512640 134752139 4289768720 18446744073709551615 134681672 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/20448/statm: 2645 2062 286 59 0 1809 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13148

[startup+0.304854 s]
/proc/loadavg: 0.92 0.98 0.98 3/37 20448
/proc/meminfo: memFree=289388/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=13352 CPUtime=0.25
/proc/20448/stat : 20448 (packup) R 20447 20447 17551 34817 17551 4202496 2839 0 0 0 23 2 0 0 25 0 1 0 35771772 13672448 2768 1283457024 134512640 134752139 4289768720 18446744073709551615 134681493 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/20448/statm: 3338 2768 286 59 0 2502 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 15920

[startup+0.704868 s]
/proc/loadavg: 0.92 0.98 0.98 3/37 20448
/proc/meminfo: memFree=289388/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=23844 CPUtime=0.57
/proc/20448/stat : 20448 (packup) R 20447 20447 17551 34817 17551 4202496 5445 0 0 0 54 3 0 0 25 0 1 0 35771772 24416256 5374 1283457024 134512640 134752139 4289768720 18446744073709551615 134681895 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/20448/statm: 5961 5374 286 59 0 5125 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 26412

[startup+1.51438 s]
/proc/loadavg: 0.92 0.98 0.98 2/38 20449
/proc/meminfo: memFree=238380/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45580 CPUtime=1.34
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11018 0 0 0 114 20 0 0 25 0 1 0 35771772 46673920 10631 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11395 10631 325 59 0 10559 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 48148

[startup+3.1147 s]
/proc/loadavg: 0.92 0.98 0.98 2/41 20455
/proc/meminfo: memFree=217376/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45580 CPUtime=1.34
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11018 0 0 0 114 20 0 0 25 0 1 0 35771772 46673920 10631 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11395 10631 325 59 0 10559 0
[pid=20450] ppid=20448 vsize=1672 CPUtime=0
/proc/20450/stat : 20450 (sh) S 20448 20447 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 25 0 1 0 35771921 1712128 124 1283457024 134512640 134593992 4287304544 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20450/statm: 418 124 108 20 0 45 0
[pid=20451] ppid=20450 vsize=2576 CPUtime=0
/proc/20451/stat : 20451 (run_h) S 20450 20447 17551 34817 17551 4202496 370 610 0 0 0 0 0 0 25 0 1 0 35771922 2637824 274 1283457024 134512640 135304128 4288427152 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20451/statm: 644 274 232 194 0 31 0
[pid=20455] ppid=20451 vsize=35920 CPUtime=1.61
/proc/20455/stat : 20455 (minisatp_32) R 20451 20447 17551 34817 17551 4202496 10633 0 0 0 144 17 0 0 25 0 1 0 35771922 36782080 8425 1283457024 134512640 135413687 4287927296 18446744073709551615 134678464 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/20455/statm: 8980 8425 107 220 0 8758 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 88316

[startup+6.30964 s]
/proc/loadavg: 0.93 0.98 0.98 2/41 20461
/proc/meminfo: memFree=195924/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45584 CPUtime=3.41
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11106 12228 0 0 128 38 158 17 18 0 1 0 35771772 46678016 10647 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11396 10647 333 59 0 10560 0
[pid=20456] ppid=20448 vsize=1676 CPUtime=0
/proc/20456/stat : 20456 (sh) S 20448 20447 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 35772165 1716224 124 1283457024 134512640 134593992 4288758976 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20456/statm: 419 124 108 20 0 46 0
[pid=20457] ppid=20456 vsize=2572 CPUtime=0.01
/proc/20457/stat : 20457 (run_h) S 20456 20447 17551 34817 17551 4202496 369 609 0 0 0 1 0 0 21 0 1 0 35772166 2633728 273 1283457024 134512640 135304128 4293951952 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20457/statm: 643 273 232 194 0 30 0
[pid=20461] ppid=20457 vsize=78444 CPUtime=2.36
/proc/20461/stat : 20461 (minisatp_32) R 20457 20447 17551 34817 17551 4202496 22666 0 0 0 215 21 0 0 25 0 1 0 35772166 80326656 17216 1283457024 134512640 135413687 4293984720 18446744073709551615 134705811 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/20461/statm: 19611 17216 107 220 0 19389 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 130844

[startup+12.7113 s]
/proc/loadavg: 0.93 0.98 0.98 2/41 20467
/proc/meminfo: memFree=223204/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45588 CPUtime=11.23
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11198 75441 0 0 143 57 863 60 18 0 1 0 35771772 46682112 10655 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11397 10655 333 59 0 10561 0
[pid=20462] ppid=20448 vsize=1672 CPUtime=0.01
/proc/20462/stat : 20462 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 18 0 1 0 35772948 1712128 124 1283457024 134512640 134593992 4291639168 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20462/statm: 418 124 108 20 0 45 0
[pid=20463] ppid=20462 vsize=2572 CPUtime=0
/proc/20463/stat : 20463 (run_h) S 20462 20447 17551 34817 17551 4202496 366 611 0 0 0 0 0 0 20 0 1 0 35772949 2633728 273 1283457024 134512640 135304128 4291649440 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20463/statm: 643 273 232 194 0 30 0
[pid=20467] ppid=20463 vsize=24532 CPUtime=0.92
/proc/20467/stat : 20467 (minisatp_32) R 20463 20447 17551 34817 17551 4202496 5433 0 0 0 92 0 0 0 25 0 1 0 35772949 25120768 4861 1283457024 134512640 135413687 4292343872 18446744073709551615 134960810 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/20467/statm: 6133 4861 77 220 0 5911 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 76932

[startup+25.5044 s]
/proc/loadavg: 0.95 0.98 0.98 2/43 20478
/proc/meminfo: memFree=118764/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=120708 CPUtime=7.84
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 38943 0 0 0 678 106 0 0 25 0 1 0 35773538 123604992 27996 1283457024 134512640 143279753 4289531216 18446744073709551615 135922303 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20477/statm: 30177 27996 654 2141 0 28033 0
[pid=20478] ppid=20473 vsize=7192 CPUtime=0
/proc/20478/stat : 20478 (scip2v) S 20473 20447 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35773550 7364608 848 1283457024 134512640 136477024 4286726896 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20478/statm: 1798 848 474 480 0 383 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 182872

[startup+51.1117 s]
/proc/loadavg: 0.96 0.98 0.98 2/43 20478
/proc/meminfo: memFree=117152/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=122472 CPUtime=33.4
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 73138 0 0 0 3064 276 0 0 25 0 1 0 35773538 125411328 28412 1283457024 134512640 143279753 4289531216 18446744073709551615 135922136 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20477/statm: 30618 28412 659 2141 0 28474 0
[pid=20478] ppid=20473 vsize=7192 CPUtime=0
/proc/20478/stat : 20478 (scip2v) S 20473 20447 17551 34817 17551 4202496 1013 0 0 0 0 0 0 0 18 0 1 0 35773550 7364608 852 1283457024 134512640 136477024 4286726896 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20478/statm: 1798 852 474 480 0 383 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 184636

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

[startup+51.2117 s]
/proc/loadavg: 0.96 0.98 0.98 2/43 20478
/proc/meminfo: memFree=117152/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=122472 CPUtime=33.5
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 73138 0 0 0 3074 276 0 0 25 0 1 0 35773538 125411328 28412 1283457024 134512640 143279753 4289531216 18446744073709551615 135922136 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20477/statm: 30618 28412 659 2141 0 28474 0
[pid=20478] ppid=20473 vsize=7192 CPUtime=0
/proc/20478/stat : 20478 (scip2v) S 20473 20447 17551 34817 17551 4202496 1013 0 0 0 0 0 0 0 18 0 1 0 35773550 7364608 852 1283457024 134512640 136477024 4286726896 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20478/statm: 1798 852 474 480 0 383 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 184636

[startup+64.0092 s]
/proc/loadavg: 0.97 0.98 0.98 2/43 20478
/proc/meminfo: memFree=115664/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=123980 CPUtime=46.27
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 99234 0 0 0 4248 379 0 0 25 0 1 0 35773538 126955520 28783 1283457024 134512640 143279753 4289531216 18446744073709551615 4294960130 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20477/statm: 30995 28783 659 2141 0 28851 0
[pid=20478] ppid=20473 vsize=7192 CPUtime=0
/proc/20478/stat : 20478 (scip2v) S 20473 20447 17551 34817 17551 4202496 1015 0 0 0 0 0 0 0 18 0 1 0 35773550 7364608 854 1283457024 134512640 136477024 4286726896 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20478/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 63.38
Current children cumulated vsize (KiB) 186144

[startup+70.4108 s]
/proc/loadavg: 0.97 0.98 0.98 2/43 20478
/proc/meminfo: memFree=115664/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=123980 CPUtime=52.67
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 110551 0 0 0 4862 405 0 0 25 0 1 0 35773538 126955520 28784 1283457024 134512640 143279753 4289531216 18446744073709551615 136059652 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20477/statm: 30995 28784 659 2141 0 28851 0
[pid=20478] ppid=20473 vsize=7192 CPUtime=0
/proc/20478/stat : 20478 (scip2v) S 20473 20447 17551 34817 17551 4202496 1015 0 0 0 0 0 0 0 18 0 1 0 35773550 7364608 854 1283457024 134512640 136477024 4286726896 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20478/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (KiB) 186144

[startup+76.8139 s]
/proc/loadavg: 0.97 0.98 0.98 2/43 20478
/proc/meminfo: memFree=115664/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=123980 CPUtime=59.05
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 128674 0 0 0 5462 443 0 0 25 0 1 0 35773538 126955520 28784 1283457024 134512640 143279753 4289531216 18446744073709551615 135451881 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20477/statm: 30995 28784 659 2141 0 28851 0
[pid=20478] ppid=20473 vsize=7192 CPUtime=0
/proc/20478/stat : 20478 (scip2v) S 20473 20447 17551 34817 17551 4202496 1015 0 0 0 0 0 0 0 18 0 1 0 35773550 7364608 854 1283457024 134512640 136477024 4286726896 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20478/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 76.16
Current children cumulated vsize (KiB) 186144

[startup+80.0147 s]
/proc/loadavg: 0.97 0.98 0.98 2/43 20478
/proc/meminfo: memFree=115664/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=125004 CPUtime=62.24
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 136547 0 0 0 5764 460 0 0 25 0 1 0 35773538 128004096 29046 1283457024 134512640 143279753 4289531216 18446744073709551615 141131763 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20477/statm: 31251 29046 659 2141 0 29107 0
[pid=20478] ppid=20473 vsize=7192 CPUtime=0
/proc/20478/stat : 20478 (scip2v) S 20473 20447 17551 34817 17551 4202496 1015 0 0 0 0 0 0 0 18 0 1 0 35773550 7364608 854 1283457024 134512640 136477024 4286726896 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20478/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 79.35
Current children cumulated vsize (KiB) 187168

[startup+80.8148 s]
/proc/loadavg: 0.98 0.98 0.98 2/43 20478
/proc/meminfo: memFree=115168/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=125004 CPUtime=63.04
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 136547 0 0 0 5844 460 0 0 25 0 1 0 35773538 128004096 29046 1283457024 134512640 143279753 4289531216 18446744073709551615 136548099 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20477/statm: 31251 29046 659 2141 0 29107 0
[pid=20478] ppid=20473 vsize=7192 CPUtime=0
/proc/20478/stat : 20478 (scip2v) S 20473 20447 17551 34817 17551 4202496 1015 0 0 0 0 0 0 0 18 0 1 0 35773550 7364608 854 1283457024 134512640 136477024 4286726896 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20478/statm: 1798 854 474 480 0 383 0
Current children cumulated CPU time (s) 80.15
Current children cumulated vsize (KiB) 187168

[startup+81.615 s]
/proc/loadavg: 0.98 0.98 0.98 2/43 20478
/proc/meminfo: memFree=115168/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=45592 CPUtime=17.11
/proc/20448/stat : 20448 (packup) S 20447 20447 17551 34817 17551 4202496 11276 117869 0 0 164 70 1386 91 18 0 1 0 35771772 46686208 10656 1283457024 134512640 134752139 4289768720 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20448/statm: 11398 10656 333 59 0 10562 0
[pid=20468] ppid=20448 vsize=1672 CPUtime=0
/proc/20468/stat : 20468 (sh) S 20448 20447 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35773536 1712128 124 1283457024 134512640 134593992 4293116144 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20468/statm: 418 124 108 20 0 45 0
[pid=20469] ppid=20468 vsize=2576 CPUtime=0
/proc/20469/stat : 20469 (run_h) S 20468 20447 17551 34817 17551 4202496 368 612 0 0 0 0 0 0 21 0 1 0 35773537 2637824 274 1283457024 134512640 135304128 4292114448 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20469/statm: 644 274 232 194 0 31 0
[pid=20473] ppid=20469 vsize=2564 CPUtime=0
/proc/20473/stat : 20473 (run_scip) S 20469 20447 17551 34817 17551 4202496 391 756 0 0 0 0 0 0 22 0 1 0 35773537 2625536 268 1283457024 134512640 135304128 4287470496 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20473/statm: 641 268 228 194 0 28 0
[pid=20477] ppid=20473 vsize=126828 CPUtime=63.79
/proc/20477/stat : 20477 (scip-2.0.1.linu) R 20473 20447 17551 34817 17551 4202496 137767 0 0 0 5911 468 0 0 25 0 1 0 35773538 129871872 29578 1283457024 134512640 143279753 4289531216 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/20477/statm: 31707 29578 754 2141 0 29563 0
[pid=20478] ppid=20473 vsize=7380 CPUtime=0.04
/proc/20478/stat : 20478 (scip2v) R 20473 20447 17551 34817 17551 4202496 1043 0 0 0 4 0 0 0 18 0 1 0 35773550 7557120 882 1283457024 134512640 136477024 4286726896 18446744073709551615 135319352 0 0 16800256 2 0 0 0 17 0 0 0 0
/proc/20478/statm: 1845 882 479 480 0 430 0
Current children cumulated CPU time (s) 80.94
Current children cumulated vsize (KiB) 189180

[startup+81.8063 s]
/proc/loadavg: 0.98 0.98 0.98 2/43 20478
/proc/meminfo: memFree=115168/1048576 swapFree=0/0
[pid=20447] ppid=20446 vsize=2568 CPUtime=0
/proc/20447/stat : 20447 (packup2hy4tr-0.) S 20446 20447 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 35771772 2629632 273 1283457024 134512640 135304128 4293525712 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20447/statm: 642 273 233 194 0 29 0
[pid=20448] ppid=20447 vsize=44428 CPUtime=81.15
/proc/20448/stat : 20448 (packup) R 20447 20447 17551 34817 17551 4202496 20414 259066 0 0 168 74 7307 566 18 0 1 0 35771772 45494272 10378 1283457024 134512640 134752139 4289768720 18446744073709551615 4156954013 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/20448/statm: 11107 10378 346 59 0 10271 0
Current children cumulated CPU time (s) 81.15
Current children cumulated vsize (KiB) 46996

Child status: 0
Real time (s): 81.8461
CPU time (s): 81.2211
CPU user time (s): 74.7967
CPU system time (s): 6.4244
CPU usage (%): 99.2363
Max. virtual memory (cumulated for all children) (KiB): 249512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.7967
system time used= 6.4244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280359
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= 14896
involuntary context switches= 15938

runsolver used 0 second user time and 0.004 second system time

The end