0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485174-1307785277.opb>
0.00/0.01 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.03 o 0
0.01/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.03 c presolving:
0.01/0.06 c (round 1) 3164 del vars, 500 del conss, 0 add conss, 3164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12656 impls, 0 clqs
0.01/0.07 c (round 2) 3164 del vars, 500 del conss, 0 add conss, 3164 chg bounds, 0 chg sides, 0 chg coeffs, 3164 upgd conss, 18984 impls, 0 clqs
0.01/0.08 c (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.08 c presolving (3 rounds):
0.01/0.08 c 3164 deleted vars, 500 deleted constraints, 0 added constraints, 3164 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.08 c 18984 implications, 0 cliques
0.01/0.08 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3164 constraints
0.01/0.08 c 3164 constraints of type <logicor>
0.01/0.08 c transformed objective value is always integral (scale: 1)
0.01/0.08 c Presolving Time: 0.07
0.01/0.08 c - non default parameters ----------------------------------------------------------------------
0.01/0.08 c # SCIP version 2.0.1.4
0.01/0.08 c
0.01/0.08 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c conflict/interconss = 0
0.01/0.08 c
0.01/0.08 c # should binary conflicts be preferred?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c conflict/preferbinary = TRUE
0.01/0.08 c
0.01/0.08 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c constraints/agelimit = 1
0.01/0.08 c
0.01/0.08 c # should enforcement of pseudo solution be disabled?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/disableenfops = TRUE
0.01/0.08 c
0.01/0.08 c # frequency for displaying node information lines
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.08 c display/freq = 10000
0.01/0.08 c
0.01/0.08 c # maximal time in seconds to run
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/time = 1797
0.01/0.08 c
0.01/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/memory = 13950
0.01/0.08 c
0.01/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.08 c # [type: int, range: [1,2], default: 1]
0.01/0.08 c timing/clocktype = 2
0.01/0.08 c
0.01/0.08 c # belongs reading time to solving time?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c timing/reading = TRUE
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify inequalities
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/linear/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/indicator/addCouplingCons = TRUE
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify knapsacks
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c -----------------------------------------------------------------------------------------------
0.01/0.08 c start solving
0.01/0.08 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 556 | - |7968k| 0 | 500 | 500 |3164 | 500 |3164 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.09/0.12 o -1
0.09/0.12 c R 0.1s| 1 | 0 | 556 | - |7974k| 0 | 500 | 500 |3164 | 500 |3164 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.09/0.13 o -2
0.09/0.13 c s 0.1s| 1 | 0 | 556 | - |7979k| 0 | 500 | 500 |3164 | 500 |3164 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.09/0.19 c 0.2s| 1 | 0 | 709 | - |7987k| 0 | 489 | 500 |3164 | 500 |3177 | 13 | 0 | 0 |-2.445000e+02 |-2.000000e+00 | 99.18%
0.09/0.19 o -86
0.09/0.19 c b 0.2s| 1 | 0 | 709 | - |8001k| 0 | 489 | 500 |3164 | 500 |3177 | 13 | 0 | 0 |-2.445000e+02 |-8.600000e+01 | 64.83%
0.19/0.26 c 0.3s| 1 | 0 | 841 | - |8024k| 0 | 478 | 500 |3164 | 500 |3191 | 27 | 0 | 0 |-2.390000e+02 |-8.600000e+01 | 64.02%
0.28/0.36 c 0.4s| 1 | 0 | 1084 | - |8043k| 0 | 473 | 500 |3164 | 500 |3201 | 37 | 0 | 0 |-2.363333e+02 |-8.600000e+01 | 63.61%
0.38/0.45 c 0.5s| 1 | 0 | 1296 | - |8055k| 0 | 469 | 500 |3164 | 500 |3210 | 46 | 0 | 0 |-2.337500e+02 |-8.600000e+01 | 63.21%
0.49/0.58 c 0.6s| 1 | 0 | 1647 | - |8095k| 0 | 463 | 500 |3164 | 500 |3220 | 56 | 0 | 0 |-2.315000e+02 |-8.600000e+01 | 62.85%
0.59/0.68 c 0.7s| 1 | 0 | 1783 | - |8109k| 0 | 464 | 500 |3164 | 500 |3231 | 67 | 0 | 0 |-2.300000e+02 |-8.600000e+01 | 62.61%
0.89/0.92 c 0.9s| 1 | 0 | 2726 | - |8946k| 0 | 458 | 500 |3164 | 500 |3241 | 77 | 0 | 0 |-2.275000e+02 |-8.600000e+01 | 62.20%
0.99/1.06 c 1.1s| 1 | 0 | 3120 | - |9066k| 0 | 453 | 500 |3164 | 500 |3251 | 87 | 0 | 0 |-2.260000e+02 |-8.600000e+01 | 61.95%
1.18/1.24 c 1.2s| 1 | 0 | 3920 | - |9107k| 0 | 449 | 500 |3164 | 500 |3261 | 97 | 0 | 0 |-2.230000e+02 |-8.600000e+01 | 61.43%
1.29/1.39 c 1.4s| 1 | 0 | 4403 | - |9195k| 0 | 446 | 500 |3164 | 500 |3270 | 106 | 0 | 0 |-2.215000e+02 |-8.600000e+01 | 61.17%
1.49/1.55 c 1.6s| 1 | 0 | 4854 | - |9646k| 0 | 438 | 500 |3164 | 500 | 926 | 117 | 0 | 0 |-2.185000e+02 |-8.600000e+01 | 60.64%
1.49/1.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.59 c 1.6s| 1 | 0 | 4903 | - |9727k| 0 | 429 | 500 |3164 | 500 | 937 | 128 | 0 | 0 |-2.175000e+02 |-8.600000e+01 | 60.46%
1.69/1.71 c 1.7s| 1 | 0 | 5243 | - | 10M| 0 | 413 | 500 |3164 | 500 | 959 | 150 | 0 | 0 |-2.165000e+02 |-8.600000e+01 | 60.28%
1.78/1.86 c 1.9s| 1 | 0 | 6131 | - | 10M| 0 | 429 | 500 |3164 | 500 |1051 | 242 | 0 | 0 |-2.155000e+02 |-8.600000e+01 | 60.09%
1.89/1.93 c 1.9s| 1 | 0 | 6351 | - | 10M| 0 | 435 | 500 |3164 | 500 |1064 | 255 | 0 | 0 |-2.150000e+02 |-8.600000e+01 | 60.00%
1.99/2.05 c 2.0s| 1 | 0 | 7137 | - | 10M| 0 | 432 | 500 |3164 | 500 |1084 | 275 | 0 | 0 |-2.145000e+02 |-8.600000e+01 | 59.91%
2.09/2.14 c 2.1s| 1 | 0 | 7433 | - | 11M| 0 | 415 | 500 |3164 | 500 | 792 | 321 | 0 | 0 |-2.140000e+02 |-8.600000e+01 | 59.81%
2.29/2.31 c 2.3s| 1 | 0 | 8121 | - | 11M| 0 | 425 | 500 |3164 | 500 | 856 | 385 | 0 | 0 |-2.130000e+02 |-8.600000e+01 | 59.62%
2.48/2.51 c 2.5s| 1 | 0 | 8956 | - | 11M| 0 | 464 | 500 |3164 | 500 |1004 | 533 | 0 | 0 |-2.122697e+02 |-8.600000e+01 | 59.49%
2.59/2.69 c 2.7s| 1 | 0 | 9471 | - | 13M| 0 | 448 | 500 |3164 | 500 |1334 | 863 | 0 | 0 |-2.113312e+02 |-8.600000e+01 | 59.31%
2.79/2.83 c 2.8s| 1 | 0 | 10279 | - | 13M| 0 | 435 | 500 |3164 | 500 |1351 | 880 | 0 | 0 |-2.095000e+02 |-8.600000e+01 | 58.95%
2.89/2.95 c 3.0s| 1 | 0 | 10920 | - | 13M| 0 | 414 | 500 |3164 | 500 |1388 | 917 | 0 | 0 |-2.090000e+02 |-8.600000e+01 | 58.85%
3.09/3.10 c 3.1s| 1 | 0 | 12224 | - | 13M| 0 | 449 | 500 |3164 | 500 |1248 | 949 | 0 | 0 |-2.078750e+02 |-8.600000e+01 | 58.63%
3.20/3.23 c 3.2s| 1 | 0 | 12896 | - | 14M| 0 | 455 | 500 |3164 | 500 |1306 |1007 | 0 | 0 |-2.065000e+02 |-8.600000e+01 | 58.35%
3.39/3.40 c 3.4s| 1 | 0 | 14021 | - | 15M| 0 | 452 | 500 |3164 | 500 |1385 |1086 | 0 | 0 |-2.049000e+02 |-8.600000e+01 | 58.03%
3.49/3.55 c 3.5s| 1 | 0 | 14825 | - | 15M| 0 | 448 | 500 |3164 | 500 |1395 |1096 | 0 | 0 |-2.038571e+02 |-8.600000e+01 | 57.81%
3.59/3.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.59/3.68 c 3.7s| 1 | 0 | 15436 | - | 15M| 0 | 420 | 500 |3164 | 500 |1470 |1171 | 0 | 0 |-2.030000e+02 |-8.600000e+01 | 57.64%
3.79/3.84 c 3.8s| 1 | 0 | 16360 | - | 15M| 0 | 444 | 500 |3164 | 500 |1483 |1184 | 0 | 0 |-2.030000e+02 |-8.600000e+01 | 57.64%
3.99/4.08 c 4.1s| 1 | 0 | 18190 | - | 16M| 0 | 405 | 500 |3164 | 500 |1271 |1222 | 0 | 0 |-2.025000e+02 |-8.600000e+01 | 57.53%
4.19/4.20 c 4.2s| 1 | 0 | 19079 | - | 16M| 0 | 433 | 500 |3164 | 500 |1281 |1232 | 0 | 0 |-2.015000e+02 |-8.600000e+01 | 57.32%
4.30/4.34 c 4.3s| 1 | 0 | 19683 | - | 16M| 0 | 400 | 500 |3164 | 500 |1297 |1248 | 0 | 0 |-2.010000e+02 |-8.600000e+01 | 57.21%
4.40/4.44 c 4.4s| 1 | 0 | 20317 | - | 17M| 0 | 416 | 500 |3164 | 500 |1311 |1262 | 0 | 0 |-1.999444e+02 |-8.600000e+01 | 56.99%
4.49/4.55 c 4.6s| 1 | 0 | 20682 | - | 17M| 0 | 407 | 500 |3164 | 500 |1400 |1351 | 0 | 0 |-1.990000e+02 |-8.600000e+01 | 56.78%
4.59/4.68 c 4.7s| 1 | 0 | 20949 | - | 18M| 0 | 399 | 500 |3164 | 500 |1436 |1387 | 0 | 0 |-1.990000e+02 |-8.600000e+01 | 56.78%
4.89/4.94 c 4.9s| 1 | 0 | 22742 | - | 18M| 0 | 397 | 500 |3164 | 500 | 971 |1398 | 0 | 0 |-1.990000e+02 |-8.600000e+01 | 56.78%
4.99/5.07 c 5.1s| 1 | 0 | 23455 | - | 19M| 0 | 453 | 500 |3164 | 500 | 984 |1411 | 0 | 0 |-1.985000e+02 |-8.600000e+01 | 56.68%
5.19/5.20 c 5.2s| 1 | 0 | 24039 | - | 20M| 0 | 419 | 500 |3164 | 500 |1068 |1495 | 0 | 0 |-1.975000e+02 |-8.600000e+01 | 56.46%
5.28/5.30 c 5.3s| 1 | 0 | 24573 | - | 20M| 0 | 436 | 500 |3164 | 500 |1089 |1516 | 0 | 0 |-1.965000e+02 |-8.600000e+01 | 56.23%
5.40/5.45 c 5.5s| 1 | 0 | 25205 | - | 22M| 0 | 451 | 500 |3164 | 500 |1124 |1551 | 0 | 0 |-1.959338e+02 |-8.600000e+01 | 56.11%
5.59/5.65 c 5.6s| 1 | 0 | 26324 | - | 23M| 0 | 433 | 500 |3164 | 500 |1203 |1630 | 0 | 0 |-1.950000e+02 |-8.600000e+01 | 55.90%
5.78/5.86 c 5.9s| 1 | 0 | 27814 | - | 24M| 0 | 423 | 500 |3164 | 500 | 989 |1664 | 0 | 0 |-1.945000e+02 |-8.600000e+01 | 55.78%
5.89/5.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.97 c 6.0s| 1 | 0 | 28265 | - | 24M| 0 | 452 | 500 |3164 | 500 |1019 |1694 | 0 | 0 |-1.940000e+02 |-8.600000e+01 | 55.67%
6.19/6.22 c 6.2s| 1 | 0 | 30302 | - | 25M| 0 | 465 | 500 |3164 | 500 |1093 |1768 | 0 | 0 |-1.935713e+02 |-8.600000e+01 | 55.57%
6.29/6.37 c 6.4s| 1 | 0 | 30863 | - | 26M| 0 | 455 | 500 |3164 | 500 |1289 |1964 | 0 | 0 |-1.930000e+02 |-8.600000e+01 | 55.44%
6.39/6.48 c 6.5s| 1 | 0 | 31090 | - | 26M| 0 | 456 | 500 |3164 | 500 |1309 |1984 | 0 | 0 |-1.930000e+02 |-8.600000e+01 | 55.44%
6.59/6.69 c 6.7s| 1 | 0 | 31886 | - | 26M| 0 | 445 | 500 |3164 | 500 |1318 |1993 | 0 | 0 |-1.930000e+02 |-8.600000e+01 | 55.44%
6.79/6.84 c 6.8s| 1 | 0 | 32181 | - | 26M| 0 | 444 | 500 |3164 | 500 |1097 |2007 | 0 | 0 |-1.930000e+02 |-8.600000e+01 | 55.44%
6.89/6.94 c 6.9s| 1 | 0 | 32368 | - | 28M| 0 | 446 | 500 |3164 | 500 |1104 |2014 | 0 | 0 |-1.930000e+02 |-8.600000e+01 | 55.44%
6.98/7.08 c 7.1s| 1 | 0 | 32785 | - | 28M| 0 | 445 | 500 |3164 | 500 |1108 |2018 | 0 | 0 |-1.930000e+02 |-8.600000e+01 | 55.44%
11.09/11.11 c 11.1s| 1 | 2 | 32785 | - | 28M| 0 | 445 | 500 |3164 | 500 |1108 |2018 | 0 | 36 |-1.930000e+02 |-8.600000e+01 | 55.44%
129.30/129.36 c 129s| 10000 | 10001 | 1720k| 168.7 | 40M| 55 | 43 | 500 |3164 | 500 | 481 | 687k| 0 |5849 |-1.930000e+02 |-8.600000e+01 | 55.44%
231.70/231.79 c 232s| 20000 | 20001 | 3330k| 164.9 | 51M| 62 | 22 | 500 |3164 | 500 | 481 |1308k| 0 |8312 |-1.930000e+02 |-8.600000e+01 | 55.44%
320.90/320.98 c 321s| 30000 | 30001 | 4782k| 158.3 | 62M| 69 | 21 | 500 |3164 | 500 | 580 |1894k| 0 | 10k|-1.930000e+02 |-8.600000e+01 | 55.44%
416.40/416.47 c 416s| 40000 | 40001 | 6312k| 157.0 | 73M| 69 | 264 | 500 |3164 | 500 | 794 |2488k| 0 | 11k|-1.930000e+02 |-8.600000e+01 | 55.44%
511.11/511.14 c 511s| 50000 | 50001 | 7854k| 156.4 | 85M| 69 | 51 | 500 |3164 | 500 | 575 |3084k| 0 | 12k|-1.930000e+02 |-8.600000e+01 | 55.44%
606.41/606.46 c 606s| 60000 | 60001 | 9406k| 156.2 | 96M| 69 | 33 | 500 |3164 | 500 | 481 |3684k| 0 | 14k|-1.930000e+02 |-8.600000e+01 | 55.44%
698.11/698.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.11/698.19 c 698s| 70000 | 70001 | 10919k| 155.5 | 107M| 69 | 165 | 500 |3164 | 500 | 578 |4289k| 0 | 15k|-1.930000e+02 |-8.600000e+01 | 55.44%
793.21/793.21 c 793s| 80000 | 80001 | 12476k| 155.5 | 118M| 69 | 28 | 500 |3164 | 500 | 744 |4874k| 0 | 16k|-1.930000e+02 |-8.600000e+01 | 55.44%
880.12/880.14 c 880s| 90000 | 90001 | 13911k| 154.2 | 129M| 71 | 149 | 500 |3164 | 500 | 588 |5423k| 0 | 16k|-1.930000e+02 |-8.600000e+01 | 55.44%
966.52/966.54 c 967s|100000 |100001 | 15319k| 152.9 | 141M| 71 | 213 | 500 |3164 | 500 | 574 |5960k| 0 | 17k|-1.930000e+02 |-8.600000e+01 | 55.44%
1049.52/1049.50 c 1049s|110000 |110001 | 16684k| 151.4 | 152M| 71 | 8 | 500 |3164 | 500 | 481 |6501k| 0 | 18k|-1.930000e+02 |-8.600000e+01 | 55.44%
1131.83/1131.85 c 1132s|120000 |120001 | 18059k| 150.2 | 163M| 71 | 45 | 500 |3164 | 500 | 582 |7031k| 0 | 19k|-1.930000e+02 |-8.600000e+01 | 55.44%
1215.62/1215.64 c 1216s|130000 |130001 | 19453k| 149.4 | 174M| 71 | 93 | 500 |3164 | 500 | 581 |7565k| 0 | 19k|-1.930000e+02 |-8.600000e+01 | 55.44%
1297.62/1297.66 c 1298s|140000 |140001 | 20807k| 148.4 | 185M| 71 | 34 | 500 |3164 | 500 | 481 |8080k| 0 | 20k|-1.930000e+02 |-8.600000e+01 | 55.44%
1376.73/1376.70 c 1377s|150000 |150001 | 22134k| 147.3 | 197M| 71 | 8 | 500 |3164 | 500 | 573 |8615k| 0 | 20k|-1.930000e+02 |-8.600000e+01 | 55.44%
1455.53/1455.59 c 1456s|160000 |160001 | 23473k| 146.5 | 208M| 71 | 2 | 500 |3164 | 500 | 481 |9147k| 0 | 21k|-1.930000e+02 |-8.600000e+01 | 55.44%
1534.94/1534.92 c 1535s|170000 |170001 | 24794k| 145.7 | 219M| 71 | 192 | 500 |3164 | 500 | 787 |9662k| 0 | 21k|-1.930000e+02 |-8.600000e+01 | 55.44%
1613.54/1613.59 c 1614s|180000 |180001 | 26103k| 144.8 | 230M| 71 | 107 | 500 |3164 | 500 | 563 | 10M| 0 | 22k|-1.930000e+02 |-8.600000e+01 | 55.44%
1693.24/1693.25 c 1693s|190000 |190001 | 27421k| 144.2 | 241M| 71 | 216 | 500 |3164 | 500 | 758 | 10M| 0 | 22k|-1.930000e+02 |-8.600000e+01 | 55.44%
1772.64/1772.69 c 1773s|200000 |200001 | 28755k| 143.6 | 252M| 71 | 26 | 500 |3164 | 500 | 580 | 11M| 0 | 23k|-1.930000e+02 |-8.600000e+01 | 55.44%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 202994
1797.05/1797.00 c Primal Bound : -8.60000000000000e+01 (517 solutions)
1797.05/1797.00 c Dual Bound : -1.93000000000000e+02
1797.05/1797.00 c Gap : 55.44 %
1797.05/1797.00 s SATISFIABLE
1797.05/1797.00 v -x500 x499 x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 -x480 -x479
1797.05/1797.00 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.05/1797.00 v -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 x440 -x439 -x438 -x437
1797.05/1797.00 v -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1797.05/1797.00 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394
1797.05/1797.00 v -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.05/1797.00 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1797.05/1797.00 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 x336 -x335 -x334 -x333 -x332 -x331
1797.05/1797.00 v -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 x313 -x312 -x311 -x310 -x309
1797.05/1797.00 v -x308 x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.05/1797.00 v -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.05/1797.00 v -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246
1797.05/1797.00 v x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 x224
1797.05/1797.00 v x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203
1797.05/1797.00 v -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182
1797.05/1797.00 v -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 x164 -x163 -x162 -x161 -x160
1797.05/1797.00 v -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139
1797.05/1797.00 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118
1797.05/1797.00 v -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96
1797.05/1797.00 v x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 x83 -x82 -x81 x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 x71 -x70
1797.05/1797.00 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 x59 -x58 -x57 x56 -x55 x54 -x53 -x52 x51 -x50 x49 x48 -x47 x46 -x45 x44 -x43
1797.05/1797.00 v x42 x41 x40 x39 -x38 x37 -x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28 x27 -x26 x25 x24 x23 x22 x21 -x20 -x19 -x18 -x17 -x16 -x15
1797.05/1797.00 v -x14 -x13 x12 x11 x10 x9 x8 -x7 x6 x5 x4 x3 x2 -x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.07 (included in solving)
1797.05/1797.00 c reading : 0.01 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485174-1307785277.opb
1797.05/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 500 initial, 500 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485174-1307785277.opb
1797.05/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 3164 initial, 3164 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.01 3164 0 0 3164 0 500 0 0 0
1797.05/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 246511 0 385514 0 0 0 0 0 405986
1797.05/1797.00 c logicor : 3164 49 294425 43518 0 385510 0 0 1792103 11358601 0 0
1797.05/1797.00 c countsols : 0 0 0 0 0 519 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 79.62 0.00 0.00 79.52 0.00 0.10 0.00
1797.05/1797.00 c logicor : 19.04 0.02 4.99 9.13 0.00 4.90 0.00
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 0 0 0 0
1797.05/1797.00 c pseudoobj : 604588 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.09 0.09 0.00
1797.05/1797.00 c rootredcost : 0.09 0.09 0.00
1797.05/1797.00 c pseudoobj : 4.99 4.99 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 0 0.0 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.07 48 - - 220 - (maximal pool size: 4183)
1797.05/1797.00 c redcost : 2.17 246559 0 0 0 0
1797.05/1797.00 c impliedbounds : 0.01 49 0 0 2714 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 1.92 49 0 0 23396 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.51 20 0 0 10000 0
1797.05/1797.00 c cmir : 0.07 10 0 0 0 0
1797.05/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.05/1797.00 c clique : 0.13 49 0 0 320 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 79.38 202993 0 0 0 0 405986
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 0
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c intshifting : 0.00 0 0
1797.05/1797.00 c feaspump : 0.00 0 0
1797.05/1797.00 c oneopt : 0.12 2 1
1797.05/1797.00 c crossover : 0.18 10 5
1797.05/1797.00 c objpscostdiving : 18.53 1084 20
1797.05/1797.00 c rootsoldiving : 10.99 1219 0
1797.05/1797.00 c linesearchdiving : 27.38 3236 33
1797.05/1797.00 c coefdiving : 28.47 3236 109
1797.05/1797.00 c pscostdiving : 28.27 3236 82
1797.05/1797.00 c fracdiving : 27.63 3236 12
1797.05/1797.00 c veclendiving : 35.59 3236 28
1797.05/1797.00 c guideddiving : 27.27 3236 27
1797.05/1797.00 c trivial : 0.00 2 1
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 4.22 203039 197
1797.05/1797.00 c zirounding : 0.13 1000 0
1797.05/1797.00 c rounding : 13.30 21485 1
1797.05/1797.00 c shifting : 4.14 6413 1
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.00 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.03 0 0
1797.05/1797.00 c trysol : 0.05 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 13.32 0 0 0.00 0.00
1797.05/1797.00 c dual LP : 1406.34 246544 26129550 105.98 18579.78
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 171.16 154483 3030440 19.62 17705.27
1797.05/1797.00 c strong branching : 74.50 23575 978901 41.52 13140.33
1797.05/1797.00 c (at root node) : - 36 33986 944.06 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 202994
1797.05/1797.00 c nodes (total) : 202994
1797.05/1797.00 c nodes left : 202995
1797.05/1797.00 c max depth : 71
1797.05/1797.00 c max depth (total): 71
1797.05/1797.00 c backtracks : 21718 (10.7%)
1797.05/1797.00 c delayed cutoffs : 0
1797.05/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.00 c avg switch length: 3.66
1797.05/1797.00 c switching time : 23.77
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 517 (4 improvements)
1797.05/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.05/1797.00 c Primal Bound : -8.60000000000000e+01 (in run 1, after 1 nodes, 0.19 seconds, depth 0, found by <oneopt>)
1797.05/1797.00 c Dual Bound : -1.93000000000000e+02
1797.05/1797.00 c Gap : 55.44 %
1797.05/1797.00 c Root Dual Bound : -1.93000000000000e+02
1797.05/1797.00 c Root Iterations : 32785
1797.25/1797.30 c Time complete: 1797.35.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485174-1307785277/watcher-3485174-1307785277 -o /tmp/evaluation-result-3485174-1307785277/solver-3485174-1307785277 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485174-1307785277.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 1.94 2/177 12269
/proc/meminfo: memFree=31268032/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=8088 CPUtime=0 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 912 0 0 0 0 0 0 0 25 0 1 0 890128448 8282112 867 33554432000 4194304 8979876 140736331931344 18446744073709551615 7836189 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12269/statm: 2022 879 346 1169 0 849 0
[startup+0.0253131 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 12269
/proc/meminfo: memFree=31268032/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=20780 CPUtime=0.01 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 3939 0 0 0 1 0 0 0 25 0 1 0 890128448 21278720 3894 33554432000 4194304 8979876 140736331931344 18446744073709551615 4445973 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 5195 3894 456 1169 0 4022 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20780
[startup+0.100298 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 12269
/proc/meminfo: memFree=31268032/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=31888 CPUtime=0.09 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 7104 0 0 0 9 0 0 0 18 0 1 0 890128448 32653312 6799 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 7972 6799 621 1169 0 6799 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31888
[startup+0.300261 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 12269
/proc/meminfo: memFree=31268032/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=33908 CPUtime=0.28 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 7741 0 0 0 28 0 0 0 18 0 1 0 890128448 34721792 7343 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 8477 7343 665 1169 0 7304 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33908
[startup+0.700197 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 12269
/proc/meminfo: memFree=31268032/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=37728 CPUtime=0.68 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 8653 0 0 0 67 1 0 0 18 0 1 0 890128448 38633472 8223 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 9432 8223 655 1169 0 8259 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37728
[startup+1.50104 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12270
/proc/meminfo: memFree=31232832/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=45748 CPUtime=1.49 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 10807 0 0 0 146 3 0 0 19 0 1 0 890128448 46845952 10339 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 11437 10339 661 1169 0 10264 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45748
[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12270
/proc/meminfo: memFree=31222508/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=63576 CPUtime=3.09 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 15238 0 0 0 302 7 0 0 25 0 1 0 890128448 65101824 14728 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 15894 14728 658 1169 0 14721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63576
[startup+6.30016 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12270
/proc/meminfo: memFree=31198568/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=76628 CPUtime=6.29 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 18593 0 0 0 616 13 0 0 25 0 1 0 890128448 78467072 18026 33554432000 4194304 8979876 140736331931344 18446744073709551615 6584230 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 19157 18026 656 1169 0 17984 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76628
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12270
/proc/meminfo: memFree=31195460/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=78716 CPUtime=12.69 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 19701 0 0 0 1243 26 0 0 25 0 1 0 890128448 80605184 18653 33554432000 4194304 8979876 140736331931344 18446744073709551615 7179197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 19679 18653 710 1169 0 18506 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78716
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12270
/proc/meminfo: memFree=31196860/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=77692 CPUtime=25.49 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 23588 0 0 0 2472 77 0 0 25 0 1 0 890128448 79556608 18422 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 19423 18422 698 1169 0 18250 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77692
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12271
/proc/meminfo: memFree=31194956/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=80260 CPUtime=51.09 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 29064 0 0 0 4908 201 0 0 25 0 1 0 890128448 82186240 19063 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 20065 19063 698 1169 0 18892 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 80260
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12273
/proc/meminfo: memFree=31188568/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=86732 CPUtime=102.3 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 35507 0 0 0 9780 450 0 0 25 0 1 0 890128448 88813568 20696 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 21683 20696 698 1169 0 20510 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 86732
[startup+162.301 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 12274
/proc/meminfo: memFree=31182204/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=93208 CPUtime=162.29 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 37135 0 0 0 15485 744 0 0 25 0 1 0 890128448 95444992 22321 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 23302 22321 698 1169 0 22129 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 93208
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 12276
/proc/meminfo: memFree=31173480/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=102136 CPUtime=222.3 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 41792 0 0 0 21186 1044 0 0 25 0 1 0 890128448 104587264 24545 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 25534 24545 698 1169 0 24361 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 102136
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12277
/proc/meminfo: memFree=31165244/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=110180 CPUtime=282.29 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 43883 0 0 0 26889 1340 0 0 25 0 1 0 890128448 112824320 26633 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 27545 26633 698 1169 0 26372 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 110180
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12279
/proc/meminfo: memFree=31155536/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=119788 CPUtime=342.3 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 46287 0 0 0 32595 1635 0 0 25 0 1 0 890128448 122662912 29035 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 29947 29035 698 1169 0 28774 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 119788
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12281
/proc/meminfo: memFree=31149784/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=124728 CPUtime=402.3 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 47575 0 0 0 38300 1930 0 0 25 0 1 0 890128448 127721472 30320 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 31182 30320 698 1169 0 30009 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 124728
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12282
/proc/meminfo: memFree=31135600/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=133964 CPUtime=462.3 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 52284 0 0 0 44003 2227 0 0 25 0 1 0 890128448 137179136 32649 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 33491 32649 698 1169 0 32318 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 133964
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12284
/proc/meminfo: memFree=31128124/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=139868 CPUtime=522.3 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 53783 0 0 0 49701 2529 0 0 25 0 1 0 890128448 143224832 34142 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 34967 34142 698 1169 0 33794 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 139868
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12285
/proc/meminfo: memFree=31118168/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=148968 CPUtime=582.31 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 56055 0 0 0 55403 2828 0 0 25 0 1 0 890128448 152543232 36404 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 37242 36404 698 1169 0 36069 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 148968
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31031176/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=212276 CPUtime=1062.33 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 76412 0 0 0 101021 5212 0 0 25 0 1 0 890128448 217370624 51962 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 53069 51962 698 1169 0 51896 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 212276
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12338
/proc/meminfo: memFree=31169624/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=223588 CPUtime=1122.32 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 79262 0 0 0 106709 5523 0 0 25 0 1 0 890128448 228954112 54805 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 55897 54805 698 1169 0 54724 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 223588
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12339
/proc/meminfo: memFree=31161520/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=231620 CPUtime=1182.33 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 81310 0 0 0 112432 5801 0 0 25 0 1 0 890128448 237178880 56851 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 57905 56851 708 1169 0 56732 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 231620
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12350
/proc/meminfo: memFree=31155392/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=237268 CPUtime=1242.32 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 82754 0 0 0 118148 6084 0 0 25 0 1 0 890128448 242962432 58282 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 59317 58282 698 1169 0 58144 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 237268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12352
/proc/meminfo: memFree=31146424/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=246140 CPUtime=1302.34 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 84975 0 0 0 123869 6365 0 0 25 0 1 0 890128448 252047360 60502 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 61535 60502 698 1169 0 60362 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 246140
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12355
/proc/meminfo: memFree=31135712/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=256620 CPUtime=1362.33 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 87643 0 0 0 129573 6660 0 0 25 0 1 0 890128448 262778880 63169 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 64155 63169 698 1169 0 62982 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 256620
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 12358
/proc/meminfo: memFree=31128668/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=263392 CPUtime=1422.33 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 89409 0 0 0 135278 6955 0 0 25 0 1 0 890128448 269713408 64934 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 65848 64934 698 1169 0 64675 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 263392
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/178 12359
/proc/meminfo: memFree=31118832/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=273492 CPUtime=1482.33 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 91907 0 0 0 140981 7252 0 0 25 0 1 0 890128448 280055808 67430 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 68373 67430 698 1169 0 67200 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 273492
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/178 12361
/proc/meminfo: memFree=31111232/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=281092 CPUtime=1542.34 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 93859 0 0 0 146696 7538 0 0 25 0 1 0 890128448 287838208 69348 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 70273 69348 698 1169 0 69100 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 281092
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/178 12363
/proc/meminfo: memFree=31104880/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=287608 CPUtime=1602.33 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 95575 0 0 0 152410 7823 0 0 25 0 1 0 890128448 294510592 71059 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 71902 71059 698 1169 0 70729 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 287608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12364
/proc/meminfo: memFree=31096416/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=295508 CPUtime=1662.34 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 97581 0 0 0 158115 8119 0 0 25 0 1 0 890128448 302600192 73063 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 73877 73063 698 1169 0 72704 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 295508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12366
/proc/meminfo: memFree=31086824/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=305148 CPUtime=1722.34 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 100003 0 0 0 163820 8414 0 0 25 0 1 0 890128448 312471552 75481 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 76287 75481 698 1169 0 75114 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 305148
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12367
/proc/meminfo: memFree=31079228/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=316952 CPUtime=1782.34 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 101893 0 0 0 169522 8712 0 0 25 0 1 0 890128448 324558848 77367 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 79238 77367 698 1169 0 78065 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 316952
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12367
/proc/meminfo: memFree=31079228/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=316952 CPUtime=1785.55 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 101894 0 0 0 169826 8729 0 0 25 0 1 0 890128448 324558848 77368 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 79238 77368 698 1169 0 78065 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 316952
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12368
/proc/meminfo: memFree=31078600/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=316952 CPUtime=1791.95 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 101996 0 0 0 170431 8764 0 0 25 0 1 0 890128448 324558848 77470 33554432000 4194304 8979876 140736331931344 18446744073709551615 7047490 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 79238 77470 698 1169 0 78065 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 316952
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12368
/proc/meminfo: memFree=31078352/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=317352 CPUtime=1795.15 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 102065 0 0 0 170738 8777 0 0 25 0 1 0 890128448 324968448 77539 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 79338 77539 698 1169 0 78165 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 317352
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12368
/proc/meminfo: memFree=31078352/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=317352 CPUtime=1796.74 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 102068 0 0 0 170890 8784 0 0 25 0 1 0 890128448 324968448 77542 33554432000 4194304 8979876 140736331931344 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/12269/statm: 79338 77542 698 1169 0 78165 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 317352
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12368
/proc/meminfo: memFree=31078352/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=317352 CPUtime=1797.15 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) R 12267 12269 9145 0 -1 4202496 102071 0 0 0 170929 8786 0 0 18 0 1 0 890128448 324968448 77545 33554432000 4194304 8979876 140736331931344 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12269/statm: 79338 77545 701 1169 0 78165 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 317352
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12368
/proc/meminfo: memFree=31325608/32951124 swapFree=67056684/67111528
[pid=12269] ppid=12267 vsize=0 CPUtime=1797.35 cores=1,3,5,7
/proc/12269/stat : 12269 (scip-2.0.1.4_2.) Z 12267 12269 9145 0 -1 4202524 102076 0 0 0 170948 8787 0 0 18 0 1 0 890128448 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/12269/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1797.31
CPU time (s): 1797.36
CPU user time (s): 1709.48
CPU system time (s): 87.8726
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 317352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.48
system time used= 87.8726
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102076
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= 7
involuntary context switches= 1868
runsolver used 2.36564 second user time and 5.81212 second system time
The end