0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451015-1307076462.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.02 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.02 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.5
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.92 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.92 c t 0.9s| 1 | 0 | 10574 | - |2626k| 0 | 320 | 470 | 555 | 470 | 555 | 0 | 0 | 0 | 1.475708e+02 | 4.700000e+02 | 218.49%
0.89/0.92 o 335
0.89/0.92 c r 0.9s| 1 | 0 | 10574 | - |2639k| 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 | - |2653k| 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 | - |2666k| 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 | - |3032k| 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 | - |2958k| 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 | - |3208k| 0 | 402 | 470 | 555 | 470 | 942 | 387 | 0 | 0 | 1.581149e+02 | 2.220000e+02 | 40.40%
3.09/3.10 c 3.1s| 1 | 0 | 21563 | - |3407k| 0 | 420 | 470 | 555 | 470 |1083 | 528 | 0 | 0 | 1.605355e+02 | 2.220000e+02 | 38.29%
3.59/3.65 c 3.7s| 1 | 0 | 23154 | - |3532k| 0 | 432 | 470 | 555 | 470 |1176 | 621 | 0 | 0 | 1.613049e+02 | 2.220000e+02 | 37.63%
4.09/4.15 c 4.2s| 1 | 0 | 24034 | - |3597k| 0 | 420 | 470 | 555 | 470 |1247 | 692 | 0 | 0 | 1.617009e+02 | 2.220000e+02 | 37.29%
4.59/4.65 c 4.6s| 1 | 0 | 24834 | - |3646k| 0 | 433 | 470 | 555 | 470 |1289 | 734 | 0 | 0 | 1.619422e+02 | 2.220000e+02 | 37.09%
4.89/4.99 c 5.0s| 1 | 0 | 25013 | - |3659k| 0 | 436 | 470 | 555 | 470 |1306 | 751 | 0 | 0 | 1.619681e+02 | 2.220000e+02 | 37.06%
5.40/5.42 c 5.4s| 1 | 0 | 25432 | - |3682k| 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 | - |3693k| 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 | - |3713k| 0 | 438 | 470 | 555 | 470 |1333 | 778 | 0 | 16 | 1.620974e+02 | 2.220000e+02 | 36.95%
27.29/27.37 o 221
27.29/27.37 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.37 c c27.4s| 15 | 16 | 42645 |1221.9 |4461k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.210000e+02 | 36.28%
27.29/27.38 o 221
27.29/27.38 c c27.4s| 15 | 16 | 42762 |1230.2 |4467k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.210000e+02 | 36.28%
27.29/27.38 o 219
27.29/27.38 c c27.4s| 15 | 16 | 42817 |1234.1 |4475k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.190000e+02 | 35.05%
27.29/27.38 o 217
27.29/27.38 c c27.4s| 15 | 16 | 42824 |1234.6 |4476k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.170000e+02 | 33.81%
27.29/27.38 o 216
27.29/27.38 c c27.4s| 15 | 16 | 42825 |1234.7 |4477k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.160000e+02 | 33.20%
27.29/27.39 o 215
27.29/27.39 c c27.4s| 15 | 16 | 42856 |1236.9 |4482k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.150000e+02 | 32.58%
27.29/27.39 o 215
27.29/27.39 c c27.4s| 15 | 16 | 42870 |1237.9 |4483k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.150000e+02 | 32.58%
27.29/27.39 o 213
27.29/27.39 c c27.4s| 15 | 16 | 42900 |1240.1 |4485k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.130000e+02 | 31.35%
27.29/27.39 o 213
27.29/27.39 c c27.4s| 15 | 16 | 42921 |1241.6 |4491k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.130000e+02 | 31.35%
27.29/27.40 o 212
27.29/27.40 c c27.4s| 15 | 16 | 42956 |1244.1 |4498k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.120000e+02 | 30.73%
27.29/27.41 o 211
27.29/27.41 c c27.4s| 15 | 16 | 43009 |1247.9 |4517k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.110000e+02 | 30.11%
27.29/27.41 o 210
27.29/27.41 c c27.4s| 15 | 16 | 43010 |1247.9 |4518k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.100000e+02 | 29.50%
27.29/27.41 o 209
27.29/27.41 c c27.4s| 15 | 16 | 43011 |1248.0 |4519k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.090000e+02 | 28.88%
27.41/27.41 o 209
27.41/27.41 c c27.4s| 15 | 16 | 43015 |1248.3 |4520k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.621678e+02 | 2.090000e+02 | 28.88%
28.79/28.88 o 208
28.79/28.88 c p28.9s| 27 | 28 | 54327 |1107.2 |4603k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.080000e+02 | 28.11%
28.79/28.88 o 206
28.79/28.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.79/28.88 c p28.9s| 27 | 28 | 54336 |1107.6 |4605k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.060000e+02 | 26.88%
28.79/28.88 o 205
28.79/28.88 c p28.9s| 27 | 28 | 54337 |1107.6 |4606k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.050000e+02 | 26.26%
28.79/28.88 o 204
28.79/28.88 c p28.9s| 27 | 28 | 54350 |1108.1 |4608k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.040000e+02 | 25.64%
28.79/28.88 o 204
28.79/28.88 c p28.9s| 27 | 28 | 54352 |1108.2 |4610k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.040000e+02 | 25.64%
28.79/28.88 o 203
28.79/28.88 c p28.9s| 27 | 28 | 54361 |1108.5 |4611k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.030000e+02 | 25.03%
28.79/28.88 o 201
28.79/28.88 c p28.9s| 27 | 28 | 54369 |1108.8 |4612k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.010000e+02 | 23.80%
28.79/28.88 o 200
28.79/28.88 c p28.9s| 27 | 28 | 54371 |1108.9 |4614k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 2.000000e+02 | 23.18%
28.79/28.88 o 199
28.79/28.88 c p28.9s| 27 | 28 | 54375 |1109.1 |4616k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 1.990000e+02 | 22.56%
28.79/28.89 o 198
28.79/28.89 c p28.9s| 27 | 28 | 54376 |1109.1 |4617k| 14 | - | 470 | 555 | 470 | 978 | 778 | 0 | 242 | 1.623644e+02 | 1.980000e+02 | 21.95%
37.19/37.25 o 197
37.19/37.25 c l37.3s| 87 | 88 |117066 |1064.3 |4725k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.970000e+02 | 21.33%
37.19/37.25 o 197
37.19/37.25 c l37.3s| 87 | 88 |117070 |1064.3 |4726k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.970000e+02 | 21.33%
37.19/37.25 o 196
37.19/37.25 c l37.3s| 87 | 88 |117076 |1064.4 |4727k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.960000e+02 | 20.72%
37.19/37.25 o 196
37.19/37.25 c l37.3s| 87 | 88 |117086 |1064.5 |4729k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.960000e+02 | 20.72%
37.19/37.26 o 195
37.19/37.26 c l37.3s| 87 | 88 |117096 |1064.6 |4731k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.950000e+02 | 20.10%
37.19/37.26 o 194
37.19/37.26 c l37.3s| 87 | 88 |117102 |1064.7 |4732k| 17 | - | 470 | 555 | 470 | 978 | 778 | 0 | 254 | 1.623644e+02 | 1.940000e+02 | 19.48%
90.20/90.29 o 193
90.20/90.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.20/90.29 c p90.3s| 284 | 285 |523109 |1758.2 |4904k| 25 | - | 470 | 555 | 470 | 978 | 778 | 0 | 345 | 1.626777e+02 | 1.930000e+02 | 18.64%
372.50/372.50 o 191
372.50/372.50 c C 372s| 6619 | 4968 | 2782k| 416.6 |8228k| 133 | - | 470 | 555 | 470 | 978 | 778 | 0 |1028 | 1.632066e+02 | 1.910000e+02 | 17.03%
372.50/372.51 o 190
372.50/372.51 c b 373s| 6620 | 4321 | 2782k| 416.6 |7757k| 133 | 121 | 470 | 555 | 470 | 978 | 778 | 0 |1028 | 1.632066e+02 | 1.900000e+02 | 16.42%
419.50/419.54 o 189
419.50/419.54 c C 420s| 8731 | 4550 | 3163k| 359.4 |7966k| 133 | - | 470 | 558 | 470 | 978 | 778 | 3 |1144 | 1.632795e+02 | 1.890000e+02 | 15.75%
457.70/457.73 c 458s| 10000 | 5189 | 3481k| 345.6 |8499k| 133 | 380 | 470 | 558 | 470 | 978 | 778 | 3 |1146 | 1.633205e+02 | 1.890000e+02 | 15.72%
718.91/718.98 c 719s| 20000 | 8981 | 5585k| 278.0 | 12M| 133 | 101 | 470 | 557 | 470 | 978 | 778 | 3 |1649 | 1.634850e+02 | 1.890000e+02 | 15.61%
961.22/961.21 c 961s| 30000 | 12137 | 7566k| 251.4 | 14M| 133 | 360 | 470 | 560 | 470 | 978 | 778 | 7 |2109 | 1.635643e+02 | 1.890000e+02 | 15.55%
1180.34/1180.38 c 1180s| 40000 | 15593 | 9352k| 233.2 | 17M| 133 | - | 470 | 559 | 470 | 978 | 778 | 7 |2452 | 1.636198e+02 | 1.890000e+02 | 15.51%
1402.74/1402.77 c 1403s| 50000 | 18983 | 11159k| 222.7 | 20M| 133 | 116 | 470 | 564 | 470 | 978 | 778 | 12 |2853 | 1.636801e+02 | 1.890000e+02 | 15.47%
1626.44/1626.45 c 1626s| 60000 | 22291 | 12990k| 216.1 | 24M| 133 | 110 | 470 | 563 | 470 | 978 | 778 | 12 |3181 | 1.637212e+02 | 1.890000e+02 | 15.44%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 67414
1800.05/1800.00 c Primal Bound : +1.89000000000000e+02 (686 solutions)
1800.05/1800.00 c Dual Bound : +1.63752195056571e+02
1800.05/1800.00 c Gap : 15.42 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 x458 x457 x456 -x455 x454 x453 -x452 x451 x450 -x449 -x448
1800.05/1800.00 v -x447 x446 x445 x444 x443 -x442 x441 x440 -x439 -x438 x437 -x436 -x435 -x434 x433 -x432 x431 x430 x429 -x428 x427 -x426 x425
1800.05/1800.00 v -x424 -x423 -x422 x421 x420 -x419 x418 -x417 x416 -x415 -x414 x413 -x412 -x411 x410 x409 -x408 -x407 x406 x405 x404 -x403
1800.05/1800.00 v -x402 -x401 -x400 x399 x398 x397 x396 x395 x394 x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 x385 x384 -x383 x382 -x381 x380
1800.05/1800.00 v -x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 x366 x365 x364 -x363 -x362 -x361 -x360 x359 x358 -x357
1800.05/1800.00 v -x356 -x355 x354 x353 x352 x351 x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 x338 x337 x336 -x335
1800.05/1800.00 v -x334 x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 x316 -x315 x314 x313
1800.05/1800.00 v -x312 -x311 -x310 -x309 x308 -x307 x306 -x305 x304 -x303 -x302 -x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 -x291
1800.05/1800.00 v x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 x280 -x279 x278 x277 -x276 x275 -x274 -x273 x272 x271 -x270 -x269
1800.05/1800.00 v x268 -x267 x266 x265 x264 x263 -x262 -x261 -x260 -x259 x258 x257 x256 -x255 x254 x253 -x252 x251 x250 x249 -x248 -x247 -x246
1800.05/1800.00 v x245 -x244 x243 x242 -x241 -x240 -x239 x238 x237 -x236 -x235 -x234 -x233 -x232 x231 x230 -x229 x228 -x227 -x226 x225 -x224 -x223
1800.05/1800.00 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 x210 -x209 -x208 -x207 -x206 x205 -x204 x203 -x202
1800.05/1800.00 v x201 -x200 -x199 x198 x197 x196 -x195 x194 -x193 x192 x191 x190 x189 x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179
1800.05/1800.00 v -x178 -x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x162 x161 x160 -x159 x158 -x157
1800.05/1800.00 v x156 x155 -x154 x153 x152 -x151 x150 -x149 x148 -x147 -x146 x145 -x144 -x143 x142 -x141 -x140 -x139 x138 -x137 x136 -x135
1800.05/1800.00 v x134 x133 -x132 x131 x130 x129 -x128 -x127 x126 -x125 x124 x123 -x122 -x121 -x120 x119 -x118 -x117 x116 -x115 -x114 -x113 -x112
1800.05/1800.00 v -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 x100 -x99 x98 -x97 -x96 -x95 x94 -x93 x92 x91 -x90 x89 -x88
1800.05/1800.00 v 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 -x61
1800.05/1800.00 v -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 -x33
1800.05/1800.00 v -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 -x6
1800.05/1800.00 v x5 x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.02 (included in solving)
1800.05/1800.00 c reading : 0.01 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3451015-1307076462.opb
1800.05/1800.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 470 initial, 470 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-3451015-1307076462.opb
1800.05/1800.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 555 initial, 564 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c knapsack : 0.01 0 0 0 0 0 25 179 290 662
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 69 0 0 0
1800.05/1800.01 c linear : 0.01 0 0 0 0 0 0 0 1 42
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 47466 0 691 0 3 86 0 0 94824
1800.05/1800.01 c knapsack : 443 10 361193 0 1 686 0 0 211363 807 0 0
1800.05/1800.01 c setppc : 110 10 361193 0 1 685 0 0 41471 0 0 0
1800.05/1800.01 c logicor : 2+ 10 20467 0 1 685 0 0 0 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1 689 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.01 c integral : 99.07 0.00 0.00 99.07 0.00 0.00 0.00
1800.05/1800.01 c knapsack : 3.34 0.03 3.31 0.00 0.00 0.01 0.00
1800.05/1800.01 c setppc : 0.42 0.00 0.42 0.00 0.00 0.00 0.00
1800.05/1800.01 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.01 c vbounds : 0 0 0 0
1800.05/1800.01 c rootredcost : 27 0 0 0
1800.05/1800.01 c pseudoobj : 362024 0 0 0
1800.05/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.01 c vbounds : 0.07 0.07 0.00
1800.05/1800.01 c rootredcost : 0.08 0.08 0.00
1800.05/1800.01 c pseudoobj : 2.75 2.75 0.00
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c infeasible LP : 0.00 12 12 12 3.7 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 12 3.7 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 9 - - 321 - (maximal pool size: 1377)
1800.05/1800.01 c redcost : 1.60 83705 0 775264 0 0
1800.05/1800.01 c impliedbounds : 0.00 10 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 1.30 10 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 1.19 10 0 0 0 0
1800.05/1800.01 c cmir : 0.20 10 0 0 869 0
1800.05/1800.01 c flowcover : 0.22 10 0 0 981 0
1800.05/1800.01 c clique : 0.00 10 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.07 1 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 99.04 47466 3 86 0 0 94824
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c oneopt : 0.02 8 1
1800.05/1800.01 c objpscostdiving : 29.28 4 0
1800.05/1800.01 c crossover : 1.32 4 4
1800.05/1800.01 c rootsoldiving : 12.70 13 0
1800.05/1800.01 c guideddiving : 48.97 47 0
1800.05/1800.01 c fracdiving : 49.40 48 0
1800.05/1800.01 c veclendiving : 76.94 102 104
1800.05/1800.01 c coefdiving : 263.57 244 155
1800.05/1800.01 c linesearchdiving : 159.28 264 91
1800.05/1800.01 c pscostdiving : 224.78 326 280
1800.05/1800.01 c trivial : 0.00 2 1
1800.05/1800.01 c shiftandpropagate: 0.00 0 0
1800.05/1800.01 c simplerounding : 1.06 72075 24
1800.05/1800.01 c zirounding : 0.45 1151 23
1800.05/1800.01 c rounding : 10.14 12510 1
1800.05/1800.01 c shifting : 2.86 3780 1
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c clique : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c vbounds : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c subnlp : 0.01 0 0
1800.05/1800.01 c trysol : 0.02 0 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 794.58 92037 6929565 75.29 8721.09
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 837.27 144475 7510379 51.98 8970.09
1800.05/1800.01 c strong branching : 97.06 3397 705469 207.67 7268.27
1800.05/1800.01 c (at root node) : - 16 14125 882.81 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 67414
1800.05/1800.01 c nodes (total) : 67414
1800.05/1800.01 c nodes left : 24957
1800.05/1800.01 c max depth : 133
1800.05/1800.01 c max depth (total): 133
1800.05/1800.01 c backtracks : 9755 (14.5%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 7.48
1800.05/1800.01 c switching time : 2.85
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 686 (39 improvements)
1800.05/1800.01 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +1.89000000000000e+02 (in run 1, after 8731 nodes, 419.54 seconds, depth 107, found by <crossover>)
1800.05/1800.01 c Dual Bound : +1.63752195056571e+02
1800.05/1800.01 c Gap : 15.42 %
1800.05/1800.01 c Root Dual Bound : +1.62097443595186e+02
1800.05/1800.01 c Root Iterations : 25539
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-3451015-1307076462/watcher-3451015-1307076462 -o /tmp/evaluation-result-3451015-1307076462/solver-3451015-1307076462 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451015-1307076462.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 2/373 7748
/proc/meminfo: memFree=22735428/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=13528 CPUtime=0 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 2362 0 0 0 0 0 0 0 25 0 1 0 819246638 13852672 2315 33554432000 4194304 9163163 140734577690848 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7748/statm: 3382 2315 395 1214 0 2164 0
[startup+0.050734 s]
/proc/loadavg: 2.00 2.00 2.00 2/373 7748
/proc/meminfo: memFree=22735428/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=22424 CPUtime=0.04 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 4753 0 0 0 4 0 0 0 25 0 1 0 819246638 22962176 4448 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 5606 4448 642 1214 0 4388 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22424
[startup+0.100738 s]
/proc/loadavg: 2.00 2.00 2.00 2/373 7748
/proc/meminfo: memFree=22735428/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=22424 CPUtime=0.09 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 4779 0 0 0 9 0 0 0 25 0 1 0 819246638 22962176 4474 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 5606 4474 643 1214 0 4388 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22424
[startup+0.300687 s]
/proc/loadavg: 2.00 2.00 2.00 2/373 7748
/proc/meminfo: memFree=22735428/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=22672 CPUtime=0.29 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 4826 0 0 0 28 1 0 0 25 0 1 0 819246638 23216128 4521 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 5668 4521 643 1214 0 4450 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22672
[startup+0.700615 s]
/proc/loadavg: 2.00 2.00 2.00 2/373 7748
/proc/meminfo: memFree=22735428/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=22992 CPUtime=0.69 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 4910 0 0 0 67 2 0 0 25 0 1 0 819246638 23543808 4605 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 5748 4605 643 1214 0 4530 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22992
[startup+1.50047 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7749
/proc/meminfo: memFree=22718068/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=24488 CPUtime=1.49 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 8622 0 0 0 145 4 0 0 25 0 1 0 819246638 25075712 5095 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 6122 5095 716 1214 0 4904 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24488
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7749
/proc/meminfo: memFree=22714100/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=26304 CPUtime=3.09 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 9026 0 0 0 301 8 0 0 25 0 1 0 819246638 26935296 5495 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 6576 5495 717 1214 0 5358 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26304
[startup+6.30059 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7749
/proc/meminfo: memFree=22713156/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=26924 CPUtime=6.29 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 10782 0 0 0 617 12 0 0 25 0 1 0 819246638 27570176 5734 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 6731 5734 722 1214 0 5513 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26924
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7749
/proc/meminfo: memFree=22711592/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=26924 CPUtime=12.69 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 10783 0 0 0 1241 28 0 0 25 0 1 0 819246638 27570176 5735 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 6731 5735 723 1214 0 5513 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26924
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7750
/proc/meminfo: memFree=22710136/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=26924 CPUtime=25.49 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 10783 0 0 0 2492 57 0 0 25 0 1 0 819246638 27570176 5735 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 6731 5735 723 1214 0 5513 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26924
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7750
/proc/meminfo: memFree=22708504/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=27788 CPUtime=51.09 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 10971 0 0 0 4987 122 0 0 25 0 1 0 819246638 28454912 5923 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 6947 5923 726 1214 0 5729 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27788
[startup+102.313 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7752
/proc/meminfo: memFree=22703320/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=27788 CPUtime=102.31 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 10971 0 0 0 9974 257 0 0 25 0 1 0 819246638 28454912 5923 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 6947 5923 726 1214 0 5729 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 27788
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7753
/proc/meminfo: memFree=22699084/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=28432 CPUtime=162.29 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 12740 0 0 0 15813 416 0 0 25 0 1 0 819246638 29114368 6087 33554432000 4194304 9163163 140734577690848 18446744073709551615 7379423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 7108 6087 726 1214 0 5890 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 28432
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7755
/proc/meminfo: memFree=22694848/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=28432 CPUtime=222.3 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 12742 0 0 0 21655 575 0 0 25 0 1 0 819246638 29114368 6089 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 7108 6089 727 1214 0 5890 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 28432
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7756
/proc/meminfo: memFree=22687632/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=28764 CPUtime=282.3 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 14384 0 0 0 27503 727 0 0 25 0 1 0 819246638 29454336 6173 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 7191 6173 727 1214 0 5973 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28764
[startup+342.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/374 7758
/proc/meminfo: memFree=22682400/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=31504 CPUtime=342.31 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 19429 0 0 0 33335 896 0 0 25 0 1 0 819246638 32260096 6845 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 7876 6845 732 1214 0 6658 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 31504
[startup+402.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/374 7760
/proc/meminfo: memFree=22660788/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47528 CPUtime=402.3 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23075 0 0 0 39172 1058 0 0 25 0 1 0 819246638 48668672 10491 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11882 10491 736 1214 0 10664 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 47528
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/374 7761
/proc/meminfo: memFree=22652836/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47660 CPUtime=462.31 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23255 0 0 0 45014 1217 0 0 25 0 1 0 819246638 48803840 10671 33554432000 4194304 9163163 140734577690848 18446744073709551615 7391824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11915 10671 736 1214 0 10697 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 47660
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/374 7763
/proc/meminfo: memFree=22646008/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47660 CPUtime=522.31 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23268 0 0 0 50852 1379 0 0 25 0 1 0 819246638 48803840 10684 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11915 10684 736 1214 0 10697 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 47660
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 7764
/proc/meminfo: memFree=22639664/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47660 CPUtime=582.31 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23297 0 0 0 56696 1535 0 0 25 0 1 0 819246638 48803840 10713 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11915 10713 736 1214 0 10697 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 47660
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7808
/proc/meminfo: memFree=22823096/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47660 CPUtime=822.31 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23455 0 0 0 79987 2244 0 0 25 0 1 0 819246638 48803840 10871 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11915 10871 736 1214 0 10697 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 47660
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7809
/proc/meminfo: memFree=22822964/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47660 CPUtime=882.32 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23456 0 0 0 85775 2457 0 0 25 0 1 0 819246638 48803840 10872 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11915 10872 736 1214 0 10697 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 47660
[startup+942.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/374 7811
/proc/meminfo: memFree=22822572/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47660 CPUtime=942.32 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23460 0 0 0 91563 2669 0 0 25 0 1 0 819246638 48803840 10876 33554432000 4194304 9163163 140734577690848 18446744073709551615 7370593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11915 10876 736 1214 0 10697 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 47660
[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/374 7816
/proc/meminfo: memFree=22822508/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47660 CPUtime=1002.32 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23464 0 0 0 97357 2875 0 0 25 0 1 0 819246638 48803840 10880 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11915 10880 736 1214 0 10697 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 47660
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 7817
/proc/meminfo: memFree=22822224/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47660 CPUtime=1062.33 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 23467 0 0 0 103146 3087 0 0 25 0 1 0 819246638 48803840 10883 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11915 10883 736 1214 0 10697 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 47660
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 7819
/proc/meminfo: memFree=22822188/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47316 CPUtime=1122.33 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25288 0 0 0 108933 3300 0 0 25 0 1 0 819246638 48451584 10871 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11829 10871 736 1214 0 10611 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 47316
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 7820
/proc/meminfo: memFree=22821916/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47316 CPUtime=1182.33 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25292 0 0 0 114723 3510 0 0 25 0 1 0 819246638 48451584 10875 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11829 10875 736 1214 0 10611 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 47316
[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/374 7822
/proc/meminfo: memFree=22821884/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47316 CPUtime=1242.33 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25296 0 0 0 120509 3724 0 0 25 0 1 0 819246638 48451584 10879 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11829 10879 736 1214 0 10611 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 47316
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 7824
/proc/meminfo: memFree=22821116/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47316 CPUtime=1302.34 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25300 0 0 0 126311 3923 0 0 25 0 1 0 819246638 48451584 10883 33554432000 4194304 9163163 140734577690848 18446744073709551615 6889776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11829 10883 736 1214 0 10611 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 47316
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7825
/proc/meminfo: memFree=22819732/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47316 CPUtime=1362.33 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25301 0 0 0 132096 4137 0 0 25 0 1 0 819246638 48451584 10884 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11829 10884 736 1214 0 10611 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 47316
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7827
/proc/meminfo: memFree=22818456/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47316 CPUtime=1422.34 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25305 0 0 0 137889 4345 0 0 25 0 1 0 819246638 48451584 10888 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11829 10888 736 1214 0 10611 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 47316
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/374 7828
/proc/meminfo: memFree=22817444/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47592 CPUtime=1482.34 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25350 0 0 0 143673 4561 0 0 25 0 1 0 819246638 48734208 10933 33554432000 4194304 9163163 140734577690848 18446744073709551615 7379358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11898 10933 736 1214 0 10680 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 47592
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 7830
/proc/meminfo: memFree=22817552/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=47592 CPUtime=1542.34 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25384 0 0 0 149456 4778 0 0 25 0 1 0 819246638 48734208 10967 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 11898 10967 736 1214 0 10680 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 47592
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7832
/proc/meminfo: memFree=22816040/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=49492 CPUtime=1602.33 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 25853 0 0 0 155244 4989 0 0 25 0 1 0 819246638 50679808 11436 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 12373 11436 736 1214 0 11155 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 49492
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 7833
/proc/meminfo: memFree=22815520/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=50048 CPUtime=1662.35 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 26003 0 0 0 161039 5196 0 0 25 0 1 0 819246638 51249152 11586 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 12512 11586 736 1214 0 11294 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 50048
[startup+1722.3 s]
/proc/loadavg: 2.16 2.03 2.01 3/374 7835
/proc/meminfo: memFree=22814016/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=51024 CPUtime=1722.34 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 26237 0 0 0 166819 5415 0 0 25 0 1 0 819246638 52248576 11820 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 12756 11820 736 1214 0 11538 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 51024
[startup+1782.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/374 7836
/proc/meminfo: memFree=22811268/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=51244 CPUtime=1782.34 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 26298 0 0 0 172607 5627 0 0 25 0 1 0 819246638 52473856 11881 33554432000 4194304 9163163 140734577690848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7748/statm: 12811 11881 736 1214 0 11593 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 51244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.04 2.01 3/374 7837
/proc/meminfo: memFree=22811756/32951124 swapFree=37148216/67111528
[pid=7748] ppid=7746 vsize=51516 CPUtime=1800.06 cores=1,3,5,7
/proc/7748/stat : 7748 (scip-2.0.1.4b.l) R 7746 7748 5516 0 -1 4202496 26374 0 0 0 174317 5689 0 0 25 0 1 0 819246638 52752384 11957 33554432000 4194304 9163163 140734577690848 18446744073709551615 6634443 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7748/statm: 12879 11957 739 1214 0 11661 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 51516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1743.18
CPU system time (s): 56.8954
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 54940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.18
system time used= 56.8954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26374
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= 5
involuntary context switches= 4968
runsolver used 5.97309 second user time and 13.9859 second system time
The end