0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3479423-1307448037.opb>
4.09/4.13 c original problem has 14300 variables (14300 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
4.09/4.13 c problem read
4.09/4.13 c presolving settings loaded
5.40/5.45 o 14300
5.40/5.45 c feasible solution found by trivial heuristic, objective value 1.430000e+04
5.40/5.45 c presolving:
7.40/7.42 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
7.61/7.70 c (7.7s) probing: 101/14300 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
7.61/7.70 c (7.7s) probing aborted: 100/100 successive totally useless probings
7.61/7.70 c presolving (2 rounds):
7.61/7.70 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.61/7.70 c 0 implications, 0 cliques
7.61/7.70 c presolved problem has 14300 variables (14300 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
7.61/7.70 c 65280 constraints of type <logicor>
7.61/7.70 c transformed objective value is always integral (scale: 1)
7.61/7.70 c Presolving Time: 2.52
7.61/7.70 c - non default parameters ----------------------------------------------------------------------
7.61/7.70 c # SCIP version 2.0.1.5
7.61/7.70 c
7.61/7.70 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
7.61/7.70 c # [type: int, range: [-1,2147483647], default: -1]
7.61/7.70 c conflict/interconss = 0
7.61/7.70 c
7.61/7.70 c # should binary conflicts be preferred?
7.61/7.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.61/7.70 c conflict/preferbinary = TRUE
7.61/7.70 c
7.61/7.70 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
7.61/7.70 c # [type: int, range: [-1,2147483647], default: 0]
7.61/7.70 c constraints/agelimit = 1
7.61/7.70 c
7.61/7.70 c # should enforcement of pseudo solution be disabled?
7.61/7.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.61/7.70 c constraints/disableenfops = TRUE
7.61/7.70 c
7.61/7.70 c # frequency for displaying node information lines
7.61/7.70 c # [type: int, range: [-1,2147483647], default: 100]
7.61/7.70 c display/freq = 10000
7.61/7.70 c
7.61/7.70 c # maximal time in seconds to run
7.61/7.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.61/7.70 c limits/time = 1800
7.61/7.70 c
7.61/7.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.61/7.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.61/7.70 c limits/memory = 13950
7.61/7.70 c
7.61/7.70 c # default clock type (1: CPU user seconds, 2: wall clock time)
7.61/7.70 c # [type: int, range: [1,2], default: 1]
7.61/7.70 c timing/clocktype = 2
7.61/7.70 c
7.61/7.70 c # belongs reading time to solving time?
7.61/7.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.61/7.70 c timing/reading = TRUE
7.61/7.70 c
7.61/7.70 c # should presolving try to simplify inequalities
7.61/7.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.61/7.70 c constraints/linear/simplifyinequalities = TRUE
7.61/7.70 c
7.61/7.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
7.61/7.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.61/7.70 c constraints/indicator/addCouplingCons = TRUE
7.61/7.70 c
7.61/7.70 c # should presolving try to simplify knapsacks
7.61/7.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.61/7.70 c constraints/knapsack/simplifyinequalities = TRUE
7.61/7.70 c
7.61/7.70 c -----------------------------------------------------------------------------------------------
7.61/7.70 c start solving
7.61/7.71 c
159.09/159.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.09/159.19 c t 159s| 1 | 0 | 18798 | - | 588M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.430000e+04 | Large
159.09/159.19 o 116
159.09/159.19 c r 159s| 1 | 0 | 18798 | - | 588M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.160000e+02 | 176.19%
159.20/159.23 o 115
159.20/159.23 c R 159s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.150000e+02 | 173.81%
159.20/159.28 o 114
159.20/159.28 c s 159s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.140000e+02 | 171.43%
190.00/190.08 o 85
190.00/190.08 c z 190s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 8.500000e+01 | 102.38%
475.00/475.04 o 66
475.00/475.04 c E 475s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 6.600000e+01 | 57.14%
475.22/475.21 c 475s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 6.600000e+01 | 57.14%
700.31/700.35 c 700s| 1 | 2 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 33 | 4.200000e+01 | 6.600000e+01 | 57.14%
701.41/701.41 o 65
701.41/701.41 c R 701s| 2 | 1 | 18799 | 1.0 | 590M| 1 | 124 | 14k| 65k| 14k| 65k| 0 | 0 | 33 | 4.200000e+01 | 6.500000e+01 | 54.76%
804.92/804.93 o 60
804.92/804.93 c b 805s| 3 | 2 | 18799 | 0.5 | 591M| 2 | - | 14k| 65k| 14k| 65k| 0 | 0 | 79 | 4.200000e+01 | 6.000000e+01 | 42.86%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3479423-1307448037/watcher-3479423-1307448037 -o /tmp/evaluation-result-3479423-1307448037/solver-3479423-1307448037 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479423-1307448037.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: 5.84 3.67 2.55 2/445 19682
/proc/meminfo: memFree=29349628/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=14096 CPUtime=0 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 2438 0 0 0 0 0 0 0 23 0 1 0 935034458 14434304 2390 33554432000 4194304 9163163 140735317502176 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19682/statm: 3524 2407 389 1214 0 2306 0
[startup+0.0336189 s]
/proc/loadavg: 5.84 3.67 2.55 2/445 19682
/proc/meminfo: memFree=29349628/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=23400 CPUtime=0.02 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 4890 0 0 0 2 0 0 0 23 0 1 0 935034458 23961600 4837 33554432000 4194304 9163163 140735317502176 18446744073709551615 7480048 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19682/statm: 5850 4837 397 1214 0 4632 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23400
[startup+0.100589 s]
/proc/loadavg: 5.84 3.67 2.55 2/445 19682
/proc/meminfo: memFree=29349628/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=26116 CPUtime=0.09 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 5536 0 0 0 9 0 0 0 23 0 1 0 935034458 26742784 5481 33554432000 4194304 9163163 140735317502176 18446744073709551615 8034182 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19682/statm: 6529 5481 395 1214 0 5311 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26116
[startup+0.300558 s]
/proc/loadavg: 5.84 3.67 2.55 2/445 19682
/proc/meminfo: memFree=29349628/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=32300 CPUtime=0.29 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 7076 0 0 0 29 0 0 0 25 0 1 0 935034458 33075200 7021 33554432000 4194304 9163163 140735317502176 18446744073709551615 8031100 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19682/statm: 8075 7021 395 1214 0 6857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32300
[startup+0.700482 s]
/proc/loadavg: 5.84 3.67 2.55 2/445 19682
/proc/meminfo: memFree=29349628/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=44848 CPUtime=0.69 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 10212 0 0 0 68 1 0 0 25 0 1 0 935034458 45924352 10157 33554432000 4194304 9163163 140735317502176 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19682/statm: 11212 10157 395 1214 0 9994 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44848
[startup+1.50033 s]
/proc/loadavg: 5.84 3.67 2.55 3/446 19683
/proc/meminfo: memFree=29301260/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=66056 CPUtime=1.49 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 15538 0 0 0 147 2 0 0 25 0 1 0 935034458 67641344 15483 33554432000 4194304 9163163 140735317502176 18446744073709551615 4485243 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19682/statm: 16514 15483 395 1214 0 15296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66056
[startup+3.10104 s]
/proc/loadavg: 5.53 3.65 2.54 3/446 19683
/proc/meminfo: memFree=29267656/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=109100 CPUtime=3.09 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 26292 0 0 0 305 4 0 0 25 0 1 0 935034458 111718400 26237 33554432000 4194304 9163163 140735317502176 18446744073709551615 6136223 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19682/statm: 27275 26237 395 1214 0 26057 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109100
[startup+6.30045 s]
/proc/loadavg: 5.53 3.65 2.54 3/445 19683
/proc/meminfo: memFree=28655724/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=705196 CPUtime=6.29 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 178253 0 0 0 609 20 0 0 25 0 1 0 935034458 722120704 173296 33554432000 4194304 9163163 140735317502176 18446744073709551615 5148134 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 176299 173296 496 1214 0 175081 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 705196
[startup+12.7002 s]
/proc/loadavg: 4.99 3.59 2.54 3/444 19683
/proc/meminfo: memFree=28006732/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1513292 CPUtime=12.69 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 433672 0 0 0 1221 48 0 0 25 0 1 0 935034458 1549611008 335750 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 378323 335750 992 1214 0 377105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1513292
[startup+25.5008 s]
/proc/loadavg: 4.53 3.54 2.53 3/444 19693
/proc/meminfo: memFree=27999092/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1517500 CPUtime=25.5 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 435612 0 0 0 2501 49 0 0 25 0 1 0 935034458 1553920000 337331 33554432000 4194304 9163163 140735317502176 18446744073709551615 7412845 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 379375 337331 633 1214 0 378157 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1517500
[startup+51.101 s]
/proc/loadavg: 3.73 3.43 2.52 3/444 19693
/proc/meminfo: memFree=27999588/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1517500 CPUtime=51.1 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 436109 0 0 0 5060 50 0 0 25 0 1 0 935034458 1553920000 337820 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 379375 337820 625 1214 0 378157 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1517500
[startup+102.316 s]
/proc/loadavg: 2.69 3.19 2.49 3/444 19695
/proc/meminfo: memFree=27952600/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1600136 CPUtime=102.31 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 477588 0 0 0 10173 58 0 0 25 0 1 0 935034458 1638539264 349845 33554432000 4194304 9163163 140735317502176 18446744073709551615 7349424 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 400034 349845 992 1214 0 398816 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1600136
[startup+162.301 s]
/proc/loadavg: 2.25 2.97 2.46 3/444 19696
/proc/meminfo: memFree=28116932/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1315256 CPUtime=162.3 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 539813 0 0 0 16163 67 0 0 25 0 1 0 935034458 1346822144 308108 33554432000 4194304 9163163 140735317502176 18446744073709551615 7051398 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 328814 308108 687 1214 0 327596 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1315256
[startup+222.301 s]
/proc/loadavg: 2.22 2.83 2.44 3/444 19698
/proc/meminfo: memFree=27384800/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=2049852 CPUtime=222.3 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 724361 0 0 0 22141 89 0 0 25 0 1 0 935034458 2099048448 490781 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 512463 490781 798 1214 0 511245 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 2049852
[startup+282.301 s]
/proc/loadavg: 2.12 2.69 2.42 3/444 19699
/proc/meminfo: memFree=27379924/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=2049852 CPUtime=282.3 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 725375 0 0 0 28138 92 0 0 25 0 1 0 935034458 2099048448 491701 33554432000 4194304 9163163 140735317502176 18446744073709551615 7250696 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 512463 491701 704 1214 0 511245 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2049852
[startup+342.3 s]
/proc/loadavg: 2.04 2.56 2.39 3/444 19701
/proc/meminfo: memFree=27377532/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=2049852 CPUtime=342.3 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 725748 0 0 0 34133 97 0 0 25 0 1 0 935034458 2099048448 492074 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 512463 492074 704 1214 0 511245 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2049852
[startup+402.301 s]
/proc/loadavg: 2.01 2.46 2.36 3/444 19731
/proc/meminfo: memFree=26060588/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=2049852 CPUtime=402.31 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 725748 0 0 0 40131 100 0 0 25 0 1 0 935034458 2099048448 492074 33554432000 4194304 9163163 140735317502176 18446744073709551615 6974024 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 512463 492074 704 1214 0 511245 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2049852
[startup+462.301 s]
/proc/loadavg: 2.00 2.37 2.34 3/444 19732
/proc/meminfo: memFree=26505200/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=2049852 CPUtime=462.31 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 725748 0 0 0 46129 102 0 0 25 0 1 0 935034458 2099048448 492074 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 512463 492074 704 1214 0 511245 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2049852
[startup+522.301 s]
/proc/loadavg: 2.09 2.33 2.32 3/444 19734
/proc/meminfo: memFree=27236916/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1305516 CPUtime=522.31 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 730239 0 0 0 52120 111 0 0 25 0 1 0 935034458 1336848384 310610 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 326379 310610 715 1214 0 325161 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1305516
[startup+582.3 s]
/proc/loadavg: 2.03 2.27 2.30 3/444 19735
/proc/meminfo: memFree=27242116/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1305516 CPUtime=582.31 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 754027 0 0 0 58114 117 0 0 25 0 1 0 935034458 1336848384 313617 33554432000 4194304 9163163 140735317502176 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 326379 313617 897 1214 0 325161 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1305516
[startup+642.301 s]
################
# More data... #
################
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 935277 0 0 0 100084 148 0 0 25 0 1 0 935034458 1332633600 312085 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 325350 312085 1135 1214 0 324132 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1301400
[startup+1062.3 s]
/proc/loadavg: 2.11 2.10 2.18 3/444 19748
/proc/meminfo: memFree=27270404/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1301136 CPUtime=1062.33 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 975377 0 0 0 106077 156 0 0 25 0 1 0 935034458 1332363264 306287 33554432000 4194304 9163163 140735317502176 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 325284 306287 712 1214 0 324066 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1301136
[startup+1122.3 s]
/proc/loadavg: 2.04 2.08 2.17 3/444 19750
/proc/meminfo: memFree=27259948/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1298892 CPUtime=1122.33 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1047887 0 0 0 112067 166 0 0 25 0 1 0 935034458 1330065408 305100 33554432000 4194304 9163163 140735317502176 18446744073709551615 7317888 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 324723 305100 712 1214 0 323505 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1298892
[startup+1182.3 s]
/proc/loadavg: 2.01 2.06 2.16 3/444 19751
/proc/meminfo: memFree=27182420/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1345620 CPUtime=1182.34 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1157600 0 0 0 118053 181 0 0 25 0 1 0 935034458 1377914880 324440 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 336405 324440 955 1214 0 335187 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1345620
[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.15 3/444 19753
/proc/meminfo: memFree=27222320/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1334304 CPUtime=1242.34 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1236603 0 0 0 124042 192 0 0 25 0 1 0 935034458 1366327296 321599 33554432000 4194304 9163163 140735317502176 18446744073709551615 7394741 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 333576 321599 2180 1214 0 332358 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1334304
[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.14 3/444 19755
/proc/meminfo: memFree=27174916/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1342584 CPUtime=1302.35 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1302840 0 0 0 130033 202 0 0 25 0 1 0 935034458 1374806016 323678 33554432000 4194304 9163163 140735317502176 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 335646 323678 1160 1214 0 334428 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1342584
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.13 3/444 19756
/proc/meminfo: memFree=27249288/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1294544 CPUtime=1362.34 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1371198 0 0 0 136021 213 0 0 25 0 1 0 935034458 1325613056 305218 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 323636 305218 713 1214 0 322418 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1294544
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.12 3/444 19758
/proc/meminfo: memFree=27241072/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1289548 CPUtime=1422.36 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1607961 0 0 0 141994 242 0 0 25 0 1 0 935034458 1320497152 307588 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 322387 307588 1543 1214 0 321169 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1289548
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/444 19759
/proc/meminfo: memFree=27174208/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1288972 CPUtime=1482.35 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1747498 0 0 0 147975 260 0 0 25 0 1 0 935034458 1319907328 304950 33554432000 4194304 9163163 140735317502176 18446744073709551615 7375964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 322243 304950 946 1214 0 321025 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 1288972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/444 19761
/proc/meminfo: memFree=27214728/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1331932 CPUtime=1542.35 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1816080 0 0 0 153964 271 0 0 25 0 1 0 935034458 1363898368 320994 33554432000 4194304 9163163 140735317502176 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 332983 320994 894 1214 0 331765 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1331932
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.09 3/444 19763
/proc/meminfo: memFree=27149980/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1330932 CPUtime=1602.35 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1889986 0 0 0 159954 281 0 0 25 0 1 0 935034458 1362874368 319395 33554432000 4194304 9163163 140735317502176 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 332733 319395 712 1214 0 331515 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1330932
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.08 3/444 19764
/proc/meminfo: memFree=27204384/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1296512 CPUtime=1662.35 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1905948 0 0 0 165949 286 0 0 25 0 1 0 935034458 1327628288 304678 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 324128 304678 712 1214 0 322910 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1296512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/444 19766
/proc/meminfo: memFree=27158856/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1313684 CPUtime=1722.35 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 1993285 0 0 0 171939 296 0 0 25 0 1 0 935034458 1345212416 316450 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 328421 316450 715 1214 0 327203 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1313684
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.08 3/444 19767
/proc/meminfo: memFree=27187968/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1312504 CPUtime=1782.36 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 2057171 0 0 0 177930 306 0 0 25 0 1 0 935034458 1344004096 315862 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 328126 315862 712 1214 0 326908 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1312504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.05 2.09 3/444 19768
/proc/meminfo: memFree=27232480/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1293464 CPUtime=1800.07 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 2062809 0 0 0 179700 307 0 0 25 0 1 0 935034458 1324507136 304611 33554432000 4194304 9163163 140735317502176 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 323366 304611 712 1214 0 322148 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1293464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19682
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.13 2.05 2.09 3/445 19769
/proc/meminfo: memFree=27231852/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1293464 CPUtime=1801.46 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 2062839 0 0 0 179839 307 0 0 25 0 1 0 935034458 1324507136 304641 33554432000 4194304 9163163 140735317502176 18446744073709551615 6974863 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 323366 304641 712 1214 0 322148 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 1293464
[startup+1801.82 s]
/proc/loadavg: 2.12 2.05 2.09 3/445 19769
/proc/meminfo: memFree=27231728/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1293464 CPUtime=1801.87 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 2062839 0 0 0 179880 307 0 0 25 0 1 0 935034458 1324507136 304641 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 323366 304641 712 1214 0 322148 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 1293464
[startup+1802 s]
/proc/loadavg: 2.12 2.05 2.09 3/445 19769
/proc/meminfo: memFree=27231728/32950928 swapFree=52246700/67111528
[pid=19682] ppid=19680 vsize=1293464 CPUtime=1802.06 cores=0,2,4,6
/proc/19682/stat : 19682 (scip-2.0.1.4b.l) R 19680 19682 19386 0 -1 4202496 2062839 0 0 0 179899 307 0 0 25 0 1 0 935034458 1324507136 304641 33554432000 4194304 9163163 140735317502176 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19682/statm: 323366 304641 712 1214 0 322148 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 1293464
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.13
CPU user time (s): 1799.01
CPU system time (s): 3.12452
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2049852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 3.12453
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2062839
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= 2
involuntary context switches= 2226
runsolver used 8.32773 second user time and 17.1744 second system time
The end