0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3452675-1307076243.opb>
0.00/0.01 c original problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 470 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 470
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.700000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 470 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 65 del conss, 164 add conss, 0 chg bounds, 218 chg sides, 574 chg coeffs, 470 upgd conss, 224 impls, 1 clqs
0.00/0.03 c (round 4) 0 del vars, 88 del conss, 175 add conss, 0 chg bounds, 275 chg sides, 671 chg coeffs, 470 upgd conss, 224 impls, 1 clqs
0.00/0.03 c (round 5) 0 del vars, 93 del conss, 178 add conss, 0 chg bounds, 288 chg sides, 699 chg coeffs, 470 upgd conss, 224 impls, 1 clqs
0.00/0.03 c (round 6) 0 del vars, 94 del conss, 179 add conss, 0 chg bounds, 291 chg sides, 704 chg coeffs, 470 upgd conss, 224 impls, 1 clqs
0.00/0.03 c (0.0s) probing: 101/470 (21.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 94 deleted constraints, 179 added constraints, 0 tightened bounds, 0 added holes, 291 changed sides, 704 changed coefficients
0.00/0.03 c 224 implications, 1 cliques
0.00/0.03 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 555 constraints
0.00/0.03 c 443 constraints of type <knapsack>
0.00/0.03 c 110 constraints of type <setppc>
0.00/0.03 c 2 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.4
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.93 c t 0.9s| 1 | 0 | 10574 | - |2592k| 0 | 320 | 470 | 555 | 470 | 555 | 0 | 0 | 0 | 1.475708e+02 | 4.700000e+02 | 218.49%
0.89/0.93 o 335
0.89/0.93 c r 0.9s| 1 | 0 | 10574 | - |2606k| 0 | 320 | 470 | 555 | 470 | 555 | 0 | 0 | 0 | 1.475708e+02 | 3.350000e+02 | 127.01%
0.89/0.93 o 334
0.89/0.93 c R 0.9s| 1 | 0 | 10574 | - |2619k| 0 | 320 | 470 | 555 | 470 | 555 | 0 | 0 | 0 | 1.475708e+02 | 3.340000e+02 | 126.33%
0.89/0.93 o 333
0.89/0.93 c s 0.9s| 1 | 0 | 10574 | - |2632k| 0 | 320 | 470 | 555 | 470 | 555 | 0 | 0 | 0 | 1.475708e+02 | 3.330000e+02 | 125.65%
1.10/1.14 o 222
1.10/1.14 c y 1.1s| 1 | 0 | 10574 | - |2999k| 0 | 320 | 470 | 555 | 470 | 555 | 0 | 0 | 0 | 1.475708e+02 | 2.220000e+02 | 50.44%
1.69/1.71 c 1.7s| 1 | 0 | 14814 | - |2924k| 0 | 379 | 470 | 555 | 470 | 767 | 212 | 0 | 0 | 1.546872e+02 | 2.220000e+02 | 43.52%
2.49/2.53 c 2.5s| 1 | 0 | 19303 | - |3175k| 0 | 402 | 470 | 555 | 470 | 942 | 387 | 0 | 0 | 1.581149e+02 | 2.220000e+02 | 40.40%
3.08/3.10 c 3.1s| 1 | 0 | 21563 | - |3374k| 0 | 420 | 470 | 555 | 470 |1083 | 528 | 0 | 0 | 1.605355e+02 | 2.220000e+02 | 38.29%
3.58/3.65 c 3.6s| 1 | 0 | 23154 | - |3499k| 0 | 432 | 470 | 555 | 470 |1176 | 621 | 0 | 0 | 1.613049e+02 | 2.220000e+02 | 37.63%
4.09/4.15 c 4.1s| 1 | 0 | 24034 | - |3564k| 0 | 420 | 470 | 555 | 470 |1247 | 692 | 0 | 0 | 1.617009e+02 | 2.220000e+02 | 37.29%
4.58/4.65 c 4.6s| 1 | 0 | 24834 | - |3613k| 0 | 433 | 470 | 555 | 470 |1289 | 734 | 0 | 0 | 1.619422e+02 | 2.220000e+02 | 37.09%
4.88/4.99 c 5.0s| 1 | 0 | 25013 | - |3626k| 0 | 436 | 470 | 555 | 470 |1306 | 751 | 0 | 0 | 1.619681e+02 | 2.220000e+02 | 37.06%
5.39/5.42 c 5.4s| 1 | 0 | 25432 | - |3649k| 0 | 436 | 470 | 555 | 470 |1323 | 768 | 0 | 0 | 1.620834e+02 | 2.220000e+02 | 36.97%
5.69/5.76 c 5.8s| 1 | 0 | 25539 | - |3660k| 0 | 438 | 470 | 555 | 470 |1333 | 778 | 0 | 0 | 1.620974e+02 | 2.220000e+02 | 36.95%
8.19/8.26 c 8.3s| 1 | 2 | 25539 | - |3681k| 0 | 438 | 470 | 555 | 470 |1333 | 778 | 0 | 16 | 1.620974e+02 | 2.220000e+02 | 36.95%
27.29/27.38 o 221
27.29/27.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.29/27.38 c c27.4s| 15 | 16 | 42645 |1221.9 |4429k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.210000e+02 | 36.28%
27.29/27.39 o 221
27.29/27.39 c c27.4s| 15 | 16 | 42762 |1230.2 |4435k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.210000e+02 | 36.28%
27.29/27.39 o 219
27.29/27.39 c c27.4s| 15 | 16 | 42817 |1234.1 |4442k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.190000e+02 | 35.05%
27.29/27.39 o 217
27.29/27.39 c c27.4s| 15 | 16 | 42824 |1234.6 |4443k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.170000e+02 | 33.81%
27.29/27.39 o 216
27.29/27.39 c c27.4s| 15 | 16 | 42825 |1234.7 |4444k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.160000e+02 | 33.20%
27.40/27.41 o 215
27.40/27.41 c c27.4s| 15 | 16 | 42856 |1236.9 |4449k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.150000e+02 | 32.58%
27.40/27.41 o 215
27.40/27.41 c c27.4s| 15 | 16 | 42870 |1237.9 |4450k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.150000e+02 | 32.58%
27.40/27.41 o 213
27.40/27.41 c c27.4s| 15 | 16 | 42900 |1240.1 |4452k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.130000e+02 | 31.35%
27.40/27.41 o 213
27.40/27.41 c c27.4s| 15 | 16 | 42921 |1241.6 |4458k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.130000e+02 | 31.35%
27.40/27.41 o 212
27.40/27.41 c c27.4s| 15 | 16 | 42956 |1244.1 |4466k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.120000e+02 | 30.73%
27.40/27.42 o 211
27.40/27.42 c c27.4s| 15 | 16 | 43009 |1247.9 |4484k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.110000e+02 | 30.11%
27.40/27.42 o 210
27.40/27.42 c c27.4s| 15 | 16 | 43010 |1247.9 |4485k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.100000e+02 | 29.50%
27.40/27.42 o 209
27.40/27.42 c c27.4s| 15 | 16 | 43011 |1248.0 |4487k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.090000e+02 | 28.88%
27.40/27.42 o 209
27.40/27.42 c c27.4s| 15 | 16 | 43015 |1248.3 |4488k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.090000e+02 | 28.88%
28.78/28.89 o 208
28.78/28.89 c p28.9s| 27 | 28 | 54327 |1107.2 |4571k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.080000e+02 | 28.11%
28.78/28.89 o 206
28.78/28.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.78/28.89 c p28.9s| 27 | 28 | 54336 |1107.6 |4573k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.060000e+02 | 26.88%
28.78/28.89 o 205
28.78/28.89 c p28.9s| 27 | 28 | 54337 |1107.6 |4574k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.050000e+02 | 26.26%
28.78/28.89 o 204
28.78/28.89 c p28.9s| 27 | 28 | 54350 |1108.1 |4575k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.040000e+02 | 25.64%
28.78/28.89 o 204
28.78/28.89 c p28.9s| 27 | 28 | 54352 |1108.2 |4577k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.040000e+02 | 25.64%
28.78/28.89 o 203
28.78/28.89 c p28.9s| 27 | 28 | 54361 |1108.5 |4578k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.030000e+02 | 25.03%
28.78/28.89 o 201
28.78/28.89 c p28.9s| 27 | 28 | 54369 |1108.8 |4580k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.010000e+02 | 23.80%
28.78/28.89 o 200
28.78/28.89 c p28.9s| 27 | 28 | 54371 |1108.9 |4582k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.000000e+02 | 23.18%
28.78/28.89 o 199
28.78/28.89 c p28.9s| 27 | 28 | 54375 |1109.1 |4583k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 1.990000e+02 | 22.56%
28.78/28.89 o 198
28.78/28.89 c p28.9s| 27 | 28 | 54376 |1109.1 |4585k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 1.980000e+02 | 21.95%
37.18/37.26 o 197
37.18/37.26 c l37.3s| 87 | 88 |117066 |1064.3 |4692k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.970000e+02 | 21.33%
37.18/37.26 o 197
37.18/37.26 c l37.3s| 87 | 88 |117070 |1064.3 |4693k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.970000e+02 | 21.33%
37.18/37.26 o 196
37.18/37.26 c l37.3s| 87 | 88 |117076 |1064.4 |4694k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.960000e+02 | 20.72%
37.18/37.26 o 196
37.18/37.26 c l37.3s| 87 | 88 |117086 |1064.5 |4696k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.960000e+02 | 20.72%
37.18/37.26 o 195
37.18/37.26 c l37.3s| 87 | 88 |117096 |1064.6 |4698k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.950000e+02 | 20.10%
37.18/37.26 o 194
37.18/37.26 c l37.3s| 87 | 88 |117102 |1064.7 |4699k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.940000e+02 | 19.48%
90.21/90.25 o 193
90.21/90.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.21/90.25 c p90.3s| 284 | 285 |523109 |1758.2 |4872k| 25 | - | 470 | 555 | 470 | 978 | 778 | 0 | 345 | 1.626777e+02 | 1.930000e+02 | 18.64%
372.09/372.10 o 191
372.09/372.10 c C 372s| 6619 | 4968 | 2782k| 416.6 |8196k| 133 | - | 470 | 555 | 470 | 978 | 778 | 0 |1028 | 1.632066e+02 | 1.910000e+02 | 17.03%
433.19/433.28 c 433s| 10000 | 6937 | 3289k| 326.5 |9935k| 133 | 82 | 470 | 557 | 470 | 978 | 778 | 2 |1140 | 1.632906e+02 | 1.910000e+02 | 16.97%
491.90/491.92 o 190
491.90/491.92 c p 492s| 13144 | 7677 | 3783k| 285.9 | 10M| 133 | - | 470 | 557 | 470 | 978 | 778 | 2 |1178 | 1.633408e+02 | 1.900000e+02 | 16.32%
665.00/665.05 c 665s| 20000 | 10805 | 5171k| 257.3 | 13M| 133 | 110 | 470 | 556 | 470 | 978 | 778 | 2 |1513 | 1.634652e+02 | 1.900000e+02 | 16.23%
671.40/671.44 o 188
671.40/671.44 c C 671s| 20268 | 6664 | 5223k| 256.5 |9573k| 133 | 103 | 470 | 556 | 470 | 978 | 778 | 2 |1513 | 1.634674e+02 | 1.880000e+02 | 15.01%
671.40/671.45 o 187
671.40/671.45 c b 671s| 20269 | 5351 | 5223k| 256.5 |8496k| 133 | - | 470 | 556 | 470 | 978 | 778 | 2 |1513 | 1.634674e+02 | 1.870000e+02 | 14.40%
975.04/975.17 c 975s| 30000 | 8356 | 7693k| 255.6 | 10M| 133 | 353 | 470 | 559 | 470 | 978 | 778 | 5 |2131 | 1.635750e+02 | 1.870000e+02 | 14.32%
1250.75/1250.84 c 1251s| 40000 | 11520 | 9944k| 248.0 | 13M| 133 | - | 470 | 559 | 470 | 978 | 778 | 5 |2645 | 1.636500e+02 | 1.870000e+02 | 14.27%
1531.85/1531.91 c 1532s| 50000 | 14684 | 12263k| 244.8 | 16M| 133 | 346 | 470 | 567 | 470 | 978 | 778 | 14 |3071 | 1.637083e+02 | 1.870000e+02 | 14.23%
1785.36/1785.44 c 1785s| 60000 | 17884 | 14398k| 239.6 | 18M| 133 | 160 | 470 | 567 | 470 | 978 | 778 | 14 |3441 | 1.637517e+02 | 1.870000e+02 | 14.20%
1799.96/1800.01 c
1799.96/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.96/1800.01 c Solving Time (sec) : 1800.00
1799.96/1800.01 c Solving Nodes : 60605
1799.96/1800.01 c Primal Bound : +1.87000000000000e+02 (706 solutions)
1799.96/1800.01 c Dual Bound : +1.63754273792756e+02
1799.96/1800.01 c Gap : 14.20 %
1799.96/1800.01 s SATISFIABLE
1799.96/1800.01 v -x470 -x469 -x468 -x467 x466 -x465 x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 x453 x452 x451 x450 -x449 -x448
1799.96/1800.01 v -x447 x446 -x445 -x444 -x443 -x442 x441 x440 -x439 -x438 x437 -x436 x435 -x434 -x433 -x432 -x431 x430 x429 x428 x427 x426
1799.96/1800.01 v x425 -x424 -x423 -x422 x421 x420 -x419 -x418 -x417 -x416 x415 x414 -x413 -x412 -x411 x410 x409 -x408 -x407 x406 -x405 x404 -x403
1799.96/1800.01 v -x402 -x401 -x400 -x399 -x398 x397 x396 -x395 -x394 x393 -x392 -x391 -x390 x389 x388 -x387 x386 x385 -x384 -x383 -x382 -x381
1799.96/1800.01 v -x380 -x379 -x378 x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360
1799.96/1800.01 v -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 x351 x350 -x349 -x348 x347 x346 -x345 x344 -x343 -x342 x341 -x340 -x339 -x338
1799.96/1800.01 v x337 -x336 x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 x316
1799.96/1800.01 v -x315 x314 x313 -x312 -x311 -x310 x309 -x308 -x307 x306 x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 x297 -x296 x295 -x294
1799.96/1800.01 v -x293 -x292 x291 x290 -x289 x288 -x287 -x286 x285 -x284 -x283 x282 x281 x280 -x279 x278 x277 -x276 -x275 -x274 x273 -x272 x271
1799.96/1800.01 v -x270 -x269 -x268 x267 -x266 x265 -x264 x263 -x262 -x261 -x260 x259 -x258 x257 -x256 -x255 x254 -x253 -x252 x251 x250 x249
1799.96/1800.01 v -x248 -x247 -x246 x245 -x244 x243 x242 x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 x233 x232 x231 x230 -x229 -x228 x227 -x226
1799.96/1800.01 v x225 x224 -x223 -x222 -x221 -x220 -x219 x218 x217 x216 -x215 x214 -x213 -x212 x211 x210 -x209 -x208 x207 x206 -x205 x204
1799.96/1800.01 v x203 -x202 x201 -x200 -x199 x198 -x197 x196 -x195 -x194 -x193 x192 x191 x190 x189 x188 -x187 x186 -x185 -x184 -x183 -x182 -x181
1799.96/1800.01 v -x180 -x179 x178 x177 x176 -x175 -x174 x173 x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 x163 x162 -x161 -x160 -x159
1799.96/1800.01 v -x158 x157 x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147 -x146 x145 -x144 x143 x142 -x141 -x140 -x139 x138 -x137
1799.96/1800.01 v x136 -x135 -x134 -x133 -x132 x131 x130 -x129 x128 x127 x126 -x125 x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115
1799.96/1800.01 v -x114 x113 x112 -x111 x110 -x109 -x108 x107 x106 x105 x104 x103 -x102 -x101 x100 -x99 x98 -x97 -x96 -x95 x94 -x93 x92 -x91 -x90
1799.96/1800.01 v x89 -x88 x87 x86 -x85 -x84 x83 -x82 x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 x72 x71 x70 x69 x68 -x67 x66 x65 x64 -x63 x62
1799.96/1800.01 v -x61 x60 x59 x58 x57 x56 x55 -x54 -x53 x52 -x51 -x50 x49 x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 -x39 x38 x37 x36 x35 -x34
1799.96/1800.01 v -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 x25 -x24 x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 x11 -x10 -x9 -x8 x7
1799.96/1800.01 v x6 x5 -x4 -x3 -x2 -x1
1799.96/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.96/1800.01 c Total Time : 1800.00
1799.96/1800.01 c solving : 1800.00
1799.96/1800.01 c presolving : 0.02 (included in solving)
1799.96/1800.01 c reading : 0.01 (included in solving)
1799.96/1800.01 c Original Problem :
1799.96/1800.01 c Problem name : HOME/instance-3452675-1307076243.opb
1799.96/1800.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.01 c Constraints : 470 initial, 470 maximal
1799.96/1800.01 c Presolved Problem :
1799.96/1800.01 c Problem name : t_HOME/instance-3452675-1307076243.opb
1799.96/1800.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.01 c Constraints : 555 initial, 568 maximal
1799.96/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.96/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c knapsack : 0.01 0 0 0 0 0 25 179 290 662
1799.96/1800.01 c setppc : 0.00 0 0 0 0 0 69 0 0 0
1799.96/1800.01 c linear : 0.01 0 0 0 0 0 0 0 1 42
1799.96/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.01 c root node : - 0 - - 0 - - - - -
1799.96/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.96/1800.01 c integral : 0 0 0 43167 0 711 0 3 104 0 0 86240
1799.96/1800.01 c knapsack : 443 10 344257 0 0 706 0 0 186574 807 0 0
1799.96/1800.01 c setppc : 110 10 344257 0 0 705 0 0 32217 0 0 0
1799.96/1800.01 c logicor : 2+ 10 17416 0 0 705 0 0 0 0 0 0
1799.96/1800.01 c countsols : 0 0 0 0 0 709 0 0 0 0 0 0
1799.96/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.96/1800.01 c integral : 97.29 0.00 0.00 97.29 0.00 0.00 0.00
1799.96/1800.01 c knapsack : 3.23 0.03 3.19 0.00 0.00 0.01 0.00
1799.96/1800.01 c setppc : 0.40 0.00 0.40 0.00 0.00 0.00 0.00
1799.96/1800.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1799.96/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.96/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.96/1800.01 c vbounds : 0 0 0 0
1799.96/1800.01 c rootredcost : 28 0 0 0
1799.96/1800.01 c pseudoobj : 345059 0 0 0
1799.96/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1799.96/1800.01 c vbounds : 0.07 0.07 0.00
1799.96/1800.01 c rootredcost : 0.06 0.06 0.00
1799.96/1800.01 c pseudoobj : 2.54 2.54 0.00
1799.96/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.96/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.96/1800.01 c infeasible LP : 0.00 14 14 14 4.0 0 0.0 0
1799.96/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.96/1800.01 c applied globally : - - - 14 4.0 - - -
1799.96/1800.01 c applied locally : - - - 0 0.0 - - -
1799.96/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.96/1800.01 c cut pool : 0.00 9 - - 321 - (maximal pool size: 1377)
1799.96/1800.01 c redcost : 1.43 74817 0 699516 0 0
1799.96/1800.01 c impliedbounds : 0.00 10 0 0 0 0
1799.96/1800.01 c intobj : 0.00 0 0 0 0 0
1799.96/1800.01 c gomory : 1.30 10 0 0 0 0
1799.96/1800.01 c cgmip : 0.00 0 0 0 0 0
1799.96/1800.01 c closecuts : 0.00 0 0 0 0 0
1799.96/1800.01 c strongcg : 1.19 10 0 0 0 0
1799.96/1800.01 c cmir : 0.20 10 0 0 869 0
1799.96/1800.01 c flowcover : 0.22 10 0 0 981 0
1799.96/1800.01 c clique : 0.00 10 0 0 0 0
1799.96/1800.01 c zerohalf : 0.00 0 0 0 0 0
1799.96/1800.01 c mcf : 0.00 1 0 0 0 0
1799.96/1800.01 c oddcycle : 0.00 0 0 0 0 0
1799.96/1800.01 c rapidlearning : 0.06 1 0 0 0 0
1799.96/1800.01 c Pricers : Time Calls Vars
1799.96/1800.01 c problem variables: 0.00 0 0
1799.96/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.96/1800.01 c relpscost : 97.27 43167 3 104 0 0 86240
1799.96/1800.01 c pscost : 0.00 0 0 0 0 0 0
1799.96/1800.01 c inference : 0.00 0 0 0 0 0 0
1799.96/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1799.96/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1799.96/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1799.96/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1799.96/1800.01 c random : 0.00 0 0 0 0 0 0
1799.96/1800.01 c Primal Heuristics : Time Calls Found
1799.96/1800.01 c LP solutions : 0.00 - 0
1799.96/1800.01 c pseudo solutions : 0.00 - 0
1799.96/1800.01 c oneopt : 0.02 9 1
1799.96/1800.01 c crossover : 1.42 5 5
1799.96/1800.01 c linesearchdiving : 157.43 273 91
1799.96/1800.01 c pscostdiving : 222.15 359 298
1799.96/1800.01 c trivial : 0.00 2 1
1799.96/1800.01 c shiftandpropagate: 0.00 0 0
1799.96/1800.01 c simplerounding : 1.03 64406 24
1799.96/1800.01 c zirounding : 0.45 1151 23
1799.96/1800.01 c rounding : 10.16 11851 1
1799.96/1800.01 c shifting : 2.93 3571 1
1799.96/1800.01 c intshifting : 0.00 0 0
1799.96/1800.01 c twoopt : 0.00 0 0
1799.96/1800.01 c fixandinfer : 0.00 0 0
1799.96/1800.01 c feaspump : 0.00 0 0
1799.96/1800.01 c clique : 0.00 0 0
1799.96/1800.01 c coefdiving : 259.68 252 155
1799.96/1800.01 c fracdiving : 49.03 51 0
1799.96/1800.01 c veclendiving : 78.59 109 105
1799.96/1800.01 c intdiving : 0.00 0 0
1799.96/1800.01 c actconsdiving : 0.00 0 0
1799.96/1800.01 c objpscostdiving : 28.44 4 0
1799.96/1800.01 c rootsoldiving : 12.81 13 0
1799.96/1800.01 c guideddiving : 49.58 51 0
1799.96/1800.01 c octane : 0.00 0 0
1799.96/1800.01 c rens : 0.00 0 0
1799.96/1800.01 c rins : 0.00 0 0
1799.96/1800.01 c localbranching : 0.00 0 0
1799.96/1800.01 c mutation : 0.00 0 0
1799.96/1800.01 c dins : 0.00 0 0
1799.96/1800.01 c vbounds : 0.00 0 0
1799.96/1800.01 c undercover : 0.00 0 0
1799.96/1800.01 c subnlp : 0.01 0 0
1799.96/1800.01 c trysol : 0.02 0 0
1799.96/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1799.96/1800.01 c primal LP : 0.00 0 0 0.00 -
1799.96/1800.01 c dual LP : 805.73 81830 7050200 86.16 8750.07
1799.96/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1799.96/1800.01 c barrier LP : 0.00 0 0 0.00 -
1799.96/1800.01 c diving/probing LP: 830.32 144743 7468701 51.60 8995.00
1799.96/1800.01 c strong branching : 95.37 3474 702256 202.15 7363.35
1799.96/1800.01 c (at root node) : - 16 14125 882.81 -
1799.96/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1799.96/1800.01 c B&B Tree :
1799.96/1800.01 c number of runs : 1
1799.96/1800.01 c nodes : 60605
1799.96/1800.01 c nodes (total) : 60605
1799.96/1800.01 c nodes left : 18053
1799.96/1800.01 c max depth : 133
1799.96/1800.01 c max depth (total): 133
1799.96/1800.01 c backtracks : 9655 (15.9%)
1799.96/1800.01 c delayed cutoffs : 0
1799.96/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.96/1800.01 c avg switch length: 7.11
1799.96/1800.01 c switching time : 2.59
1799.96/1800.01 c Solution :
1799.96/1800.01 c Solutions found : 706 (40 improvements)
1799.96/1800.01 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1799.96/1800.01 c Primal Bound : +1.87000000000000e+02 (in run 1, after 20269 nodes, 671.45 seconds, depth 100, found by <oneopt>)
1799.96/1800.01 c Dual Bound : +1.63754273792756e+02
1799.96/1800.01 c Gap : 14.20 %
1799.96/1800.01 c Root Dual Bound : +1.62097443595186e+02
1799.96/1800.01 c Root Iterations : 25539
1799.96/1800.03 c Time complete: 1800.
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-3452675-1307076243/watcher-3452675-1307076243 -o /tmp/evaluation-result-3452675-1307076243/solver-3452675-1307076243 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452675-1307076243.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/446 8573
/proc/meminfo: memFree=31165020/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=10392 CPUtime=0 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 1597 0 0 0 0 0 0 0 25 0 1 0 819223027 10641408 1551 33554432000 4194304 9128323 140737264727056 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8573/statm: 2598 1551 400 1205 0 1389 0
[startup+0.095978 s]
/proc/loadavg: 2.00 2.00 2.00 3/446 8573
/proc/meminfo: memFree=31165020/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=20896 CPUtime=0.08 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 4385 0 0 0 8 0 0 0 25 0 1 0 819223027 21397504 4081 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 5224 4081 642 1205 0 4015 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20896
[startup+0.100976 s]
/proc/loadavg: 2.00 2.00 2.00 3/446 8573
/proc/meminfo: memFree=31165020/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=20896 CPUtime=0.08 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 4405 0 0 0 8 0 0 0 25 0 1 0 819223027 21397504 4101 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 5224 4101 643 1205 0 4015 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20896
[startup+0.300942 s]
/proc/loadavg: 2.00 2.00 2.00 3/446 8573
/proc/meminfo: memFree=31165020/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=21220 CPUtime=0.28 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 4472 0 0 0 27 1 0 0 25 0 1 0 819223027 21729280 4168 33554432000 4194304 9128323 140737264727056 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 5305 4168 643 1205 0 4096 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21220
[startup+0.700809 s]
/proc/loadavg: 2.00 2.00 2.00 3/446 8573
/proc/meminfo: memFree=31165020/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=21220 CPUtime=0.68 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 4507 0 0 0 66 2 0 0 25 0 1 0 819223027 21729280 4203 33554432000 4194304 9128323 140737264727056 18446744073709551615 7285960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 5305 4203 643 1205 0 4096 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21220
[startup+1.50067 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8574
/proc/meminfo: memFree=31149512/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=23072 CPUtime=1.48 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 7751 0 0 0 144 4 0 0 25 0 1 0 819223027 23625728 4759 33554432000 4194304 9128323 140737264727056 18446744073709551615 7357398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 5768 4759 726 1205 0 4559 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23072
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8574
/proc/meminfo: memFree=31145916/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=24672 CPUtime=3.08 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 8103 0 0 0 301 7 0 0 25 0 1 0 819223027 25264128 5111 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6168 5111 726 1205 0 4959 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24672
[startup+6.30089 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8574
/proc/meminfo: memFree=31145100/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=25304 CPUtime=6.29 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 9069 0 0 0 617 12 0 0 25 0 1 0 819223027 25911296 5340 33554432000 4194304 9128323 140737264727056 18446744073709551615 7342998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6326 5340 731 1205 0 5117 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25304
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8574
/proc/meminfo: memFree=31141728/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=25304 CPUtime=12.69 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 9070 0 0 0 1242 27 0 0 25 0 1 0 819223027 25911296 5341 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6326 5341 732 1205 0 5117 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25304
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8575
/proc/meminfo: memFree=31139520/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=25304 CPUtime=25.48 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 9070 0 0 0 2490 58 0 0 25 0 1 0 819223027 25911296 5341 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6326 5341 732 1205 0 5117 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25304
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8575
/proc/meminfo: memFree=31130208/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=25896 CPUtime=51.09 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 9180 0 0 0 4980 129 0 0 25 0 1 0 819223027 26517504 5451 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6474 5451 734 1205 0 5265 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25896
[startup+102.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8577
/proc/meminfo: memFree=31119268/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=25896 CPUtime=102.3 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 9210 0 0 0 9954 276 0 0 25 0 1 0 819223027 26517504 5481 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6474 5481 734 1205 0 5265 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25896
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8578
/proc/meminfo: memFree=31109544/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=26536 CPUtime=162.29 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 10186 0 0 0 15768 461 0 0 25 0 1 0 819223027 27172864 5627 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6634 5627 734 1205 0 5425 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26536
[startup+222.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/447 8580
/proc/meminfo: memFree=31104024/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=26536 CPUtime=222.29 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 10197 0 0 0 21579 650 0 0 25 0 1 0 819223027 27172864 5638 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6634 5638 735 1205 0 5425 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 26536
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/447 8581
/proc/meminfo: memFree=31095144/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=27424 CPUtime=282.29 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 11200 0 0 0 27411 818 0 0 25 0 1 0 819223027 28082176 5873 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 6856 5873 735 1205 0 5647 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27424
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8583
/proc/meminfo: memFree=31085536/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=29940 CPUtime=342.29 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 15219 0 0 0 33220 1009 0 0 25 0 1 0 819223027 30658560 6488 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 7485 6488 740 1205 0 6276 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 29940
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8585
/proc/meminfo: memFree=31062636/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=45872 CPUtime=402.29 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 18851 0 0 0 39023 1206 0 0 25 0 1 0 819223027 46972928 10116 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 11468 10116 743 1205 0 10259 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 45872
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8586
/proc/meminfo: memFree=31053400/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=46132 CPUtime=462.29 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 19131 0 0 0 44831 1398 0 0 25 0 1 0 819223027 47239168 10396 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 11533 10396 743 1205 0 10324 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 46132
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8588
/proc/meminfo: memFree=31042560/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=46132 CPUtime=522.3 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 19135 0 0 0 50648 1582 0 0 25 0 1 0 819223027 47239168 10400 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 11533 10400 743 1205 0 10324 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 46132
[startup+582.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/447 8589
/proc/meminfo: memFree=31036292/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=46132 CPUtime=582.3 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 19138 0 0 0 56475 1755 0 0 25 0 1 0 819223027 47239168 10403 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8573/statm: 11533 10403 743 1205 0 10324 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 46132
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31378036/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1122.24 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20262 0 0 0 108959 3265 0 0 25 0 1 0 819223027 45584384 10202 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10202 743 1205 0 9920 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 44516
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/447 8642
/proc/meminfo: memFree=31377752/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1182.25 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20262 0 0 0 114808 3417 0 0 25 0 1 0 819223027 45584384 10202 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10202 743 1205 0 9920 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 44516
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8647
/proc/meminfo: memFree=31376936/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1242.25 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20265 0 0 0 120662 3563 0 0 25 0 1 0 819223027 45584384 10205 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10205 743 1205 0 9920 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 44516
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 8649
/proc/meminfo: memFree=31377520/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1302.26 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20266 0 0 0 126514 3712 0 0 25 0 1 0 819223027 45584384 10206 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10206 743 1205 0 9920 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 44516
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8650
/proc/meminfo: memFree=31377712/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1362.25 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20270 0 0 0 132364 3861 0 0 25 0 1 0 819223027 45584384 10210 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10210 743 1205 0 9920 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 44516
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8652
/proc/meminfo: memFree=31377540/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1422.27 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20273 0 0 0 138212 4015 0 0 25 0 1 0 819223027 45584384 10213 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10213 743 1205 0 9920 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 44516
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8653
/proc/meminfo: memFree=31377476/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1482.25 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20274 0 0 0 144050 4175 0 0 25 0 1 0 819223027 45584384 10214 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10214 743 1205 0 9920 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 44516
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/447 8655
/proc/meminfo: memFree=31376556/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1542.26 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20277 0 0 0 149894 4332 0 0 25 0 1 0 819223027 45584384 10217 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10217 743 1205 0 9920 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 44516
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/447 8657
/proc/meminfo: memFree=31377728/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1602.25 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20281 0 0 0 155733 4492 0 0 25 0 1 0 819223027 45584384 10221 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10221 743 1205 0 9920 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 44516
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/447 8658
/proc/meminfo: memFree=31377808/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1662.26 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20282 0 0 0 161585 4641 0 0 25 0 1 0 819223027 45584384 10222 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10222 743 1205 0 9920 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 44516
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/447 8660
/proc/meminfo: memFree=31377888/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1722.26 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20286 0 0 0 167427 4799 0 0 25 0 1 0 819223027 45584384 10226 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10226 743 1205 0 9920 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 44516
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 8661
/proc/meminfo: memFree=31376608/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1782.26 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20289 0 0 0 173273 4953 0 0 25 0 1 0 819223027 45584384 10229 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10229 743 1205 0 9920 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 44516
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8661
/proc/meminfo: memFree=31377708/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1791.88 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20290 0 0 0 174210 4978 0 0 25 0 1 0 819223027 45584384 10230 33554432000 4194304 9128323 140737264727056 18446744073709551615 7286040 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10230 743 1205 0 9920 0
Current children cumulated CPU time (s) 1791.88
Current children cumulated vsize (KiB) 44516
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8662
/proc/meminfo: memFree=31377948/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1795.07 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20290 0 0 0 174520 4987 0 0 25 0 1 0 819223027 45584384 10230 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10230 743 1205 0 9920 0
Current children cumulated CPU time (s) 1795.07
Current children cumulated vsize (KiB) 44516
[startup+1798.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8662
/proc/meminfo: memFree=31377204/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1798.26 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20290 0 0 0 174831 4995 0 0 25 0 1 0 819223027 45584384 10230 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10230 743 1205 0 9920 0
Current children cumulated CPU time (s) 1798.26
Current children cumulated vsize (KiB) 44516
[startup+1799.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8662
/proc/meminfo: memFree=31377328/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1799.06 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20290 0 0 0 174907 4999 0 0 25 0 1 0 819223027 45584384 10230 33554432000 4194304 9128323 140737264727056 18446744073709551615 7286019 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10230 743 1205 0 9920 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 44516
[startup+1799.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8662
/proc/meminfo: memFree=31377328/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1799.47 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20290 0 0 0 174947 5000 0 0 25 0 1 0 819223027 45584384 10230 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10230 743 1205 0 9920 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 44516
[startup+1799.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8662
/proc/meminfo: memFree=31377328/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1799.86 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20290 0 0 0 174986 5000 0 0 25 0 1 0 819223027 45584384 10230 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10230 743 1205 0 9920 0
Current children cumulated CPU time (s) 1799.86
Current children cumulated vsize (KiB) 44516
[startup+1800 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8662
/proc/meminfo: memFree=31377328/32950928 swapFree=34365992/67111528
[pid=8573] ppid=8571 vsize=44516 CPUtime=1799.96 cores=1,3,5,7
/proc/8573/stat : 8573 (scip-2.0.1.4.li) R 8571 8573 6518 0 -1 4202496 20290 0 0 0 174995 5001 0 0 25 0 1 0 819223027 45584384 10230 33554432000 4194304 9128323 140737264727056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8573/statm: 11129 10230 743 1205 0 9920 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 44516
Child status: 0
Real time (s): 1800.04
CPU time (s): 1800.01
CPU user time (s): 1749.99
CPU system time (s): 50.0134
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 50016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.99
system time used= 50.0134
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20294
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= 11384
runsolver used 7.99078 second user time and 17.9113 second system time
The end