0.00/0.00 c SCIP version 2.0.1.4 [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-3451889-1307114661.opb>
0.39/0.44 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62225 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.59/0.61 o 0
0.59/0.61 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.61 c presolving:
0.69/0.70 c (round 1) 195 del vars, 195 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.89/0.91 c (round 2) 195 del vars, 892 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61333 upgd conss, 2340 impls, 0 clqs
0.89/0.98 c (1.0s) probing: 101/1830 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.98 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.98 c presolving (3 rounds):
0.89/0.98 c 195 deleted vars, 892 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.98 c 2340 implications, 0 cliques
0.89/0.98 c presolved problem has 1830 variables (1830 bin, 0 int, 0 impl, 0 cont) and 61333 constraints
0.89/0.98 c 975 constraints of type <setppc>
0.89/0.98 c 60358 constraints of type <logicor>
0.89/0.98 c transformed objective value is always integral (scale: 1)
0.89/0.98 c Presolving Time: 0.50
0.89/0.98 c - non default parameters ----------------------------------------------------------------------
0.89/0.98 c # SCIP version 2.0.1.4
0.89/0.98 c
0.89/0.98 c # frequency for displaying node information lines
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.98 c display/freq = 10000
0.89/0.98 c
0.89/0.98 c # maximal time in seconds to run
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/time = 1800
0.89/0.98 c
0.89/0.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/memory = 13950
0.89/0.98 c
0.89/0.98 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.98 c # [type: int, range: [1,2], default: 1]
0.89/0.98 c timing/clocktype = 2
0.89/0.98 c
0.89/0.98 c # belongs reading time to solving time?
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c timing/reading = TRUE
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify inequalities
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/linear/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/indicator/addCouplingCons = TRUE
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify knapsacks
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.98 c separating/rapidlearning/freq = 0
0.89/0.98 c
0.89/0.98 c -----------------------------------------------------------------------------------------------
0.89/0.98 c start solving
0.89/0.99 c
174.90/174.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.90/174.93 c t 175s| 1 | 0 | 45806 | - | 74M| 0 |1809 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 | 0.000000e+00 | 100.00%
174.90/174.98 o -15
174.90/174.98 c R 175s| 1 | 0 | 45806 | - | 74M| 0 |1809 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 |-1.500000e+01 | 94.46%
175.02/175.05 o -16
175.02/175.05 c s 175s| 1 | 0 | 45806 | - | 74M| 0 |1809 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 |-1.600000e+01 | 94.09%
264.49/264.52 c 265s| 1 | 0 | 71720 | - | 76M| 0 |1812 |1830 | 61k|1830 | 61k| 3 | 0 | 0 |-2.698134e+02 |-1.600000e+01 | 94.07%
264.49/264.53 o -40
264.49/264.53 c b 265s| 1 | 0 | 71720 | - | 76M| 0 |1812 |1830 | 61k|1830 | 61k| 3 | 0 | 0 |-2.698134e+02 |-4.000000e+01 | 85.17%
376.32/376.36 c 376s| 1 | 0 |100665 | - | 80M| 0 |1818 |1830 | 61k|1830 | 61k| 9 | 0 | 0 |-2.686149e+02 |-4.000000e+01 | 85.11%
549.30/549.35 c 549s| 1 | 0 |134004 | - | 82M| 0 |1821 |1830 | 61k|1830 | 61k| 15 | 0 | 0 |-2.670948e+02 |-4.000000e+01 | 85.02%
738.01/738.10 c 738s| 1 | 0 |168799 | - | 88M| 0 |1811 |1830 | 61k|1830 | 61k| 24 | 0 | 0 |-2.610143e+02 |-4.000000e+01 | 84.68%
910.11/910.14 c 910s| 1 | 0 |206427 | - | 94M| 0 |1811 |1830 | 61k|1830 | 61k| 29 | 0 | 0 |-2.597040e+02 |-4.000000e+01 | 84.60%
1095.92/1095.91 c 1096s| 1 | 0 |245935 | - | 100M| 0 |1811 |1830 | 61k|1830 | 61k| 78 | 0 | 0 |-2.551883e+02 |-4.000000e+01 | 84.33%
1346.44/1346.46 c 1346s| 1 | 0 |290888 | - | 105M| 0 |1809 |1830 | 61k|1830 | 61k| 104 | 0 | 0 |-2.480660e+02 |-4.000000e+01 | 83.88%
1489.44/1489.50 c 1490s| 1 | 0 |317514 | - | 112M| 0 |1803 |1830 | 61k|1830 | 61k| 107 | 0 | 0 |-2.470614e+02 |-4.000000e+01 | 83.81%
1689.54/1689.58 c 1690s| 1 | 0 |353518 | - | 119M| 0 |1810 |1830 | 61k|1830 | 61k| 110 | 0 | 0 |-2.458455e+02 |-4.000000e+01 | 83.73%
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-3451889-1307114661/watcher-3451889-1307114661 -o /tmp/evaluation-result-3451889-1307114661/solver-3451889-1307114661 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451889-1307114661.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: 1.97 2.01 2.00 2/535 11035
/proc/meminfo: memFree=25112092/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=10932 CPUtime=0 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 1720 0 0 0 0 0 0 0 25 0 1 0 803882389 11194368 1674 33554432000 4194304 9128323 140733499215392 18446744073709551615 6164852 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11035/statm: 2733 1674 400 1205 0 1524 0
[startup+0.114549 s]
/proc/loadavg: 1.97 2.01 2.00 2/535 11035
/proc/meminfo: memFree=25112092/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=17160 CPUtime=0.1 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 3298 0 0 0 10 0 0 0 25 0 1 0 803882389 17571840 3250 33554432000 4194304 9128323 140733499215392 18446744073709551615 8014614 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11035/statm: 4290 3250 400 1205 0 3081 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17160
[startup+0.200544 s]
/proc/loadavg: 1.97 2.01 2.00 2/535 11035
/proc/meminfo: memFree=25112092/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=21264 CPUtime=0.19 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 4326 0 0 0 19 0 0 0 25 0 1 0 803882389 21774336 4276 33554432000 4194304 9128323 140733499215392 18446744073709551615 4609126 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11035/statm: 5316 4276 400 1205 0 4107 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21264
[startup+0.300525 s]
/proc/loadavg: 1.97 2.01 2.00 2/535 11035
/proc/meminfo: memFree=25112092/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=24224 CPUtime=0.29 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 5068 0 0 0 29 0 0 0 25 0 1 0 803882389 24805376 5017 33554432000 4194304 9128323 140733499215392 18446744073709551615 6165724 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11035/statm: 6056 5017 400 1205 0 4847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24224
[startup+0.700448 s]
/proc/loadavg: 1.97 2.01 2.00 2/535 11035
/proc/meminfo: memFree=25112092/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=88596 CPUtime=0.69 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 24012 0 0 0 67 2 0 0 25 0 1 0 803882389 90722304 20773 33554432000 4194304 9128323 140733499215392 18446744073709551615 5214047 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 22149 20773 516 1205 0 20940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88596
[startup+1.50032 s]
/proc/loadavg: 1.97 2.01 2.00 3/536 11036
/proc/meminfo: memFree=24964524/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=204048 CPUtime=1.49 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 54370 0 0 0 143 6 0 0 25 0 1 0 803882389 208945152 45875 33554432000 4194304 9128323 140733499215392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 51012 45875 1095 1205 0 49803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 204048
[startup+3.10099 s]
/proc/loadavg: 1.97 2.01 2.00 3/536 11036
/proc/meminfo: memFree=24916160/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=214476 CPUtime=3.09 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 60472 0 0 0 302 7 0 0 25 0 1 0 803882389 219623424 50685 33554432000 4194304 9128323 140733499215392 18446744073709551615 7077378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 53619 50685 743 1205 0 52410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 214476
[startup+6.30045 s]
/proc/loadavg: 1.97 2.01 2.00 3/536 11036
/proc/meminfo: memFree=24899564/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=224500 CPUtime=6.29 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 63018 0 0 0 621 8 0 0 25 0 1 0 803882389 229888000 53094 33554432000 4194304 9128323 140733499215392 18446744073709551615 6941024 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 56125 53094 679 1205 0 54916 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 224500
[startup+12.7003 s]
/proc/loadavg: 1.97 2.01 2.00 3/536 11036
/proc/meminfo: memFree=24898192/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=231508 CPUtime=12.7 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 64749 0 0 0 1261 9 0 0 25 0 1 0 803882389 237064192 54825 33554432000 4194304 9128323 140733499215392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 57877 54825 797 1205 0 56668 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 231508
[startup+25.501 s]
/proc/loadavg: 1.98 2.01 2.00 3/536 11036
/proc/meminfo: memFree=24891484/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=231508 CPUtime=25.49 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 64874 0 0 0 2539 10 0 0 25 0 1 0 803882389 237064192 54854 33554432000 4194304 9128323 140733499215392 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 57877 54854 727 1205 0 56668 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 231508
[startup+51.1004 s]
/proc/loadavg: 1.98 2.01 2.00 3/536 11040
/proc/meminfo: memFree=24889028/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=239844 CPUtime=51.09 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 65207 0 0 0 5097 12 0 0 25 0 1 0 803882389 245600256 55148 33554432000 4194304 9128323 140733499215392 18446744073709551615 7346395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 59961 55148 688 1205 0 58752 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 239844
[startup+102.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/536 11041
/proc/meminfo: memFree=24887884/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=239844 CPUtime=102.31 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 65219 0 0 0 10214 17 0 0 25 0 1 0 803882389 245600256 55160 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 59961 55160 688 1205 0 58752 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 239844
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/536 11070
/proc/meminfo: memFree=24891804/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=239844 CPUtime=162.29 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 65222 0 0 0 16207 22 0 0 25 0 1 0 803882389 245600256 55163 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 59961 55163 688 1205 0 58752 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 239844
[startup+222.321 s]
/proc/loadavg: 2.03 2.01 2.00 3/536 11071
/proc/meminfo: memFree=24877276/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=233596 CPUtime=222.32 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 68600 0 0 0 22204 28 0 0 25 0 1 0 803882389 239202304 55454 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 58399 55454 701 1205 0 57190 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 233596
[startup+282.301 s]
/proc/loadavg: 2.22 2.06 2.01 3/536 11073
/proc/meminfo: memFree=24875576/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=233596 CPUtime=282.3 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 68743 0 0 0 28198 32 0 0 25 0 1 0 803882389 239202304 55597 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 58399 55597 703 1205 0 57190 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 233596
[startup+342.301 s]
/proc/loadavg: 2.20 2.07 2.02 3/536 11075
/proc/meminfo: memFree=24850580/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=241500 CPUtime=342.3 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 71673 0 0 0 34192 38 0 0 25 0 1 0 803882389 247296000 58527 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315717 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 60375 58527 703 1205 0 59166 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 241500
[startup+402.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 11076
/proc/meminfo: memFree=24838012/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=241500 CPUtime=402.3 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 71675 0 0 0 40186 44 0 0 25 0 1 0 803882389 247296000 58529 33554432000 4194304 9128323 140733499215392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 60375 58529 703 1205 0 59166 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 241500
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/536 11078
/proc/meminfo: memFree=24856072/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=229184 CPUtime=462.3 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 72654 0 0 0 46178 52 0 0 25 0 1 0 803882389 234684416 54351 33554432000 4194304 9128323 140733499215392 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 57296 54351 685 1205 0 56087 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 229184
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 11079
/proc/meminfo: memFree=24855916/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=229184 CPUtime=522.31 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 72695 0 0 0 52174 57 0 0 25 0 1 0 803882389 234684416 54392 33554432000 4194304 9128323 140733499215392 18446744073709551615 7316114 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 57296 54392 685 1205 0 56087 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 229184
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11081
/proc/meminfo: memFree=24855872/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=229184 CPUtime=582.31 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 72697 0 0 0 58170 61 0 0 25 0 1 0 803882389 234684416 54394 33554432000 4194304 9128323 140733499215392 18446744073709551615 7021539 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 57296 54394 685 1205 0 56087 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 229184
[startup+642.301 s]
################
# More data... #
################
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 83707 0 0 0 106130 102 0 0 25 0 1 0 803882389 280973312 65404 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 68597 65404 1853 1205 0 67388 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 274388
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11095
/proc/meminfo: memFree=24816988/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=274388 CPUtime=1122.32 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 83707 0 0 0 112122 110 0 0 25 0 1 0 803882389 280973312 65404 33554432000 4194304 9128323 140733499215392 18446744073709551615 6637645 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 68597 65404 1853 1205 0 67388 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 274388
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11097
/proc/meminfo: memFree=24811980/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=274388 CPUtime=1182.32 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 84967 0 0 0 118115 117 0 0 25 0 1 0 803882389 280973312 65691 33554432000 4194304 9128323 140733499215392 18446744073709551615 7316519 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 68597 65691 880 1205 0 67388 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 274388
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 11099
/proc/meminfo: memFree=24812188/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=274388 CPUtime=1242.32 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 84974 0 0 0 124111 121 0 0 25 0 1 0 803882389 280973312 65691 33554432000 4194304 9128323 140733499215392 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 68597 65691 873 1205 0 67388 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 274388
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 11100
/proc/meminfo: memFree=24812504/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=274388 CPUtime=1302.33 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 84984 0 0 0 130107 126 0 0 25 0 1 0 803882389 280973312 65691 33554432000 4194304 9128323 140733499215392 18446744073709551615 7384862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 68597 65691 863 1205 0 67388 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 274388
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 11102
/proc/meminfo: memFree=24811340/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=274388 CPUtime=1362.33 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 84987 0 0 0 136101 132 0 0 25 0 1 0 803882389 280973312 65691 33554432000 4194304 9128323 140733499215392 18446744073709551615 7021486 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 68597 65691 860 1205 0 67388 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 274388
[startup+1422.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/536 11103
/proc/meminfo: memFree=24797136/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=285320 CPUtime=1422.34 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 88605 0 0 0 142096 138 0 0 25 0 1 0 803882389 292167680 68936 33554432000 4194304 9128323 140733499215392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 71330 68936 744 1205 0 70121 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 285320
[startup+1482.3 s]
/proc/loadavg: 2.14 2.06 2.02 3/536 11105
/proc/meminfo: memFree=24797584/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=285320 CPUtime=1482.33 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 88605 0 0 0 148090 143 0 0 25 0 1 0 803882389 292167680 68936 33554432000 4194304 9128323 140733499215392 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 71330 68936 744 1205 0 70121 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 285320
[startup+1542.32 s]
/proc/loadavg: 2.05 2.05 2.01 3/536 11107
/proc/meminfo: memFree=24795172/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=285320 CPUtime=1542.35 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 89284 0 0 0 154084 151 0 0 25 0 1 0 803882389 292167680 69557 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 71330 69557 686 1205 0 70121 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 285320
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 11108
/proc/meminfo: memFree=24787788/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=290340 CPUtime=1602.33 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 91219 0 0 0 160076 157 0 0 25 0 1 0 803882389 297308160 71152 33554432000 4194304 9128323 140733499215392 18446744073709551615 7316524 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 72585 71152 686 1205 0 71376 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 290340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11110
/proc/meminfo: memFree=24787732/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=290340 CPUtime=1662.34 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 91222 0 0 0 166073 161 0 0 25 0 1 0 803882389 297308160 71155 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315710 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 72585 71155 686 1205 0 71376 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 290340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11111
/proc/meminfo: memFree=24787320/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=290340 CPUtime=1722.34 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 91222 0 0 0 172068 166 0 0 25 0 1 0 803882389 297308160 71155 33554432000 4194304 9128323 140733499215392 18446744073709551615 6695045 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 72585 71155 686 1205 0 71376 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 290340
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11113
/proc/meminfo: memFree=24793968/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=297824 CPUtime=1782.34 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 96475 0 0 0 178062 172 0 0 25 0 1 0 803882389 304971776 71746 33554432000 4194304 9128323 140733499215392 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 74456 71746 2516 1205 0 73247 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 297824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 11114
/proc/meminfo: memFree=24787872/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=297824 CPUtime=1800.04 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 96478 0 0 0 179831 173 0 0 25 0 1 0 803882389 304971776 71747 33554432000 4194304 9128323 140733499215392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 74456 71747 2514 1205 0 73247 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 297824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11035
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/537 11115
/proc/meminfo: memFree=24787120/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=297824 CPUtime=1800.75 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 96478 0 0 0 179901 174 0 0 25 0 1 0 803882389 304971776 71747 33554432000 4194304 9128323 140733499215392 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 74456 71747 2514 1205 0 73247 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 297824
[startup+1801.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/537 11115
/proc/meminfo: memFree=24787120/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=297824 CPUtime=1801.54 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 96478 0 0 0 179980 174 0 0 25 0 1 0 803882389 304971776 71747 33554432000 4194304 9128323 140733499215392 18446744073709551615 7241307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 74456 71747 2514 1205 0 73247 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 297824
[startup+1801.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/537 11115
/proc/meminfo: memFree=24787244/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=297824 CPUtime=1801.96 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 96478 0 0 0 180022 174 0 0 25 0 1 0 803882389 304971776 71747 33554432000 4194304 9128323 140733499215392 18446744073709551615 7316182 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 74456 71747 2514 1205 0 73247 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 297824
[startup+1802 s]
/proc/loadavg: 2.00 2.01 2.00 3/537 11115
/proc/meminfo: memFree=24787244/32951124 swapFree=46970528/67111528
[pid=11035] ppid=11033 vsize=297824 CPUtime=1802.04 cores=0,2,4,6
/proc/11035/stat : 11035 (scip-2.0.1.4.li) R 11033 11035 9437 0 -1 4202496 96478 0 0 0 180030 174 0 0 25 0 1 0 803882389 304971776 71747 33554432000 4194304 9128323 140733499215392 18446744073709551615 7312738 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11035/statm: 74456 71747 2514 1205 0 73247 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 297824
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.08
CPU user time (s): 1800.33
CPU system time (s): 1.75373
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 297824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.33
system time used= 1.75373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96478
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= 6257
runsolver used 10.0475 second user time and 21.3518 second system time
The end