0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693721-1338047020.opb>
2.19/2.26 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.19/2.26 c problem read in 2.26
5.49/5.53 c presolving:
9.99/10.06 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
11.39/11.46 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
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-3693721-1338047020/watcher-3693721-1338047020 -o /tmp/evaluation-result-3693721-1338047020/solver-3693721-1338047020 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693721-1338047020.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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 3203
/proc/meminfo: memFree=26834840/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=11132 CPUtime=0 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 1521 0 0 0 0 0 0 0 20 0 1 0 270827724 11399168 1475 33554432000 4194304 10169799 140733892821584 140733892686280 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 2783 1480 403 1459 0 1315 0
[startup+0.0174029 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3203
/proc/meminfo: memFree=26834840/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=17736 CPUtime=0.01 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 3176 0 0 0 1 0 0 0 20 0 1 0 270827724 18161664 3130 33554432000 4194304 10169799 140733892821584 140733892686280 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 4434 3130 412 1459 0 2966 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17736
[startup+0.100334 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3203
/proc/meminfo: memFree=26834840/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=43568 CPUtime=0.09 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 9649 0 0 0 8 1 0 0 20 0 1 0 270827724 44613632 9603 33554432000 4194304 10169799 140733892821584 140733892686280 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 10892 9603 412 1459 0 9424 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43568
[startup+0.300304 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3203
/proc/meminfo: memFree=26834840/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=82116 CPUtime=0.28 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 19243 0 0 0 26 2 0 0 20 0 1 0 270827724 84086784 19197 33554432000 4194304 10169799 140733892821584 140733892686280 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 20529 19197 412 1459 0 19061 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 82116
[startup+0.700306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3203
/proc/meminfo: memFree=26834840/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=182764 CPUtime=0.69 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 44310 0 0 0 62 7 0 0 20 0 1 0 270827724 187150336 44264 33554432000 4194304 10169799 140733892821584 140733892686264 5281219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 45691 44264 412 1459 0 44223 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 182764
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3204
/proc/meminfo: memFree=26586560/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=367300 CPUtime=1.49 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 90364 0 0 0 135 14 0 0 20 0 1 0 270827724 376115200 90318 33554432000 4194304 10169799 140733892821584 140733892687912 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 91825 90319 412 1459 0 90357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 367300
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3204
/proc/meminfo: memFree=26407248/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=918096 CPUtime=3.09 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 228236 0 0 0 273 36 0 0 20 0 1 0 270827724 940130304 228055 33554432000 4194304 10169799 140733892821584 140733892816680 5865137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 229524 228055 461 1459 0 228056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 918096
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3204
/proc/meminfo: memFree=25619392/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=1242452 CPUtime=6.29 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 331273 0 0 0 565 64 0 0 20 0 1 0 270827724 1272270848 307984 33554432000 4194304 10169799 140733892821584 140733892819720 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 310613 307984 545 1459 0 309145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1242452
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3204
/proc/meminfo: memFree=25221680/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=1675252 CPUtime=12.69 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 470228 0 0 0 1142 127 0 0 20 0 1 0 270827724 1715458048 412881 33554432000 4194304 10169799 140733892821584 140733892818664 5868642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 418813 412881 605 1459 0 417345 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1675252
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3204
/proc/meminfo: memFree=24946280/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=1903668 CPUtime=25.48 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 509228 0 0 0 2415 133 0 0 20 0 1 0 270827724 1949356032 471810 33554432000 4194304 10169799 140733892821584 140733892818232 8922247 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 475917 471810 608 1459 0 474449 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1903668
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3204
/proc/meminfo: memFree=24938000/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=1912308 CPUtime=51.08 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 510802 0 0 0 4975 133 0 0 20 0 1 0 270827724 1958203392 473895 33554432000 4194304 10169799 140733892821584 140733892818136 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 478077 473895 608 1459 0 476609 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1912308
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3204
/proc/meminfo: memFree=24936432/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=1912468 CPUtime=102.28 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 511113 0 0 0 10094 134 0 0 20 0 1 0 270827724 1958367232 473942 33554432000 4194304 10169799 140733892821584 140733892819112 8884089 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 478117 473942 608 1459 0 476649 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1912468
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3205
/proc/meminfo: memFree=23576792/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3308644 CPUtime=162.26 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 833475 0 0 0 16045 181 0 0 20 0 1 0 270827724 3388051456 813364 33554432000 4194304 10169799 140733892821584 140733892817848 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 827161 813364 608 1459 0 825693 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3308644
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3205
/proc/meminfo: memFree=23311240/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3309668 CPUtime=222.25 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 833886 0 0 0 22044 181 0 0 20 0 1 0 270827724 3389100032 813775 33554432000 4194304 10169799 140733892821584 140733892817848 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 827417 813775 608 1459 0 825949 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3309668
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3243
/proc/meminfo: memFree=24604280/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3309668 CPUtime=282.25 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 834096 0 0 0 28043 182 0 0 20 0 1 0 270827724 3389100032 813984 33554432000 4194304 10169799 140733892821584 140733892817848 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 827417 813984 608 1459 0 825949 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3309668
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3243
/proc/meminfo: memFree=24591596/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3310692 CPUtime=342.24 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 834537 0 0 0 34042 182 0 0 20 0 1 0 270827724 3390148608 814424 33554432000 4194304 10169799 140733892821584 140733892817848 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 827673 814424 608 1459 0 826205 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3310692
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3246
/proc/meminfo: memFree=23232192/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3312740 CPUtime=402.23 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 835197 0 0 0 40041 182 0 0 20 0 1 0 270827724 3392245760 815084 33554432000 4194304 10169799 140733892821584 140733892817848 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 828185 815084 608 1459 0 826717 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3312740
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3247
/proc/meminfo: memFree=23230368/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3312740 CPUtime=462.22 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 835309 0 0 0 46040 182 0 0 20 0 1 0 270827724 3392245760 815196 33554432000 4194304 10169799 140733892821584 140733892817848 8922254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 828185 815196 608 1459 0 826717 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3312740
[startup+522.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3247
/proc/meminfo: memFree=23228412/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3312740 CPUtime=522.21 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 835419 0 0 0 52039 182 0 0 20 0 1 0 270827724 3392245760 815306 33554432000 4194304 10169799 140733892821584 140733892817848 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 828185 815306 608 1459 0 826717 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3312740
[startup+582.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3247
/proc/meminfo: memFree=23225588/32873844 swapFree=7116/7116
[pid=3203] ppid=3201 vsize=3313632 CPUtime=582.19 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 835786 0 0 0 58037 182 0 0 20 0 1 0 270827724 3393159168 815809 33554432000 4194304 10169799 140733892821584 140733892818376 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 828408 815809 608 1459 0 826940 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3313632
[startup+642.301 s]
################
# More data... #
################
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 837936 0 0 0 106030 183 0 0 20 0 1 0 270827724 3398008832 821669 33554432000 4194304 10169799 140733892821584 140733892817848 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 829592 821669 608 1459 0 828124 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3318368
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3275
/proc/meminfo: memFree=23184016/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3318368 CPUtime=1122.11 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 838025 0 0 0 112028 183 0 0 20 0 1 0 270827724 3398008832 823421 33554432000 4194304 10169799 140733892821584 140733892817848 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 829592 823421 608 1459 0 828124 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3318368
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3275
/proc/meminfo: memFree=23174220/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3318368 CPUtime=1182.1 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 838071 0 0 0 118027 183 0 0 20 0 1 0 270827724 3398008832 825417 33554432000 4194304 10169799 140733892821584 140733892817848 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 829592 825417 608 1459 0 828124 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3318368
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3275
/proc/meminfo: memFree=23169120/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3320416 CPUtime=1242.09 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 838605 0 0 0 124026 183 0 0 20 0 1 0 270827724 3400105984 826345 33554432000 4194304 10169799 140733892821584 140733892817848 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 830104 826345 608 1459 0 828636 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3320416
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3275
/proc/meminfo: memFree=23167112/32873844 swapFree=7116/7116
[pid=3203] ppid=3201 vsize=3320416 CPUtime=1302.09 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 838627 0 0 0 130026 183 0 0 20 0 1 0 270827724 3400105984 826367 33554432000 4194304 10169799 140733892821584 140733892817848 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 830104 826367 608 1459 0 828636 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3320416
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3276
/proc/meminfo: memFree=23166400/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3320416 CPUtime=1362.07 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 838649 0 0 0 136024 183 0 0 20 0 1 0 270827724 3400105984 826389 33554432000 4194304 10169799 140733892821584 140733892817848 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 830104 826389 608 1459 0 828636 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3320416
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3276
/proc/meminfo: memFree=23163204/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3321952 CPUtime=1422.07 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 839055 0 0 0 142024 183 0 0 20 0 1 0 270827724 3401678848 826795 33554432000 4194304 10169799 140733892821584 140733892817848 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 830488 826795 608 1459 0 829020 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3321952
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3276
/proc/meminfo: memFree=23160504/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3322844 CPUtime=1482.05 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 839333 0 0 0 148022 183 0 0 20 0 1 0 270827724 3402592256 827040 33554432000 4194304 10169799 140733892821584 140733892817848 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 830711 827040 608 1459 0 829243 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3322844
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 3276
/proc/meminfo: memFree=23157068/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3324892 CPUtime=1542.04 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 839867 0 0 0 154020 184 0 0 20 0 1 0 270827724 3404689408 827663 33554432000 4194304 10169799 140733892821584 140733892817848 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831223 827663 608 1459 0 829755 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3324892
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 3279
/proc/meminfo: memFree=23154012/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3324892 CPUtime=1602.04 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 839889 0 0 0 160020 184 0 0 20 0 1 0 270827724 3404689408 828004 33554432000 4194304 10169799 140733892821584 140733892817848 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831223 828004 608 1459 0 829755 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3324892
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3280
/proc/meminfo: memFree=23150460/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3324892 CPUtime=1662.03 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 839912 0 0 0 166019 184 0 0 20 0 1 0 270827724 3404689408 828469 33554432000 4194304 10169799 140733892821584 140733892817848 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831223 828469 608 1459 0 829755 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3324892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3280
/proc/meminfo: memFree=23148504/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3324892 CPUtime=1722.01 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 839935 0 0 0 172017 184 0 0 20 0 1 0 270827724 3404689408 828491 33554432000 4194304 10169799 140733892821584 140733892817848 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831223 828491 608 1459 0 829755 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3324892
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3280
/proc/meminfo: memFree=23146796/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3325916 CPUtime=1782 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 840215 0 0 0 178016 184 0 0 20 0 1 0 270827724 3405737984 828769 33554432000 4194304 10169799 140733892821584 140733892817848 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831479 828769 608 1459 0 830011 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3325916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3280
/proc/meminfo: memFree=23145524/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3326940 CPUtime=1800 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 840473 0 0 0 179816 184 0 0 20 0 1 0 270827724 3406786560 829025 33554432000 4194304 10169799 140733892821584 140733892817848 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831735 829025 608 1459 0 830267 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3326940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3203
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3281
/proc/meminfo: memFree=23145392/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3326940 CPUtime=1801.1 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 840474 0 0 0 179926 184 0 0 20 0 1 0 270827724 3406786560 829026 33554432000 4194304 10169799 140733892821584 140733892817536 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831735 829026 608 1459 0 830267 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 3326940
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3281
/proc/meminfo: memFree=23145392/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3326940 CPUtime=1801.5 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 840474 0 0 0 179966 184 0 0 20 0 1 0 270827724 3406786560 829026 33554432000 4194304 10169799 140733892821584 140733892817536 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831735 829026 608 1459 0 830267 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 3326940
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3281
/proc/meminfo: memFree=23145392/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3326940 CPUtime=1801.9 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 840474 0 0 0 180006 184 0 0 20 0 1 0 270827724 3406786560 829026 33554432000 4194304 10169799 140733892821584 140733892817536 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831735 829026 608 1459 0 830267 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 3326940
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3281
/proc/meminfo: memFree=23145392/32873844 swapFree=7112/7112
[pid=3203] ppid=3201 vsize=3326940 CPUtime=1802 cores=1,3,5,7
/proc/3203/stat : 3203 (scip-2.1.1.4sfi) R 3201 3203 521 0 -1 4202496 840474 0 0 0 180016 184 0 0 20 0 1 0 270827724 3406786560 829026 33554432000 4194304 10169799 140733892821584 140733892817536 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3203/statm: 831735 829026 608 1459 0 830267 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 3326940
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.39
CPU time (s): 1802.09
CPU user time (s): 1800.17
CPU system time (s): 1.92271
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 3326940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.17
system time used= 1.92271
maximum resident set size= 3316104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 840474
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= 22
involuntary context switches= 1851
runsolver used 7.30789 second user time and 18.8921 second system time
The end