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-3485171-1307785268.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.00/0.06 o 0
0.00/0.06 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.06 c presolving:
0.09/0.12 c (round 1) 7877 del vars, 500 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31508 impls, 0 clqs
0.09/0.14 c (round 2) 7877 del vars, 500 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 47262 impls, 0 clqs
0.09/0.17 c (0.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (3 rounds):
0.09/0.17 c 7877 deleted vars, 500 deleted constraints, 0 added constraints, 7877 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 47262 implications, 0 cliques
0.09/0.17 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7877 constraints
0.09/0.17 c 7877 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.15
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 2.0.1.4
0.09/0.17 c
0.09/0.17 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c conflict/interconss = 0
0.09/0.17 c
0.09/0.17 c # should binary conflicts be preferred?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c conflict/preferbinary = TRUE
0.09/0.17 c
0.09/0.17 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.17 c constraints/agelimit = 1
0.09/0.17 c
0.09/0.17 c # should enforcement of pseudo solution be disabled?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/disableenfops = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1797
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 13950
0.09/0.17 c
0.09/0.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17 c # [type: int, range: [1,2], default: 1]
0.09/0.17 c timing/clocktype = 2
0.09/0.17 c
0.09/0.17 c # belongs reading time to solving time?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c timing/reading = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/indicator/addCouplingCons = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.18/0.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.18/0.24 c t 0.2s| 1 | 0 | 525 | - | 17M| 0 | 500 | 500 |7877 | 500 |7877 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.18/0.25 o -1
0.18/0.25 c R 0.2s| 1 | 0 | 525 | - | 17M| 0 | 500 | 500 |7877 | 500 |7877 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.18/0.26 o -2
0.18/0.26 c s 0.3s| 1 | 0 | 525 | - | 17M| 0 | 500 | 500 |7877 | 500 |7877 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.29/0.39 c 0.4s| 1 | 0 | 686 | - | 17M| 0 | 492 | 500 |7877 | 500 |7885 | 8 | 0 | 0 |-2.460000e+02 |-2.000000e+00 | 99.19%
0.29/0.39 o -51
0.29/0.39 c b 0.4s| 1 | 0 | 686 | - | 17M| 0 | 492 | 500 |7877 | 500 |7885 | 8 | 0 | 0 |-2.460000e+02 |-5.100000e+01 | 79.27%
0.49/0.54 c 0.5s| 1 | 0 | 852 | - | 17M| 0 | 484 | 500 |7877 | 500 |7897 | 20 | 0 | 0 |-2.420000e+02 |-5.100000e+01 | 78.93%
0.59/0.69 c 0.7s| 1 | 0 | 955 | - | 17M| 0 | 480 | 500 |7877 | 500 |7906 | 29 | 0 | 0 |-2.400000e+02 |-5.100000e+01 | 78.75%
0.79/0.86 c 0.9s| 1 | 0 | 1134 | - | 17M| 0 | 477 | 500 |7877 | 500 |7914 | 37 | 0 | 0 |-2.385000e+02 |-5.100000e+01 | 78.62%
0.99/1.03 c 1.0s| 1 | 0 | 1286 | - | 17M| 0 | 473 | 500 |7877 | 500 |7921 | 44 | 0 | 0 |-2.365000e+02 |-5.100000e+01 | 78.44%
1.19/1.22 c 1.2s| 1 | 0 | 1422 | - | 17M| 0 | 473 | 500 |7877 | 500 |7929 | 52 | 0 | 0 |-2.345000e+02 |-5.100000e+01 | 78.25%
1.39/1.41 c 1.4s| 1 | 0 | 1577 | - | 17M| 0 | 466 | 500 |7877 | 500 |7940 | 63 | 0 | 0 |-2.330000e+02 |-5.100000e+01 | 78.11%
1.59/1.68 c 1.7s| 1 | 0 | 2081 | - | 18M| 0 | 460 | 500 |7877 | 500 |7953 | 76 | 0 | 0 |-2.300000e+02 |-5.100000e+01 | 77.83%
1.79/1.86 c 1.9s| 1 | 0 | 2233 | - | 18M| 0 | 457 | 500 |7877 | 500 |7961 | 84 | 0 | 0 |-2.285000e+02 |-5.100000e+01 | 77.68%
1.99/2.09 c 2.1s| 1 | 0 | 2475 | - | 18M| 0 | 454 | 500 |7877 | 500 |7968 | 91 | 0 | 0 |-2.270000e+02 |-5.100000e+01 | 77.53%
2.29/2.37 c 2.4s| 1 | 0 | 2833 | - | 18M| 0 | 455 | 500 |7877 | 500 | 948 | 99 | 0 | 0 |-2.260000e+02 |-5.100000e+01 | 77.43%
2.39/2.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.47 c 2.5s| 1 | 0 | 3375 | - | 18M| 0 | 451 | 500 |7877 | 500 | 958 | 109 | 0 | 0 |-2.247500e+02 |-5.100000e+01 | 77.31%
2.49/2.58 c 2.6s| 1 | 0 | 3943 | - | 18M| 0 | 438 | 500 |7877 | 500 |1157 | 308 | 0 | 0 |-2.230000e+02 |-5.100000e+01 | 77.13%
2.69/2.76 c 2.8s| 1 | 0 | 4976 | - | 19M| 0 | 435 | 500 |7877 | 500 |1248 | 399 | 0 | 0 |-2.210000e+02 |-5.100000e+01 | 76.92%
2.79/2.87 c 2.9s| 1 | 0 | 5413 | - | 19M| 0 | 445 | 500 |7877 | 500 |1364 | 515 | 0 | 0 |-2.187500e+02 |-5.100000e+01 | 76.69%
2.89/2.98 c 3.0s| 1 | 0 | 5861 | - | 19M| 0 | 440 | 500 |7877 | 500 |1444 | 595 | 0 | 0 |-2.172500e+02 |-5.100000e+01 | 76.52%
3.09/3.11 c 3.1s| 1 | 0 | 6774 | - | 19M| 0 | 432 | 500 |7877 | 500 |1169 | 604 | 0 | 0 |-2.163333e+02 |-5.100000e+01 | 76.43%
3.19/3.26 c 3.3s| 1 | 0 | 7906 | - | 19M| 0 | 415 | 500 |7877 | 500 |1300 | 735 | 0 | 0 |-2.145000e+02 |-5.100000e+01 | 76.22%
3.39/3.42 c 3.4s| 1 | 0 | 8497 | - | 20M| 0 | 411 | 500 |7877 | 500 |1458 | 893 | 0 | 0 |-2.125000e+02 |-5.100000e+01 | 76.00%
3.49/3.55 c 3.6s| 1 | 0 | 8880 | - | 20M| 0 | 415 | 500 |7877 | 500 |1606 |1041 | 0 | 0 |-2.115000e+02 |-5.100000e+01 | 75.89%
3.69/3.71 c 3.7s| 1 | 0 | 10108 | - | 20M| 0 | 420 | 500 |7877 | 500 |1707 |1142 | 0 | 0 |-2.087500e+02 |-5.100000e+01 | 75.57%
3.79/3.88 c 3.9s| 1 | 0 | 11192 | - | 20M| 0 | 447 | 500 |7877 | 500 |1840 |1275 | 0 | 0 |-2.077895e+02 |-5.100000e+01 | 75.46%
4.09/4.12 c 4.1s| 1 | 0 | 11849 | - | 21M| 0 | 408 | 500 |7877 | 500 |2397 |2183 | 0 | 0 |-2.050000e+02 |-5.100000e+01 | 75.12%
4.09/4.19 c 4.2s| 1 | 0 | 12091 | - | 21M| 0 | 411 | 500 |7877 | 500 |2428 |2214 | 0 | 0 |-2.040000e+02 |-5.100000e+01 | 75.00%
4.29/4.40 c 4.4s| 1 | 0 | 13257 | - | 21M| 0 | 409 | 500 |7877 | 500 |2487 |2273 | 0 | 0 |-2.020000e+02 |-5.100000e+01 | 74.75%
4.40/4.49 c 4.5s| 1 | 0 | 13566 | - | 21M| 0 | 403 | 500 |7877 | 500 |2512 |2298 | 0 | 0 |-2.005000e+02 |-5.100000e+01 | 74.56%
4.59/4.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.59/4.64 c 4.6s| 1 | 0 | 14241 | - | 22M| 0 | 391 | 500 |7877 | 500 |2591 |2377 | 0 | 0 |-1.975000e+02 |-5.100000e+01 | 74.18%
4.69/4.76 c 4.8s| 1 | 0 | 15071 | - | 22M| 0 | 383 | 500 |7877 | 500 |2640 |2426 | 0 | 0 |-1.955000e+02 |-5.100000e+01 | 73.91%
4.89/4.94 c 4.9s| 1 | 0 | 16377 | - | 22M| 0 | 386 | 500 |7877 | 500 |2126 |2522 | 0 | 0 |-1.930000e+02 |-5.100000e+01 | 73.58%
4.99/5.00 c 5.0s| 1 | 0 | 16592 | - | 22M| 0 | 409 | 500 |7877 | 500 |2137 |2533 | 0 | 0 |-1.920000e+02 |-5.100000e+01 | 73.44%
5.09/5.17 c 5.2s| 1 | 0 | 17598 | - | 22M| 0 | 378 | 500 |7877 | 500 |2380 |2776 | 0 | 0 |-1.901667e+02 |-5.100000e+01 | 73.18%
5.29/5.36 c 5.4s| 1 | 0 | 18623 | - | 22M| 0 | 373 | 500 |7877 | 500 |2601 |2997 | 0 | 0 |-1.875000e+02 |-5.100000e+01 | 72.80%
5.39/5.49 c 5.5s| 1 | 0 | 19283 | - | 23M| 0 | 368 | 500 |7877 | 500 |2643 |3039 | 0 | 0 |-1.860000e+02 |-5.100000e+01 | 72.58%
5.59/5.61 c 5.6s| 1 | 0 | 19947 | - | 23M| 0 | 366 | 500 |7877 | 500 |2698 |3094 | 0 | 0 |-1.853333e+02 |-5.100000e+01 | 72.48%
5.69/5.75 c 5.8s| 1 | 0 | 20861 | - | 23M| 0 | 367 | 500 |7877 | 500 |1417 |3181 | 0 | 0 |-1.843750e+02 |-5.100000e+01 | 72.34%
5.79/5.85 c 5.9s| 1 | 0 | 21524 | - | 23M| 0 | 382 | 500 |7877 | 500 |1480 |3244 | 0 | 0 |-1.832500e+02 |-5.100000e+01 | 72.17%
5.99/6.02 c 6.0s| 1 | 0 | 22555 | - | 24M| 0 | 396 | 500 |7877 | 500 |1791 |3555 | 0 | 0 |-1.817500e+02 |-5.100000e+01 | 71.94%
6.09/6.20 c 6.2s| 1 | 0 | 23418 | - | 25M| 0 | 402 | 500 |7877 | 500 |1914 |3678 | 0 | 0 |-1.810000e+02 |-5.100000e+01 | 71.82%
6.30/6.35 c 6.4s| 1 | 0 | 24314 | - | 25M| 0 | 358 | 500 |7877 | 500 |1973 |3737 | 0 | 0 |-1.800000e+02 |-5.100000e+01 | 71.67%
6.39/6.50 c 6.5s| 1 | 0 | 25457 | - | 26M| 0 | 353 | 500 |7877 | 500 |2020 |3784 | 0 | 0 |-1.795000e+02 |-5.100000e+01 | 71.59%
6.60/6.63 c 6.6s| 1 | 0 | 26182 | - | 26M| 0 | 360 | 500 |7877 | 500 |1564 |3847 | 0 | 0 |-1.790000e+02 |-5.100000e+01 | 71.51%
6.69/6.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.69/6.75 c 6.8s| 1 | 0 | 26596 | - | 26M| 0 | 415 | 500 |7877 | 500 |1595 |3878 | 0 | 0 |-1.790000e+02 |-5.100000e+01 | 71.51%
6.99/7.08 c 7.1s| 1 | 0 | 29937 | - | 26M| 0 | 435 | 500 |7877 | 500 |1766 |4049 | 0 | 0 |-1.774436e+02 |-5.100000e+01 | 71.26%
7.39/7.41 c 7.4s| 1 | 0 | 30697 | - | 28M| 0 | 410 | 500 |7877 | 500 |2608 |4891 | 0 | 0 |-1.765469e+02 |-5.100000e+01 | 71.11%
7.49/7.56 c 7.6s| 1 | 0 | 31248 | - | 28M| 0 | 438 | 500 |7877 | 500 |2650 |4933 | 0 | 0 |-1.756820e+02 |-5.100000e+01 | 70.97%
7.70/7.79 c 7.8s| 1 | 0 | 32134 | - | 29M| 0 | 401 | 500 |7877 | 500 |2770 |5053 | 0 | 0 |-1.747500e+02 |-5.100000e+01 | 70.82%
7.99/8.08 c 8.1s| 1 | 0 | 33935 | - | 30M| 0 | 427 | 500 |7877 | 500 |2153 |5086 | 0 | 0 |-1.737532e+02 |-5.100000e+01 | 70.65%
8.19/8.26 c 8.3s| 1 | 0 | 34473 | - | 30M| 0 | 395 | 500 |7877 | 500 |2185 |5118 | 0 | 0 |-1.732500e+02 |-5.100000e+01 | 70.56%
8.39/8.47 c 8.5s| 1 | 0 | 35366 | - | 32M| 0 | 421 | 500 |7877 | 500 |2266 |5199 | 0 | 0 |-1.725526e+02 |-5.100000e+01 | 70.44%
8.70/8.74 c 8.7s| 1 | 0 | 36328 | - | 34M| 0 | 425 | 500 |7877 | 500 |2301 |5234 | 0 | 0 |-1.713548e+02 |-5.100000e+01 | 70.24%
8.99/9.02 c 9.0s| 1 | 0 | 37542 | - | 36M| 0 | 419 | 500 |7877 | 500 |2407 |5340 | 0 | 0 |-1.699683e+02 |-5.100000e+01 | 69.99%
9.19/9.25 c 9.3s| 1 | 0 | 38337 | - | 38M| 0 | 444 | 500 |7877 | 500 |2510 |5443 | 0 | 0 |-1.695765e+02 |-5.100000e+01 | 69.93%
9.59/9.63 c 9.6s| 1 | 0 | 39224 | - | 38M| 0 | 437 | 500 |7877 | 500 |2278 |5579 | 0 | 0 |-1.688690e+02 |-5.100000e+01 | 69.80%
9.99/10.02 c 10.0s| 1 | 0 | 40405 | - | 38M| 0 | 434 | 500 |7877 | 500 |2349 |5650 | 0 | 0 |-1.680820e+02 |-5.100000e+01 | 69.66%
10.29/10.39 c 10.4s| 1 | 0 | 41505 | - | 39M| 0 | 445 | 500 |7877 | 500 |2414 |5715 | 0 | 0 |-1.675093e+02 |-5.100000e+01 | 69.55%
10.69/10.78 c 10.8s| 1 | 0 | 42355 | - | 39M| 0 | 456 | 500 |7877 | 500 |2500 |5801 | 0 | 0 |-1.665273e+02 |-5.100000e+01 | 69.37%
11.19/11.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.19/11.29 c 11.3s| 1 | 0 | 43737 | - | 39M| 0 | 451 | 500 |7877 | 500 |2592 |5893 | 0 | 0 |-1.655686e+02 |-5.100000e+01 | 69.20%
11.79/11.81 c 11.8s| 1 | 0 | 45112 | - | 39M| 0 | 459 | 500 |7877 | 500 |2633 |5934 | 0 | 0 |-1.645616e+02 |-5.100000e+01 | 69.01%
12.49/12.57 c 12.6s| 1 | 0 | 47642 | - | 39M| 0 | 463 | 500 |7877 | 500 |2147 |6124 | 0 | 0 |-1.635676e+02 |-5.100000e+01 | 68.82%
12.99/13.07 c 13.1s| 1 | 0 | 49175 | - | 39M| 0 | 475 | 500 |7877 | 500 |2219 |6196 | 0 | 0 |-1.628018e+02 |-5.100000e+01 | 68.67%
13.49/13.55 c 13.6s| 1 | 0 | 50566 | - | 39M| 0 | 467 | 500 |7877 | 500 |2296 |6273 | 0 | 0 |-1.621515e+02 |-5.100000e+01 | 68.55%
13.99/14.00 c 14.0s| 1 | 0 | 51615 | - | 39M| 0 | 468 | 500 |7877 | 500 |2354 |6331 | 0 | 0 |-1.613791e+02 |-5.100000e+01 | 68.40%
14.39/14.49 c 14.5s| 1 | 0 | 52951 | - | 39M| 0 | 474 | 500 |7877 | 500 |2392 |6369 | 0 | 0 |-1.603762e+02 |-5.100000e+01 | 68.20%
14.89/14.97 c 15.0s| 1 | 0 | 54055 | - | 39M| 0 | 479 | 500 |7877 | 500 |2440 |6417 | 0 | 0 |-1.599795e+02 |-5.100000e+01 | 68.12%
15.40/15.48 c 15.5s| 1 | 0 | 54996 | - | 39M| 0 | 484 | 500 |7877 | 500 |2142 |6481 | 0 | 0 |-1.593482e+02 |-5.100000e+01 | 67.99%
15.89/15.92 c 15.9s| 1 | 0 | 56066 | - | 39M| 0 | 484 | 500 |7877 | 500 |2189 |6528 | 0 | 0 |-1.585630e+02 |-5.100000e+01 | 67.84%
16.29/16.31 c 16.3s| 1 | 0 | 56547 | - | 39M| 0 | 485 | 500 |7877 | 500 |2247 |6586 | 0 | 0 |-1.583696e+02 |-5.100000e+01 | 67.80%
16.79/16.80 c 16.8s| 1 | 0 | 57762 | - | 39M| 0 | 484 | 500 |7877 | 500 |2281 |6620 | 0 | 0 |-1.576058e+02 |-5.100000e+01 | 67.64%
17.19/17.23 c 17.2s| 1 | 0 | 58477 | - | 39M| 0 | 485 | 500 |7877 | 500 |2300 |6639 | 0 | 0 |-1.571969e+02 |-5.100000e+01 | 67.56%
17.60/17.64 c 17.6s| 1 | 0 | 59031 | - | 39M| 0 | 485 | 500 |7877 | 500 |2315 |6654 | 0 | 0 |-1.569353e+02 |-5.100000e+01 | 67.50%
18.09/18.17 c 18.2s| 1 | 0 | 60494 | - | 39M| 0 | 482 | 500 |7877 | 500 |2030 |6675 | 0 | 0 |-1.564470e+02 |-5.100000e+01 | 67.40%
18.49/18.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.49/18.58 c 18.6s| 1 | 0 | 61453 | - | 39M| 0 | 482 | 500 |7877 | 500 |2057 |6702 | 0 | 0 |-1.558862e+02 |-5.100000e+01 | 67.28%
18.90/18.93 c 18.9s| 1 | 0 | 61963 | - | 39M| 0 | 483 | 500 |7877 | 500 |2092 |6737 | 0 | 0 |-1.555657e+02 |-5.100000e+01 | 67.22%
19.29/19.34 c 19.3s| 1 | 0 | 62694 | - | 39M| 0 | 486 | 500 |7877 | 500 |2114 |6759 | 0 | 0 |-1.550968e+02 |-5.100000e+01 | 67.12%
19.70/19.79 c 19.8s| 1 | 0 | 63723 | - | 39M| 0 | 480 | 500 |7877 | 500 |2145 |6790 | 0 | 0 |-1.546790e+02 |-5.100000e+01 | 67.03%
20.19/20.26 c 20.3s| 1 | 0 | 64963 | - | 39M| 0 | 476 | 500 |7877 | 500 |2176 |6821 | 0 | 0 |-1.542331e+02 |-5.100000e+01 | 66.93%
20.59/20.67 c 20.7s| 1 | 0 | 65749 | - | 39M| 0 | 478 | 500 |7877 | 500 |2047 |6857 | 0 | 0 |-1.538727e+02 |-5.100000e+01 | 66.86%
20.99/21.01 c 21.0s| 1 | 0 | 66048 | - | 39M| 0 | 482 | 500 |7877 | 500 |2080 |6890 | 0 | 0 |-1.537985e+02 |-5.100000e+01 | 66.84%
21.29/21.37 c 21.4s| 1 | 0 | 66520 | - | 39M| 0 | 482 | 500 |7877 | 500 |2100 |6910 | 0 | 0 |-1.535892e+02 |-5.100000e+01 | 66.79%
21.69/21.77 c 21.8s| 1 | 0 | 67173 | - | 39M| 0 | 485 | 500 |7877 | 500 |2121 |6931 | 0 | 0 |-1.533660e+02 |-5.100000e+01 | 66.75%
22.09/22.14 c 22.1s| 1 | 0 | 67554 | - | 39M| 0 | 483 | 500 |7877 | 500 |2141 |6951 | 0 | 0 |-1.531649e+02 |-5.100000e+01 | 66.70%
22.49/22.57 c 22.6s| 1 | 0 | 68269 | - | 39M| 0 | 485 | 500 |7877 | 500 |2169 |6979 | 0 | 0 |-1.526582e+02 |-5.100000e+01 | 66.59%
23.00/23.01 c 23.0s| 1 | 0 | 68965 | - | 39M| 0 | 490 | 500 |7877 | 500 |2102 |7009 | 0 | 0 |-1.524020e+02 |-5.100000e+01 | 66.54%
23.29/23.37 c 23.4s| 1 | 0 | 69209 | - | 39M| 0 | 489 | 500 |7877 | 500 |2110 |7017 | 0 | 0 |-1.523441e+02 |-5.100000e+01 | 66.52%
23.69/23.75 c 23.8s| 1 | 0 | 69704 | - | 39M| 0 | 488 | 500 |7877 | 500 |2122 |7029 | 0 | 0 |-1.519027e+02 |-5.100000e+01 | 66.43%
24.09/24.15 c 24.2s| 1 | 0 | 70309 | - | 39M| 0 | 493 | 500 |7877 | 500 |2141 |7048 | 0 | 0 |-1.515800e+02 |-5.100000e+01 | 66.35%
24.49/24.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.49/24.54 c 24.5s| 1 | 0 | 70715 | - | 39M| 0 | 492 | 500 |7877 | 500 |2158 |7065 | 0 | 0 |-1.513815e+02 |-5.100000e+01 | 66.31%
24.89/24.92 c 24.9s| 1 | 0 | 71052 | - | 39M| 0 | 491 | 500 |7877 | 500 |2173 |7080 | 0 | 0 |-1.512347e+02 |-5.100000e+01 | 66.28%
25.30/25.31 c 25.3s| 1 | 0 | 71406 | - | 39M| 0 | 493 | 500 |7877 | 500 |2089 |7094 | 0 | 0 |-1.511141e+02 |-5.100000e+01 | 66.25%
25.59/25.68 c 25.7s| 1 | 0 | 71771 | - | 39M| 0 | 496 | 500 |7877 | 500 |2101 |7106 | 0 | 0 |-1.509197e+02 |-5.100000e+01 | 66.21%
25.99/26.05 c 26.0s| 1 | 0 | 72065 | - | 39M| 0 | 496 | 500 |7877 | 500 |2120 |7125 | 0 | 0 |-1.507783e+02 |-5.100000e+01 | 66.18%
26.39/26.44 c 26.4s| 1 | 0 | 72503 | - | 39M| 0 | 496 | 500 |7877 | 500 |2133 |7138 | 0 | 0 |-1.505776e+02 |-5.100000e+01 | 66.13%
26.79/26.83 c 26.8s| 1 | 0 | 72803 | - | 39M| 0 | 497 | 500 |7877 | 500 |2154 |7159 | 0 | 0 |-1.504574e+02 |-5.100000e+01 | 66.10%
27.19/27.26 c 27.3s| 1 | 0 | 73459 | - | 39M| 0 | 493 | 500 |7877 | 500 |2171 |7176 | 0 | 0 |-1.502572e+02 |-5.100000e+01 | 66.06%
27.59/27.66 c 27.7s| 1 | 0 | 73807 | - | 39M| 0 | 497 | 500 |7877 | 500 |2134 |7193 | 0 | 0 |-1.501244e+02 |-5.100000e+01 | 66.03%
27.99/28.05 c 28.1s| 1 | 0 | 74225 | - | 39M| 0 | 499 | 500 |7877 | 500 |2147 |7206 | 0 | 0 |-1.499471e+02 |-5.100000e+01 | 65.99%
28.39/28.46 c 28.5s| 1 | 0 | 74716 | - | 39M| 0 | 495 | 500 |7877 | 500 |2161 |7220 | 0 | 0 |-1.497635e+02 |-5.100000e+01 | 65.95%
28.79/28.83 c 28.8s| 1 | 0 | 75044 | - | 39M| 0 | 496 | 500 |7877 | 500 |2174 |7233 | 0 | 0 |-1.496344e+02 |-5.100000e+01 | 65.92%
29.19/29.22 c 29.2s| 1 | 0 | 75328 | - | 39M| 0 | 495 | 500 |7877 | 500 |2184 |7243 | 0 | 0 |-1.495627e+02 |-5.100000e+01 | 65.90%
29.59/29.61 c 29.6s| 1 | 0 | 75746 | - | 39M| 0 | 497 | 500 |7877 | 500 |2197 |7256 | 0 | 0 |-1.494641e+02 |-5.100000e+01 | 65.88%
29.99/30.07 c 30.1s| 1 | 0 | 76612 | - | 39M| 0 | 497 | 500 |7877 | 500 |2169 |7267 | 0 | 0 |-1.491978e+02 |-5.100000e+01 | 65.82%
30.39/30.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.39/30.45 c 30.4s| 1 | 0 | 76986 | - | 39M| 0 | 496 | 500 |7877 | 500 |2183 |7281 | 0 | 0 |-1.490796e+02 |-5.100000e+01 | 65.79%
30.80/30.83 c 30.8s| 1 | 0 | 77349 | - | 39M| 0 | 494 | 500 |7877 | 500 |2196 |7294 | 0 | 0 |-1.489975e+02 |-5.100000e+01 | 65.77%
31.09/31.18 c 31.2s| 1 | 0 | 77611 | - | 39M| 0 | 496 | 500 |7877 | 500 |2204 |7302 | 0 | 0 |-1.489405e+02 |-5.100000e+01 | 65.76%
31.49/31.56 c 31.6s| 1 | 0 | 78058 | - | 39M| 0 | 496 | 500 |7877 | 500 |2216 |7314 | 0 | 0 |-1.488777e+02 |-5.100000e+01 | 65.74%
31.90/31.93 c 31.9s| 1 | 0 | 78396 | - | 39M| 0 | 496 | 500 |7877 | 500 |2227 |7325 | 0 | 0 |-1.487849e+02 |-5.100000e+01 | 65.72%
32.19/32.27 c 32.3s| 1 | 0 | 78506 | - | 39M| 0 | 496 | 500 |7877 | 500 |2181 |7335 | 0 | 0 |-1.487695e+02 |-5.100000e+01 | 65.72%
32.59/32.63 c 32.6s| 1 | 0 | 78860 | - | 39M| 0 | 496 | 500 |7877 | 500 |2190 |7344 | 0 | 0 |-1.486866e+02 |-5.100000e+01 | 65.70%
32.90/32.97 c 33.0s| 1 | 0 | 79104 | - | 38M| 0 | 496 | 500 |7877 | 500 |2201 |7355 | 0 | 0 |-1.486502e+02 |-5.100000e+01 | 65.69%
33.29/33.32 c 33.3s| 1 | 0 | 79370 | - | 38M| 0 | 497 | 500 |7877 | 500 |2213 |7367 | 0 | 0 |-1.486200e+02 |-5.100000e+01 | 65.68%
33.59/33.66 c 33.7s| 1 | 0 | 79533 | - | 38M| 0 | 497 | 500 |7877 | 500 |2226 |7380 | 0 | 0 |-1.486017e+02 |-5.100000e+01 | 65.68%
33.99/34.02 c 34.0s| 1 | 0 | 79854 | - | 38M| 0 | 500 | 500 |7877 | 500 |2236 |7390 | 0 | 0 |-1.485388e+02 |-5.100000e+01 | 65.67%
34.29/34.38 c 34.4s| 1 | 0 | 80148 | - | 38M| 0 | 500 | 500 |7877 | 500 |2186 |7400 | 0 | 0 |-1.484992e+02 |-5.100000e+01 | 65.66%
34.69/34.73 c 34.7s| 1 | 0 | 80422 | - | 38M| 0 | 499 | 500 |7877 | 500 |2195 |7409 | 0 | 0 |-1.484658e+02 |-5.100000e+01 | 65.65%
34.99/35.08 c 35.1s| 1 | 0 | 80718 | - | 38M| 0 | 499 | 500 |7877 | 500 |2206 |7420 | 0 | 0 |-1.484093e+02 |-5.100000e+01 | 65.64%
35.39/35.42 c 35.4s| 1 | 0 | 81015 | - | 37M| 0 | 500 | 500 |7877 | 500 |2220 |7434 | 0 | 0 |-1.483874e+02 |-5.100000e+01 | 65.63%
35.69/35.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.69/35.76 c 35.8s| 1 | 0 | 81294 | - | 37M| 0 | 500 | 500 |7877 | 500 |2233 |7447 | 0 | 0 |-1.483564e+02 |-5.100000e+01 | 65.62%
35.99/36.08 c 36.1s| 1 | 0 | 81466 | - | 37M| 0 | 500 | 500 |7877 | 500 |2241 |7455 | 0 | 0 |-1.483421e+02 |-5.100000e+01 | 65.62%
36.29/36.38 c 36.4s| 1 | 0 | 81499 | - | 37M| 0 | 445 | 500 |7877 | 500 |2189 |7465 | 0 | 0 |-1.483333e+02 |-5.100000e+01 | 65.62%
36.59/36.63 c 36.6s| 1 | 0 | 81500 | - | 37M| 0 | 445 | 500 |7877 | 500 |2190 |7466 | 0 | 0 |-1.483333e+02 |-5.100000e+01 | 65.62%
39.89/39.97 c 40.0s| 1 | 2 | 81500 | - | 37M| 0 | 445 | 500 |7877 | 500 |2190 |7466 | 0 | 25 |-1.483333e+02 |-5.100000e+01 | 65.62%
173.50/173.58 c 174s| 10000 | 10001 | 1811k| 173.0 | 51M| 47 | 70 | 500 |7877 | 500 | 561 | 564k| 0 |3164 |-1.432982e+02 |-5.100000e+01 | 64.41%
261.20/261.26 c 261s| 20000 | 20001 | 3166k| 154.3 | 65M| 56 | 14 | 500 |7877 | 500 | 500 |1115k| 0 |4760 |-1.425978e+02 |-5.100000e+01 | 64.24%
330.90/330.94 c 331s| 30000 | 30001 | 4294k| 140.4 | 78M| 56 | 168 | 500 |7877 | 500 | 728 |1654k| 0 |5914 |-1.422643e+02 |-5.100000e+01 | 64.15%
398.69/398.78 c 399s| 40000 | 40001 | 5391k| 132.7 | 92M| 63 | 149 | 500 |7877 | 500 | 619 |2178k| 0 |7044 |-1.419877e+02 |-5.100000e+01 | 64.08%
463.90/463.92 c 464s| 50000 | 50001 | 6462k| 127.6 | 105M| 63 | 149 | 500 |7877 | 500 | 550 |2675k| 0 |7901 |-1.417846e+02 |-5.100000e+01 | 64.03%
529.70/529.78 c 530s| 60000 | 60001 | 7546k| 124.4 | 119M| 63 | 141 | 500 |7877 | 500 | 569 |3185k| 0 |8720 |-1.416153e+02 |-5.100000e+01 | 63.99%
590.61/590.63 c 591s| 70000 | 70001 | 8574k| 121.3 | 132M| 63 | 136 | 500 |7877 | 500 | 719 |3696k| 0 |9487 |-1.414535e+02 |-5.100000e+01 | 63.95%
654.20/654.26 c 654s| 80000 | 80001 | 9629k| 119.4 | 145M| 63 | 12 | 500 |7877 | 500 | 500 |4194k| 0 | 10k|-1.413104e+02 |-5.100000e+01 | 63.91%
715.70/715.72 c 716s| 90000 | 90001 | 10673k| 117.7 | 159M| 68 | 40 | 500 |7877 | 500 | 570 |4715k| 0 | 10k|-1.411740e+02 |-5.100000e+01 | 63.87%
776.01/776.02 c 776s|100000 |100001 | 11696k| 116.2 | 172M| 68 | 159 | 500 |7877 | 500 | 766 |5236k| 0 | 11k|-1.410469e+02 |-5.100000e+01 | 63.84%
834.81/834.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.81/834.86 c 835s|110000 |110001 | 12704k| 114.8 | 186M| 68 | 111 | 500 |7877 | 500 | 559 |5750k| 0 | 12k|-1.409381e+02 |-5.100000e+01 | 63.81%
890.90/890.94 c 891s|120000 |120001 | 13671k| 113.2 | 199M| 68 | 24 | 500 |7877 | 500 | 557 |6256k| 0 | 12k|-1.408326e+02 |-5.100000e+01 | 63.79%
950.41/950.43 c 950s|130000 |130001 | 14693k| 112.4 | 212M| 68 | 27 | 500 |7877 | 500 | 564 |6761k| 0 | 13k|-1.407355e+02 |-5.100000e+01 | 63.76%
1008.11/1008.18 c 1008s|140000 |140001 | 15685k| 111.5 | 226M| 68 | 58 | 500 |7877 | 500 | 500 |7260k| 0 | 13k|-1.406595e+02 |-5.100000e+01 | 63.74%
1069.91/1069.99 c 1070s|150000 |150001 | 16728k| 111.0 | 239M| 68 | 116 | 500 |7877 | 500 | 750 |7767k| 0 | 14k|-1.405826e+02 |-5.100000e+01 | 63.72%
1128.41/1128.48 c 1128s|160000 |160001 | 17735k| 110.3 | 253M| 68 | 146 | 500 |7877 | 500 | 562 |8281k| 0 | 14k|-1.404994e+02 |-5.100000e+01 | 63.70%
1184.91/1184.97 c 1185s|170000 |170001 | 18715k| 109.6 | 266M| 68 | 117 | 500 |7877 | 500 | 698 |8790k| 0 | 15k|-1.404374e+02 |-5.100000e+01 | 63.68%
1240.21/1240.24 c 1240s|180000 |180001 | 19667k| 108.8 | 279M| 77 | 96 | 500 |7877 | 500 | 562 |9285k| 0 | 15k|-1.403715e+02 |-5.100000e+01 | 63.67%
1293.81/1293.83 c 1294s|190000 |190001 | 20591k| 107.9 | 292M| 77 | 94 | 500 |7877 | 500 | 600 |9761k| 0 | 16k|-1.403082e+02 |-5.100000e+01 | 63.65%
1345.61/1345.65 c 1346s|200000 |200001 | 21500k| 107.1 | 306M| 77 | 99 | 500 |7877 | 500 | 679 | 10M| 0 | 16k|-1.402504e+02 |-5.100000e+01 | 63.64%
1401.21/1401.27 c 1401s|210000 |210001 | 22440k| 106.5 | 319M| 77 | 133 | 500 |7877 | 500 | 571 | 10M| 0 | 16k|-1.401851e+02 |-5.100000e+01 | 63.62%
1453.61/1453.65 c 1454s|220000 |220001 | 23361k| 105.8 | 332M| 77 | 79 | 500 |7877 | 500 | 592 | 11M| 0 | 17k|-1.401313e+02 |-5.100000e+01 | 63.61%
1506.92/1506.91 c 1507s|230000 |230001 | 24286k| 105.2 | 345M| 77 | 131 | 500 |7877 | 500 | 563 | 11M| 0 | 17k|-1.400774e+02 |-5.100000e+01 | 63.59%
1558.81/1558.90 c 1559s|240000 |240001 | 25199k| 104.7 | 359M| 77 | 46 | 500 |7877 | 500 | 583 | 12M| 0 | 17k|-1.400169e+02 |-5.100000e+01 | 63.58%
1612.31/1612.36 c 1612s|250000 |250001 | 26117k| 104.1 | 372M| 77 | 6 | 500 |7877 | 500 | 500 | 12M| 0 | 18k|-1.399764e+02 |-5.100000e+01 | 63.57%
1663.12/1663.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.12/1663.11 c 1663s|260000 |260001 | 27019k| 103.6 | 385M| 77 | 62 | 500 |7877 | 500 | 558 | 13M| 0 | 18k|-1.399188e+02 |-5.100000e+01 | 63.55%
1716.61/1716.65 c 1717s|270000 |270001 | 27951k| 103.2 | 398M| 77 | 4 | 500 |7877 | 500 | 565 | 13M| 0 | 19k|-1.398635e+02 |-5.100000e+01 | 63.54%
1769.72/1769.79 c 1770s|280000 |280001 | 28875k| 102.8 | 411M| 77 | 63 | 500 |7877 | 500 | 584 | 14M| 0 | 19k|-1.398132e+02 |-5.100000e+01 | 63.52%
1797.01/1797.01 c
1797.01/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.01 c Solving Time (sec) : 1797.01
1797.01/1797.01 c Solving Nodes : 285272
1797.01/1797.01 c Primal Bound : -5.10000000000000e+01 (855 solutions)
1797.01/1797.01 c Dual Bound : -1.39791068580542e+02
1797.01/1797.01 c Gap : 63.52 %
1797.01/1797.01 s SATISFIABLE
1797.01/1797.01 v x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1797.01/1797.01 v -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.01/1797.01 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437
1797.01/1797.01 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 x416
1797.01/1797.01 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1797.01/1797.01 v -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374
1797.01/1797.01 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
1797.01/1797.01 v -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
1797.01/1797.01 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
1797.01/1797.01 v -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
1797.01/1797.01 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269
1797.01/1797.01 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
1797.01/1797.01 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 x229 -x228 -x227
1797.01/1797.01 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 x208 -x207 x206 -x205
1797.01/1797.01 v -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 x188 -x187 -x186 -x185 -x184
1797.01/1797.01 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163
1797.01/1797.01 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1797.01/1797.01 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.01/1797.01 v -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1797.01/1797.01 v -x99 x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 x77 -x76 -x75 -x74
1797.01/1797.01 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
1797.01/1797.01 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 x31 x30 -x29 -x28 -x27 -x26 x25 x24 -x23
1797.01/1797.01 v -x22 -x21 x20 x19 x18 x17 -x16 x15 x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 x6 x5 -x4 x3 x2 x1
1797.01/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.01 c Total Time : 1797.01
1797.01/1797.01 c solving : 1797.01
1797.01/1797.01 c presolving : 0.15 (included in solving)
1797.01/1797.01 c reading : 0.01 (included in solving)
1797.01/1797.01 c Original Problem :
1797.01/1797.01 c Problem name : HOME/instance-3485171-1307785268.opb
1797.01/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.01 c Constraints : 500 initial, 500 maximal
1797.01/1797.01 c Presolved Problem :
1797.01/1797.01 c Problem name : t_HOME/instance-3485171-1307785268.opb
1797.01/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.01 c Constraints : 7877 initial, 7877 maximal
1797.01/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c probing : 0.02 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c and : 0.05 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c linear : 0.02 7877 0 0 7877 0 500 0 0 0
1797.01/1797.01 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1797.01/1797.01 c root node : - 0 - - 0 - - - - -
1797.01/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.01 c integral : 0 0 0 362792 0 366445 0 0 0 0 0 570542
1797.01/1797.01 c logicor : 7877 121 374314 77521 0 366441 0 0 4039486 14449505 0 0
1797.01/1797.01 c countsols : 0 0 0 0 0 857 0 0 0 0 0 0
1797.01/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.01 c integral : 91.17 0.00 0.00 91.08 0.00 0.09 0.00
1797.01/1797.01 c logicor : 62.51 0.16 17.94 24.06 0.00 20.34 0.00
1797.01/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.01 c vbounds : 0 0 0 0
1797.01/1797.01 c rootredcost : 0 0 0 0
1797.01/1797.01 c pseudoobj : 768521 0 0 0
1797.01/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.01 c vbounds : 0.12 0.12 0.00
1797.01/1797.01 c rootredcost : 0.12 0.12 0.00
1797.01/1797.01 c pseudoobj : 6.29 6.29 0.00
1797.01/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.01 c applied globally : - - - 0 0.0 - - -
1797.01/1797.01 c applied locally : - - - 0 0.0 - - -
1797.01/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.01 c cut pool : 0.33 120 - - 1746 - (maximal pool size: 8556)
1797.01/1797.01 c redcost : 3.83 362912 0 0 0 0
1797.01/1797.01 c impliedbounds : 0.05 121 0 0 10656 0
1797.01/1797.01 c intobj : 0.00 0 0 0 0 0
1797.01/1797.01 c gomory : 21.08 121 0 0 28975 0
1797.01/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.01 c strongcg : 0.63 20 0 0 10000 0
1797.01/1797.01 c cmir : 0.17 10 0 0 0 0
1797.01/1797.01 c flowcover : 0.13 10 0 0 0 0
1797.01/1797.01 c clique : 0.96 121 0 0 1052 0
1797.01/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.01 c mcf : 0.00 1 0 0 0 0
1797.01/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.01/1797.01 c Pricers : Time Calls Vars
1797.01/1797.01 c problem variables: 0.00 0 0
1797.01/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.01 c relpscost : 90.87 285271 0 0 0 0 570542
1797.01/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.01/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.01 c random : 0.00 0 0 0 0 0 0
1797.01/1797.01 c Primal Heuristics : Time Calls Found
1797.01/1797.01 c LP solutions : 0.00 - 0
1797.01/1797.01 c pseudo solutions : 0.00 - 0
1797.01/1797.01 c oneopt : 0.18 2 1
1797.01/1797.01 c crossover : 0.31 17 1
1797.01/1797.01 c fracdiving : 18.85 5296 50
1797.01/1797.01 c pscostdiving : 20.38 5296 109
1797.01/1797.01 c linesearchdiving : 19.26 5296 78
1797.01/1797.01 c veclendiving : 30.32 5296 92
1797.01/1797.01 c guideddiving : 18.65 5296 35
1797.01/1797.01 c trivial : 0.00 2 1
1797.01/1797.01 c shiftandpropagate: 0.00 0 0
1797.01/1797.01 c simplerounding : 11.63 285391 327
1797.01/1797.01 c zirounding : 0.17 1000 0
1797.01/1797.01 c rounding : 13.31 25578 1
1797.01/1797.01 c shifting : 4.65 7756 1
1797.01/1797.01 c intshifting : 0.01 0 0
1797.01/1797.01 c twoopt : 0.00 0 0
1797.01/1797.01 c fixandinfer : 0.00 0 0
1797.01/1797.01 c feaspump : 0.01 0 0
1797.01/1797.01 c clique : 0.00 0 0
1797.01/1797.01 c coefdiving : 19.98 5297 117
1797.01/1797.01 c intdiving : 0.00 0 0
1797.01/1797.01 c actconsdiving : 0.00 0 0
1797.01/1797.01 c objpscostdiving : 13.51 2649 37
1797.01/1797.01 c rootsoldiving : 14.65 2649 5
1797.01/1797.01 c octane : 0.00 0 0
1797.01/1797.01 c rens : 0.00 0 0
1797.01/1797.01 c rins : 0.00 0 0
1797.01/1797.01 c localbranching : 0.00 0 0
1797.01/1797.01 c mutation : 0.00 0 0
1797.01/1797.01 c dins : 0.00 0 0
1797.01/1797.01 c vbounds : 0.00 0 0
1797.01/1797.01 c undercover : 0.00 0 0
1797.01/1797.01 c subnlp : 0.04 0 0
1797.01/1797.01 c trysol : 0.08 0 0
1797.01/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.01 c primal LP : 19.12 0 0 0.00 0.00
1797.01/1797.01 c dual LP : 1340.30 362913 27274035 75.15 20349.16
1797.01/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.01 c diving/probing LP: 109.66 168458 2074714 12.32 18919.02
1797.01/1797.01 c strong branching : 83.87 19507 1273161 65.27 15179.88
1797.01/1797.01 c (at root node) : - 25 20428 817.12 -
1797.01/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.01 c B&B Tree :
1797.01/1797.01 c number of runs : 1
1797.01/1797.01 c nodes : 285272
1797.01/1797.01 c nodes (total) : 285272
1797.01/1797.01 c nodes left : 285273
1797.01/1797.01 c max depth : 77
1797.01/1797.01 c max depth (total): 77
1797.01/1797.01 c backtracks : 37075 (13.0%)
1797.01/1797.01 c delayed cutoffs : 0
1797.01/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.01/1797.01 c avg switch length: 4.25
1797.01/1797.01 c switching time : 44.44
1797.01/1797.01 c Solution :
1797.01/1797.01 c Solutions found : 855 (4 improvements)
1797.01/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1797.01/1797.01 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 0.39 seconds, depth 0, found by <oneopt>)
1797.01/1797.01 c Dual Bound : -1.39791068580542e+02
1797.01/1797.01 c Gap : 63.52 %
1797.01/1797.01 c Root Dual Bound : -1.48333333333333e+02
1797.01/1797.01 c Root Iterations : 81500
1797.42/1797.47 c Time complete: 1797.49.
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-3485171-1307785268/watcher-3485171-1307785268 -o /tmp/evaluation-result-3485171-1307785268/solver-3485171-1307785268 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485171-1307785268.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 15451
/proc/meminfo: memFree=31298716/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=10252 CPUtime=0 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 1578 0 0 0 0 0 0 0 25 0 1 0 890125297 10498048 1533 33554432000 4194304 8979876 140733870204416 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15451/statm: 2563 1533 367 1169 0 1390 0
[startup+0.088244 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 15451
/proc/meminfo: memFree=31298716/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=36104 CPUtime=0.07 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 7981 0 0 0 7 0 0 0 25 0 1 0 890125297 36970496 7679 33554432000 4194304 8979876 140733870204416 18446744073709551615 18446744073699065949 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 9026 7679 480 1169 0 7853 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 36104
[startup+0.101241 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 15451
/proc/meminfo: memFree=31298716/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=36104 CPUtime=0.09 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 7981 0 0 0 9 0 0 0 25 0 1 0 890125297 36970496 7679 33554432000 4194304 8979876 140733870204416 18446744073709551615 5049035 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 9026 7679 480 1169 0 7853 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36104
[startup+0.301214 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 15451
/proc/meminfo: memFree=31298716/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=51012 CPUtime=0.29 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 11924 0 0 0 28 1 0 0 18 0 1 0 890125297 52236288 11436 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 12753 11436 717 1169 0 11580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51012
[startup+0.701153 s]
/proc/loadavg: 1.92 1.98 1.91 2/177 15451
/proc/meminfo: memFree=31298716/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=51760 CPUtime=0.69 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 12365 0 0 0 68 1 0 0 18 0 1 0 890125297 53002240 11829 33554432000 4194304 8979876 140733870204416 18446744073709551615 4777220 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 12940 11829 727 1169 0 11767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51760
[startup+1.50102 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 15452
/proc/meminfo: memFree=31250980/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=60460 CPUtime=1.49 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 14476 0 0 0 147 2 0 0 19 0 1 0 890125297 61911040 13894 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 15115 13894 681 1169 0 13942 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60460
[startup+3.10075 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 15452
/proc/meminfo: memFree=31241928/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=73376 CPUtime=3.09 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 17888 0 0 0 306 3 0 0 24 0 1 0 890125297 75137024 17280 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 18344 17280 656 1169 0 17171 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73376
[startup+6.30122 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 15490
/proc/meminfo: memFree=31421812/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=84284 CPUtime=6.3 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 20429 0 0 0 622 8 0 0 25 0 1 0 890125297 86306816 19821 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 21071 19821 657 1169 0 19898 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 84284
[startup+12.7011 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 15528
/proc/meminfo: memFree=31359596/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=96712 CPUtime=12.69 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 23460 0 0 0 1257 12 0 0 25 0 1 0 890125297 99033088 22852 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 24178 22852 662 1169 0 23005 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96712
[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.91 3/178 15529
/proc/meminfo: memFree=31343272/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=97080 CPUtime=25.49 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 23516 0 0 0 2529 20 0 0 25 0 1 0 890125297 99409920 22905 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 24270 22905 662 1169 0 23097 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97080
[startup+51.1007 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 15529
/proc/meminfo: memFree=31343092/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=96316 CPUtime=51.09 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 23873 0 0 0 5068 41 0 0 25 0 1 0 890125297 98627584 22777 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 24079 22777 679 1169 0 22906 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96316
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/178 15531
/proc/meminfo: memFree=31340432/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=98312 CPUtime=102.29 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 35233 0 0 0 10114 115 0 0 25 0 1 0 890125297 100671488 23264 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 24578 23264 697 1169 0 23405 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 98312
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 15532
/proc/meminfo: memFree=31319976/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=107864 CPUtime=162.29 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 47364 0 0 0 16020 209 0 0 25 0 1 0 890125297 110452736 25712 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 26966 25712 697 1169 0 25793 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 107864
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 15534
/proc/meminfo: memFree=31300064/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=116212 CPUtime=222.29 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 51919 0 0 0 21924 305 0 0 25 0 1 0 890125297 119001088 27779 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 29053 27779 697 1169 0 27880 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 116212
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 15535
/proc/meminfo: memFree=31272736/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=128788 CPUtime=282.29 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 57612 0 0 0 27828 401 0 0 25 0 1 0 890125297 131878912 30987 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 32197 30987 697 1169 0 31024 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 128788
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 15537
/proc/meminfo: memFree=31245392/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=141352 CPUtime=342.29 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 65790 0 0 0 33729 500 0 0 25 0 1 0 890125297 144744448 34168 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 35338 34168 699 1169 0 34165 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 141352
[startup+402.301 s]
/proc/loadavg: 2.06 2.00 1.92 3/178 15539
/proc/meminfo: memFree=31217072/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=156708 CPUtime=402.3 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 69657 0 0 0 39635 595 0 0 25 0 1 0 890125297 160468992 38032 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 39177 38032 699 1169 0 38004 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 156708
[startup+462.301 s]
/proc/loadavg: 2.02 2.00 1.92 3/178 15540
/proc/meminfo: memFree=31187744/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=169308 CPUtime=462.29 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 72824 0 0 0 45533 696 0 0 25 0 1 0 890125297 173371392 41199 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 42327 41199 699 1169 0 41154 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 169308
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 15542
/proc/meminfo: memFree=31158560/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=185508 CPUtime=522.3 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 79362 0 0 0 51436 794 0 0 25 0 1 0 890125297 189960192 45274 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 46377 45274 701 1169 0 45204 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 185508
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 15543
/proc/meminfo: memFree=31133584/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=198040 CPUtime=582.3 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 84485 0 0 0 57335 895 0 0 25 0 1 0 890125297 202792960 47933 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 49510 47933 701 1169 0 48337 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 198040
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30871804/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=321964 CPUtime=1122.3 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 115839 0 0 0 110419 1811 0 0 25 0 1 0 890125297 329691136 79267 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 80491 79267 701 1169 0 79318 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 321964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15559
/proc/meminfo: memFree=30845944/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=335448 CPUtime=1182.31 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 119225 0 0 0 116317 1914 0 0 25 0 1 0 890125297 343498752 82653 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 83862 82653 701 1169 0 82689 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 335448
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15570
/proc/meminfo: memFree=30811100/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=349080 CPUtime=1242.31 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 122685 0 0 0 122214 2017 0 0 25 0 1 0 890125297 357457920 86113 33554432000 4194304 8979876 140733870204416 18446744073709551615 4888936 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 87270 86113 701 1169 0 86097 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 349080
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15572
/proc/meminfo: memFree=30783752/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=361756 CPUtime=1302.32 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 125889 0 0 0 128108 2124 0 0 25 0 1 0 890125297 370438144 89317 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 90439 89317 701 1169 0 89266 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 361756
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15573
/proc/meminfo: memFree=30754180/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=375504 CPUtime=1362.31 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 128338 0 0 0 134008 2223 0 0 25 0 1 0 890125297 384516096 91766 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15451/statm: 93876 91766 701 1169 0 92703 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 375504
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15578
/proc/meminfo: memFree=30714320/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=397864 CPUtime=1422.31 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 136368 0 0 0 139906 2325 0 0 25 0 1 0 890125297 407412736 97401 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 99466 97401 701 1169 0 98293 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 397864
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15579
/proc/meminfo: memFree=30685760/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=411412 CPUtime=1482.31 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 139799 0 0 0 145802 2429 0 0 25 0 1 0 890125297 421285888 100831 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 102853 100831 701 1169 0 101680 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 411412
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15581
/proc/meminfo: memFree=30651104/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=423876 CPUtime=1542.31 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 143000 0 0 0 151704 2527 0 0 25 0 1 0 890125297 434049024 104032 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 105969 104032 701 1169 0 104796 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 423876
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 15583
/proc/meminfo: memFree=30614084/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=442688 CPUtime=1602.31 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 147768 0 0 0 157601 2630 0 0 25 0 1 0 890125297 453312512 108800 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 110672 108800 701 1169 0 109499 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 442688
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 15584
/proc/meminfo: memFree=30582548/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=459076 CPUtime=1662.32 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 151859 0 0 0 163498 2734 0 0 25 0 1 0 890125297 470093824 112891 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 114769 112891 701 1169 0 113596 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 459076
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15586
/proc/meminfo: memFree=30550004/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=472136 CPUtime=1722.31 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 155172 0 0 0 169396 2835 0 0 25 0 1 0 890125297 483467264 116204 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 118034 116204 701 1169 0 116861 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 472136
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15587
/proc/meminfo: memFree=30513516/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=489056 CPUtime=1782.32 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 161731 0 0 0 175293 2939 0 0 25 0 1 0 890125297 500793344 120453 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 122264 120453 701 1169 0 121091 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 489056
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15588
/proc/meminfo: memFree=30511780/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=490240 CPUtime=1785.52 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 162030 0 0 0 175608 2944 0 0 25 0 1 0 890125297 502005760 120752 33554432000 4194304 8979876 140733870204416 18446744073709551615 4318159 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 122560 120752 701 1169 0 121387 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 490240
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15588
/proc/meminfo: memFree=30509048/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=492788 CPUtime=1791.92 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 162671 0 0 0 176238 2954 0 0 25 0 1 0 890125297 504614912 121393 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 123197 121393 701 1169 0 122024 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 492788
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15588
/proc/meminfo: memFree=30506192/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=493228 CPUtime=1795.12 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 162799 0 0 0 176552 2960 0 0 25 0 1 0 890125297 505065472 121521 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 123307 121521 701 1169 0 122134 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 493228
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15588
/proc/meminfo: memFree=30506192/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=493228 CPUtime=1796.72 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 162803 0 0 0 176709 2963 0 0 25 0 1 0 890125297 505065472 121525 33554432000 4194304 8979876 140733870204416 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15451/statm: 123307 121525 701 1169 0 122134 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 493228
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15588
/proc/meminfo: memFree=30506192/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=493228 CPUtime=1797.11 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 162812 0 0 0 176748 2963 0 0 18 0 1 0 890125297 505065472 121534 33554432000 4194304 8979876 140733870204416 18446744073709551615 6778306 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15451/statm: 123307 121534 704 1169 0 122134 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 493228
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15588
/proc/meminfo: memFree=30506064/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=493228 CPUtime=1797.32 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 162812 0 0 0 176769 2963 0 0 18 0 1 0 890125297 505065472 121534 33554432000 4194304 8979876 140733870204416 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15451/statm: 123307 121534 704 1169 0 122134 0
Current children cumulated CPU time (s) 1797.32
Current children cumulated vsize (KiB) 493228
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 15588
/proc/meminfo: memFree=30506064/32951124 swapFree=67054524/67111528
[pid=15451] ppid=15449 vsize=493228 CPUtime=1797.42 cores=0,2,4,6
/proc/15451/stat : 15451 (scip-2.0.1.4_2.) R 15449 15451 15205 0 -1 4202496 162812 0 0 0 176779 2963 0 0 18 0 1 0 890125297 505065472 121534 33554432000 4194304 8979876 140733870204416 18446744073709551615 4839036 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15451/statm: 123307 121534 704 1169 0 122134 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 493228
Child status: 0
Real time (s): 1797.48
CPU time (s): 1797.51
CPU user time (s): 1767.85
CPU system time (s): 29.6585
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 493228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.85
system time used= 29.6585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162817
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= 8
involuntary context switches= 1981
runsolver used 2.73358 second user time and 5.47117 second system time
The end