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-3692554-1338046933.opb>
2.19/2.22 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.19/2.22 c problem read in 2.22
4.79/4.88 c presolving:
8.98/9.05 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.29/10.36 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-3692554-1338046933/watcher-3692554-1338046933 -o /tmp/evaluation-result-3692554-1338046933/solver-3692554-1338046933 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692554-1338046933.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.04 2.01 2.00 3/174 17200
/proc/meminfo: memFree=24920308/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=12032 CPUtime=0 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 1781 0 0 0 0 0 0 0 20 0 1 0 270819301 12320768 1736 33554432000 4194304 10219143 140736617098144 140734876864728 8891101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 3008 1746 398 1471 0 1528 0
[startup+0.0612249 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 17200
/proc/meminfo: memFree=24920308/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=37104 CPUtime=0.05 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 8003 0 0 0 4 1 0 0 20 0 1 0 270819301 37994496 7957 33554432000 4194304 10219143 140736617098144 140734876864728 5536058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 9276 7957 421 1471 0 7796 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 37104
[startup+0.100359 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 17200
/proc/meminfo: memFree=24920308/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=48696 CPUtime=0.09 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 10906 0 0 0 7 2 0 0 20 0 1 0 270819301 49864704 10860 33554432000 4194304 10219143 140736617098144 140734876864728 5541619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 12174 10860 421 1471 0 10694 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48696
[startup+0.300309 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 17200
/proc/meminfo: memFree=24920308/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=91084 CPUtime=0.29 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 21530 0 0 0 26 3 0 0 20 0 1 0 270819301 93270016 21484 33554432000 4194304 10219143 140736617098144 140734876864728 5541619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 22771 21484 421 1471 0 21291 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91084
[startup+0.700309 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 17200
/proc/meminfo: memFree=24920308/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=208708 CPUtime=0.69 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 50792 0 0 0 61 8 0 0 20 0 1 0 270819301 213716992 50746 33554432000 4194304 10219143 140736617098144 140736616963320 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 52177 50746 421 1471 0 50697 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 208708
[startup+1.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 17201
/proc/meminfo: memFree=24633596/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=425736 CPUtime=1.49 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 104991 0 0 0 134 15 0 0 20 0 1 0 270819301 435953664 104945 33554432000 4194304 10219143 140736617098144 140736616963320 8904809 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 106434 104945 421 1471 0 104954 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 425736
[startup+3.10031 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 17201
/proc/meminfo: memFree=24431104/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=1037164 CPUtime=3.08 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 257930 0 0 0 272 36 0 0 20 0 1 0 270819301 1062055936 257830 33554432000 4194304 10219143 140736617098144 140736617093992 5016681 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 259291 257830 473 1471 0 257811 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1037164
[startup+6.30031 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 17201
/proc/meminfo: memFree=23675176/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=1289092 CPUtime=6.29 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 319542 0 0 0 569 60 0 0 20 0 1 0 270819301 1320030208 319561 33554432000 4194304 10219143 140736617098144 140736617095144 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 322273 319561 560 1471 0 320793 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1289092
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 17201
/proc/meminfo: memFree=23105260/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=1878092 CPUtime=12.69 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 487715 0 0 0 1145 124 0 0 20 0 1 0 270819301 1923166208 464970 33554432000 4194304 10219143 140736617098144 140736617093640 7418229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 469523 464970 612 1471 0 468043 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1878092
[startup+25.5005 s]
/proc/loadavg: 2.10 2.03 2.01 3/175 17201
/proc/meminfo: memFree=23023696/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=1903824 CPUtime=25.49 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 494247 0 0 0 2424 125 0 0 20 0 1 0 270819301 1949515776 471502 33554432000 4194304 10219143 140736617098144 140736617093544 8969184 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 475956 471502 612 1471 0 474476 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1903824
[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 17201
/proc/meminfo: memFree=23013308/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=1912208 CPUtime=51.08 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 495703 0 0 0 4983 125 0 0 20 0 1 0 270819301 1958100992 473469 33554432000 4194304 10219143 140736617098144 140736617093544 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 478052 473469 612 1471 0 476572 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1912208
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 2.00 3/174 17201
/proc/meminfo: memFree=23007160/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=1914184 CPUtime=102.28 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 496290 0 0 0 10103 125 0 0 20 0 1 0 270819301 1960124416 473990 33554432000 4194304 10219143 140736617098144 140736617093464 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 478546 473990 612 1471 0 477066 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1914184
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 17203
/proc/meminfo: memFree=21606960/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3345692 CPUtime=162.27 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 826416 0 0 0 16056 171 0 0 20 0 1 0 270819301 3425988608 822697 33554432000 4194304 10219143 140736617098144 140736617093256 8969290 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 836423 822697 612 1471 0 834943 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3345692
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 17203
/proc/meminfo: memFree=21603888/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3346716 CPUtime=222.25 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 826780 0 0 0 22054 171 0 0 20 0 1 0 270819301 3427037184 823061 33554432000 4194304 10219143 140736617098144 140736617093256 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 836679 823061 612 1471 0 835199 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3346716
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17203
/proc/meminfo: memFree=21601560/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3346716 CPUtime=282.25 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 826916 0 0 0 28054 171 0 0 20 0 1 0 270819301 3427037184 823197 33554432000 4194304 10219143 140736617098144 140736617093256 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 836679 823197 612 1471 0 835199 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3346716
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17203
/proc/meminfo: memFree=21599356/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3346716 CPUtime=342.23 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 827026 0 0 0 34052 171 0 0 20 0 1 0 270819301 3427037184 823307 33554432000 4194304 10219143 140736617098144 140736617093256 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 836679 823307 612 1471 0 835199 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3346716
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 17203
/proc/meminfo: memFree=21594176/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3349596 CPUtime=402.22 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 827924 0 0 0 40051 171 0 0 20 0 1 0 270819301 3429986304 824205 33554432000 4194304 10219143 140736617098144 140736617093256 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 837399 824205 612 1471 0 835919 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3349596
[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 17204
/proc/meminfo: memFree=21584424/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3350620 CPUtime=462.21 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 828290 0 0 0 46050 171 0 0 20 0 1 0 270819301 3431034880 824571 33554432000 4194304 10219143 140736617098144 140736617093256 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 837655 824571 612 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.01 2.01 2.00 3/176 17207
/proc/meminfo: memFree=21574120/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3350620 CPUtime=522.21 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 828428 0 0 0 52049 172 0 0 20 0 1 0 270819301 3431034880 824709 33554432000 4194304 10219143 140736617098144 140736617093256 8969224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 837655 824709 612 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 17207
/proc/meminfo: memFree=21570832/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3350620 CPUtime=582.2 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 828540 0 0 0 58048 172 0 0 20 0 1 0 270819301 3431034880 824821 33554432000 4194304 10219143 140736617098144 140736617093256 8969295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 837655 824821 612 1471 0 836175 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3350620
[startup+642.3 s]
################
# More data... #
################
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 830956 0 0 0 100041 173 0 0 20 0 1 0 270819301 3436933120 827237 33554432000 4194304 10219143 140736617098144 140736617093256 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 839095 827237 612 1471 0 837615 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3356380
[startup+1062.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/174 17208
/proc/meminfo: memFree=21554044/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3356380 CPUtime=1062.13 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 831079 0 0 0 106040 173 0 0 20 0 1 0 270819301 3436933120 827360 33554432000 4194304 10219143 140736617098144 140736617093256 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 839095 827360 612 1471 0 837615 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3356380
[startup+1122.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/176 17212
/proc/meminfo: memFree=21550720/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3356380 CPUtime=1122.12 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 831252 0 0 0 112039 173 0 0 20 0 1 0 270819301 3436933120 827533 33554432000 4194304 10219143 140736617098144 140736617093256 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 839095 827533 612 1471 0 837615 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3356380
[startup+1182.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/176 17235
/proc/meminfo: memFree=21545060/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3358428 CPUtime=1182.11 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 831876 0 0 0 118037 174 0 0 20 0 1 0 270819301 3439030272 828157 33554432000 4194304 10219143 140736617098144 140736617093256 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 839607 828157 612 1471 0 838127 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3358428
[startup+1242.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/175 17235
/proc/meminfo: memFree=21543112/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3358428 CPUtime=1242.1 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 832018 0 0 0 124036 174 0 0 20 0 1 0 270819301 3439030272 828299 33554432000 4194304 10219143 140736617098144 140736617093256 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 839607 828299 612 1471 0 838127 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3358428
[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/175 17235
/proc/meminfo: memFree=21541528/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3359964 CPUtime=1302.1 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 832516 0 0 0 130036 174 0 0 20 0 1 0 270819301 3440603136 828797 33554432000 4194304 10219143 140736617098144 140736617093256 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 839991 828797 612 1471 0 838511 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3359964
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/175 17235
/proc/meminfo: memFree=21539512/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3360988 CPUtime=1362.08 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 832954 0 0 0 136034 174 0 0 20 0 1 0 270819301 3441651712 829235 33554432000 4194304 10219143 140736617098144 140736617093256 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 840247 829235 612 1471 0 838767 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3360988
[startup+1422.31 s]
/proc/loadavg: 2.08 2.06 2.01 3/175 17236
/proc/meminfo: memFree=21536440/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3363036 CPUtime=1422.08 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 833578 0 0 0 142034 174 0 0 20 0 1 0 270819301 3443748864 829859 33554432000 4194304 10219143 140736617098144 140736617093256 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 840759 829859 612 1471 0 839279 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3363036
[startup+1482.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/175 17236
/proc/meminfo: memFree=21534608/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3363036 CPUtime=1482.06 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 833693 0 0 0 148032 174 0 0 20 0 1 0 270819301 3443748864 829974 33554432000 4194304 10219143 140736617098144 140736617093256 8969212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 840759 829974 612 1471 0 839279 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3363036
[startup+1542.3 s]
/proc/loadavg: 1.87 2.03 1.99 2/169 17261
/proc/meminfo: memFree=24938152/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3363036 CPUtime=1542.05 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 833843 0 0 0 154031 174 0 0 20 0 1 0 270819301 3443748864 830185 33554432000 4194304 10219143 140736617098144 140736617093256 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 840759 830185 612 1471 0 839279 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3363036
[startup+1602.3 s]
/proc/loadavg: 1.32 1.84 1.93 2/169 17261
/proc/meminfo: memFree=24934584/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3365916 CPUtime=1602.04 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 834794 0 0 0 160030 174 0 0 20 0 1 0 270819301 3446697984 831136 33554432000 4194304 10219143 140736617098144 140736617093256 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 841479 831136 612 1471 0 839999 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3365916
[startup+1662.3 s]
/proc/loadavg: 1.11 1.68 1.87 2/169 17261
/proc/meminfo: memFree=24932876/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3365916 CPUtime=1662.04 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 835034 0 0 0 166029 175 0 0 20 0 1 0 270819301 3446697984 831542 33554432000 4194304 10219143 140736617098144 140736617093256 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 841479 831542 612 1471 0 839999 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3365916
[startup+1722.3 s]
/proc/loadavg: 1.04 1.56 1.81 2/170 17265
/proc/meminfo: memFree=24929300/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3368988 CPUtime=1722.03 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 836093 0 0 0 172028 175 0 0 20 0 1 0 270819301 3449843712 832601 33554432000 4194304 10219143 140736617098144 140736617093256 8969224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 842247 832601 612 1471 0 840767 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3368988
[startup+1782.3 s]
/proc/loadavg: 1.01 1.45 1.76 2/169 17265
/proc/meminfo: memFree=24917680/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3369820 CPUtime=1782.02 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 836530 0 0 0 178027 175 0 0 20 0 1 0 270819301 3450695680 835431 33554432000 4194304 10219143 140736617098144 140736617093256 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 842455 835431 612 1471 0 840975 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3369820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.01 1.42 1.74 2/169 17265
/proc/meminfo: memFree=24915540/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3370844 CPUtime=1800.02 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 836824 0 0 0 179827 175 0 0 20 0 1 0 270819301 3451744256 835966 33554432000 4194304 10219143 140736617098144 140736617093256 8969305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 842711 835966 612 1471 0 841231 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3370844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17200
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.42 1.74 2/170 17266
/proc/meminfo: memFree=24915540/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3370844 CPUtime=1801.11 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 836824 0 0 0 179936 175 0 0 20 0 1 0 270819301 3451744256 835966 33554432000 4194304 10219143 140736617098144 140736617092736 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 842711 835966 612 1471 0 841231 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3370844
[startup+1802.2 s]
/proc/loadavg: 1.01 1.42 1.74 2/170 17266
/proc/meminfo: memFree=24915532/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=3370844 CPUtime=1801.91 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4202496 836824 0 0 0 180016 175 0 0 20 0 1 0 270819301 3451744256 835966 33554432000 4194304 10219143 140736617098144 140736617092736 8969224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 842711 835966 612 1471 0 841231 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3370844
[startup+1802.4 s]
/proc/loadavg: 1.01 1.42 1.74 2/170 17266
/proc/meminfo: memFree=24915532/32873852 swapFree=6848/6848
[pid=17200] ppid=17198 vsize=0 CPUtime=1802.11 cores=0,2,4,6
/proc/17200/stat : 17200 (scip-2.1.1.4exp) R 17198 17200 14323 0 -1 4203524 836824 0 0 0 180027 184 0 0 20 0 1 0 270819301 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17200/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.46
CPU time (s): 1802.18
CPU user time (s): 1800.27
CPU system time (s): 1.91171
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 3370844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.27
system time used= 1.91171
maximum resident set size= 3343864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836824
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= 7
involuntary context switches= 1881
runsolver used 5.51016 second user time and 12.0752 second system time
The end