0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743218-1338796047.opb>
3.39/3.48 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
3.39/3.48 c problem read
3.39/3.48 c presolving settings loaded
5.19/5.29 c presolving:
8.80/8.88 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
9.79/9.90 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
82.08/82.18 c (round 3) 679 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12261460 impls, 1977 clqs
82.48/82.60 c (round 4) 679 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12265462 impls, 1977 clqs
83.98/84.01 c (round 5) 2683 del vars, 2653 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12300072 impls, 1977 clqs
84.38/84.43 c (round 6) 2683 del vars, 4657 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12300084 impls, 1977 clqs
270.45/270.58 c (round 7) 3353 del vars, 4657 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19086958 impls, 1977 clqs
270.95/271.01 c (round 8) 3353 del vars, 5324 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 19086966 impls, 1977 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743218-1338796047/watcher-3743218-1338796047 -o /tmp/evaluation-result-3743218-1338796047/solver-3743218-1338796047 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3743218-1338796047.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16217
/proc/meminfo: memFree=29621800/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1765 0 0 0 0 0 0 0 20 0 1 0 345731727 11214848 1720 33554432000 4194304 9016284 140734783500672 140733429425656 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 2738 1727 340 1178 0 1556 0
[startup+0.102937 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16217
/proc/meminfo: memFree=29621800/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=37088 CPUtime=0.09 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 8241 0 0 0 8 1 0 0 20 0 1 0 345731727 37978112 8196 33554432000 4194304 9016284 140734783500672 140733429425656 4530476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 9272 8196 360 1178 0 8090 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37088
[startup+0.200364 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16217
/proc/meminfo: memFree=29621800/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=51048 CPUtime=0.19 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 11723 0 0 0 18 1 0 0 20 0 1 0 345731727 52273152 11678 33554432000 4194304 9016284 140734783500672 140733429425656 7870483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 12762 11679 360 1178 0 11580 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51048
[startup+0.300361 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16217
/proc/meminfo: memFree=29621800/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=63928 CPUtime=0.28 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 14965 0 0 0 27 1 0 0 20 0 1 0 345731727 65462272 14920 33554432000 4194304 9016284 140734783500672 140733429425656 7805206 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 15982 14921 360 1178 0 14800 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 63928
[startup+0.700327 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16217
/proc/meminfo: memFree=29621800/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=118488 CPUtime=0.69 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 28588 0 0 0 66 3 0 0 20 0 1 0 345731727 121331712 28543 33554432000 4194304 9016284 140734783500672 140734783364568 5208014 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 29622 28543 360 1178 0 28440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 118488
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16218
/proc/meminfo: memFree=29445944/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=241652 CPUtime=1.49 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 59315 0 0 0 141 8 0 0 20 0 1 0 345731727 247451648 59270 33554432000 4194304 9016284 140734783500672 140734783364536 7870463 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 60413 59270 360 1178 0 59231 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 241652
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16218
/proc/meminfo: memFree=29275940/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=454528 CPUtime=3.09 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 112593 0 0 0 292 17 0 0 20 0 1 0 345731727 465436672 112548 33554432000 4194304 9016284 140734783500672 140734783364568 4445996 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 113632 112548 360 1178 0 112450 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 454528
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16218
/proc/meminfo: memFree=28342212/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=1177772 CPUtime=6.29 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 291106 0 0 0 589 40 0 0 20 0 1 0 345731727 1206038528 292012 33554432000 4194304 9016284 140734783500672 140734783496392 4935246 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 294443 292012 474 1178 0 293261 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1177772
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16219
/proc/meminfo: memFree=28015024/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=1503516 CPUtime=12.69 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 407769 0 0 0 1212 57 0 0 20 0 1 0 345731727 1539600384 372308 33554432000 4194304 9016284 140734783500672 140734783495736 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 375879 372308 529 1178 0 374697 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1503516
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16219
/proc/meminfo: memFree=27917916/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=1598460 CPUtime=25.48 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 430643 0 0 0 2487 61 0 0 20 0 1 0 345731727 1636823040 395182 33554432000 4194304 9016284 140734783500672 140734783496264 5969867 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 399615 395182 529 1178 0 398433 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1598460
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16219
/proc/meminfo: memFree=27708804/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=1802500 CPUtime=51.08 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 481562 0 0 0 5040 68 0 0 20 0 1 0 345731727 1845760000 446101 33554432000 4194304 9016284 140734783500672 140734783496264 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 450625 446101 529 1178 0 449443 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1802500
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16219
/proc/meminfo: memFree=27466240/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=2040076 CPUtime=102.28 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 540402 0 0 0 10149 79 0 0 20 0 1 0 345731727 2089037824 503916 33554432000 4194304 9016284 140734783500672 140734783496056 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 510019 503916 529 1178 0 508837 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2040076
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16222
/proc/meminfo: memFree=26907864/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=2309700 CPUtime=162.27 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 587168 0 0 0 16141 86 0 0 20 0 1 0 345731727 2365132800 570100 33554432000 4194304 9016284 140734783500672 140734783496264 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 577425 570100 529 1178 0 576243 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2309700
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16222
/proc/meminfo: memFree=26667596/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=2323844 CPUtime=222.26 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 590588 0 0 0 22140 86 0 0 20 0 1 0 345731727 2379616256 573520 33554432000 4194304 9016284 140734783500672 140734783496264 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 580961 573520 529 1178 0 579779 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2323844
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16222
/proc/meminfo: memFree=26399412/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=2488832 CPUtime=282.25 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 629790 0 0 0 28131 94 0 0 20 0 1 0 345731727 2548563968 612331 33554432000 4194304 9016284 140734783500672 140734783496056 6817589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 622208 612331 529 1178 0 621026 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2488832
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16223
/proc/meminfo: memFree=26035004/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=2698372 CPUtime=342.24 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 681724 0 0 0 34123 101 0 0 20 0 1 0 345731727 2763132928 664265 33554432000 4194304 9016284 140734783500672 140734783496056 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 674593 664265 529 1178 0 673411 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2698372
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16223
/proc/meminfo: memFree=25743764/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=2867624 CPUtime=402.23 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 723302 0 0 0 40115 108 0 0 20 0 1 0 345731727 2936446976 705843 33554432000 4194304 9016284 140734783500672 140734783496056 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 716906 705843 529 1178 0 715724 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2867624
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16224
/proc/meminfo: memFree=25599192/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=2985388 CPUtime=462.21 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 753349 0 0 0 46108 113 0 0 20 0 1 0 345731727 3057037312 735890 33554432000 4194304 9016284 140734783500672 140734783496056 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 746347 735890 529 1178 0 745165 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2985388
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16224
/proc/meminfo: memFree=25190340/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=3249728 CPUtime=522.21 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 814796 0 0 0 52095 126 0 0 20 0 1 0 345731727 3327721472 797337 33554432000 4194304 9016284 140734783500672 140734783496056 6480421 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 812432 797337 529 1178 0 811250 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3249728
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16224
/proc/meminfo: memFree=25138908/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=3262016 CPUtime=582.2 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 820009 0 0 0 58093 127 0 0 20 0 1 0 345731727 3340304384 802550 33554432000 4194304 9016284 140734783500672 140734783496056 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 815504 802550 529 1178 0 814322 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3262016
[startup+642.3 s]
################
# More data... #
################
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 928561 0 0 0 100062 151 0 0 20 0 1 0 345731727 3775795200 911102 33554432000 4194304 9016284 140734783500672 140734783496056 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 921825 911102 529 1178 0 920643 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3687300
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16252
/proc/meminfo: memFree=24037384/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=3914248 CPUtime=1062.13 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 977915 0 0 0 106053 160 0 0 20 0 1 0 345731727 4008189952 960456 33554432000 4194304 9016284 140734783500672 140734783496056 6480412 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 978562 960456 529 1178 0 977380 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3914248
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16252
/proc/meminfo: memFree=24009388/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=3922440 CPUtime=1122.12 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 981356 0 0 0 112050 162 0 0 20 0 1 0 345731727 4016578560 963897 33554432000 4194304 9016284 140734783500672 140734783496056 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 980610 963897 529 1178 0 979428 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3922440
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 16252
/proc/meminfo: memFree=23974944/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=3931652 CPUtime=1182.11 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 985324 0 0 0 118047 164 0 0 20 0 1 0 345731727 4026011648 967865 33554432000 4194304 9016284 140734783500672 140734783496056 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 982913 967865 529 1178 0 981731 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3931652
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16253
/proc/meminfo: memFree=23939756/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=3943940 CPUtime=1242.1 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 990412 0 0 0 124045 165 0 0 20 0 1 0 345731727 4038594560 972953 33554432000 4194304 9016284 140734783500672 140734783496056 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 985985 972953 529 1178 0 984803 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3943940
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16253
/proc/meminfo: memFree=23691288/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=3953152 CPUtime=1302.09 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 994555 0 0 0 130042 167 0 0 20 0 1 0 345731727 4048027648 977096 33554432000 4194304 9016284 140734783500672 140734783496056 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 988288 977096 529 1178 0 987106 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3953152
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16256
/proc/meminfo: memFree=23438324/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4223652 CPUtime=1362.08 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1052891 0 0 0 136034 174 0 0 20 0 1 0 345731727 4325019648 1035432 33554432000 4194304 9016284 140734783500672 140734783496056 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1055913 1035432 529 1178 0 1054731 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4223652
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16256
/proc/meminfo: memFree=23408500/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4233892 CPUtime=1422.08 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1057314 0 0 0 142032 176 0 0 20 0 1 0 345731727 4335505408 1039855 33554432000 4194304 9016284 140734783500672 140734783496056 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1058473 1039855 529 1178 0 1057291 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4233892
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16256
/proc/meminfo: memFree=23377652/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4243108 CPUtime=1482.06 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1061305 0 0 0 148029 177 0 0 20 0 1 0 345731727 4344942592 1043846 33554432000 4194304 9016284 140734783500672 140734783496056 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1060777 1043846 529 1178 0 1059595 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4243108
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16257
/proc/meminfo: memFree=23344764/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4252320 CPUtime=1542.06 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1065086 0 0 0 154027 179 0 0 20 0 1 0 345731727 4354375680 1047627 33554432000 4194304 9016284 140734783500672 140734783496056 6480429 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1063080 1047627 529 1178 0 1061898 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4252320
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16257
/proc/meminfo: memFree=23322852/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4258464 CPUtime=1602.04 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1067789 0 0 0 160024 180 0 0 20 0 1 0 345731727 4360667136 1050330 33554432000 4194304 9016284 140734783500672 140734783496056 6480364 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1064616 1050330 529 1178 0 1063434 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4258464
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 16296
/proc/meminfo: memFree=26017784/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4261536 CPUtime=1662.03 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1069155 0 0 0 166021 182 0 0 20 0 1 0 345731727 4363812864 1051754 33554432000 4194304 9016284 140734783500672 140734783496056 6480433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1065384 1051754 529 1178 0 1064202 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 4261536
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16296
/proc/meminfo: memFree=25700808/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4264608 CPUtime=1722.01 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1070624 0 0 0 172019 182 0 0 20 0 1 0 345731727 4366958592 1053663 33554432000 4194304 9016284 140734783500672 140734783496056 6480407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1066152 1053663 529 1178 0 1064970 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 4264608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16296
/proc/meminfo: memFree=25500328/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4270748 CPUtime=1782.01 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1073122 0 0 0 178018 183 0 0 20 0 1 0 345731727 4373245952 1056500 33554432000 4194304 9016284 140734783500672 140734783496056 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1067687 1056500 529 1178 0 1066505 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 4270748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16296
/proc/meminfo: memFree=25442032/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4274732 CPUtime=1800.02 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1074541 0 0 0 179818 184 0 0 20 0 1 0 345731727 4377325568 1057972 33554432000 4194304 9016284 140734783500672 140734783496056 6480360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1068683 1057972 529 1178 0 1067501 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4274732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16217
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16297
/proc/meminfo: memFree=25441900/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4274732 CPUtime=1801.21 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1074556 0 0 0 179937 184 0 0 20 0 1 0 345731727 4377325568 1057987 33554432000 4194304 9016284 140734783500672 140734783495552 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1068683 1057987 529 1178 0 1067501 0
Current children cumulated CPU time (s) 1801.21
Current children cumulated vsize (KiB) 4274732
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16297
/proc/meminfo: memFree=25439280/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=4274732 CPUtime=1802.01 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4202496 1074560 0 0 0 180017 184 0 0 20 0 1 0 345731727 4377325568 1058023 33554432000 4194304 9016284 140734783500672 140734783495552 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 1068683 1058023 529 1178 0 1067501 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 4274732
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16297
/proc/meminfo: memFree=25439280/32873844 swapFree=7116/7116
[pid=16217] ppid=16215 vsize=0 CPUtime=1802.21 cores=0,2,4,6
/proc/16217/stat : 16217 (scip-2.0.1.4b_2) R 16215 16217 14772 0 -1 4203524 1074560 0 0 0 180018 203 0 0 20 0 1 0 345731727 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16217/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.26
CPU user time (s): 1800.18
CPU system time (s): 2.07368
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 4274732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.18
system time used= 2.07368
maximum resident set size= 4232092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1074560
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= 12
involuntary context switches= 1930
runsolver used 3.41948 second user time and 10.6634 second system time
The end