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 | -48 | 3586.94 | 3597.32 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
| MD5SUM | 3ad6c959019bf046c7e592cfae8de121 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -55 |
| Best CPU time to get the best result obtained on this benchmark | 3586.35 |
| 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 | 1400 |
| Total number of constraints | 109379 |
| Number of constraints which are clauses | 109379 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1400 |
| 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 | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4484778-1751297256.opb>
0.41/0.47 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109379 constraints
0.41/0.47 c problem read in 0.46
0.59/0.68 o 0
0.59/0.68 c feasible solution found by trivial heuristic after 0.7 seconds, objective value 0.000000e+00
0.59/0.68 c presolving:
0.99/1.08 c (1.1s) running MILP presolver
1.38/1.44 c (1.4s) MILP presolver found nothing
1.58/1.68 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109379 upgd conss, 0 impls, 109379 clqs
2.47/2.53 c (2.5s) probing: 51/1400 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.47/2.53 c (2.5s) probing aborted: 50/50 successive totally useless probings
3.17/3.26 c (3.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.28/3.32 c (3.3s) no symmetry present (symcode time: 0.02)
3.28/3.34 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
3.28/3.34 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.28/3.34 c 0 implications, 109379 cliques
3.28/3.34 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109379 constraints
3.28/3.34 c 109379 constraints of type <setppc>
3.28/3.34 c transformed objective value is always integral (scale: 1)
3.28/3.34 c Presolving Time: 2.67
3.28/3.34 c - non default parameters ----------------------------------------------------------------------
3.28/3.34 c # SCIP version 10.0.0
3.28/3.34 c
3.28/3.34 c # maximal time in seconds to run
3.28/3.34 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.28/3.34 c limits/time = 3596.99403
3.28/3.34 c
3.28/3.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.28/3.34 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.28/3.34 c limits/memory = 27900
3.28/3.34 c
3.28/3.34 c # belongs reading time to solving time?
3.28/3.34 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.28/3.34 c timing/reading = TRUE
3.28/3.34 c
3.28/3.34 c -----------------------------------------------------------------------------------------------
3.28/3.34 c start solving
3.28/3.35 c transformed 1/1 original solutions to the transformed problem space
3.28/3.35 c
3.57/3.61 o -35
3.57/3.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.57/3.61 c p 3.6s| 1 | 0 | 0 | - | clique| 0 |1400 | 109k| 109k| 0 | 0 | 0 | 0 |-1.400000e+03 |-3.500000e+01 |3900.00%| unknown
4.67/4.77 c 4.8s| 1 | 0 | 1400 | - | 494M | 0 |1400 | 109k| 109k| 0 | 0 | 0 | 0 |-7.000000e+02 |-3.500000e+01 |1900.00%| unknown
6.37/6.48 c 6.5s| 1 | 0 | 1687 | - | 522M | 0 |1400 | 109k| 109k| 13 | 1 | 0 | 0 |-6.610000e+02 |-3.500000e+01 |1788.57%| unknown
10.07/10.17 c 10.2s| 1 | 0 | 1935 | - | 536M | 0 |1400 | 109k| 109k| 36 | 2 | 0 | 0 |-6.400000e+02 |-3.500000e+01 |1728.57%| unknown
14.95/15.07 c 15.0s| 1 | 0 | 2306 | - | 548M | 0 |1400 | 109k| 109k| 58 | 3 | 0 | 0 |-6.100000e+02 |-3.500000e+01 |1642.86%| unknown
17.43/17.52 c 17.5s| 1 | 0 | 3116 | - | 559M | 0 |1400 | 109k| 109k| 98 | 4 | 0 | 0 |-5.737500e+02 |-3.500000e+01 |1539.29%| unknown
19.23/19.39 c 19.4s| 1 | 0 | 3806 | - | 570M | 0 |1400 | 109k| 109k| 134 | 5 | 0 | 0 |-5.402500e+02 |-3.500000e+01 |1443.57%| unknown
20.62/20.73 c 20.7s| 1 | 0 | 4747 | - | 583M | 0 |1400 | 109k| 109k| 171 | 6 | 0 | 0 |-5.063333e+02 |-3.500000e+01 |1346.67%| unknown
22.12/22.20 c 22.2s| 1 | 0 | 6010 | - | 594M | 0 |1400 | 109k| 109k| 219 | 7 | 0 | 0 |-4.638333e+02 |-3.500000e+01 |1225.24%| unknown
23.21/23.37 c 23.4s| 1 | 0 | 7096 | - | 606M | 0 |1400 | 109k| 109k| 266 | 8 | 0 | 0 |-4.232500e+02 |-3.500000e+01 |1109.29%| unknown
24.21/24.39 c 24.4s| 1 | 0 | 7936 | - | 617M | 0 |1400 | 109k| 109k| 308 | 9 | 0 | 0 |-4.067500e+02 |-3.500000e+01 |1062.14%| unknown
25.71/25.87 c 25.9s| 1 | 0 | 9713 | - | 629M | 0 |1400 | 109k| 109k| 347 | 10 | 0 | 0 |-3.904167e+02 |-3.500000e+01 |1015.48%| unknown
27.20/27.30 c 27.3s| 1 | 0 | 11782 | - | 641M | 0 |1400 | 109k| 109k| 377 | 11 | 0 | 0 |-3.588333e+02 |-3.500000e+01 | 925.24%| unknown
28.20/28.34 c 28.3s| 1 | 0 | 13073 | - | 653M | 0 |1400 | 109k| 109k| 400 | 12 | 0 | 0 |-3.480833e+02 |-3.500000e+01 | 894.52%| unknown
29.79/29.93 c 29.9s| 1 | 0 | 15638 | - | 663M | 0 |1400 | 109k| 109k| 426 | 13 | 0 | 0 |-3.095000e+02 |-3.500000e+01 | 784.29%| unknown
30.49/30.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.49/30.66 c 30.6s| 1 | 0 | 16613 | - | 674M | 0 |1400 | 109k| 109k| 442 | 14 | 0 | 0 |-3.000000e+02 |-3.500000e+01 | 757.14%| unknown
32.00/32.18 c 32.2s| 1 | 0 | 19359 | - | 685M | 0 |1400 | 109k| 109k| 477 | 15 | 0 | 0 |-2.784286e+02 |-3.500000e+01 | 695.51%| unknown
33.28/33.49 c 33.5s| 1 | 0 | 21508 | - | 696M | 0 |1400 | 109k| 109k| 493 | 16 | 0 | 0 |-2.600000e+02 |-3.500000e+01 | 642.86%| unknown
34.78/35.00 c 35.0s| 1 | 0 | 24163 | - | 707M | 0 |1400 | 109k| 109k| 515 | 17 | 0 | 0 |-2.393500e+02 |-3.500000e+01 | 583.86%| unknown
36.27/36.40 c 36.4s| 1 | 0 | 26873 | - | 717M | 0 |1400 | 109k| 109k| 546 | 18 | 0 | 0 |-2.206429e+02 |-3.500000e+01 | 530.41%| unknown
37.17/37.38 c 37.4s| 1 | 0 | 28585 | - | 728M | 0 |1400 | 109k| 109k| 571 | 19 | 0 | 0 |-2.105000e+02 |-3.500000e+01 | 501.43%| unknown
38.76/38.95 c 38.9s| 1 | 0 | 32175 | - | 738M | 0 |1400 | 109k| 109k| 594 | 20 | 0 | 0 |-1.839583e+02 |-3.500000e+01 | 425.60%| unknown
39.16/39.39 c 39.4s| 1 | 0 | 32994 | - | 738M | 0 |1400 | 109k| 109k| 604 | 21 | 0 | 0 |-1.588333e+02 |-3.500000e+01 | 353.81%| unknown
39.87/40.01 c 40.0s| 1 | 0 | 34528 | - | 738M | 0 |1400 | 109k| 109k| 606 | 22 | 0 | 0 |-1.438000e+02 |-3.500000e+01 | 310.86%| unknown
40.16/40.36 c 40.3s| 1 | 0 | 35240 | - | 739M | 0 |1400 | 109k| 109k| 608 | 23 | 0 | 0 |-1.343750e+02 |-3.500000e+01 | 283.93%| unknown
40.36/40.54 c 40.5s| 1 | 0 | 35415 | - | 739M | 0 |1400 | 109k| 109k| 609 | 24 | 0 | 0 |-1.262500e+02 |-3.500000e+01 | 260.71%| unknown
40.76/40.92 c 40.9s| 1 | 0 | 36303 | - | 740M | 0 |1400 | 109k| 109k| 615 | 25 | 0 | 0 |-1.035000e+02 |-3.500000e+01 | 195.71%| unknown
41.06/41.20 c 41.2s| 1 | 0 | 36831 | - | 740M | 0 |1400 | 109k| 109k| 620 | 26 | 0 | 0 |-8.300000e+01 |-3.500000e+01 | 137.14%| unknown
41.16/41.33 c 41.3s| 1 | 0 | 36911 | - | 740M | 0 |1400 | 109k| 109k| 622 | 27 | 0 | 0 |-7.350000e+01 |-3.500000e+01 | 110.00%| unknown
41.26/41.48 c 41.5s| 1 | 0 | 37038 | - | 741M | 0 |1400 | 109k| 109k| 624 | 28 | 0 | 0 |-6.450000e+01 |-3.500000e+01 | 84.29%| unknown
41.56/41.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.56/41.74 c 41.7s| 1 | 0 | 37446 | - | 741M | 0 |1400 | 109k| 109k| 626 | 29 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
41.66/41.88 c 41.9s| 1 | 0 | 37540 | - | 741M | 0 |1400 | 109k| 109k| 630 | 30 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
41.88/42.02 c 42.0s| 1 | 0 | 37611 | - | 742M | 0 |1400 | 109k| 109k| 637 | 31 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
41.98/42.17 c 42.1s| 1 | 0 | 37674 | - | 743M | 0 |1400 | 109k| 109k| 643 | 32 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.06/42.29 c 42.3s| 1 | 0 | 37711 | - | 743M | 0 |1400 | 109k| 109k| 649 | 33 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.26/42.44 c 42.4s| 1 | 0 | 37789 | - | 744M | 0 |1400 | 109k| 109k| 657 | 34 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.46/42.60 c 42.6s| 1 | 0 | 37851 | - | 745M | 0 |1400 | 109k| 109k| 665 | 35 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.56/42.74 c 42.7s| 1 | 0 | 37909 | - | 745M | 0 |1400 | 109k| 109k| 672 | 36 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.76/42.90 c 42.9s| 1 | 0 | 38004 | - | 746M | 0 |1400 | 109k| 109k| 680 | 37 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.87/43.05 c 43.0s| 1 | 0 | 38080 | - | 747M | 0 |1400 | 109k| 109k| 689 | 38 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
43.06/43.20 c 43.2s| 1 | 0 | 38162 | - | 748M | 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
45.45/45.61 o -38
45.45/45.61 c L45.6s| 1 | 0 | 38162 | - | rens| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 47.37%| unknown
45.75/45.94 o -40
45.75/45.94 c L45.9s| 1 | 0 | 38162 | - | alns| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.000000e+01 | 40.00%| unknown
45.75/45.98 c 46.0s| 1 | 0 | 38162 | - | 749M | 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.000000e+01 | 40.00%| unknown
45.75/45.99 o -43
45.75/45.99 c i46.0s| 1 | 0 | 38162 | - | oneopt| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown
45.86/46.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.86/46.06 c 46.0s| 1 | 0 | 38211 | - | 749M | 0 |1400 | 109k| 109k| 702 | 40 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown
46.04/46.20 c 46.2s| 1 | 0 | 38233 | - | 750M | 0 |1400 | 109k| 109k| 710 | 41 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown
49.63/49.87 c 49.9s| 1 | 2 | 38299 | - | 751M | 0 |1400 | 109k| 109k| 710 | 41 | 0 | 27 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown
111.84/112.24 o -44
111.84/112.24 c d 112s| 61 | 62 | 45560 | 122.1 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.400000e+01 | 27.27%| unknown
111.84/112.27 o -46
111.84/112.27 c d 112s| 61 | 62 | 45593 | 122.7 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.600000e+01 | 21.74%| unknown
111.84/112.29 o -47
111.84/112.29 c d 112s| 61 | 62 | 45597 | 122.7 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
153.21/153.75 c 154s| 100 | 97 | 50801 | 126.9 | 911M | 20 |1400 | 109k| 109k| 965 | 1 | 4 | 942 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
184.12/184.79 c 185s| 200 | 175 | 60072 | 109.7 | 988M | 26 |1400 | 109k| 109k|1057 | 1 | 15 |1187 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
199.98/200.63 c 201s| 300 | 257 | 68029 | 99.7 | 1004M | 26 |1400 | 109k| 109k|1133 | 1 | 15 |1224 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
216.43/217.20 c 217s| 400 | 335 | 75886 | 94.4 | 1029M | 26 |1400 | 109k| 109k|1217 | 2 | 19 |1271 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
238.54/239.38 c 239s| 500 | 435 |101399 | 126.6 | 1053M | 26 |1400 | 109k| 109k|1395 | 1 | 111 |1309 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
288.27/289.21 c 289s| 600 | 535 |132195 | 156.9 | 1111M | 26 |1400 | 109k| 109k|1665 | 1 | 256 |1352 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
313.87/314.94 c 315s| 700 | 635 |149737 | 159.5 | 1137M | 26 |1400 | 109k| 109k|1811 | 1 | 376 |1387 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
349.44/350.65 c 351s| 800 | 735 |169396 | 164.2 | 1168M | 26 |1400 | 109k| 109k|2128 | 1 | 510 |1425 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
384.62/385.93 c 386s| 900 | 835 |189922 | 168.7 | 1204M | 26 |1400 | 110k| 109k|2347 | 1 | 622 |1456 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
416.18/417.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
416.18/417.63 c 418s| 1000 | 935 |210758 | 172.7 | 1222M | 26 |1400 | 110k| 109k|2585 | 1 | 760 |1496 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
439.78/441.33 c 441s| 1100 | 1035 |226589 | 171.4 | 1232M | 26 |1400 | 110k| 109k|2716 | 2 | 902 |1532 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
478.94/480.66 c 481s| 1200 | 1135 |244890 | 172.4 | 1235M | 26 |1400 | 110k| 109k|2866 | 1 |1022 |1575 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
490.09/491.81 o -48
490.09/491.81 c d 492s| 1280 | 1187 |257390 | 171.4 |pscostdi| 26 |1400 | 110k| 109k| 0 | 1 |1131 |1601 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
501.84/503.69 c 504s| 1300 | 1207 |261449 | 171.8 | 1251M | 26 |1400 | 110k| 109k|3076 | 1 |1165 |1610 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
528.53/530.41 c 530s| 1400 | 1307 |280039 | 172.8 | 1268M | 26 |1400 | 110k| 109k|3260 | 1 |1339 |1657 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
552.52/554.58 c 555s| 1500 | 1407 |305371 | 178.2 | 1272M | 26 |1400 | 110k| 109k|3356 | 1 |1492 |1682 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
578.72/580.86 c 581s| 1600 | 1507 |321783 | 177.3 | 1295M | 26 |1400 | 111k| 109k|3566 | 1 |1685 |1714 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
591.27/593.48 c 593s| 1700 | 1607 |337622 | 176.2 | 1298M | 26 |1400 | 111k| 109k|3620 | 1 |1868 |1741 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
611.19/613.47 c 613s| 1800 | 1707 |355210 | 176.2 | 1315M | 26 |1400 | 111k| 109k|3692 | 1 |1994 |1806 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
621.95/624.23 c 624s| 1900 | 1807 |370658 | 175.1 | 1320M | 26 |1400 | 111k| 109k|3740 | 1 |2141 |1842 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
667.39/669.89 c 670s| 2000 | 1907 |395734 | 178.8 | 1330M | 26 |1400 | 111k| 109k|4011 | 2 |2293 |1891 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
688.72/691.29 c 691s| 2100 | 2007 |415788 | 179.9 | 1332M | 32 |1400 | 111k| 109k|4078 | 2 |2420 |1952 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
698.50/701.10 c 701s| 2200 | 2107 |429809 | 178.1 | 1335M | 38 |1400 | 111k| 109k|4094 | 1 |2587 |1996 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
725.60/728.26 c 728s| 2300 | 2207 |443570 | 176.3 | 1350M | 42 |1400 | 111k| 109k|4168 | 1 |2656 |2036 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
745.53/748.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
745.53/748.21 c 748s| 2400 | 2295 |458705 | 175.3 | 1355M | 55 |1400 | 112k| 109k|4262 | 1 |2693 |2081 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
773.15/775.92 c 776s| 2500 | 2383 |470320 | 172.9 | 1427M | 61 |1400 | 112k| 109k|4422 | 1 |2719 |2114 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
782.13/784.95 c 785s| 2600 | 2457 |478023 | 169.2 | 1455M | 61 |1400 | 112k| 109k|4512 | 1 |2727 |2120 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
815.23/818.12 c 818s| 2700 | 2533 |487444 | 166.4 | 1502M | 61 |1400 | 112k| 109k|4730 | 1 |2731 |2124 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
862.87/865.92 c 866s| 2800 | 2605 |496114 | 163.6 | 1577M | 65 |1400 | 112k| 109k|5058 | 1 |2742 |2130 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
906.56/909.77 c 910s| 2900 | 2683 |505298 | 161.1 | 1631M | 65 |1400 | 112k| 109k|5373 | 1 |2762 |2139 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
941.96/945.24 c 945s| 3000 | 2753 |512971 | 158.3 | 1670M | 65 |1400 | 112k| 109k|5669 | 1 |2770 |2157 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
960.11/963.40 c 963s| 3100 | 2813 |521203 | 155.8 | 1673M | 65 |1400 | 112k| 109k|5916 | 1 |2787 |2158 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
967.88/971.26 c 971s| 3200 | 2897 |529736 | 153.6 | 1685M | 66 |1400 | 112k| 109k|6131 | 1 |2791 |2168 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
982.04/985.44 c 985s| 3300 | 2969 |537877 | 151.5 | 1693M | 66 |1400 | 112k| 109k|6334 | 0 |2809 |2183 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
994.01/997.41 c 997s| 3400 | 3069 |551079 | 150.9 | 1699M | 66 |1400 | 112k| 109k|6376 | 1 |2818 |2246 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1009.47/1012.97 c 1013s| 3500 | 3163 |561386 | 149.5 | 1703M | 66 |1400 | 112k| 109k|6401 | 5 |2827 |2248 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1033.30/1036.88 c 1037s| 3600 | 3245 |573132 | 148.6 | 1710M | 66 |1400 | 112k| 109k|6531 | 1 |2827 |2251 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1047.57/1051.16 c 1051s| 3700 | 3327 |583302 | 147.4 | 1712M | 66 |1400 | 112k| 109k|6666 | 1 |2838 |2292 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1061.53/1065.16 c 1065s| 3800 | 3409 |593137 | 146.1 | 1714M | 66 |1400 | 112k| 109k|6837 | 0 |2849 |2295 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1090.45/1094.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1090.45/1094.14 c 1094s| 3900 | 3483 |600376 | 144.2 | 1736M | 66 |1400 | 112k| 109k|7017 | 1 |2857 |2295 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1128.33/1132.12 c 1132s| 4000 | 3575 |611420 | 143.3 | 1758M | 66 |1400 | 112k| 109k|7196 | 1 |2931 |2315 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1163.14/1167.08 c 1167s| 4100 | 3657 |620653 | 142.1 | 1761M | 66 |1400 | 112k| 109k|7348 | 1 |2944 |2320 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1212.12/1216.15 c 1216s| 4200 | 3721 |630007 | 140.9 | 1783M | 66 |1400 | 112k| 109k|7587 | 1 |2951 |2320 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1223.27/1227.37 c 1227s| 4300 | 3819 |642670 | 140.6 | 1787M | 66 |1400 | 112k| 109k|7654 | 1 |2976 |2326 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1229.55/1233.64 c 1234s| 4400 | 3917 |653154 | 139.8 | 1811M | 66 |1400 | 112k| 109k|7661 | 1 |2996 |2333 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1266.15/1270.35 c 1270s| 4500 | 4001 |663855 | 139.1 | 1815M | 66 |1400 | 112k| 109k|7788 | 1 |3009 |2335 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1295.67/1299.90 c 1300s| 4600 | 4081 |676095 | 138.7 | 1818M | 66 |1400 | 112k| 109k|7965 | 1 |3020 |2345 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1311.62/1315.99 c 1316s| 4700 | 4169 |685282 | 137.7 | 1824M | 66 |1400 | 112k| 109k|8127 | 1 |3037 |2387 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1325.38/1329.71 c 1330s| 4800 | 4257 |694003 | 136.6 | 1827M | 66 |1400 | 112k| 109k|8222 | 1 |3055 |2426 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1345.93/1350.31 c 1350s| 4900 | 4345 |703133 | 135.7 | 1831M | 66 |1400 | 112k| 109k|8309 | 0 |3058 |2457 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1368.27/1372.77 c 1373s| 5000 | 4439 |712854 | 135.0 | 1832M | 66 |1400 | 112k| 109k|8371 | 1 |3085 |2490 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1388.81/1393.38 c 1393s| 5100 | 4531 |723324 | 134.4 | 1836M | 66 |1400 | 112k| 109k|8457 | 0 |3141 |2528 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1425.90/1430.51 c 1430s| 5200 | 4617 |734094 | 133.8 | 1839M | 66 |1400 | 112k| 109k|8615 | 1 |3174 |2571 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1432.98/1437.61 c 1438s| 5300 | 4715 |744139 | 133.2 | 1858M | 66 |1400 | 112k| 109k|8644 | 1 |3190 |2597 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1457.62/1462.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1457.62/1462.39 c 1462s| 5400 | 4797 |754185 | 132.6 | 1870M | 68 |1400 | 112k| 109k|8789 | 1 |3214 |2641 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1473.87/1478.61 c 1479s| 5500 | 4897 |765676 | 132.3 | 1901M | 68 |1400 | 112k| 109k|8837 | 1 |3241 |2680 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1480.75/1485.50 c 1485s| 5600 | 4995 |776288 | 131.8 | 1904M | 68 |1400 | 112k| 109k|8851 | 1 |3283 |2707 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1531.52/1536.46 c 1536s| 5700 | 5079 |787225 | 131.4 | 1917M | 68 |1400 | 112k| 109k|9190 | 1 |3291 |2724 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1567.02/1572.06 c 1572s| 5800 | 5175 |799238 | 131.2 | 1933M | 68 |1400 | 112k| 109k|9447 | 1 |3318 |2746 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1616.99/1622.20 c 1622s| 5900 | 5265 |809012 | 130.7 | 1948M | 68 |1400 | 112k| 109k|9762 | 1 |3345 |2763 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1651.19/1656.45 c 1656s| 6000 | 5355 |818678 | 130.1 | 1952M | 68 |1400 | 112k| 109k|9873 | 0 |3370 |2777 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1698.86/1704.22 c 1704s| 6100 | 5437 |828960 | 129.6 | 1972M | 68 |1400 | 112k| 109k| 10k| 1 |3399 |2778 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1710.63/1716.08 c 1716s| 6200 | 5529 |839428 | 129.2 | 2008M | 68 |1400 | 112k| 109k| 10k| 1 |3417 |2789 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1726.28/1731.72 c 1732s| 6300 | 5623 |852484 | 129.3 | 2011M | 68 |1400 | 112k| 109k| 10k| 2 |3440 |2792 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1733.46/1738.99 c 1739s| 6400 | 5723 |865455 | 129.3 | 2017M | 68 |1400 | 112k| 109k| 10k| 1 |3476 |2793 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1762.78/1768.38 c 1768s| 6500 | 5813 |881129 | 129.7 | 2030M | 68 |1400 | 112k| 109k| 10k| 1 |3504 |2795 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1793.10/1798.73 c 1799s| 6600 | 5901 |891678 | 129.3 | 2042M | 68 |1400 | 112k| 109k| 10k| 0 |3511 |2796 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1816.64/1822.36 c 1822s| 6700 | 5997 |902464 | 129.0 | 2046M | 68 |1400 | 112k| 109k| 11k| 1 |3536 |2799 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1834.29/1840.01 c 1840s| 6800 | 6083 |911815 | 128.5 | 2048M | 68 |1400 | 112k| 109k| 11k| 1 |3545 |2799 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1847.14/1852.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1847.14/1852.96 c 1853s| 6900 | 6173 |922519 | 128.2 | 2053M | 68 |1400 | 112k| 109k| 11k| 1 |3559 |2799 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1862.10/1867.91 c 1868s| 7000 | 6261 |930957 | 127.6 | 2054M | 68 |1400 | 112k| 109k| 11k| 0 |3579 |2825 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1887.24/1893.14 c 1893s| 7100 | 6353 |941292 | 127.2 | 2058M | 68 |1400 | 112k| 109k| 11k| 1 |3593 |2834 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1916.45/1922.45 c 1922s| 7200 | 6443 |950836 | 126.8 | 2061M | 68 |1400 | 112k| 109k| 11k| 1 |3609 |2843 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1937.11/1943.18 c 1943s| 7300 | 6531 |960674 | 126.4 | 2063M | 68 |1400 | 112k| 109k| 11k| 1 |3640 |2862 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1954.75/1960.89 c 1961s| 7400 | 6623 |970084 | 125.9 | 2086M | 68 |1400 | 112k| 109k| 11k| 1 |3668 |2898 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1961.62/1967.79 c 1968s| 7500 | 6711 |979123 | 125.5 | 2088M | 68 |1400 | 112k| 109k| 11k| 1 |3692 |2901 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1968.10/1974.27 c 1974s| 7600 | 6803 |987570 | 124.9 | 2093M | 68 |1400 | 112k| 109k| 12k| 1 |3702 |2917 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1990.04/1996.22 c 1996s| 7700 | 6889 |995566 | 124.3 | 2097M | 68 |1400 | 112k| 109k| 12k| 1 |3726 |2925 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2020.65/2026.92 c 2027s| 7800 | 6981 | 1006k| 124.1 | 2100M | 68 |1400 | 112k| 109k| 12k| 1 |3747 |2927 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2034.91/2041.23 c 2041s| 7900 | 7073 | 1015k| 123.7 | 2103M | 68 |1400 | 112k| 109k| 12k| 1 |3769 |2931 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2045.98/2052.40 c 2052s| 8000 | 7165 | 1024k| 123.3 | 2106M | 68 |1400 | 112k| 109k| 12k| 1 |3809 |2967 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2081.09/2087.51 c 2087s| 8100 | 7249 | 1032k| 122.8 | 2108M | 68 |1400 | 112k| 109k| 12k| 1 |3825 |3011 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2107.32/2113.80 c 2114s| 8200 | 7335 | 1041k| 122.4 | 2111M | 68 |1400 | 112k| 109k| 12k| 1 |3859 |3041 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2131.35/2138.01 c 2138s| 8300 | 7425 | 1052k| 122.2 | 2152M | 68 |1400 | 112k| 109k| 12k| 1 |3878 |3065 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2162.08/2168.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2162.08/2168.74 c 2169s| 8400 | 7517 | 1062k| 121.9 | 2158M | 68 |1400 | 112k| 109k| 12k| 1 |3907 |3094 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2175.04/2181.73 c 2182s| 8500 | 7609 | 1072k| 121.7 | 2159M | 68 |1400 | 112k| 109k| 13k| 2 |3938 |3121 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2207.37/2214.18 c 2214s| 8600 | 7707 | 1086k| 121.9 | 2175M | 68 |1400 | 112k| 109k| 13k| 1 |3959 |3166 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2215.14/2221.95 c 2222s| 8700 | 7799 | 1096k| 121.7 | 2178M | 68 |1400 | 112k| 109k| 13k| 1 |3979 |3188 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2232.49/2239.38 c 2239s| 8800 | 7885 | 1106k| 121.4 | 2181M | 68 |1400 | 112k| 109k| 13k| 1 |4003 |3231 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2248.16/2255.07 c 2255s| 8900 | 7981 | 1115k| 121.1 | 2186M | 68 |1400 | 112k| 109k| 13k| 1 |4049 |3253 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2267.40/2274.33 c 2274s| 9000 | 8077 | 1125k| 120.8 | 2191M | 68 |1400 | 112k| 109k| 13k| 1 |4080 |3279 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2298.62/2305.69 c 2306s| 9100 | 8173 | 1137k| 120.8 | 2215M | 68 |1400 | 112k| 109k| 13k| 1 |4098 |3333 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2305.11/2312.19 c 2312s| 9200 | 8261 | 1145k| 120.4 | 2219M | 68 |1400 | 112k| 109k| 13k| 1 |4127 |3350 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2313.37/2320.45 c 2320s| 9300 | 8345 | 1154k| 120.0 | 2223M | 68 |1400 | 113k| 109k| 13k| 0 |4166 |3380 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2328.73/2335.88 c 2336s| 9400 | 8435 | 1163k| 119.7 | 2226M | 68 |1400 | 113k| 109k| 13k| 1 |4211 |3407 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2334.23/2341.31 c 2341s| 9500 | 8509 | 1171k| 119.3 | 2229M | 68 |1400 | 113k| 109k| 13k| 1 |4241 |3425 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2354.77/2362.00 c 2362s| 9600 | 8601 | 1181k| 119.1 | 2235M | 68 |1400 | 113k| 109k| 13k| 0 |4268 |3457 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2384.40/2391.63 c 2392s| 9700 | 8689 | 1192k| 119.0 | 2259M | 68 |1400 | 113k| 109k| 14k| 1 |4300 |3484 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2414.02/2421.33 c 2421s| 9800 | 8769 | 1203k| 118.9 | 2261M | 68 |1400 | 113k| 109k| 14k| 1 |4324 |3517 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2417.30/2424.61 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2417.30/2424.61 c (run 1, node 9828) performing user restart
2417.30/2424.61 c
2417.30/2424.62 c (restart) converted 121 cuts from the global cut pool into linear constraints
2417.30/2424.62 c
2417.50/2424.80 c presolving:
2417.82/2425.17 c (round 1, exhaustive) 0 del vars, 7 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 10 chg coeffs, 121 upgd conss, 0 impls, 109499 clqs
2418.00/2425.38 c (round 2, exhaustive) 0 del vars, 149 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 80 chg coeffs, 121 upgd conss, 0 impls, 109499 clqs
2418.40/2425.80 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
2418.40/2425.80 c 0 deleted vars, 154 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 113 changed coefficients
2418.40/2425.80 c 0 implications, 109499 cliques
2418.40/2425.80 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 113044 constraints
2418.40/2425.80 c 7 constraints of type <knapsack>
2418.40/2425.80 c 109499 constraints of type <setppc>
2418.40/2425.80 c 3538 constraints of type <logicor>
2418.40/2425.80 c transformed objective value is always integral (scale: 1)
2418.40/2425.80 c Presolving Time: 3.69
2418.71/2426.03 c transformed 67/100 original solutions to the transformed problem space
2418.71/2426.03 c
2419.10/2426.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2419.10/2426.44 c 2426s| 1 | 0 | 1208k| - | 2053M | 0 |1400 | 113k| 109k| 0 | 0 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2422.70/2430.04 c 2430s| 1 | 0 | 1208k| - | 2053M | 0 |1400 | 113k| 109k| 10 | 1 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2426.18/2433.54 c 2434s| 1 | 0 | 1208k| - | 2053M | 0 |1400 | 113k| 109k| 22 | 2 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2429.97/2437.35 c 2437s| 1 | 0 | 1208k| - | 2053M | 0 |1400 | 113k| 109k| 35 | 3 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2432.26/2439.64 c 2440s| 1 | 0 | 1208k| - | 2053M | 0 |1400 | 113k| 109k| 50 | 4 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2434.46/2441.83 c 2442s| 1 | 0 | 1208k| - | 2053M | 0 |1400 | 113k| 109k| 60 | 5 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2437.35/2444.75 c 2445s| 1 | 0 | 1208k| - | 2053M | 0 |1400 | 113k| 109k| 71 | 6 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2438.55/2445.98 c 2446s| 1 | 0 | 1208k| - | 2065M | 0 |1400 | 113k| 109k| 82 | 7 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2439.55/2446.96 c 2447s| 1 | 0 | 1208k| - | 2078M | 0 |1400 | 113k| 109k| 92 | 8 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2440.14/2447.59 c 2448s| 1 | 0 | 1208k| - | 2091M | 0 |1400 | 113k| 109k| 103 | 9 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2440.84/2448.25 c 2448s| 1 | 0 | 1209k| - | 2103M | 0 |1400 | 113k| 109k| 115 | 10 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2441.04/2448.45 c 2448s| 1 | 0 | 1209k| - | 2114M | 0 |1400 | 113k| 109k| 126 | 11 |4333 |3525 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2446.43/2453.84 c 2454s| 1 | 2 | 1210k| - | 2114M | 0 |1400 | 113k| 109k| 126 | 11 |4338 |3560 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2492.79/2500.38 c 2500s| 100 | 99 | 1220k| 118.8 | 2115M | 42 |1400 | 113k| 109k| 260 | 1 |4399 |4073 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2547.24/2554.90 c 2555s| 200 | 199 | 1235k| 119.2 | 2120M | 42 |1400 | 113k| 109k| 433 | 1 |4447 |4381 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2613.97/2621.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2613.97/2621.86 c 2622s| 300 | 299 | 1250k| 119.5 | 2134M | 42 |1400 | 113k| 109k| 681 | 1 |4537 |4524 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2669.04/2677.11 c 2677s| 400 | 399 | 1264k| 119.6 | 2194M | 48 |1400 | 113k| 109k| 960 | 1 |4626 |4683 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2694.66/2702.79 c 2703s| 500 | 499 | 1278k| 119.9 | 2197M | 55 |1400 | 113k| 109k|1287 | 1 |4670 |4712 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2708.31/2716.49 c 2716s| 600 | 597 | 1288k| 119.7 | 2198M | 57 |1400 | 113k| 109k|1504 | 1 |4732 |4877 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2734.14/2742.30 c 2742s| 700 | 695 | 1299k| 119.6 | 2199M | 57 |1400 | 113k| 109k|1664 | 1 |4774 |4936 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2800.96/2809.31 c 2809s| 800 | 793 | 1316k| 120.1 | 2275M | 57 |1400 | 113k| 109k|2165 | 1 |4829 |4988 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2855.83/2864.35 c 2864s| 900 | 891 | 1329k| 120.2 | 2373M | 57 |1400 | 113k| 109k|2677 | 1 |4886 |4994 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2901.31/2909.92 c 2910s| 1000 | 989 | 1343k| 120.3 | 2375M | 57 |1400 | 113k| 109k|3128 | 1 |4952 |5007 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
2948.69/2957.40 c 2957s| 1100 | 1083 | 1356k| 120.4 | 2387M | 57 |1400 | 113k| 109k|3385 | 5 |5035 |5023 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3048.74/3057.74 c 3058s| 1200 | 1173 | 1370k| 120.6 | 2523M | 57 |1400 | 113k| 109k|4026 | 1 |5055 |5066 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3107.18/3116.37 c 3116s| 1300 | 1267 | 1384k| 120.8 | 2548M | 57 |1400 | 113k| 109k|4581 | 1 |5072 |5082 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3136.31/3145.56 c 3146s| 1400 | 1361 | 1396k| 120.8 | 2553M | 57 |1400 | 113k| 109k|4775 | 1 |5137 |5121 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3214.72/3224.17 c 3224s| 1500 | 1459 | 1410k| 121.0 | 2610M | 57 |1400 | 113k| 109k|5302 | 1 |5195 |5203 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3269.76/3279.36 c 3279s| 1600 | 1551 | 1425k| 121.2 | 2647M | 57 |1400 | 113k| 109k|5821 | 1 |5226 |5227 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3324.51/3334.23 c 3334s| 1700 | 1647 | 1437k| 121.2 | 2726M | 57 |1400 | 113k| 109k|6239 | 1 |5286 |5299 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3370.39/3380.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3370.39/3380.25 c 3380s| 1800 | 1745 | 1450k| 121.2 | 2728M | 57 |1400 | 114k| 109k|6480 | 1 |5351 |5301 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3402.01/3412.00 c 3412s| 1900 | 1837 | 1459k| 121.0 | 2732M | 57 |1400 | 114k| 109k|6732 | 1 |5393 |5355 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3421.07/3431.06 c 3431s| 2000 | 1921 | 1467k| 120.6 | 2735M | 61 |1400 | 114k| 109k|6844 | 1 |5420 |5402 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3473.83/3483.96 c 3484s| 2100 | 2015 | 1476k| 120.4 | 2747M | 61 |1400 | 114k| 109k|7172 | 3 |5456 |5434 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3522.50/3532.72 c 3533s| 2200 | 2113 | 1487k| 120.3 | 2750M | 61 |1400 | 114k| 109k|7626 | 1 |5494 |5442 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3580.44/3590.83 c 3591s| 2300 | 2207 | 1498k| 120.2 | 2765M | 61 |1400 | 114k| 109k|7952 | 1 |5538 |5480 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
3586.63/3597.01 c
3586.63/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.63/3597.01 c Solving Time (sec) : 3596.99
3586.63/3597.01 c Solving Nodes : 2315 (total of 12143 nodes in 2 runs)
3586.63/3597.01 c Primal Bound : -4.80000000000000e+01 (841 solutions)
3586.63/3597.01 c Dual Bound : -5.60000000000000e+01
3586.63/3597.01 c Gap : 16.67 %
3586.63/3597.03 s SATISFIABLE
3586.63/3597.03 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3586.63/3597.03 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53
3586.63/3597.03 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3586.63/3597.03 v -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3586.63/3597.03 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3586.63/3597.03 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3586.63/3597.03 v -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3586.63/3597.03 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
3586.63/3597.03 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208
3586.63/3597.03 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
3586.63/3597.03 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249
3586.63/3597.03 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270
3586.63/3597.03 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
3586.63/3597.03 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312
3586.63/3597.03 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333
3586.63/3597.03 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
3586.63/3597.03 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3586.63/3597.03 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396
3586.63/3597.03 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3586.63/3597.03 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3586.63/3597.03 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
3586.63/3597.03 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480
3586.63/3597.03 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3586.63/3597.03 v x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3586.63/3597.03 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3586.63/3597.03 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3586.63/3597.03 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3586.63/3597.03 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
3586.63/3597.03 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
3586.63/3597.03 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
3586.63/3597.03 v -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
3586.63/3597.03 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
3586.63/3597.03 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
3586.63/3597.03 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
3586.63/3597.03 v -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
3586.63/3597.03 v -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
3586.63/3597.03 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
3586.63/3597.03 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
3586.63/3597.03 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
3586.63/3597.03 v -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
3586.63/3597.03 v -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3586.63/3597.03 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899
3586.63/3597.03 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
3586.63/3597.03 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941
3586.63/3597.03 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
3586.63/3597.03 v -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983
3586.63/3597.03 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
3586.63/3597.03 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
3586.63/3597.03 v -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
3586.63/3597.03 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
3586.63/3597.03 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075
3586.63/3597.03 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3586.63/3597.03 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
3586.63/3597.03 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129
3586.63/3597.03 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
3586.63/3597.03 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165
3586.63/3597.03 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182
3586.63/3597.03 v -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
3586.63/3597.03 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
3586.63/3597.03 v -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
3586.63/3597.03 v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
3586.63/3597.03 v -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
3586.63/3597.03 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
3586.63/3597.03 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
3586.63/3597.03 v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
3586.63/3597.03 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
3586.63/3597.03 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
3586.63/3597.03 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
3586.63/3597.03 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398
3586.63/3597.03 v -x1399 -x1400
3586.63/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3586.63/3597.03 c Total Time : 3596.99
3586.63/3597.03 c solving : 3596.99
3586.63/3597.03 c presolving : 3.69 (included in solving)
3586.63/3597.03 c reading : 0.46 (included in solving)
3586.63/3597.03 c copying : 2.62 (21 #copies) (minimal 0.11, maximal 0.15, average 0.12)
3586.63/3597.03 c Original Problem :
3586.63/3597.03 c Problem name : HOME/instance-4484778-1751297256.opb
3586.63/3597.03 c Variables : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.63/3597.03 c Constraints : 109379 initial, 109379 maximal
3586.63/3597.03 c Objective : minimize, 1400 non-zeros (abs.min = 1, abs.max = 1)
3586.63/3597.03 c Presolved Problem :
3586.63/3597.03 c Problem name : t_HOME/instance-4484778-1751297256.opb
3586.63/3597.03 c Variables : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.63/3597.03 c Constraints : 113044 initial, 114181 maximal
3586.63/3597.03 c Objective : minimize, 1400 non-zeros (abs.min = 1, abs.max = 1)
3586.63/3597.03 c Nonzeros : 338824 constraint, 220674 clique table
3586.63/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.63/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c domcol : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c dualsparsify : 0.73 0.00 1 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c gateextraction : 0.18 0.00 3 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c milp : 0.52 0.00 1 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c sparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c probing : 0.62 0.00 1 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c knapsack : 0.04 0.00 9 0 0 0 0 0 0 0 1 31
3586.63/3597.04 c setppc : 0.35 0.01 12 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c linear : 0.44 0.04 4 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c logicor : 0.45 0.03 8 0 0 0 0 0 154 0 0 82
3586.63/3597.04 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c components : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c root node : - - - 0 - - 0 - - - - -
3586.63/3597.04 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.63/3597.04 c benderslp : 0 0 0 0 11694 0 0 3763 0 0 0 0 0 0 0
3586.63/3597.04 c integral : 0 0 0 0 11694 0 0 3763 0 0 246 0 0 159 23186
3586.63/3597.04 c knapsack : 7+ 8 11 14947 0 0 0 0 195 1 1263 0 0 0 0
3586.63/3597.04 c setppc : 109499 109499 51 112794 0 0 0 3757 337386 0 360588 0 0 0 0
3586.63/3597.04 c logicor : 3538+ 4675 11 23838 0 0 0 0 60 178 11 0 0 0 0
3586.63/3597.04 c benders : 0 0 0 0 0 0 0 1054 0 0 0 0 0 0 0
3586.63/3597.04 c fixedvar : 0 0 0 0 0 0 0 1054 0 0 0 0 0 0 0
3586.63/3597.04 c countsols : 0 0 0 0 0 0 0 1054 0 0 0 0 0 0 0
3586.63/3597.04 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.63/3597.04 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.63/3597.04 c integral : 344.34 0.00 0.00 0.00 344.32 0.00 0.00 0.03 0.00 0.00
3586.63/3597.04 c knapsack : 0.09 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.02
3586.63/3597.04 c setppc : 16.51 0.01 0.24 9.38 0.00 0.00 0.00 3.62 0.07 3.18
3586.63/3597.04 c logicor : 0.67 0.03 0.02 0.50 0.00 0.00 0.00 0.00 0.00 0.12
3586.63/3597.04 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.63/3597.04 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.63/3597.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.63/3597.04 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.63/3597.04 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.63/3597.04 c dualfix : 4 0 0 0
3586.63/3597.04 c genvbounds : 0 0 0 0
3586.63/3597.04 c nlobbt : 0 0 0 0
3586.63/3597.04 c obbt : 0 0 0 0
3586.63/3597.04 c probing : 0 0 0 0
3586.63/3597.04 c pseudoobj : 34013 0 0 0
3586.63/3597.04 c redcost : 10307 0 0 106
3586.63/3597.04 c rootredcost : 3 0 0 0
3586.63/3597.04 c symmetry : 0 0 0 0
3586.63/3597.04 c vbounds : 32432 0 0 0
3586.63/3597.04 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.63/3597.04 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.63/3597.04 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.01
3586.63/3597.04 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.63/3597.04 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.63/3597.04 c probing : 0.62 0.00 0.62 0.00 0.00 0.00
3586.63/3597.04 c pseudoobj : 1.65 0.00 0.00 1.64 0.00 0.00
3586.63/3597.04 c redcost : 0.25 0.00 0.00 0.24 0.00 0.00
3586.63/3597.04 c rootredcost : 0.03 0.00 0.00 0.02 0.00 0.00
3586.63/3597.04 c symmetry : 0.10 0.00 0.06 0.03 0.00 0.01
3586.63/3597.04 c vbounds : 0.07 0.00 0.01 0.04 0.00 0.01
3586.63/3597.04 c Symmetry :
3586.63/3597.04 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.63/3597.04 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.63/3597.04 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.63/3597.04 c shadow tree time : 0.00 s
3586.63/3597.04 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.63/3597.04 c propagation : 0.00 179 112 - 124 34.3 0 0.0 - - -
3586.63/3597.04 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.63/3597.04 c bound exceed. LP : 7.20 2275 1080 - 18920 242.4 0 0.0 15 201.5 4606
3586.63/3597.04 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.63/3597.04 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.63/3597.04 c applied globally : 1.69 - - 0 5523 35.5 - - 15 - -
3586.63/3597.04 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.63/3597.04 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.63/3597.04 c cut pool : 3.26 - 5207 101 - - 93254 158070 - - - - - (maximal pool size: 5176)
3586.63/3597.04 c aggregation : 11.48 0.00 1995 51 0 0 14 88 0 3 3 0 0
3586.63/3597.04 c > cmir : - - - - - - - 21 0 0 0 0 -
3586.63/3597.04 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.63/3597.04 c > knapsackcover : - - - - - - - 67 0 3 3 0 -
3586.63/3597.04 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c clique : 0.87 0.00 51 51 0 0 465 1518 0 606 606 0 0
3586.63/3597.04 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c gomory : 2406.44 0.00 1789 20 0 0 86771 123606 1330 7066 7049 17 0
3586.63/3597.04 c > gomorymi : - - - - - - - 40098 665 524 515 9 -
3586.63/3597.04 c > strongcg : - - - - - - - 83508 665 6542 6534 8 -
3586.63/3597.04 c impliedbounds : 3.30 0.00 1996 51 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c mcf : 0.08 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c multilinear : 0.00 0.00 473 51 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c rapidlearning : 1.14 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c rlt : 0.00 0.00 606 20 0 0 0 0 0 0 0 0 0
3586.63/3597.04 c zerohalf : 14.54 0.00 1799 31 0 0 7830 32858 496 14485 14288 197 0
3586.63/3597.04 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.63/3597.04 c hybrid : 0.12 0.00 3007 52 22160 0 137736 836 0 3934
3586.63/3597.04 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c Pricers : ExecTime SetupTime Calls Vars
3586.63/3597.04 c problem variables: 0.00 - 0 0
3586.63/3597.04 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.63/3597.04 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c relpscost : 344.30 0.00 11694 0 0 0 246 0 159 23186
3586.63/3597.04 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.63/3597.04 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.63/3597.04 c LP solutions : 0.00 - - 0 0
3586.63/3597.04 c relax solutions : 0.00 - - 0 0
3586.63/3597.04 c pseudo solutions : 0.00 - - 0 0
3586.63/3597.04 c strong branching : 1.54 - - 277 0
3586.63/3597.04 c actconsdiving : 0.00 0.00 0 0 0
3586.63/3597.04 c adaptivediving : 5.20 0.00 76 4 0
3586.63/3597.04 c alns : 2.04 0.00 6 1 1
3586.63/3597.04 c bound : 0.00 0.00 0 0 0
3586.63/3597.04 c clique : 0.25 0.00 1 1 1
3586.63/3597.04 c coefdiving : 0.00 0.00 0 0 0
3586.63/3597.04 c completesol : 0.00 0.00 0 0 0
3586.63/3597.04 c conflictdiving : 13.82 0.00 180 0 0
3586.63/3597.04 c crossover : 2.46 0.00 6 2 0
3586.63/3597.04 c dins : 0.00 0.00 0 0 0
3586.63/3597.04 c distributiondivin: 27.26 0.00 180 2 0
3586.63/3597.04 c dps : 0.00 0.00 0 0 0
3586.63/3597.04 c dualval : 0.00 0.00 0 0 0
3586.63/3597.04 c farkasdiving : 0.00 0.00 0 0 0
3586.63/3597.04 c feasjump : 0.00 0.00 0 0 0
3586.63/3597.04 c feaspump : 0.00 0.00 0 0 0
3586.63/3597.04 c fixandinfer : 0.00 0.00 0 0 0
3586.63/3597.04 c fracdiving : 12.81 0.00 180 0 0
3586.63/3597.04 c gins : 0.15 0.00 0 0 0
3586.63/3597.04 c guideddiving : 12.29 0.00 180 1 0
3586.63/3597.04 c indcoefdiving : 0.00 0.00 0 0 0
3586.63/3597.04 c indicator : 0.01 0.00 0 0 0
3586.63/3597.04 c indicatordiving : 0.00 0.00 0 0 0
3586.63/3597.04 c indoneopt : 0.01 0.00 0 0 0
3586.63/3597.04 c indrounding : 0.00 0.00 0 0 0
3586.63/3597.04 c indtwoopt : 0.00 0.00 0 0 0
3586.63/3597.04 c intdiving : 0.00 0.00 0 0 0
3586.63/3597.04 c intshifting : 0.00 0.00 0 0 0
3586.63/3597.04 c linesearchdiving : 14.48 0.00 180 2 0
3586.63/3597.04 c localbranching : 0.00 0.00 0 0 0
3586.63/3597.04 c locks : 0.13 0.00 1 0 0
3586.63/3597.04 c lpface : 0.03 0.00 0 0 0
3586.63/3597.04 c mpec : 0.00 0.00 0 0 0
3586.63/3597.04 c multistart : 0.00 0.00 0 0 0
3586.63/3597.04 c mutation : 0.00 0.00 0 0 0
3586.63/3597.04 c nlpdiving : 0.00 0.00 0 0 0
3586.63/3597.04 c objpscostdiving : 30.68 0.00 91 168 0
3586.63/3597.04 c octane : 0.00 0.00 0 0 0
3586.63/3597.04 c ofins : 0.00 0.00 0 0 0
3586.63/3597.04 c oneopt : 0.04 0.00 4 1 1
3586.63/3597.04 c padm : 0.00 0.00 0 0 0
3586.63/3597.04 c proximity : 0.00 0.00 0 0 0
3586.63/3597.04 c pscostdiving : 24.44 0.00 180 20 4
3586.63/3597.04 c randrounding : 4.56 0.00 2776 42 0
3586.63/3597.04 c rens : 3.10 0.00 2 1 1
3586.63/3597.04 c reoptsols : 0.00 0.00 0 0 0
3586.63/3597.04 c repair : 0.00 0.00 0 0 0
3586.63/3597.04 c rins : 3.00 0.00 7 6 0
3586.63/3597.04 c rootsoldiving : 33.51 0.00 91 116 0
3586.63/3597.04 c rounding : 7.09 0.00 1709 0 0
3586.63/3597.04 c scheduler : 0.00 0.00 0 0 0
3586.63/3597.04 c shiftandpropagate: 0.00 0.00 0 0 0
3586.63/3597.04 c shifting : 4.42 0.00 839 0 0
3586.63/3597.04 c simplerounding : 0.31 0.00 14701 39 0
3586.63/3597.04 c smallcard : 0.00 0.00 0 0 0
3586.63/3597.04 c subnlp : 0.02 0.00 0 0 0
3586.63/3597.04 c trivial : 0.01 0.00 4 1 1
3586.63/3597.04 c trivialnegation : 0.00 0.00 0 0 0
3586.63/3597.04 c trustregion : 0.00 0.00 0 0 0
3586.63/3597.04 c trysol : 0.01 0.00 0 0 0
3586.63/3597.04 c twoopt : 0.00 0.00 0 0 0
3586.63/3597.04 c undercover : 0.00 0.00 0 0 0
3586.63/3597.04 c vbounds : 0.36 0.00 2 0 0
3586.63/3597.04 c veclendiving : 11.24 0.00 180 0 0
3586.63/3597.04 c zeroobj : 0.00 0.00 0 0 0
3586.63/3597.04 c zirounding : 33.74 0.00 7851 157 0
3586.63/3597.04 c other solutions : - - - 0 -
3586.63/3597.04 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.63/3597.04 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.63/3597.04 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.63/3597.04 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.63/3597.04 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.63/3597.04 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.63/3597.04 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.63/3597.04 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.63/3597.04 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.63/3597.04 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.63/3597.04 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.63/3597.04 c primal LP : 11.79 1544 0 0.00 0.00 11.79 1544
3586.63/3597.04 c dual LP : 383.23 15341 1099930 72.23 2870.17 0.98 113
3586.63/3597.04 c lex dual LP : 0.00 0 0 0.00 -
3586.63/3597.04 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.63/3597.04 c resolve instable : 0.00 0 0 0.00 -
3586.63/3597.04 c diving/probing LP: 144.00 7918 401210 50.67 2786.16
3586.63/3597.04 c strong branching : 206.81 5486 526236 95.92 2544.55 - - 1039
3586.63/3597.04 c (at root node) : - 62 8546 137.84 -
3586.63/3597.04 c conflict analysis: 2.70 473 4606 9.74 1704.39
3586.63/3597.04 c B&B Tree :
3586.63/3597.04 c number of runs : 2
3586.63/3597.04 c nodes : 2315 (2267 internal, 48 leaves)
3586.63/3597.04 c feasible leaves : 0
3586.63/3597.04 c infeas. leaves : 0
3586.63/3597.04 c objective leaves : 47
3586.63/3597.04 c nodes (total) : 12143 (11593 internal, 550 leaves)
3586.63/3597.04 c nodes left : 2221
3586.63/3597.04 c max depth : 61
3586.63/3597.04 c max depth (total): 68
3586.63/3597.04 c backtracks : 386 (16.7%)
3586.63/3597.04 c early backtracks : 0 (0.0%)
3586.63/3597.04 c nodes exc. ref. : 0 (0.0%)
3586.63/3597.04 c delayed cutoffs : 0
3586.63/3597.04 c repropagations : 1 (1 domain reductions, 0 cutoffs)
3586.63/3597.04 c avg switch length: 4.28
3586.63/3597.04 c switching time : 39.89
3586.63/3597.04 c Root Node :
3586.63/3597.04 c First LP value : -7.00000000000000e+02
3586.63/3597.04 c First LP Iters : 1400 (2214.50 Iter/sec)
3586.63/3597.04 c First LP Time : 0.63
3586.63/3597.04 c Final Dual Bound : -5.60000000000000e+01
3586.63/3597.04 c Final Root Iters : 40637
3586.63/3597.04 c Root LP Estimate : -5.07062058742822e+01
3586.63/3597.04 c Solution :
3586.63/3597.04 c Solutions found : 841 (9 improvements)
3586.63/3597.04 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.65 seconds, depth 0, found by <trivial>)
3586.63/3597.04 c Gap First Sol. : infinite
3586.63/3597.04 c Gap Last Sol. : 16.67 %
3586.63/3597.04 c Primal Bound : -4.80000000000000e+01 (in run 1, after 1280 nodes, 491.79 seconds, depth 31, found by <pscostdiving>)
3586.63/3597.04 c Dual Bound : -5.60000000000000e+01
3586.63/3597.04 c Gap : 16.67 %
3586.63/3597.04 c Integrals : Total Avg%
3586.63/3597.04 c primal-dual : 55949.57 15.55
3586.63/3597.04 c primal-ref : - - (not evaluated)
3586.63/3597.04 c dual-ref : - - (not evaluated)
3586.92/3597.30 c Time complete: 3586.93.
OK -48
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: 63794 MiB (60046 MiB free)
memory of node 1: 64507 MiB (62586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484778-1751297256/watcher-4484778-1751297256 -o /tmp/evaluation-result-4484778-1751297256/solver-4484778-1751297256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751293853-42124 --watchdog 3760 pbscip -f HOME/instance-4484778-1751297256.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=43169, runsolver pid=43166
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 4.09 4.13 4.09 5/251 43170
/proc/meminfo: memFree=125575696/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=56264 memory=28672 CPUtime=0.1 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 4243 0 0 0 9 1 0 0 20 0 1 0 45405376 57614336 7168 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 14066 7168 3232 3530 0 5517 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56264 KiB
Current children cumulated memory: 28672 KiB
[startup+0.213136 s]*
/proc/loadavg: 4.09 4.13 4.09 5/251 43170
/proc/meminfo: memFree=125559820/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=68704 memory=40832 CPUtime=0.2 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 7288 0 0 0 19 1 0 0 20 0 1 0 45405376 70352896 10208 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 17176 10208 3232 3530 0 8627 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68704 KiB
Current children cumulated memory: 40832 KiB
[startup+0.313149 s]*
/proc/loadavg: 4.09 4.13 4.09 5/251 43170
/proc/meminfo: memFree=125551756/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=80844 memory=52480 CPUtime=0.31 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 10196 0 0 0 29 2 0 0 20 0 1 0 45405376 82784256 13120 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 20211 13120 3232 3530 0 11662 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 52480 KiB
[startup+0.700334 s]
/proc/loadavg: 4.09 4.13 4.09 5/251 43170
/proc/meminfo: memFree=125519504/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=175548 memory=148044 CPUtime=0.68 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 34118 0 0 0 59 9 0 0 20 0 1 0 45405376 179761152 37011 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 43887 37011 3584 3530 0 35338 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 175548 KiB
Current children cumulated memory: 148044 KiB
[startup+1.50038 s]
/proc/loadavg: 4.09 4.13 4.09 5/251 43170
/proc/meminfo: memFree=125438864/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=206896 memory=178800 CPUtime=1.48 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 50234 0 0 0 135 13 0 0 20 0 1 0 45405376 211861504 44700 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 51724 44700 3712 3530 0 43175 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 206896 KiB
Current children cumulated memory: 178800 KiB
[startup+3.11288 s]
/proc/loadavg: 4.08 4.13 4.09 5/251 43170
/proc/meminfo: memFree=125215188/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=450940 memory=393944 CPUtime=3.08 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 69365 0 0 0 288 20 0 0 20 0 1 0 45405376 461762560 98486 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 112735 98486 3744 3530 0 104186 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 450940 KiB
Current children cumulated memory: 393944 KiB
[startup+6.30035 s]
/proc/loadavg: 4.08 4.13 4.09 5/251 43170
/proc/meminfo: memFree=125062228/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=610016 memory=539572 CPUtime=6.26 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 107185 0 0 0 600 26 0 0 20 0 1 0 45405376 624656384 134893 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 152504 134893 3936 3530 0 143955 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 610016 KiB
Current children cumulated memory: 539572 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.13 4.09 5/251 43170
/proc/meminfo: memFree=125041876/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=645328 memory=561036 CPUtime=12.65 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 109482 0 0 0 1238 27 0 0 20 0 1 0 45405376 660815872 140259 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 161332 140259 3936 3530 0 152783 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 645328 KiB
Current children cumulated memory: 561036 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.12 4.09 5/251 43171
/proc/meminfo: memFree=125041876/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=728856 memory=562828 CPUtime=25.41 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 109933 0 0 0 2514 27 0 0 20 0 1 0 45405376 746348544 140707 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 182214 140707 3936 3530 0 173665 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 728856 KiB
Current children cumulated memory: 562828 KiB
[startup+51.113 s]
/proc/loadavg: 4.12 4.13 4.09 5/251 43171
/proc/meminfo: memFree=124900580/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=958528 memory=695948 CPUtime=50.94 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 143188 0 0 0 5062 32 0 0 20 0 1 0 45405376 981532672 173987 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 239632 173987 3968 3530 0 231083 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 958528 KiB
Current children cumulated memory: 695948 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 43173
/proc/meminfo: memFree=124877164/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=996496 memory=696076 CPUtime=101.98 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 143224 0 0 0 10166 32 0 0 20 0 1 0 45405376 1020411904 174019 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 249124 174019 3968 3530 0 240575 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 996496 KiB
Current children cumulated memory: 696076 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 43175
/proc/meminfo: memFree=124780600/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=1091648 memory=750288 CPUtime=161.79 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 173453 0 0 0 16142 37 0 0 20 0 1 0 45405376 1117847552 187572 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 272912 187572 3968 3530 0 264363 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1091648 KiB
Current children cumulated memory: 750288 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 43222
/proc/meminfo: memFree=125704548/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=1216008 memory=814160 CPUtime=221.59 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 189682 0 0 0 22118 41 0 0 20 0 1 0 45405376 1245192192 203540 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 304002 203540 4096 3530 0 295453 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1216008 KiB
Current children cumulated memory: 814160 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/250 43224
/proc/meminfo: memFree=125548988/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=1250304 memory=817232 CPUtime=281.39 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 190433 0 0 0 28098 41 0 0 20 0 1 0 45405376 1280311296 204308 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 312576 204308 4096 3530 0 304027 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1250304 KiB
Current children cumulated memory: 817232 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 43226
/proc/meminfo: memFree=125431872/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=1285304 memory=823760 CPUtime=341.17 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 192074 0 0 0 34076 41 0 0 20 0 1 0 45405376 1316151296 205940 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 321326 205940 4096 3530 0 312777 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1285304 KiB
Current children cumulated memory: 823760 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 43275
/proc/meminfo: memFree=126051184/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=1338624 memory=845548 CPUtime=400.95 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 193933 0 0 0 40053 42 0 0 20 0 1 0 45405376 1370750976 211387 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 334656 211387 4096 3530 0 326107 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 1338624 KiB
Current children cumulated memory: 845548 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/251 43282
/proc/meminfo: memFree=125963124/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=1377544 memory=884372 CPUtime=460.7 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 211342 0 0 0 46025 45 0 0 20 0 1 0 45405376 1410605056 221093 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 344386 221093 4096 3530 0 335837 0
################
# More data... #
################
/proc/loadavg: 4.34 4.19 4.17 5/251 43469
/proc/meminfo: memFree=123007428/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2815380 memory=1934256 CPUtime=3212.91 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 383461 0 0 0 321210 81 0 0 20 0 1 0 45405376 2882949120 483564 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 703845 483564 4096 3530 0 695296 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 2815380 KiB
Current children cumulated memory: 1934256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.72 4.33 4.22 5/251 43471
/proc/meminfo: memFree=122978860/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2846204 memory=1934256 CPUtime=3272.75 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 383471 0 0 0 327194 81 0 0 20 0 1 0 45405376 2914512896 483564 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 711551 483564 4096 3530 0 703002 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 2846204 KiB
Current children cumulated memory: 1934256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.29 4.21 5/250 43473
/proc/meminfo: memFree=122936508/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2921132 memory=1947680 CPUtime=3332.59 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384394 0 0 0 333178 81 0 0 20 0 1 0 45405376 2991239168 486920 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 730283 486920 4096 3530 0 721734 0
Current children cumulated CPU time: 3332.59 s
Current children cumulated vsize: 2921132 KiB
Current children cumulated memory: 1947680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.25 4.20 5/250 43478
/proc/meminfo: memFree=122836276/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2921132 memory=1962344 CPUtime=3392.43 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384698 0 0 0 339162 81 0 0 20 0 1 0 45405376 2991239168 490586 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 730283 490586 4096 3530 0 721734 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 2921132 KiB
Current children cumulated memory: 1962344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.23 4.19 5/251 43484
/proc/meminfo: memFree=122776944/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2931404 memory=1962344 CPUtime=3452.28 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384711 0 0 0 345147 81 0 0 20 0 1 0 45405376 3001757696 490586 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 732851 490586 4096 3530 0 724302 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 2931404 KiB
Current children cumulated memory: 1962344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.19 4.18 5/252 43487
/proc/meminfo: memFree=122698616/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2931404 memory=1982828 CPUtime=3512.13 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384727 0 0 0 351131 82 0 0 20 0 1 0 45405376 3001757696 495707 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 732851 495707 4096 3530 0 724302 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 2931404 KiB
Current children cumulated memory: 1982828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/252 43489
/proc/meminfo: memFree=122666500/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2941668 memory=1999216 CPUtime=3571.96 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384742 0 0 0 357114 82 0 0 20 0 1 0 45405376 3012268032 499804 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 735417 499804 4096 3530 0 726868 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 2941668 KiB
Current children cumulated memory: 1999216 KiB
[startup+3597.32 s]
# the end of solver process 43169 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.1 s, system=0.849672 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.19 4.18 5/252 43489
/proc/meminfo: memFree=122650116/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2941668 memory=1999216 CPUtime=3573.67 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384742 0 0 0 357285 82 0 0 20 0 1 0 45405376 3012268032 499804 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 735417 499804 4096 3530 0 726868 0
Current children cumulated CPU time: 3573.67 s
Current children cumulated vsize: 2941668 KiB
Current children cumulated memory: 1999216 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.19 4.18 5/253 43491
/proc/meminfo: memFree=122638332/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2941668 memory=1999216 CPUtime=3580.04 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384743 0 0 0 357922 82 0 0 20 0 1 0 45405376 3012268032 499804 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 735417 499804 4096 3530 0 726868 0
Current children cumulated CPU time: 3580.04 s
Current children cumulated vsize: 2941668 KiB
Current children cumulated memory: 1999216 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.19 4.18 5/253 43491
/proc/meminfo: memFree=122637828/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2941668 memory=1999216 CPUtime=3583.23 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384743 0 0 0 358241 82 0 0 20 0 1 0 45405376 3012268032 499804 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 735417 499804 4096 3530 0 726868 0
Current children cumulated CPU time: 3583.23 s
Current children cumulated vsize: 2941668 KiB
Current children cumulated memory: 1999216 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.19 4.18 5/253 43491
/proc/meminfo: memFree=122616712/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2941668 memory=1999216 CPUtime=3584.82 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384743 0 0 0 358400 82 0 0 20 0 1 0 45405376 3012268032 499804 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 735417 499804 4096 3530 0 726868 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 2941668 KiB
Current children cumulated memory: 1999216 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.19 4.18 5/253 43491
/proc/meminfo: memFree=122616964/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2941668 memory=1999216 CPUtime=3585.63 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384743 0 0 0 358481 82 0 0 20 0 1 0 45405376 3012268032 499804 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 735417 499804 4096 3530 0 726868 0
Current children cumulated CPU time: 3585.63 s
Current children cumulated vsize: 2941668 KiB
Current children cumulated memory: 1999216 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.19 4.18 5/253 43491
/proc/meminfo: memFree=122616964/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2941668 memory=1999216 CPUtime=3586.42 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384743 0 0 0 358560 82 0 0 20 0 1 0 45405376 3012268032 499804 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 735417 499804 4096 3530 0 726868 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 2941668 KiB
Current children cumulated memory: 1999216 KiB
[startup+3597.2 s]
/proc/loadavg: 4.14 4.19 4.18 5/253 43491
/proc/meminfo: memFree=122616964/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2941668 memory=1999216 CPUtime=3586.82 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 384995 0 0 0 358600 82 0 0 20 0 1 0 45405376 3012268032 499804 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 735417 499804 4096 3530 0 726868 0
Current children cumulated CPU time: 3586.82 s
Current children cumulated vsize: 2941668 KiB
Current children cumulated memory: 1999216 KiB
[startup+3597.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/253 43491
/proc/meminfo: memFree=122616964/131382116 swapFree=33010684/33010684
[pid=43169] ppid=43166 vsize=2725104 memory=1731544 CPUtime=3586.92 cores=1,3
/proc/43169/stat : 43169 (pbscip) R 43166 43169 42112 0 -1 4194304 385004 0 0 0 358609 83 0 0 20 0 1 0 45405376 2790506496 433573 18446744073709551615 4235264 18693293 140729880128528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53878784 140729880131977 140729880132076 140729880132076 140729880137678 0
/proc/43169/statm: 681276 433573 4096 3530 0 672727 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 2725104 KiB
Current children cumulated memory: 1731544 KiB
Child status: 0
Real time (s): 3597.32
CPU time (s): 3586.94
CPU user time (s): 3586.1
CPU system time (s): 0.849672
CPU usage (%): 99.7116
Max. virtual memory (cumulated for all children) (KiB): 2941668
Max. memory (cumulated for all children) (KiB): 1999216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.1
system time used= 0.849672
maximum resident set size= 1999216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385056
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= 184
involuntary context switches= 1815
# summary of solver processes directly reported to runsolver:
# pid: 43169
# total CPU time (s): 3586.94
# total CPU user time (s): 3586.1
# total CPU system time (s): 0.849672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9913 second user time and 33.6322 second system time
The end
Begin job on nodeC011 at 2025-06-30 17:27:36 IDJOB=4484778 IDBENCH=146669 IDSOLVER=3365 FILE ID=nodeC011/4484778-1751297256 RUNJOBID= nodeC011-1751293853-42124 SLURM_JOB_ID= 9594269 Free space on /tmp= 432988 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484778-1751297256/watcher-4484778-1751297256 -o /tmp/evaluation-result-4484778-1751297256/solver-4484778-1751297256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751293853-42124 --watchdog 3760 pbscip -f HOME/instance-4484778-1751297256.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3ad6c959019bf046c7e592cfae8de121 RANDOM SEED=1439354310 nodeC011 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 : 3661.219 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 : 6984.20 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 : 1795.933 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 : 6984.20 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.566 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 : 6984.20 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 : 3700.000 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 : 6984.20 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 : 3661.225 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 : 6984.20 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.660 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 : 6984.20 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.510 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 : 6984.20 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 : 3700.000 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 125576252 kB MemAvailable: 125503972 kB Buffers: 3280 kB Cached: 736012 kB SwapCached: 0 kB Active: 4803396 kB Inactive: 437136 kB Active(anon): 4519204 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 437136 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21024 kB Writeback: 0 kB AnonPages: 4502980 kB Mapped: 138492 kB Shmem: 17960 kB KReclaimable: 91652 kB Slab: 172460 kB SReclaimable: 91652 kB SUnreclaim: 80808 kB KernelStack: 4096 kB PageTables: 12220 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 5794204 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 3371008 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: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432972 MiB End job on nodeC011 at 2025-06-30 18:27:34