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 | -2509 | 3586.88 | 3597.31 |
| Name | PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_2017.opb |
| MD5SUM | 37df5ddf0b76834adc52c19dbb6544de |
| 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 | -2873 |
| Best CPU time to get the best result obtained on this benchmark | 3600.15 |
| 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 | 252 |
| Total number of constraints | 252 |
| Number of constraints which are clauses | 210 |
| Number of constraints which are cardinality constraints (but not clauses) | 21 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 229 |
| Number of terms in the objective function | 1749 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 90942 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 29129 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 281465 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 3456 |
| Sum of products size (including duplicates) | 6912 |
| Number of different products | 1728 |
| Sum of products size | 3456 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4524430-1751272589.opb>
0.00/0.04 c original problem has 3708 variables (252 bin, 0 int, 3456 impl, 0 cont) and 3729 constraints
0.00/0.04 c problem read in 0.02
0.00/0.06 c presolving:
0.00/0.07 c (round 1, fast) 1 del vars, 2 del conss, 1 add conss, 0 chg bounds, 39 chg sides, 1996 chg coeffs, 0 upgd conss, 0 impls, 7142 clqs
0.00/0.10 c (round 2, medium) 1 del vars, 3 del conss, 7 add conss, 0 chg bounds, 45 chg sides, 2008 chg coeffs, 0 upgd conss, 0 impls, 8450 clqs
0.00/0.11 c (round 3, fast) 1 del vars, 1515 del conss, 7 add conss, 0 chg bounds, 45 chg sides, 2008 chg coeffs, 0 upgd conss, 0 impls, 8450 clqs
0.09/0.12 c (round 4, exhaustive) 417 del vars, 1517 del conss, 7 add conss, 0 chg bounds, 45 chg sides, 2008 chg coeffs, 0 upgd conss, 0 impls, 7618 clqs
0.09/0.13 c (round 5, medium) 417 del vars, 1721 del conss, 8 add conss, 0 chg bounds, 46 chg sides, 2010 chg coeffs, 0 upgd conss, 0 impls, 7618 clqs
0.09/0.15 c (round 6, exhaustive) 1937 del vars, 3657 del conss, 424 add conss, 0 chg bounds, 46 chg sides, 2010 chg coeffs, 0 upgd conss, 0 impls, 4578 clqs
0.09/0.16 c (round 7, fast) 1937 del vars, 4073 del conss, 424 add conss, 0 chg bounds, 46 chg sides, 2010 chg coeffs, 0 upgd conss, 0 impls, 4578 clqs
0.09/0.17 c (round 8, medium) 1937 del vars, 5608 del conss, 425 add conss, 0 chg bounds, 47 chg sides, 2012 chg coeffs, 0 upgd conss, 0 impls, 4578 clqs
0.09/0.18 c (round 9, exhaustive) 1937 del vars, 5608 del conss, 425 add conss, 0 chg bounds, 47 chg sides, 2012 chg coeffs, 230 upgd conss, 0 impls, 4578 clqs
0.09/0.18 c (round 10, fast) 1937 del vars, 5816 del conss, 425 add conss, 0 chg bounds, 47 chg sides, 2012 chg coeffs, 230 upgd conss, 0 impls, 4578 clqs
1.77/1.83 c (1.8s) probing: 1000/1770 (56.5%) - 0 fixings, 0 aggregations, 425182 implications, 0 bound changes
1.77/1.83 c (1.8s) probing: 1001/1770 (56.6%) - 0 fixings, 0 aggregations, 425623 implications, 0 bound changes
1.77/1.83 c (1.8s) probing aborted: 1000/1000 successive useless probings
1.77/1.83 c (1.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.77/1.84 c (1.8s) no symmetry present (symcode time: 0.00)
1.77/1.84 c presolving (11 rounds: 11 fast, 7 medium, 4 exhaustive):
1.77/1.84 c 1938 deleted vars, 5816 deleted constraints, 425 added constraints, 0 tightened bounds, 0 added holes, 48 changed sides, 2013 changed coefficients
1.77/1.84 c 0 implications, 14893 cliques
1.77/1.84 c presolved problem has 1770 variables (250 bin, 0 int, 1520 impl, 0 cont) and 3076 constraints
1.77/1.84 c 18 constraints of type <knapsack>
1.77/1.84 c 1538 constraints of type <setppc>
1.77/1.84 c 1520 constraints of type <and>
1.77/1.84 c transformed objective value is always integral (scale: 1)
1.77/1.84 c Presolving Time: 1.78
1.77/1.84 c - non default parameters ----------------------------------------------------------------------
1.77/1.84 c # SCIP version 10.0.0
1.77/1.84 c
1.77/1.84 c # maximal time in seconds to run
1.77/1.84 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.77/1.84 c limits/time = 3596.993168
1.77/1.84 c
1.77/1.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.77/1.84 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.77/1.84 c limits/memory = 27900
1.77/1.84 c
1.77/1.84 c # belongs reading time to solving time?
1.77/1.84 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.77/1.84 c timing/reading = TRUE
1.77/1.84 c
1.77/1.84 c -----------------------------------------------------------------------------------------------
1.77/1.84 c start solving
1.77/1.84 c
1.77/1.87 o -1077
1.77/1.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.77/1.87 c p 1.9s| 1 | 0 | 0 | - | clique| 0 |1770 |3076 |4596 | 0 | 0 | 0 | 0 |-9.094200e+04 |-1.077000e+03 |8344.01%| unknown
2.17/2.29 c 2.3s| 1 | 0 | 3460 | - | 39M | 0 |1770 |3083 |4596 | 0 | 0 | 7 | 0 |-1.059232e+04 |-1.077000e+03 | 883.50%| unknown
2.37/2.46 c 2.4s| 1 | 0 | 3652 | - | 43M | 0 |1770 |3126 |4736 | 140 | 1 | 50 | 0 |-1.018581e+04 |-1.077000e+03 | 845.76%| unknown
2.57/2.66 c 2.6s| 1 | 0 | 3790 | - | 57M | 0 |1770 |3136 |4795 | 199 | 2 | 60 | 0 |-1.011500e+04 |-1.077000e+03 | 839.18%| unknown
2.87/2.92 c 2.9s| 1 | 0 | 4014 | - | 59M | 0 |1770 |3146 |4845 | 249 | 3 | 70 | 0 |-1.005970e+04 |-1.077000e+03 | 834.05%| unknown
3.17/3.20 c 3.2s| 1 | 0 | 4255 | - | 65M | 0 |1770 |3147 |4919 | 323 | 4 | 71 | 0 |-9.988373e+03 |-1.077000e+03 | 827.43%| unknown
3.37/3.44 c 3.4s| 1 | 0 | 4301 | - | 66M | 0 |1770 |3156 |4933 | 337 | 5 | 80 | 0 |-9.984960e+03 |-1.077000e+03 | 827.11%| unknown
3.67/3.70 c 3.7s| 1 | 0 | 4402 | - | 67M | 0 |1770 |3166 |4961 | 365 | 6 | 90 | 0 |-9.958989e+03 |-1.077000e+03 | 824.70%| unknown
3.87/3.95 c 3.9s| 1 | 0 | 4510 | - | 68M | 0 |1770 |3176 |4976 | 380 | 7 | 100 | 0 |-9.947190e+03 |-1.077000e+03 | 823.60%| unknown
4.26/4.31 c 4.3s| 1 | 0 | 4712 | - | 70M | 0 |1770 |3184 |5025 | 429 | 8 | 108 | 0 |-9.912288e+03 |-1.077000e+03 | 820.36%| unknown
4.56/4.61 c 4.6s| 1 | 0 | 4874 | - | 70M | 0 |1770 |3185 |5038 | 442 | 9 | 109 | 0 |-9.901025e+03 |-1.077000e+03 | 819.32%| unknown
4.86/4.97 c 5.0s| 1 | 0 | 5161 | - | 71M | 0 |1770 |3195 |5104 | 508 | 10 | 119 | 0 |-9.888763e+03 |-1.077000e+03 | 818.18%| unknown
4.97/5.09 c 5.1s| 1 | 0 | 5422 | - | 72M | 0 |1770 |3205 |5156 | 580 | 11 | 129 | 0 |-9.869803e+03 |-1.077000e+03 | 816.42%| unknown
5.07/5.17 c 5.2s| 1 | 0 | 5496 | - | 72M | 0 |1770 |3205 |5179 | 603 | 12 | 129 | 0 |-9.854097e+03 |-1.077000e+03 | 814.96%| unknown
5.16/5.25 c 5.2s| 1 | 0 | 5547 | - | 73M | 0 |1770 |3215 |5197 | 621 | 13 | 139 | 0 |-9.847308e+03 |-1.077000e+03 | 814.33%| unknown
5.26/5.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.26/5.34 c 5.3s| 1 | 0 | 5704 | - | 73M | 0 |1770 |3225 |5222 | 646 | 14 | 149 | 0 |-9.835835e+03 |-1.077000e+03 | 813.26%| unknown
5.36/5.42 c 5.4s| 1 | 0 | 5764 | - | 74M | 0 |1770 |3235 |5279 | 703 | 15 | 159 | 0 |-9.832706e+03 |-1.077000e+03 | 812.97%| unknown
5.46/5.52 c 5.5s| 1 | 0 | 5925 | - | 75M | 0 |1770 |3245 |5300 | 724 | 16 | 169 | 0 |-9.822035e+03 |-1.077000e+03 | 811.98%| unknown
5.56/5.62 c 5.6s| 1 | 0 | 6104 | - | 75M | 0 |1770 |3253 |5408 | 888 | 17 | 177 | 0 |-9.811857e+03 |-1.077000e+03 | 811.04%| unknown
5.56/5.69 c 5.7s| 1 | 0 | 6202 | - | 76M | 0 |1770 |3253 |5422 | 902 | 18 | 177 | 0 |-9.806281e+03 |-1.077000e+03 | 810.52%| unknown
5.66/5.79 c 5.8s| 1 | 0 | 6412 | - | 76M | 0 |1770 |3263 |5441 | 921 | 19 | 187 | 0 |-9.800125e+03 |-1.077000e+03 | 809.95%| unknown
5.76/5.87 c 5.9s| 1 | 0 | 6532 | - | 77M | 0 |1770 |3273 |5558 |1038 | 20 | 197 | 0 |-9.796803e+03 |-1.077000e+03 | 809.64%| unknown
5.86/5.95 c 5.9s| 1 | 0 | 6698 | - | 77M | 0 |1770 |3283 |5571 |1051 | 21 | 207 | 0 |-9.794445e+03 |-1.077000e+03 | 809.42%| unknown
5.97/6.02 c 6.0s| 1 | 0 | 6845 | - | 77M | 0 |1770 |3293 |5645 |1125 | 22 | 217 | 0 |-9.790912e+03 |-1.077000e+03 | 809.09%| unknown
5.97/6.09 c 6.1s| 1 | 0 | 6904 | - | 77M | 0 |1770 |3303 |5588 |1139 | 23 | 227 | 0 |-9.789334e+03 |-1.077000e+03 | 808.94%| unknown
6.07/6.17 c 6.2s| 1 | 0 | 7138 | - | 77M | 0 |1770 |3312 |5601 |1152 | 24 | 236 | 0 |-9.785991e+03 |-1.077000e+03 | 808.63%| unknown
6.16/6.23 c 6.2s| 1 | 0 | 7197 | - | 77M | 0 |1770 |3322 |5615 |1166 | 25 | 246 | 0 |-9.784919e+03 |-1.077000e+03 | 808.53%| unknown
6.16/6.27 c 6.3s| 1 | 0 | 7229 | - | 77M | 0 |1770 |3322 |5626 |1177 | 26 | 246 | 0 |-9.784789e+03 |-1.077000e+03 | 808.52%| unknown
6.26/6.37 c 6.4s| 1 | 0 | 7550 | - | 77M | 0 |1770 |3332 |5917 |1468 | 27 | 256 | 0 |-9.779844e+03 |-1.077000e+03 | 808.06%| unknown
6.36/6.42 c 6.4s| 1 | 0 | 7554 | - | 77M | 0 |1770 |3342 |5929 |1480 | 28 | 266 | 0 |-9.779821e+03 |-1.077000e+03 | 808.06%| unknown
6.46/6.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.46/6.51 c 6.5s| 1 | 0 | 7784 | - | 77M | 0 |1770 |3352 |5826 |1496 | 29 | 276 | 0 |-9.778925e+03 |-1.077000e+03 | 807.98%| unknown
6.46/6.55 c 6.5s| 1 | 0 | 7847 | - | 78M | 0 |1770 |3362 |5873 |1543 | 30 | 286 | 0 |-9.778507e+03 |-1.077000e+03 | 807.94%| unknown
6.55/6.62 c 6.6s| 1 | 0 | 8072 | - | 78M | 0 |1770 |3370 |5903 |1573 | 31 | 294 | 0 |-9.777967e+03 |-1.077000e+03 | 807.89%| unknown
6.55/6.66 c 6.6s| 1 | 0 | 8112 | - | 78M | 0 |1770 |3380 |6000 |1670 | 32 | 304 | 0 |-9.777731e+03 |-1.077000e+03 | 807.87%| unknown
6.65/6.76 c 6.7s| 1 | 0 | 8445 | - | 78M | 0 |1770 |3390 |6009 |1679 | 33 | 314 | 0 |-9.777152e+03 |-1.077000e+03 | 807.81%| unknown
6.76/6.88 c 6.9s| 1 | 0 | 8889 | - | 78M | 0 |1770 |3400 |6096 |1766 | 34 | 324 | 0 |-9.776897e+03 |-1.077000e+03 | 807.79%| unknown
6.86/6.96 c 6.9s| 1 | 0 | 9092 | - | 78M | 0 |1770 |3410 |6062 |1808 | 35 | 334 | 0 |-9.776725e+03 |-1.077000e+03 | 807.77%| unknown
6.97/7.02 c 7.0s| 1 | 0 | 9170 | - | 78M | 0 |1770 |3420 |6138 |1884 | 36 | 344 | 0 |-9.776694e+03 |-1.077000e+03 | 807.77%| unknown
6.97/7.10 c 7.1s| 1 | 0 | 9319 | - | 78M | 0 |1770 |3430 |6171 |1917 | 37 | 354 | 0 |-9.776653e+03 |-1.077000e+03 | 807.77%| unknown
7.66/7.71 o -2350
7.66/7.71 c d 7.7s| 1 | 0 | 13018 | - |farkasdi| 0 |1770 |3446 |6171 | 0 | 37 | 370 | 0 |-9.776653e+03 |-2.350000e+03 | 316.03%| unknown
8.76/8.81 c 8.8s| 1 | 0 | 22149 | - | 79M | 0 |1770 |3466 |6171 |1917 | 37 | 390 | 0 |-9.776653e+03 |-2.350000e+03 | 316.03%| unknown
8.76/8.89 c 8.9s| 1 | 0 | 22307 | - | 79M | 0 |1770 |3466 |6226 |1972 | 38 | 390 | 0 |-9.776621e+03 |-2.350000e+03 | 316.03%| unknown
8.85/8.91 c 8.9s| 1 | 0 | 22315 | - | 79M | 0 |1770 |3476 |6101 |1974 | 39 | 400 | 0 |-9.776620e+03 |-2.350000e+03 | 316.03%| unknown
13.14/13.24 c 13.2s| 1 | 2 | 22315 | - | 79M | 0 |1770 |3486 |6101 |1974 | 39 | 410 | 25 |-9.460127e+03 |-2.350000e+03 | 302.56%| unknown
39.27/39.43 c 39.4s| 100 | 11 | 38103 | 289.1 | 113M | 18 |1770 |3525 |6048 |2681 | 3 | 451 | 242 |-9.460127e+03 |-2.350000e+03 | 302.56%| 0.61%
45.45/45.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.45/45.68 c 45.7s| 200 | 19 | 53407 | 220.7 | 121M | 19 |1770 |3534 |6194 |3243 | 2 | 461 | 253 |-9.103121e+03 |-2.350000e+03 | 287.37%| 1.10%
45.65/45.83 o -2445
45.65/45.83 c L45.8s| 201 | 18 | 53430 | 219.7 |crossove| 19 |1770 |3534 |6194 |3243 | 0 | 461 | 253 |-9.103121e+03 |-2.445000e+03 | 272.32%| 1.10%
54.52/54.73 c 54.7s| 300 | 42 | 77918 | 228.9 | 139M | 20 |1770 |3596 |6332 |3976 | 6 | 528 | 281 |-8.537863e+03 |-2.445000e+03 | 249.20%| 2.18%
74.57/74.87 c 74.9s| 400 | 124 |137089 | 319.8 | 203M | 24 |1770 |3646 |6196 |4963 | 1 | 585 | 317 |-8.502001e+03 |-2.445000e+03 | 247.73%| 2.33%
130.11/130.52 c 131s| 500 | 224 |302258 | 586.7 | 269M | 24 |1770 |3861 |6607 |6909 | 2 | 822 | 359 |-8.367168e+03 |-2.445000e+03 | 242.22%| 2.79%
190.56/191.12 c 191s| 600 | 324 |564986 | 927.4 | 309M | 24 |1770 |4094 |6647 |8369 | 7 |1082 | 410 |-7.824679e+03 |-2.445000e+03 | 220.03%| 2.93%
230.74/231.45 c 231s| 700 | 424 |766527 |1083.0 | 316M | 26 |1770 |4289 |6834 |9243 | 2 |1323 | 448 |-7.707893e+03 |-2.445000e+03 | 215.25%| 3.20%
283.99/284.87 c 285s| 800 | 524 |984731 |1220.6 | 340M | 26 |1770 |4494 |6961 | 10k| 2 |1578 | 497 |-7.572046e+03 |-2.445000e+03 | 209.70%| 3.25%
341.16/342.14 c 342s| 900 | 624 | 1216k|1342.6 | 377M | 26 |1770 |4748 |6908 | 11k| 2 |1918 | 531 |-7.388433e+03 |-2.445000e+03 | 202.19%| 3.62%
394.26/395.45 c 395s| 1000 | 720 | 1421k|1413.4 | 418M | 26 |1770 |4978 |6743 | 13k| 8 |2242 | 531 |-7.132668e+03 |-2.445000e+03 | 191.72%| 4.76%
445.09/446.47 c 446s| 1100 | 820 | 1619k|1465.1 | 439M | 26 |1770 |5140 |6407 | 15k| 2 |2511 | 573 |-7.116966e+03 |-2.445000e+03 | 191.08%| 4.82%
501.62/503.14 c 503s| 1200 | 920 | 1862k|1545.6 | 478M | 26 |1770 |5304 |6996 | 17k| 2 |2781 | 576 |-7.075147e+03 |-2.445000e+03 | 189.37%| 4.95%
555.03/556.72 c 557s| 1300 | 1020 | 2080k|1594.4 | 513M | 27 |1770 |5442 |6850 | 19k| 3 |3058 | 585 |-6.979305e+03 |-2.445000e+03 | 185.45%| 5.02%
601.30/603.11 c 603s| 1400 | 1120 | 2286k|1627.4 | 531M | 28 |1770 |5547 |7054 | 20k| 2 |3324 | 618 |-6.951075e+03 |-2.445000e+03 | 184.30%| 5.04%
632.81/634.77 o -2488
632.81/634.77 c d 635s| 1475 | 1195 | 2404k|1625.1 |farkasdi| 35 |1770 |5575 |6691 | 0 | 2 |3470 | 679 |-6.906309e+03 |-2.488000e+03 | 177.58%| 5.18%
642.38/644.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
642.38/644.33 c 644s| 1500 | 1220 | 2449k|1628.0 | 556M | 36 |1770 |5611 |6741 | 22k| 2 |3534 | 683 |-6.906309e+03 |-2.488000e+03 | 177.58%| 5.19%
685.88/687.91 c 688s| 1600 | 1320 | 2633k|1641.1 | 568M | 36 |1770 |5753 |6963 | 23k| 3 |3764 | 697 |-6.906309e+03 |-2.488000e+03 | 177.58%| 5.22%
715.20/717.34 c 717s| 1700 | 1420 | 2780k|1631.0 | 588M | 36 |1770 |5777 |6982 | 24k| 2 |3906 | 700 |-6.906309e+03 |-2.488000e+03 | 177.58%| 5.24%
769.87/772.13 c 772s| 1800 | 1520 | 3000k|1662.4 | 627M | 36 |1770 |5844 |6794 | 26k| 1 |4075 | 710 |-6.906309e+03 |-2.488000e+03 | 177.58%| 5.26%
827.80/830.26 c 830s| 1900 | 1620 | 3220k|1690.7 | 640M | 36 |1770 |5955 |6864 | 30k| 1 |4314 | 712 |-6.813173e+03 |-2.488000e+03 | 173.84%| 5.29%
877.50/880.07 c 880s| 2000 | 1720 | 3434k|1713.5 | 699M | 36 |1770 |6026 |6730 | 32k| 2 |4510 | 730 |-6.678214e+03 |-2.488000e+03 | 168.42%| 5.31%
913.80/916.43 c 916s| 2100 | 1818 | 3604k|1712.7 | 705M | 36 |1770 |6047 |7101 | 33k| 2 |4655 | 752 |-6.671083e+03 |-2.488000e+03 | 168.13%| 5.37%
950.00/952.71 c 953s| 2200 | 1918 | 3761k|1706.1 | 712M | 36 |1770 |6208 |6976 | 34k| 1 |4940 | 797 |-6.608090e+03 |-2.488000e+03 | 165.60%| 5.38%
986.61/989.45 c 989s| 2300 | 2016 | 3930k|1705.3 | 723M | 36 |1770 |6220 |6710 | 36k| 1 |5093 | 798 |-6.570893e+03 |-2.488000e+03 | 164.10%| 5.70%
1015.34/1018.21 c 1018s| 2400 | 2116 | 4084k|1698.7 | 740M | 36 |1770 |6262 |6776 | 36k| 2 |5258 | 820 |-6.561925e+03 |-2.488000e+03 | 163.74%| 5.71%
1047.46/1050.47 c 1050s| 2500 | 2216 | 4249k|1696.7 | 744M | 36 |1770 |6236 |6910 | 38k| 2 |5357 | 824 |-6.561925e+03 |-2.488000e+03 | 163.74%| 5.74%
1084.17/1087.28 c 1087s| 2600 | 2314 | 4427k|1700.1 | 783M | 36 |1770 |6306 |6873 | 39k| 1 |5570 | 834 |-6.537748e+03 |-2.488000e+03 | 162.77%| 5.77%
1117.89/1121.04 c 1121s| 2700 | 2414 | 4603k|1702.0 | 785M | 36 |1770 |6301 |6746 | 40k| 1 |5709 | 837 |-6.537748e+03 |-2.488000e+03 | 162.77%| 5.79%
1155.49/1158.79 c 1159s| 2800 | 2514 | 4780k|1704.4 | 789M | 36 |1770 |6307 |6909 | 41k| 2 |5850 | 869 |-6.537748e+03 |-2.488000e+03 | 162.77%| 5.81%
1164.67/1167.97 o -2509
1164.67/1167.97 c d1168s| 2825 | 2539 | 4834k|1708.5 |farkasdi| 36 |1770 |6296 |6806 | 0 | 1 |5868 | 869 |-6.537748e+03 |-2.509000e+03 | 160.57%| 5.82%
1188.41/1191.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1188.41/1191.72 c 1192s| 2900 | 2614 | 4959k|1707.4 | 793M | 36 |1770 |6383 |6914 | 42k| 1 |6046 | 869 |-6.537748e+03 |-2.509000e+03 | 160.57%| 5.83%
1223.32/1226.79 c 1227s| 3000 | 2714 | 5135k|1709.4 | 798M | 36 |1770 |6370 |6874 | 43k| 1 |6160 | 873 |-6.520424e+03 |-2.509000e+03 | 159.88%| 5.85%
1259.64/1263.11 c 1263s| 3100 | 2814 | 5319k|1713.3 | 805M | 36 |1770 |6428 |6841 | 45k| 2 |6346 | 877 |-6.482878e+03 |-2.509000e+03 | 158.38%| 5.86%
1308.00/1311.63 c 1312s| 3200 | 2914 | 5502k|1716.9 | 814M | 36 |1770 |6380 |7036 | 47k| 1 |6445 | 900 |-6.443945e+03 |-2.509000e+03 | 156.83%| 5.87%
1337.63/1341.32 c 1341s| 3300 | 3014 | 5628k|1703.3 | 817M | 36 |1770 |6462 |7033 | 48k| 2 |6660 | 966 |-6.443945e+03 |-2.509000e+03 | 156.83%| 5.88%
1358.78/1362.53 c 1363s| 3400 | 3114 | 5746k|1687.9 | 839M | 36 |1770 |6491 |6890 | 48k| 1 |6802 | 969 |-6.443945e+03 |-2.509000e+03 | 156.83%| 5.89%
1404.47/1408.36 c 1408s| 3500 | 3212 | 5945k|1696.4 | 885M | 36 |1770 |6555 |6927 | 50k| 2 |6995 | 970 |-6.439713e+03 |-2.509000e+03 | 156.66%| 5.97%
1436.99/1440.90 c 1441s| 3600 | 3310 | 6106k|1694.0 | 888M | 36 |1770 |6534 |6816 | 51k| 16 |7148 |1009 |-6.435705e+03 |-2.509000e+03 | 156.50%| 5.99%
1469.70/1473.79 c 1474s| 3700 | 3410 | 6269k|1692.4 | 894M | 36 |1770 |6494 |6855 | 53k| 2 |7260 |1009 |-6.433172e+03 |-2.509000e+03 | 156.40%| 6.00%
1522.88/1527.04 c 1527s| 3800 | 3510 | 6474k|1701.8 | 905M | 36 |1770 |6595 |6985 | 55k| 1 |7514 |1009 |-6.418815e+03 |-2.509000e+03 | 155.83%| 6.01%
1556.69/1561.00 c 1561s| 3900 | 3610 | 6652k|1703.7 | 911M | 36 |1770 |6625 |6935 | 56k| 1 |7688 |1010 |-6.373466e+03 |-2.509000e+03 | 154.02%| 6.02%
1593.09/1597.43 c 1597s| 4000 | 3710 | 6820k|1703.1 | 938M | 36 |1770 |6630 |7048 | 58k| 1 |7835 |1015 |-6.320466e+03 |-2.509000e+03 | 151.91%| 6.04%
1617.43/1621.82 c 1622s| 4100 | 3810 | 6963k|1696.4 | 939M | 37 |1770 |6634 |7008 | 59k| 1 |7956 |1025 |-6.315911e+03 |-2.509000e+03 | 151.73%| 6.05%
1643.46/1647.97 c 1648s| 4200 | 3910 | 7100k|1688.8 | 940M | 37 |1770 |6649 |6607 | 60k| 2 |8093 |1025 |-6.279814e+03 |-2.509000e+03 | 150.29%| 6.06%
1671.39/1675.90 c 1676s| 4300 | 4010 | 7247k|1683.7 | 941M | 37 |1770 |6685 |7028 | 60k| 2 |8264 |1037 |-6.272115e+03 |-2.509000e+03 | 149.98%| 6.07%
1712.59/1717.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1712.59/1717.22 c 1717s| 4400 | 4110 | 7410k|1682.5 | 993M | 37 |1770 |6610 |6963 | 62k| 1 |8335 |1071 |-6.242701e+03 |-2.509000e+03 | 148.81%| 6.09%
1742.99/1747.74 c 1748s| 4500 | 4210 | 7568k|1680.1 | 994M | 37 |1770 |6644 |6952 | 63k| 4 |8515 |1078 |-6.220937e+03 |-2.509000e+03 | 147.94%| 6.10%
1764.12/1768.92 c 1769s| 4600 | 4310 | 7694k|1671.0 | 996M | 37 |1770 |6744 |6994 | 64k| 1 |8747 |1078 |-6.187571e+03 |-2.509000e+03 | 146.62%| 6.11%
1788.53/1793.45 c 1793s| 4700 | 4410 | 7818k|1661.9 | 997M | 37 |1770 |6849 |6893 | 64k| 2 |9008 |1121 |-6.187571e+03 |-2.509000e+03 | 146.62%| 6.12%
1823.32/1828.38 c 1828s| 4800 | 4508 | 7982k|1661.5 | 1003M | 37 |1770 |6870 |6793 | 65k| 1 |9171 |1121 |-6.187571e+03 |-2.509000e+03 | 146.62%| 6.14%
1843.55/1848.66 c 1849s| 4900 | 4608 | 8109k|1653.5 | 1005M | 37 |1770 |6899 |6987 | 66k| 1 |9331 |1136 |-6.187571e+03 |-2.509000e+03 | 146.62%| 6.15%
1868.57/1873.79 c 1874s| 5000 | 4708 | 8240k|1646.5 | 1006M | 37 |1770 |6924 |6721 | 67k| 11 |9501 |1136 |-6.182056e+03 |-2.509000e+03 | 146.40%| 6.16%
1898.57/1903.87 c 1904s| 5100 | 4808 | 8402k|1646.0 | 1010M | 37 |1770 |7016 |6865 | 68k| 1 |9745 |1138 |-6.156826e+03 |-2.509000e+03 | 145.39%| 6.17%
1924.88/1930.20 c 1930s| 5200 | 4906 | 8555k|1643.8 | 1012M | 37 |1770 |7085 |6749 | 68k| 2 |9969 |1138 |-6.117213e+03 |-2.509000e+03 | 143.81%| 6.19%
1950.10/1955.51 c 1955s| 5300 | 5006 | 8693k|1638.8 | 1014M | 37 |1770 |7097 |7020 | 69k| 2 | 10k|1157 |-6.117213e+03 |-2.509000e+03 | 143.81%| 6.20%
1975.11/1980.66 c 1981s| 5400 | 5106 | 8824k|1632.6 | 1018M | 37 |1770 |7106 |6819 | 70k| 1 | 10k|1158 |-6.117213e+03 |-2.509000e+03 | 143.81%| 6.21%
2003.22/2008.87 c 2009s| 5500 | 5206 | 8958k|1627.3 | 1019M | 37 |1770 |7037 |6926 | 71k| 2 | 10k|1176 |-6.117213e+03 |-2.509000e+03 | 143.81%| 6.22%
2029.73/2035.43 c 2035s| 5600 | 5306 | 9094k|1622.7 | 1020M | 37 |1770 |6987 |6814 | 72k| 2 | 10k|1177 |-6.117213e+03 |-2.509000e+03 | 143.81%| 6.24%
2052.27/2058.03 c 2058s| 5700 | 5406 | 9222k|1616.6 | 1021M | 37 |1770 |6997 |6958 | 73k| 4 | 10k|1187 |-6.117213e+03 |-2.509000e+03 | 143.81%| 6.24%
2080.28/2086.14 c 2086s| 5800 | 5506 | 9377k|1615.5 | 1050M | 37 |1770 |7015 |6858 | 73k| 3 | 10k|1193 |-6.114125e+03 |-2.509000e+03 | 143.69%| 6.26%
2101.00/2106.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2101.00/2106.96 c 2107s| 5900 | 5606 | 9500k|1609.0 | 1052M | 37 |1770 |7104 |7071 | 74k| 2 | 11k|1194 |-6.114125e+03 |-2.509000e+03 | 143.69%| 6.27%
2131.49/2137.58 c 2138s| 6000 | 5706 | 9659k|1608.6 | 1052M | 37 |1770 |7080 |6906 | 75k| 3 | 11k|1209 |-6.114125e+03 |-2.509000e+03 | 143.69%| 6.28%
2158.60/2164.71 c 2165s| 6100 | 5806 | 9804k|1606.0 | 1056M | 37 |1770 |7150 |6983 | 76k| 2 | 11k|1209 |-6.114125e+03 |-2.509000e+03 | 143.69%| 6.29%
2188.91/2195.15 c 2195s| 6200 | 5906 | 9975k|1607.6 | 1064M | 37 |1770 |7176 |6974 | 77k| 2 | 11k|1209 |-6.114125e+03 |-2.509000e+03 | 143.69%| 6.30%
2220.20/2226.54 c 2227s| 6300 | 6006 | 10110k|1603.6 | 1066M | 37 |1770 |7169 |6858 | 78k| 2 | 11k|1288 |-6.114125e+03 |-2.509000e+03 | 143.69%| 6.31%
2243.23/2249.61 c 2250s| 6400 | 6106 | 10229k|1597.2 | 1127M | 37 |1770 |7173 |6888 | 78k| 1 | 11k|1292 |-6.109981e+03 |-2.509000e+03 | 143.52%| 6.32%
2266.25/2272.73 c 2273s| 6500 | 6206 | 10353k|1591.6 | 1129M | 37 |1770 |7104 |7022 | 79k| 4 | 11k|1292 |-6.109981e+03 |-2.509000e+03 | 143.52%| 6.33%
2291.36/2297.91 c 2298s| 6600 | 6306 | 10502k|1590.1 | 1130M | 37 |1770 |7172 |6921 | 80k| 2 | 12k|1292 |-6.088645e+03 |-2.509000e+03 | 142.67%| 6.33%
2315.29/2321.91 c 2322s| 6700 | 6406 | 10636k|1586.4 | 1131M | 37 |1770 |7117 |6990 | 81k| 4 | 12k|1292 |-6.088596e+03 |-2.509000e+03 | 142.67%| 6.34%
2337.81/2344.55 c 2345s| 6800 | 6502 | 10759k|1581.1 | 1135M | 37 |1770 |7077 |6950 | 81k| 1 | 12k|1292 |-6.088596e+03 |-2.509000e+03 | 142.67%| 6.36%
2362.62/2369.49 c 2369s| 6900 | 6602 | 10900k|1578.6 | 1136M | 37 |1770 |7043 |6944 | 82k| 1 | 12k|1292 |-6.082310e+03 |-2.509000e+03 | 142.42%| 6.37%
2387.05/2394.00 c 2394s| 7000 | 6700 | 11037k|1575.7 | 1137M | 37 |1770 |7060 |6762 | 83k| 2 | 12k|1292 |-6.072500e+03 |-2.509000e+03 | 142.03%| 6.40%
2417.06/2424.07 c 2424s| 7100 | 6800 | 11195k|1575.7 | 1140M | 37 |1770 |7056 |6958 | 84k| 2 | 12k|1307 |-6.058602e+03 |-2.509000e+03 | 141.47%| 6.41%
2440.47/2447.55 c 2448s| 7200 | 6900 | 11327k|1572.1 | 1143M | 37 |1770 |7006 |6915 | 84k| 1 | 12k|1309 |-6.042726e+03 |-2.509000e+03 | 140.84%| 6.42%
2466.59/2473.70 c 2474s| 7300 | 7000 | 11464k|1569.4 | 1146M | 37 |1770 |6987 |7207 | 85k| 5 | 13k|1324 |-6.042726e+03 |-2.509000e+03 | 140.84%| 6.43%
2502.66/2509.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2502.66/2509.93 c 2510s| 7400 | 7098 | 11625k|1570.0 | 1164M | 37 |1770 |7018 |6997 | 86k| 4 | 13k|1325 |-6.042726e+03 |-2.509000e+03 | 140.84%| 6.44%
2527.29/2534.61 c 2535s| 7500 | 7196 | 11759k|1566.8 | 1170M | 37 |1770 |7077 |6912 | 87k| 2 | 13k|1332 |-6.033350e+03 |-2.509000e+03 | 140.47%| 6.46%
2555.12/2562.57 c 2563s| 7600 | 7296 | 11919k|1567.3 | 1170M | 37 |1770 |7063 |6889 | 88k| 1 | 13k|1332 |-6.009188e+03 |-2.509000e+03 | 139.51%| 6.47%
2578.76/2586.22 c 2586s| 7700 | 7396 | 12065k|1565.9 | 1172M | 37 |1770 |7086 |6973 | 88k| 1 | 13k|1342 |-6.009188e+03 |-2.509000e+03 | 139.51%| 6.48%
2602.61/2610.18 c 2610s| 7800 | 7496 | 12198k|1562.9 | 1173M | 37 |1770 |7108 |6978 | 89k| 2 | 13k|1342 |-6.009188e+03 |-2.509000e+03 | 139.51%| 6.49%
2627.33/2634.92 c 2635s| 7900 | 7590 | 12333k|1560.2 | 1175M | 37 |1770 |7215 |6870 | 90k| 2 | 14k|1342 |-5.997091e+03 |-2.509000e+03 | 139.02%| 6.50%
2652.26/2659.94 c 2660s| 8000 | 7690 | 12467k|1557.4 | 1178M | 37 |1770 |7249 |6862 | 90k| 2 | 14k|1342 |-5.983083e+03 |-2.509000e+03 | 138.46%| 6.51%
2672.32/2680.10 c 2680s| 8100 | 7790 | 12575k|1551.5 | 1180M | 37 |1770 |7267 |6560 | 91k| 2 | 14k|1342 |-5.967135e+03 |-2.509000e+03 | 137.83%| 6.53%
2698.45/2706.20 c 2706s| 8200 | 7888 | 12721k|1550.4 | 1182M | 37 |1770 |7336 |6822 | 92k| 4 | 14k|1344 |-5.967135e+03 |-2.509000e+03 | 137.83%| 6.55%
2719.70/2727.53 c 2728s| 8300 | 7988 | 12848k|1547.0 | 1184M | 37 |1770 |7405 |6917 | 92k| 4 | 14k|1345 |-5.967135e+03 |-2.509000e+03 | 137.83%| 6.56%
2743.15/2751.02 c 2751s| 8400 | 8088 | 12976k|1543.9 | 1186M | 37 |1770 |7469 |6916 | 93k| 5 | 14k|1361 |-5.967135e+03 |-2.509000e+03 | 137.83%| 6.57%
2765.19/2773.17 c 2773s| 8500 | 8186 | 13092k|1539.3 | 1188M | 37 |1770 |7439 |7113 | 93k| 1 | 15k|1361 |-5.963790e+03 |-2.509000e+03 | 137.70%| 6.59%
2792.61/2800.70 c 2801s| 8600 | 8286 | 13256k|1540.5 | 1190M | 37 |1770 |7434 |6897 | 94k| 1 | 15k|1361 |-5.959101e+03 |-2.509000e+03 | 137.51%| 6.60%
2815.07/2823.11 c 2823s| 8700 | 8386 | 13371k|1536.0 | 1192M | 37 |1770 |7467 |6897 | 95k| 1 | 15k|1390 |-5.959101e+03 |-2.509000e+03 | 137.51%| 6.61%
2836.02/2844.14 c 2844s| 8800 | 8486 | 13496k|1532.8 | 1194M | 37 |1770 |7389 |6829 | 95k| 2 | 15k|1392 |-5.959101e+03 |-2.509000e+03 | 137.51%| 6.62%
2862.43/2870.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2862.43/2870.67 c 2871s| 8900 | 8584 | 13638k|1531.6 | 1230M | 37 |1770 |7362 |6740 | 96k| 1 | 15k|1392 |-5.945167e+03 |-2.509000e+03 | 136.95%| 6.64%
2881.28/2889.57 c 2890s| 9000 | 8684 | 13754k|1527.4 | 1230M | 37 |1770 |7386 |6833 | 97k| 2 | 15k|1392 |-5.945167e+03 |-2.509000e+03 | 136.95%| 6.64%
2905.81/2914.18 c 2914s| 9100 | 8784 | 13885k|1525.0 | 1233M | 37 |1770 |7335 |6894 | 98k| 2 | 15k|1392 |-5.936153e+03 |-2.509000e+03 | 136.59%| 6.66%
2935.90/2944.31 c 2944s| 9200 | 8884 | 14046k|1526.0 | 1233M | 37 |1770 |7295 |6790 | 98k| 1 | 15k|1393 |-5.923594e+03 |-2.509000e+03 | 136.09%| 6.67%
2965.02/2973.55 c 2974s| 9300 | 8984 | 14192k|1525.3 | 1235M | 37 |1770 |7293 |6971 | 99k| 2 | 16k|1393 |-5.915512e+03 |-2.509000e+03 | 135.77%| 6.68%
2996.62/3005.26 c 3005s| 9400 | 9084 | 14341k|1524.8 | 1242M | 37 |1770 |7269 |6745 | 101k| 2 | 16k|1394 |-5.900891e+03 |-2.509000e+03 | 135.19%| 6.70%
3017.16/3025.84 c 3026s| 9500 | 9184 | 14462k|1521.5 | 1309M | 37 |1770 |7326 |7044 | 101k| 1 | 16k|1395 |-5.882375e+03 |-2.509000e+03 | 134.45%| 6.71%
3045.17/3053.97 c 3054s| 9600 | 9284 | 14597k|1519.7 | 1311M | 37 |1770 |7327 |7055 | 102k| 1 | 16k|1420 |-5.872975e+03 |-2.509000e+03 | 134.08%| 6.73%
3066.00/3074.85 c 3075s| 9700 | 9384 | 14719k|1516.6 | 1311M | 37 |1770 |7308 |6970 | 102k| 2 | 16k|1420 |-5.859458e+03 |-2.509000e+03 | 133.54%| 6.74%
3088.03/3096.95 c 3097s| 9800 | 9484 | 14832k|1512.7 | 1315M | 38 |1770 |7277 |6798 | 103k| 2 | 16k|1439 |-5.852117e+03 |-2.509000e+03 | 133.24%| 6.75%
3111.75/3120.75 c 3121s| 9900 | 9584 | 14962k|1510.5 | 1318M | 38 |1770 |7238 |6889 | 104k| 1 | 16k|1440 |-5.839263e+03 |-2.509000e+03 | 132.73%| 6.76%
3130.49/3139.59 c 3140s| 10000 | 9684 | 15072k|1506.5 | 1320M | 38 |1770 |7176 |7086 | 104k| 2 | 16k|1440 |-5.833716e+03 |-2.509000e+03 | 132.51%| 6.77%
3159.12/3168.21 c 3168s| 10100 | 9784 | 15211k|1505.3 | 1322M | 38 |1770 |7216 |6748 | 105k| 2 | 17k|1474 |-5.833320e+03 |-2.509000e+03 | 132.50%| 6.79%
3179.16/3188.36 c 3188s| 10200 | 9884 | 15333k|1502.5 | 1322M | 38 |1770 |7261 |6916 | 106k| 1 | 17k|1474 |-5.829408e+03 |-2.509000e+03 | 132.34%| 6.80%
3206.07/3215.33 c 3215s| 10300 | 9984 | 15475k|1501.7 | 1323M | 38 |1770 |7356 |6815 | 106k| 2 | 17k|1475 |-5.820774e+03 |-2.509000e+03 | 132.00%| 6.81%
3227.20/3236.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3227.20/3236.58 c 3237s| 10400 | 10084 | 15594k|1498.7 | 1326M | 38 |1770 |7431 |7054 | 107k| 1 | 17k|1475 |-5.817636e+03 |-2.509000e+03 | 131.87%| 6.82%
3249.64/3259.05 c 3259s| 10500 | 10184 | 15720k|1496.4 | 1328M | 38 |1770 |7454 |6803 | 108k| 2 | 17k|1476 |-5.806901e+03 |-2.509000e+03 | 131.44%| 6.83%
3267.48/3276.94 c 3277s| 10600 | 10282 | 15823k|1492.0 | 1328M | 38 |1770 |7488 |7015 | 108k| 2 | 18k|1496 |-5.804595e+03 |-2.509000e+03 | 131.35%| 6.85%
3294.09/3303.68 c 3304s| 10700 | 10382 | 15964k|1491.3 | 1333M | 38 |1770 |7537 |6762 | 109k| 1 | 18k|1496 |-5.799779e+03 |-2.509000e+03 | 131.16%| 6.86%
3320.71/3330.38 c 3330s| 10800 | 10482 | 16110k|1491.0 | 1337M | 38 |1770 |7551 |7011 | 110k| 2 | 18k|1496 |-5.786000e+03 |-2.509000e+03 | 130.61%| 6.87%
3348.82/3358.56 c 3359s| 10900 | 10582 | 16251k|1490.2 | 1341M | 38 |1770 |7521 |7003 | 110k| 2 | 18k|1506 |-5.781670e+03 |-2.509000e+03 | 130.44%| 6.88%
3375.14/3384.92 c 3385s| 11000 | 10682 | 16387k|1489.0 | 1350M | 38 |1770 |7539 |7076 | 111k| 1 | 18k|1508 |-5.773319e+03 |-2.509000e+03 | 130.10%| 6.89%
3399.06/3408.97 c 3409s| 11100 | 10782 | 16530k|1488.5 | 1351M | 38 |1770 |7557 |7082 | 112k| 2 | 18k|1509 |-5.739579e+03 |-2.509000e+03 | 128.76%| 6.90%
3426.59/3436.51 c 3436s| 11200 | 10882 | 16667k|1487.5 | 1351M | 38 |1770 |7568 |7063 | 112k| 1 | 18k|1525 |-5.735727e+03 |-2.509000e+03 | 128.61%| 6.91%
3450.02/3460.04 c 3460s| 11300 | 10980 | 16796k|1485.7 | 1352M | 38 |1770 |7540 |6951 | 113k| 2 | 19k|1537 |-5.727247e+03 |-2.509000e+03 | 128.27%| 6.92%
3471.95/3482.06 c 3482s| 11400 | 11080 | 16917k|1483.3 | 1353M | 38 |1770 |7557 |6958 | 114k| 1 | 19k|1538 |-5.726726e+03 |-2.509000e+03 | 128.25%| 6.93%
3495.67/3505.86 c 3506s| 11500 | 11180 | 17040k|1481.1 | 1354M | 38 |1770 |7455 |6964 | 114k| 2 | 19k|1538 |-5.726726e+03 |-2.509000e+03 | 128.25%| 6.95%
3515.00/3525.20 c 3525s| 11600 | 11280 | 17151k|1477.9 | 1355M | 38 |1770 |7487 |6849 | 115k| 2 | 19k|1551 |-5.726726e+03 |-2.509000e+03 | 128.25%| 6.95%
3537.33/3547.61 c 3548s| 11700 | 11378 | 17269k|1475.3 | 1358M | 38 |1770 |7429 |7062 | 115k| 1 | 19k|1591 |-5.726466e+03 |-2.509000e+03 | 128.24%| 6.96%
3564.34/3574.78 c 3575s| 11800 | 11478 | 17407k|1474.5 | 1362M | 38 |1770 |7451 |6853 | 116k| 2 | 19k|1591 |-5.723050e+03 |-2.509000e+03 | 128.10%| 6.98%
3586.17/3596.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3586.17/3596.69 c 3597s| 11900 | 11578 | 17538k|1473.2 | 1364M | 38 |1770 |7415 |6793 | 117k| 1 | 19k|1591 |-5.720016e+03 |-2.509000e+03 | 127.98%| 6.99%
3586.58/3597.01 c
3586.58/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.58/3597.01 c Solving Time (sec) : 3596.99
3586.58/3597.01 c Solving Nodes : 11903
3586.58/3597.01 c Primal Bound : -2.50900000000000e+03 (60 solutions)
3586.58/3597.01 c Dual Bound : -5.72001621735830e+03
3586.58/3597.01 c Gap : 127.98 %
3586.58/3597.01 s SATISFIABLE
3586.58/3597.01 v -x171 -x170 -x169 -x168 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
3586.58/3597.01 v -x147 -x146 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
3586.58/3597.01 v -x125 -x124 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102
3586.58/3597.01 v -x101 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x77 -x76 -x75 -x74
3586.58/3597.01 v -x73 -x72 -x71 -x70 -x69 -x68 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47
3586.58/3597.01 v -x46 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 x22 x21 -x20 -x19 -x18
3586.58/3597.01 v -x17 -x16 -x15 -x14 -x13 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
3586.58/3597.01 v x241 x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x219
3586.58/3597.01 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 x210 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x197 -x196
3586.58/3597.01 v -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x186 x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x175 -x174 x173 -x172
3586.58/3597.01 v x167 -x156 x145 x134 -x123 -x112 -x100 -x89 -x78 x67 -x56 x45 x34 -x23 -x12 -x1 -x242 -x231 -x220 -x209 -x198 -x187 -x176
3586.58/3597.01 v -x111
3586.58/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.58/3597.01 c Total Time : 3596.99
3586.58/3597.01 c solving : 3596.99
3586.58/3597.01 c presolving : 1.78 (included in solving)
3586.58/3597.01 c reading : 0.02 (included in solving)
3586.58/3597.01 c copying : 0.50 (25 #copies) (minimal 0.01, maximal 0.03, average 0.02)
3586.58/3597.01 c Original Problem :
3586.58/3597.01 c Problem name : HOME/instance-4524430-1751272589.opb
3586.58/3597.01 c Variables : 3708 (252 binary, 0 integer, 3456 implicit integer, 0 continuous)
3586.58/3597.01 c Constraints : 3729 initial, 3729 maximal
3586.58/3597.01 c Objective : minimize, 1749 non-zeros (abs.min = 1, abs.max = 99)
3586.58/3597.01 c Presolved Problem :
3586.58/3597.01 c Problem name : t_HOME/instance-4524430-1751272589.opb
3586.58/3597.01 c Variables : 1770 (250 binary, 0 integer, 1520 implicit integer, 0 continuous)
3586.58/3597.01 c Constraints : 3076 initial, 7597 maximal
3586.58/3597.01 c Objective : minimize, 1749 non-zeros (abs.min = 1, abs.max = 99)
3586.58/3597.01 c Nonzeros : 9603 constraint, 29995 clique table
3586.58/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.58/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c trivial : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c probing : 1.63 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c knapsack : 0.03 0.00 22 0 0 0 0 0 3 9 47 2012
3586.58/3597.01 c setppc : 0.03 0.00 22 0 1 0 0 0 2137 0 1 1
3586.58/3597.01 c and : 0.05 0.00 15 0 1936 0 0 0 1936 416 0 0
3586.58/3597.01 c linear : 0.00 0.00 10 0 1 0 0 0 1 0 0 0
3586.58/3597.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c pseudoboolean : 0.02 0.00 5 0 0 0 0 0 1739 0 0 0
3586.58/3597.01 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.58/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.58/3597.01 c benderslp : 0 0 0 0 11763 0 0 3054 0 0 0 0 0 0 0
3586.58/3597.01 c integral : 0 0 0 0 11763 0 0 3054 0 0 264 0 0 89 23482
3586.58/3597.01 c knapsack : 18+ 19 38 305826 0 0 0 3051 12677 1564 50884 0 0 0 0
3586.58/3597.01 c setppc : 1538+ 1553 38 304452 0 0 0 756 24190 11 296239 0 0 0 0
3586.58/3597.01 c and : 1520 1520 26570 304361 0 0 0 663 297344 307 861465 99243 63731 0 0
3586.58/3597.01 c linear : 0+ 65 0 291650 0 0 0 1 3589 278 17815 0 0 0 0
3586.58/3597.01 c logicor : 0+ 4491 38 73366 0 0 0 0 490 181 105 1 0 0 0
3586.58/3597.01 c benders : 0 0 0 0 0 0 0 63 0 0 0 0 0 0 0
3586.58/3597.01 c fixedvar : 0 0 0 0 0 0 0 63 0 0 0 0 0 0 0
3586.58/3597.01 c countsols : 0 0 0 0 0 0 0 63 0 0 0 0 0 0 0
3586.58/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.58/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c integral : 159.04 0.00 0.00 0.00 159.04 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c knapsack : 1.65 0.00 0.08 1.36 0.00 0.00 0.00 0.12 0.04 0.06
3586.58/3597.01 c setppc : 1.54 0.00 0.00 1.40 0.00 0.00 0.00 0.03 0.01 0.11
3586.58/3597.01 c and : 8.30 0.00 2.53 5.34 0.00 0.00 0.00 0.02 0.03 0.38
3586.58/3597.01 c linear : 0.30 0.00 0.00 0.28 0.00 0.00 0.00 0.00 0.01 0.01
3586.58/3597.01 c logicor : 1.99 0.00 0.00 1.92 0.00 0.00 0.00 0.00 0.00 0.06
3586.58/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
3586.58/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.58/3597.01 c dualfix : 3 0 0 0
3586.58/3597.01 c genvbounds : 0 0 0 0
3586.58/3597.01 c nlobbt : 0 0 0 0
3586.58/3597.01 c obbt : 0 0 0 0
3586.58/3597.01 c probing : 0 0 0 0
3586.58/3597.01 c pseudoobj : 44205 0 0 0
3586.58/3597.01 c redcost : 40948 0 0 371
3586.58/3597.01 c rootredcost : 4 0 0 0
3586.58/3597.01 c symmetry : 0 0 0 0
3586.58/3597.01 c vbounds : 185511 0 0 0
3586.58/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.58/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3586.58/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c probing : 1.63 0.00 1.63 0.00 0.00 0.00
3586.58/3597.01 c pseudoobj : 0.37 0.00 0.00 0.37 0.00 0.00
3586.58/3597.01 c redcost : 0.99 0.00 0.00 0.98 0.00 0.00
3586.58/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.58/3597.01 c symmetry : 0.04 0.00 0.01 0.03 0.00 0.00
3586.58/3597.01 c vbounds : 0.10 0.00 0.00 0.09 0.00 0.01
3586.58/3597.01 c Symmetry :
3586.58/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.58/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.58/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.58/3597.01 c shadow tree time : 0.00 s
3586.58/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.58/3597.01 c propagation : 0.26 2207 2206 - 22727 84.1 36 81.6 - - -
3586.58/3597.01 c infeasible LP : 0.18 295 291 - 2642 129.0 3 94.7 317 91.1 0
3586.58/3597.01 c bound exceed. LP : 6.42 3920 41 - 350 58.3 3 66.0 0 0.0 33489
3586.58/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.58/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.58/3597.01 c applied globally : 0.47 - - 0 19635 54.4 - - 317 - -
3586.58/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.58/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.58/3597.01 c cut pool : 12.88 - 10931 74 - - 107391 604335 - - - - - (maximal pool size: 3843)
3586.58/3597.01 c aggregation : 173.24 0.00 5141 38 0 0 118 5785 0 323 323 0 0
3586.58/3597.01 c > cmir : - - - - - - - 5776 0 318 318 0 -
3586.58/3597.01 c > flowcover : - - - - - - - 9 0 5 5 0 -
3586.58/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.58/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c clique : 0.03 0.00 38 38 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c gomory : 343.69 0.00 2567 10 0 0 88946 535809 0 18290 18290 0 0
3586.58/3597.01 c > gomorymi : - - - - - - - 508366 0 16956 16956 0 -
3586.58/3597.01 c > strongcg : - - - - - - - 27443 0 1334 1334 0 -
3586.58/3597.01 c impliedbounds : 2.81 0.00 5141 38 0 0 14909 26627 0 14464 14464 0 0
3586.58/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c mixing : 0.00 0.00 5141 38 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c multilinear : 0.00 0.00 1550 38 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c rapidlearning : 0.18 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c rlt : 52.64 0.00 523 10 0 0 2693 34602 1 20129 20129 0 0
3586.58/3597.01 c zerohalf : 10.32 0.00 2577 20 0 0 721 1512 0 349 349 0 0
3586.58/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.58/3597.01 c hybrid : 1.36 0.00 17265 39 117304 0 586276 1974 0 8508
3586.58/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.58/3597.01 c problem variables: 0.00 - 0 0
3586.58/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.58/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c relpscost : 159.03 0.00 11763 0 0 0 264 0 97 23482
3586.58/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.58/3597.01 c LP solutions : 0.00 - - 0 0
3586.58/3597.01 c relax solutions : 0.00 - - 0 0
3586.58/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.58/3597.01 c strong branching : 0.00 - - 0 0
3586.58/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c adaptivediving : 5.37 0.00 40 0 0
3586.58/3597.01 c alns : 0.48 0.00 7 0 0
3586.58/3597.01 c bound : 0.00 0.00 0 0 0
3586.58/3597.01 c clique : 0.02 0.00 1 1 1
3586.58/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c completesol : 0.00 0.00 0 0 0
3586.58/3597.01 c conflictdiving : 45.86 0.00 358 0 0
3586.58/3597.01 c crossover : 0.74 0.00 9 9 1
3586.58/3597.01 c dins : 0.00 0.00 0 0 0
3586.58/3597.01 c distributiondivin: 117.14 0.00 357 0 0
3586.58/3597.01 c dps : 0.00 0.00 0 0 0
3586.58/3597.01 c dualval : 0.00 0.00 0 0 0
3586.58/3597.01 c farkasdiving : 80.65 0.00 358 3 3
3586.58/3597.01 c feasjump : 0.00 0.00 0 0 0
3586.58/3597.01 c feaspump : 0.63 0.00 1 0 0
3586.58/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.58/3597.01 c fracdiving : 39.56 0.00 358 0 0
3586.58/3597.01 c gins : 0.01 0.00 0 0 0
3586.58/3597.01 c guideddiving : 40.29 0.00 357 0 0
3586.58/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c indicator : 0.01 0.00 0 0 0
3586.58/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.58/3597.01 c indoneopt : 0.01 0.00 0 0 0
3586.58/3597.01 c indrounding : 0.00 0.00 0 0 0
3586.58/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3586.58/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.58/3597.01 c linesearchdiving : 41.61 0.00 358 0 0
3586.58/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.58/3597.01 c locks : 0.01 0.00 1 0 0
3586.58/3597.01 c lpface : 0.00 0.00 0 0 0
3586.58/3597.01 c mpec : 0.00 0.00 0 0 0
3586.58/3597.01 c multistart : 0.00 0.00 0 0 0
3586.58/3597.01 c mutation : 0.00 0.00 0 0 0
3586.58/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c objpscostdiving : 15.86 0.00 24 0 0
3586.58/3597.01 c octane : 0.00 0.00 0 0 0
3586.58/3597.01 c ofins : 0.00 0.00 0 0 0
3586.58/3597.01 c oneopt : 0.01 0.00 5 0 0
3586.58/3597.01 c padm : 0.00 0.00 0 0 0
3586.58/3597.01 c proximity : 0.00 0.00 0 0 0
3586.58/3597.01 c pscostdiving : 95.37 0.00 315 0 0
3586.58/3597.01 c randrounding : 0.35 0.00 2421 0 0
3586.58/3597.01 c rens : 0.00 0.00 0 0 0
3586.58/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.58/3597.01 c repair : 0.00 0.00 0 0 0
3586.58/3597.01 c rins : 4.91 0.00 8 8 0
3586.58/3597.01 c rootsoldiving : 15.99 0.00 73 0 0
3586.58/3597.01 c rounding : 0.20 0.00 2399 0 0
3586.58/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.58/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3586.58/3597.01 c shifting : 5.06 0.00 4878 39 0
3586.58/3597.01 c simplerounding : 0.02 0.00 29180 0 0
3586.58/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.58/3597.01 c subnlp : 0.01 0.00 0 0 0
3586.58/3597.01 c trivial : 0.00 0.00 2 0 0
3586.58/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.58/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.58/3597.01 c trysol : 0.01 0.00 0 0 0
3586.58/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.58/3597.01 c undercover : 0.07 0.00 1 0 0
3586.58/3597.01 c vbounds : 0.03 0.00 1 0 0
3586.58/3597.01 c veclendiving : 47.10 0.00 358 0 0
3586.58/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.58/3597.01 c zirounding : 0.15 0.00 1000 0 0
3586.58/3597.01 c other solutions : - - - 0 -
3586.58/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.58/3597.01 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.58/3597.01 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.58/3597.01 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.58/3597.01 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.58/3597.01 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.58/3597.01 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.58/3597.01 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.58/3597.01 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.58/3597.01 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.58/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.58/3597.01 c primal LP : 1.34 2769 0 0.00 0.00 1.34 2769
3586.58/3597.01 c dual LP : 2236.05 29329 13880469 475.72 6207.57 0.13 151
3586.58/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.58/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.58/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.58/3597.01 c diving/probing LP: 467.07 16581 3660206 220.75 7836.51
3586.58/3597.01 c strong branching : 155.10 1591 1029626 647.16 6638.67 - - 978
3586.58/3597.01 c (at root node) : - 25 22170 886.80 -
3586.58/3597.01 c conflict analysis: 4.18 3460 33489 9.68 8006.62
3586.58/3597.01 c B&B Tree :
3586.58/3597.01 c number of runs : 1
3586.58/3597.01 c nodes : 11903 (11741 internal, 162 leaves)
3586.58/3597.01 c feasible leaves : 0
3586.58/3597.01 c infeas. leaves : 30
3586.58/3597.01 c objective leaves : 131
3586.58/3597.01 c nodes (total) : 11903 (11741 internal, 162 leaves)
3586.58/3597.01 c nodes left : 11580
3586.58/3597.01 c max depth : 38
3586.58/3597.01 c max depth (total): 38
3586.58/3597.01 c backtracks : 2987 (25.1%)
3586.58/3597.01 c early backtracks : 0 (0.0%)
3586.58/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.58/3597.01 c delayed cutoffs : 1
3586.58/3597.01 c repropagations : 73 (666 domain reductions, 0 cutoffs)
3586.58/3597.01 c avg switch length: 5.92
3586.58/3597.01 c switching time : 7.30
3586.58/3597.01 c Root Node :
3586.58/3597.01 c First LP value : -1.05923163738226e+04
3586.58/3597.01 c First LP Iters : 3460 (9243.26 Iter/sec)
3586.58/3597.01 c First LP Time : 0.37
3586.58/3597.01 c Final Dual Bound : -9.46012700114424e+03
3586.58/3597.01 c Final Root Iters : 9485
3586.58/3597.01 c Root LP Estimate : -2.13135738884725e+03
3586.58/3597.01 c Solution :
3586.58/3597.01 c Solutions found : 60 (5 improvements)
3586.58/3597.01 c First Solution : -1.07700000000000e+03 (in run 1, after 1 nodes, 1.85 seconds, depth 14, found by <clique>)
3586.58/3597.01 c Gap First Sol. : 8344.01 %
3586.58/3597.01 c Gap Last Sol. : 160.57 %
3586.58/3597.01 c Primal Bound : -2.50900000000000e+03 (in run 1, after 2825 nodes, 1167.95 seconds, depth 31, found by <farkasdiving>)
3586.58/3597.01 c Dual Bound : -5.72001621735830e+03
3586.58/3597.01 c Gap : 127.98 %
3586.58/3597.01 c Integrals : Total Avg%
3586.58/3597.01 c primal-dual : 219172.21 60.93
3586.58/3597.01 c primal-ref : - - (not evaluated)
3586.58/3597.01 c dual-ref : - - (not evaluated)
3586.87/3597.30 c Time complete: 3586.87.
OK -2509
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 (62514 MiB free)
memory of node 1: 64465 MiB (62538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524430-1751272589/watcher-4524430-1751272589 -o /tmp/evaluation-result-4524430-1751272589/solver-4524430-1751272589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751268232-44412 --watchdog 3760 pbscip -f HOME/instance-4524430-1751272589.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45355, runsolver pid=45352
[startup+0.100056 s]*
/proc/loadavg: 4.11 4.11 4.08 5/250 45356
/proc/meminfo: memFree=128046760/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=66172 memory=39424 CPUtime=0.09 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 6544 0 0 0 7 2 0 0 20 0 1 0 42938077 67760128 9856 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 16543 9856 3680 3530 0 7994 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66172 KiB
Current children cumulated memory: 39424 KiB
[startup+0.212782 s]*
/proc/loadavg: 4.10 4.10 4.08 5/250 45356
/proc/meminfo: memFree=128046760/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=67224 memory=40576 CPUtime=0.2 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 6801 0 0 0 18 2 0 0 20 0 1 0 42938077 68837376 10144 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 16806 10144 3712 3530 0 8257 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67224 KiB
Current children cumulated memory: 40576 KiB
[startup+0.312655 s]*
/proc/loadavg: 4.10 4.10 4.08 5/250 45356
/proc/meminfo: memFree=128046760/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=68680 memory=41600 CPUtime=0.3 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 7064 0 0 0 28 2 0 0 20 0 1 0 42938077 70328320 10400 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 17170 10400 3712 3530 0 8621 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68680 KiB
Current children cumulated memory: 41600 KiB
[startup+0.700232 s]
/proc/loadavg: 4.10 4.10 4.08 5/250 45356
/proc/meminfo: memFree=128046760/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=68680 memory=41728 CPUtime=0.67 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 7072 0 0 0 65 2 0 0 20 0 1 0 42938077 70328320 10432 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 17170 10432 3712 3530 0 8621 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 68680 KiB
Current children cumulated memory: 41728 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.10 4.08 6/250 45356
/proc/meminfo: memFree=128046760/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=69196 memory=42240 CPUtime=1.47 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 7200 0 0 0 145 2 0 0 20 0 1 0 42938077 70856704 10560 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 17299 10560 3712 3530 0 8750 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 69196 KiB
Current children cumulated memory: 42240 KiB
[startup+3.11184 s]
/proc/loadavg: 4.10 4.10 4.08 6/250 45356
/proc/meminfo: memFree=128016492/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=111404 memory=80828 CPUtime=3.08 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 18338 0 0 0 303 5 0 0 20 0 1 0 42938077 114077696 20207 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 27851 20207 4000 3530 0 19302 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111404 KiB
Current children cumulated memory: 80828 KiB
[startup+6.30022 s]
/proc/loadavg: 4.09 4.10 4.08 6/250 45356
/proc/meminfo: memFree=127986752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=124864 memory=86076 CPUtime=6.26 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 19650 0 0 0 621 5 0 0 20 0 1 0 42938077 127860736 21519 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 31216 21519 4000 3530 0 22667 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 124864 KiB
Current children cumulated memory: 86076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.08 6/250 45356
/proc/meminfo: memFree=127979516/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=138736 memory=98876 CPUtime=12.64 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 22838 0 0 0 1258 6 0 0 20 0 1 0 42938077 142065664 24719 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 34684 24719 4000 3530 0 26135 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 138736 KiB
Current children cumulated memory: 98876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.08 6/250 45356
/proc/meminfo: memFree=127968932/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=138736 memory=98876 CPUtime=25.41 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 22841 0 0 0 2535 6 0 0 20 0 1 0 42938077 142065664 24719 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 34684 24719 4000 3530 0 26135 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 138736 KiB
Current children cumulated memory: 98876 KiB
[startup+51.1119 s]
/proc/loadavg: 4.09 4.10 4.08 6/251 45358
/proc/meminfo: memFree=127937536/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=183484 memory=128700 CPUtime=50.94 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 30303 0 0 0 5087 7 0 0 20 0 1 0 42938077 187887616 32175 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 45871 32175 4000 3530 0 37322 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 183484 KiB
Current children cumulated memory: 128700 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.08 6/252 45364
/proc/meminfo: memFree=127878492/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=286016 memory=201404 CPUtime=101.99 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 48987 0 0 0 10188 11 0 0 20 0 1 0 42938077 292880384 50351 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 71504 50351 4000 3530 0 62955 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 286016 KiB
Current children cumulated memory: 201404 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.08 6/252 45366
/proc/meminfo: memFree=127869720/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=338448 memory=222284 CPUtime=161.83 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 52682 0 0 0 16171 12 0 0 20 0 1 0 42938077 346570752 55571 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 84612 55571 4000 3530 0 76063 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 338448 KiB
Current children cumulated memory: 222284 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.08 6/252 45368
/proc/meminfo: memFree=127814200/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=376536 memory=256616 CPUtime=221.67 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 61286 0 0 0 22154 13 0 0 20 0 1 0 42938077 385572864 64154 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 94134 64154 4000 3530 0 85585 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 376536 KiB
Current children cumulated memory: 256616 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.08 6/252 45370
/proc/meminfo: memFree=127757272/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=389476 memory=267596 CPUtime=281.5 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 63017 0 0 0 28137 13 0 0 20 0 1 0 42938077 398823424 66899 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 97369 66899 4000 3530 0 88820 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 389476 KiB
Current children cumulated memory: 267596 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.08 6/251 45372
/proc/meminfo: memFree=127716592/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=429076 memory=293636 CPUtime=341.35 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 67975 0 0 0 34120 15 0 0 20 0 1 0 42938077 439373824 73409 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 107269 73409 4000 3530 0 98720 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 429076 KiB
Current children cumulated memory: 293636 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.08 6/249 45374
/proc/meminfo: memFree=127700516/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=465588 memory=312920 CPUtime=401.14 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 69226 0 0 0 40099 15 0 0 20 0 1 0 42938077 476762112 78230 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 116397 78230 4000 3530 0 107848 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 465588 KiB
Current children cumulated memory: 312920 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/249 45376
/proc/meminfo: memFree=127318436/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=502100 memory=326368 CPUtime=460.93 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 71578 0 0 0 46078 15 0 0 20 0 1 0 42938077 514150400 81592 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 125525 81592 4000 3530 0 116976 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
/proc/loadavg: 1.10 1.73 2.55 2/233 45623
/proc/meminfo: memFree=128570344/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1348516 memory=1250040 CPUtime=3213.05 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 164977 0 0 0 321262 43 0 0 20 0 1 0 42938077 1380880384 312510 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 337129 312510 4000 3530 0 328580 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 1348516 KiB
Current children cumulated memory: 1250040 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.61 2.46 2/233 45625
/proc/meminfo: memFree=128542308/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1369512 memory=1275796 CPUtime=3272.86 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 169884 0 0 0 327242 44 0 0 20 0 1 0 42938077 1402380288 318949 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 342378 318949 4000 3530 0 333829 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 1369512 KiB
Current children cumulated memory: 1275796 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 1.53 2.37 2/233 45627
/proc/meminfo: memFree=128539472/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1369512 memory=1280792 CPUtime=3332.67 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 170105 0 0 0 333223 44 0 0 20 0 1 0 42938077 1402380288 320198 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 342378 320198 4000 3530 0 333829 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 1369512 KiB
Current children cumulated memory: 1280792 KiB
[startup+3402.3 s]
/proc/loadavg: 1.05 1.43 2.29 2/231 45629
/proc/meminfo: memFree=128527940/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1374084 memory=1295116 CPUtime=3392.48 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 171129 0 0 0 339204 44 0 0 20 0 1 0 42938077 1407062016 323779 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 343521 323779 4000 3530 0 334972 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 1374084 KiB
Current children cumulated memory: 1295116 KiB
[startup+3462.3 s]
/proc/loadavg: 1.06 1.36 2.21 2/231 45631
/proc/meminfo: memFree=128516408/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1375676 memory=1300656 CPUtime=3452.3 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 171702 0 0 0 345185 45 0 0 20 0 1 0 42938077 1408692224 325164 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 343919 325164 4000 3530 0 335370 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 1375676 KiB
Current children cumulated memory: 1300656 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.33 2.14 2/231 45633
/proc/meminfo: memFree=128459520/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1340916 CPUtime=3512.11 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177964 0 0 0 351165 46 0 0 20 0 1 0 42938077 1435873280 335229 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 335229 4000 3530 0 342006 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1340916 KiB
[startup+3582.3 s]
/proc/loadavg: 1.10 1.28 2.07 2/231 45635
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1345012 CPUtime=3571.91 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177971 0 0 0 357145 46 0 0 20 0 1 0 42938077 1435873280 336253 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 336253 4000 3530 0 342006 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1345012 KiB
[startup+3597.31 s]
# the end of solver process 45355 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.41 s, system=0.471109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.10 1.28 2.07 2/231 45635
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1345012 CPUtime=3573.62 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177971 0 0 0 357316 46 0 0 20 0 1 0 42938077 1435873280 336253 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 336253 4000 3530 0 342006 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1345012 KiB
[startup+3590.4 s]
/proc/loadavg: 1.09 1.27 2.06 2/231 45635
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1345012 CPUtime=3579.99 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177974 0 0 0 357953 46 0 0 20 0 1 0 42938077 1435873280 336253 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 336253 4000 3530 0 342006 0
Current children cumulated CPU time: 3579.99 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1345012 KiB
[startup+3593.6 s]
/proc/loadavg: 1.08 1.27 2.06 2/231 45636
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1345012 CPUtime=3583.18 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177974 0 0 0 358272 46 0 0 20 0 1 0 42938077 1435873280 336253 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 336253 4000 3530 0 342006 0
Current children cumulated CPU time: 3583.18 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1345012 KiB
[startup+3595.2 s]
/proc/loadavg: 1.08 1.27 2.06 2/231 45636
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1345012 CPUtime=3584.77 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177974 0 0 0 358431 46 0 0 20 0 1 0 42938077 1435873280 336253 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 336253 4000 3530 0 342006 0
Current children cumulated CPU time: 3584.77 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1345012 KiB
[startup+3596 s]*
/proc/loadavg: 1.07 1.27 2.05 2/231 45636
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1345012 CPUtime=3585.58 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177974 0 0 0 358512 46 0 0 20 0 1 0 42938077 1435873280 336253 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 336253 4000 3530 0 342006 0
Current children cumulated CPU time: 3585.58 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1345012 KiB
[startup+3596.8 s]
/proc/loadavg: 1.07 1.27 2.05 2/231 45636
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1345012 CPUtime=3586.37 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177974 0 0 0 358591 46 0 0 20 0 1 0 42938077 1435873280 336253 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 336253 4000 3530 0 342006 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1345012 KiB
[startup+3597.2 s]
/proc/loadavg: 1.07 1.27 2.05 2/231 45636
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1402220 memory=1345012 CPUtime=3586.77 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177974 0 0 0 358631 46 0 0 20 0 1 0 42938077 1435873280 336253 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 350555 336253 4000 3530 0 342006 0
Current children cumulated CPU time: 3586.77 s
Current children cumulated vsize: 1402220 KiB
Current children cumulated memory: 1345012 KiB
[startup+3597.3 s]
/proc/loadavg: 1.07 1.27 2.05 2/231 45636
/proc/meminfo: memFree=128453752/131382112 swapFree=33010684/33010684
[pid=45355] ppid=45352 vsize=1386372 memory=1329164 CPUtime=3586.87 cores=0,2
/proc/45355/stat : 45355 (pbscip) R 45352 45355 44395 0 -1 4194304 177974 0 0 0 358641 46 0 0 20 0 1 0 42938077 1419644928 332291 18446744073709551615 4235264 18693293 140729718292048 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53112832 140729718299017 140729718299116 140729718299116 140729718304718 0
/proc/45355/statm: 346593 332291 4000 3530 0 338044 0
Current children cumulated CPU time: 3586.87 s
Current children cumulated vsize: 1386372 KiB
Current children cumulated memory: 1329164 KiB
Child status: 0
Real time (s): 3597.31
CPU time (s): 3586.88
CPU user time (s): 3586.41
CPU system time (s): 0.471109
CPU usage (%): 99.7102
Max. virtual memory (cumulated for all children) (KiB): 1402220
Max. memory (cumulated for all children) (KiB): 1345012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.41
system time used= 0.471109
maximum resident set size= 1345012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177981
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= 147
involuntary context switches= 8054
# summary of solver processes directly reported to runsolver:
# pid: 45355
# total CPU time (s): 3586.88
# total CPU user time (s): 3586.41
# total CPU system time (s): 0.471109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0374 second user time and 31.896 second system time
The end
Begin job on nodeC007 at 2025-06-30 10:36:29 IDJOB=4524430 IDBENCH=181003 IDSOLVER=3365 FILE ID=nodeC007/4524430-1751272589 RUNJOBID= nodeC007-1751268232-44412 SLURM_JOB_ID= 9594174 Free space on /tmp= 432960 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_2017.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524430-1751272589/watcher-4524430-1751272589 -o /tmp/evaluation-result-4524430-1751272589/solver-4524430-1751272589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751268232-44412 --watchdog 3760 pbscip -f HOME/instance-4524430-1751272589.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 37df5ddf0b76834adc52c19dbb6544de RANDOM SEED=1560182285 nodeC007 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.202 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.68 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 : 3691.365 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.68 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.204 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.68 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.891 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.68 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 : 3662.510 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.68 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 : 3691.348 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.68 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.408 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.68 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.264 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 128054424 kB MemAvailable: 128169852 kB Buffers: 3280 kB Cached: 923316 kB SwapCached: 0 kB Active: 2029388 kB Inactive: 676932 kB Active(anon): 1797688 kB Inactive(anon): 0 kB Active(file): 231700 kB Inactive(file): 676932 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18752 kB Writeback: 44 kB AnonPages: 1782860 kB Mapped: 137492 kB Shmem: 17960 kB KReclaimable: 92848 kB Slab: 175804 kB SReclaimable: 92848 kB SUnreclaim: 82956 kB KernelStack: 4032 kB PageTables: 6856 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2337048 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1060864 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: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 433000 MiB End job on nodeC007 at 2025-06-30 11:36:27