0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3484719-1307790375.opb>
0.10/0.15 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30187 constraints
0.10/0.15 c problem read
0.10/0.15 c presolving settings loaded
0.20/0.23 o 0
0.20/0.23 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.20/0.23 c presolving:
0.20/0.28 c (round 1) 573 del vars, 573 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.29/0.37 c (round 2) 573 del vars, 4761 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25426 upgd conss, 2340 impls, 0 clqs
0.39/0.40 c (0.4s) probing: 101/1452 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.40 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.40 c presolving (3 rounds):
0.39/0.40 c 573 deleted vars, 4761 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.40 c 2340 implications, 0 cliques
0.39/0.40 c presolved problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 25426 constraints
0.39/0.40 c 597 constraints of type <setppc>
0.39/0.40 c 24829 constraints of type <logicor>
0.39/0.40 c transformed objective value is always integral (scale: 1)
0.39/0.40 c Presolving Time: 0.22
0.39/0.40 c - non default parameters ----------------------------------------------------------------------
0.39/0.40 c # SCIP version 2.0.1.4
0.39/0.40 c
0.39/0.40 c # frequency for displaying node information lines
0.39/0.40 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.40 c display/freq = 10000
0.39/0.40 c
0.39/0.40 c # maximal time in seconds to run
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/time = 1797
0.39/0.40 c
0.39/0.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40 c limits/memory = 13950
0.39/0.40 c
0.39/0.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.40 c # [type: int, range: [1,2], default: 1]
0.39/0.40 c timing/clocktype = 2
0.39/0.40 c
0.39/0.40 c # belongs reading time to solving time?
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c timing/reading = TRUE
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify inequalities
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/linear/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/indicator/addCouplingCons = TRUE
0.39/0.40 c
0.39/0.40 c # should presolving try to simplify knapsacks
0.39/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.40 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.40 c
0.39/0.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.40 c separating/rapidlearning/freq = 0
0.39/0.40 c
0.39/0.40 c -----------------------------------------------------------------------------------------------
0.39/0.40 c start solving
0.39/0.40 c
3.69/3.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.69/3.74 c t 3.7s| 1 | 0 | 10891 | - | 35M| 0 |1437 |1452 | 25k|1452 | 25k| 0 | 0 | 0 |-2.561000e+02 | 0.000000e+00 | 100.00%
3.69/3.79 o -4
3.69/3.79 c R 3.8s| 1 | 0 | 10891 | - | 35M| 0 |1437 |1452 | 25k|1452 | 25k| 0 | 0 | 0 |-2.561000e+02 |-4.000000e+00 | 98.44%
3.79/3.84 o -8
3.79/3.84 c s 3.8s| 1 | 0 | 10891 | - | 35M| 0 |1437 |1452 | 25k|1452 | 25k| 0 | 0 | 0 |-2.561000e+02 |-8.000000e+00 | 96.88%
5.99/6.08 c 6.1s| 1 | 0 | 16353 | - | 35M| 0 |1436 |1452 | 25k|1452 | 25k| 13 | 0 | 0 |-2.492226e+02 |-8.000000e+00 | 96.79%
5.99/6.09 o -17
5.99/6.09 c b 6.1s| 1 | 0 | 16353 | - | 35M| 0 |1436 |1452 | 25k|1452 | 25k| 13 | 0 | 0 |-2.492226e+02 |-1.700000e+01 | 93.18%
9.49/9.59 c 9.6s| 1 | 0 | 22353 | - | 37M| 0 |1436 |1452 | 25k|1452 | 25k| 25 | 0 | 0 |-2.444698e+02 |-1.700000e+01 | 93.05%
9.59/9.63 o -19
9.59/9.63 c b 9.6s| 1 | 0 | 22353 | - | 37M| 0 |1436 |1452 | 25k|1452 | 25k| 25 | 0 | 0 |-2.444698e+02 |-1.900000e+01 | 92.23%
15.89/15.98 c 16.0s| 1 | 0 | 33399 | - | 37M| 0 |1437 |1452 | 25k|1452 | 25k| 41 | 0 | 0 |-2.410505e+02 |-1.900000e+01 | 92.12%
38.39/38.48 c 38.5s| 1 | 0 | 48019 | - | 37M| 0 |1433 |1452 | 25k|1452 | 25k| 135 | 0 | 0 |-2.374824e+02 |-1.900000e+01 | 92.00%
52.39/52.45 c 52.5s| 1 | 0 | 49236 | - | 38M| 0 |1438 |1452 | 25k|1452 | 25k| 140 | 0 | 0 |-2.374477e+02 |-1.900000e+01 | 92.00%
69.79/69.83 c 69.8s| 1 | 0 | 51890 | - | 40M| 0 |1440 |1452 | 25k|1452 | 25k| 143 | 0 | 0 |-2.374043e+02 |-1.900000e+01 | 92.00%
89.89/89.91 c 89.9s| 1 | 0 | 58103 | - | 41M| 0 |1440 |1452 | 25k|1452 | 25k| 145 | 0 | 0 |-2.370302e+02 |-1.900000e+01 | 91.98%
111.60/111.60 c 112s| 1 | 0 | 69386 | - | 43M| 0 |1438 |1452 | 25k|1452 | 25k| 150 | 0 | 0 |-2.349806e+02 |-1.900000e+01 | 91.91%
151.80/151.83 c 152s| 1 | 0 | 90522 | - | 43M| 0 |1441 |1452 | 25k|1452 | 25k| 186 | 0 | 0 |-2.331800e+02 |-1.900000e+01 | 91.85%
176.79/176.88 c 177s| 1 | 0 |107435 | - | 48M| 0 |1446 |1452 | 25k|1452 | 25k| 194 | 0 | 0 |-2.314132e+02 |-1.900000e+01 | 91.79%
212.40/212.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.40/212.45 c 212s| 1 | 0 |123850 | - | 48M| 0 |1445 |1452 | 25k|1452 | 25k| 221 | 0 | 0 |-2.293509e+02 |-1.900000e+01 | 91.72%
232.60/232.61 c 233s| 1 | 0 |130175 | - | 48M| 0 |1443 |1452 | 25k|1452 | 25k| 223 | 0 | 0 |-2.293067e+02 |-1.900000e+01 | 91.71%
266.69/266.77 c 267s| 1 | 0 |145988 | - | 48M| 0 |1441 |1452 | 25k|1452 | 25k| 225 | 0 | 0 |-2.289622e+02 |-1.900000e+01 | 91.70%
308.00/308.07 c 308s| 1 | 0 |166265 | - | 48M| 0 |1445 |1452 | 25k|1452 | 25k| 269 | 0 | 0 |-2.256464e+02 |-1.900000e+01 | 91.58%
346.51/346.51 c 347s| 1 | 0 |185137 | - | 48M| 0 |1445 |1452 | 25k|1452 | 25k| 272 | 0 | 0 |-2.252236e+02 |-1.900000e+01 | 91.56%
371.81/371.85 c 372s| 1 | 0 |195903 | - | 48M| 0 |1441 |1452 | 25k|1452 | 25k| 291 | 0 | 0 |-2.229011e+02 |-1.900000e+01 | 91.48%
387.80/387.82 c 388s| 1 | 0 |196613 | - | 48M| 0 |1440 |1452 | 25k|1452 | 25k| 292 | 0 | 0 |-2.229011e+02 |-1.900000e+01 | 91.48%
405.71/405.72 c 406s| 1 | 0 |197969 | - | 48M| 0 |1441 |1452 | 25k|1452 | 25k| 293 | 0 | 0 |-2.228896e+02 |-1.900000e+01 | 91.48%
422.81/422.85 c 423s| 1 | 0 |199155 | - | 48M| 0 |1441 |1452 | 25k|1452 | 25k| 294 | 0 | 0 |-2.228896e+02 |-1.900000e+01 | 91.48%
456.91/456.95 c 457s| 1 | 2 |199155 | - | 48M| 0 |1441 |1452 | 25k|1452 | 25k| 294 | 0 | 18 |-2.228896e+02 |-1.900000e+01 | 91.48%
906.82/906.82 o -33
906.82/906.82 c p 907s| 5 | 6 |538045 |84722.5 | 51M| 3 | - |1452 | 25k|1452 | 25k| 294 | 4 | 190 |-2.228896e+02 |-3.300000e+01 | 85.19%
988.32/988.39 o -44
988.32/988.39 c f 988s| 6 | 7 |618239 |83816.8 | 52M| 3 | - |1452 | 25k|1452 | 25k| 294 | 5 | 210 |-2.228896e+02 |-4.400000e+01 | 80.26%
1081.02/1081.03 o -50
1081.02/1081.03 c f1081s| 7 | 8 |704468 |84218.8 | 52M| 3 | - |1452 | 25k|1452 | 25k| 294 | 13 | 230 |-2.228896e+02 |-5.000000e+01 | 77.57%
1147.93/1147.97 o -55
1147.93/1147.97 c f1148s| 8 | 9 |768285 |81304.3 | 52M| 3 | - |1452 | 25k|1452 | 25k| 294 | 17 | 249 |-2.228896e+02 |-5.500000e+01 | 75.32%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3484719-1307790375/watcher-3484719-1307790375 -o /tmp/evaluation-result-3484719-1307790375/solver-3484719-1307790375 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484719-1307790375.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.03 2.03 2.00 2/178 475
/proc/meminfo: memFree=31409316/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=6588 CPUtime=0 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 773 0 0 0 0 0 0 0 25 0 1 0 890635414 6746112 727 33554432000 4194304 8979876 140733871274112 18446744073709551615 7790312 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/475/statm: 1647 728 316 1169 0 474 0
[startup+0.104033 s]
/proc/loadavg: 2.03 2.03 2.00 2/178 475
/proc/meminfo: memFree=31409316/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=18860 CPUtime=0.1 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 3730 0 0 0 10 0 0 0 25 0 1 0 890635414 19312640 3681 33554432000 4194304 8979876 140733871274112 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/475/statm: 4715 3681 366 1169 0 3542 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18860
[startup+0.201017 s]
/proc/loadavg: 2.03 2.03 2.00 2/178 475
/proc/meminfo: memFree=31409316/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=48528 CPUtime=0.2 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 10840 0 0 0 19 1 0 0 25 0 1 0 890635414 49692672 10791 33554432000 4194304 8979876 140733871274112 18446744073709551615 4318833 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 12132 10792 449 1169 0 10959 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 48528
[startup+0.300999 s]
/proc/loadavg: 2.03 2.03 2.00 2/178 475
/proc/meminfo: memFree=31409316/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=60224 CPUtime=0.29 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 15182 0 0 0 28 1 0 0 25 0 1 0 890635414 61669376 13730 33554432000 4194304 8979876 140733871274112 18446744073709551615 7813258 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 15056 13730 506 1169 0 13883 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60224
[startup+0.700925 s]
/proc/loadavg: 2.03 2.03 2.00 2/178 475
/proc/meminfo: memFree=31409316/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=107172 CPUtime=0.69 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 27228 0 0 0 66 3 0 0 18 0 1 0 890635414 109744128 24065 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 26793 24065 810 1169 0 25620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107172
[startup+1.50081 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 476
/proc/meminfo: memFree=31308652/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=110944 CPUtime=1.5 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 31008 0 0 0 146 4 0 0 19 0 1 0 890635414 113606656 25922 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 27736 25922 661 1169 0 26563 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 110944
[startup+3.10051 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 476
/proc/meminfo: memFree=31305920/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=112948 CPUtime=3.09 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 31654 0 0 0 305 4 0 0 22 0 1 0 890635414 115658752 26519 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 28237 26519 665 1169 0 27064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112948
[startup+6.30089 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 477
/proc/meminfo: memFree=31305756/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=113012 CPUtime=6.29 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 33628 0 0 0 623 6 0 0 25 0 1 0 890635414 115724288 26679 33554432000 4194304 8979876 140733871274112 18446744073709551615 7841440 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 28253 26679 748 1169 0 27080 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113012
[startup+12.7007 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 477
/proc/meminfo: memFree=31300208/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=115780 CPUtime=12.69 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 34519 0 0 0 1261 8 0 0 25 0 1 0 890635414 118558720 27513 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 28945 27513 692 1169 0 27772 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115780
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 477
/proc/meminfo: memFree=31296976/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=116340 CPUtime=25.49 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 35065 0 0 0 2538 11 0 0 25 0 1 0 890635414 119132160 28059 33554432000 4194304 8979876 140733871274112 18446744073709551615 6601194 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 29085 28059 692 1169 0 27912 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116340
[startup+51.1006 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 478
/proc/meminfo: memFree=31294728/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=117348 CPUtime=51.1 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 35317 0 0 0 5093 17 0 0 25 0 1 0 890635414 120164352 28311 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 29337 28311 692 1169 0 28164 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 117348
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 479
/proc/meminfo: memFree=31281408/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=130868 CPUtime=102.3 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 38124 0 0 0 10203 27 0 0 25 0 1 0 890635414 134008832 31112 33554432000 4194304 8979876 140733871274112 18446744073709551615 6827766 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 32717 31112 686 1169 0 31544 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 130868
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 481
/proc/meminfo: memFree=31269772/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=137604 CPUtime=162.29 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 40459 0 0 0 16190 39 0 0 25 0 1 0 890635414 140906496 33346 33554432000 4194304 8979876 140733871274112 18446744073709551615 7146502 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34401 33346 921 1169 0 33228 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 137604
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 520
/proc/meminfo: memFree=31301284/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=136468 CPUtime=222.31 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 43988 0 0 0 22182 49 0 0 25 0 1 0 890635414 139743232 32621 33554432000 4194304 8979876 140733871274112 18446744073709551615 6609728 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34117 32621 688 1169 0 32944 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 136468
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 522
/proc/meminfo: memFree=31299256/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=138800 CPUtime=282.3 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 45482 0 0 0 28168 62 0 0 25 0 1 0 890635414 142131200 33348 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34700 33348 688 1169 0 33527 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 138800
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 524
/proc/meminfo: memFree=31301264/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=138820 CPUtime=342.3 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 46960 0 0 0 34158 72 0 0 25 0 1 0 890635414 142151680 32568 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34705 32568 688 1169 0 33532 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 138820
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 525
/proc/meminfo: memFree=31303448/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=136388 CPUtime=402.3 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 47909 0 0 0 40146 84 0 0 25 0 1 0 890635414 139661312 32002 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34097 32002 688 1169 0 32924 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 136388
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 527
/proc/meminfo: memFree=31298696/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=138492 CPUtime=462.31 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 60021 0 0 0 46136 95 0 0 25 0 1 0 890635414 141815808 33221 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34623 33221 715 1169 0 33450 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 138492
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 528
/proc/meminfo: memFree=31300032/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=136372 CPUtime=522.31 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 60808 0 0 0 52122 109 0 0 25 0 1 0 890635414 139644928 32528 33554432000 4194304 8979876 140733871274112 18446744073709551615 7147228 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34093 32528 715 1169 0 32920 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 136372
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 530
/proc/meminfo: memFree=31298896/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=136364 CPUtime=582.31 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 62094 0 0 0 58108 123 0 0 25 0 1 0 890635414 139636736 32503 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34091 32503 715 1169 0 32918 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 136364
[startup+642.301 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 538
/proc/meminfo: memFree=31289808/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=137156 CPUtime=882.33 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 64347 0 0 0 88042 191 0 0 25 0 1 0 890635414 140447744 32703 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34289 32703 715 1169 0 33116 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 137156
[startup+942.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 540
/proc/meminfo: memFree=31287428/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=138568 CPUtime=942.32 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 64822 0 0 0 94027 205 0 0 25 0 1 0 890635414 141893632 33172 33554432000 4194304 8979876 140733871274112 18446744073709551615 6820806 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34642 33172 712 1169 0 33469 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 138568
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 541
/proc/meminfo: memFree=31285904/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=138972 CPUtime=1002.33 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 65032 0 0 0 100013 220 0 0 25 0 1 0 890635414 142307328 33376 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34743 33376 706 1169 0 33570 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 138972
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 543
/proc/meminfo: memFree=31284876/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=140288 CPUtime=1062.32 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 65151 0 0 0 106000 232 0 0 25 0 1 0 890635414 143654912 33495 33554432000 4194304 8979876 140733871274112 18446744073709551615 7146128 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35072 33495 706 1169 0 33899 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 140288
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 544
/proc/meminfo: memFree=31285952/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=139584 CPUtime=1122.33 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 66556 0 0 0 111984 249 0 0 25 0 1 0 890635414 142934016 33135 33554432000 4194304 8979876 140733871274112 18446744073709551615 7144434 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34896 33135 706 1169 0 33723 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 139584
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 546
/proc/meminfo: memFree=31284560/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=140392 CPUtime=1182.33 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 67683 0 0 0 117970 263 0 0 25 0 1 0 890635414 143761408 33354 33554432000 4194304 8979876 140733871274112 18446744073709551615 6829008 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35098 33354 706 1169 0 33925 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 140392
[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/179 548
/proc/meminfo: memFree=31278088/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=144760 CPUtime=1242.33 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 69051 0 0 0 123958 275 0 0 25 0 1 0 890635414 148234240 34722 33554432000 4194304 8979876 140733871274112 18446744073709551615 7146622 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 36190 34722 856 1169 0 35017 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 144760
[startup+1302.3 s]
/proc/loadavg: 2.17 2.09 2.02 3/179 549
/proc/meminfo: memFree=31277192/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=144760 CPUtime=1302.34 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 69051 0 0 0 129945 289 0 0 25 0 1 0 890635414 148234240 34722 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 36190 34722 856 1169 0 35017 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 144760
[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/179 551
/proc/meminfo: memFree=31280756/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=140368 CPUtime=1362.34 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 69689 0 0 0 135933 301 0 0 25 0 1 0 890635414 143736832 33542 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35092 33542 753 1169 0 33919 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 140368
[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/179 552
/proc/meminfo: memFree=31281484/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=139528 CPUtime=1422.34 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 70695 0 0 0 141924 310 0 0 25 0 1 0 890635414 142876672 33244 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34882 33244 751 1169 0 33709 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 139528
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/179 554
/proc/meminfo: memFree=31279716/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=139528 CPUtime=1482.34 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 75061 0 0 0 147909 325 0 0 25 0 1 0 890635414 142876672 33256 33554432000 4194304 8979876 140733871274112 18446744073709551615 7146360 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 34882 33256 751 1169 0 33709 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 139528
[startup+1542.31 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 556
/proc/meminfo: memFree=31276820/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=141132 CPUtime=1542.35 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 76309 0 0 0 153895 340 0 0 25 0 1 0 890635414 144519168 33482 33554432000 4194304 8979876 140733871274112 18446744073709551615 7146592 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35283 33482 751 1169 0 34110 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 141132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 557
/proc/meminfo: memFree=31275564/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=141168 CPUtime=1602.35 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 80337 0 0 0 159883 352 0 0 25 0 1 0 890635414 144556032 33484 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35292 33484 751 1169 0 34119 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 141168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 559
/proc/meminfo: memFree=31274428/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=141168 CPUtime=1662.34 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 80369 0 0 0 165870 364 0 0 25 0 1 0 890635414 144556032 33516 33554432000 4194304 8979876 140733871274112 18446744073709551615 7143914 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35292 33516 751 1169 0 34119 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 141168
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 560
/proc/meminfo: memFree=31273284/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=143164 CPUtime=1722.35 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 80699 0 0 0 171862 373 0 0 25 0 1 0 890635414 146599936 33846 33554432000 4194304 8979876 140733871274112 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35791 33846 751 1169 0 34618 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 143164
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 562
/proc/meminfo: memFree=31273744/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=141136 CPUtime=1782.35 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 96658 0 0 0 177845 390 0 0 25 0 1 0 890635414 144523264 33404 33554432000 4194304 8979876 140733871274112 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35284 33404 751 1169 0 34111 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 141136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 562
/proc/meminfo: memFree=31273360/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=141172 CPUtime=1800.06 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 98631 0 0 0 179612 394 0 0 25 0 1 0 890635414 144560128 33477 33554432000 4194304 8979876 140733871274112 18446744073709551615 7146292 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35293 33477 751 1169 0 34120 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 141172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 562
/proc/meminfo: memFree=31273360/32951124 swapFree=67072804/67111528
[pid=475] ppid=472 vsize=141172 CPUtime=1800.06 cores=0,2,4,6
/proc/475/stat : 475 (scip-2.0.1.4_2.) R 472 475 31857 0 -1 4202496 98631 0 0 0 179612 394 0 0 25 0 1 0 890635414 144560128 33477 33554432000 4194304 8979876 140733871274112 18446744073709551615 7146292 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/475/statm: 35293 33477 751 1169 0 34120 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 141172
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1796.12
CPU system time (s): 3.9464
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 146436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.12
system time used= 3.9464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98631
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= 6
involuntary context switches= 4221
runsolver used 3.14352 second user time and 6.28204 second system time
The end