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/rand149.cudf.s-e-l-s.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/incremental/s-e-l-s/rand149.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/rand149.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: 0.91 0.71 0.55 3/37 17717
/proc/meminfo: memFree=408564/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=3556 CPUtime=0
/proc/17717/stat : 17717 (packup) D 17716 17716 17551 34817 17551 4202496 366 0 0 0 0 0 0 0 18 0 1 0 35252237 3641344 295 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 0 18944 8192 18446744071564252162 0 0 17 0 0 0 0
/proc/17717/statm: 889 295 259 59 0 53 0

[startup+0.124805 s]
/proc/loadavg: 0.91 0.71 0.55 3/37 17717
/proc/meminfo: memFree=408564/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=7760 CPUtime=0.09
/proc/17717/stat : 17717 (packup) R 17716 17716 17551 34817 17551 4202496 1443 0 0 0 8 1 0 0 25 0 1 0 35252237 7946240 1372 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17717/statm: 1940 1372 286 59 0 1104 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10332

[startup+0.204826 s]
/proc/loadavg: 0.91 0.71 0.55 3/37 17717
/proc/meminfo: memFree=408564/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=11324 CPUtime=0.17
/proc/17717/stat : 17717 (packup) D 17716 17716 17551 34817 17551 4202496 2319 0 0 0 16 1 0 0 25 0 1 0 35252237 11595776 2248 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/17717/statm: 2831 2248 286 59 0 1995 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13896

[startup+0.312842 s]
/proc/loadavg: 0.91 0.71 0.55 3/37 17717
/proc/meminfo: memFree=408564/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=14028 CPUtime=0.26
/proc/17717/stat : 17717 (packup) R 17716 17716 17551 34817 17551 4202496 2995 0 0 0 25 1 0 0 25 0 1 0 35252237 14364672 2924 1283457024 134512640 134752139 4291739376 18446744073709551615 134709259 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17717/statm: 3507 2924 286 59 0 2671 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 16600

[startup+0.704856 s]
/proc/loadavg: 0.91 0.71 0.55 3/37 17717
/proc/meminfo: memFree=408564/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=24800 CPUtime=0.61
/proc/17717/stat : 17717 (packup) R 17716 17716 17551 34817 17551 4202496 5697 0 0 0 60 1 0 0 25 0 1 0 35252237 25395200 5626 1283457024 134512640 134752139 4291739376 18446744073709551615 134681791 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17717/statm: 6200 5626 286 59 0 5364 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 27372

[startup+1.50602 s]
/proc/loadavg: 0.91 0.71 0.55 2/38 17718
/proc/meminfo: memFree=359332/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=49456 CPUtime=1.35
/proc/17717/stat : 17717 (packup) R 17716 17716 17551 34817 17551 4202496 11937 0 0 0 134 1 0 0 25 0 1 0 35252237 50642944 11817 1283457024 134512640 134752139 4291739376 18446744073709551615 4157029612 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17717/statm: 12364 11817 306 59 0 11528 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 52028

[startup+3.10632 s]
/proc/loadavg: 0.91 0.71 0.55 2/38 17718
/proc/meminfo: memFree=322260/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67856 CPUtime=2.16
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 16834 0 0 0 190 26 0 0 25 0 1 0 35252237 69484544 16069 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16964 16069 325 59 0 16128 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 70428
heavy processes:

[startup+6.30707 s]
/proc/loadavg: 0.92 0.71 0.55 2/38 17724
/proc/meminfo: memFree=322632/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67860 CPUtime=5.56
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 16939 19594 0 0 214 52 253 37 18 0 1 0 35252237 69488640 16088 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16965 16088 333 59 0 16129 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 70432

[startup+12.7103 s]
/proc/loadavg: 0.93 0.72 0.55 2/41 17730
/proc/meminfo: memFree=151712/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67860 CPUtime=5.56
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 16939 19594 0 0 214 52 253 37 18 0 1 0 35252237 69488640 16088 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16965 16088 333 59 0 16129 0
[pid=17725] ppid=17717 vsize=1668 CPUtime=0
/proc/17725/stat : 17725 (sh) S 17717 17716 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 35252811 1708032 123 1283457024 134512640 134593992 4294500928 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17725/statm: 417 123 108 20 0 44 0
[pid=17726] ppid=17725 vsize=2568 CPUtime=0
/proc/17726/stat : 17726 (run_h) S 17725 17716 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 21 0 1 0 35252812 2629632 272 1283457024 134512640 135304128 4290637488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17726/statm: 642 272 232 194 0 29 0
[pid=17730] ppid=17726 vsize=163624 CPUtime=6.94
/proc/17730/stat : 17730 (minisatp_32) R 17726 17716 17551 34817 17551 4202496 54048 0 0 0 658 36 0 0 25 0 1 0 35252812 167550976 38093 1283457024 134512640 135413687 4287261536 18446744073709551615 134961285 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/17730/statm: 40906 38093 107 220 0 40684 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 238292

[startup+25.5137 s]
/proc/loadavg: 0.94 0.73 0.56 2/43 17747
/proc/meminfo: memFree=266008/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=83512 CPUtime=1.44
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 19204 0 0 0 136 8 0 0 25 0 1 0 35254642 85516288 18919 1283457024 134512640 143279753 4287011568 18446744073709551615 137161328 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 20878 18919 521 2141 0 18734 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 847 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 847 474 480 0 384 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 167964

[startup+51.112 s]
/proc/loadavg: 0.96 0.75 0.57 2/43 17747
/proc/meminfo: memFree=139156/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=192856 CPUtime=27.01
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 81832 0 0 0 2320 381 0 0 25 0 1 0 35254642 197484544 45197 1283457024 134512640 143279753 4287011568 18446744073709551615 136059870 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 48214 45197 658 2141 0 46070 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1013 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 851 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 851 474 480 0 384 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 277308

[startup+102.304 s]
/proc/loadavg: 0.98 0.79 0.59 2/43 17747
/proc/meminfo: memFree=105676/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=226520 CPUtime=78.12
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 136987 0 0 0 7178 634 0 0 25 0 1 0 35254642 231956480 53545 1283457024 134512640 143279753 4287011568 18446744073709551615 134605015 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 56630 53545 662 2141 0 54486 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 310972

[startup+162.311 s]
/proc/loadavg: 0.99 0.82 0.61 2/43 17747
/proc/meminfo: memFree=95012/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=236708 CPUtime=138.01
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 168043 0 0 0 13027 774 0 0 25 0 1 0 35254642 242388992 56025 1283457024 134512640 143279753 4287011568 18446744073709551615 136541094 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 59177 56025 662 2141 0 57033 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 321160

[startup+222.311 s]
/proc/loadavg: 0.99 0.85 0.63 2/45 17753
/proc/meminfo: memFree=93872/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=238412 CPUtime=197.95
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 178298 0 0 0 18965 830 0 0 25 0 1 0 35254642 244133888 56399 1283457024 134512640 143279753 4287011568 18446744073709551615 136060019 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 59603 56399 662 2141 0 57459 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 221.76
Current children cumulated vsize (KiB) 322864

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

[startup+230.404 s]
/proc/loadavg: 0.99 0.86 0.64 2/45 17754
/proc/meminfo: memFree=93872/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=238412 CPUtime=206.02
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 178298 0 0 0 19770 832 0 0 25 0 1 0 35254642 244133888 56399 1283457024 134512640 143279753 4287011568 18446744073709551615 137079840 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 59603 56399 662 2141 0 57459 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 229.83
Current children cumulated vsize (KiB) 322864

[startup+256.007 s]
/proc/loadavg: 0.99 0.87 0.65 2/45 17756
/proc/meminfo: memFree=65352/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=269488 CPUtime=231.56
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 199362 0 0 0 22303 853 0 0 25 0 1 0 35254642 275955712 63809 1283457024 134512640 143279753 4287011568 18446744073709551615 137446408 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 67372 63809 830 2141 0 65228 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 255.37
Current children cumulated vsize (KiB) 353940

[startup+262.408 s]
/proc/loadavg: 0.99 0.87 0.65 2/45 17757
/proc/meminfo: memFree=58780/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=275696 CPUtime=237.95
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 216597 0 0 0 22923 872 0 0 25 0 1 0 35254642 282312704 65207 1283457024 134512640 143279753 4287011568 18446744073709551615 136979408 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 68924 65207 813 2141 0 66780 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 261.76
Current children cumulated vsize (KiB) 360148

[startup+265.609 s]
/proc/loadavg: 0.99 0.87 0.65 2/45 17757
/proc/meminfo: memFree=57540/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=276900 CPUtime=241.14
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 217692 0 0 0 23237 877 0 0 25 0 1 0 35254642 283545600 65513 1283457024 134512640 143279753 4287011568 18446744073709551615 136872689 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 69225 65513 801 2141 0 67081 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 264.95
Current children cumulated vsize (KiB) 361352

[startup+268.81 s]
/proc/loadavg: 0.99 0.87 0.65 2/45 17758
/proc/meminfo: memFree=57416/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=277124 CPUtime=244.35
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 218547 0 0 0 23549 886 0 0 25 0 1 0 35254642 283774976 65531 1283457024 134512640 143279753 4287011568 18446744073709551615 136875198 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 69281 65531 800 2141 0 67137 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 268.16
Current children cumulated vsize (KiB) 361576

[startup+269.61 s]
/proc/loadavg: 0.99 0.87 0.65 2/45 17758
/proc/meminfo: memFree=57416/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=277124 CPUtime=245.14
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 218548 0 0 0 23628 886 0 0 25 0 1 0 35254642 283774976 65532 1283457024 134512640 143279753 4287011568 18446744073709551615 136864296 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/17746/statm: 69281 65532 800 2141 0 67137 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1016 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 854 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 854 474 480 0 384 0
Current children cumulated CPU time (s) 268.95
Current children cumulated vsize (KiB) 361576

[startup+270.01 s]
/proc/loadavg: 0.99 0.87 0.65 2/45 17758
/proc/meminfo: memFree=57416/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=67868 CPUtime=23.79
/proc/17717/stat : 17717 (packup) S 17716 17716 17551 34817 17551 4202496 17169 135897 0 0 265 104 1890 120 18 0 1 0 35252237 69496832 16101 1283457024 134512640 134752139 4291739376 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/17717/statm: 16967 16101 333 59 0 16131 0
[pid=17737] ppid=17717 vsize=1672 CPUtime=0.01
/proc/17737/stat : 17737 (sh) S 17717 17716 17551 34817 17551 4202496 146 0 0 0 0 1 0 0 19 0 1 0 35254641 1712128 124 1283457024 134512640 134593992 4292366384 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/17737/statm: 418 124 108 20 0 45 0
[pid=17738] ppid=17737 vsize=2572 CPUtime=0
/proc/17738/stat : 17738 (run_h) S 17737 17716 17551 34817 17551 4202496 368 611 0 0 0 0 0 0 19 0 1 0 35254641 2633728 274 1283457024 134512640 135304128 4290475648 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17738/statm: 643 274 232 194 0 30 0
[pid=17742] ppid=17738 vsize=2572 CPUtime=0
/proc/17742/stat : 17742 (run_scip) S 17738 17716 17551 34817 17551 4202496 394 772 0 0 0 0 0 0 19 0 1 0 35254642 2633728 269 1283457024 134512640 135304128 4289943040 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17742/statm: 643 269 228 194 0 30 0
[pid=17746] ppid=17742 vsize=275992 CPUtime=245.54
/proc/17746/stat : 17746 (scip-2.0.1.linu) R 17742 17716 17551 34817 17551 4202496 219225 0 0 0 23666 888 0 0 25 0 1 0 35254642 282615808 65183 1283457024 134512640 143279753 4287011568 18446744073709551615 141853776 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/17746/statm: 68998 65183 801 2141 0 66854 0
[pid=17747] ppid=17742 vsize=7196 CPUtime=0
/proc/17747/stat : 17747 (scip2v) S 17742 17716 17551 34817 17551 4202496 1029 0 0 0 0 0 0 0 18 0 1 0 35254645 7368704 867 1283457024 134512640 136477024 4293925328 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/17747/statm: 1799 867 479 480 0 384 0
Current children cumulated CPU time (s) 269.35
Current children cumulated vsize (KiB) 360444

[startup+270.414 s]
/proc/loadavg: 0.99 0.87 0.65 2/45 17758
/proc/meminfo: memFree=57416/1048576 swapFree=0/0
[pid=17716] ppid=17715 vsize=2572 CPUtime=0.01
/proc/17716/stat : 17716 (packup2hy4tr-0.) S 17715 17716 17551 34817 17551 4202496 377 0 0 0 0 1 0 0 18 0 1 0 35252237 2633728 274 1283457024 134512640 135304128 4294437280 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/17716/statm: 643 274 233 194 0 30 0
[pid=17717] ppid=17716 vsize=65744 CPUtime=269.77
/proc/17717/stat : 17717 (packup) R 17716 17716 17551 34817 17551 4202496 30958 358666 0 0 276 108 25567 1026 18 0 1 0 35252237 67321856 15583 1283457024 134512640 134752139 4291739376 18446744073709551615 4157011411 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/17717/statm: 16436 15583 346 59 0 15600 0
Current children cumulated CPU time (s) 269.78
Current children cumulated vsize (KiB) 68316

Child status: 0
Real time (s): 270.443
CPU time (s): 269.825
CPU user time (s): 258.46
CPU system time (s): 11.3647
CPU usage (%): 99.7714
Max. virtual memory (cumulated for all children) (KiB): 362304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.46
system time used= 11.3647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390891
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= 21775
involuntary context switches= 25171

runsolver used 0 second user time and 0 second system time

The end