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 | -75 | 3586.68 | 3597.5 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb |
| MD5SUM | 3e57f143ec316384ecd8a4071d2e7f39 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -86 |
| Best CPU time to get the best result obtained on this benchmark | 3600.2 |
| 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 | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75484 |
| Sum of products size (including duplicates) | 150968 |
| Number of different products | 37742 |
| Sum of products size | 75484 |
0.00/0.04 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.04 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.04 c
0.00/0.04 c user parameter file <scip.set> not found - using default parameters
0.00/0.04 c reading problem <HOME/instance-4498165-1751268244.opb>
0.26/0.40 c original problem has 38742 variables (1000 bin, 0 int, 37742 impl, 0 cont) and 39742 constraints
0.26/0.40 c problem read in 0.36
0.63/0.74 o 0
0.63/0.74 c feasible solution found by trivial heuristic after 0.7 seconds, objective value 0.000000e+00
0.63/0.74 c presolving:
0.94/1.02 c (round 1, fast) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.94/1.09 c (round 2, fast) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 0 impls, 0 clqs
1.12/1.23 c (round 3, medium) 37742 del vars, 2000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 0 impls, 37741 clqs
1.42/1.52 c (1.5s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.42/1.52 c (1.5s) probing aborted: 50/50 successive totally useless probings
1.42/1.54 c (1.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.42/1.57 c (1.5s) no symmetry present (symcode time: 0.01)
1.42/1.59 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
1.42/1.59 c 37742 deleted vars, 2000 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.42/1.59 c 0 implications, 37741 cliques
1.42/1.59 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
1.42/1.59 c 37742 constraints of type <setppc>
1.42/1.59 c transformed objective value is always integral (scale: 1)
1.42/1.59 c Presolving Time: 0.90
1.42/1.59 c - non default parameters ----------------------------------------------------------------------
1.42/1.59 c # SCIP version 10.0.0
1.42/1.59 c
1.42/1.59 c # maximal time in seconds to run
1.42/1.59 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.42/1.59 c limits/time = 3596.993143
1.42/1.59 c
1.42/1.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.42/1.59 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.42/1.59 c limits/memory = 27900
1.42/1.59 c
1.42/1.59 c # belongs reading time to solving time?
1.42/1.59 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.42/1.59 c timing/reading = TRUE
1.42/1.59 c
1.42/1.59 c -----------------------------------------------------------------------------------------------
1.42/1.59 c start solving
1.42/1.59 c transformed 1/1 original solutions to the transformed problem space
1.52/1.60 c
1.61/1.71 o -52
1.61/1.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.61/1.71 c p 1.7s| 1 | 0 | 0 | - | clique| 0 |1000 | 37k| 37k| 0 | 0 | 0 | 0 |-1.000000e+03 |-5.200000e+01 |1823.08%| unknown
1.61/1.75 o -70
1.61/1.75 c p 1.7s| 1 | 0 | 0 | - | locks| 0 |1000 | 37k| 37k| 0 | 0 | 0 | 0 |-1.000000e+03 |-7.000000e+01 |1328.57%| unknown
1.71/1.88 o -75
1.71/1.88 c i 1.8s| 1 | 0 | 195 | - | oneopt| 0 |1000 | 37k| 37k| 0 | 0 | 0 | 0 |-1.000000e+03 |-7.500000e+01 |1233.33%| unknown
1.94/2.02 c 2.0s| 1 | 0 | 1244 | - | 207M | 0 |1000 | 37k| 37k| 0 | 0 | 0 | 0 |-5.000000e+02 |-7.500000e+01 | 566.67%| unknown
2.52/2.64 c 2.6s| 1 | 0 | 1854 | - | 220M | 0 |1000 | 37k| 37k| 39 | 1 | 0 | 0 |-4.790000e+02 |-7.500000e+01 | 538.67%| unknown
3.21/3.39 c 3.3s| 1 | 0 | 2680 | - | 225M | 0 |1000 | 37k| 37k| 93 | 2 | 0 | 0 |-4.580000e+02 |-7.500000e+01 | 510.67%| unknown
3.81/3.91 c 3.9s| 1 | 0 | 3560 | - | 229M | 0 |1000 | 37k| 37k| 141 | 3 | 0 | 0 |-4.416667e+02 |-7.500000e+01 | 488.89%| unknown
4.51/4.60 c 4.6s| 1 | 0 | 4924 | - | 234M | 0 |1000 | 37k| 37k| 196 | 4 | 0 | 0 |-4.297500e+02 |-7.500000e+01 | 473.00%| unknown
5.20/5.34 c 5.3s| 1 | 0 | 6504 | - | 240M | 0 |1000 | 37k| 37k| 253 | 5 | 0 | 0 |-4.175000e+02 |-7.500000e+01 | 456.67%| unknown
6.51/6.63 c 6.6s| 1 | 0 | 9234 | - | 248M | 0 |1000 | 37k| 38k| 294 | 6 | 0 | 0 |-4.080000e+02 |-7.500000e+01 | 444.00%| unknown
7.80/7.92 c 7.9s| 1 | 0 | 11766 | - | 257M | 0 |1000 | 37k| 38k| 346 | 7 | 0 | 0 |-3.985000e+02 |-7.500000e+01 | 431.33%| unknown
9.20/9.36 c 9.3s| 1 | 0 | 14535 | - | 263M | 0 |1000 | 37k| 38k| 400 | 8 | 0 | 0 |-3.920000e+02 |-7.500000e+01 | 422.67%| unknown
10.79/10.97 c 10.9s| 1 | 0 | 17792 | - | 270M | 0 |1000 | 37k| 38k| 453 | 9 | 0 | 0 |-3.845000e+02 |-7.500000e+01 | 412.67%| unknown
13.18/13.37 c 13.3s| 1 | 0 | 22908 | - | 280M | 0 |1000 | 37k| 38k| 504 | 10 | 0 | 0 |-3.778000e+02 |-7.500000e+01 | 403.73%| unknown
15.89/16.03 c 16.0s| 1 | 0 | 29237 | - | 283M | 0 |1000 | 37k| 38k| 555 | 11 | 0 | 0 |-3.708659e+02 |-7.500000e+01 | 394.49%| unknown
17.88/18.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.88/18.02 c 18.0s| 1 | 0 | 33370 | - | 287M | 0 |1000 | 37k| 38k| 602 | 12 | 0 | 0 |-3.654386e+02 |-7.500000e+01 | 387.25%| unknown
20.26/20.43 c 20.4s| 1 | 0 | 38639 | - | 291M | 0 |1000 | 37k| 38k| 645 | 13 | 0 | 0 |-3.595163e+02 |-7.500000e+01 | 379.36%| unknown
22.76/22.93 c 22.9s| 1 | 0 | 43341 | - | 295M | 0 |1000 | 37k| 38k| 694 | 14 | 0 | 0 |-3.520793e+02 |-7.500000e+01 | 369.44%| unknown
25.25/25.42 c 25.4s| 1 | 0 | 47904 | - | 300M | 0 |1000 | 37k| 38k| 737 | 15 | 0 | 0 |-3.465638e+02 |-7.500000e+01 | 362.09%| unknown
27.74/27.99 c 27.9s| 1 | 0 | 52384 | - | 304M | 0 |1000 | 37k| 38k| 774 | 16 | 0 | 0 |-3.426583e+02 |-7.500000e+01 | 356.88%| unknown
30.23/30.45 c 30.4s| 1 | 0 | 56453 | - | 309M | 0 |1000 | 37k| 38k| 809 | 17 | 0 | 0 |-3.382744e+02 |-7.500000e+01 | 351.03%| unknown
32.53/32.70 c 32.7s| 1 | 0 | 60116 | - | 313M | 0 |1000 | 37k| 38k| 850 | 18 | 0 | 0 |-3.343462e+02 |-7.500000e+01 | 345.79%| unknown
34.83/35.11 c 35.1s| 1 | 0 | 63615 | - | 317M | 0 |1000 | 37k| 38k| 879 | 19 | 0 | 0 |-3.308855e+02 |-7.500000e+01 | 341.18%| unknown
37.51/37.71 c 37.7s| 1 | 0 | 67740 | - | 321M | 0 |1000 | 37k| 38k| 909 | 20 | 0 | 0 |-3.279853e+02 |-7.500000e+01 | 337.31%| unknown
38.83/39.06 c 39.0s| 1 | 0 | 69841 | - | 321M | 0 |1000 | 37k| 38k| 921 | 21 | 0 | 0 |-3.271346e+02 |-7.500000e+01 | 336.18%| unknown
40.01/40.25 c 40.2s| 1 | 0 | 71811 | - | 322M | 0 |1000 | 37k| 38k| 931 | 22 | 0 | 0 |-3.260869e+02 |-7.500000e+01 | 334.78%| unknown
41.21/41.43 c 41.4s| 1 | 0 | 73769 | - | 322M | 0 |1000 | 37k| 38k| 937 | 23 | 0 | 0 |-3.252193e+02 |-7.500000e+01 | 333.63%| unknown
42.41/42.63 c 42.6s| 1 | 0 | 75542 | - | 323M | 0 |1000 | 37k| 38k| 950 | 24 | 0 | 0 |-3.243107e+02 |-7.500000e+01 | 332.41%| unknown
43.50/43.72 c 43.7s| 1 | 0 | 77259 | - | 323M | 0 |1000 | 37k| 38k| 961 | 25 | 0 | 0 |-3.235604e+02 |-7.500000e+01 | 331.41%| unknown
44.81/45.04 c 45.0s| 1 | 0 | 79367 | - | 323M | 0 |1000 | 37k| 38k| 973 | 26 | 0 | 0 |-3.223930e+02 |-7.500000e+01 | 329.86%| unknown
45.81/46.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.81/46.01 c 46.0s| 1 | 0 | 80907 | - | 324M | 0 |1000 | 37k| 38k| 986 | 27 | 0 | 0 |-3.217324e+02 |-7.500000e+01 | 328.98%| unknown
46.30/46.51 c 46.5s| 1 | 0 | 81650 | - | 324M | 0 |1000 | 37k| 38k| 992 | 28 | 0 | 0 |-3.213566e+02 |-7.500000e+01 | 328.48%| unknown
47.29/47.53 c 47.5s| 1 | 0 | 83231 | - | 324M | 0 |1000 | 37k| 38k| 998 | 29 | 0 | 0 |-3.205598e+02 |-7.500000e+01 | 327.41%| unknown
48.80/49.03 c 49.0s| 1 | 0 | 85769 | - | 324M | 0 |1000 | 37k| 38k|1007 | 30 | 0 | 0 |-3.194489e+02 |-7.500000e+01 | 325.93%| unknown
49.98/50.26 c 50.2s| 1 | 0 | 87693 | - | 324M | 0 |1000 | 37k| 38k|1020 | 31 | 0 | 0 |-3.187034e+02 |-7.500000e+01 | 324.94%| unknown
51.08/51.38 c 51.3s| 1 | 0 | 89412 | - | 325M | 0 |1000 | 37k| 38k|1036 | 32 | 0 | 0 |-3.180773e+02 |-7.500000e+01 | 324.10%| unknown
52.18/52.48 c 52.4s| 1 | 0 | 91146 | - | 325M | 0 |1000 | 37k| 38k|1047 | 33 | 0 | 0 |-3.172903e+02 |-7.500000e+01 | 323.05%| unknown
53.28/53.55 c 53.5s| 1 | 0 | 92798 | - | 325M | 0 |1000 | 37k| 38k|1056 | 34 | 0 | 0 |-3.165917e+02 |-7.500000e+01 | 322.12%| unknown
54.67/54.95 c 54.9s| 1 | 0 | 95018 | - | 325M | 0 |1000 | 37k| 38k|1066 | 35 | 0 | 0 |-3.154545e+02 |-7.500000e+01 | 320.61%| unknown
55.88/56.17 c 56.1s| 1 | 0 | 97000 | - | 325M | 0 |1000 | 37k| 38k|1079 | 36 | 0 | 0 |-3.146713e+02 |-7.500000e+01 | 319.56%| unknown
56.67/56.95 c 56.9s| 1 | 0 | 98367 | - | 325M | 0 |1000 | 37k| 38k|1089 | 37 | 0 | 0 |-3.143702e+02 |-7.500000e+01 | 319.16%| unknown
57.56/57.81 c 57.8s| 1 | 0 | 99775 | - | 326M | 0 |1000 | 37k| 38k|1098 | 38 | 0 | 0 |-3.139316e+02 |-7.500000e+01 | 318.58%| unknown
58.36/58.66 c 58.6s| 1 | 0 |101077 | - | 326M | 0 |1000 | 37k| 38k|1108 | 39 | 0 | 0 |-3.135270e+02 |-7.500000e+01 | 318.04%| unknown
59.16/59.46 c 59.4s| 1 | 0 |102268 | - | 326M | 0 |1000 | 37k| 38k|1116 | 40 | 0 | 0 |-3.131759e+02 |-7.500000e+01 | 317.57%| unknown
60.26/60.59 c 60.5s| 1 | 0 |103872 | - | 326M | 0 |1000 | 37k| 38k|1123 | 41 | 0 | 0 |-3.125347e+02 |-7.500000e+01 | 316.71%| unknown
61.25/61.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.25/61.51 c 61.5s| 1 | 0 |105193 | - | 327M | 0 |1000 | 37k| 38k|1141 | 42 | 0 | 0 |-3.120672e+02 |-7.500000e+01 | 316.09%| unknown
61.95/62.26 c 62.2s| 1 | 0 |106350 | - | 327M | 0 |1000 | 37k| 38k|1154 | 43 | 0 | 0 |-3.117290e+02 |-7.500000e+01 | 315.64%| unknown
63.35/63.64 c 63.6s| 1 | 0 |108367 | - | 327M | 0 |1000 | 37k| 38k|1169 | 44 | 0 | 0 |-3.106046e+02 |-7.500000e+01 | 314.14%| unknown
64.86/65.13 c 65.1s| 1 | 0 |110585 | - | 327M | 0 |1000 | 37k| 38k|1184 | 45 | 0 | 0 |-3.094801e+02 |-7.500000e+01 | 312.64%| unknown
66.04/66.33 c 66.3s| 1 | 0 |112383 | - | 328M | 0 |1000 | 37k| 38k|1203 | 46 | 0 | 0 |-3.084535e+02 |-7.500000e+01 | 311.27%| unknown
67.24/67.51 c 67.5s| 1 | 0 |114191 | - | 328M | 0 |1000 | 37k| 38k|1217 | 47 | 0 | 0 |-3.075958e+02 |-7.500000e+01 | 310.13%| unknown
68.53/68.89 c 68.8s| 1 | 0 |116211 | - | 328M | 0 |1000 | 37k| 38k|1236 | 48 | 0 | 0 |-3.064703e+02 |-7.500000e+01 | 308.63%| unknown
69.74/70.09 c 70.0s| 1 | 0 |117932 | - | 328M | 0 |1000 | 37k| 38k|1250 | 49 | 0 | 0 |-3.055007e+02 |-7.500000e+01 | 307.33%| unknown
71.03/71.37 c 71.3s| 1 | 0 |119851 | - | 328M | 0 |1000 | 37k| 38k|1264 | 50 | 0 | 0 |-3.046676e+02 |-7.500000e+01 | 306.22%| unknown
72.12/72.49 c 72.5s| 1 | 0 |121441 | - | 328M | 0 |1000 | 37k| 38k|1278 | 51 | 0 | 0 |-3.040419e+02 |-7.500000e+01 | 305.39%| unknown
73.62/73.93 c 73.9s| 1 | 0 |123596 | - | 328M | 0 |1000 | 37k| 38k|1289 | 52 | 0 | 0 |-3.031481e+02 |-7.500000e+01 | 304.20%| unknown
74.73/75.06 c 75.0s| 1 | 0 |125284 | - | 328M | 0 |1000 | 37k| 38k|1307 | 53 | 0 | 0 |-3.023620e+02 |-7.500000e+01 | 303.15%| unknown
76.41/76.75 c 76.7s| 1 | 0 |127842 | - | 329M | 0 |1000 | 37k| 38k|1323 | 54 | 0 | 0 |-3.008030e+02 |-7.500000e+01 | 301.07%| unknown
77.31/77.62 c 77.6s| 1 | 0 |129208 | - | 329M | 0 |1000 | 37k| 38k|1338 | 55 | 0 | 0 |-3.003405e+02 |-7.500000e+01 | 300.45%| unknown
78.82/79.12 c 79.1s| 1 | 0 |131562 | - | 329M | 0 |1000 | 37k| 38k|1352 | 56 | 0 | 0 |-2.992645e+02 |-7.500000e+01 | 299.02%| unknown
80.00/80.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
80.00/80.37 c 80.3s| 1 | 0 |133489 | - | 329M | 0 |1000 | 37k| 38k|1372 | 57 | 0 | 0 |-2.986030e+02 |-7.500000e+01 | 298.14%| unknown
81.30/81.67 c 81.6s| 1 | 0 |135517 | - | 330M | 0 |1000 | 37k| 38k|1382 | 58 | 0 | 0 |-2.976683e+02 |-7.500000e+01 | 296.89%| unknown
82.81/83.15 c 83.1s| 1 | 0 |137808 | - | 330M | 0 |1000 | 37k| 38k|1395 | 59 | 0 | 0 |-2.966418e+02 |-7.500000e+01 | 295.52%| unknown
84.49/84.80 c 84.8s| 1 | 0 |140499 | - | 330M | 0 |1000 | 37k| 38k|1413 | 60 | 0 | 0 |-2.955069e+02 |-7.500000e+01 | 294.01%| unknown
85.58/85.98 c 85.9s| 1 | 0 |142481 | - | 330M | 0 |1000 | 37k| 38k|1427 | 61 | 0 | 0 |-2.950364e+02 |-7.500000e+01 | 293.38%| unknown
86.69/87.06 c 87.0s| 1 | 0 |144101 | - | 331M | 0 |1000 | 37k| 38k|1439 | 62 | 0 | 0 |-2.944398e+02 |-7.500000e+01 | 292.59%| unknown
87.88/88.28 c 88.2s| 1 | 0 |146034 | - | 331M | 0 |1000 | 37k| 38k|1452 | 63 | 0 | 0 |-2.938422e+02 |-7.500000e+01 | 291.79%| unknown
89.07/89.49 c 89.4s| 1 | 0 |147762 | - | 331M | 0 |1000 | 37k| 38k|1468 | 64 | 0 | 0 |-2.931023e+02 |-7.500000e+01 | 290.80%| unknown
90.47/90.86 c 90.8s| 1 | 0 |149804 | - | 331M | 0 |1000 | 37k| 38k|1481 | 65 | 0 | 0 |-2.922299e+02 |-7.500000e+01 | 289.64%| unknown
91.78/92.17 c 92.1s| 1 | 0 |151792 | - | 332M | 0 |1000 | 37k| 38k|1495 | 66 | 0 | 0 |-2.912590e+02 |-7.500000e+01 | 288.35%| unknown
92.96/93.40 c 93.4s| 1 | 0 |153596 | - | 332M | 0 |1000 | 37k| 38k|1513 | 67 | 0 | 0 |-2.904819e+02 |-7.500000e+01 | 287.31%| unknown
93.86/94.24 c 94.2s| 1 | 0 |154893 | - | 332M | 0 |1000 | 37k| 38k|1523 | 68 | 0 | 0 |-2.900549e+02 |-7.500000e+01 | 286.74%| unknown
95.36/95.71 c 95.7s| 1 | 0 |157055 | - | 333M | 0 |1000 | 37k| 38k|1537 | 69 | 0 | 0 |-2.891155e+02 |-7.500000e+01 | 285.49%| unknown
96.67/97.09 c 97.1s| 1 | 0 |159194 | - | 334M | 0 |1000 | 37k| 38k|1553 | 70 | 0 | 0 |-2.883325e+02 |-7.500000e+01 | 284.44%| unknown
97.76/98.14 c 98.1s| 1 | 0 |160752 | - | 334M | 0 |1000 | 37k| 38k|1565 | 71 | 0 | 0 |-2.876760e+02 |-7.500000e+01 | 283.57%| unknown
98.55/98.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
98.55/98.95 c 98.9s| 1 | 0 |161918 | - | 334M | 0 |1000 | 37k| 38k|1580 | 72 | 0 | 0 |-2.871174e+02 |-7.500000e+01 | 282.82%| unknown
99.55/99.95 c 99.9s| 1 | 0 |163373 | - | 334M | 0 |1000 | 37k| 38k|1594 | 73 | 0 | 0 |-2.866114e+02 |-7.500000e+01 | 282.15%| unknown
100.65/101.03 c 101s| 1 | 0 |164862 | - | 335M | 0 |1000 | 37k| 38k|1609 | 74 | 0 | 0 |-2.860794e+02 |-7.500000e+01 | 281.44%| unknown
102.24/102.68 c 103s| 1 | 0 |167107 | - | 335M | 0 |1000 | 37k| 38k|1626 | 75 | 0 | 0 |-2.849161e+02 |-7.500000e+01 | 279.89%| unknown
103.43/103.84 c 104s| 1 | 0 |168737 | - | 335M | 0 |1000 | 37k| 38k|1645 | 76 | 0 | 0 |-2.842996e+02 |-7.500000e+01 | 279.07%| unknown
104.33/104.73 c 105s| 1 | 0 |170065 | - | 335M | 0 |1000 | 37k| 38k|1662 | 77 | 0 | 0 |-2.839869e+02 |-7.500000e+01 | 278.65%| unknown
105.43/105.89 c 106s| 1 | 0 |171678 | - | 335M | 0 |1000 | 37k| 38k|1674 | 78 | 0 | 0 |-2.834593e+02 |-7.500000e+01 | 277.95%| unknown
106.42/106.85 c 107s| 1 | 0 |173022 | - | 336M | 0 |1000 | 37k| 38k|1691 | 79 | 0 | 0 |-2.830477e+02 |-7.500000e+01 | 277.40%| unknown
107.52/108.00 c 108s| 1 | 0 |174569 | - | 336M | 0 |1000 | 37k| 38k|1708 | 80 | 0 | 0 |-2.823644e+02 |-7.500000e+01 | 276.49%| unknown
108.73/109.19 c 109s| 1 | 0 |176254 | - | 336M | 0 |1000 | 37k| 38k|1728 | 81 | 0 | 0 |-2.817440e+02 |-7.500000e+01 | 275.66%| unknown
109.63/110.07 c 110s| 1 | 0 |177428 | - | 337M | 0 |1000 | 37k| 38k|1739 | 82 | 0 | 0 |-2.814064e+02 |-7.500000e+01 | 275.21%| unknown
110.81/111.22 c 111s| 1 | 0 |178952 | - | 337M | 0 |1000 | 37k| 38k|1748 | 83 | 0 | 0 |-2.808246e+02 |-7.500000e+01 | 274.43%| unknown
111.81/112.26 c 112s| 1 | 0 |180349 | - | 337M | 0 |1000 | 37k| 38k|1760 | 84 | 0 | 0 |-2.802041e+02 |-7.500000e+01 | 273.61%| unknown
112.81/113.22 c 113s| 1 | 0 |181633 | - | 337M | 0 |1000 | 37k| 38k|1773 | 85 | 0 | 0 |-2.797328e+02 |-7.500000e+01 | 272.98%| unknown
114.10/114.54 c 114s| 1 | 0 |183423 | - | 338M | 0 |1000 | 37k| 38k|1788 | 86 | 0 | 0 |-2.790133e+02 |-7.500000e+01 | 272.02%| unknown
115.10/115.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
115.10/115.58 c 116s| 1 | 0 |184768 | - | 338M | 0 |1000 | 37k| 38k|1799 | 87 | 0 | 0 |-2.784360e+02 |-7.500000e+01 | 271.25%| unknown
116.10/116.50 c 116s| 1 | 0 |185949 | - | 338M | 0 |1000 | 37k| 38k|1815 | 88 | 0 | 0 |-2.780125e+02 |-7.500000e+01 | 270.68%| unknown
117.00/117.40 c 117s| 1 | 0 |187213 | - | 338M | 0 |1000 | 37k| 38k|1831 | 89 | 0 | 0 |-2.776470e+02 |-7.500000e+01 | 270.20%| unknown
118.09/118.52 c 118s| 1 | 0 |188711 | - | 338M | 0 |1000 | 37k| 38k|1845 | 90 | 0 | 0 |-2.770890e+02 |-7.500000e+01 | 269.45%| unknown
118.99/119.42 c 119s| 1 | 0 |189893 | - | 339M | 0 |1000 | 37k| 38k|1861 | 91 | 0 | 0 |-2.767627e+02 |-7.500000e+01 | 269.02%| unknown
119.99/120.49 c 120s| 1 | 0 |191218 | - | 339M | 0 |1000 | 37k| 38k|1873 | 92 | 0 | 0 |-2.763149e+02 |-7.500000e+01 | 268.42%| unknown
121.08/121.59 c 122s| 1 | 0 |192631 | - | 339M | 0 |1000 | 37k| 38k|1891 | 93 | 0 | 0 |-2.757538e+02 |-7.500000e+01 | 267.67%| unknown
122.08/122.59 c 123s| 1 | 0 |193965 | - | 339M | 0 |1000 | 37k| 38k|1905 | 94 | 0 | 0 |-2.752873e+02 |-7.500000e+01 | 267.05%| unknown
122.98/123.46 c 123s| 1 | 0 |195114 | - | 339M | 0 |1000 | 37k| 38k|1922 | 95 | 0 | 0 |-2.749311e+02 |-7.500000e+01 | 266.57%| unknown
123.78/124.29 c 124s| 1 | 0 |196225 | - | 339M | 0 |1000 | 37k| 38k|1941 | 96 | 0 | 0 |-2.745929e+02 |-7.500000e+01 | 266.12%| unknown
124.48/125.00 c 125s| 1 | 0 |197183 | - | 340M | 0 |1000 | 37k| 38k|1953 | 97 | 0 | 0 |-2.743681e+02 |-7.500000e+01 | 265.82%| unknown
125.87/126.30 c 126s| 1 | 0 |198918 | - | 340M | 0 |1000 | 37k| 39k|1966 | 98 | 0 | 0 |-2.738704e+02 |-7.500000e+01 | 265.16%| unknown
126.97/127.48 c 127s| 1 | 0 |200485 | - | 340M | 0 |1000 | 37k| 39k|1986 | 99 | 0 | 0 |-2.733184e+02 |-7.500000e+01 | 264.42%| unknown
128.26/128.74 c 129s| 1 | 0 |202090 | - | 341M | 0 |1000 | 37k| 38k|2001 |100 | 0 | 0 |-2.726900e+02 |-7.500000e+01 | 263.59%| unknown
129.67/130.13 c 130s| 1 | 0 |203900 | - | 341M | 0 |1000 | 37k| 39k|2020 |101 | 0 | 0 |-2.719578e+02 |-7.500000e+01 | 262.61%| unknown
130.57/131.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
130.57/131.05 c 131s| 1 | 0 |205138 | - | 341M | 0 |1000 | 37k| 39k|2038 |102 | 0 | 0 |-2.716262e+02 |-7.500000e+01 | 262.17%| unknown
132.15/132.66 c 133s| 1 | 0 |207202 | - | 341M | 0 |1000 | 37k| 39k|2055 |103 | 0 | 0 |-2.705590e+02 |-7.500000e+01 | 260.75%| unknown
133.66/134.13 c 134s| 1 | 0 |209151 | - | 342M | 0 |1000 | 37k| 39k|2076 |104 | 0 | 0 |-2.699129e+02 |-7.500000e+01 | 259.88%| unknown
134.66/135.14 c 135s| 1 | 0 |210527 | - | 342M | 0 |1000 | 37k| 39k|2092 |105 | 0 | 0 |-2.695965e+02 |-7.500000e+01 | 259.46%| unknown
135.74/136.21 c 136s| 1 | 0 |211928 | - | 342M | 0 |1000 | 37k| 39k|2114 |106 | 0 | 0 |-2.691459e+02 |-7.500000e+01 | 258.86%| unknown
136.24/136.71 c 137s| 1 | 0 |212621 | - | 342M | 0 |1000 | 37k| 39k|2124 |107 | 0 | 0 |-2.690497e+02 |-7.500000e+01 | 258.73%| unknown
137.14/137.61 c 138s| 1 | 0 |213777 | - | 342M | 0 |1000 | 37k| 39k|2139 |108 | 0 | 0 |-2.686659e+02 |-7.500000e+01 | 258.22%| unknown
137.65/138.19 c 138s| 1 | 0 |214540 | - | 343M | 0 |1000 | 37k| 39k|2152 |109 | 0 | 0 |-2.684467e+02 |-7.500000e+01 | 257.93%| unknown
138.55/139.09 c 139s| 1 | 0 |215686 | - | 343M | 0 |1000 | 37k| 39k|2168 |110 | 0 | 0 |-2.680872e+02 |-7.500000e+01 | 257.45%| unknown
139.73/140.20 c 140s| 1 | 0 |217135 | - | 343M | 0 |1000 | 37k| 39k|2184 |111 | 0 | 0 |-2.676961e+02 |-7.500000e+01 | 256.93%| unknown
140.54/141.04 c 141s| 1 | 0 |218231 | - | 343M | 0 |1000 | 37k| 39k|2194 |112 | 0 | 0 |-2.673860e+02 |-7.500000e+01 | 256.51%| unknown
141.73/142.25 c 142s| 1 | 0 |219867 | - | 343M | 0 |1000 | 37k| 39k|2209 |113 | 0 | 0 |-2.668553e+02 |-7.500000e+01 | 255.81%| unknown
142.72/143.21 c 143s| 1 | 0 |221123 | - | 344M | 0 |1000 | 37k| 39k|2230 |114 | 0 | 0 |-2.664537e+02 |-7.500000e+01 | 255.27%| unknown
143.32/143.88 c 144s| 1 | 0 |222011 | - | 344M | 0 |1000 | 37k| 39k|2247 |115 | 0 | 0 |-2.661959e+02 |-7.500000e+01 | 254.93%| unknown
144.12/144.64 c 145s| 1 | 0 |223029 | - | 344M | 0 |1000 | 37k| 39k|2262 |116 | 0 | 0 |-2.659287e+02 |-7.500000e+01 | 254.57%| unknown
145.02/145.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.02/145.55 c 146s| 1 | 0 |224219 | - | 345M | 0 |1000 | 37k| 39k|2278 |117 | 0 | 0 |-2.655848e+02 |-7.500000e+01 | 254.11%| unknown
145.41/145.92 c 146s| 1 | 0 |224704 | - | 345M | 0 |1000 | 37k| 39k|2292 |118 | 0 | 0 |-2.654976e+02 |-7.500000e+01 | 254.00%| unknown
146.12/146.64 c 147s| 1 | 0 |225686 | - | 345M | 0 |1000 | 37k| 39k|2306 |119 | 0 | 0 |-2.652986e+02 |-7.500000e+01 | 253.73%| unknown
147.22/147.76 c 148s| 1 | 0 |227114 | - | 345M | 0 |1000 | 37k| 39k|2317 |120 | 0 | 0 |-2.647063e+02 |-7.500000e+01 | 252.94%| unknown
148.22/148.77 c 149s| 1 | 0 |228453 | - | 346M | 0 |1000 | 37k| 39k|2336 |121 | 0 | 0 |-2.642978e+02 |-7.500000e+01 | 252.40%| unknown
149.21/149.75 c 150s| 1 | 0 |229720 | - | 346M | 0 |1000 | 37k| 39k|2354 |122 | 0 | 0 |-2.638322e+02 |-7.500000e+01 | 251.78%| unknown
150.11/150.66 c 151s| 1 | 0 |230934 | - | 346M | 0 |1000 | 37k| 39k|2369 |123 | 0 | 0 |-2.634690e+02 |-7.500000e+01 | 251.29%| unknown
151.11/151.65 c 152s| 1 | 0 |232188 | - | 346M | 0 |1000 | 37k| 39k|2380 |124 | 0 | 0 |-2.631649e+02 |-7.500000e+01 | 250.89%| unknown
152.40/152.91 c 153s| 1 | 0 |233765 | - | 346M | 0 |1000 | 37k| 39k|2398 |125 | 0 | 0 |-2.626663e+02 |-7.500000e+01 | 250.22%| unknown
153.40/153.93 c 154s| 1 | 0 |235060 | - | 347M | 0 |1000 | 37k| 39k|2416 |126 | 0 | 0 |-2.622562e+02 |-7.500000e+01 | 249.67%| unknown
154.30/154.80 c 155s| 1 | 0 |236145 | - | 348M | 0 |1000 | 37k| 39k|2430 |127 | 0 | 0 |-2.619047e+02 |-7.500000e+01 | 249.21%| unknown
154.80/155.32 c 155s| 1 | 0 |236804 | - | 348M | 0 |1000 | 37k| 39k|2444 |128 | 0 | 0 |-2.617716e+02 |-7.500000e+01 | 249.03%| unknown
155.29/155.81 c 156s| 1 | 0 |237403 | - | 348M | 0 |1000 | 37k| 39k|2455 |129 | 0 | 0 |-2.616293e+02 |-7.500000e+01 | 248.84%| unknown
155.89/156.43 c 156s| 1 | 0 |238153 | - | 349M | 0 |1000 | 37k| 39k|2466 |130 | 0 | 0 |-2.614216e+02 |-7.500000e+01 | 248.56%| unknown
156.79/157.32 c 157s| 1 | 0 |239299 | - | 349M | 0 |1000 | 37k| 39k|2479 |131 | 0 | 0 |-2.610804e+02 |-7.500000e+01 | 248.11%| unknown
157.60/158.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
157.60/158.15 c 158s| 1 | 0 |240353 | - | 349M | 0 |1000 | 37k| 39k|2493 |132 | 0 | 0 |-2.607764e+02 |-7.500000e+01 | 247.70%| unknown
158.28/158.90 c 159s| 1 | 0 |241290 | - | 349M | 0 |1000 | 37k| 39k|2508 |133 | 0 | 0 |-2.604244e+02 |-7.500000e+01 | 247.23%| unknown
158.98/159.57 c 160s| 1 | 0 |242145 | - | 350M | 0 |1000 | 37k| 39k|2524 |134 | 0 | 0 |-2.600916e+02 |-7.500000e+01 | 246.79%| unknown
159.59/160.19 c 160s| 1 | 0 |242939 | - | 350M | 0 |1000 | 37k| 39k|2542 |135 | 0 | 0 |-2.598416e+02 |-7.500000e+01 | 246.46%| unknown
160.28/160.87 c 161s| 1 | 0 |243808 | - | 350M | 0 |1000 | 37k| 39k|2553 |136 | 0 | 0 |-2.596523e+02 |-7.500000e+01 | 246.20%| unknown
160.78/161.32 c 161s| 1 | 0 |244355 | - | 350M | 0 |1000 | 37k| 39k|2564 |137 | 0 | 0 |-2.595157e+02 |-7.500000e+01 | 246.02%| unknown
161.77/162.39 c 162s| 1 | 0 |245636 | - | 350M | 0 |1000 | 37k| 39k|2576 |138 | 0 | 0 |-2.589418e+02 |-7.500000e+01 | 245.26%| unknown
162.77/163.37 c 163s| 1 | 0 |246834 | - | 351M | 0 |1000 | 37k| 39k|2590 |139 | 0 | 0 |-2.585405e+02 |-7.500000e+01 | 244.72%| unknown
163.58/164.14 c 164s| 1 | 0 |247772 | - | 351M | 0 |1000 | 37k| 39k|2605 |140 | 0 | 0 |-2.583042e+02 |-7.500000e+01 | 244.41%| unknown
164.37/164.99 c 165s| 1 | 0 |248785 | - | 351M | 0 |1000 | 37k| 39k|2614 |141 | 0 | 0 |-2.580303e+02 |-7.500000e+01 | 244.04%| unknown
165.26/165.81 c 166s| 1 | 0 |249812 | - | 352M | 0 |1000 | 37k| 39k|2631 |142 | 0 | 0 |-2.576890e+02 |-7.500000e+01 | 243.59%| unknown
165.96/166.59 c 167s| 1 | 0 |250787 | - | 352M | 0 |1000 | 37k| 39k|2651 |143 | 0 | 0 |-2.573717e+02 |-7.500000e+01 | 243.16%| unknown
166.47/167.08 c 167s| 1 | 0 |251395 | - | 352M | 0 |1000 | 37k| 39k|2667 |144 | 0 | 0 |-2.572282e+02 |-7.500000e+01 | 242.97%| unknown
167.16/167.76 c 168s| 1 | 0 |252195 | - | 352M | 0 |1000 | 37k| 39k|2681 |145 | 0 | 0 |-2.569673e+02 |-7.500000e+01 | 242.62%| unknown
167.57/168.19 c 168s| 1 | 0 |252700 | - | 353M | 0 |1000 | 37k| 39k|2698 |146 | 0 | 0 |-2.568120e+02 |-7.500000e+01 | 242.42%| unknown
168.25/168.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
168.25/168.83 c 169s| 1 | 0 |253426 | - | 353M | 0 |1000 | 37k| 39k|2708 |147 | 0 | 0 |-2.565418e+02 |-7.500000e+01 | 242.06%| unknown
168.85/169.44 c 169s| 1 | 0 |254136 | - | 353M | 0 |1000 | 37k| 39k|2723 |148 | 0 | 0 |-2.562556e+02 |-7.500000e+01 | 241.67%| unknown
169.25/169.86 c 170s| 1 | 0 |254618 | - | 353M | 0 |1000 | 37k| 39k|2732 |149 | 0 | 0 |-2.561484e+02 |-7.500000e+01 | 241.53%| unknown
170.05/170.63 c 171s| 1 | 0 |255575 | - | 354M | 0 |1000 | 37k| 39k|2747 |150 | 0 | 0 |-2.558696e+02 |-7.500000e+01 | 241.16%| unknown
170.75/171.37 c 171s| 1 | 0 |256472 | - | 354M | 0 |1000 | 37k| 39k|2770 |151 | 0 | 0 |-2.556068e+02 |-7.500000e+01 | 240.81%| unknown
171.56/172.12 c 172s| 1 | 0 |257336 | - | 354M | 0 |1000 | 37k| 39k|2786 |152 | 0 | 0 |-2.553790e+02 |-7.500000e+01 | 240.51%| unknown
172.24/172.84 c 173s| 1 | 0 |258129 | - | 354M | 0 |1000 | 37k| 39k|2805 |153 | 0 | 0 |-2.550780e+02 |-7.500000e+01 | 240.10%| unknown
172.84/173.40 c 173s| 1 | 0 |258741 | - | 355M | 0 |1000 | 37k| 39k|2819 |154 | 0 | 0 |-2.548173e+02 |-7.500000e+01 | 239.76%| unknown
173.34/173.96 c 174s| 1 | 0 |259380 | - | 355M | 0 |1000 | 37k| 39k|2834 |155 | 0 | 0 |-2.546163e+02 |-7.500000e+01 | 239.49%| unknown
173.94/174.53 c 174s| 1 | 0 |260011 | - | 355M | 0 |1000 | 37k| 39k|2857 |156 | 0 | 0 |-2.544188e+02 |-7.500000e+01 | 239.23%| unknown
174.45/175.07 c 175s| 1 | 0 |260656 | - | 355M | 0 |1000 | 37k| 39k|2876 |157 | 0 | 0 |-2.542542e+02 |-7.500000e+01 | 239.01%| unknown
174.93/175.52 c 175s| 1 | 0 |261173 | - | 355M | 0 |1000 | 37k| 39k|2889 |158 | 0 | 0 |-2.541470e+02 |-7.500000e+01 | 238.86%| unknown
175.44/176.06 c 176s| 1 | 0 |261794 | - | 356M | 0 |1000 | 37k| 39k|2901 |159 | 0 | 0 |-2.539612e+02 |-7.500000e+01 | 238.61%| unknown
176.23/176.87 c 177s| 1 | 0 |262708 | - | 356M | 0 |1000 | 37k| 39k|2916 |160 | 0 | 0 |-2.536456e+02 |-7.500000e+01 | 238.19%| unknown
176.94/177.59 c 178s| 1 | 0 |263516 | - | 356M | 0 |1000 | 37k| 39k|2930 |161 | 0 | 0 |-2.533933e+02 |-7.500000e+01 | 237.86%| unknown
177.55/178.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
177.55/178.15 c 178s| 1 | 0 |264179 | - | 356M | 0 |1000 | 37k| 39k|2951 |162 | 0 | 0 |-2.532141e+02 |-7.500000e+01 | 237.62%| unknown
178.13/178.76 c 179s| 1 | 0 |264879 | - | 357M | 0 |1000 | 37k| 39k|2962 |163 | 0 | 0 |-2.530403e+02 |-7.500000e+01 | 237.39%| unknown
178.55/179.18 c 179s| 1 | 0 |265318 | - | 357M | 0 |1000 | 37k| 39k|2975 |164 | 0 | 0 |-2.528672e+02 |-7.500000e+01 | 237.16%| unknown
179.23/179.80 c 180s| 1 | 0 |265976 | - | 357M | 0 |1000 | 37k| 39k|2992 |165 | 0 | 0 |-2.526536e+02 |-7.500000e+01 | 236.87%| unknown
179.63/180.24 c 180s| 1 | 0 |266448 | - | 358M | 0 |1000 | 37k| 39k|3007 |166 | 0 | 0 |-2.525037e+02 |-7.500000e+01 | 236.67%| unknown
180.13/180.78 c 181s| 1 | 0 |267045 | - | 358M | 0 |1000 | 37k| 39k|3021 |167 | 0 | 0 |-2.523375e+02 |-7.500000e+01 | 236.45%| unknown
180.83/181.45 c 181s| 1 | 0 |267790 | - | 358M | 0 |1000 | 37k| 39k|3034 |168 | 0 | 0 |-2.520960e+02 |-7.500000e+01 | 236.13%| unknown
181.54/182.17 c 182s| 1 | 0 |268570 | - | 358M | 0 |1000 | 37k| 39k|3048 |169 | 0 | 0 |-2.518261e+02 |-7.500000e+01 | 235.77%| unknown
182.12/182.75 c 183s| 1 | 0 |269188 | - | 359M | 0 |1000 | 37k| 39k|3062 |170 | 0 | 0 |-2.516385e+02 |-7.500000e+01 | 235.52%| unknown
182.62/183.23 c 183s| 1 | 0 |269714 | - | 359M | 0 |1000 | 37k| 39k|3077 |171 | 0 | 0 |-2.514808e+02 |-7.500000e+01 | 235.31%| unknown
183.12/183.73 c 184s| 1 | 0 |270278 | - | 359M | 0 |1000 | 37k| 39k|3089 |172 | 0 | 0 |-2.513270e+02 |-7.500000e+01 | 235.10%| unknown
183.62/184.22 c 184s| 1 | 0 |270802 | - | 359M | 0 |1000 | 37k| 39k|3101 |173 | 0 | 0 |-2.511450e+02 |-7.500000e+01 | 234.86%| unknown
183.92/184.58 c 185s| 1 | 0 |271191 | - | 360M | 0 |1000 | 37k| 39k|3112 |174 | 0 | 0 |-2.510513e+02 |-7.500000e+01 | 234.74%| unknown
184.43/185.10 c 185s| 1 | 0 |271727 | - | 360M | 0 |1000 | 37k| 39k|3122 |175 | 0 | 0 |-2.508575e+02 |-7.500000e+01 | 234.48%| unknown
185.01/185.62 c 186s| 1 | 0 |272271 | - | 360M | 0 |1000 | 37k| 39k|3132 |176 | 0 | 0 |-2.506805e+02 |-7.500000e+01 | 234.24%| unknown
185.31/185.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
185.31/185.95 c 186s| 1 | 0 |272621 | - | 361M | 0 |1000 | 37k| 39k|3148 |177 | 0 | 0 |-2.506164e+02 |-7.500000e+01 | 234.16%| unknown
185.81/186.49 c 186s| 1 | 0 |273186 | - | 361M | 0 |1000 | 37k| 39k|3161 |178 | 0 | 0 |-2.504735e+02 |-7.500000e+01 | 233.96%| unknown
186.21/186.83 c 187s| 1 | 0 |273566 | - | 361M | 0 |1000 | 37k| 39k|3174 |179 | 0 | 0 |-2.503988e+02 |-7.500000e+01 | 233.87%| unknown
186.71/187.32 c 187s| 1 | 0 |274108 | - | 361M | 0 |1000 | 37k| 39k|3189 |180 | 0 | 0 |-2.502438e+02 |-7.500000e+01 | 233.66%| unknown
187.01/187.63 c 188s| 1 | 0 |274415 | - | 362M | 0 |1000 | 37k| 39k|3205 |181 | 0 | 0 |-2.501827e+02 |-7.500000e+01 | 233.58%| unknown
187.31/188.00 c 188s| 1 | 0 |274785 | - | 362M | 0 |1000 | 37k| 39k|3212 |182 | 0 | 0 |-2.500844e+02 |-7.500000e+01 | 233.45%| unknown
187.80/188.45 c 188s| 1 | 0 |275245 | - | 362M | 0 |1000 | 37k| 39k|3227 |183 | 0 | 0 |-2.499548e+02 |-7.500000e+01 | 233.27%| unknown
188.30/189.01 c 189s| 1 | 0 |275813 | - | 363M | 0 |1000 | 37k| 39k|3239 |184 | 0 | 0 |-2.497769e+02 |-7.500000e+01 | 233.04%| unknown
188.70/189.30 c 189s| 1 | 0 |276102 | - | 363M | 0 |1000 | 37k| 39k|3251 |185 | 0 | 0 |-2.497287e+02 |-7.500000e+01 | 232.97%| unknown
189.20/189.81 c 190s| 1 | 0 |276620 | - | 363M | 0 |1000 | 37k| 39k|3263 |186 | 0 | 0 |-2.495610e+02 |-7.500000e+01 | 232.75%| unknown
189.51/190.13 c 190s| 1 | 0 |276946 | - | 363M | 0 |1000 | 37k| 39k|3279 |187 | 0 | 0 |-2.494754e+02 |-7.500000e+01 | 232.63%| unknown
190.10/190.72 c 191s| 1 | 0 |277580 | - | 364M | 0 |1000 | 37k| 39k|3293 |188 | 0 | 0 |-2.492951e+02 |-7.500000e+01 | 232.39%| unknown
190.79/191.41 c 191s| 1 | 0 |278304 | - | 364M | 0 |1000 | 37k| 39k|3315 |189 | 0 | 0 |-2.490874e+02 |-7.500000e+01 | 232.12%| unknown
191.19/191.89 c 192s| 1 | 0 |278779 | - | 364M | 0 |1000 | 37k| 39k|3331 |190 | 0 | 0 |-2.489310e+02 |-7.500000e+01 | 231.91%| unknown
191.79/192.40 c 192s| 1 | 0 |279290 | - | 364M | 0 |1000 | 37k| 39k|3345 |191 | 0 | 0 |-2.488029e+02 |-7.500000e+01 | 231.74%| unknown
192.19/192.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
192.19/192.87 c 193s| 1 | 0 |279769 | - | 365M | 0 |1000 | 37k| 39k|3361 |192 | 0 | 0 |-2.486689e+02 |-7.500000e+01 | 231.56%| unknown
192.59/193.24 c 193s| 1 | 0 |280146 | - | 365M | 0 |1000 | 37k| 39k|3369 |193 | 0 | 0 |-2.485947e+02 |-7.500000e+01 | 231.46%| unknown
192.99/193.60 c 194s| 1 | 0 |280512 | - | 365M | 0 |1000 | 37k| 39k|3375 |194 | 0 | 0 |-2.485204e+02 |-7.500000e+01 | 231.36%| unknown
193.29/193.97 c 194s| 1 | 0 |280889 | - | 366M | 0 |1000 | 37k| 39k|3393 |195 | 0 | 0 |-2.484332e+02 |-7.500000e+01 | 231.24%| unknown
193.88/194.50 c 194s| 1 | 0 |281430 | - | 366M | 0 |1000 | 37k| 39k|3409 |196 | 0 | 0 |-2.482770e+02 |-7.500000e+01 | 231.04%| unknown
194.18/194.80 c 195s| 1 | 0 |281720 | - | 366M | 0 |1000 | 37k| 39k|3419 |197 | 0 | 0 |-2.482213e+02 |-7.500000e+01 | 230.96%| unknown
194.68/195.30 c 195s| 1 | 0 |282208 | - | 366M | 0 |1000 | 37k| 39k|3432 |198 | 0 | 0 |-2.480661e+02 |-7.500000e+01 | 230.75%| unknown
194.98/195.67 c 196s| 1 | 0 |282561 | - | 367M | 0 |1000 | 37k| 39k|3444 |199 | 0 | 0 |-2.479757e+02 |-7.500000e+01 | 230.63%| unknown
195.49/196.13 c 196s| 1 | 0 |283051 | - | 367M | 0 |1000 | 37k| 39k|3456 |200 | 0 | 0 |-2.478597e+02 |-7.500000e+01 | 230.48%| unknown
195.88/196.59 c 197s| 1 | 0 |283491 | - | 367M | 0 |1000 | 37k| 39k|3469 |201 | 0 | 0 |-2.477221e+02 |-7.500000e+01 | 230.30%| unknown
196.39/197.10 c 197s| 1 | 0 |284007 | - | 368M | 0 |1000 | 37k| 39k|3480 |202 | 0 | 0 |-2.475996e+02 |-7.500000e+01 | 230.13%| unknown
196.88/197.53 c 197s| 1 | 0 |284449 | - | 368M | 0 |1000 | 37k| 39k|3495 |203 | 0 | 0 |-2.474978e+02 |-7.500000e+01 | 230.00%| unknown
197.27/197.94 c 198s| 1 | 0 |284873 | - | 368M | 0 |1000 | 37k| 39k|3510 |204 | 0 | 0 |-2.474070e+02 |-7.500000e+01 | 229.88%| unknown
197.67/198.32 c 198s| 1 | 0 |285258 | - | 368M | 0 |1000 | 37k| 39k|3526 |205 | 0 | 0 |-2.473206e+02 |-7.500000e+01 | 229.76%| unknown
198.07/198.74 c 199s| 1 | 0 |285661 | - | 368M | 0 |1000 | 37k| 39k|3538 |206 | 0 | 0 |-2.472476e+02 |-7.500000e+01 | 229.66%| unknown
198.38/199.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
198.38/199.09 c 199s| 1 | 0 |285993 | - | 369M | 0 |1000 | 37k| 39k|3553 |207 | 0 | 0 |-2.471907e+02 |-7.500000e+01 | 229.59%| unknown
198.87/199.50 c 199s| 1 | 0 |286384 | - | 369M | 0 |1000 | 37k| 39k|3566 |208 | 0 | 0 |-2.470974e+02 |-7.500000e+01 | 229.46%| unknown
199.27/199.94 c 200s| 1 | 0 |286795 | - | 369M | 0 |1000 | 37k| 39k|3580 |209 | 0 | 0 |-2.469419e+02 |-7.500000e+01 | 229.26%| unknown
199.77/200.42 c 200s| 1 | 0 |287277 | - | 369M | 0 |1000 | 37k| 39k|3596 |210 | 0 | 0 |-2.468236e+02 |-7.500000e+01 | 229.10%| unknown
200.07/200.78 c 201s| 1 | 0 |287625 | - | 370M | 0 |1000 | 37k| 39k|3608 |211 | 0 | 0 |-2.467408e+02 |-7.500000e+01 | 228.99%| unknown
200.38/201.08 c 201s| 1 | 0 |287906 | - | 370M | 0 |1000 | 37k| 39k|3621 |212 | 0 | 0 |-2.466758e+02 |-7.500000e+01 | 228.90%| unknown
200.76/201.47 c 201s| 1 | 0 |288289 | - | 370M | 0 |1000 | 37k| 39k|3633 |213 | 0 | 0 |-2.466032e+02 |-7.500000e+01 | 228.80%| unknown
201.26/201.92 c 202s| 1 | 0 |288733 | - | 371M | 0 |1000 | 37k| 39k|3649 |214 | 0 | 0 |-2.465094e+02 |-7.500000e+01 | 228.68%| unknown
201.66/202.30 c 202s| 1 | 0 |289096 | - | 371M | 0 |1000 | 37k| 39k|3662 |215 | 0 | 0 |-2.464140e+02 |-7.500000e+01 | 228.55%| unknown
202.06/202.71 c 203s| 1 | 0 |289489 | - | 371M | 0 |1000 | 37k| 39k|3673 |216 | 0 | 0 |-2.463304e+02 |-7.500000e+01 | 228.44%| unknown
202.26/202.98 c 203s| 1 | 0 |289716 | - | 371M | 0 |1000 | 37k| 39k|3689 |217 | 0 | 0 |-2.462735e+02 |-7.500000e+01 | 228.36%| unknown
202.86/203.54 c 203s| 1 | 0 |290269 | - | 371M | 0 |1000 | 37k| 39k|3707 |218 | 0 | 0 |-2.460999e+02 |-7.500000e+01 | 228.13%| unknown
203.16/203.81 c 204s| 1 | 0 |290508 | - | 372M | 0 |1000 | 37k| 39k|3721 |219 | 0 | 0 |-2.460549e+02 |-7.500000e+01 | 228.07%| unknown
203.55/204.24 c 204s| 1 | 0 |290904 | - | 372M | 0 |1000 | 37k| 39k|3733 |220 | 0 | 0 |-2.459227e+02 |-7.500000e+01 | 227.90%| unknown
203.85/204.58 c 205s| 1 | 0 |291224 | - | 372M | 0 |1000 | 37k| 39k|3745 |221 | 0 | 0 |-2.458630e+02 |-7.500000e+01 | 227.82%| unknown
204.25/204.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
204.25/204.91 c 205s| 1 | 0 |291518 | - | 372M | 0 |1000 | 37k| 39k|3761 |222 | 0 | 0 |-2.457846e+02 |-7.500000e+01 | 227.71%| unknown
204.55/205.24 c 205s| 1 | 0 |291811 | - | 372M | 0 |1000 | 37k| 39k|3774 |223 | 0 | 0 |-2.456891e+02 |-7.500000e+01 | 227.59%| unknown
204.95/205.65 c 206s| 1 | 0 |292204 | - | 373M | 0 |1000 | 37k| 39k|3789 |224 | 0 | 0 |-2.455930e+02 |-7.500000e+01 | 227.46%| unknown
205.36/206.02 c 206s| 1 | 0 |292569 | - | 373M | 0 |1000 | 37k| 39k|3800 |225 | 0 | 0 |-2.455204e+02 |-7.500000e+01 | 227.36%| unknown
205.85/206.51 c 206s| 1 | 0 |293041 | - | 373M | 0 |1000 | 37k| 39k|3814 |226 | 0 | 0 |-2.454132e+02 |-7.500000e+01 | 227.22%| unknown
206.25/206.90 c 207s| 1 | 0 |293418 | - | 373M | 0 |1000 | 37k| 39k|3827 |227 | 0 | 0 |-2.453065e+02 |-7.500000e+01 | 227.08%| unknown
206.55/207.21 c 207s| 1 | 0 |293702 | - | 374M | 0 |1000 | 37k| 39k|3839 |228 | 0 | 0 |-2.452693e+02 |-7.500000e+01 | 227.03%| unknown
206.95/207.68 c 208s| 1 | 0 |294151 | - | 374M | 0 |1000 | 37k| 39k|3850 |229 | 0 | 0 |-2.451449e+02 |-7.500000e+01 | 226.86%| unknown
207.36/208.05 c 208s| 1 | 0 |294500 | - | 374M | 0 |1000 | 37k| 39k|3863 |230 | 0 | 0 |-2.450338e+02 |-7.500000e+01 | 226.71%| unknown
207.84/208.57 c 209s| 1 | 0 |295017 | - | 375M | 0 |1000 | 37k| 39k|3880 |231 | 0 | 0 |-2.449381e+02 |-7.500000e+01 | 226.58%| unknown
208.24/208.94 c 209s| 1 | 0 |295349 | - | 375M | 0 |1000 | 37k| 39k|3893 |232 | 0 | 0 |-2.448869e+02 |-7.500000e+01 | 226.52%| unknown
208.54/209.26 c 209s| 1 | 0 |295645 | - | 375M | 0 |1000 | 37k| 39k|3902 |233 | 0 | 0 |-2.448199e+02 |-7.500000e+01 | 226.43%| unknown
208.84/209.59 c 210s| 1 | 0 |295953 | - | 375M | 0 |1000 | 37k| 39k|3918 |234 | 0 | 0 |-2.447503e+02 |-7.500000e+01 | 226.33%| unknown
209.35/210.06 c 210s| 1 | 0 |296415 | - | 376M | 0 |1000 | 37k| 39k|3930 |235 | 0 | 0 |-2.446294e+02 |-7.500000e+01 | 226.17%| unknown
209.74/210.49 c 210s| 1 | 0 |296809 | - | 376M | 0 |1000 | 37k| 39k|3943 |236 | 0 | 0 |-2.445199e+02 |-7.500000e+01 | 226.03%| unknown
210.14/210.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
210.14/210.85 c 211s| 1 | 0 |297167 | - | 376M | 0 |1000 | 37k| 39k|3957 |237 | 0 | 0 |-2.444431e+02 |-7.500000e+01 | 225.92%| unknown
210.53/211.27 c 211s| 1 | 0 |297555 | - | 376M | 0 |1000 | 37k| 39k|3970 |238 | 0 | 0 |-2.443337e+02 |-7.500000e+01 | 225.78%| unknown
211.03/211.72 c 212s| 1 | 0 |297978 | - | 376M | 0 |1000 | 37k| 39k|3982 |239 | 0 | 0 |-2.442079e+02 |-7.500000e+01 | 225.61%| unknown
211.34/212.10 c 212s| 1 | 0 |298321 | - | 377M | 0 |1000 | 37k| 39k|3992 |240 | 0 | 0 |-2.441289e+02 |-7.500000e+01 | 225.51%| unknown
211.73/212.46 c 212s| 1 | 0 |298652 | - | 377M | 0 |1000 | 37k| 39k|4004 |241 | 0 | 0 |-2.440716e+02 |-7.500000e+01 | 225.43%| unknown
212.03/212.78 c 213s| 1 | 0 |298948 | - | 377M | 0 |1000 | 37k| 39k|4014 |242 | 0 | 0 |-2.440295e+02 |-7.500000e+01 | 225.37%| unknown
212.44/213.18 c 213s| 1 | 0 |299308 | - | 378M | 0 |1000 | 37k| 39k|4028 |243 | 0 | 0 |-2.439524e+02 |-7.500000e+01 | 225.27%| unknown
212.83/213.51 c 213s| 1 | 0 |299596 | - | 378M | 0 |1000 | 37k| 39k|4037 |244 | 0 | 0 |-2.438988e+02 |-7.500000e+01 | 225.20%| unknown
213.23/213.91 c 214s| 1 | 0 |299934 | - | 378M | 0 |1000 | 37k| 39k|4051 |245 | 0 | 0 |-2.438331e+02 |-7.500000e+01 | 225.11%| unknown
213.53/214.24 c 214s| 1 | 0 |300233 | - | 378M | 0 |1000 | 37k| 39k|4065 |246 | 0 | 0 |-2.437468e+02 |-7.500000e+01 | 225.00%| unknown
213.83/214.55 c 215s| 1 | 0 |300511 | - | 379M | 0 |1000 | 37k| 39k|4073 |247 | 0 | 0 |-2.436972e+02 |-7.500000e+01 | 224.93%| unknown
214.34/215.09 c 215s| 1 | 0 |301048 | - | 379M | 0 |1000 | 37k| 40k|4087 |248 | 0 | 0 |-2.435883e+02 |-7.500000e+01 | 224.78%| unknown
214.83/215.51 c 215s| 1 | 0 |301468 | - | 379M | 0 |1000 | 37k| 40k|4100 |249 | 0 | 0 |-2.435060e+02 |-7.500000e+01 | 224.67%| unknown
215.34/216.01 c 216s| 1 | 0 |301938 | - | 379M | 0 |1000 | 37k| 39k|4113 |250 | 0 | 0 |-2.433695e+02 |-7.500000e+01 | 224.49%| unknown
215.62/216.30 c 216s| 1 | 0 |302195 | - | 379M | 0 |1000 | 37k| 39k|4128 |251 | 0 | 0 |-2.433304e+02 |-7.500000e+01 | 224.44%| unknown
216.12/216.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
216.12/216.84 c 217s| 1 | 0 |302711 | - | 380M | 0 |1000 | 37k| 40k|4142 |252 | 0 | 0 |-2.432252e+02 |-7.500000e+01 | 224.30%| unknown
216.43/217.16 c 217s| 1 | 0 |302983 | - | 380M | 0 |1000 | 37k| 40k|4153 |253 | 0 | 0 |-2.431900e+02 |-7.500000e+01 | 224.25%| unknown
216.82/217.57 c 218s| 1 | 0 |303389 | - | 380M | 0 |1000 | 37k| 40k|4168 |254 | 0 | 0 |-2.431107e+02 |-7.500000e+01 | 224.15%| unknown
217.12/217.89 c 218s| 1 | 0 |303685 | - | 381M | 0 |1000 | 37k| 40k|4176 |255 | 0 | 0 |-2.430541e+02 |-7.500000e+01 | 224.07%| unknown
217.52/218.22 c 218s| 1 | 0 |303985 | - | 381M | 0 |1000 | 37k| 40k|4185 |256 | 0 | 0 |-2.430118e+02 |-7.500000e+01 | 224.02%| unknown
217.82/218.58 c 219s| 1 | 0 |304321 | - | 381M | 0 |1000 | 37k| 40k|4198 |257 | 0 | 0 |-2.429577e+02 |-7.500000e+01 | 223.94%| unknown
218.22/218.95 c 219s| 1 | 0 |304662 | - | 381M | 0 |1000 | 37k| 40k|4212 |258 | 0 | 0 |-2.429031e+02 |-7.500000e+01 | 223.87%| unknown
218.62/219.32 c 219s| 1 | 0 |305034 | - | 382M | 0 |1000 | 37k| 40k|4220 |259 | 0 | 0 |-2.428483e+02 |-7.500000e+01 | 223.80%| unknown
218.91/219.68 c 220s| 1 | 0 |305379 | - | 382M | 0 |1000 | 37k| 40k|4234 |260 | 0 | 0 |-2.427997e+02 |-7.500000e+01 | 223.73%| unknown
219.33/220.03 c 220s| 1 | 0 |305706 | - | 382M | 0 |1000 | 37k| 40k|4248 |261 | 0 | 0 |-2.427505e+02 |-7.500000e+01 | 223.67%| unknown
219.51/220.27 c 220s| 1 | 0 |305897 | - | 383M | 0 |1000 | 37k| 40k|4258 |262 | 0 | 0 |-2.427284e+02 |-7.500000e+01 | 223.64%| unknown
219.81/220.55 c 221s| 1 | 0 |306143 | - | 383M | 0 |1000 | 37k| 40k|4267 |263 | 0 | 0 |-2.427128e+02 |-7.500000e+01 | 223.62%| unknown
220.11/220.82 c 221s| 1 | 0 |306395 | - | 383M | 0 |1000 | 37k| 40k|4278 |264 | 0 | 0 |-2.426768e+02 |-7.500000e+01 | 223.57%| unknown
220.42/221.16 c 221s| 1 | 0 |306705 | - | 383M | 0 |1000 | 37k| 40k|4288 |265 | 0 | 0 |-2.426415e+02 |-7.500000e+01 | 223.52%| unknown
220.81/221.55 c 222s| 1 | 0 |307096 | - | 383M | 0 |1000 | 37k| 40k|4300 |266 | 0 | 0 |-2.426007e+02 |-7.500000e+01 | 223.47%| unknown
221.21/221.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
221.21/221.95 c 222s| 1 | 0 |307475 | - | 384M | 0 |1000 | 37k| 40k|4316 |267 | 0 | 0 |-2.425509e+02 |-7.500000e+01 | 223.40%| unknown
221.51/222.27 c 222s| 1 | 0 |307774 | - | 384M | 0 |1000 | 37k| 40k|4327 |268 | 0 | 0 |-2.425179e+02 |-7.500000e+01 | 223.36%| unknown
221.81/222.55 c 223s| 1 | 0 |308031 | - | 384M | 0 |1000 | 37k| 40k|4338 |269 | 0 | 0 |-2.424884e+02 |-7.500000e+01 | 223.32%| unknown
222.20/222.93 c 223s| 1 | 0 |308382 | - | 385M | 0 |1000 | 37k| 40k|4348 |270 | 0 | 0 |-2.424364e+02 |-7.500000e+01 | 223.25%| unknown
222.50/223.28 c 223s| 1 | 0 |308679 | - | 385M | 0 |1000 | 37k| 40k|4360 |271 | 0 | 0 |-2.423827e+02 |-7.500000e+01 | 223.18%| unknown
222.90/223.69 c 224s| 1 | 0 |309100 | - | 385M | 0 |1000 | 37k| 40k|4374 |272 | 0 | 0 |-2.423057e+02 |-7.500000e+01 | 223.07%| unknown
223.31/224.05 c 224s| 1 | 0 |309465 | - | 385M | 0 |1000 | 37k| 40k|4385 |273 | 0 | 0 |-2.422709e+02 |-7.500000e+01 | 223.03%| unknown
223.70/224.41 c 224s| 1 | 0 |309816 | - | 386M | 0 |1000 | 37k| 40k|4397 |274 | 0 | 0 |-2.422363e+02 |-7.500000e+01 | 222.98%| unknown
224.00/224.78 c 225s| 1 | 0 |310199 | - | 386M | 0 |1000 | 37k| 40k|4408 |275 | 0 | 0 |-2.422121e+02 |-7.500000e+01 | 222.95%| unknown
224.31/225.10 c 225s| 1 | 0 |310504 | - | 386M | 0 |1000 | 37k| 40k|4419 |276 | 0 | 0 |-2.421854e+02 |-7.500000e+01 | 222.91%| unknown
224.60/225.31 c 225s| 1 | 0 |310687 | - | 386M | 0 |1000 | 37k| 40k|4429 |277 | 0 | 0 |-2.421773e+02 |-7.500000e+01 | 222.90%| unknown
224.99/225.75 c 226s| 1 | 0 |311105 | - | 387M | 0 |1000 | 37k| 40k|4444 |278 | 0 | 0 |-2.421338e+02 |-7.500000e+01 | 222.85%| unknown
225.41/226.17 c 226s| 1 | 0 |311550 | - | 387M | 0 |1000 | 37k| 40k|4461 |279 | 0 | 0 |-2.420944e+02 |-7.500000e+01 | 222.79%| unknown
225.69/226.48 c 226s| 1 | 0 |311836 | - | 387M | 0 |1000 | 37k| 40k|4470 |280 | 0 | 0 |-2.420755e+02 |-7.500000e+01 | 222.77%| unknown
226.19/226.97 c 227s| 1 | 0 |312386 | - | 387M | 0 |1000 | 37k| 40k|4482 |281 | 0 | 0 |-2.420165e+02 |-7.500000e+01 | 222.69%| unknown
226.59/227.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
226.59/227.31 c 227s| 1 | 0 |312726 | - | 388M | 0 |1000 | 37k| 40k|4500 |282 | 0 | 0 |-2.419964e+02 |-7.500000e+01 | 222.66%| unknown
226.79/227.57 c 228s| 1 | 0 |312969 | - | 388M | 0 |1000 | 37k| 40k|4510 |283 | 0 | 0 |-2.419865e+02 |-7.500000e+01 | 222.65%| unknown
227.19/227.94 c 228s| 1 | 0 |313331 | - | 388M | 0 |1000 | 37k| 40k|4528 |284 | 0 | 0 |-2.419474e+02 |-7.500000e+01 | 222.60%| unknown
227.58/228.31 c 228s| 1 | 0 |313696 | - | 388M | 0 |1000 | 37k| 40k|4541 |285 | 0 | 0 |-2.419126e+02 |-7.500000e+01 | 222.55%| unknown
227.78/228.55 c 229s| 1 | 0 |313897 | - | 389M | 0 |1000 | 37k| 40k|4551 |286 | 0 | 0 |-2.419045e+02 |-7.500000e+01 | 222.54%| unknown
228.18/228.99 c 229s| 1 | 0 |314362 | - | 389M | 0 |1000 | 37k| 40k|4566 |287 | 0 | 0 |-2.418674e+02 |-7.500000e+01 | 222.49%| unknown
228.78/229.50 c 229s| 1 | 0 |314951 | - | 389M | 0 |1000 | 37k| 40k|4582 |288 | 0 | 0 |-2.418065e+02 |-7.500000e+01 | 222.41%| unknown
229.08/229.88 c 230s| 1 | 0 |315391 | - | 389M | 0 |1000 | 37k| 40k|4602 |289 | 0 | 0 |-2.417800e+02 |-7.500000e+01 | 222.37%| unknown
229.48/230.28 c 230s| 1 | 0 |315842 | - | 389M | 0 |1000 | 37k| 40k|4618 |290 | 0 | 0 |-2.417414e+02 |-7.500000e+01 | 222.32%| unknown
229.88/230.66 c 231s| 1 | 0 |316242 | - | 390M | 0 |1000 | 37k| 40k|4631 |291 | 0 | 0 |-2.417227e+02 |-7.500000e+01 | 222.30%| unknown
230.39/231.14 c 231s| 1 | 0 |316780 | - | 390M | 0 |1000 | 37k| 40k|4646 |292 | 0 | 0 |-2.416884e+02 |-7.500000e+01 | 222.25%| unknown
230.67/231.49 c 231s| 1 | 0 |317173 | - | 390M | 0 |1000 | 37k| 40k|4657 |293 | 0 | 0 |-2.416743e+02 |-7.500000e+01 | 222.23%| unknown
231.29/232.06 c 232s| 1 | 0 |317827 | - | 390M | 0 |1000 | 37k| 40k|4675 |294 | 0 | 0 |-2.416319e+02 |-7.500000e+01 | 222.18%| unknown
231.67/232.49 c 232s| 1 | 0 |318285 | - | 391M | 0 |1000 | 37k| 40k|4686 |295 | 0 | 0 |-2.416111e+02 |-7.500000e+01 | 222.15%| unknown
232.17/232.92 c 233s| 1 | 0 |318782 | - | 391M | 0 |1000 | 37k| 40k|4702 |296 | 0 | 0 |-2.415882e+02 |-7.500000e+01 | 222.12%| unknown
232.47/233.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
232.47/233.23 c 233s| 1 | 0 |319091 | - | 391M | 0 |1000 | 37k| 40k|4714 |297 | 0 | 0 |-2.415686e+02 |-7.500000e+01 | 222.09%| unknown
232.77/233.53 c 233s| 1 | 0 |319378 | - | 392M | 0 |1000 | 37k| 40k|4723 |298 | 0 | 0 |-2.415574e+02 |-7.500000e+01 | 222.08%| unknown
233.17/233.94 c 234s| 1 | 0 |319842 | - | 392M | 0 |1000 | 37k| 40k|4733 |299 | 0 | 0 |-2.415354e+02 |-7.500000e+01 | 222.05%| unknown
233.57/234.30 c 234s| 1 | 0 |320234 | - | 392M | 0 |1000 | 37k| 40k|4747 |300 | 0 | 0 |-2.415160e+02 |-7.500000e+01 | 222.02%| unknown
233.86/234.69 c 235s| 1 | 0 |320646 | - | 392M | 0 |1000 | 37k| 40k|4757 |301 | 0 | 0 |-2.414976e+02 |-7.500000e+01 | 222.00%| unknown
234.28/235.09 c 235s| 1 | 0 |321095 | - | 393M | 0 |1000 | 37k| 40k|4780 |302 | 0 | 0 |-2.414659e+02 |-7.500000e+01 | 221.95%| unknown
234.66/235.48 c 235s| 1 | 0 |321557 | - | 393M | 0 |1000 | 37k| 40k|4795 |303 | 0 | 0 |-2.414420e+02 |-7.500000e+01 | 221.92%| unknown
235.06/235.86 c 236s| 1 | 0 |321948 | - | 393M | 0 |1000 | 37k| 40k|4808 |304 | 0 | 0 |-2.414180e+02 |-7.500000e+01 | 221.89%| unknown
235.46/236.20 c 236s| 1 | 0 |322338 | - | 393M | 0 |1000 | 37k| 40k|4819 |305 | 0 | 0 |-2.413976e+02 |-7.500000e+01 | 221.86%| unknown
235.76/236.55 c 237s| 1 | 0 |322711 | - | 394M | 0 |1000 | 37k| 40k|4832 |306 | 0 | 0 |-2.413785e+02 |-7.500000e+01 | 221.84%| unknown
236.06/236.85 c 237s| 1 | 0 |323021 | - | 394M | 0 |1000 | 37k| 40k|4844 |307 | 0 | 0 |-2.413663e+02 |-7.500000e+01 | 221.82%| unknown
236.56/237.37 c 237s| 1 | 0 |323635 | - | 394M | 0 |1000 | 37k| 40k|4868 |308 | 0 | 0 |-2.413375e+02 |-7.500000e+01 | 221.78%| unknown
236.86/237.65 c 238s| 1 | 0 |323941 | - | 395M | 0 |1000 | 37k| 40k|4887 |309 | 0 | 0 |-2.413259e+02 |-7.500000e+01 | 221.77%| unknown
237.16/238.00 c 238s| 1 | 0 |324336 | - | 395M | 0 |1000 | 37k| 40k|4899 |310 | 0 | 0 |-2.413079e+02 |-7.500000e+01 | 221.74%| unknown
237.56/238.36 c 238s| 1 | 0 |324695 | - | 395M | 0 |1000 | 37k| 40k|4909 |311 | 0 | 0 |-2.412922e+02 |-7.500000e+01 | 221.72%| unknown
237.86/238.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
237.86/238.62 c 239s| 1 | 0 |324977 | - | 395M | 0 |1000 | 37k| 40k|4926 |312 | 0 | 0 |-2.412829e+02 |-7.500000e+01 | 221.71%| unknown
238.16/238.96 c 239s| 1 | 0 |325297 | - | 396M | 0 |1000 | 37k| 40k|4937 |313 | 0 | 0 |-2.412690e+02 |-7.500000e+01 | 221.69%| unknown
238.56/239.33 c 239s| 1 | 0 |325746 | - | 396M | 0 |1000 | 37k| 40k|4948 |314 | 0 | 0 |-2.412545e+02 |-7.500000e+01 | 221.67%| unknown
238.86/239.63 c 240s| 1 | 0 |326052 | - | 396M | 0 |1000 | 37k| 40k|4961 |315 | 0 | 0 |-2.412454e+02 |-7.500000e+01 | 221.66%| unknown
239.27/240.05 c 240s| 1 | 0 |326512 | - | 397M | 0 |1000 | 37k| 40k|4969 |316 | 0 | 0 |-2.412288e+02 |-7.500000e+01 | 221.64%| unknown
239.56/240.30 c 240s| 1 | 0 |326751 | - | 397M | 0 |1000 | 37k| 40k|4978 |317 | 0 | 0 |-2.412228e+02 |-7.500000e+01 | 221.63%| unknown
239.86/240.60 c 241s| 1 | 0 |327096 | - | 397M | 0 |1000 | 37k| 40k|4995 |318 | 0 | 0 |-2.412130e+02 |-7.500000e+01 | 221.62%| unknown
262.49/263.35 c 263s| 1 | 2 |327103 | - | 398M | 0 |1000 | 37k| 40k|4995 |318 | 0 | 26 |-2.409755e+02 |-7.500000e+01 | 221.30%| unknown
1151.72/1155.25 c 1155s| 100 | 101 | 1103k|7839.6 | 900M | 12 |1000 | 37k| 39k| 12k| 1 | 0 | 598 |-2.407935e+02 |-7.500000e+01 | 221.06%| unknown
1898.84/1904.38 c 1904s| 200 | 201 | 1935k|8081.2 | 1212M | 14 |1000 | 37k| 39k| 19k| 1 | 0 | 877 |-2.407935e+02 |-7.500000e+01 | 221.06%| unknown
2527.77/2535.14 c 2535s| 300 | 301 | 2598k|7597.0 | 1462M | 15 |1000 | 37k| 39k| 27k| 1 | 0 |1119 |-2.401029e+02 |-7.500000e+01 | 220.14%| unknown
3018.89/3027.95 c 3028s| 400 | 401 | 3128k|7021.8 | 1629M | 16 |1000 | 37k| 39k| 31k| 1 | 0 |1328 |-2.401029e+02 |-7.500000e+01 | 220.14%| unknown
3376.58/3386.87 c 3387s| 500 | 501 | 3621k|6601.9 | 1735M | 16 |1000 | 37k| 39k| 35k| 1 | 0 |1372 |-2.401029e+02 |-7.500000e+01 | 220.14%| unknown
3586.18/3597.04 c
3586.18/3597.04 c SCIP Status : solving was interrupted [time limit reached]
3586.18/3597.04 c Solving Time (sec) : 3597.00
3586.18/3597.04 c Solving Nodes : 563
3586.18/3597.04 c Primal Bound : -7.50000000000000e+01 (184 solutions)
3586.18/3597.04 c Dual Bound : -2.40102876291314e+02
3586.18/3597.04 c Gap : 220.14 %
3586.18/3597.08 s SATISFIABLE
3586.18/3597.08 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 x981 -x980 x979
3586.18/3597.08 v x978 -x977 -x976 x975 x974 -x973 -x972 -x971 -x970 x969 -x968 -x967 x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957
3586.18/3597.08 v x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936
3586.18/3597.08 v -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915
3586.18/3597.08 v -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893
3586.18/3597.08 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872
3586.18/3597.08 v -x871 -x870 x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851
3586.18/3597.08 v x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 x833 -x832 x831 -x830
3586.18/3597.08 v -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809
3586.18/3597.08 v -x808 -x807 x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 x788 -x787
3586.18/3597.08 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766
3586.18/3597.08 v -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 x746 -x745 -x744
3586.18/3597.08 v -x743 x742 x741 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723
3586.18/3597.08 v -x722 -x721 -x720 x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702
3586.18/3597.08 v -x701 -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 x684 x683 -x682 -x681 -x680
3586.18/3597.08 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
3586.18/3597.08 v -x658 -x657 x656 -x655 -x654 x653 x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637
3586.18/3597.08 v -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617
3586.18/3597.08 v -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598 -x597 -x596 -x595
3586.18/3597.08 v -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574
3586.18/3597.08 v -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553
3586.18/3597.08 v -x552 -x551 -x550 x549 -x548 -x547 -x546 x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 x531
3586.18/3597.08 v -x530 x529 -x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510
3586.18/3597.08 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489
3586.18/3597.08 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
3586.18/3597.08 v x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
3586.18/3597.08 v -x446 -x445 x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426
3586.18/3597.08 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
3586.18/3597.08 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
3586.18/3597.08 v -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363
3586.18/3597.08 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
3586.18/3597.08 v -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
3586.18/3597.08 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
3586.18/3597.08 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
3586.18/3597.08 v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259
3586.18/3597.08 v -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238
3586.18/3597.08 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
3586.18/3597.08 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
3586.18/3597.08 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
3586.18/3597.08 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
3586.18/3597.08 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
3586.18/3597.08 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
3586.18/3597.08 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
3586.18/3597.08 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
3586.18/3597.08 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
3586.18/3597.08 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
3586.18/3597.08 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3586.18/3597.08 c SCIP Status : solving was interrupted [time limit reached]
3586.18/3597.08 c Total Time : 3597.00
3586.18/3597.08 c solving : 3597.00
3586.18/3597.08 c presolving : 0.90 (included in solving)
3586.18/3597.08 c reading : 0.36 (included in solving)
3586.18/3597.08 c copying : 0.08 (2 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3586.18/3597.08 c Original Problem :
3586.18/3597.08 c Problem name : HOME/instance-4498165-1751268244.opb
3586.18/3597.08 c Variables : 38742 (1000 binary, 0 integer, 37742 implicit integer, 0 continuous)
3586.18/3597.08 c Constraints : 39742 initial, 39742 maximal
3586.18/3597.08 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3586.18/3597.08 c Presolved Problem :
3586.18/3597.08 c Problem name : t_HOME/instance-4498165-1751268244.opb
3586.18/3597.08 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.18/3597.08 c Constraints : 37742 initial, 37742 maximal
3586.18/3597.08 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3586.18/3597.08 c Nonzeros : 75484 constraint, 75482 clique table
3586.18/3597.08 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.18/3597.08 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c domcol : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c probing : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c setppc : 0.09 0.00 5 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c and : 0.18 0.00 2 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c linear : 0.13 0.01 1 37742 0 0 37742 0 1000 0 0 0
3586.18/3597.08 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c pseudoboolean : 0.09 0.01 1 0 0 0 0 0 1000 0 0 0
3586.18/3597.08 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c root node : - - - 0 - - 0 - - - - -
3586.18/3597.08 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.18/3597.08 c benderslp : 0 0 0 0 563 0 0 191 0 0 0 0 0 0 0
3586.18/3597.08 c integral : 0 0 0 0 563 0 0 191 0 0 0 0 0 0 1126
3586.18/3597.08 c setppc : 37742 37742 318 85330 0 0 0 185 0 0 23501 0 0 0 0
3586.18/3597.08 c benders : 0 0 0 0 0 0 0 187 0 0 0 0 0 0 0
3586.18/3597.08 c fixedvar : 0 0 0 0 0 0 0 187 0 0 0 0 0 0 0
3586.18/3597.08 c countsols : 0 0 0 0 0 0 0 187 0 0 0 0 0 0 0
3586.18/3597.08 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.18/3597.08 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.08 c integral : 928.95 0.00 0.00 0.00 928.95 0.00 0.00 0.00 0.00 0.00
3586.18/3597.08 c setppc : 4.04 0.00 0.26 2.57 0.00 0.00 0.00 0.35 0.00 0.85
3586.18/3597.08 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.08 c fixedvar : 0.44 0.00 0.00 0.00 0.00 0.00 0.00 0.44 0.00 0.00
3586.18/3597.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.08 c components : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.08 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.18/3597.08 c dualfix : 2 0 0 0
3586.18/3597.08 c genvbounds : 0 0 0 0
3586.18/3597.08 c nlobbt : 0 0 0 0
3586.18/3597.08 c obbt : 0 0 0 0
3586.18/3597.08 c probing : 0 0 0 0
3586.18/3597.08 c pseudoobj : 1807 0 0 0
3586.18/3597.08 c redcost : 320 0 0 0
3586.18/3597.08 c rootredcost : 1 0 0 0
3586.18/3597.08 c symmetry : 0 0 0 0
3586.18/3597.08 c vbounds : 18487 0 0 0
3586.18/3597.08 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.18/3597.08 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.08 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.18/3597.08 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.08 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.08 c probing : 0.18 0.00 0.18 0.00 0.00 0.00
3586.18/3597.08 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.18/3597.08 c redcost : 0.48 0.00 0.00 0.48 0.00 0.00
3586.18/3597.08 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.18/3597.08 c symmetry : 0.04 0.00 0.03 0.01 0.00 0.00
3586.18/3597.08 c vbounds : 0.02 0.00 0.00 0.01 0.00 0.00
3586.18/3597.08 c Symmetry :
3586.18/3597.08 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.18/3597.08 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.18/3597.08 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.18/3597.08 c shadow tree time : 0.00 s
3586.18/3597.08 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3586.18/3597.08 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.18/3597.08 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.18/3597.08 c bound exceed. LP : 0.31 358 0 - 0 0.0 0 0.0 0 0.0 244
3586.18/3597.08 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.18/3597.08 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.18/3597.08 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3586.18/3597.08 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.18/3597.08 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.18/3597.08 c cut pool : 5.20 - 1870 635 - - 30017 126391 - - - - - (maximal pool size: 5402)
3586.18/3597.08 c aggregation : 11.60 0.00 902 318 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.18/3597.08 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.18/3597.08 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.18/3597.08 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c clique : 5.72 0.00 318 318 0 0 3062 81866 0 30298 30298 0 0
3586.18/3597.08 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c gomory : 22.54 0.00 480 10 0 0 25557 29357 0 1268 1268 0 0
3586.18/3597.08 c > gomorymi : - - - - - - - 13470 0 148 148 0 -
3586.18/3597.08 c > strongcg : - - - - - - - 15887 0 1120 1120 0 -
3586.18/3597.08 c impliedbounds : 0.85 0.00 902 318 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c multilinear : 0.00 0.00 330 318 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c rapidlearning : 0.21 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c rlt : 0.00 0.00 104 10 0 0 0 0 0 0 0 0 0
3586.18/3597.08 c zerohalf : 12.71 0.00 490 20 0 0 1398 15168 0 6057 6057 0 0
3586.18/3597.08 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.18/3597.08 c hybrid : 0.62 0.00 1083 318 37623 0 88768 4995 0 5401
3586.18/3597.08 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c Pricers : ExecTime SetupTime Calls Vars
3586.18/3597.08 c problem variables: 0.00 - 0 0
3586.18/3597.08 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.18/3597.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c relpscost : 928.95 0.00 563 0 0 0 0 0 0 1126
3586.18/3597.08 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.08 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.18/3597.08 c LP solutions : 0.00 - - 0 0
3586.18/3597.08 c relax solutions : 0.00 - - 0 0
3586.18/3597.08 c pseudo solutions : 0.00 - - 0 0
3586.18/3597.08 c strong branching : 0.10 - - 0 0
3586.18/3597.08 c actconsdiving : 0.00 0.00 0 0 0
3586.18/3597.08 c adaptivediving : 24.45 0.00 6 0 0
3586.18/3597.08 c alns : 0.11 0.00 1 0 0
3586.18/3597.08 c bound : 0.00 0.00 0 0 0
3586.18/3597.08 c clique : 0.11 0.00 1 1 1
3586.18/3597.08 c coefdiving : 0.00 0.00 0 0 0
3586.18/3597.08 c completesol : 0.00 0.00 0 0 0
3586.18/3597.08 c conflictdiving : 0.00 0.00 0 0 0
3586.18/3597.08 c crossover : 0.12 0.00 1 1 0
3586.18/3597.08 c dins : 0.00 0.00 0 0 0
3586.18/3597.08 c distributiondivin: 126.06 0.00 20 0 0
3586.18/3597.08 c dps : 0.00 0.00 0 0 0
3586.18/3597.08 c dualval : 0.00 0.00 0 0 0
3586.18/3597.08 c farkasdiving : 0.00 0.00 0 0 0
3586.18/3597.08 c feasjump : 0.00 0.00 0 0 0
3586.18/3597.08 c feaspump : 0.00 0.00 0 0 0
3586.18/3597.08 c fixandinfer : 0.00 0.00 0 0 0
3586.18/3597.08 c fracdiving : 100.71 0.00 26 0 0
3586.18/3597.08 c gins : 0.02 0.00 0 0 0
3586.18/3597.08 c guideddiving : 76.20 0.00 18 1 0
3586.18/3597.08 c indcoefdiving : 0.00 0.00 0 0 0
3586.18/3597.08 c indicator : 0.00 0.00 0 0 0
3586.18/3597.08 c indicatordiving : 0.00 0.00 0 0 0
3586.18/3597.08 c indoneopt : 0.00 0.00 0 0 0
3586.18/3597.08 c indrounding : 0.00 0.00 0 0 0
3586.18/3597.08 c indtwoopt : 0.00 0.00 0 0 0
3586.18/3597.08 c intdiving : 0.00 0.00 0 0 0
3586.18/3597.08 c intshifting : 0.00 0.00 0 0 0
3586.18/3597.08 c linesearchdiving : 62.27 0.00 17 0 0
3586.18/3597.08 c localbranching : 0.00 0.00 0 0 0
3586.18/3597.08 c locks : 0.03 0.00 1 1 1
3586.18/3597.08 c lpface : 0.00 0.00 0 0 0
3586.18/3597.08 c mpec : 0.00 0.00 0 0 0
3586.18/3597.08 c multistart : 0.00 0.00 0 0 0
3586.18/3597.08 c mutation : 0.00 0.00 0 0 0
3586.18/3597.08 c nlpdiving : 0.00 0.00 0 0 0
3586.18/3597.08 c objpscostdiving : 48.73 0.00 2 5 0
3586.18/3597.08 c octane : 0.00 0.00 0 0 0
3586.18/3597.08 c ofins : 0.00 0.00 0 0 0
3586.18/3597.08 c oneopt : 0.01 0.00 1 1 1
3586.18/3597.08 c padm : 0.00 0.00 0 0 0
3586.18/3597.08 c proximity : 0.00 0.00 0 0 0
3586.18/3597.08 c pscostdiving : 111.95 0.00 22 0 0
3586.18/3597.08 c randrounding : 6.26 0.00 319 163 0
3586.18/3597.08 c rens : 0.00 0.00 0 0 0
3586.18/3597.08 c reoptsols : 0.00 0.00 0 0 0
3586.18/3597.08 c repair : 0.00 0.00 0 0 0
3586.18/3597.08 c rins : 0.00 0.00 0 0 0
3586.18/3597.08 c rootsoldiving : 34.51 0.00 6 9 0
3586.18/3597.08 c rounding : 6.32 0.00 493 0 0
3586.18/3597.08 c scheduler : 0.00 0.00 0 0 0
3586.18/3597.08 c shiftandpropagate: 0.00 0.00 0 0 0
3586.18/3597.08 c shifting : 5.32 0.00 369 0 0
3586.18/3597.08 c simplerounding : 0.08 0.00 1646 0 0
3586.18/3597.08 c smallcard : 0.00 0.00 0 0 0
3586.18/3597.08 c subnlp : 0.00 0.00 0 0 0
3586.18/3597.08 c trivial : 0.05 0.00 2 1 1
3586.18/3597.08 c trivialnegation : 0.00 0.00 0 0 0
3586.18/3597.08 c trustregion : 0.00 0.00 0 0 0
3586.18/3597.08 c trysol : 0.00 0.00 0 0 0
3586.18/3597.08 c twoopt : 0.00 0.00 0 0 0
3586.18/3597.08 c undercover : 0.00 0.00 0 0 0
3586.18/3597.08 c vbounds : 0.12 0.00 1 1 0
3586.18/3597.08 c veclendiving : 74.87 0.00 30 0 0
3586.18/3597.08 c zeroobj : 0.00 0.00 0 0 0
3586.18/3597.08 c zirounding : 1.65 0.00 563 0 0
3586.18/3597.08 c other solutions : - - - 0 -
3586.18/3597.08 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.18/3597.08 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.18/3597.08 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.18/3597.08 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.18/3597.08 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.18/3597.08 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.18/3597.08 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.18/3597.08 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.18/3597.08 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.18/3597.08 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.18/3597.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.18/3597.08 c primal LP : 1.62 355 0 0.00 0.00 1.62 355
3586.18/3597.08 c dual LP : 1917.43 1646 2714252 1649.00 1415.57 0.00 0
3586.18/3597.08 c lex dual LP : 0.00 0 0 0.00 -
3586.18/3597.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.18/3597.08 c resolve instable : 0.00 0 0 0.00 -
3586.18/3597.08 c diving/probing LP: 640.50 1438 1217401 846.59 1900.69
3586.18/3597.08 c strong branching : 919.32 1372 1221169 890.06 1328.34 - - 1902
3586.18/3597.08 c (at root node) : - 26 26000 1000.00 -
3586.18/3597.08 c conflict analysis: 0.08 25 244 9.76 3099.44
3586.18/3597.08 c B&B Tree :
3586.18/3597.08 c number of runs : 1
3586.18/3597.08 c nodes : 563 (563 internal, 0 leaves)
3586.18/3597.08 c feasible leaves : 0
3586.18/3597.08 c infeas. leaves : 0
3586.18/3597.08 c objective leaves : 0
3586.18/3597.08 c nodes (total) : 563 (563 internal, 0 leaves)
3586.18/3597.08 c nodes left : 564
3586.18/3597.08 c max depth : 17
3586.18/3597.08 c max depth (total): 17
3586.18/3597.08 c backtracks : 281 (49.9%)
3586.18/3597.08 c early backtracks : 0 (0.0%)
3586.18/3597.08 c nodes exc. ref. : 0 (0.0%)
3586.18/3597.08 c delayed cutoffs : 0
3586.18/3597.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.18/3597.08 c avg switch length: 7.71
3586.18/3597.08 c switching time : 2.60
3586.18/3597.08 c Root Node :
3586.18/3597.08 c First LP value : -5.00000000000000e+02
3586.18/3597.08 c First LP Iters : 1049 (7547.69 Iter/sec)
3586.18/3597.08 c First LP Time : 0.14
3586.18/3597.08 c Final Dual Bound : -2.40975502196398e+02
3586.18/3597.08 c Final Root Iters : 326901
3586.18/3597.08 c Root LP Estimate : -7.73211421033609e+01
3586.18/3597.08 c Solution :
3586.18/3597.08 c Solutions found : 184 (4 improvements)
3586.18/3597.08 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.65 seconds, depth 0, found by <trivial>)
3586.18/3597.08 c Gap First Sol. : infinite
3586.18/3597.08 c Gap Last Sol. : 1233.33 %
3586.18/3597.08 c Primal Bound : -7.50000000000000e+01 (in run 1, after 1 nodes, 1.83 seconds, depth 0, found by <oneopt>)
3586.18/3597.08 c Dual Bound : -2.40102876291314e+02
3586.18/3597.08 c Gap : 220.14 %
3586.18/3597.08 c Integrals : Total Avg%
3586.18/3597.08 c primal-dual : 248680.96 69.14
3586.18/3597.08 c primal-ref : - - (not evaluated)
3586.18/3597.08 c dual-ref : - - (not evaluated)
3586.56/3597.49 c Time complete: 3586.66.
OK -75
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: 63837 MiB (62611 MiB free)
memory of node 1: 64465 MiB (63731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498165-1751268244/watcher-4498165-1751268244 -o /tmp/evaluation-result-4498165-1751268244/solver-4498165-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751268232-33084 --watchdog 3760 pbscip -f HOME/instance-4498165-1751268244.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33278, runsolver pid=33275
[startup+0.100061 s]*
/proc/loadavg: 1.07 0.30 0.16 5/251 33279
/proc/meminfo: memFree=129335956/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=58480 memory=30976 CPUtime=0.06 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 4725 0 0 0 5 1 0 0 20 0 1 0 42503141 59883520 7744 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 14620 7744 3328 3530 0 6071 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 58480 KiB
Current children cumulated memory: 30976 KiB
[startup+0.215808 s]*
/proc/loadavg: 1.07 0.30 0.16 6/251 33279
/proc/meminfo: memFree=129296644/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=79800 memory=51584 CPUtime=0.16 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 9873 0 0 0 13 3 0 0 20 0 1 0 42503141 81715200 12896 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 19950 12896 3328 3530 0 11401 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 79800 KiB
Current children cumulated memory: 51584 KiB
[startup+0.315822 s]*
/proc/loadavg: 1.07 0.30 0.16 6/251 33279
/proc/meminfo: memFree=129272704/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=99448 memory=70528 CPUtime=0.26 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 14621 0 0 0 21 5 0 0 20 0 1 0 42503141 101834752 17632 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 24862 17632 3328 3530 0 16313 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 99448 KiB
Current children cumulated memory: 70528 KiB
[startup+0.700311 s]
/proc/loadavg: 1.07 0.30 0.16 5/251 33279
/proc/meminfo: memFree=129214004/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=179008 memory=151324 CPUtime=0.63 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 35118 0 0 0 51 12 0 0 20 0 1 0 42503141 183304192 37831 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 44840 37831 3616 3530 0 36291 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 179008 KiB
Current children cumulated memory: 151324 KiB
[startup+1.5003 s]
/proc/loadavg: 1.07 0.30 0.16 5/251 33279
/proc/meminfo: memFree=129141680/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=226888 memory=195740 CPUtime=1.42 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 46319 0 0 0 127 15 0 0 20 0 1 0 42503141 232333312 48935 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 56722 48935 3680 3530 0 48173 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 226888 KiB
Current children cumulated memory: 195740 KiB
[startup+3.11406 s]
/proc/loadavg: 1.07 0.30 0.16 5/252 33280
/proc/meminfo: memFree=129027480/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=289164 memory=245096 CPUtime=3.03 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 61959 0 0 0 285 18 0 0 20 0 1 0 42503141 296103936 61274 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 72291 61274 3904 3530 0 63742 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 289164 KiB
Current children cumulated memory: 245096 KiB
[startup+6.30022 s]
/proc/loadavg: 1.31 0.36 0.18 5/252 33280
/proc/meminfo: memFree=129003288/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=313024 memory=255200 CPUtime=6.21 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 64819 0 0 0 602 19 0 0 20 0 1 0 42503141 320536576 63800 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 78256 63800 3904 3530 0 69707 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 313024 KiB
Current children cumulated memory: 255200 KiB
[startup+12.7002 s]
/proc/loadavg: 1.52 0.42 0.20 5/252 33280
/proc/meminfo: memFree=128971284/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=343588 memory=271200 CPUtime=12.59 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 68820 0 0 0 1240 19 0 0 20 0 1 0 42503141 351834112 67800 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 85897 67800 3904 3530 0 77348 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 343588 KiB
Current children cumulated memory: 271200 KiB
[startup+25.5002 s]
/proc/loadavg: 2.07 0.60 0.26 5/252 33280
/proc/meminfo: memFree=128919876/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=364256 memory=274144 CPUtime=25.35 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 69542 0 0 0 2516 19 0 0 20 0 1 0 42503141 372998144 68536 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 91064 68536 3904 3530 0 82515 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 364256 KiB
Current children cumulated memory: 274144 KiB
[startup+51.1141 s]
/proc/loadavg: 2.80 0.89 0.37 5/252 33281
/proc/meminfo: memFree=128893352/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=389220 memory=281312 CPUtime=50.9 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 71329 0 0 0 5070 20 0 0 20 0 1 0 42503141 398561280 70328 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 97305 70328 3904 3530 0 88756 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 389220 KiB
Current children cumulated memory: 281312 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 1.40 0.57 5/252 33283
/proc/meminfo: memFree=128747152/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=400076 memory=292448 CPUtime=101.94 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 74111 0 0 0 10174 20 0 0 20 0 1 0 42503141 409677824 73112 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 100019 73112 3904 3530 0 91470 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 400076 KiB
Current children cumulated memory: 292448 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.89 0.79 5/252 33285
/proc/meminfo: memFree=128587240/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=415532 memory=307680 CPUtime=161.77 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 77930 0 0 0 16156 21 0 0 20 0 1 0 42503141 425504768 76920 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 103883 76920 3904 3530 0 95334 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 415532 KiB
Current children cumulated memory: 307680 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.29 1.00 5/252 33287
/proc/meminfo: memFree=128432276/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=456444 memory=348384 CPUtime=221.61 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 88106 0 0 0 22138 23 0 0 20 0 1 0 42503141 467398656 87096 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 114111 87096 3904 3530 0 105562 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 456444 KiB
Current children cumulated memory: 348384 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.62 1.20 5/252 33289
/proc/meminfo: memFree=128375936/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=471112 memory=364344 CPUtime=281.44 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 100591 0 0 0 28118 26 0 0 20 0 1 0 42503141 482418688 91086 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 117778 91086 4000 3530 0 109229 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 471112 KiB
Current children cumulated memory: 364344 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.91 1.39 5/250 33292
/proc/meminfo: memFree=128240716/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=471112 memory=364344 CPUtime=341.27 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 100593 0 0 0 34101 26 0 0 20 0 1 0 42503141 482418688 91086 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 117778 91086 4000 3530 0 109229 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 471112 KiB
Current children cumulated memory: 364344 KiB
[startup+402.3 s]
/proc/loadavg: 4.79 3.32 1.63 5/250 33294
/proc/meminfo: memFree=128115008/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=471112 memory=364344 CPUtime=401.07 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 100593 0 0 0 40081 26 0 0 20 0 1 0 42503141 482418688 91086 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 117778 91086 4000 3530 0 109229 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 471112 KiB
Current children cumulated memory: 364344 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 3.46 1.78 5/250 33295
/proc/meminfo: memFree=128020336/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=471716 memory=364344 CPUtime=460.86 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 100598 0 0 0 46060 26 0 0 20 0 1 0 42503141 483037184 91086 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 117929 91086 4000 3530 0 109380 0
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.01 5/250 33570
/proc/meminfo: memFree=126293412/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1703152 memory=1013748 CPUtime=3152.83 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 194316 0 0 0 315237 46 0 0 20 0 1 0 42503141 1744027648 253437 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 425788 253437 4000 3530 0 417239 0
Current children cumulated CPU time: 3152.83 s
Current children cumulated vsize: 1703152 KiB
Current children cumulated memory: 1013748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.57 4.22 4.06 5/250 33572
/proc/meminfo: memFree=126204324/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1711424 memory=1063924 CPUtime=3212.63 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 194709 0 0 0 321217 46 0 0 20 0 1 0 42503141 1752498176 265981 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 427856 265981 4000 3530 0 419307 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 1711424 KiB
Current children cumulated memory: 1063924 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.26 4.09 5/250 33574
/proc/meminfo: memFree=126135224/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1726748 memory=1114740 CPUtime=3272.42 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 194990 0 0 0 327196 46 0 0 20 0 1 0 42503141 1768189952 278685 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 431687 278685 4000 3530 0 423138 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 1726748 KiB
Current children cumulated memory: 1114740 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.23 4.09 5/250 33576
/proc/meminfo: memFree=126062080/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1750176 memory=1160564 CPUtime=3332.23 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 195486 0 0 0 333176 47 0 0 20 0 1 0 42503141 1792180224 290141 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 437544 290141 4000 3530 0 428995 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 1750176 KiB
Current children cumulated memory: 1160564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.22 4.09 5/249 33578
/proc/meminfo: memFree=125985316/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1779168 memory=1226740 CPUtime=3392.02 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 196683 0 0 0 339155 47 0 0 20 0 1 0 42503141 1821868032 306685 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 444792 306685 4000 3530 0 436243 0
Current children cumulated CPU time: 3392.02 s
Current children cumulated vsize: 1779168 KiB
Current children cumulated memory: 1226740 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.17 4.09 5/249 33580
/proc/meminfo: memFree=125883668/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1790164 memory=1272180 CPUtime=3451.84 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 196789 0 0 0 345137 47 0 0 20 0 1 0 42503141 1833127936 318045 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 447541 318045 4000 3530 0 438992 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 1790164 KiB
Current children cumulated memory: 1272180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.09 5/249 33582
/proc/meminfo: memFree=125770104/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1816328 memory=1323764 CPUtime=3511.67 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 197871 0 0 0 351120 47 0 0 20 0 1 0 42503141 1859919872 330941 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 454082 330941 4000 3530 0 445533 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 1816328 KiB
Current children cumulated memory: 1323764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/249 33584
/proc/meminfo: memFree=125696076/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1822652 memory=1385820 CPUtime=3571.51 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 198303 0 0 0 357104 47 0 0 20 0 1 0 42503141 1866395648 346455 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 455663 346455 4000 3530 0 447114 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 1822652 KiB
Current children cumulated memory: 1385820 KiB
[startup+3597.5 s]
# the end of solver process 33278 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.19 s, system=0.484642 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.09 5/249 33584
/proc/meminfo: memFree=125696580/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1822652 memory=1385820 CPUtime=3573.21 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 198303 0 0 0 357274 47 0 0 20 0 1 0 42503141 1866395648 346455 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 455663 346455 4000 3530 0 447114 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 1822652 KiB
Current children cumulated memory: 1385820 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33584
/proc/meminfo: memFree=125688900/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1822652 memory=1396060 CPUtime=3579.58 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 198318 0 0 0 357911 47 0 0 20 0 1 0 42503141 1866395648 349015 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 455663 349015 4000 3530 0 447114 0
Current children cumulated CPU time: 3579.58 s
Current children cumulated vsize: 1822652 KiB
Current children cumulated memory: 1396060 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33584
/proc/meminfo: memFree=125689152/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1822652 memory=1396060 CPUtime=3582.77 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 198326 0 0 0 358230 47 0 0 20 0 1 0 42503141 1866395648 349015 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 455663 349015 4000 3530 0 447114 0
Current children cumulated CPU time: 3582.77 s
Current children cumulated vsize: 1822652 KiB
Current children cumulated memory: 1396060 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33584
/proc/meminfo: memFree=125688900/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1822652 memory=1396060 CPUtime=3584.37 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 198326 0 0 0 358390 47 0 0 20 0 1 0 42503141 1866395648 349015 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 455663 349015 4000 3530 0 447114 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 1822652 KiB
Current children cumulated memory: 1396060 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33585
/proc/meminfo: memFree=125680708/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1822652 memory=1402844 CPUtime=3585.97 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 198404 0 0 0 358550 47 0 0 20 0 1 0 42503141 1866395648 350711 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 455663 350711 4000 3530 0 447114 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 1822652 KiB
Current children cumulated memory: 1402844 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33585
/proc/meminfo: memFree=125680708/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1822652 memory=1403228 CPUtime=3586.36 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 198527 0 0 0 358589 47 0 0 20 0 1 0 42503141 1866395648 350807 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 455663 350807 4000 3530 0 447114 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 1822652 KiB
Current children cumulated memory: 1403228 KiB
[startup+3597.4 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 33585
/proc/meminfo: memFree=125680708/131382120 swapFree=33010684/33010684
[pid=33278] ppid=33275 vsize=1822652 memory=1403228 CPUtime=3586.56 cores=0,2
/proc/33278/stat : 33278 (pbscip) R 33275 33278 33067 0 -1 4194304 198535 0 0 0 358609 47 0 0 20 0 1 0 42503141 1866395648 350807 18446744073709551615 4235264 18693293 140724781508208 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46895104 140724781517193 140724781517292 140724781517292 140724781522894 0
/proc/33278/statm: 455663 350807 4000 3530 0 447114 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 1822652 KiB
Current children cumulated memory: 1403228 KiB
Child status: 0
Real time (s): 3597.5
CPU time (s): 3586.68
CPU user time (s): 3586.19
CPU system time (s): 0.484642
CPU usage (%): 99.6991
Max. virtual memory (cumulated for all children) (KiB): 1822652
Max. memory (cumulated for all children) (KiB): 1403228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.19
system time used= 0.484642
maximum resident set size= 1403228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198644
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= 112
involuntary context switches= 8072
# summary of solver processes directly reported to runsolver:
# pid: 33278
# total CPU time (s): 3586.68
# total CPU user time (s): 3586.19
# total CPU system time (s): 0.484642
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.4015 second user time and 32.2199 second system time
The end
Begin job on nodeC003 at 2025-06-30 09:24:04 IDJOB=4498165 IDBENCH=148537 IDSOLVER=3365 FILE ID=nodeC003/4498165-1751268244 RUNJOBID= nodeC003-1751268232-33084 SLURM_JOB_ID= 9594170 Free space on /tmp= 432700 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498165-1751268244/watcher-4498165-1751268244 -o /tmp/evaluation-result-4498165-1751268244/solver-4498165-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751268232-33084 --watchdog 3760 pbscip -f HOME/instance-4498165-1751268244.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e57f143ec316384ecd8a4071d2e7f39 RANDOM SEED=1449179163 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 1197.470 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 1196.636 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 1197.160 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 1197.148 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 3660.227 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 1197.155 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 1197.220 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 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 : 0xb00001f cpu MHz : 1197.413 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129428180 kB MemAvailable: 129886644 kB Buffers: 3280 kB Cached: 1264616 kB SwapCached: 0 kB Active: 402552 kB Inactive: 1015368 kB Active(anon): 168000 kB Inactive(anon): 0 kB Active(file): 234552 kB Inactive(file): 1015368 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 76396 kB Writeback: 0 kB AnonPages: 153436 kB Mapped: 123888 kB Shmem: 17960 kB KReclaimable: 96340 kB Slab: 179000 kB SReclaimable: 96340 kB SUnreclaim: 82660 kB KernelStack: 3984 kB PageTables: 3200 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 476964 kB VmallocTotal: 34359738367 kB VmallocUsed: 149320 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432680 MiB End job on nodeC003 at 2025-06-30 10:24:02