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: 947bdb7-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-3692552-1338046659.opb>
2.29/2.32 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.29/2.32 c problem read in 2.32
4.79/4.80 c presolving:
9.18/9.23 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
10.58/10.63 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-3692552-1338046659/watcher-3692552-1338046659 -o /tmp/evaluation-result-3692552-1338046659/solver-3692552-1338046659 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692552-1338046659.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.02 2.01 2.00 3/174 17158
/proc/meminfo: memFree=28157156/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=10996 CPUtime=0 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 1533 0 0 0 0 0 0 0 20 0 1 0 270791854 11259904 1489 33554432000 4194304 10219143 140733793034320 140735028761288 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 2749 1495 398 1471 0 1269 0
[startup+0.085047 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 17158
/proc/meminfo: memFree=28157156/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=43120 CPUtime=0.07 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 9523 0 0 0 6 1 0 0 20 0 1 0 270791854 44154880 9478 33554432000 4194304 10219143 140733793034320 140735028761288 8735029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 10780 9478 421 1471 0 9300 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 43120
[startup+0.100357 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 17158
/proc/meminfo: memFree=28157156/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=47880 CPUtime=0.09 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 10645 0 0 0 7 2 0 0 20 0 1 0 270791854 49029120 10600 33554432000 4194304 10219143 140733793034320 140735028761288 9040810 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 11908 10600 421 1471 0 10428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47880
[startup+0.300295 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 17158
/proc/meminfo: memFree=28157156/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=89468 CPUtime=0.29 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 20897 0 0 0 25 4 0 0 20 0 1 0 270791854 91615232 20853 33554432000 4194304 10219143 140733793034320 140733792897864 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 22367 20890 421 1471 0 20887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 89468
[startup+0.700266 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 17158
/proc/meminfo: memFree=28157156/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=203440 CPUtime=0.69 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 49617 0 0 0 61 8 0 0 20 0 1 0 270791854 208322560 49572 33554432000 4194304 10219143 140733793034320 140733792897864 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 50860 49572 421 1471 0 49380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 203440
[startup+1.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 17159
/proc/meminfo: memFree=27878612/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=414304 CPUtime=1.48 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 102089 0 0 0 132 16 0 0 20 0 1 0 270791854 424247296 102044 33554432000 4194304 10219143 140733793034320 140733792899496 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 103576 102044 421 1471 0 102096 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 414304
[startup+3.10031 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 17159
/proc/meminfo: memFree=27670416/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=1000548 CPUtime=3.08 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 248307 0 0 0 270 38 0 0 20 0 1 0 270791854 1024561152 248719 33554432000 4194304 10219143 140733793034320 140733792899496 7589947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 250137 248719 473 1471 0 248657 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1000548
[startup+6.30033 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 17159
/proc/meminfo: memFree=26912204/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=1299564 CPUtime=6.29 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 320099 0 0 0 563 66 0 0 20 0 1 0 270791854 1330753536 322163 33554432000 4194304 10219143 140733793034320 140733793031096 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 324891 322163 560 1471 0 323411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1299564
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 17159
/proc/meminfo: memFree=26485836/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=1846188 CPUtime=12.68 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 477904 0 0 0 1134 134 0 0 20 0 1 0 270791854 1890496512 456231 33554432000 4194304 10219143 140733793034320 140733793029480 5933314 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 461547 456231 613 1471 0 460067 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1846188
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 17159
/proc/meminfo: memFree=26269072/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=1903760 CPUtime=25.49 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 492428 0 0 0 2412 137 0 0 20 0 1 0 270791854 1949450240 471777 33554432000 4194304 10219143 140733793034320 140733793029816 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 475940 471777 613 1471 0 474460 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1903760
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 17159
/proc/meminfo: memFree=26259832/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=1913360 CPUtime=51.08 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 494231 0 0 0 4971 137 0 0 20 0 1 0 270791854 1959280640 474091 33554432000 4194304 10219143 140733793034320 140733793029816 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 478340 474091 613 1471 0 476860 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1913360
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17160
/proc/meminfo: memFree=26257720/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=1914376 CPUtime=102.27 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 494555 0 0 0 10090 137 0 0 20 0 1 0 270791854 1960321024 474425 33554432000 4194304 10219143 140733793034320 140733793029640 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 478594 474425 613 1471 0 477114 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1914376
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17163
/proc/meminfo: memFree=24861372/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3345692 CPUtime=162.26 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 824209 0 0 0 16040 186 0 0 20 0 1 0 270791854 3425988608 822826 33554432000 4194304 10219143 140733793034320 140733793029432 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 836423 822826 613 1471 0 834943 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3345692
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17163
/proc/meminfo: memFree=24859672/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3346716 CPUtime=222.26 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 824685 0 0 0 22039 187 0 0 20 0 1 0 270791854 3427037184 823302 33554432000 4194304 10219143 140733793034320 140733793029432 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 836679 823302 613 1471 0 835199 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3346716
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 17201
/proc/meminfo: memFree=23401136/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3346716 CPUtime=282.25 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 824876 0 0 0 28038 187 0 0 20 0 1 0 270791854 3427037184 823596 33554432000 4194304 10219143 140733793034320 140733793029432 8969212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 836679 823596 613 1471 0 835199 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3346716
[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/174 17201
/proc/meminfo: memFree=23009068/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3350620 CPUtime=342.23 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 825993 0 0 0 34036 187 0 0 20 0 1 0 270791854 3431034880 827321 33554432000 4194304 10219143 140733793034320 140733793029432 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 837655 827321 613 1471 0 836175 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3350620
[startup+402.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 17202
/proc/meminfo: memFree=21608744/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3350620 CPUtime=402.22 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 826213 0 0 0 40035 187 0 0 20 0 1 0 270791854 3431034880 828030 33554432000 4194304 10219143 140733793034320 140733793029432 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 837655 828030 613 1471 0 836175 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3350620
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 17203
/proc/meminfo: memFree=21605548/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3350620 CPUtime=462.21 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 826327 0 0 0 46034 187 0 0 20 0 1 0 270791854 3431034880 828458 33554432000 4194304 10219143 140733793034320 140733793029432 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 837655 828458 613 1471 0 836175 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3350620
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 17203
/proc/meminfo: memFree=21602848/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3350620 CPUtime=522.21 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 826437 0 0 0 52033 188 0 0 20 0 1 0 270791854 3431034880 828767 33554432000 4194304 10219143 140733793034320 140733793029432 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 837655 828767 613 1471 0 836175 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3350620
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17203
/proc/meminfo: memFree=21599900/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3352668 CPUtime=582.2 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 827059 0 0 0 58032 188 0 0 20 0 1 0 270791854 3433132032 829389 33554432000 4194304 10219143 140733793034320 140733793029432 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 838167 829389 613 1471 0 836687 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3352668
[startup+642.301 s]
################
# More data... #
################
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 828361 0 0 0 100024 189 0 0 20 0 1 0 270791854 3436933120 835751 33554432000 4194304 10219143 140733793034320 140733793029432 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 839095 835751 613 1471 0 837615 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3356380
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 17208
/proc/meminfo: memFree=21562884/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3356380 CPUtime=1062.12 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 828373 0 0 0 106023 189 0 0 20 0 1 0 270791854 3436933120 835763 33554432000 4194304 10219143 140733793034320 140733793029432 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 839095 835763 613 1471 0 837615 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3356380
[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 17208
/proc/meminfo: memFree=21561892/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3356380 CPUtime=1122.11 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 828385 0 0 0 112022 189 0 0 20 0 1 0 270791854 3436933120 835901 33554432000 4194304 10219143 140733793034320 140733793029432 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 839095 835901 613 1471 0 837615 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3356380
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 17208
/proc/meminfo: memFree=21558988/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3357404 CPUtime=1182.1 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 828653 0 0 0 118021 189 0 0 20 0 1 0 270791854 3437981696 836225 33554432000 4194304 10219143 140733793034320 140733793029432 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 839351 836225 613 1471 0 837871 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3357404
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 17208
/proc/meminfo: memFree=21556040/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3358428 CPUtime=1242.09 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 828921 0 0 0 124020 189 0 0 20 0 1 0 270791854 3439030272 836552 33554432000 4194304 10219143 140733793034320 140733793029432 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 839607 836552 613 1471 0 838127 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3358428
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/175 17208
/proc/meminfo: memFree=21554332/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3358428 CPUtime=1302.09 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 828933 0 0 0 130020 189 0 0 20 0 1 0 270791854 3439030272 836566 33554432000 4194304 10219143 140733793034320 140733793029432 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 839607 836566 613 1471 0 838127 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3358428
[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/176 17212
/proc/meminfo: memFree=21553120/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3359132 CPUtime=1362.07 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 829122 0 0 0 136018 189 0 0 20 0 1 0 270791854 3439751168 836756 33554432000 4194304 10219143 140733793034320 140733793029816 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 839783 836756 613 1471 0 838303 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3359132
[startup+1422.31 s]
/proc/loadavg: 2.07 2.06 2.01 3/176 17235
/proc/meminfo: memFree=21548440/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3360988 CPUtime=1422.07 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 829599 0 0 0 142018 189 0 0 20 0 1 0 270791854 3441651712 837538 33554432000 4194304 10219143 140733793034320 140733793029432 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 840247 837538 613 1471 0 838767 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3360988
[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/175 17235
/proc/meminfo: memFree=21543532/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3363036 CPUtime=1482.05 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830124 0 0 0 148016 189 0 0 20 0 1 0 270791854 3443748864 838302 33554432000 4194304 10219143 140733793034320 140733793029432 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 840759 838302 613 1471 0 839279 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3363036
[startup+1542.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 17235
/proc/meminfo: memFree=21542940/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3363036 CPUtime=1542.04 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830136 0 0 0 154015 189 0 0 20 0 1 0 270791854 3443748864 838313 33554432000 4194304 10219143 140733793034320 140733793029432 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 840759 838313 613 1471 0 839279 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3363036
[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 17235
/proc/meminfo: memFree=21540132/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3363036 CPUtime=1602.03 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830149 0 0 0 160014 189 0 0 20 0 1 0 270791854 3443748864 838324 33554432000 4194304 10219143 140733793034320 140733793029432 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 840759 838324 613 1471 0 839279 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3363036
[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/175 17236
/proc/meminfo: memFree=21536984/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3363036 CPUtime=1662.02 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830164 0 0 0 166013 189 0 0 20 0 1 0 270791854 3443748864 838379 33554432000 4194304 10219143 140733793034320 140733793029432 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 840759 838379 613 1471 0 839279 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3363036
[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/175 17236
/proc/meminfo: memFree=21535912/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3364060 CPUtime=1722.01 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830431 0 0 0 172012 189 0 0 20 0 1 0 270791854 3444797440 838646 33554432000 4194304 10219143 140733793034320 140733793029432 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 841015 838646 613 1471 0 839535 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3364060
[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/175 17236
/proc/meminfo: memFree=21533088/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3365916 CPUtime=1782 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830906 0 0 0 178011 189 0 0 20 0 1 0 270791854 3446697984 839121 33554432000 4194304 10219143 140733793034320 140733793029432 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 841479 839121 613 1471 0 839999 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3365916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.12 2.08 2.01 3/175 17236
/proc/meminfo: memFree=21532684/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3365916 CPUtime=1800.1 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830912 0 0 0 179821 189 0 0 20 0 1 0 270791854 3446697984 839127 33554432000 4194304 10219143 140733793034320 140733793029432 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 841479 839127 613 1471 0 839999 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3365916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17158
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.12 2.08 2.01 3/176 17237
/proc/meminfo: memFree=21532684/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3365916 CPUtime=1801.09 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830912 0 0 0 179920 189 0 0 20 0 1 0 270791854 3446697984 839127 33554432000 4194304 10219143 140733793034320 140733793028864 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 841479 839127 613 1471 0 839999 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 3365916
[startup+1802.2 s]
/proc/loadavg: 2.12 2.08 2.01 3/176 17237
/proc/meminfo: memFree=21532552/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3365916 CPUtime=1801.89 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830912 0 0 0 180000 189 0 0 20 0 1 0 270791854 3446697984 839127 33554432000 4194304 10219143 140733793034320 140733793028864 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 841479 839127 613 1471 0 839999 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 3365916
[startup+1802.4 s]
/proc/loadavg: 2.12 2.08 2.01 3/176 17237
/proc/meminfo: memFree=21532552/32873852 swapFree=6848/6848
[pid=17158] ppid=17156 vsize=3365916 CPUtime=1802.09 cores=1,3,5,7
/proc/17158/stat : 17158 (scip-2.1.1.4exp) R 17156 17158 14323 0 -1 4202496 830912 0 0 0 180020 189 0 0 20 0 1 0 270791854 3446697984 839127 33554432000 4194304 10219143 140733793034320 140733793028864 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17158/statm: 841479 839127 613 1471 0 839999 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 3365916
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.47
CPU time (s): 1802.17
CPU user time (s): 1800.22
CPU system time (s): 1.9547
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 3365916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.22
system time used= 1.9547
maximum resident set size= 3356508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 830912
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= 27
involuntary context switches= 1849
runsolver used 4.27935 second user time and 21.1998 second system time
The end