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/rand375.cudf.user-upgrades.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/user-upgrades/rand375.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand375.cudf.user-upgrades.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.07 1.02 0.98 3/37 20187
/proc/meminfo: memFree=287000/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=3716 CPUtime=0
/proc/20187/stat : 20187 (packup) D 20186 20186 17551 34817 17551 4202496 388 0 0 0 0 0 0 0 18 0 1 0 35697479 3805184 317 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/20187/statm: 929 317 273 59 0 93 0

[startup+0.112304 s]
/proc/loadavg: 1.07 1.02 0.98 3/37 20187
/proc/meminfo: memFree=287000/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=4244 CPUtime=0
/proc/20187/stat : 20187 (packup) D 20186 20186 17551 34817 17551 4202496 553 0 0 0 0 0 0 0 25 0 1 0 35697479 4345856 482 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/20187/statm: 1061 482 286 59 0 225 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6816

[startup+0.21215 s]
/proc/loadavg: 1.07 1.02 0.98 3/37 20187
/proc/meminfo: memFree=287000/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=4788 CPUtime=0.01
/proc/20187/stat : 20187 (packup) D 20186 20186 17551 34817 17551 4202496 688 0 0 0 1 0 0 0 24 0 1 0 35697479 4902912 617 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/20187/statm: 1197 617 286 59 0 361 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7360

[startup+0.304209 s]
/proc/loadavg: 1.07 1.02 0.98 3/37 20187
/proc/meminfo: memFree=287000/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=5316 CPUtime=0.02
/proc/20187/stat : 20187 (packup) D 20186 20186 17551 34817 17551 4202496 830 0 0 0 2 0 0 0 23 0 1 0 35697479 5443584 759 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/20187/statm: 1329 759 286 59 0 493 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7888

[startup+0.704205 s]
/proc/loadavg: 1.07 1.02 0.98 3/37 20187
/proc/meminfo: memFree=287000/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=10728 CPUtime=0.15
/proc/20187/stat : 20187 (packup) D 20186 20186 17551 34817 17551 4202496 2183 0 0 0 15 0 0 0 22 0 1 0 35697479 10985472 2112 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/20187/statm: 2682 2112 286 59 0 1846 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13300

[startup+1.5043 s]
/proc/loadavg: 1.07 1.02 0.98 1/38 20188
/proc/meminfo: memFree=267996/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=17632 CPUtime=0.33
/proc/20187/stat : 20187 (packup) D 20186 20186 17551 34817 17551 4202496 3883 0 0 0 32 1 0 0 18 0 1 0 35697479 18055168 3812 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/20187/statm: 4408 3812 286 59 0 3572 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 20204

[startup+3.11186 s]
/proc/loadavg: 1.07 1.02 0.98 1/38 20188
/proc/meminfo: memFree=249648/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=45736 CPUtime=1.19
/proc/20187/stat : 20187 (packup) R 20186 20186 17551 34817 17551 4202496 10707 0 0 0 115 4 0 0 18 0 1 0 35697479 46833664 10587 1283457024 134512640 134752139 4294781392 18446744073709551615 4157572527 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/20187/statm: 11434 10587 320 59 0 10598 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 48308
heavy processes:

[startup+6.31259 s]
/proc/loadavg: 1.07 1.02 0.98 2/41 20200
/proc/meminfo: memFree=195200/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=46092 CPUtime=2.68
/proc/20187/stat : 20187 (packup) S 20186 20186 17551 34817 17551 4202496 11164 9011 0 0 134 27 96 11 18 0 1 0 35697479 47198208 10845 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20187/statm: 11523 10845 333 59 0 10687 0
[pid=20195] ppid=20187 vsize=1676 CPUtime=0
/proc/20195/stat : 20195 (sh) S 20187 20186 17551 34817 17551 4202496 146 0 0 0 0 0 0 0 18 0 1 0 35697941 1716224 124 1283457024 134512640 134593992 4293499216 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20195/statm: 419 124 108 20 0 46 0
[pid=20196] ppid=20195 vsize=2576 CPUtime=0.01
/proc/20196/stat : 20196 (run_h) S 20195 20186 17551 34817 17551 4202496 369 611 0 0 0 0 0 1 21 0 1 0 35697941 2637824 274 1283457024 134512640 135304128 4289643952 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20196/statm: 644 274 232 194 0 31 0
[pid=20200] ppid=20196 vsize=44064 CPUtime=1.67
/proc/20200/stat : 20200 (minisatp_32) R 20196 20186 17551 34817 17551 4202496 14567 0 0 0 150 17 0 0 25 0 1 0 35697942 45121536 9728 1283457024 134512640 135413687 4291506032 18446744073709551615 134688699 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/20200/statm: 11016 9728 107 220 0 10794 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 96980
heavy processes:

[startup+12.7146 s]
/proc/loadavg: 1.06 1.02 0.98 2/43 20217
/proc/meminfo: memFree=134284/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=46100 CPUtime=7.72
/proc/20187/stat : 20187 (packup) S 20186 20186 17551 34817 17551 4202496 11303 49705 0 0 157 48 518 49 18 0 1 0 35697479 47206400 10852 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20187/statm: 11525 10852 333 59 0 10689 0
[pid=20207] ppid=20187 vsize=1668 CPUtime=0
/proc/20207/stat : 20207 (sh) S 20187 20186 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35698445 1708032 123 1283457024 134512640 134593992 4288183360 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20207/statm: 417 123 108 20 0 44 0
[pid=20208] ppid=20207 vsize=2568 CPUtime=0
/proc/20208/stat : 20208 (run_h) S 20207 20186 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 21 0 1 0 35698445 2629632 273 1283457024 134512640 135304128 4288412816 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20208/statm: 642 273 232 194 0 29 0
[pid=20212] ppid=20208 vsize=2568 CPUtime=0
/proc/20212/stat : 20212 (run_scip) S 20208 20186 17551 34817 17551 4202496 394 753 0 0 0 0 0 0 21 0 1 0 35698446 2629632 269 1283457024 134512640 135304128 4288091184 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20212/statm: 642 269 228 194 0 29 0
[pid=20216] ppid=20212 vsize=81120 CPUtime=3.02
/proc/20216/stat : 20216 (scip-2.0.1.linu) R 20212 20186 17551 34817 17551 4202496 23401 0 0 0 260 42 0 0 25 0 1 0 35698446 83066880 18160 1283457024 134512640 143279753 4293521696 18446744073709551615 4294960130 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20216/statm: 20280 18160 643 2141 0 18136 0
[pid=20217] ppid=20212 vsize=7188 CPUtime=0
/proc/20217/stat : 20217 (scip2v) S 20212 20186 17551 34817 17551 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 35698453 7360512 846 1283457024 134512640 136477024 4290424448 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20217/statm: 1797 846 474 480 0 382 0
Current children cumulated CPU time (s) 10.74
Current children cumulated vsize (KiB) 143784

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

[startup+15.9053 s]
/proc/loadavg: 1.06 1.01 0.98 2/43 20217
/proc/meminfo: memFree=138128/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=46100 CPUtime=7.72
/proc/20187/stat : 20187 (packup) S 20186 20186 17551 34817 17551 4202496 11303 49705 0 0 157 48 518 49 18 0 1 0 35697479 47206400 10852 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20187/statm: 11525 10852 333 59 0 10689 0
[pid=20207] ppid=20187 vsize=1668 CPUtime=0
/proc/20207/stat : 20207 (sh) S 20187 20186 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35698445 1708032 123 1283457024 134512640 134593992 4288183360 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20207/statm: 417 123 108 20 0 44 0
[pid=20208] ppid=20207 vsize=2568 CPUtime=0
/proc/20208/stat : 20208 (run_h) S 20207 20186 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 21 0 1 0 35698445 2629632 273 1283457024 134512640 135304128 4288412816 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20208/statm: 642 273 232 194 0 29 0
[pid=20212] ppid=20208 vsize=2568 CPUtime=0
/proc/20212/stat : 20212 (run_scip) S 20208 20186 17551 34817 17551 4202496 394 753 0 0 0 0 0 0 21 0 1 0 35698446 2629632 269 1283457024 134512640 135304128 4288091184 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20212/statm: 642 269 228 194 0 29 0
[pid=20216] ppid=20212 vsize=82908 CPUtime=6.2
/proc/20216/stat : 20216 (scip-2.0.1.linu) R 20212 20186 17551 34817 17551 4202496 36799 0 0 0 550 70 0 0 25 0 1 0 35698446 84897792 18638 1283457024 134512640 143279753 4293521696 18446744073709551615 134918021 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20216/statm: 20727 18638 653 2141 0 18583 0
[pid=20217] ppid=20212 vsize=7188 CPUtime=0
/proc/20217/stat : 20217 (scip2v) S 20212 20186 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35698453 7360512 847 1283457024 134512640 136477024 4290424448 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20217/statm: 1797 847 474 480 0 382 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 145572

[startup+19.1061 s]
/proc/loadavg: 1.05 1.01 0.98 2/43 20217
/proc/meminfo: memFree=137136/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=46100 CPUtime=7.72
/proc/20187/stat : 20187 (packup) S 20186 20186 17551 34817 17551 4202496 11303 49705 0 0 157 48 518 49 18 0 1 0 35697479 47206400 10852 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20187/statm: 11525 10852 333 59 0 10689 0
[pid=20207] ppid=20187 vsize=1668 CPUtime=0
/proc/20207/stat : 20207 (sh) S 20187 20186 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35698445 1708032 123 1283457024 134512640 134593992 4288183360 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20207/statm: 417 123 108 20 0 44 0
[pid=20208] ppid=20207 vsize=2568 CPUtime=0
/proc/20208/stat : 20208 (run_h) S 20207 20186 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 21 0 1 0 35698445 2629632 273 1283457024 134512640 135304128 4288412816 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20208/statm: 642 273 232 194 0 29 0
[pid=20212] ppid=20208 vsize=2568 CPUtime=0
/proc/20212/stat : 20212 (run_scip) S 20208 20186 17551 34817 17551 4202496 394 753 0 0 0 0 0 0 21 0 1 0 35698446 2629632 269 1283457024 134512640 135304128 4288091184 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20212/statm: 642 269 228 194 0 29 0
[pid=20216] ppid=20212 vsize=82908 CPUtime=9.4
/proc/20216/stat : 20216 (scip-2.0.1.linu) R 20212 20186 17551 34817 17551 4202496 42608 0 0 0 852 88 0 0 25 0 1 0 35698446 84897792 18642 1283457024 134512640 143279753 4293521696 18446744073709551615 135451881 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20216/statm: 20727 18642 657 2141 0 18583 0
[pid=20217] ppid=20212 vsize=7188 CPUtime=0
/proc/20217/stat : 20217 (scip2v) S 20212 20186 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35698453 7360512 850 1283457024 134512640 136477024 4290424448 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20217/statm: 1797 850 474 480 0 382 0
Current children cumulated CPU time (s) 17.12
Current children cumulated vsize (KiB) 145572

[startup+20.7066 s]
/proc/loadavg: 1.05 1.01 0.98 2/43 20217
/proc/meminfo: memFree=137136/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=46100 CPUtime=7.72
/proc/20187/stat : 20187 (packup) S 20186 20186 17551 34817 17551 4202496 11303 49705 0 0 157 48 518 49 18 0 1 0 35697479 47206400 10852 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20187/statm: 11525 10852 333 59 0 10689 0
[pid=20207] ppid=20187 vsize=1668 CPUtime=0
/proc/20207/stat : 20207 (sh) S 20187 20186 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35698445 1708032 123 1283457024 134512640 134593992 4288183360 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20207/statm: 417 123 108 20 0 44 0
[pid=20208] ppid=20207 vsize=2568 CPUtime=0
/proc/20208/stat : 20208 (run_h) S 20207 20186 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 21 0 1 0 35698445 2629632 273 1283457024 134512640 135304128 4288412816 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20208/statm: 642 273 232 194 0 29 0
[pid=20212] ppid=20208 vsize=2568 CPUtime=0
/proc/20212/stat : 20212 (run_scip) S 20208 20186 17551 34817 17551 4202496 394 753 0 0 0 0 0 0 21 0 1 0 35698446 2629632 269 1283457024 134512640 135304128 4288091184 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20212/statm: 642 269 228 194 0 29 0
[pid=20216] ppid=20212 vsize=83932 CPUtime=11
/proc/20216/stat : 20216 (scip-2.0.1.linu) R 20212 20186 17551 34817 17551 4202496 45702 0 0 0 1006 94 0 0 25 0 1 0 35698446 85946368 18898 1283457024 134512640 143279753 4293521696 18446744073709551615 136059652 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20216/statm: 20983 18898 657 2141 0 18839 0
[pid=20217] ppid=20212 vsize=7188 CPUtime=0
/proc/20217/stat : 20217 (scip2v) S 20212 20186 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35698453 7360512 850 1283457024 134512640 136477024 4290424448 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20217/statm: 1797 850 474 480 0 382 0
Current children cumulated CPU time (s) 18.72
Current children cumulated vsize (KiB) 146596

[startup+21.5068 s]
/proc/loadavg: 1.05 1.01 0.98 2/43 20217
/proc/meminfo: memFree=136640/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=46100 CPUtime=7.72
/proc/20187/stat : 20187 (packup) S 20186 20186 17551 34817 17551 4202496 11303 49705 0 0 157 48 518 49 18 0 1 0 35697479 47206400 10852 1283457024 134512640 134752139 4294781392 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/20187/statm: 11525 10852 333 59 0 10689 0
[pid=20207] ppid=20187 vsize=1668 CPUtime=0
/proc/20207/stat : 20207 (sh) S 20187 20186 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35698445 1708032 123 1283457024 134512640 134593992 4288183360 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/20207/statm: 417 123 108 20 0 44 0
[pid=20208] ppid=20207 vsize=2568 CPUtime=0
/proc/20208/stat : 20208 (run_h) S 20207 20186 17551 34817 17551 4202496 367 612 0 0 0 0 0 0 21 0 1 0 35698445 2629632 273 1283457024 134512640 135304128 4288412816 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20208/statm: 642 273 232 194 0 29 0
[pid=20212] ppid=20208 vsize=2568 CPUtime=0
/proc/20212/stat : 20212 (run_scip) S 20208 20186 17551 34817 17551 4202496 394 753 0 0 0 0 0 0 21 0 1 0 35698446 2629632 269 1283457024 134512640 135304128 4288091184 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20212/statm: 642 269 228 194 0 29 0
[pid=20216] ppid=20212 vsize=84352 CPUtime=11.8
/proc/20216/stat : 20216 (scip-2.0.1.linu) R 20212 20186 17551 34817 17551 4202496 46451 0 0 0 1085 95 0 0 25 0 1 0 35698446 86376448 19002 1283457024 134512640 143279753 4293521696 18446744073709551615 137161673 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/20216/statm: 21088 19002 657 2141 0 18944 0
[pid=20217] ppid=20212 vsize=7188 CPUtime=0
/proc/20217/stat : 20217 (scip2v) S 20212 20186 17551 34817 17551 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 35698453 7360512 850 1283457024 134512640 136477024 4290424448 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/20217/statm: 1797 850 474 480 0 382 0
Current children cumulated CPU time (s) 19.52
Current children cumulated vsize (KiB) 147016

[startup+21.9068 s]
/proc/loadavg: 1.05 1.01 0.98 2/38 20217
/proc/meminfo: memFree=213848/1048576 swapFree=0/0
[pid=20186] ppid=20185 vsize=2572 CPUtime=0
/proc/20186/stat : 20186 (packup2hy4tr-0.) S 20185 20186 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 18 0 1 0 35697478 2633728 274 1283457024 134512640 135304128 4287404784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/20186/statm: 643 274 233 194 0 30 0
[pid=20187] ppid=20186 vsize=45132 CPUtime=19.95
/proc/20187/stat : 20187 (packup) R 20186 20186 17551 34817 17551 4202496 20780 102994 0 0 162 52 1624 157 18 0 1 0 35697479 46215168 10623 1283457024 134512640 134752139 4294781392 18446744073709551615 134536379 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/20187/statm: 11283 10623 346 59 0 10447 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (KiB) 47704

Child status: 0
Real time (s): 21.9403
CPU time (s): 19.9932
CPU user time (s): 17.8851
CPU system time (s): 2.10813
CPU usage (%): 91.1255
Max. virtual memory (cumulated for all children) (KiB): 148904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8851
system time used= 2.10813
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124788
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= 12681
involuntary context switches= 12918

runsolver used 0 second user time and 0.008 second system time

The end