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-3692560-1338046883.opb>
2.49/2.54 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.49/2.54 c problem read in 2.54
6.09/6.11 c presolving:
12.89/12.90 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
15.08/15.18 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-3692560-1338046883/watcher-3692560-1338046883 -o /tmp/evaluation-result-3692560-1338046883/solver-3692560-1338046883 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692560-1338046883.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/178 2440
/proc/meminfo: memFree=25596260/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=12028 CPUtime=0 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 1768 0 0 0 0 0 0 0 20 0 1 0 270813765 12316672 1723 33554432000 4194304 10219143 140735073503984 140735073368824 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 3007 1731 398 1471 0 1527 0
[startup+0.017751 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2440
/proc/meminfo: memFree=25596260/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=19676 CPUtime=0.01 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 3464 0 0 0 1 0 0 0 20 0 1 0 270813765 20148224 3421 33554432000 4194304 10219143 140735073503984 140735073368824 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 4919 3453 421 1471 0 3439 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19676
[startup+0.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2440
/proc/meminfo: memFree=25596260/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=46116 CPUtime=0.09 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 10275 0 0 0 8 1 0 0 20 0 1 0 270813765 47222784 10230 33554432000 4194304 10219143 140735073503984 140735073368616 5345804 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 11529 10230 421 1471 0 10049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46116
[startup+0.300346 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2440
/proc/meminfo: memFree=25596260/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=87312 CPUtime=0.29 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 20561 0 0 0 26 3 0 0 20 0 1 0 270813765 89407488 20516 33554432000 4194304 10219143 140735073503984 140735073368616 5345827 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 21828 20516 421 1471 0 20348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87312
[startup+0.700347 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2440
/proc/meminfo: memFree=25596260/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=191220 CPUtime=0.69 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 46522 0 0 0 61 8 0 0 20 0 1 0 270813765 195809280 46477 33554432000 4194304 10219143 140735073503984 140735073368616 5536058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 47805 46477 421 1471 0 46325 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 191220
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2441
/proc/meminfo: memFree=25334232/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=387672 CPUtime=1.49 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 95613 0 0 0 133 16 0 0 20 0 1 0 270813765 396976128 95568 33554432000 4194304 10219143 140735073503984 140735073369160 5609043 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 96918 95568 421 1471 0 95438 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 387672
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2441
/proc/meminfo: memFree=25115000/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=869740 CPUtime=3.09 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 216062 0 0 0 273 36 0 0 20 0 1 0 270813765 890613760 215905 33554432000 4194304 10219143 140735073503984 140735073500184 4962128 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 217435 215905 473 1471 0 215955 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 869740
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2441
/proc/meminfo: memFree=24418612/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=1247688 CPUtime=6.29 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 306348 0 0 0 572 57 0 0 20 0 1 0 270813765 1277632512 309257 33554432000 4194304 10219143 140735073503984 140735073500792 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 311922 309257 550 1471 0 310442 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1247688
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2441
/proc/meminfo: memFree=23962800/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=1607824 CPUtime=12.69 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 437379 0 0 0 1028 241 0 0 20 0 1 0 270813765 1646411776 398598 33554432000 4194304 10219143 140735073503984 140735073499880 5018432 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 401956 398598 569 1471 0 400476 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1607824
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 2441
/proc/meminfo: memFree=23710100/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=1902496 CPUtime=25.48 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 492443 0 0 0 2183 365 0 0 20 0 1 0 270813765 1948155904 471258 33554432000 4194304 10219143 140735073503984 140735073499384 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 475624 471258 612 1471 0 474144 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1902496
[startup+51.1005 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 2441
/proc/meminfo: memFree=23701928/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=1910880 CPUtime=51.09 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 493906 0 0 0 4743 366 0 0 20 0 1 0 270813765 1956741120 473232 33554432000 4194304 10219143 140735073503984 140735073499384 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 477720 473232 612 1471 0 476240 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1910880
[startup+102.308 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2441
/proc/meminfo: memFree=23697880/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=1913312 CPUtime=102.28 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 494565 0 0 0 9862 366 0 0 20 0 1 0 270813765 1959231488 473891 33554432000 4194304 10219143 140735073503984 140735073500360 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 478328 473891 612 1471 0 476848 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1913312
[startup+162.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 2442
/proc/meminfo: memFree=22298052/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3344820 CPUtime=162.26 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 822392 0 0 0 15802 424 0 0 20 0 1 0 270813765 3425095680 822277 33554432000 4194304 10219143 140735073503984 140735073499096 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 836205 822277 612 1471 0 834725 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3344820
[startup+222.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 2442
/proc/meminfo: memFree=22294732/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3345844 CPUtime=222.25 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 822756 0 0 0 21801 424 0 0 20 0 1 0 270813765 3426144256 822641 33554432000 4194304 10219143 140735073503984 140735073499096 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 836461 822641 612 1471 0 834981 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3345844
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 2442
/proc/meminfo: memFree=22282980/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3346868 CPUtime=282.24 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 823116 0 0 0 27800 424 0 0 20 0 1 0 270813765 3427192832 823001 33554432000 4194304 10219143 140735073503984 140735073499096 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 836717 823001 612 1471 0 835237 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3346868
[startup+342.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 2442
/proc/meminfo: memFree=22279784/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3346868 CPUtime=342.24 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 823220 0 0 0 33799 425 0 0 20 0 1 0 270813765 3427192832 823105 33554432000 4194304 10219143 140735073503984 140735073499096 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 836717 823105 612 1471 0 835237 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3346868
[startup+402.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 2442
/proc/meminfo: memFree=22276588/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3346868 CPUtime=402.23 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 823324 0 0 0 39798 425 0 0 20 0 1 0 270813765 3427192832 823209 33554432000 4194304 10219143 140735073503984 140735073499096 8969184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 836717 823209 612 1471 0 835237 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3346868
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2443
/proc/meminfo: memFree=22271160/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3348724 CPUtime=462.22 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 823898 0 0 0 45797 425 0 0 20 0 1 0 270813765 3429093376 823783 33554432000 4194304 10219143 140735073503984 140735073499096 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 837181 823783 612 1471 0 835701 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3348724
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 2446
/proc/meminfo: memFree=22268040/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3350772 CPUtime=522.21 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 824520 0 0 0 51796 425 0 0 20 0 1 0 270813765 3431190528 824405 33554432000 4194304 10219143 140735073503984 140735073499096 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 837693 824405 612 1471 0 836213 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3350772
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2446
/proc/meminfo: memFree=22267248/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3350772 CPUtime=582.21 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 824635 0 0 0 57795 426 0 0 20 0 1 0 270813765 3431190528 824520 33554432000 4194304 10219143 140735073503984 140735073499096 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 837693 824520 612 1471 0 836213 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 3350772
[startup+642.301 s]
################
# More data... #
################
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 826198 0 0 0 99788 426 0 0 20 0 1 0 270813765 3434139648 826083 33554432000 4194304 10219143 140735073503984 140735073499096 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 838413 826083 612 1471 0 836933 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3353652
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2448
/proc/meminfo: memFree=22235852/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3353652 CPUtime=1062.13 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 826308 0 0 0 105787 426 0 0 20 0 1 0 270813765 3434139648 826193 33554432000 4194304 10219143 140735073503984 140735073499096 8969212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 838413 826193 612 1471 0 836933 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3353652
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2451
/proc/meminfo: memFree=22232592/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3354676 CPUtime=1122.13 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 826676 0 0 0 111786 427 0 0 20 0 1 0 270813765 3435188224 826561 33554432000 4194304 10219143 140735073503984 140735073499096 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 838669 826561 612 1471 0 837189 0
Current children cumulated CPU time (s) 1122.13
Current children cumulated vsize (KiB) 3354676
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2474
/proc/meminfo: memFree=22230000/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3356532 CPUtime=1182.11 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 827250 0 0 0 117784 427 0 0 20 0 1 0 270813765 3437088768 827135 33554432000 4194304 10219143 140735073503984 140735073499096 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 839133 827135 612 1471 0 837653 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3356532
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2474
/proc/meminfo: memFree=22228480/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3356532 CPUtime=1242.1 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 827360 0 0 0 123783 427 0 0 20 0 1 0 270813765 3437088768 827245 33554432000 4194304 10219143 140735073503984 140735073499096 7593616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 839133 827245 612 1471 0 837653 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3356532
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2474
/proc/meminfo: memFree=22226844/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3356532 CPUtime=1302.1 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 827470 0 0 0 129783 427 0 0 20 0 1 0 270813765 3437088768 827355 33554432000 4194304 10219143 140735073503984 140735073499096 8969212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 839133 827355 612 1471 0 837653 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3356532
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2475
/proc/meminfo: memFree=22223840/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3356532 CPUtime=1362.08 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 827583 0 0 0 135781 427 0 0 20 0 1 0 270813765 3437088768 827468 33554432000 4194304 10219143 140735073503984 140735073499096 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 839133 827468 612 1471 0 837653 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3356532
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 2475
/proc/meminfo: memFree=22219912/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3358580 CPUtime=1422.08 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 828211 0 0 0 141781 427 0 0 20 0 1 0 270813765 3439185920 828096 33554432000 4194304 10219143 140735073503984 140735073499096 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 839645 828096 612 1471 0 838165 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3358580
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 2/173 2500
/proc/meminfo: memFree=25623580/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3358580 CPUtime=1482.07 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 828327 0 0 0 147779 428 0 0 20 0 1 0 270813765 3439185920 828212 33554432000 4194304 10219143 140735073503984 140735073499096 8969198 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 839645 828212 612 1471 0 838165 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 3358580
[startup+1542.3 s]
/proc/loadavg: 1.37 1.82 1.94 2/173 2500
/proc/meminfo: memFree=25623628/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3360116 CPUtime=1542.06 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 828943 0 0 0 153778 428 0 0 20 0 1 0 270813765 3440758784 828828 33554432000 4194304 10219143 140735073503984 140735073499096 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 840029 828828 612 1471 0 838549 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3360116
[startup+1602.3 s]
/proc/loadavg: 1.14 1.67 1.87 2/173 2500
/proc/meminfo: memFree=25619316/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3363188 CPUtime=1602.05 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 829868 0 0 0 159777 428 0 0 20 0 1 0 270813765 3443904512 829919 33554432000 4194304 10219143 140735073503984 140735073499096 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 840797 829919 612 1471 0 839317 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3363188
[startup+1662.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/172 2500
/proc/meminfo: memFree=25618352/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3363188 CPUtime=1662.04 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 830064 0 0 0 165776 428 0 0 20 0 1 0 270813765 3443904512 830115 33554432000 4194304 10219143 140735073503984 140735073499096 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 840797 830115 612 1471 0 839317 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3363188
[startup+1722.3 s]
/proc/loadavg: 1.02 1.44 1.76 2/174 2504
/proc/meminfo: memFree=25609520/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3363188 CPUtime=1722.03 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 830293 0 0 0 171775 428 0 0 20 0 1 0 270813765 3443904512 832342 33554432000 4194304 10219143 140735073503984 140735073499096 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 840797 832342 612 1471 0 839317 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3363188
[startup+1782.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/173 2504
/proc/meminfo: memFree=25601792/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3366068 CPUtime=1782.02 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 831168 0 0 0 177773 429 0 0 20 0 1 0 270813765 3446853632 834175 33554432000 4194304 10219143 140735073503984 140735073499096 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 841517 834175 612 1471 0 840037 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3366068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.34 1.70 2/173 2504
/proc/meminfo: memFree=25601512/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3366068 CPUtime=1800.03 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 831245 0 0 0 179574 429 0 0 20 0 1 0 270813765 3446853632 834340 33554432000 4194304 10219143 140735073503984 140735073499096 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 841517 834340 612 1471 0 840037 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3366068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2440
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.34 1.70 2/174 2505
/proc/meminfo: memFree=25601140/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3366068 CPUtime=1801.12 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 831247 0 0 0 179683 429 0 0 20 0 1 0 270813765 3446853632 834342 33554432000 4194304 10219143 140735073503984 140735073498560 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 841517 834342 612 1471 0 840037 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 3366068
[startup+1802.2 s]
/proc/loadavg: 1.00 1.34 1.70 2/174 2505
/proc/meminfo: memFree=25601132/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=3366068 CPUtime=1801.92 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4202496 831250 0 0 0 179763 429 0 0 20 0 1 0 270813765 3446853632 834345 33554432000 4194304 10219143 140735073503984 140735073498560 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 841517 834345 612 1471 0 840037 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 3366068
[startup+1802.4 s]
/proc/loadavg: 1.00 1.34 1.70 2/174 2505
/proc/meminfo: memFree=25601132/32873844 swapFree=7124/7124
[pid=2440] ppid=2438 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/2440/stat : 2440 (scip-2.1.1.4exp) R 2438 2440 32151 0 -1 4203524 831250 0 0 0 179774 438 0 0 20 0 1 0 270813765 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2440/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.48
CPU time (s): 1802.2
CPU user time (s): 1797.74
CPU system time (s): 4.46032
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 3366068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.74
system time used= 4.46032
maximum resident set size= 3337380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831250
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= 5
involuntary context switches= 1858
runsolver used 3.56346 second user time and 10.8603 second system time
The end