0.00/0.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3450988-1307076091.opb>
0.39/0.45 c original problem has 63009 variables (63009 bin, 0 int, 0 impl, 0 cont) and 507 constraints
0.39/0.45 c problem read
0.39/0.45 c presolving settings loaded
0.69/0.78 o 122425
0.69/0.78 c feasible solution found by trivial heuristic, objective value 1.224250e+05
0.69/0.78 c presolving:
0.79/0.89 c (round 1) 7 del vars, 13 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.89/0.90 c (round 2) 9 del vars, 19 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.89/0.91 c (round 3) 10 del vars, 20 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
1.19/1.25 c (round 4) 10 del vars, 35 del conss, 0 add conss, 7 chg bounds, 10 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
1.39/1.43 c (round 5) 12 del vars, 35 del conss, 0 add conss, 7 chg bounds, 10 chg sides, 0 chg coeffs, 472 upgd conss, 4 impls, 0 clqs
1.69/1.71 c (1.7s) probing: 101/62997 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.69/1.71 c (1.7s) probing aborted: 100/100 successive totally useless probings
1.69/1.72 c presolving (6 rounds):
1.69/1.72 c 12 deleted vars, 35 deleted constraints, 0 added constraints, 7 tightened bounds, 0 added holes, 10 changed sides, 0 changed coefficients
1.69/1.72 c 4 implications, 0 cliques
1.69/1.72 c presolved problem has 62997 variables (62997 bin, 0 int, 0 impl, 0 cont) and 472 constraints
1.69/1.72 c 472 constraints of type <logicor>
1.69/1.72 c transformed objective value is always integral (scale: 1)
1.69/1.72 c Presolving Time: 1.10
1.69/1.72 c - non default parameters ----------------------------------------------------------------------
1.69/1.72 c # SCIP version 2.0.1.5
1.69/1.72 c
1.69/1.72 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.72 c conflict/interconss = 0
1.69/1.72 c
1.69/1.72 c # should binary conflicts be preferred?
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c conflict/preferbinary = TRUE
1.69/1.72 c
1.69/1.72 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 0]
1.69/1.72 c constraints/agelimit = 1
1.69/1.72 c
1.69/1.72 c # should enforcement of pseudo solution be disabled?
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/disableenfops = TRUE
1.69/1.72 c
1.69/1.72 c # frequency for displaying node information lines
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.72 c display/freq = 10000
1.69/1.72 c
1.69/1.72 c # maximal time in seconds to run
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/time = 1800
1.69/1.72 c
1.69/1.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/memory = 13950
1.69/1.72 c
1.69/1.72 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.69/1.72 c # [type: int, range: [1,2], default: 1]
1.69/1.72 c timing/clocktype = 2
1.69/1.72 c
1.69/1.72 c # belongs reading time to solving time?
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c timing/reading = TRUE
1.69/1.72 c
1.69/1.72 c # should presolving try to simplify inequalities
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/linear/simplifyinequalities = TRUE
1.69/1.72 c
1.69/1.72 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/indicator/addCouplingCons = TRUE
1.69/1.72 c
1.69/1.72 c # should presolving try to simplify knapsacks
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.72 c
1.69/1.72 c -----------------------------------------------------------------------------------------------
1.69/1.72 c start solving
1.69/1.74 c
1.69/1.76 o 122419
1.69/1.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.76 c t 1.8s| 1 | 0 | 0 | - | 120M| 0 | - | 62k| 472 | 0 | 0 | 0 | 0 | 0 | -- | 1.224190e+05 | Inf
1.99/2.02 o 240
1.99/2.02 c b 2.0s| 1 | 0 | 0 | - | 156M| 0 | - | 62k| 472 | 62k| 472 | 0 | 0 | 0 | -- | 2.400000e+02 | Inf
18.19/18.22 c 18.2s| 1 | 0 | 13578 | - | 155M| 0 | 292 | 62k| 472 | 62k| 472 | 0 | 0 | 0 | 1.721456e+02 | 2.400000e+02 | 39.42%
22.39/22.45 o 177
22.39/22.45 c E22.4s| 1 | 0 | 13578 | - | 161M| 0 | 292 | 62k| 472 | 62k| 472 | 0 | 0 | 0 | 1.721456e+02 | 1.770000e+02 | 2.82%
22.49/22.54 c 22.5s| 1 | 0 | 13578 | - | 161M| 0 | 292 | 62k| 472 | 62k| 472 | 0 | 0 | 0 | 1.721456e+02 | 1.770000e+02 | 2.82%
65.59/65.69 c 65.7s| 1 | 2 | 13578 | - | 161M| 0 | 292 | 62k| 472 | 62k| 472 | 0 | 0 | 40 | 1.721456e+02 | 1.770000e+02 | 2.82%
417.60/417.66 o 175
417.60/417.66 c v 418s| 62 | 41 | 65401 | 849.6 | 244M| 26 | - | 62k| 472 | 62k| 472 | 0 | 0 | 304 | 1.722017e+02 | 1.750000e+02 | 1.62%
1188.72/1188.71 o 174
1188.72/1188.71 c c1189s| 368 | 55 |329128 | 859.8 | 269M| 41 | - | 62k| 472 | 62k| 472 | 0 | 0 | 848 | 1.723480e+02 | 1.740000e+02 | 0.96%
1800.06/1800.02 c
1800.06/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.02 c Solving Time (sec) : 1800.01
1800.06/1800.02 c Solving Nodes : 1151
1800.06/1800.02 c Primal Bound : +1.74000000000000e+02 (649 solutions)
1800.06/1800.02 c Dual Bound : +1.72678071335983e+02
1800.06/1800.02 c Gap : 0.77 %
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-3450988-1307076091/watcher-3450988-1307076091 -o /tmp/evaluation-result-3450988-1307076091/solver-3450988-1307076091 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450988-1307076091.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.08 2.09 2.20 3/575 21305
/proc/meminfo: memFree=23491844/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=16524 CPUtime=0.01 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 3109 0 0 0 1 0 0 0 25 0 1 0 819206869 16920576 3062 33554432000 4194304 9163163 140734343100592 18446744073709551615 4437575 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21305/statm: 4131 3062 389 1214 0 2913 0
[startup+0.099888 s]
/proc/loadavg: 2.08 2.09 2.20 3/575 21305
/proc/meminfo: memFree=23491844/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=58288 CPUtime=0.09 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 13617 0 0 0 8 1 0 0 25 0 1 0 819206869 59686912 13521 33554432000 4194304 9163163 140734343100592 18446744073709551615 4821507 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21305/statm: 14572 13521 393 1214 0 13354 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58288
[startup+0.10089 s]
/proc/loadavg: 2.08 2.09 2.20 3/575 21305
/proc/meminfo: memFree=23491844/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=58288 CPUtime=0.09 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 13617 0 0 0 8 1 0 0 25 0 1 0 819206869 59686912 13521 33554432000 4194304 9163163 140734343100592 18446744073709551615 4821417 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21305/statm: 14572 13521 393 1214 0 13354 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58288
[startup+0.300858 s]
/proc/loadavg: 2.08 2.09 2.20 3/575 21305
/proc/meminfo: memFree=23491844/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=63876 CPUtime=0.29 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 14804 0 0 0 28 1 0 0 25 0 1 0 819206869 65409024 14707 33554432000 4194304 9163163 140734343100592 18446744073709551615 7962232 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21305/statm: 15969 14707 395 1214 0 14751 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63876
[startup+0.700788 s]
/proc/loadavg: 2.08 2.09 2.20 3/575 21305
/proc/meminfo: memFree=23491844/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=165272 CPUtime=0.69 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 38688 0 0 0 65 4 0 0 25 0 1 0 819206869 169238528 38560 33554432000 4194304 9163163 140734343100592 18446744073709551615 4343200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 41318 38560 467 1214 0 40100 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 165272
[startup+1.50069 s]
/proc/loadavg: 2.15 2.10 2.20 3/576 21306
/proc/meminfo: memFree=23331384/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=175972 CPUtime=1.49 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 41562 0 0 0 145 4 0 0 25 0 1 0 819206869 180195328 41143 33554432000 4194304 9163163 140734343100592 18446744073709551615 5944184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 43993 41143 609 1214 0 42775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175972
[startup+3.10037 s]
/proc/loadavg: 2.15 2.10 2.20 3/576 21306
/proc/meminfo: memFree=23219164/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=299024 CPUtime=3.09 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 74679 0 0 0 301 8 0 0 25 0 1 0 819206869 306200576 68850 33554432000 4194304 9163163 140734343100592 18446744073709551615 7312198 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 74756 68850 1453 1214 0 73538 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 299024
[startup+6.30075 s]
/proc/loadavg: 2.15 2.10 2.20 3/576 21306
/proc/meminfo: memFree=23219060/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=299024 CPUtime=6.3 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 74680 0 0 0 621 9 0 0 25 0 1 0 819206869 306200576 68850 33554432000 4194304 9163163 140734343100592 18446744073709551615 7312167 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 74756 68850 1452 1214 0 73538 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 299024
[startup+12.7006 s]
/proc/loadavg: 2.13 2.10 2.20 3/576 21306
/proc/meminfo: memFree=23231492/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=299024 CPUtime=12.69 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 74686 0 0 0 1260 9 0 0 25 0 1 0 819206869 306200576 68854 33554432000 4194304 9163163 140734343100592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 74756 68854 1454 1214 0 73538 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 299024
[startup+25.5003 s]
/proc/loadavg: 2.11 2.09 2.19 3/576 21307
/proc/meminfo: memFree=23008152/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=25.49 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133340 0 0 0 2526 23 0 0 25 0 1 0 819206869 535330816 124588 33554432000 4194304 9163163 140734343100592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124588 1405 1214 0 129478 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 522784
[startup+51.1006 s]
/proc/loadavg: 2.07 2.08 2.19 3/576 21307
/proc/meminfo: memFree=23007028/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=51.09 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133340 0 0 0 5082 27 0 0 25 0 1 0 819206869 535330816 124588 33554432000 4194304 9163163 140734343100592 18446744073709551615 7115408 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124588 1405 1214 0 129478 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 522784
[startup+102.322 s]
/proc/loadavg: 2.03 2.07 2.17 3/576 21309
/proc/meminfo: memFree=23006676/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=102.31 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133340 0 0 0 10198 33 0 0 25 0 1 0 819206869 535330816 124588 33554432000 4194304 9163163 140734343100592 18446744073709551615 7312204 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124588 1405 1214 0 129478 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 522784
[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.16 3/576 21310
/proc/meminfo: memFree=23005644/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=162.29 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133340 0 0 0 16186 43 0 0 25 0 1 0 819206869 535330816 124588 33554432000 4194304 9163163 140734343100592 18446744073709551615 7115994 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124588 1405 1214 0 129478 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 522784
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.15 3/576 21312
/proc/meminfo: memFree=23006720/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=222.29 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133340 0 0 0 22176 53 0 0 25 0 1 0 819206869 535330816 124588 33554432000 4194304 9163163 140734343100592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124588 1405 1214 0 129478 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 522784
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.14 3/576 21314
/proc/meminfo: memFree=23003712/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=282.3 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133340 0 0 0 28168 62 0 0 25 0 1 0 819206869 535330816 124588 33554432000 4194304 9163163 140734343100592 18446744073709551615 7115988 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124588 1405 1214 0 129478 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 522784
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.13 3/576 21315
/proc/meminfo: memFree=23006404/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=342.3 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133345 0 0 0 34162 68 0 0 25 0 1 0 819206869 535330816 124593 33554432000 4194304 9163163 140734343100592 18446744073709551615 4690554 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124593 1405 1214 0 129478 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 522784
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.12 3/576 21317
/proc/meminfo: memFree=23006372/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=402.3 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133345 0 0 0 40155 75 0 0 25 0 1 0 819206869 535330816 124593 33554432000 4194304 9163163 140734343100592 18446744073709551615 7224136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124593 1405 1214 0 129478 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 522784
[startup+462.301 s]
/proc/loadavg: 2.22 2.08 2.13 3/576 21318
/proc/meminfo: memFree=23006052/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=462.31 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 133536 0 0 0 46147 84 0 0 25 0 1 0 819206869 535330816 124784 33554432000 4194304 9163163 140734343100592 18446744073709551615 7319024 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 124784 1405 1214 0 129478 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 522784
[startup+522.301 s]
/proc/loadavg: 2.11 2.08 2.12 3/576 21320
/proc/meminfo: memFree=23003172/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=522.31 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 134207 0 0 0 52140 91 0 0 25 0 1 0 819206869 535330816 125455 33554432000 4194304 9163163 140734343100592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 125455 1405 1214 0 129478 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 522784
[startup+582.301 s]
/proc/loadavg: 2.04 2.06 2.11 3/576 21322
/proc/meminfo: memFree=23002012/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=582.31 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 134317 0 0 0 58133 98 0 0 25 0 1 0 819206869 535330816 125565 33554432000 4194304 9163163 140734343100592 18446744073709551615 7312187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 125565 1405 1214 0 129478 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 522784
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.08 3/576 21328
/proc/meminfo: memFree=23000248/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=822.31 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 134653 0 0 0 82104 127 0 0 25 0 1 0 819206869 535330816 125901 33554432000 4194304 9163163 140734343100592 18446744073709551615 7312169 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 125901 1405 1214 0 129478 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 522784
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/576 21330
/proc/meminfo: memFree=22998728/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=882.32 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 134838 0 0 0 88098 134 0 0 25 0 1 0 819206869 535330816 126086 33554432000 4194304 9163163 140734343100592 18446744073709551615 7224159 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126086 1405 1214 0 129478 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 522784
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.07 3/576 21331
/proc/meminfo: memFree=23000064/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=942.32 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 134965 0 0 0 94092 140 0 0 25 0 1 0 819206869 535330816 126213 33554432000 4194304 9163163 140734343100592 18446744073709551615 5957208 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126213 1405 1214 0 129478 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 522784
[startup+1002.3 s]
/proc/loadavg: 2.19 2.06 2.08 3/576 21333
/proc/meminfo: memFree=22999284/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1002.32 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 135134 0 0 0 100085 147 0 0 25 0 1 0 819206869 535330816 126382 33554432000 4194304 9163163 140734343100592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126382 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 522784
[startup+1062.3 s]
/proc/loadavg: 2.16 2.08 2.09 3/576 21334
/proc/meminfo: memFree=22997628/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1062.33 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 153106 0 0 0 106078 155 0 0 25 0 1 0 819206869 535330816 126667 33554432000 4194304 9163163 140734343100592 18446744073709551615 7318917 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126667 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 522784
[startup+1122.3 s]
/proc/loadavg: 2.06 2.06 2.08 3/576 21336
/proc/meminfo: memFree=22997340/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1122.32 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 153106 0 0 0 112072 160 0 0 25 0 1 0 819206869 535330816 126667 33554432000 4194304 9163163 140734343100592 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126667 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 522784
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.08 3/576 21348
/proc/meminfo: memFree=22995168/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1182.33 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 153106 0 0 0 118065 168 0 0 25 0 1 0 819206869 535330816 126667 33554432000 4194304 9163163 140734343100592 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126667 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 522784
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/576 21349
/proc/meminfo: memFree=22994260/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1242.33 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 153106 0 0 0 124058 175 0 0 25 0 1 0 819206869 535330816 126667 33554432000 4194304 9163163 140734343100592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126667 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 522784
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/576 21351
/proc/meminfo: memFree=22996088/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1302.35 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 153106 0 0 0 130052 183 0 0 25 0 1 0 819206869 535330816 126667 33554432000 4194304 9163163 140734343100592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126667 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 522784
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/576 21352
/proc/meminfo: memFree=22996168/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1362.33 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 136040 193 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 7114483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 522784
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.05 3/576 21357
/proc/meminfo: memFree=22995888/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1422.35 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 142034 201 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 7319043 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 522784
[startup+1482.3 s]
/proc/loadavg: 2.16 2.04 2.06 3/576 21359
/proc/meminfo: memFree=22995732/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1482.34 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 148026 208 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 522784
[startup+1542.3 s]
/proc/loadavg: 2.27 2.08 2.07 3/576 21360
/proc/meminfo: memFree=22996932/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1542.33 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 154018 215 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 522784
[startup+1602.3 s]
/proc/loadavg: 2.22 2.10 2.07 3/576 21362
/proc/meminfo: memFree=22996656/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1602.34 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 160011 223 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 7195872 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 522784
[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.07 3/576 21363
/proc/meminfo: memFree=22997740/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1662.34 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 166003 231 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 7319008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 522784
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.06 3/576 21365
/proc/meminfo: memFree=22997224/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1722.34 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 171995 239 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 7225105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 522784
[startup+1782.3 s]
/proc/loadavg: 1.95 2.03 2.05 3/576 21395
/proc/meminfo: memFree=23111304/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1782.35 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 177989 246 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 522784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.96 2.03 2.05 3/576 21395
/proc/meminfo: memFree=23111556/32951124 swapFree=58940260/67111528
[pid=21305] ppid=21303 vsize=522784 CPUtime=1800.06 cores=0,2,4,6
/proc/21305/stat : 21305 (scip-2.0.1.4b.l) R 21303 21305 14548 0 -1 4202496 175884 0 0 0 179758 248 0 0 25 0 1 0 819206869 535330816 126669 33554432000 4194304 9163163 140734343100592 18446744073709551615 4342969 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21305/statm: 130696 126669 1405 1214 0 129478 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 522784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.1
CPU user time (s): 1797.59
CPU system time (s): 2.51062
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 621448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.59
system time used= 2.51062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175884
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= 4
involuntary context switches= 3660
runsolver used 11.0753 second user time and 23.2995 second system time
The end