Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -51 | 3586.73 | 3597.46 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb |
| MD5SUM | 13efe7890d7fc5aab9247ea9860b6d53 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -58 |
| Best CPU time to get the best result obtained on this benchmark | 3558.04 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1534 |
| Total number of constraints | 126163 |
| Number of constraints which are clauses | 126163 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1534 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1534 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1534 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4432704-1721058421.opb>
0.19/0.22 c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126163 constraints
0.19/0.22 c problem read in 0.22
0.29/0.38 o 0
0.29/0.38 c feasible solution found by trivial heuristic after 0.4 seconds, objective value 0.000000e+00
0.29/0.38 c presolving:
0.58/0.68 c (0.7s) running MILP presolver
0.98/1.03 c (1.0s) MILP presolver found nothing
1.18/1.27 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 126163 upgd conss, 0 impls, 126163 clqs
2.18/2.24 c (2.2s) probing: 51/1534 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.18/2.24 c (2.2s) probing aborted: 50/50 successive totally useless probings
2.97/3.09 c (3.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.07/3.15 c (3.1s) no symmetry present (symcode time: 0.02)
3.07/3.18 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
3.07/3.18 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.07/3.18 c 0 implications, 126163 cliques
3.07/3.18 c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126163 constraints
3.07/3.18 c 126163 constraints of type <setppc>
3.07/3.18 c transformed objective value is always integral (scale: 1)
3.07/3.18 c Presolving Time: 2.80
3.07/3.18 c - non default parameters ----------------------------------------------------------------------
3.07/3.18 c # SCIP version 10.0.0
3.07/3.18 c
3.07/3.18 c # maximal time in seconds to run
3.07/3.18 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.07/3.18 c limits/time = 3596.997012
3.07/3.18 c
3.07/3.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.07/3.18 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.07/3.18 c limits/memory = 27900
3.07/3.18 c
3.07/3.18 c # belongs reading time to solving time?
3.07/3.18 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.07/3.18 c timing/reading = TRUE
3.07/3.18 c
3.07/3.18 c -----------------------------------------------------------------------------------------------
3.07/3.18 c start solving
3.07/3.18 c transformed 1/1 original solutions to the transformed problem space
3.07/3.18 c
3.37/3.48 o -36
3.37/3.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.37/3.48 c p 3.5s| 1 | 0 | 0 | - | clique| 0 |1534 | 126k| 126k| 0 | 0 | 0 | 0 |-1.534000e+03 |-3.600000e+01 |4161.11%| unknown
3.56/3.61 o -37
3.56/3.61 c p 3.6s| 1 | 0 | 0 | - | locks| 0 |1534 | 126k| 126k| 0 | 0 | 0 | 0 |-1.534000e+03 |-3.700000e+01 |4045.95%| unknown
4.17/4.23 o -38
4.17/4.23 c p 4.2s| 1 | 0 | 512 | - | vbounds| 0 |1534 | 126k| 126k| 0 | 0 | 0 | 0 |-1.534000e+03 |-3.800000e+01 |3936.84%| unknown
5.17/5.20 c 5.2s| 1 | 0 | 2046 | - | 563M | 0 |1534 | 126k| 126k| 0 | 0 | 0 | 0 |-7.670000e+02 |-3.800000e+01 |1918.42%| unknown
7.35/7.40 c 7.4s| 1 | 0 | 2236 | - | 594M | 0 |1534 | 126k| 126k| 11 | 1 | 0 | 0 |-7.275000e+02 |-3.800000e+01 |1814.47%| unknown
11.55/11.67 c 11.7s| 1 | 0 | 2464 | - | 610M | 0 |1534 | 126k| 126k| 35 | 2 | 0 | 0 |-7.060000e+02 |-3.800000e+01 |1757.89%| unknown
14.14/14.23 c 14.2s| 1 | 0 | 2970 | - | 625M | 0 |1534 | 126k| 126k| 75 | 3 | 0 | 0 |-6.675000e+02 |-3.800000e+01 |1656.58%| unknown
15.64/15.78 c 15.8s| 1 | 0 | 3443 | - | 637M | 0 |1534 | 126k| 126k| 118 | 4 | 0 | 0 |-6.285000e+02 |-3.800000e+01 |1553.95%| unknown
16.74/16.85 c 16.9s| 1 | 0 | 3815 | - | 651M | 0 |1534 | 126k| 126k| 150 | 5 | 0 | 0 |-5.840000e+02 |-3.800000e+01 |1436.84%| unknown
18.33/18.49 c 18.5s| 1 | 0 | 4761 | - | 664M | 0 |1534 | 126k| 126k| 173 | 6 | 0 | 0 |-5.615000e+02 |-3.800000e+01 |1377.63%| unknown
19.93/20.09 c 20.1s| 1 | 0 | 5783 | - | 677M | 0 |1534 | 126k| 126k| 222 | 7 | 0 | 0 |-5.167500e+02 |-3.800000e+01 |1259.87%| unknown
21.72/21.81 c 21.8s| 1 | 0 | 7345 | - | 690M | 0 |1534 | 126k| 126k| 265 | 8 | 0 | 0 |-4.758667e+02 |-3.800000e+01 |1152.28%| unknown
22.82/22.90 c 22.9s| 1 | 0 | 8180 | - | 702M | 0 |1534 | 126k| 126k| 308 | 9 | 0 | 0 |-4.561667e+02 |-3.800000e+01 |1100.44%| unknown
25.61/25.79 c 25.8s| 1 | 0 | 11195 | - | 716M | 0 |1534 | 126k| 126k| 348 | 10 | 0 | 0 |-4.183750e+02 |-3.800000e+01 |1000.99%| unknown
27.50/27.65 c 27.6s| 1 | 0 | 13438 | - | 728M | 0 |1534 | 126k| 126k| 373 | 11 | 0 | 0 |-3.832083e+02 |-3.800000e+01 | 908.44%| unknown
28.60/28.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.60/28.75 c 28.7s| 1 | 0 | 14746 | - | 743M | 0 |1534 | 126k| 126k| 395 | 12 | 0 | 0 |-3.621250e+02 |-3.800000e+01 | 852.96%| unknown
29.90/30.07 c 30.1s| 1 | 0 | 16782 | - | 755M | 0 |1534 | 126k| 126k| 411 | 13 | 0 | 0 |-3.244167e+02 |-3.800000e+01 | 753.73%| unknown
30.79/30.95 c 31.0s| 1 | 0 | 17996 | - | 767M | 0 |1534 | 126k| 126k| 440 | 14 | 0 | 0 |-2.909167e+02 |-3.800000e+01 | 665.57%| unknown
32.29/32.45 c 32.4s| 1 | 0 | 20605 | - | 779M | 0 |1534 | 126k| 126k| 465 | 15 | 0 | 0 |-2.686250e+02 |-3.800000e+01 | 606.91%| unknown
32.89/33.04 c 33.0s| 1 | 0 | 21254 | - | 792M | 0 |1534 | 126k| 126k| 488 | 16 | 0 | 0 |-2.575000e+02 |-3.800000e+01 | 577.63%| unknown
34.88/35.09 c 35.1s| 1 | 0 | 24794 | - | 804M | 0 |1534 | 126k| 126k| 517 | 17 | 0 | 0 |-2.275000e+02 |-3.800000e+01 | 498.68%| unknown
36.08/36.28 c 36.3s| 1 | 0 | 26638 | - | 817M | 0 |1534 | 126k| 126k| 541 | 18 | 0 | 0 |-2.075000e+02 |-3.800000e+01 | 446.05%| unknown
37.07/37.30 c 37.3s| 1 | 0 | 28440 | - | 829M | 0 |1534 | 126k| 126k| 575 | 19 | 0 | 0 |-1.972500e+02 |-3.800000e+01 | 419.08%| unknown
38.17/38.35 c 38.4s| 1 | 0 | 30167 | - | 842M | 0 |1534 | 126k| 126k| 596 | 20 | 0 | 0 |-1.787500e+02 |-3.800000e+01 | 370.39%| unknown
38.77/38.97 c 39.0s| 1 | 0 | 31093 | - | 842M | 0 |1534 | 126k| 126k| 601 | 21 | 0 | 0 |-1.702500e+02 |-3.800000e+01 | 348.03%| unknown
39.77/39.99 c 40.0s| 1 | 0 | 32996 | - | 842M | 0 |1534 | 126k| 126k| 605 | 22 | 0 | 0 |-1.532500e+02 |-3.800000e+01 | 303.29%| unknown
40.36/40.58 c 40.6s| 1 | 0 | 34130 | - | 842M | 0 |1534 | 126k| 126k| 608 | 23 | 0 | 0 |-1.440000e+02 |-3.800000e+01 | 278.95%| unknown
41.66/41.80 c 41.8s| 1 | 0 | 36509 | - | 842M | 0 |1534 | 126k| 126k| 616 | 24 | 0 | 0 |-1.277500e+02 |-3.800000e+01 | 236.18%| unknown
41.97/42.11 c 42.1s| 1 | 0 | 36836 | - | 842M | 0 |1534 | 126k| 126k| 623 | 25 | 0 | 0 |-1.082500e+02 |-3.800000e+01 | 184.87%| unknown
42.26/42.40 c 42.4s| 1 | 0 | 37188 | - | 843M | 0 |1534 | 126k| 126k| 628 | 26 | 0 | 0 |-9.125000e+01 |-3.800000e+01 | 140.13%| unknown
42.46/42.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.46/42.62 c 42.6s| 1 | 0 | 37499 | - | 844M | 0 |1534 | 126k| 126k| 629 | 27 | 0 | 0 |-8.075000e+01 |-3.800000e+01 | 112.50%| unknown
42.56/42.78 c 42.8s| 1 | 0 | 37568 | - | 844M | 0 |1534 | 126k| 126k| 631 | 28 | 0 | 0 |-7.225000e+01 |-3.800000e+01 | 90.13%| unknown
42.76/42.95 c 42.9s| 1 | 0 | 37667 | - | 844M | 0 |1534 | 126k| 126k| 632 | 29 | 0 | 0 |-6.400000e+01 |-3.800000e+01 | 68.42%| unknown
42.86/43.09 c 43.1s| 1 | 0 | 37716 | - | 846M | 0 |1534 | 126k| 126k| 634 | 30 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
43.06/43.24 c 43.2s| 1 | 0 | 37755 | - | 847M | 0 |1534 | 126k| 126k| 639 | 31 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
43.16/43.37 c 43.4s| 1 | 0 | 37787 | - | 848M | 0 |1534 | 126k| 126k| 642 | 32 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
43.36/43.51 c 43.5s| 1 | 0 | 37831 | - | 849M | 0 |1534 | 126k| 126k| 647 | 33 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
43.46/43.67 c 43.7s| 1 | 0 | 37872 | - | 850M | 0 |1534 | 126k| 126k| 654 | 34 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
43.65/43.84 c 43.8s| 1 | 0 | 37951 | - | 850M | 0 |1534 | 126k| 126k| 660 | 35 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
43.75/43.98 c 44.0s| 1 | 0 | 37994 | - | 851M | 0 |1534 | 126k| 126k| 667 | 36 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
43.96/44.12 c 44.1s| 1 | 0 | 38028 | - | 852M | 0 |1534 | 126k| 126k| 672 | 37 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
44.06/44.25 c 44.3s| 1 | 0 | 38057 | - | 853M | 0 |1534 | 126k| 126k| 678 | 38 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
44.26/44.41 c 44.4s| 1 | 0 | 38124 | - | 854M | 0 |1534 | 126k| 126k| 686 | 39 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
44.36/44.60 c 44.6s| 1 | 0 | 38206 | - | 855M | 0 |1534 | 126k| 126k| 693 | 40 | 0 | 0 |-5.950000e+01 |-3.800000e+01 | 56.58%| unknown
49.54/49.71 c 49.7s| 1 | 2 | 38253 | - | 857M | 0 |1534 | 126k| 126k| 693 | 40 | 0 | 27 |-5.900000e+01 |-3.800000e+01 | 55.26%| unknown
122.81/123.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
122.81/123.27 c 123s| 100 | 101 | 43810 | 61.8 | 904M | 30 |1534 | 126k| 126k| 735 | 1 | 0 |1172 |-5.900000e+01 |-3.800000e+01 | 55.26%| unknown
131.68/132.16 o -43
131.68/132.16 c * 132s| 115 | 114 | 44781 | 62.2 |strongbr| 30 |1534 | 126k| 126k| 737 | 1 | 0 |1345 |-5.900000e+01 |-4.300000e+01 | 37.21%| unknown
131.78/132.29 o -44
131.78/132.29 c d 132s| 116 | 114 | 44820 | 62.0 |pscostdi| 30 |1534 | 126k| 126k| 0 | 1 | 0 |1347 |-5.900000e+01 |-4.400000e+01 | 34.09%| unknown
162.87/163.43 c 163s| 200 | 198 | 50390 | 63.8 | 940M | 30 |1534 | 126k| 126k| 780 | 1 | 6 |1733 |-5.900000e+01 |-4.400000e+01 | 34.09%| unknown
178.73/179.33 o -45
178.73/179.33 c o 179s| 249 | 247 | 54965 | 69.6 |objpscos| 31 |1534 | 126k| 126k| 833 | 1 | 6 |1753 |-5.900000e+01 |-4.500000e+01 | 31.11%| unknown
178.73/179.35 o -46
178.73/179.35 c o 179s| 249 | 247 | 54966 | 69.6 |objpscos| 31 |1534 | 126k| 126k| 833 | 1 | 6 |1753 |-5.900000e+01 |-4.600000e+01 | 28.26%| unknown
187.21/187.87 c 188s| 300 | 287 | 58405 | 69.3 | 983M | 32 |1534 | 126k| 126k| 862 | 1 | 6 |1773 |-5.900000e+01 |-4.600000e+01 | 28.26%| unknown
214.23/214.95 c 215s| 400 | 377 | 66313 | 71.7 | 1034M | 32 |1534 | 126k| 126k| 961 | 1 | 11 |1822 |-5.900000e+01 |-4.600000e+01 | 28.26%| unknown
228.39/229.19 c 229s| 500 | 451 | 70931 | 66.6 | 1038M | 34 |1534 | 126k| 126k| 993 | 1 | 11 |1849 |-5.900000e+01 |-4.600000e+01 | 28.26%| unknown
237.26/238.05 c 238s| 600 | 545 | 80392 | 71.3 | 1045M | 38 |1534 | 126k| 126k|1019 | 1 | 30 |1891 |-5.900000e+01 |-4.600000e+01 | 28.26%| unknown
237.75/238.52 o -51
237.75/238.52 c d 239s| 606 | 444 | 81497 | 72.4 |linesear| 38 |1534 | 126k| 126k| 0 | 1 | 30 |1891 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
258.49/259.35 c 259s| 700 | 538 | 90898 | 76.1 | 1101M | 40 |1534 | 126k| 126k|1082 | 1 | 100 |1922 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
268.26/269.20 c 269s| 800 | 638 |102627 | 81.3 | 1107M | 40 |1534 | 126k| 126k|1105 | 1 | 221 |1974 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
285.00/285.95 c 286s| 900 | 738 |116112 | 87.2 | 1152M | 41 |1534 | 126k| 126k|1147 | 1 | 329 |2030 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
317.82/318.85 c 319s| 1000 | 836 |126218 | 88.6 | 1234M | 41 |1534 | 126k| 126k|1217 | 1 | 428 |2073 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
334.57/335.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
334.57/335.63 c 336s| 1100 | 936 |139322 | 92.5 | 1244M | 41 |1534 | 126k| 126k|1264 | 1 | 483 |2122 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
373.95/375.15 c 375s| 1200 | 1034 |153946 | 97.0 | 1311M | 41 |1534 | 126k| 126k|1412 | 1 | 583 |2168 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
401.96/403.27 c 403s| 1300 | 1134 |166639 | 99.3 | 1348M | 42 |1534 | 126k| 126k|1528 | 1 | 688 |2223 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
422.61/423.90 c 424s| 1400 | 1232 |177653 | 100.0 | 1373M | 42 |1534 | 126k| 126k|1630 | 1 | 814 |2265 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
445.04/446.43 c 446s| 1500 | 1330 |192210 | 103.1 | 1403M | 42 |1534 | 127k| 126k|1735 | 1 | 919 |2321 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
459.29/460.73 c 461s| 1600 | 1428 |204299 | 104.2 | 1420M | 43 |1534 | 127k| 126k|1795 | 1 |1032 |2356 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
475.43/476.97 c 477s| 1700 | 1528 |221422 | 108.1 | 1427M | 45 |1534 | 127k| 126k|1840 | 1 |1126 |2410 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
497.48/499.05 c 499s| 1800 | 1626 |234145 | 109.2 | 1460M | 45 |1534 | 127k| 126k|1932 | 1 |1187 |2437 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
527.20/528.84 c 529s| 1900 | 1726 |244744 | 109.0 | 1472M | 45 |1534 | 127k| 126k|2038 | 1 |1269 |2497 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
550.33/552.01 c 552s| 2000 | 1824 |259540 | 111.0 | 1478M | 45 |1534 | 127k| 126k|2152 | 1 |1365 |2514 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
570.28/572.03 c 572s| 2100 | 1924 |271933 | 111.6 | 1494M | 45 |1534 | 127k| 126k|2239 | 1 |1459 |2558 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
586.72/588.59 c 589s| 2200 | 2024 |284377 | 112.2 | 1496M | 45 |1534 | 127k| 126k|2312 | 1 |1549 |2589 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
607.77/609.69 c 610s| 2300 | 2120 |297101 | 112.8 | 1510M | 45 |1534 | 127k| 126k|2386 | 1 |1602 |2647 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
629.30/631.27 c 631s| 2400 | 2218 |307688 | 112.5 | 1515M | 45 |1534 | 127k| 126k|2470 | 1 |1683 |2690 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
667.20/669.20 c 669s| 2500 | 2316 |320172 | 113.0 | 1535M | 45 |1534 | 127k| 126k|2611 | 1 |1748 |2747 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
688.94/691.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
688.94/691.01 c 691s| 2600 | 2414 |332065 | 113.3 | 1564M | 45 |1534 | 127k| 126k|2669 | 1 |1829 |2791 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
706.38/708.51 c 709s| 2700 | 2510 |343879 | 113.4 | 1569M | 45 |1534 | 128k| 126k|2738 | 1 |1938 |2818 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
740.09/742.38 c 742s| 2800 | 2608 |357093 | 114.1 | 1602M | 45 |1534 | 128k| 126k|2856 | 1 |1984 |2859 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
771.09/773.40 c 773s| 2900 | 2708 |371201 | 115.0 | 1607M | 45 |1534 | 128k| 126k|2972 | 1 |2065 |2873 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
819.06/821.53 c 822s| 3000 | 2804 |385911 | 116.1 | 1630M | 45 |1534 | 128k| 126k|3186 | 1 |2131 |2874 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
833.11/835.65 c 836s| 3100 | 2898 |398122 | 116.3 | 1634M | 45 |1534 | 128k| 126k|3249 | 1 |2191 |2893 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
852.85/855.45 c 855s| 3200 | 2996 |412516 | 117.2 | 1641M | 45 |1534 | 128k| 126k|3309 | 1 |2278 |2915 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
875.09/877.71 c 878s| 3300 | 3094 |424987 | 117.4 | 1667M | 46 |1534 | 128k| 126k|3437 | 1 |2374 |2935 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
902.71/905.45 c 905s| 3400 | 3188 |437752 | 117.7 | 1690M | 46 |1534 | 128k| 126k|3542 | 1 |2439 |2943 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
923.84/926.63 c 927s| 3500 | 3278 |448671 | 117.5 | 1695M | 46 |1534 | 128k| 126k|3600 | 1 |2526 |2964 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
956.45/959.33 c 959s| 3600 | 3372 |464380 | 118.6 | 1710M | 46 |1534 | 128k| 126k|3733 | 2 |2622 |2977 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
979.48/982.49 c 982s| 3700 | 3468 |478752 | 119.2 | 1713M | 46 |1534 | 128k| 126k|3829 | 0 |2733 |2981 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
995.32/998.34 c 998s| 3800 | 3568 |490808 | 119.3 | 1716M | 46 |1534 | 128k| 126k|3873 | 1 |2878 |2984 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1011.47/1014.58 c 1015s| 3900 | 3662 |502202 | 119.1 | 1719M | 46 |1534 | 128k| 126k|3937 | 1 |2965 |2989 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1036.90/1040.02 c 1040s| 4000 | 3756 |513969 | 119.1 | 1737M | 46 |1534 | 129k| 126k|4090 | 1 |3078 |2991 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1056.33/1059.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1056.33/1059.55 c 1060s| 4100 | 3852 |526435 | 119.2 | 1768M | 46 |1534 | 129k| 126k|4190 | 2 |3186 |2998 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1071.48/1074.72 c 1075s| 4200 | 3952 |534934 | 118.4 | 1782M | 46 |1534 | 129k| 126k|4228 | 1 |3297 |3002 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1088.53/1091.86 c 1092s| 4300 | 4050 |546602 | 118.4 | 1786M | 46 |1534 | 129k| 126k|4316 | 1 |3393 |3004 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1115.84/1119.20 c 1119s| 4400 | 4150 |557540 | 118.2 | 1789M | 46 |1534 | 129k| 126k|4439 | 1 |3476 |3012 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1123.91/1127.33 c 1127s| 4500 | 4248 |569351 | 118.2 | 1793M | 46 |1534 | 129k| 126k|4468 | 1 |3548 |3016 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1132.87/1136.36 c 1136s| 4600 | 4348 |580478 | 118.0 | 1798M | 46 |1534 | 129k| 126k|4491 | 1 |3622 |3031 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1155.20/1158.77 c 1159s| 4700 | 4446 |592907 | 118.2 | 1800M | 46 |1534 | 129k| 126k|4566 | 1 |3745 |3069 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1182.81/1186.41 c 1186s| 4800 | 4542 |604725 | 118.2 | 1830M | 46 |1534 | 129k| 126k|4675 | 1 |3817 |3101 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1209.23/1212.94 c 1213s| 4900 | 4638 |614092 | 117.7 | 1844M | 46 |1534 | 129k| 126k|4765 | 1 |3885 |3150 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1217.80/1221.54 c 1222s| 5000 | 4736 |624124 | 117.3 | 1847M | 46 |1534 | 129k| 126k|4821 | 1 |3966 |3183 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1230.86/1234.66 c 1235s| 5100 | 4832 |636438 | 117.4 | 1850M | 46 |1534 | 129k| 126k|4850 | 1 |4110 |3208 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1239.43/1243.20 c 1243s| 5200 | 4932 |647392 | 117.3 | 1854M | 46 |1534 | 129k| 126k|4851 | 1 |4206 |3249 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1253.09/1256.91 c 1257s| 5300 | 5028 |659398 | 117.3 | 1857M | 46 |1534 | 130k| 126k|4881 | 1 |4311 |3289 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1262.85/1266.72 c 1267s| 5400 | 5128 |671408 | 117.4 | 1862M | 46 |1534 | 130k| 126k|4894 | 1 |4415 |3319 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1276.80/1280.73 c 1281s| 5500 | 5224 |682698 | 117.3 | 1876M | 46 |1534 | 130k| 126k|4923 | 1 |4511 |3366 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1285.27/1289.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1285.27/1289.20 c 1289s| 5600 | 5316 |691857 | 116.8 | 1883M | 46 |1534 | 130k| 126k|4928 | 1 |4577 |3398 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1307.70/1311.72 c 1312s| 5700 | 5414 |704422 | 117.0 | 1888M | 46 |1534 | 130k| 126k|4963 | 1 |4722 |3424 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1326.24/1330.35 c 1330s| 5800 | 5504 |715822 | 116.9 | 1909M | 46 |1534 | 130k| 126k|5018 | 1 |4788 |3454 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1346.78/1350.91 c 1351s| 5900 | 5600 |727552 | 116.9 | 1913M | 46 |1534 | 130k| 126k|5074 | 1 |4847 |3493 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1355.25/1359.47 c 1359s| 6000 | 5698 |737450 | 116.6 | 1916M | 46 |1534 | 130k| 126k|5083 | 1 |4932 |3524 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1367.40/1371.60 c 1372s| 6100 | 5794 |748031 | 116.5 | 1920M | 46 |1534 | 130k| 126k|5110 | 1 |5018 |3556 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1375.17/1379.41 c 1379s| 6200 | 5890 |756876 | 116.0 | 1923M | 46 |1534 | 130k| 126k|5113 | 1 |5123 |3579 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1403.79/1408.19 c 1408s| 6300 | 5986 |767824 | 115.9 | 1939M | 46 |1534 | 130k| 126k|5182 | 1 |5244 |3608 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1419.93/1424.34 c 1424s| 6400 | 6078 |777675 | 115.6 | 1942M | 46 |1534 | 130k| 126k|5206 | 1 |5315 |3648 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1427.90/1432.36 c 1432s| 6500 | 6178 |787315 | 115.3 | 1946M | 46 |1534 | 130k| 126k|5217 | 1 |5383 |3670 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1435.47/1439.99 c 1440s| 6600 | 6278 |797017 | 115.1 | 1949M | 46 |1534 | 131k| 126k|5221 | 1 |5465 |3681 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1454.71/1459.24 c 1459s| 6700 | 6374 |807912 | 115.0 | 1953M | 46 |1534 | 131k| 126k|5276 | 1 |5523 |3706 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1466.77/1471.32 c 1471s| 6800 | 6474 |822052 | 115.4 | 1958M | 46 |1534 | 131k| 126k|5307 | 1 |5620 |3712 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1478.43/1483.07 c 1483s| 6900 | 6570 |831965 | 115.1 | 1961M | 46 |1534 | 131k| 126k|5330 | 1 |5669 |3730 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1486.60/1491.26 c 1491s| 7000 | 6666 |841864 | 114.9 | 1969M | 46 |1534 | 131k| 126k|5332 | 1 |5784 |3752 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1506.24/1510.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1506.24/1510.92 c 1511s| 7100 | 6760 |851093 | 114.6 | 1971M | 46 |1534 | 131k| 126k|5367 | 1 |5831 |3761 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1523.88/1528.61 c 1529s| 7200 | 6860 |863572 | 114.7 | 1977M | 46 |1534 | 131k| 126k|5395 | 2 |5931 |3765 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1535.44/1540.23 c 1540s| 7300 | 6958 |874561 | 114.7 | 1991M | 46 |1534 | 131k| 126k|5416 | 1 |6012 |3768 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1548.89/1553.71 c 1554s| 7400 | 7056 |886048 | 114.7 | 1995M | 46 |1534 | 131k| 126k|5459 | 1 |6079 |3772 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1556.56/1561.49 c 1561s| 7500 | 7156 |897971 | 114.7 | 2000M | 46 |1534 | 131k| 126k|5466 | 1 |6171 |3777 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1578.30/1583.23 c 1583s| 7600 | 7248 |911685 | 115.0 | 2003M | 46 |1534 | 131k| 126k|5521 | 1 |6257 |3780 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1598.04/1603.08 c 1603s| 7700 | 7348 |923887 | 115.1 | 2030M | 46 |1534 | 131k| 126k|5575 | 1 |6344 |3783 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1623.16/1628.27 c 1628s| 7800 | 7446 |936024 | 115.2 | 2033M | 46 |1534 | 131k| 126k|5638 | 1 |6463 |3788 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1645.60/1650.72 c 1651s| 7900 | 7542 |947920 | 115.2 | 2039M | 46 |1534 | 131k| 126k|5712 | 1 |6555 |3796 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1656.96/1662.12 c 1662s| 8000 | 7642 |960058 | 115.3 | 2042M | 46 |1534 | 131k| 126k|5752 | 1 |6628 |3804 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1684.57/1689.80 c 1690s| 8100 | 7730 |970584 | 115.2 | 2045M | 46 |1534 | 131k| 126k|5859 | 1 |6689 |3806 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1694.93/1700.26 c 1700s| 8200 | 7830 |978815 | 114.8 | 2049M | 46 |1534 | 131k| 126k|5885 | 1 |6795 |3810 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1711.09/1716.44 c 1716s| 8300 | 7930 |991086 | 114.9 | 2054M | 46 |1534 | 132k| 126k|5951 | 2 |6900 |3811 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1739.50/1744.98 c 1745s| 8400 | 8022 | 1001k| 114.8 | 2056M | 46 |1534 | 132k| 126k|6050 | 1 |6964 |3818 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1749.46/1754.98 c 1755s| 8500 | 8116 | 1012k| 114.7 | 2060M | 46 |1534 | 132k| 126k|6093 | 1 |7060 |3820 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1761.23/1766.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1761.23/1766.72 c 1767s| 8600 | 8216 | 1024k| 114.8 | 2066M | 46 |1534 | 132k| 126k|6134 | 2 |7187 |3820 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1768.91/1774.47 c 1774s| 8700 | 8316 | 1036k| 114.8 | 2072M | 46 |1534 | 132k| 126k|6142 | 1 |7281 |3827 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1781.86/1787.46 c 1787s| 8800 | 8416 | 1049k| 114.9 | 2074M | 46 |1534 | 132k| 126k|6195 | 1 |7375 |3828 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1794.62/1800.29 c 1800s| 8900 | 8514 | 1058k| 114.7 | 2079M | 46 |1534 | 132k| 126k|6234 | 1 |7482 |3828 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1803.09/1808.78 c 1809s| 9000 | 8612 | 1071k| 114.9 | 2082M | 46 |1534 | 132k| 126k|6238 | 2 |7584 |3839 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1832.80/1838.50 c 1839s| 9100 | 8712 | 1084k| 115.0 | 2114M | 46 |1534 | 132k| 126k|6306 | 1 |7734 |3894 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1839.58/1845.36 c 1845s| 9200 | 8812 | 1095k| 115.0 | 2117M | 46 |1534 | 132k| 126k|6316 | 1 |7828 |3897 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1855.53/1861.38 c 1861s| 9300 | 8906 | 1105k| 114.8 | 2123M | 46 |1534 | 132k| 126k|6383 | 1 |7932 |3927 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1872.97/1878.82 c 1879s| 9400 | 9004 | 1116k| 114.7 | 2128M | 46 |1534 | 132k| 126k|6461 | 1 |8015 |3951 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1884.24/1890.17 c 1890s| 9500 | 9096 | 1127k| 114.7 | 2132M | 46 |1534 | 132k| 126k|6488 | 1 |8093 |3984 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1905.97/1911.98 c 1912s| 9600 | 9190 | 1138k| 114.7 | 2135M | 46 |1534 | 132k| 126k|6528 | 1 |8195 |4022 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1918.83/1924.81 c 1925s| 9700 | 9280 | 1148k| 114.6 | 2137M | 46 |1534 | 132k| 126k|6564 | 1 |8278 |4040 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1937.37/1943.45 c 1943s| 9800 | 9372 | 1159k| 114.5 | 2168M | 46 |1534 | 132k| 126k|6619 | 1 |8336 |4070 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1947.03/1953.13 c 1953s| 9900 | 9468 | 1173k| 114.7 | 2172M | 46 |1534 | 132k| 126k|6621 | 1 |8425 |4100 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1956.39/1962.51 c 1963s| 10000 | 9560 | 1185k| 114.8 | 2174M | 46 |1534 | 132k| 126k|6622 | 1 |8456 |4136 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1980.53/1986.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1980.53/1986.72 c 1987s| 10100 | 9656 | 1199k| 115.0 | 2180M | 46 |1534 | 132k| 126k|6665 | 1 |8517 |4168 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
1994.78/2001.02 c 2001s| 10200 | 9752 | 1209k| 114.9 | 2185M | 46 |1534 | 133k| 126k|6732 | 1 |8622 |4194 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2007.24/2013.53 c 2014s| 10300 | 9844 | 1220k| 114.9 | 2190M | 46 |1534 | 133k| 126k|6748 | 1 |8662 |4225 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2023.38/2029.79 c 2030s| 10400 | 9936 | 1230k| 114.7 | 2193M | 46 |1534 | 133k| 126k|6781 | 1 |8717 |4258 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2036.53/2042.92 c 2043s| 10500 | 10032 | 1241k| 114.7 | 2196M | 46 |1534 | 133k| 126k|6808 | 1 |8824 |4288 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2051.29/2057.76 c 2058s| 10600 | 10128 | 1252k| 114.6 | 2202M | 46 |1534 | 133k| 126k|6855 | 1 |8907 |4315 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2078.71/2085.23 c 2085s| 10700 | 10228 | 1264k| 114.6 | 2205M | 46 |1534 | 133k| 126k|6951 | 1 |8997 |4348 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2090.78/2097.36 c 2097s| 10800 | 10328 | 1275k| 114.6 | 2208M | 46 |1534 | 133k| 126k|6961 | 1 |9054 |4380 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2104.73/2111.39 c 2111s| 10900 | 10424 | 1288k| 114.8 | 2212M | 46 |1534 | 133k| 126k|6992 | 2 |9127 |4408 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2112.20/2118.82 c 2119s| 11000 | 10522 | 1299k| 114.8 | 2215M | 46 |1534 | 133k| 126k|7003 | 1 |9201 |4417 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2122.96/2129.64 c 2130s| 11100 | 10612 | 1309k| 114.6 | 2218M | 46 |1534 | 133k| 126k|7036 | 1 |9269 |4430 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2138.11/2144.88 c 2145s| 11200 | 10708 | 1318k| 114.4 | 2224M | 46 |1534 | 133k| 126k|7065 | 1 |9382 |4461 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2150.27/2157.05 c 2157s| 11300 | 10802 | 1332k| 114.6 | 2229M | 46 |1534 | 133k| 126k|7085 | 1 |9476 |4473 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2158.83/2165.63 c 2166s| 11400 | 10900 | 1341k| 114.3 | 2232M | 46 |1534 | 133k| 126k|7115 | 1 |9544 |4488 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2168.01/2174.85 c 2175s| 11500 | 10996 | 1351k| 114.2 | 2236M | 46 |1534 | 133k| 126k|7141 | 1 |9623 |4495 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2184.86/2191.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2184.86/2191.80 c 2192s| 11600 | 11092 | 1361k| 114.1 | 2240M | 46 |1534 | 133k| 126k|7187 | 1 |9667 |4499 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2190.93/2197.86 c 2198s| 11700 | 11186 | 1371k| 114.0 | 2243M | 46 |1534 | 133k| 126k|7190 | 1 |9780 |4502 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2198.40/2205.31 c 2205s| 11800 | 11282 | 1382k| 114.0 | 2248M | 46 |1534 | 133k| 126k|7192 | 1 |9855 |4509 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2212.26/2219.20 c 2219s| 11900 | 11370 | 1392k| 113.9 | 2251M | 46 |1534 | 133k| 126k|7246 | 1 |9988 |4519 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2231.50/2238.54 c 2239s| 12000 | 11468 | 1404k| 113.9 | 2267M | 46 |1534 | 133k| 126k|7313 | 1 | 10k|4519 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2237.88/2244.99 c 2245s| 12100 | 11564 | 1414k| 113.8 | 2270M | 46 |1534 | 133k| 126k|7320 | 1 | 10k|4523 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2282.24/2289.42 c 2289s| 12200 | 11658 | 1425k| 113.8 | 2291M | 46 |1534 | 133k| 126k|7533 | 2 | 10k|4523 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2288.42/2295.61 c 2296s| 12300 | 11746 | 1435k| 113.6 | 2294M | 46 |1534 | 133k| 126k|7556 | 1 | 10k|4526 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2295.09/2302.38 c 2302s| 12400 | 11832 | 1445k| 113.6 | 2298M | 46 |1534 | 133k| 126k|7572 | 0 | 10k|4531 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2306.57/2313.87 c 2314s| 12500 | 11926 | 1456k| 113.5 | 2302M | 46 |1534 | 133k| 126k|7605 | 1 | 10k|4532 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2314.94/2322.25 c 2322s| 12600 | 12024 | 1467k| 113.5 | 2307M | 46 |1534 | 133k| 126k|7638 | 1 | 10k|4534 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2327.10/2334.46 c 2334s| 12700 | 12122 | 1479k| 113.5 | 2309M | 46 |1534 | 133k| 126k|7669 | 1 | 10k|4540 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2341.96/2349.38 c 2349s| 12800 | 12222 | 1491k| 113.6 | 2346M | 46 |1534 | 133k| 126k|7699 | 1 | 10k|4541 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2352.73/2360.13 c 2360s| 12900 | 12314 | 1501k| 113.5 | 2348M | 46 |1534 | 133k| 126k|7737 | 1 | 10k|4542 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2365.50/2372.98 c 2373s| 13000 | 12400 | 1511k| 113.4 | 2353M | 46 |1534 | 133k| 126k|7784 | 1 | 10k|4542 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2372.07/2379.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2372.07/2379.57 c 2380s| 13100 | 12500 | 1522k| 113.4 | 2359M | 46 |1534 | 134k| 126k|7787 | 1 | 11k|4550 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2387.43/2394.96 c 2395s| 13200 | 12592 | 1533k| 113.3 | 2361M | 46 |1534 | 134k| 126k|7847 | 1 | 11k|4551 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2412.77/2420.32 c 2420s| 13300 | 12686 | 1543k| 113.3 | 2365M | 46 |1534 | 134k| 126k|7963 | 2 | 11k|4551 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2433.52/2441.12 c 2441s| 13400 | 12782 | 1562k| 113.8 | 2373M | 46 |1534 | 134k| 126k|8023 | 1 | 11k|4567 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2461.03/2468.71 c 2469s| 13500 | 12866 | 1578k| 114.2 | 2378M | 46 |1534 | 134k| 126k|8246 | 1 | 11k|4568 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2483.87/2491.69 c 2492s| 13600 | 12964 | 1593k| 114.4 | 2395M | 46 |1534 | 134k| 126k|8363 | 1 | 11k|4568 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2496.03/2503.87 c 2504s| 13700 | 13064 | 1607k| 114.6 | 2422M | 46 |1534 | 134k| 126k|8418 | 1 | 11k|4580 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2506.70/2514.58 c 2515s| 13800 | 13164 | 1622k| 114.9 | 2427M | 46 |1534 | 134k| 126k|8445 | 1 | 11k|4607 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2525.65/2533.51 c 2534s| 13900 | 13264 | 1638k| 115.2 | 2431M | 46 |1534 | 134k| 126k|8527 | 1 | 11k|4640 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2536.81/2544.72 c 2545s| 14000 | 13364 | 1653k| 115.4 | 2434M | 46 |1534 | 134k| 126k|8557 | 1 | 11k|4662 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2545.40/2553.30 c 2553s| 14100 | 13464 | 1666k| 115.5 | 2438M | 46 |1534 | 134k| 126k|8567 | 1 | 11k|4686 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2558.65/2566.65 c 2567s| 14200 | 13552 | 1679k| 115.6 | 2441M | 46 |1534 | 134k| 126k|8608 | 2 | 11k|4719 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2566.53/2574.51 c 2575s| 14300 | 13650 | 1690k| 115.6 | 2445M | 46 |1534 | 134k| 126k|8620 | 1 | 11k|4747 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2574.41/2582.40 c 2582s| 14400 | 13742 | 1702k| 115.6 | 2448M | 46 |1534 | 134k| 126k|8624 | 1 | 12k|4768 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2593.05/2601.15 c 2601s| 14500 | 13842 | 1713k| 115.6 | 2481M | 46 |1534 | 134k| 126k|8683 | 1 | 12k|4799 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2599.93/2608.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2599.93/2608.06 c 2608s| 14600 | 13938 | 1724k| 115.5 | 2485M | 46 |1534 | 134k| 126k|8683 | 1 | 12k|4815 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2615.38/2623.54 c 2624s| 14700 | 14036 | 1736k| 115.6 | 2487M | 46 |1534 | 134k| 126k|8703 | 0 | 12k|4847 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2626.15/2634.36 c 2634s| 14800 | 14126 | 1746k| 115.5 | 2489M | 46 |1534 | 134k| 126k|8729 | 1 | 12k|4875 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2638.51/2646.75 c 2647s| 14900 | 14224 | 1758k| 115.5 | 2495M | 46 |1534 | 134k| 126k|8748 | 1 | 12k|4893 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2649.79/2658.08 c 2658s| 15000 | 14324 | 1776k| 115.9 | 2498M | 46 |1534 | 134k| 126k|8751 | 1 | 12k|4927 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2659.06/2667.32 c 2667s| 15100 | 14422 | 1792k| 116.3 | 2502M | 46 |1534 | 134k| 126k|8755 | 1 | 12k|4946 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2682.69/2691.06 c 2691s| 15200 | 14520 | 1803k| 116.2 | 2507M | 46 |1534 | 134k| 126k|8806 | 1 | 12k|4993 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2691.16/2699.58 c 2700s| 15300 | 14618 | 1816k| 116.2 | 2509M | 46 |1534 | 134k| 126k|8813 | 1 | 12k|5015 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2698.94/2707.33 c 2707s| 15400 | 14716 | 1826k| 116.1 | 2512M | 46 |1534 | 134k| 126k|8818 | 1 | 12k|5038 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2709.31/2717.70 c 2718s| 15500 | 14810 | 1836k| 116.1 | 2519M | 46 |1534 | 134k| 126k|8838 | 1 | 13k|5057 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2732.44/2740.90 c 2741s| 15600 | 14908 | 1848k| 116.1 | 2522M | 46 |1534 | 134k| 126k|8903 | 1 | 13k|5076 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2746.71/2755.21 c 2755s| 15700 | 15004 | 1859k| 116.0 | 2525M | 46 |1534 | 134k| 126k|8932 | 1 | 13k|5106 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2763.65/2772.20 c 2772s| 15800 | 15096 | 1871k| 116.1 | 2528M | 46 |1534 | 135k| 126k|8964 | 2 | 13k|5124 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2778.82/2787.40 c 2787s| 15900 | 15186 | 1884k| 116.1 | 2543M | 46 |1534 | 134k| 126k|9028 | 1 | 13k|5129 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2796.77/2805.48 c 2805s| 16000 | 15284 | 1898k| 116.3 | 2569M | 46 |1534 | 134k| 126k|9071 | 1 | 13k|5136 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2805.24/2813.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2805.24/2813.96 c 2814s| 16100 | 15384 | 1915k| 116.6 | 2573M | 46 |1534 | 135k| 126k|9071 | 1 | 13k|5136 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2821.70/2830.43 c 2830s| 16200 | 15484 | 1930k| 116.9 | 2578M | 46 |1534 | 135k| 126k|9114 | 1 | 13k|5136 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2837.35/2846.10 c 2846s| 16300 | 15584 | 1951k| 117.4 | 2585M | 46 |1534 | 135k| 126k|9172 | 1 | 13k|5136 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2884.53/2893.49 c 2893s| 16400 | 15684 | 1969k| 117.8 | 2602M | 46 |1534 | 135k| 126k|9428 | 1 | 13k|5137 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2921.64/2930.69 c 2931s| 16500 | 15784 | 1988k| 118.3 | 2607M | 46 |1534 | 135k| 126k|9560 | 1 | 13k|5143 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2929.80/2938.85 c 2939s| 16600 | 15884 | 2002k| 118.4 | 2649M | 46 |1534 | 135k| 126k|9566 | 1 | 13k|5149 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2936.39/2945.47 c 2945s| 16700 | 15978 | 2011k| 118.2 | 2654M | 46 |1534 | 135k| 126k|9571 | 1 | 14k|5165 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2943.57/2952.63 c 2953s| 16800 | 16070 | 2024k| 118.3 | 2657M | 46 |1534 | 135k| 126k|9573 | 1 | 14k|5166 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2953.94/2963.05 c 2963s| 16900 | 16166 | 2035k| 118.2 | 2662M | 46 |1534 | 135k| 126k|9604 | 0 | 14k|5167 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2961.51/2970.63 c 2971s| 17000 | 16260 | 2046k| 118.1 | 2664M | 46 |1534 | 135k| 126k|9613 | 1 | 14k|5180 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2979.47/2988.60 c 2989s| 17100 | 16358 | 2057k| 118.1 | 2666M | 46 |1534 | 135k| 126k|9649 | 1 | 14k|5184 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2985.95/2995.13 c 2995s| 17200 | 16454 | 2068k| 118.1 | 2673M | 46 |1534 | 135k| 126k|9650 | 1 | 14k|5186 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2993.73/3002.91 c 3003s| 17300 | 16550 | 2078k| 118.0 | 2677M | 46 |1534 | 135k| 126k|9671 | 1 | 14k|5193 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
2999.71/3008.99 c 3009s| 17400 | 16644 | 2089k| 117.9 | 2679M | 46 |1534 | 135k| 126k|9676 | 1 | 14k|5194 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3015.07/3024.38 c 3024s| 17500 | 16736 | 2099k| 117.8 | 2685M | 46 |1534 | 135k| 126k|9709 | 1 | 14k|5202 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3046.48/3055.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3046.48/3055.80 c 3056s| 17600 | 16826 | 2110k| 117.8 | 2690M | 46 |1534 | 135k| 126k|9816 | 1 | 14k|5209 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3069.02/3078.48 c 3078s| 17700 | 16924 | 2119k| 117.6 | 2692M | 46 |1534 | 135k| 126k|9880 | 1 | 15k|5210 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3082.88/3092.33 c 3092s| 17800 | 17022 | 2129k| 117.5 | 2696M | 46 |1534 | 135k| 126k|9920 | 1 | 15k|5213 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3091.86/3101.36 c 3101s| 17900 | 17112 | 2140k| 117.5 | 2700M | 46 |1534 | 135k| 126k|9935 | 1 | 15k|5213 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3100.23/3109.76 c 3110s| 18000 | 17212 | 2153k| 117.5 | 2704M | 46 |1534 | 135k| 126k|9958 | 1 | 15k|5215 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3111.09/3120.65 c 3121s| 18100 | 17310 | 2167k| 117.7 | 2707M | 46 |1534 | 135k| 126k|9982 | 1 | 15k|5215 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3117.38/3126.97 c 3127s| 18200 | 17402 | 2176k| 117.5 | 2709M | 46 |1534 | 135k| 126k|9987 | 1 | 15k|5217 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3129.65/3139.27 c 3139s| 18300 | 17500 | 2187k| 117.5 | 2713M | 46 |1534 | 135k| 126k| 10k| 1 | 15k|5218 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3151.19/3160.86 c 3161s| 18400 | 17588 | 2198k| 117.4 | 2717M | 46 |1534 | 135k| 126k| 10k| 1 | 15k|5218 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3156.97/3166.63 c 3167s| 18500 | 17684 | 2207k| 117.3 | 2719M | 48 |1534 | 135k| 126k| 10k| 1 | 15k|5218 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3173.02/3182.75 c 3183s| 18600 | 17780 | 2216k| 117.1 | 2724M | 48 |1534 | 135k| 126k| 10k| 1 | 15k|5218 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3201.85/3211.68 c 3212s| 18700 | 17878 | 2224k| 117.0 | 2727M | 48 |1534 | 136k| 126k| 10k| 1 | 15k|5218 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3246.33/3256.20 c 3256s| 18800 | 17970 | 2235k| 116.9 | 2730M | 48 |1534 | 136k| 126k| 10k| 1 | 15k|5219 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3258.70/3268.61 c 3269s| 18900 | 18064 | 2247k| 116.9 | 2733M | 48 |1534 | 136k| 126k| 10k| 1 | 16k|5219 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3268.47/3278.49 c 3278s| 19000 | 18158 | 2257k| 116.9 | 2758M | 48 |1534 | 136k| 126k| 10k| 1 | 16k|5219 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3303.69/3313.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3303.69/3313.79 c 3314s| 19100 | 18252 | 2267k| 116.7 | 2763M | 48 |1534 | 136k| 126k| 10k| 1 | 16k|5220 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3315.15/3325.23 c 3325s| 19200 | 18344 | 2280k| 116.8 | 2767M | 48 |1534 | 136k| 126k| 10k| 1 | 16k|5222 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3334.00/3344.16 c 3344s| 19300 | 18444 | 2289k| 116.7 | 2771M | 48 |1534 | 136k| 126k| 10k| 1 | 16k|5225 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3342.77/3352.96 c 3353s| 19400 | 18534 | 2301k| 116.7 | 2775M | 48 |1534 | 136k| 126k| 10k| 1 | 16k|5225 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3350.45/3360.63 c 3361s| 19500 | 18634 | 2314k| 116.8 | 2778M | 48 |1534 | 136k| 126k| 10k| 1 | 16k|5225 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3359.02/3369.28 c 3369s| 19600 | 18734 | 2330k| 117.0 | 2780M | 48 |1534 | 136k| 126k| 10k| 2 | 16k|5225 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3366.40/3376.68 c 3377s| 19700 | 18834 | 2342k| 117.0 | 2785M | 48 |1534 | 136k| 126k| 10k| 1 | 16k|5225 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3408.59/3418.93 c 3419s| 19800 | 18932 | 2357k| 117.2 | 2835M | 48 |1534 | 136k| 126k| 10k| 1 | 17k|5226 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3463.46/3473.91 c 3474s| 19900 | 19032 | 2370k| 117.2 | 2857M | 48 |1534 | 136k| 126k| 11k| 6 | 17k|5227 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3495.78/3506.33 c 3506s| 20000 | 19130 | 2383k| 117.3 | 2862M | 48 |1534 | 136k| 126k| 11k| 1 | 17k|5227 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3501.86/3512.45 c 3512s| 20100 | 19230 | 2394k| 117.3 | 2865M | 48 |1534 | 136k| 126k| 11k| 1 | 17k|5227 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3521.02/3531.64 c 3532s| 20200 | 19324 | 2404k| 117.2 | 2868M | 48 |1534 | 136k| 126k| 11k| 1 | 17k|5227 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3527.10/3537.74 c 3538s| 20300 | 19416 | 2415k| 117.2 | 2872M | 48 |1534 | 136k| 126k| 11k| 1 | 17k|5227 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3532.88/3543.50 c 3543s| 20400 | 19512 | 2425k| 117.1 | 2877M | 48 |1534 | 136k| 126k| 11k| 1 | 17k|5228 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3546.15/3556.85 c 3557s| 20500 | 19600 | 2435k| 117.0 | 2879M | 48 |1534 | 136k| 126k| 11k| 1 | 17k|5232 |-5.900000e+01 |-5.100000e+01 | 15.69%| unknown
3586.16/3597.00 c
3586.16/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.16/3597.00 c Solving Time (sec) : 3597.00
3586.16/3597.00 c Solving Nodes : 20557
3586.16/3597.00 c Primal Bound : -5.10000000000000e+01 (975 solutions)
3586.16/3597.00 c Dual Bound : -5.90000000000000e+01
3586.16/3597.00 c Gap : 15.69 %
3586.27/3597.03 s SATISFIABLE
3586.27/3597.03 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3586.27/3597.03 v -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
3586.27/3597.03 v x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3586.27/3597.03 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3586.27/3597.03 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
3586.27/3597.03 v -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145
3586.27/3597.03 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
3586.27/3597.03 v -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187
3586.27/3597.03 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
3586.27/3597.03 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
3586.27/3597.03 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
3586.27/3597.03 v -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
3586.27/3597.03 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
3586.27/3597.03 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312
3586.27/3597.03 v -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
3586.27/3597.03 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354
3586.27/3597.03 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3586.27/3597.03 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
3586.27/3597.03 v -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3586.27/3597.03 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438
3586.27/3597.03 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
3586.27/3597.03 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480
3586.27/3597.03 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501
3586.27/3597.03 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3586.27/3597.03 v -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3586.27/3597.03 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
3586.27/3597.03 v -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585
3586.27/3597.03 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
3586.27/3597.03 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626
3586.27/3597.03 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
3586.27/3597.03 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
3586.27/3597.03 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
3586.27/3597.03 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
3586.27/3597.03 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
3586.27/3597.03 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752
3586.27/3597.03 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773
3586.27/3597.03 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
3586.27/3597.03 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815
3586.27/3597.03 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
3586.27/3597.03 v -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
3586.27/3597.03 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3586.27/3597.03 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
3586.27/3597.03 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
3586.27/3597.03 v -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
3586.27/3597.03 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962
3586.27/3597.03 v -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
3586.27/3597.03 v -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
3586.27/3597.03 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
3586.27/3597.03 v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039
3586.27/3597.03 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057
3586.27/3597.03 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
3586.27/3597.03 v -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3586.27/3597.03 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111
3586.27/3597.03 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
3586.27/3597.03 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
3586.27/3597.03 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165
3586.27/3597.03 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182
3586.27/3597.03 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
3586.27/3597.03 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
3586.27/3597.03 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
3586.27/3597.03 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
3586.27/3597.03 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
3586.27/3597.03 v -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
3586.27/3597.03 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
3586.27/3597.03 v -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
3586.27/3597.03 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
3586.27/3597.03 v -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
3586.27/3597.03 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
3586.27/3597.03 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
3586.27/3597.03 v -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
3586.27/3597.03 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
3586.27/3597.03 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
3586.27/3597.03 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469
3586.27/3597.03 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487
3586.27/3597.03 v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505
3586.27/3597.03 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
3586.27/3597.03 v x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
3586.27/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3586.27/3597.03 c Total Time : 3597.00
3586.27/3597.03 c solving : 3597.00
3586.27/3597.03 c presolving : 2.80 (included in solving)
3586.27/3597.03 c reading : 0.22 (included in solving)
3586.27/3597.03 c copying : 3.85 (25 #copies) (minimal 0.12, maximal 0.20, average 0.15)
3586.27/3597.03 c Original Problem :
3586.27/3597.03 c Problem name : HOME/instance-4432704-1721058421.opb
3586.27/3597.03 c Variables : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.27/3597.03 c Constraints : 126163 initial, 126163 maximal
3586.27/3597.03 c Objective : minimize, 1534 non-zeros (abs.min = 1, abs.max = 1)
3586.27/3597.03 c Presolved Problem :
3586.27/3597.03 c Problem name : t_HOME/instance-4432704-1721058421.opb
3586.27/3597.03 c Variables : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.27/3597.03 c Constraints : 126163 initial, 136168 maximal
3586.27/3597.03 c Objective : minimize, 1534 non-zeros (abs.min = 1, abs.max = 1)
3586.27/3597.03 c Nonzeros : 252326 constraint, 252326 clique table
3586.27/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.27/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c domcol : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c dualsparsify : 0.85 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c milp : 0.48 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c sparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c probing : 0.73 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c vbounds : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c setppc : 0.12 0.00 3 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c linear : 0.36 0.03 2 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c root node : - - - 0 - - 0 - - - - -
3586.27/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.27/3597.03 c benderslp : 0 0 0 0 20209 0 0 3315 0 0 0 0 0 0 0
3586.27/3597.03 c integral : 0 0 0 0 20209 0 0 3315 0 0 91 0 0 162 40332
3586.27/3597.03 c knapsack : 0+ 2 0 3152 0 0 0 0 0 1 0 0 0 0 0
3586.27/3597.03 c setppc : 126163 126163 40 215520 0 0 0 3310 872076 0 643589 0 0 0 0
3586.27/3597.03 c logicor : 0+ 10003 0 45887 0 0 0 0 94 449 7 0 0 0 0
3586.27/3597.03 c benders : 0 0 0 0 0 0 0 1145 0 0 0 0 0 0 0
3586.27/3597.03 c fixedvar : 0 0 0 0 0 0 0 1145 0 0 0 0 0 0 0
3586.27/3597.03 c countsols : 0 0 0 0 0 0 0 1145 0 0 0 0 0 0 0
3586.27/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.27/3597.03 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c integral : 362.40 0.00 0.00 0.00 362.37 0.00 0.00 0.03 0.00 0.00
3586.27/3597.03 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c setppc : 28.92 0.00 0.19 20.13 0.00 0.00 0.00 4.52 0.17 3.91
3586.27/3597.03 c logicor : 2.49 0.00 0.00 2.35 0.00 0.00 0.00 0.00 0.00 0.15
3586.27/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.27/3597.03 c dualfix : 2 0 0 0
3586.27/3597.03 c genvbounds : 0 0 0 0
3586.27/3597.03 c nlobbt : 0 0 0 0
3586.27/3597.03 c obbt : 0 0 0 0
3586.27/3597.03 c probing : 0 0 0 0
3586.27/3597.03 c pseudoobj : 57488 0 0 0
3586.27/3597.03 c redcost : 17451 0 0 45
3586.27/3597.03 c rootredcost : 5 0 0 0
3586.27/3597.03 c symmetry : 0 0 0 0
3586.27/3597.03 c vbounds : 59987 0 0 0
3586.27/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.27/3597.03 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c genvbounds : 0.04 0.00 0.00 0.04 0.00 0.01
3586.27/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.27/3597.03 c probing : 0.73 0.00 0.73 0.00 0.00 0.00
3586.27/3597.03 c pseudoobj : 2.55 0.00 0.00 2.55 0.00 0.00
3586.27/3597.03 c redcost : 0.40 0.00 0.00 0.40 0.00 0.00
3586.27/3597.03 c rootredcost : 0.04 0.00 0.00 0.03 0.00 0.00
3586.27/3597.03 c symmetry : 0.12 0.00 0.06 0.04 0.00 0.01
3586.27/3597.03 c vbounds : 0.09 0.00 0.01 0.07 0.00 0.01
3586.27/3597.03 c Symmetry :
3586.27/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.27/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.27/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.27/3597.03 c shadow tree time : 0.00 s
3586.27/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.27/3597.03 c propagation : 0.00 450 258 - 277 33.6 0 0.0 - - -
3586.27/3597.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.27/3597.03 c bound exceed. LP : 17.93 4510 2562 - 50060 251.2 0 0.0 5 217.4 8569
3586.27/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.27/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.27/3597.03 c applied globally : 5.17 - - 0 17796 38.0 - - 5 - -
3586.27/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.27/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.27/3597.03 c cut pool : 1.66 - 4724 79 - - 50722 72834 - - - - - (maximal pool size: 3289)
3586.27/3597.03 c aggregation : 6.72 0.00 1073 40 0 0 7 11 0 1 1 0 0
3586.27/3597.03 c > cmir : - - - - - - - 8 0 0 0 0 -
3586.27/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.27/3597.03 c > knapsackcover : - - - - - - - 3 0 1 1 0 -
3586.27/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c clique : 0.73 0.00 40 40 0 0 356 1225 0 528 528 0 0
3586.27/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c gomory : 1762.31 0.00 992 10 0 0 48402 61602 2201 4919 4894 25 0
3586.27/3597.03 c > gomorymi : - - - - - - - 19212 1096 241 225 16 -
3586.27/3597.03 c > strongcg : - - - - - - - 42390 1105 4678 4669 9 -
3586.27/3597.03 c impliedbounds : 2.04 0.00 1074 40 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c mcf : 0.06 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c multilinear : 0.00 0.00 777 40 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c rapidlearning : 3.34 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c rlt : 0.00 0.00 390 10 0 0 0 0 0 0 0 0 0
3586.27/3597.03 c zerohalf : 11.63 0.00 1001 20 0 0 4831 9996 673 6348 6055 293 0
3586.27/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.27/3597.03 c hybrid : 0.05 0.00 2179 40 11796 0 63912 693 0 1950
3586.27/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3586.27/3597.03 c problem variables: 0.00 - 0 0
3586.27/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.27/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c relpscost : 362.34 0.00 20209 0 0 0 91 0 164 40332
3586.27/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.27/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.27/3597.03 c LP solutions : 0.00 - - 0 0
3586.27/3597.03 c relax solutions : 0.00 - - 0 0
3586.27/3597.03 c pseudo solutions : 0.00 - - 0 0
3586.27/3597.03 c strong branching : 2.17 - - 450 1
3586.27/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3586.27/3597.03 c adaptivediving : 5.78 0.00 92 3 0
3586.27/3597.03 c alns : 2.72 0.00 6 0 0
3586.27/3597.03 c bound : 0.00 0.00 0 0 0
3586.27/3597.03 c clique : 0.29 0.00 1 1 1
3586.27/3597.03 c coefdiving : 0.00 0.00 0 0 0
3586.27/3597.03 c completesol : 0.00 0.00 0 0 0
3586.27/3597.03 c conflictdiving : 27.22 0.00 433 0 0
3586.27/3597.03 c crossover : 3.93 0.00 9 5 0
3586.27/3597.03 c dins : 0.00 0.00 0 0 0
3586.27/3597.03 c distributiondivin: 68.74 0.00 431 0 0
3586.27/3597.03 c dps : 0.00 0.00 0 0 0
3586.27/3597.03 c dualval : 0.00 0.00 0 0 0
3586.27/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3586.27/3597.03 c feasjump : 0.00 0.00 0 0 0
3586.27/3597.03 c feaspump : 0.00 0.00 0 0 0
3586.27/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3586.27/3597.03 c fracdiving : 29.07 0.00 433 0 0
3586.27/3597.03 c gins : 0.21 0.00 0 0 0
3586.27/3597.03 c guideddiving : 24.69 0.00 432 0 0
3586.27/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3586.27/3597.03 c indicator : 0.01 0.00 0 0 0
3586.27/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3586.27/3597.03 c indoneopt : 0.01 0.00 0 0 0
3586.27/3597.03 c indrounding : 0.00 0.00 0 0 0
3586.27/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3586.27/3597.03 c intdiving : 0.00 0.00 0 0 0
3586.27/3597.03 c intshifting : 0.00 0.00 0 0 0
3586.27/3597.03 c linesearchdiving : 29.02 0.00 433 2 1
3586.27/3597.03 c localbranching : 0.00 0.00 0 0 0
3586.27/3597.03 c locks : 0.12 0.00 1 1 1
3586.27/3597.03 c lpface : 0.06 0.00 0 0 0
3586.27/3597.03 c mpec : 0.00 0.00 0 0 0
3586.27/3597.03 c multistart : 0.00 0.00 0 0 0
3586.27/3597.03 c mutation : 0.00 0.00 0 0 0
3586.27/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3586.27/3597.03 c objpscostdiving : 63.82 0.00 152 178 2
3586.27/3597.03 c octane : 0.00 0.00 0 0 0
3586.27/3597.03 c ofins : 0.01 0.00 0 0 0
3586.27/3597.03 c oneopt : 0.05 0.00 5 0 0
3586.27/3597.03 c padm : 0.00 0.00 0 0 0
3586.27/3597.03 c proximity : 0.00 0.00 0 0 0
3586.27/3597.03 c pscostdiving : 54.72 0.00 433 7 1
3586.27/3597.03 c randrounding : 4.60 0.00 2228 41 0
3586.27/3597.03 c rens : 2.05 0.00 1 1 0
3586.27/3597.03 c reoptsols : 0.00 0.00 0 0 0
3586.27/3597.03 c repair : 0.00 0.00 0 0 0
3586.27/3597.03 c rins : 4.65 0.00 9 5 0
3586.27/3597.03 c rootsoldiving : 66.95 0.00 164 80 0
3586.27/3597.03 c rounding : 10.25 0.00 2070 0 0
3586.27/3597.03 c scheduler : 0.00 0.00 0 0 0
3586.27/3597.03 c shiftandpropagate: 0.00 0.00 0 0 0
3586.27/3597.03 c shifting : 5.91 0.00 895 0 0
3586.27/3597.03 c simplerounding : 0.40 0.00 22388 32 0
3586.27/3597.03 c smallcard : 0.00 0.00 0 0 0
3586.27/3597.03 c subnlp : 0.02 0.00 0 0 0
3586.27/3597.03 c trivial : 0.01 0.00 2 1 1
3586.27/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3586.27/3597.03 c trustregion : 0.00 0.00 0 0 0
3586.27/3597.03 c trysol : 0.01 0.00 0 0 0
3586.27/3597.03 c twoopt : 0.00 0.00 0 0 0
3586.27/3597.03 c undercover : 0.00 0.00 0 0 0
3586.27/3597.03 c vbounds : 0.67 0.00 1 2 1
3586.27/3597.03 c veclendiving : 24.93 0.00 432 0 0
3586.27/3597.03 c zeroobj : 0.00 0.00 0 0 0
3586.27/3597.03 c zirounding : 42.60 0.00 8301 166 0
3586.27/3597.03 c other solutions : - - - 0 -
3586.27/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.27/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.27/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.27/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.27/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.27/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.27/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.27/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.27/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.27/3597.03 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.27/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.27/3597.03 c primal LP : 11.28 1269 0 0.00 0.00 11.28 1269
3586.27/3597.03 c dual LP : 629.65 22836 1728981 76.05 2745.93 1.03 102
3586.27/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3586.27/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.27/3597.03 c resolve instable : 0.00 0 0 0.00 -
3586.27/3597.03 c diving/probing LP: 273.69 15228 712959 46.82 2605.01
3586.27/3597.03 c strong branching : 189.56 5232 438087 83.73 2311.09 - - 1488
3586.27/3597.03 c (at root node) : - 27 2399 88.85 -
3586.27/3597.03 c conflict analysis: 6.19 891 8569 9.62 1384.19
3586.27/3597.03 c B&B Tree :
3586.27/3597.03 c number of runs : 1
3586.27/3597.03 c nodes : 20557 (20166 internal, 391 leaves)
3586.27/3597.03 c feasible leaves : 0
3586.27/3597.03 c infeas. leaves : 0
3586.27/3597.03 c objective leaves : 390
3586.27/3597.03 c nodes (total) : 20557 (20166 internal, 391 leaves)
3586.27/3597.03 c nodes left : 19656
3586.27/3597.03 c max depth : 48
3586.27/3597.03 c max depth (total): 48
3586.27/3597.03 c backtracks : 3984 (19.4%)
3586.27/3597.03 c early backtracks : 0 (0.0%)
3586.27/3597.03 c nodes exc. ref. : 0 (0.0%)
3586.27/3597.03 c delayed cutoffs : 0
3586.27/3597.03 c repropagations : 2 (2 domain reductions, 0 cutoffs)
3586.27/3597.03 c avg switch length: 7.77
3586.27/3597.03 c switching time : 99.63
3586.27/3597.03 c Root Node :
3586.27/3597.03 c First LP value : -7.67000000000000e+02
3586.27/3597.03 c First LP Iters : 1534 (1753.50 Iter/sec)
3586.27/3597.03 c First LP Time : 0.87
3586.27/3597.03 c Final Dual Bound : -5.90000000000000e+01
3586.27/3597.03 c Final Root Iters : 37694
3586.27/3597.03 c Root LP Estimate : -5.08659912214054e+01
3586.27/3597.03 c Solution :
3586.27/3597.03 c Solutions found : 975 (9 improvements)
3586.27/3597.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.37 seconds, depth 0, found by <trivial>)
3586.27/3597.03 c Gap First Sol. : infinite
3586.27/3597.03 c Gap Last Sol. : 15.69 %
3586.27/3597.03 c Primal Bound : -5.10000000000000e+01 (in run 1, after 606 nodes, 238.52 seconds, depth 57, found by <linesearchdiving>)
3586.27/3597.03 c Dual Bound : -5.90000000000000e+01
3586.27/3597.03 c Gap : 15.69 %
3586.27/3597.03 c Integrals : Total Avg%
3586.27/3597.03 c primal-dual : 55086.30 15.31
3586.27/3597.03 c primal-ref : - - (not evaluated)
3586.27/3597.03 c dual-ref : - - (not evaluated)
3586.67/3597.45 c Time complete: 3586.72.
OK -51
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59156 MiB free)
memory of node 1: 64510 MiB (62095 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432704-1721058421/watcher-4432704-1721058421 -o /tmp/evaluation-result-4432704-1721058421/solver-4432704-1721058421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830874 --watchdog 3760 pbscip -f HOME/instance-4432704-1721058421.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=835882, runsolver pid=835879
[startup+0.100139 s]*
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=124127260/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=88868 memory=47320 CPUtime=0.09 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 8913 0 0 0 8 1 0 0 20 0 1 0 158007419 91000832 11830 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 22217 11830 3258 3540 0 10474 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88868 KiB
Current children cumulated memory: 47320 KiB
[startup+0.206139 s]*
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=124097692/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=118212 memory=77016 CPUtime=0.19 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 16316 0 0 0 17 2 0 0 20 0 1 0 158007419 121049088 19254 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 29553 19254 3258 3540 0 17810 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118212 KiB
Current children cumulated memory: 77016 KiB
[startup+0.305646 s]*
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=124045528/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=174676 memory=134764 CPUtime=0.29 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 31193 0 0 0 25 4 0 0 20 0 1 0 158007419 178868224 33691 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 43669 33691 3562 3540 0 31926 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 174676 KiB
Current children cumulated memory: 134764 KiB
[startup+0.700227 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=123997340/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=289840 memory=247660 CPUtime=0.68 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 57124 0 0 0 59 9 0 0 20 0 1 0 158007419 296796160 61915 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 72460 61915 3673 3540 0 60717 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 289840 KiB
Current children cumulated memory: 247660 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=123921292/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=301236 memory=259052 CPUtime=1.47 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 71695 0 0 0 137 10 0 0 20 0 1 0 158007419 308465664 64763 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 75309 64763 3737 3540 0 63566 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 301236 KiB
Current children cumulated memory: 259052 KiB
[startup+3.1057 s]
/proc/loadavg: 4.13 4.15 4.11 5/255 835883
/proc/meminfo: memFree=123712148/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=552104 memory=463812 CPUtime=3.07 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 79190 0 0 0 293 14 0 0 20 0 1 0 158007419 565354496 115953 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 138026 115953 3785 3540 0 126283 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 552104 KiB
Current children cumulated memory: 463812 KiB
[startup+6.30023 s]
/proc/loadavg: 4.13 4.15 4.11 5/255 835885
/proc/meminfo: memFree=123589972/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=688232 memory=598304 CPUtime=6.26 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 110909 0 0 0 606 20 0 0 20 0 1 0 158007419 704749568 149576 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 172058 149576 3977 3540 0 160315 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 688232 KiB
Current children cumulated memory: 598304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.11 5/255 835886
/proc/meminfo: memFree=123538556/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=748508 memory=628756 CPUtime=12.65 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 115448 0 0 0 1244 21 0 0 20 0 1 0 158007419 766472192 157189 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 187127 157189 3977 3540 0 175384 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 748508 KiB
Current children cumulated memory: 628756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.17 4.12 5/255 835889
/proc/meminfo: memFree=123524064/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=843260 memory=630804 CPUtime=25.41 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 115484 0 0 0 2520 21 0 0 20 0 1 0 158007419 863498240 157701 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 210815 157701 3977 3540 0 199072 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 843260 KiB
Current children cumulated memory: 630804 KiB
[startup+51.1057 s]
/proc/loadavg: 4.17 4.16 4.11 5/255 835892
/proc/meminfo: memFree=123361012/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1106696 memory=775932 CPUtime=50.94 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 151742 0 0 0 5068 26 0 0 20 0 1 0 158007419 1133256704 193983 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 276674 193983 4015 3540 0 264931 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1106696 KiB
Current children cumulated memory: 775932 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/255 835900
/proc/meminfo: memFree=123229548/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1139012 memory=808288 CPUtime=101.98 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 159874 0 0 0 10170 28 0 0 20 0 1 0 158007419 1166348288 202072 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 284753 202072 4015 3540 0 273010 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1139012 KiB
Current children cumulated memory: 808288 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/256 835911
/proc/meminfo: memFree=123114904/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1177588 memory=846796 CPUtime=161.78 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 169710 0 0 0 16149 29 0 0 20 0 1 0 158007419 1205850112 211699 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 294397 211699 4015 3540 0 282654 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1177588 KiB
Current children cumulated memory: 846796 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/258 835928
/proc/meminfo: memFree=122954160/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1284840 memory=923724 CPUtime=221.61 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 189316 0 0 0 22129 32 0 0 20 0 1 0 158007419 1315676160 230931 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 321210 230931 4015 3540 0 309467 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1284840 KiB
Current children cumulated memory: 923724 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 835939
/proc/meminfo: memFree=122914396/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1342456 memory=929236 CPUtime=281.41 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 190606 0 0 0 28109 32 0 0 20 0 1 0 158007419 1374674944 232309 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 335614 232309 4161 3540 0 323871 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1342456 KiB
Current children cumulated memory: 929236 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 835950
/proc/meminfo: memFree=122808344/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1445160 memory=986300 CPUtime=341.25 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 204340 0 0 0 34090 35 0 0 20 0 1 0 158007419 1479843840 246575 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 361290 246575 4161 3540 0 349547 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1445160 KiB
Current children cumulated memory: 986300 KiB
[startup+402.3 s]
/proc/loadavg: 4.31 4.18 4.12 5/259 835962
/proc/meminfo: memFree=122519964/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1532244 memory=993212 CPUtime=401.07 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 205090 0 0 0 40072 35 0 0 20 0 1 0 158007419 1569017856 248303 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 383061 248303 4161 3540 0 371318 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1532244 KiB
Current children cumulated memory: 993212 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/258 835973
/proc/meminfo: memFree=122378760/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1640812 memory=1064100 CPUtime=460.89 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 222289 0 0 0 46050 39 0 0 20 0 1 0 158007419 1680191488 266025 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 410203 266025 4161 3540 0 398460 0
################
# More data... #
################
/proc/loadavg: 4.08 4.12 4.11 5/255 837712
/proc/meminfo: memFree=120168536/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2890420 memory=2314188 CPUtime=3152.68 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 512538 0 0 0 315149 119 0 0 20 0 1 0 158007419 2959790080 578547 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 722605 578547 4161 3540 0 710862 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 2890420 KiB
Current children cumulated memory: 2314188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/257 837728
/proc/meminfo: memFree=120162128/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2890420 memory=2316768 CPUtime=3212.53 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 513061 0 0 0 321133 120 0 0 20 0 1 0 158007419 2959790080 579192 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 722605 579192 4161 3540 0 710862 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 2890420 KiB
Current children cumulated memory: 2316768 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/257 837738
/proc/meminfo: memFree=120101940/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2912068 memory=2336472 CPUtime=3272.36 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 514526 0 0 0 327116 120 0 0 20 0 1 0 158007419 2981957632 584118 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 728017 584118 4161 3540 0 716274 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 2912068 KiB
Current children cumulated memory: 2336472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/257 837748
/proc/meminfo: memFree=120036120/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2912068 memory=2358340 CPUtime=3332.2 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 515258 0 0 0 333099 121 0 0 20 0 1 0 158007419 2981957632 589585 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 728017 589585 4161 3540 0 716274 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 2912068 KiB
Current children cumulated memory: 2358340 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/257 837760
/proc/meminfo: memFree=119999488/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2912068 memory=2363736 CPUtime=3392.04 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 516122 0 0 0 339082 122 0 0 20 0 1 0 158007419 2981957632 590934 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 728017 590934 4161 3540 0 716274 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 2912068 KiB
Current children cumulated memory: 2363736 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.84 4.00 3/243 837834
/proc/meminfo: memFree=123231048/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2956972 memory=2374812 CPUtime=3451.88 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 517960 0 0 0 345065 123 0 0 20 0 1 0 158007419 3027939328 593703 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739243 593703 4161 3540 0 727500 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 2956972 KiB
Current children cumulated memory: 2374812 KiB
[startup+3522.3 s]
/proc/loadavg: 2.49 3.53 3.88 3/241 837844
/proc/meminfo: memFree=123214596/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2956972 memory=2389816 CPUtime=3511.74 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 518656 0 0 0 351051 123 0 0 20 0 1 0 158007419 3027939328 597454 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739243 597454 4161 3540 0 727500 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 2956972 KiB
Current children cumulated memory: 2389816 KiB
[startup+3582.3 s]
/proc/loadavg: 2.23 3.27 3.77 3/241 837855
/proc/meminfo: memFree=123210676/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393916 CPUtime=3571.59 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519254 0 0 0 357036 123 0 0 20 0 1 0 158007419 3029962752 598479 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598479 4161 3540 0 727994 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393916 KiB
[startup+3597.46 s]
# the end of solver process 835882 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.48 s, system=1.25512 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.21 3.24 3.76 3/241 837856
/proc/meminfo: memFree=123210548/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393916 CPUtime=3573.29 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519289 0 0 0 357206 123 0 0 20 0 1 0 158007419 3029962752 598479 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598479 4161 3540 0 727994 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393916 KiB
[startup+3590.4 s]
/proc/loadavg: 2.20 3.22 3.75 3/241 837856
/proc/meminfo: memFree=123210684/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393916 CPUtime=3579.68 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519343 0 0 0 357845 123 0 0 20 0 1 0 158007419 3029962752 598479 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598479 4161 3540 0 727994 0
Current children cumulated CPU time: 3579.68 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393916 KiB
[startup+3593.6 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837856
/proc/meminfo: memFree=123210676/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393916 CPUtime=3582.87 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519362 0 0 0 358164 123 0 0 20 0 1 0 158007419 3029962752 598479 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598479 4161 3540 0 727994 0
Current children cumulated CPU time: 3582.87 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393916 KiB
[startup+3595.2 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837858
/proc/meminfo: memFree=123210132/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393924 CPUtime=3584.47 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519398 0 0 0 358324 123 0 0 20 0 1 0 158007419 3029962752 598481 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598481 4161 3540 0 727994 0
Current children cumulated CPU time: 3584.47 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393924 KiB
[startup+3596.8 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837858
/proc/meminfo: memFree=123210132/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393924 CPUtime=3586.06 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519406 0 0 0 358483 123 0 0 20 0 1 0 158007419 3029962752 598481 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598481 4161 3540 0 727994 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393924 KiB
[startup+3597.2 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837858
/proc/meminfo: memFree=123210132/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2394852 CPUtime=3586.46 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519732 0 0 0 358523 123 0 0 20 0 1 0 158007419 3029962752 598713 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598713 4161 3540 0 727994 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2394852 KiB
[startup+3597.4 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837858
/proc/meminfo: memFree=123210132/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2957680 memory=2393788 CPUtime=3586.67 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519736 0 0 0 358543 124 0 0 20 0 1 0 158007419 3028664320 598447 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739420 598447 4161 3540 0 727677 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 2957680 KiB
Current children cumulated memory: 2393788 KiB
Child status: 0
Real time (s): 3597.46
CPU time (s): 3586.73
CPU user time (s): 3585.48
CPU system time (s): 1.25512
CPU usage (%): 99.7019
Max. virtual memory (cumulated for all children) (KiB): 2958948
Max. memory (cumulated for all children) (KiB): 2394852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.47
system time used= 1.25512
maximum resident set size= 2394852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519789
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= 83
involuntary context switches= 3889
# summary of solver processes directly reported to runsolver:
# pid: 835882
# total CPU time (s): 3586.73
# total CPU user time (s): 3585.48
# total CPU system time (s): 1.25512
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45446 second user time and 16.6132 second system time
The end
Begin job on nodeC025 at 2024-07-15 17:47:13 IDJOB=4432704 IDBENCH=146702 IDSOLVER=3059 FILE ID=nodeC025/4432704-1721058421 RUNJOBID= nodeC025-1721051059-830874 SLURM_JOB_ID= 7505483 Free space on /tmp= 889972 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432704-1721058421/watcher-4432704-1721058421 -o /tmp/evaluation-result-4432704-1721058421/solver-4432704-1721058421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830874 --watchdog 3760 pbscip -f HOME/instance-4432704-1721058421.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13efe7890d7fc5aab9247ea9860b6d53 RANDOM SEED=263293443 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.599 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.177 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.075 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3608.162 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.647 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.758 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.897 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.535 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124162348 kB MemAvailable: 127776000 kB Buffers: 381840 kB Cached: 4028708 kB SwapCached: 0 kB Active: 695192 kB Inactive: 5983048 kB Active(anon): 1528 kB Inactive(anon): 2303868 kB Active(file): 693664 kB Inactive(file): 3679180 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21764 kB Writeback: 0 kB AnonPages: 2267728 kB Mapped: 139356 kB Shmem: 37720 kB KReclaimable: 160908 kB Slab: 273504 kB SReclaimable: 160908 kB SUnreclaim: 112596 kB KernelStack: 4112 kB PageTables: 14744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3307908 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61856 kB HardwareCorrupted: 0 kB AnonHugePages: 557056 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 240340 kB DirectMap2M: 32038912 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 889988 MiB End job on nodeC025 at 2024-07-15 18:47:11