Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | 29 | 3587.05 | 3597.22 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb |
| MD5SUM | ad9f015f2527cb1437d18525e7f300ba |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 72000.5 |
| 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 | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15670 |
| Sum of products size (including duplicates) | 31340 |
| Number of different products | 15670 |
| Sum of products size | 31340 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4498322-1751268268.opb>
0.00/0.03 c original problem has 16170 variables (500 bin, 0 int, 15670 cont) and 16670 constraints
0.00/0.03 c original problem has 15670 implied integral variables (0 bin, 0 int, 15670 cont)
0.00/0.03 c problem read in 0.036 seconds
0.00/0.08 c presolving:
0.09/0.14 c (round 1, medium) 0 del vars, 16670 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.15 c (round 2, fast) 15670 del vars, 16670 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.15 c (round 3, exhaustive) 15670 del vars, 16670 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 0 impls, 0 clqs
0.09/0.16 c (0.2s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.16 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.16 c (0.2s) no symmetry present (symcode time: 0.00)
0.09/0.16 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.09/0.16 c 15670 deleted vars, 16670 deleted constraints, 500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.16 c 0 implications, 0 cliques
0.09/0.16 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 500 constraints
0.09/0.16 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.16 c 500 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.09
0.09/0.16 c problem pure SAT
0.09/0.16 c
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c
0.09/0.16 c # SCIP version 10.0.0
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.16 c limits/time = 3596.998011
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.16 c limits/memory = 27900
0.09/0.16 c
0.09/0.16 c # belongs reading time to solving time?
0.09/0.16 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c timing/reading = TRUE
0.09/0.16 c
0.09/0.16 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.09/0.16 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.16 c reading/opbreader/maxintsize = 47
0.09/0.16 c
0.09/0.16 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.16 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.16 c propagating/genvbounds/timingmask = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c
0.09/0.16 o 500
0.09/0.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.16 c t 0.2s| 1 | 0 | 0 | - | trivial| 0 | 500 | 500 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.000000e+02 | Inf | unknown
0.09/0.17 o 29
0.09/0.17 c p 0.2s| 1 | 0 | 0 | - | locks| 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.900000e+01 | Inf | unknown
1.49/1.58 c 1.6s| 1 | 0 | 10042 | - | 72M | 0 | 500 | 500 | 500 | 0 | 0 | 0 | 0 | 1.505434e+01 | 2.900000e+01 | 92.64%| unknown
1.78/1.83 c 1.8s| 1 | 0 | 10424 | - | 90M | 0 | 500 | 500 | 501 | 1 | 1 | 0 | 0 | 1.506861e+01 | 2.900000e+01 | 92.45%| unknown
1.89/1.99 c 2.0s| 1 | 0 | 10564 | - | 101M | 0 | 500 | 500 | 502 | 2 | 2 | 0 | 0 | 1.507350e+01 | 2.900000e+01 | 92.39%| unknown
2.09/2.18 c 2.2s| 1 | 0 | 10899 | - | 112M | 0 | 500 | 500 | 503 | 3 | 3 | 0 | 0 | 1.507903e+01 | 2.900000e+01 | 92.32%| unknown
2.28/2.36 c 2.4s| 1 | 0 | 11125 | - | 123M | 0 | 500 | 500 | 504 | 4 | 4 | 0 | 0 | 1.508414e+01 | 2.900000e+01 | 92.25%| unknown
2.48/2.56 c 2.6s| 1 | 0 | 11406 | - | 132M | 0 | 500 | 500 | 505 | 5 | 5 | 0 | 0 | 1.508865e+01 | 2.900000e+01 | 92.20%| unknown
2.68/2.76 c 2.8s| 1 | 0 | 11638 | - | 145M | 0 | 500 | 500 | 506 | 6 | 6 | 0 | 0 | 1.509351e+01 | 2.900000e+01 | 92.14%| unknown
2.88/2.96 c 3.0s| 1 | 0 | 11898 | - | 158M | 0 | 500 | 500 | 507 | 7 | 7 | 0 | 0 | 1.509835e+01 | 2.900000e+01 | 92.07%| unknown
3.09/3.16 c 3.2s| 1 | 0 | 12241 | - | 162M | 0 | 500 | 500 | 508 | 8 | 8 | 0 | 0 | 1.510192e+01 | 2.900000e+01 | 92.03%| unknown
3.28/3.37 c 3.4s| 1 | 0 | 12500 | - | 179M | 0 | 500 | 500 | 509 | 9 | 9 | 0 | 0 | 1.510485e+01 | 2.900000e+01 | 91.99%| unknown
3.48/3.59 c 3.6s| 1 | 0 | 12827 | - | 199M | 0 | 500 | 500 | 510 | 10 | 10 | 0 | 0 | 1.510730e+01 | 2.900000e+01 | 91.96%| unknown
3.58/3.68 c 3.7s| 1 | 0 | 12926 | - | 200M | 0 | 500 | 500 | 511 | 11 | 11 | 0 | 0 | 1.510776e+01 | 2.900000e+01 | 91.95%| unknown
3.68/3.79 c 3.8s| 1 | 0 | 13100 | - | 200M | 0 | 500 | 500 | 512 | 12 | 12 | 0 | 0 | 1.510858e+01 | 2.900000e+01 | 91.94%| unknown
3.78/3.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.78/3.89 c 3.9s| 1 | 0 | 13180 | - | 200M | 0 | 500 | 500 | 513 | 13 | 13 | 0 | 0 | 1.510878e+01 | 2.900000e+01 | 91.94%| unknown
3.88/3.99 c 4.0s| 1 | 0 | 13223 | - | 200M | 0 | 500 | 500 | 514 | 14 | 14 | 0 | 0 | 1.510893e+01 | 2.900000e+01 | 91.94%| unknown
3.98/4.09 c 4.1s| 1 | 0 | 13262 | - | 200M | 0 | 500 | 500 | 515 | 15 | 15 | 0 | 0 | 1.510915e+01 | 2.900000e+01 | 91.94%| unknown
4.18/4.21 c 4.2s| 1 | 0 | 13289 | - | 200M | 0 | 500 | 500 | 516 | 16 | 16 | 0 | 0 | 1.510919e+01 | 2.900000e+01 | 91.94%| unknown
4.27/4.34 c 4.3s| 1 | 0 | 13332 | - | 200M | 0 | 500 | 500 | 516 | 17 | 17 | 0 | 0 | 1.510929e+01 | 2.900000e+01 | 91.93%| unknown
4.37/4.45 c 4.5s| 1 | 0 | 13349 | - | 200M | 0 | 500 | 500 | 517 | 18 | 18 | 0 | 0 | 1.510931e+01 | 2.900000e+01 | 91.93%| unknown
4.47/4.57 c 4.6s| 1 | 0 | 13357 | - | 200M | 0 | 500 | 500 | 518 | 19 | 19 | 0 | 0 | 1.510932e+01 | 2.900000e+01 | 91.93%| unknown
4.57/4.68 c 4.7s| 1 | 0 | 13363 | - | 200M | 0 | 500 | 500 | 519 | 20 | 20 | 0 | 0 | 1.510932e+01 | 2.900000e+01 | 91.93%| unknown
45.37/45.58 c 45.6s| 1 | 2 | 13363 | - | 200M | 0 | 500 | 500 | 519 | 20 | 20 | 0 | 21 | 1.512862e+01 | 2.900000e+01 | 91.69%| unknown
101.23/101.58 c 102s| 100 | 101 |146146 |1341.2 | 282M | 30 | 500 | 502 | 521 | 61 | 1 | 2 | 226 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
161.68/162.19 c 162s| 200 | 201 |481892 |2354.4 | 314M | 32 | 500 | 512 | 521 | 82 | 1 | 12 | 307 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
231.50/232.13 c 232s| 300 | 301 |835830 |2750.7 | 313M | 33 | 500 | 518 | 522 | 142 | 6 | 18 | 352 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
286.85/287.64 c 288s| 400 | 401 | 1142k|2828.7 | 314M | 34 | 500 | 526 | 522 | 191 | 1 | 26 | 396 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
339.81/340.75 c 341s| 500 | 501 | 1451k|2882.7 | 314M | 34 | 500 | 535 | 522 | 277 | 1 | 35 | 430 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
381.21/382.26 c 382s| 600 | 601 | 1708k|2830.1 | 314M | 34 | 500 | 547 | 520 | 292 | 1 | 48 | 466 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
414.03/415.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
414.03/415.19 c 415s| 700 | 701 | 1929k|2741.0 | 314M | 35 | 500 | 554 | 516 | 298 | 1 | 57 | 479 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
448.34/449.55 c 450s| 800 | 801 | 2155k|2681.2 | 314M | 36 | 500 | 560 | 521 | 309 | 1 | 64 | 500 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
484.55/485.83 c 486s| 900 | 901 | 2395k|2650.3 | 314M | 37 | 500 | 566 | 520 | 334 | 1 | 70 | 524 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
522.06/523.40 c 523s| 1000 | 1001 | 2648k|2637.6 | 314M | 39 | 500 | 579 | 522 | 365 | 1 | 83 | 544 | 1.537279e+01 | 2.900000e+01 | 88.65%| unknown
537.02/538.42 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
537.02/538.42 c (run 1, node 1049) performing user restart
537.02/538.42 c
537.02/538.42 c (restart) converted 16 cuts from the global cut pool into linear constraints
537.02/538.42 c
537.22/538.63 c presolving:
537.22/538.65 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
537.22/538.65 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
537.22/538.65 c 0 implications, 0 cliques
537.22/538.65 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 599 constraints
537.22/538.65 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
537.22/538.65 c 16 constraints of type <linear>
537.22/538.65 c 583 constraints of type <logicor>
537.22/538.65 c transformed objective value is always integral (scale: 1)
537.22/538.65 c Presolving Time: 0.21
537.32/538.76 c transformed 66/100 original solutions to the transformed problem space
537.32/538.76 c
538.42/539.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
538.42/539.86 c 540s| 1 | 0 | 2759k| - | 289M | 0 | 500 | 599 | 516 | 0 | 0 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
538.92/540.32 c 540s| 1 | 0 | 2759k| - | 291M | 0 | 500 | 599 | 517 | 1 | 1 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
539.22/540.67 c 541s| 1 | 0 | 2759k| - | 297M | 0 | 500 | 599 | 518 | 2 | 2 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
539.62/541.00 c 541s| 1 | 0 | 2760k| - | 301M | 0 | 500 | 599 | 519 | 3 | 3 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
539.91/541.31 c 541s| 1 | 0 | 2760k| - | 312M | 0 | 500 | 599 | 520 | 4 | 4 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
540.22/541.64 c 542s| 1 | 0 | 2760k| - | 317M | 0 | 500 | 599 | 521 | 5 | 5 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
540.52/541.96 c 542s| 1 | 0 | 2761k| - | 322M | 0 | 500 | 599 | 522 | 6 | 6 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
540.91/542.30 c 542s| 1 | 0 | 2761k| - | 318M | 0 | 500 | 599 | 523 | 7 | 7 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
541.21/542.67 c 543s| 1 | 0 | 2761k| - | 318M | 0 | 500 | 599 | 524 | 8 | 8 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
541.51/542.98 c 543s| 1 | 0 | 2762k| - | 315M | 0 | 500 | 599 | 525 | 9 | 9 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
541.81/543.29 c 543s| 1 | 0 | 2762k| - | 319M | 0 | 500 | 599 | 526 | 10 | 10 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
542.11/543.50 c 543s| 1 | 0 | 2762k| - | 319M | 0 | 500 | 599 | 527 | 11 | 11 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
542.31/543.71 c 544s| 1 | 0 | 2762k| - | 319M | 0 | 500 | 599 | 525 | 12 | 12 | 87 | 549 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
543.91/545.36 c 545s| 1 | 2 | 2771k| - | 319M | 0 | 500 | 600 | 525 | 12 | 12 | 88 | 552 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
615.03/616.68 c 617s| 100 | 101 | 3013k|2601.3 | 330M | 25 | 500 | 608 | 520 | 40 | 1 | 99 | 698 | 1.595384e+01 | 2.900000e+01 | 81.77%| unknown
670.10/671.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
670.10/671.88 c 672s| 200 | 201 | 3307k|2628.1 | 362M | 25 | 500 | 620 | 520 | 115 | 5 | 111 | 733 | 1.598544e+01 | 2.900000e+01 | 81.42%| unknown
715.49/717.39 c 717s| 300 | 301 | 3546k|2610.5 | 362M | 25 | 500 | 630 | 518 | 158 | 1 | 121 | 768 | 1.602469e+01 | 2.900000e+01 | 80.97%| unknown
752.00/753.90 c 754s| 400 | 401 | 3732k|2558.9 | 362M | 30 | 500 | 636 | 520 | 164 | 1 | 127 | 804 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
786.91/788.99 c 789s| 500 | 501 | 3935k|2524.7 | 362M | 32 | 500 | 644 | 520 | 164 | 1 | 135 | 839 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
821.42/823.51 c 824s| 600 | 601 | 4155k|2504.9 | 362M | 33 | 500 | 657 | 520 | 169 | 1 | 148 | 864 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
852.95/855.19 c 855s| 700 | 701 | 4361k|2479.4 | 362M | 37 | 500 | 666 | 515 | 179 | 1 | 157 | 878 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
882.37/884.67 c 885s| 800 | 801 | 4560k|2453.1 | 362M | 37 | 500 | 679 | 521 | 191 | 1 | 170 | 888 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
915.39/917.76 c 918s| 900 | 901 | 4773k|2436.5 | 362M | 39 | 500 | 688 | 519 | 223 | 1 | 180 | 898 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
948.31/950.73 c 951s| 1000 | 1001 | 4978k|2417.4 | 362M | 39 | 500 | 700 | 515 | 274 | 1 | 193 | 903 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
981.42/983.91 c 984s| 1100 | 1101 | 5176k|2397.3 | 362M | 39 | 500 | 706 | 521 | 327 | 6 | 204 | 909 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1015.04/1017.63 c 1018s| 1200 | 1201 | 5365k|2374.9 | 362M | 41 | 500 | 717 | 520 | 403 | 1 | 219 | 918 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1046.76/1049.42 c 1049s| 1300 | 1301 | 5573k|2361.9 | 362M | 42 | 500 | 728 | 520 | 456 | 1 | 236 | 925 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1079.47/1082.21 c 1082s| 1400 | 1401 | 5777k|2349.2 | 363M | 42 | 500 | 738 | 520 | 503 | 1 | 249 | 936 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1108.60/1111.45 c 1111s| 1500 | 1501 | 5964k|2330.1 | 363M | 42 | 500 | 742 | 521 | 536 | 1 | 257 | 947 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1140.02/1142.99 c 1143s| 1600 | 1601 | 6168k|2319.1 | 363M | 43 | 500 | 753 | 520 | 563 | 1 | 273 | 960 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1166.55/1169.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1166.55/1169.58 c 1170s| 1700 | 1701 | 6334k|2295.2 | 363M | 43 | 500 | 760 | 520 | 590 | 1 | 284 | 970 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1196.88/1199.92 c 1200s| 1800 | 1801 | 6526k|2282.2 | 363M | 44 | 500 | 769 | 520 | 631 | 1 | 297 | 979 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1221.92/1225.08 c 1225s| 1900 | 1901 | 6706k|2265.6 | 363M | 44 | 500 | 781 | 519 | 637 | 1 | 314 | 987 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1248.95/1252.16 c 1252s| 2000 | 2001 | 6893k|2252.6 | 363M | 44 | 500 | 791 | 521 | 649 | 1 | 328 | 994 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1275.28/1278.53 c 1279s| 2100 | 2101 | 7057k|2233.3 | 363M | 44 | 500 | 799 | 520 | 665 | 1 | 338 |1010 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1304.50/1307.84 c 1308s| 2200 | 2201 | 7253k|2224.9 | 363M | 44 | 500 | 802 | 521 | 683 | 6 | 350 |1021 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1330.93/1334.33 c 1334s| 2300 | 2301 | 7429k|2211.1 | 363M | 44 | 500 | 808 | 520 | 712 | 1 | 365 |1025 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1356.77/1360.25 c 1360s| 2400 | 2401 | 7615k|2200.9 | 364M | 44 | 500 | 808 | 521 | 728 | 1 | 374 |1028 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1378.11/1381.68 c 1382s| 2500 | 2501 | 7764k|2180.8 | 364M | 44 | 500 | 816 | 519 | 728 | 1 | 385 |1036 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1403.45/1407.06 c 1407s| 2600 | 2601 | 7940k|2169.3 | 364M | 44 | 500 | 826 | 521 | 740 | 1 | 399 |1044 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1425.99/1429.64 c 1430s| 2700 | 2701 | 8102k|2154.7 | 364M | 44 | 500 | 828 | 520 | 740 | 1 | 407 |1054 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1449.63/1453.38 c 1453s| 2800 | 2801 | 8268k|2141.7 | 364M | 44 | 500 | 836 | 520 | 753 | 1 | 422 |1059 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1474.16/1477.94 c 1478s| 2900 | 2901 | 8442k|2131.6 | 364M | 45 | 500 | 829 | 520 | 753 | 1 | 431 |1066 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1498.09/1501.93 c 1502s| 3000 | 3001 | 8604k|2118.9 | 364M | 45 | 500 | 838 | 518 | 753 | 1 | 446 |1080 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1524.31/1528.20 c 1528s| 3100 | 3101 | 8790k|2112.7 | 364M | 45 | 500 | 848 | 520 | 753 | 1 | 463 |1090 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1550.23/1554.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1550.23/1554.25 c 1554s| 3200 | 3201 | 8973k|2105.9 | 364M | 45 | 500 | 864 | 521 | 753 | 1 | 482 |1102 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1573.76/1577.82 c 1578s| 3300 | 3301 | 9147k|2097.5 | 364M | 45 | 500 | 873 | 521 | 753 | 1 | 494 |1108 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1595.59/1599.77 c 1600s| 3400 | 3401 | 9306k|2086.2 | 364M | 45 | 500 | 884 | 520 | 753 | 1 | 512 |1112 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1620.92/1625.19 c 1625s| 3500 | 3501 | 9494k|2081.6 | 364M | 46 | 500 | 887 | 521 | 753 | 1 | 523 |1119 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1644.34/1648.61 c 1649s| 3600 | 3601 | 9660k|2072.5 | 364M | 47 | 500 | 897 | 518 | 753 | 1 | 542 |1129 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1666.68/1671.02 c 1671s| 3700 | 3701 | 9827k|2064.1 | 364M | 47 | 500 | 908 | 520 | 753 | 1 | 555 |1134 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1691.70/1696.12 c 1696s| 3800 | 3801 | 10010k|2059.3 | 364M | 47 | 500 | 914 | 521 | 753 | 1 | 570 |1141 | 1.638194e+01 | 2.900000e+01 | 77.02%| unknown
1718.12/1722.64 c 1723s| 3900 | 3901 | 10195k|2055.0 | 364M | 47 | 500 | 920 | 520 | 753 | 1 | 584 |1149 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1740.75/1745.32 c 1745s| 4000 | 4001 | 10355k|2046.0 | 364M | 48 | 500 | 924 | 520 | 753 | 1 | 599 |1158 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1764.38/1769.03 c 1769s| 4100 | 4101 | 10530k|2040.3 | 364M | 48 | 500 | 926 | 520 | 753 | 1 | 615 |1163 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1787.71/1792.42 c 1792s| 4200 | 4201 | 10708k|2035.3 | 364M | 48 | 500 | 928 | 520 | 753 | 1 | 626 |1167 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1812.43/1817.26 c 1817s| 4300 | 4301 | 10884k|2030.2 | 364M | 49 | 500 | 932 | 521 | 765 | 1 | 640 |1172 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1835.56/1840.42 c 1840s| 4400 | 4401 | 11048k|2023.0 | 364M | 49 | 500 | 939 | 521 | 765 | 1 | 657 |1181 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1860.29/1865.21 c 1865s| 4500 | 4501 | 11227k|2018.8 | 365M | 49 | 500 | 941 | 520 | 765 | 1 | 671 |1190 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1883.91/1888.90 c 1889s| 4600 | 4601 | 11395k|2012.8 | 365M | 49 | 500 | 945 | 520 | 765 | 1 | 684 |1199 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1909.64/1914.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1909.64/1914.75 c 1915s| 4700 | 4701 | 11576k|2009.3 | 365M | 49 | 500 | 951 | 521 | 770 | 1 | 697 |1210 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1934.26/1939.43 c 1939s| 4800 | 4801 | 11757k|2005.9 | 365M | 49 | 500 | 963 | 520 | 770 | 1 | 716 |1219 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1958.79/1964.07 c 1964s| 4900 | 4901 | 11928k|2000.9 | 365M | 49 | 500 | 968 | 520 | 770 | 1 | 735 |1230 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
1985.01/1990.38 c 1990s| 5000 | 5001 | 12116k|1999.0 | 366M | 49 | 500 | 974 | 521 | 780 | 1 | 753 |1236 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
2007.34/2012.72 c 2013s| 5100 | 5101 | 12273k|1992.0 | 366M | 49 | 500 | 981 | 520 | 780 | 1 | 772 |1244 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
2029.77/2035.24 c 2035s| 5200 | 5201 | 12428k|1984.8 | 366M | 51 | 500 | 986 | 518 | 806 | 1 | 782 |1255 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
2051.11/2056.66 c 2057s| 5300 | 5301 | 12588k|1978.7 | 366M | 51 | 500 | 993 | 520 | 806 | 1 | 797 |1263 | 1.669490e+01 | 2.900000e+01 | 73.71%| unknown
2074.24/2079.80 c 2080s| 5400 | 5401 | 12755k|1974.0 | 366M | 52 | 500 | 996 | 521 | 806 | 1 | 804 |1273 | 1.698294e+01 | 2.900000e+01 | 70.76%| unknown
2097.17/2102.82 c 2103s| 5500 | 5501 | 12906k|1966.9 | 366M | 55 | 500 | 998 | 521 | 806 | 1 | 815 |1291 | 1.705025e+01 | 2.900000e+01 | 70.09%| unknown
2118.60/2124.35 c 2124s| 5600 | 5601 | 13068k|1961.7 | 366M | 55 | 500 |1005 | 520 | 806 | 1 | 829 |1300 | 1.708821e+01 | 2.900000e+01 | 69.71%| unknown
2139.44/2145.23 c 2145s| 5700 | 5701 | 13219k|1955.0 | 366M | 56 | 500 |1009 | 519 | 812 | 1 | 842 |1307 | 1.709681e+01 | 2.900000e+01 | 69.62%| unknown
2161.17/2167.01 c 2167s| 5800 | 5801 | 13375k|1949.2 | 366M | 57 | 500 |1017 | 520 | 816 | 1 | 857 |1317 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2180.91/2186.84 c 2187s| 5900 | 5901 | 13528k|1943.1 | 366M | 57 | 500 |1019 | 521 | 816 | 1 | 864 |1321 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2202.44/2208.46 c 2208s| 6000 | 6001 | 13683k|1937.6 | 366M | 57 | 500 |1025 | 520 | 835 | 1 | 878 |1327 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2224.28/2230.38 c 2230s| 6100 | 6101 | 13847k|1933.5 | 367M | 57 | 500 |1026 | 520 | 842 | 1 | 886 |1335 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2245.21/2251.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2245.21/2251.33 c 2251s| 6200 | 6201 | 13999k|1927.8 | 367M | 57 | 500 |1027 | 520 | 854 | 1 | 899 |1341 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2265.96/2272.15 c 2272s| 6300 | 6301 | 14148k|1921.7 | 367M | 57 | 500 |1027 | 520 | 866 | 1 | 911 |1352 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2286.99/2293.22 c 2293s| 6400 | 6401 | 14301k|1916.6 | 367M | 57 | 500 |1025 | 520 | 866 | 1 | 920 |1363 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2306.63/2312.95 c 2313s| 6500 | 6501 | 14448k|1910.5 | 367M | 57 | 500 |1022 | 520 | 872 | 1 | 935 |1366 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2327.96/2334.33 c 2334s| 6600 | 6601 | 14602k|1905.7 | 367M | 57 | 500 |1023 | 519 | 884 | 1 | 950 |1373 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2350.49/2357.00 c 2357s| 6700 | 6701 | 14771k|1903.0 | 367M | 57 | 500 |1022 | 519 | 901 | 1 | 957 |1378 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2368.84/2375.32 c 2375s| 6800 | 6801 | 14908k|1896.2 | 367M | 57 | 500 |1024 | 521 | 901 | 1 | 965 |1382 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2389.07/2395.66 c 2396s| 6900 | 6901 | 15059k|1891.3 | 367M | 57 | 500 |1019 | 521 | 906 | 1 | 978 |1387 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2412.10/2418.75 c 2419s| 7000 | 7001 | 15208k|1886.4 | 367M | 57 | 500 |1021 | 520 | 913 | 1 | 989 |1393 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2434.24/2440.98 c 2441s| 7100 | 7101 | 15368k|1882.8 | 367M | 57 | 500 |1026 | 520 | 925 | 1 |1003 |1400 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2453.28/2460.06 c 2460s| 7200 | 7201 | 15504k|1876.5 | 367M | 57 | 500 |1032 | 520 | 943 | 1 |1018 |1400 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2474.81/2481.61 c 2482s| 7300 | 7301 | 15650k|1871.5 | 367M | 57 | 500 |1040 | 520 | 967 | 1 |1029 |1407 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2496.74/2503.60 c 2504s| 7400 | 7401 | 15807k|1867.9 | 367M | 57 | 500 |1042 | 520 | 979 | 1 |1041 |1413 | 1.710351e+01 | 2.900000e+01 | 69.56%| unknown
2519.18/2526.12 c 2526s| 7500 | 7501 | 15962k|1864.2 | 367M | 57 | 500 |1045 | 518 | 984 | 1 |1051 |1424 | 1.714458e+01 | 2.900000e+01 | 69.15%| unknown
2540.02/2547.08 c 2547s| 7600 | 7601 | 16110k|1859.7 | 367M | 58 | 500 |1042 | 520 | 989 | 1 |1063 |1432 | 1.715676e+01 | 2.900000e+01 | 69.03%| unknown
2561.85/2568.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2561.85/2568.91 c 2569s| 7700 | 7701 | 16262k|1855.9 | 367M | 58 | 500 |1050 | 520 |1008 | 1 |1079 |1442 | 1.717472e+01 | 2.900000e+01 | 68.85%| unknown
2582.78/2589.97 c 2590s| 7800 | 7801 | 16407k|1851.3 | 367M | 58 | 500 |1054 | 521 |1020 | 1 |1089 |1448 | 1.718114e+01 | 2.900000e+01 | 68.79%| unknown
2605.61/2612.80 c 2613s| 7900 | 7901 | 16577k|1849.6 | 367M | 58 | 500 |1060 | 521 |1020 | 1 |1100 |1456 | 1.718551e+01 | 2.900000e+01 | 68.75%| unknown
2625.05/2632.34 c 2632s| 8000 | 8001 | 16713k|1844.2 | 367M | 58 | 500 |1071 | 520 |1025 | 1 |1118 |1464 | 1.718824e+01 | 2.900000e+01 | 68.72%| unknown
2646.39/2653.71 c 2654s| 8100 | 8101 | 16869k|1841.1 | 367M | 58 | 500 |1077 | 520 |1025 | 1 |1132 |1475 | 1.719343e+01 | 2.900000e+01 | 68.67%| unknown
2667.02/2674.46 c 2674s| 8200 | 8201 | 17012k|1836.7 | 367M | 58 | 500 |1083 | 520 |1031 | 1 |1146 |1483 | 1.719499e+01 | 2.900000e+01 | 68.65%| unknown
2689.16/2696.62 c 2697s| 8300 | 8301 | 17173k|1834.2 | 367M | 58 | 500 |1087 | 518 |1031 | 1 |1154 |1493 | 1.720304e+01 | 2.900000e+01 | 68.57%| unknown
2709.99/2717.57 c 2718s| 8400 | 8401 | 17318k|1830.1 | 367M | 58 | 500 |1092 | 515 |1044 | 1 |1165 |1501 | 1.720761e+01 | 2.900000e+01 | 68.53%| unknown
2731.43/2739.08 c 2739s| 8500 | 8501 | 17466k|1826.5 | 368M | 58 | 500 |1093 | 521 |1070 | 1 |1176 |1508 | 1.721343e+01 | 2.900000e+01 | 68.47%| unknown
2754.76/2762.47 c 2762s| 8600 | 8601 | 17627k|1824.2 | 368M | 58 | 500 |1096 | 520 |1095 | 1 |1188 |1516 | 1.721772e+01 | 2.900000e+01 | 68.43%| unknown
2774.99/2782.75 c 2783s| 8700 | 8701 | 17771k|1820.3 | 368M | 59 | 500 |1100 | 520 |1100 | 1 |1201 |1523 | 1.721926e+01 | 2.900000e+01 | 68.42%| unknown
2794.34/2802.13 c 2802s| 8800 | 8801 | 17906k|1815.5 | 368M | 59 | 500 |1104 | 520 |1100 | 1 |1210 |1533 | 1.722414e+01 | 2.900000e+01 | 68.37%| unknown
2813.68/2821.56 c 2822s| 8900 | 8901 | 18040k|1810.7 | 369M | 59 | 500 |1105 | 521 |1100 | 1 |1217 |1543 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
2834.71/2842.65 c 2843s| 9000 | 9001 | 18192k|1807.8 | 369M | 59 | 500 |1109 | 515 |1123 | 1 |1232 |1546 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
2858.05/2866.05 c 2866s| 9100 | 9101 | 18355k|1806.1 | 369M | 59 | 500 |1117 | 522 |1159 | 1 |1245 |1549 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
2880.67/2888.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2880.67/2888.78 c 2889s| 9200 | 9201 | 18507k|1803.3 | 369M | 59 | 500 |1129 | 519 |1201 | 1 |1258 |1551 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
2899.41/2907.58 c 2908s| 9300 | 9301 | 18648k|1799.5 | 369M | 59 | 500 |1136 | 520 |1201 | 1 |1269 |1555 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
2920.05/2928.25 c 2928s| 9400 | 9401 | 18804k|1797.2 | 369M | 59 | 500 |1135 | 519 |1201 | 1 |1279 |1563 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
2941.19/2949.41 c 2949s| 9500 | 9501 | 18950k|1794.0 | 369M | 59 | 500 |1133 | 520 |1230 | 1 |1293 |1567 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
2962.92/2971.20 c 2971s| 9600 | 9601 | 19110k|1792.2 | 369M | 59 | 500 |1145 | 520 |1247 | 1 |1306 |1568 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
2982.96/2991.36 c 2991s| 9700 | 9701 | 19249k|1788.4 | 369M | 59 | 500 |1145 | 521 |1264 | 1 |1315 |1573 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
3001.80/3010.29 c 3010s| 9800 | 9801 | 19393k|1785.2 | 369M | 59 | 500 |1152 | 520 |1264 | 1 |1328 |1577 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
3018.95/3027.49 c 3027s| 9900 | 9901 | 19523k|1780.8 | 369M | 59 | 500 |1157 | 521 |1264 | 1 |1339 |1579 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
3038.69/3047.25 c 3047s| 10000 | 10001 | 19669k|1777.9 | 370M | 59 | 500 |1160 | 521 |1270 | 1 |1349 |1584 | 1.722513e+01 | 2.900000e+01 | 68.36%| unknown
3057.93/3066.55 c 3067s| 10100 | 10101 | 19811k|1774.7 | 371M | 59 | 500 |1162 | 521 |1276 | 1 |1364 |1589 | 1.722880e+01 | 2.900000e+01 | 68.32%| unknown
3080.26/3088.91 c 3089s| 10200 | 10201 | 19967k|1772.8 | 371M | 59 | 500 |1159 | 522 |1298 | 1 |1371 |1595 | 1.723452e+01 | 2.900000e+01 | 68.27%| unknown
3099.50/3108.20 c 3108s| 10300 | 10301 | 20099k|1768.8 | 371M | 59 | 500 |1166 | 520 |1305 | 1 |1384 |1604 | 1.724136e+01 | 2.900000e+01 | 68.20%| unknown
3121.04/3129.89 c 3130s| 10400 | 10401 | 20252k|1766.7 | 371M | 61 | 500 |1167 | 519 |1321 | 1 |1391 |1609 | 1.724295e+01 | 2.900000e+01 | 68.18%| unknown
3137.39/3146.25 c 3146s| 10500 | 10501 | 20373k|1761.9 | 371M | 61 | 500 |1174 | 520 |1321 | 1 |1402 |1614 | 1.724383e+01 | 2.900000e+01 | 68.18%| unknown
3157.13/3166.08 c 3166s| 10600 | 10601 | 20525k|1759.8 | 371M | 61 | 500 |1177 | 520 |1326 | 1 |1412 |1618 | 1.724715e+01 | 2.900000e+01 | 68.14%| unknown
3174.28/3183.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3174.28/3183.20 c 3183s| 10700 | 10701 | 20653k|1755.7 | 371M | 61 | 500 |1184 | 520 |1331 | 1 |1424 |1622 | 1.724768e+01 | 2.900000e+01 | 68.14%| unknown
3193.22/3202.28 c 3202s| 10800 | 10801 | 20783k|1751.9 | 371M | 61 | 500 |1183 | 518 |1355 | 1 |1436 |1626 | 1.725180e+01 | 2.900000e+01 | 68.10%| unknown
3214.15/3223.26 c 3223s| 10900 | 10901 | 20927k|1749.2 | 371M | 61 | 500 |1183 | 521 |1361 | 1 |1442 |1634 | 1.725447e+01 | 2.900000e+01 | 68.07%| unknown
3231.91/3241.03 c 3241s| 11000 | 11001 | 21052k|1745.1 | 371M | 61 | 500 |1186 | 520 |1373 | 1 |1450 |1641 | 1.725629e+01 | 2.900000e+01 | 68.05%| unknown
3251.54/3260.71 c 3261s| 11100 | 11101 | 21189k|1742.0 | 371M | 61 | 500 |1184 | 521 |1397 | 1 |1459 |1645 | 1.726188e+01 | 2.900000e+01 | 68.00%| unknown
3271.88/3281.14 c 3281s| 11200 | 11201 | 21329k|1739.2 | 372M | 61 | 500 |1188 | 521 |1425 | 1 |1466 |1651 | 1.726221e+01 | 2.900000e+01 | 68.00%| unknown
3289.62/3299.00 c 3299s| 11300 | 11301 | 21459k|1735.7 | 372M | 61 | 500 |1189 | 521 |1439 | 1 |1475 |1653 | 1.726820e+01 | 2.900000e+01 | 67.94%| unknown
3308.67/3318.06 c 3318s| 11400 | 11401 | 21596k|1732.7 | 372M | 61 | 500 |1190 | 519 |1444 | 1 |1482 |1662 | 1.727013e+01 | 2.900000e+01 | 67.92%| unknown
3326.21/3335.63 c 3336s| 11500 | 11501 | 21726k|1729.3 | 372M | 61 | 500 |1194 | 521 |1450 | 1 |1492 |1666 | 1.727013e+01 | 2.900000e+01 | 67.92%| unknown
3345.85/3355.35 c 3355s| 11600 | 11601 | 21866k|1726.7 | 372M | 61 | 500 |1188 | 521 |1468 | 1 |1501 |1670 | 1.727014e+01 | 2.900000e+01 | 67.92%| unknown
3364.60/3374.16 c 3374s| 11700 | 11701 | 21998k|1723.5 | 372M | 61 | 500 |1190 | 521 |1481 | 1 |1512 |1675 | 1.727194e+01 | 2.900000e+01 | 67.90%| unknown
3382.94/3392.59 c 3393s| 11800 | 11801 | 22127k|1720.1 | 372M | 61 | 500 |1191 | 520 |1487 | 1 |1522 |1684 | 1.727591e+01 | 2.900000e+01 | 67.86%| unknown
3403.58/3413.21 c 3413s| 11900 | 11901 | 22262k|1717.3 | 372M | 61 | 500 |1191 | 520 |1514 | 1 |1529 |1689 | 1.727668e+01 | 2.900000e+01 | 67.86%| unknown
3424.81/3434.54 c 3435s| 12000 | 12001 | 22405k|1715.1 | 372M | 61 | 500 |1190 | 519 |1539 | 1 |1538 |1696 | 1.727947e+01 | 2.900000e+01 | 67.83%| unknown
3445.35/3455.17 c 3455s| 12100 | 12101 | 22546k|1712.8 | 372M | 61 | 500 |1186 | 521 |1576 | 1 |1547 |1701 | 1.728034e+01 | 2.900000e+01 | 67.82%| unknown
3468.18/3478.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3468.18/3478.06 c 3478s| 12200 | 12201 | 22692k|1710.8 | 372M | 61 | 500 |1193 | 520 |1617 | 1 |1559 |1707 | 1.728589e+01 | 2.900000e+01 | 67.77%| unknown
3486.52/3496.43 c 3496s| 12300 | 12301 | 22823k|1707.9 | 372M | 61 | 500 |1197 | 520 |1627 | 1 |1569 |1713 | 1.728723e+01 | 2.900000e+01 | 67.75%| unknown
3504.97/3514.97 c 3515s| 12400 | 12401 | 22955k|1705.0 | 372M | 61 | 500 |1191 | 519 |1638 | 1 |1576 |1718 | 1.728822e+01 | 2.900000e+01 | 67.74%| unknown
3524.71/3534.76 c 3535s| 12500 | 12501 | 23090k|1702.4 | 372M | 61 | 500 |1184 | 520 |1672 | 1 |1585 |1720 | 1.729083e+01 | 2.900000e+01 | 67.72%| unknown
3543.06/3553.14 c 3553s| 12600 | 12601 | 23231k|1700.2 | 372M | 61 | 500 |1191 | 520 |1672 | 1 |1597 |1726 | 1.729088e+01 | 2.900000e+01 | 67.72%| unknown
3561.39/3571.52 c 3572s| 12700 | 12701 | 23366k|1697.6 | 372M | 61 | 500 |1186 | 520 |1678 | 1 |1605 |1729 | 1.729623e+01 | 2.900000e+01 | 67.67%| unknown
3580.84/3591.00 c 3591s| 12800 | 12801 | 23504k|1695.3 | 372M | 61 | 500 |1194 | 518 |1694 | 1 |1616 |1735 | 1.729662e+01 | 2.900000e+01 | 67.66%| unknown
3586.82/3597.00 c
3586.82/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.82/3597.00 c Solving Time (sec) : 3597.00
3586.82/3597.00 c Solving Nodes : 12834 (total of 13883 nodes in 2 runs)
3586.82/3597.00 c Primal Bound : +2.90000000000000e+01 (873 solutions)
3586.82/3597.00 c Dual Bound : +1.72967723670256e+01
3586.82/3597.00 c Gap : 67.66 %
3586.82/3597.01 s SATISFIABLE
3586.82/3597.01 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 x29
3586.82/3597.01 v -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56
3586.82/3597.01 v -x57 x58 x59 -x60 -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84
3586.82/3597.01 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
3586.82/3597.01 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
3586.82/3597.01 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 x151 -x152
3586.82/3597.01 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174
3586.82/3597.01 v -x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196
3586.82/3597.01 v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218
3586.82/3597.01 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240
3586.82/3597.01 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262
3586.82/3597.01 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284
3586.82/3597.01 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306
3586.82/3597.01 v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328
3586.82/3597.01 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
3586.82/3597.01 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372
3586.82/3597.01 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394
3586.82/3597.01 v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
3586.82/3597.01 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3586.82/3597.01 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
3586.82/3597.01 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
3586.82/3597.01 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
3586.82/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.82/3597.01 c Total Time : 3597.00
3586.82/3597.01 c solving : 3597.00
3586.82/3597.01 c presolving : 0.21 (included in solving)
3586.82/3597.01 c reading : 0.04 (included in solving)
3586.82/3597.01 c copying : 0.06 (19 #copies) (minimal 0.00, maximal 0.01, average 0.00)
3586.82/3597.01 c Original Problem :
3586.82/3597.01 c Problem name : HOME/instance-4498322-1751268268.opb
3586.82/3597.01 c Variables : 16170 (500 binary, 0 integer, 15670 continuous)
3586.82/3597.01 c implied integral : 15670 (0 binary, 0 integer, 15670 continuous)
3586.82/3597.01 c Constraints : 16670 initial, 16670 maximal
3586.82/3597.01 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3586.82/3597.01 c Presolved Problem :
3586.82/3597.01 c Problem name : t_HOME/instance-4498322-1751268268.opb
3586.82/3597.01 c Variables : 500 (500 binary, 0 integer, 0 continuous)
3586.82/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.82/3597.01 c Constraints : 599 initial, 1199 maximal
3586.82/3597.01 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3586.82/3597.01 c Nonzeros : 28215 constraint, 0 clique table
3586.82/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.82/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c dualfix : 0.01 0.00 5 15670 0 0 0 0 0 0 0 0
3586.82/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c linear : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c logicor : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c pseudoboolean : 0.02 0.00 1 0 0 0 0 0 16670 500 0 0
3586.82/3597.01 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.82/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.82/3597.01 c integral : 0 0 0 0 13883 0 0 2092 0 0 0 0 0 0 27766
3586.82/3597.01 c linear : 16 16 12 180725 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c logicor : 583+ 1183 32 84903 0 0 0 2088 0 419 0 0 0 0 0
3586.82/3597.01 c fixedvar : 0 0 0 0 0 0 0 941 0 0 0 0 0 0 0
3586.82/3597.01 c countsols : 0 0 0 0 0 0 0 941 0 0 0 0 0 0 0
3586.82/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.82/3597.01 c integral : 286.51 0.00 0.00 0.00 286.49 0.00 0.00 0.01 0.00 0.00
3586.82/3597.01 c linear : 1.22 0.00 0.94 0.28 0.00 0.00 0.00 0.00 0.00 0.01
3586.82/3597.01 c logicor : 0.55 0.00 0.00 0.41 0.00 0.00 0.00 0.13 0.00 0.00
3586.82/3597.01 c fixedvar : 0.83 0.00 0.00 0.00 0.00 0.00 0.00 0.83 0.00 0.00
3586.82/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.82/3597.01 c dualfix : 3 0 0 0
3586.82/3597.01 c genvbounds : 0 0 0 0
3586.82/3597.01 c nlobbt : 0 0 0 0
3586.82/3597.01 c obbt : 0 0 0 0
3586.82/3597.01 c probing : 0 0 0 0
3586.82/3597.01 c pseudoobj : 28156 0 0 0
3586.82/3597.01 c redcost : 38 0 0 0
3586.82/3597.01 c rootredcost : 2 0 0 0
3586.82/3597.01 c symmetry : 0 0 0 0
3586.82/3597.01 c vbounds : 0 0 0 0
3586.82/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.82/3597.01 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3586.82/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.01 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
3586.82/3597.01 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
3586.82/3597.01 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3586.82/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.82/3597.01 c symmetry : 0.03 0.00 0.00 0.03 0.00 0.00
3586.82/3597.01 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.82/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.82/3597.01 c propagation : 0.00 419 0 - 0 0.0 0 0.0 - - -
3586.82/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.82/3597.01 c bound exceed. LP : 1.40 2626 1624 - 1624 50.9 0 0.0 0 0.0 9100
3586.82/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.82/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.82/3597.01 c applied globally : 0.00 - - 0 1613 50.6 - - 0 - -
3586.82/3597.01 c applied locally : - - - 0 11 88.5 - - 0 - -
3586.82/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.82/3597.01 c cut pool : 11.29 - 4856 50 - - 91169 194263 - - - - - (maximal pool size: 4958)
3586.82/3597.01 c aggregation : 85.98 0.00 2075 32 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.82/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.82/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.82/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c gomory : 28.08 0.00 1759 20 0 0 91169 194263 0 2075 2075 0 0
3586.82/3597.01 c > gomorymi : - - - - - - - 131481 0 1665 1665 0 -
3586.82/3597.01 c > strongcg : - - - - - - - 62782 0 410 410 0 -
3586.82/3597.01 c impliedbounds : 0.03 0.00 2075 32 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c multilinear : 0.00 0.00 624 32 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c zerohalf : 18.07 0.00 1771 32 0 0 0 0 0 0 0 0 0
3586.82/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.82/3597.01 c hybrid : 0.92 0.00 2075 32 2075 0 192188 32 0 6099
3586.82/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.82/3597.01 c problem variables: 0.00 - 0 0
3586.82/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.82/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c relpscost : 286.48 0.00 13883 0 0 0 0 0 0 27766
3586.82/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.82/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.82/3597.01 c LP solutions : 0.00 - - 0 0
3586.82/3597.01 c relax solutions : 0.00 - - 0 0
3586.82/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.82/3597.01 c strong branching : 0.21 - - 142 0
3586.82/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.82/3597.01 c adaptivediving : 61.86 0.00 61 21 0
3586.82/3597.01 c alns : 0.05 0.00 5 0 0
3586.82/3597.01 c bound : 0.00 0.00 0 0 0
3586.82/3597.01 c clique : 0.00 0.00 0 0 0
3586.82/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.82/3597.01 c completesol : 0.00 0.00 0 0 0
3586.82/3597.01 c conflictdiving : 160.69 0.00 729 0 0
3586.82/3597.01 c crossover : 2.20 0.00 5 5 0
3586.82/3597.01 c dins : 0.00 0.00 0 0 0
3586.82/3597.01 c distributiondivin: 107.35 0.00 116 1 0
3586.82/3597.01 c dks : 0.00 0.00 0 0 0
3586.82/3597.01 c dps : 0.00 0.00 0 0 0
3586.82/3597.01 c dualval : 0.00 0.00 0 0 0
3586.82/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3586.82/3597.01 c feaspump : 0.00 0.00 0 0 0
3586.82/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.82/3597.01 c fracdiving : 86.38 0.00 111 1 0
3586.82/3597.01 c gins : 0.01 0.00 0 0 0
3586.82/3597.01 c guideddiving : 77.04 0.00 108 0 0
3586.82/3597.01 c indicator : 0.00 0.00 0 0 0
3586.82/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.82/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.82/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.82/3597.01 c linesearchdiving : 74.47 0.00 210 0 0
3586.82/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.82/3597.01 c locks : 0.01 0.00 1 1 1
3586.82/3597.01 c lpface : 0.00 0.00 0 0 0
3586.82/3597.01 c mpec : 0.00 0.00 0 0 0
3586.82/3597.01 c multistart : 0.00 0.00 0 0 0
3586.82/3597.01 c mutation : 0.00 0.00 0 0 0
3586.82/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.82/3597.01 c objpscostdiving : 28.25 0.00 31 0 0
3586.82/3597.01 c octane : 0.00 0.00 0 0 0
3586.82/3597.01 c ofins : 0.00 0.00 0 0 0
3586.82/3597.01 c oneopt : 0.01 0.00 1 0 0
3586.82/3597.01 c padm : 0.00 0.00 0 0 0
3586.82/3597.01 c proximity : 0.00 0.00 0 0 0
3586.82/3597.01 c pscostdiving : 132.80 0.00 237 23 0
3586.82/3597.01 c randrounding : 0.08 0.00 1143 0 0
3586.82/3597.01 c rens : 36.03 0.00 1 1 0
3586.82/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.82/3597.01 c repair : 0.00 0.00 0 0 0
3586.82/3597.01 c rins : 18.28 0.00 8 8 0
3586.82/3597.01 c rootsoldiving : 15.27 0.00 157 0 0
3586.82/3597.01 c rounding : 0.21 0.00 1760 0 0
3586.82/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.82/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3586.82/3597.01 c shifting : 0.16 0.00 796 0 0
3586.82/3597.01 c simplerounding : 0.36 0.00 15958 57 0
3586.82/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.82/3597.01 c trivial : 0.00 0.00 4 1 1
3586.82/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.82/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.82/3597.01 c trysol : 0.00 0.00 0 0 0
3586.82/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.82/3597.01 c undercover : 0.00 0.00 0 0 0
3586.82/3597.01 c vbounds : 0.00 0.00 0 0 0
3586.82/3597.01 c veclendiving : 84.58 0.00 498 0 0
3586.82/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.82/3597.01 c zirounding : 3.52 0.00 13882 612 0
3586.82/3597.01 c other solutions : - - - 0 -
3586.82/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.82/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.82/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.82/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.82/3597.01 c primal LP : 1.86 97 0 0.00 0.00 1.86 97
3586.82/3597.01 c dual LP : 2267.45 15958 15300323 958.79 6747.80 0.00 0
3586.82/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.82/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.82/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.82/3597.01 c diving/probing LP: 817.15 10665 8246802 773.26 10092.21
3586.82/3597.01 c strong branching : 262.81 1736 1492232 859.58 5678.08 - - 2056
3586.82/3597.01 c (at root node) : - 24 23750 989.58 -
3586.82/3597.01 c conflict analysis: 0.95 910 9100 10.00 9571.66
3586.82/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.82/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3586.82/3597.01 c B&B Tree :
3586.82/3597.01 c number of runs : 2
3586.82/3597.01 c nodes : 12834 (12834 internal, 0 leaves)
3586.82/3597.01 c feasible leaves : 0
3586.82/3597.01 c infeas. leaves : 0
3586.82/3597.01 c objective leaves : 0
3586.82/3597.01 c nodes (total) : 13883 (13883 internal, 0 leaves)
3586.82/3597.01 c nodes left : 12835
3586.82/3597.01 c max depth : 61
3586.82/3597.01 c max depth (total): 61
3586.82/3597.01 c backtracks : 2326 (18.1%)
3586.82/3597.01 c early backtracks : 0 (0.0%)
3586.82/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.82/3597.01 c delayed cutoffs : 0
3586.82/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.82/3597.01 c avg switch length: 6.57
3586.82/3597.01 c switching time : 2.36
3586.82/3597.01 c Root Node :
3586.82/3597.01 c First LP value : +1.50543410258093e+01
3586.82/3597.01 c First LP Iters : 10042 (7121.21 Iter/sec)
3586.82/3597.01 c First LP Time : 1.41
3586.82/3597.01 c Final Dual Bound : +1.59538362974516e+01
3586.82/3597.01 c Final Root Iters : 27212
3586.82/3597.01 c Root LP Estimate : +1.84385998146714e+01
3586.82/3597.01 c Solution :
3586.82/3597.01 c Solutions found : 873 (2 improvements)
3586.82/3597.01 c First Solution : +5.00000000000000e+02 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trivial>)
3586.82/3597.01 c Gap First Sol. : infinite
3586.82/3597.01 c Gap Last Sol. : infinite
3586.82/3597.01 c Primal Bound : +2.90000000000000e+01 (in run 1, after 1 nodes, 0.17 seconds, depth 2, found by <locks>)
3586.82/3597.01 c Dual Bound : +1.72967723670256e+01
3586.82/3597.01 c Gap : 67.66 %
3586.82/3597.01 c Integrals : Total Avg%
3586.82/3597.01 c primal-dual : 154104.70 42.84
3586.82/3597.01 c primal-ref : - - (not evaluated)
3586.82/3597.01 c dual-ref : - - (not evaluated)
3587.02/3597.22 c Time complete (sec): 3587.048
OK 29
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: 63708 MiB (61534 MiB free)
memory of node 1: 64465 MiB (62422 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498322-1751268268/watcher-4498322-1751268268 -o /tmp/evaluation-result-4498322-1751268268/solver-4498322-1751268268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751268232-45645 --watchdog 3760 pbsolver -f HOME/instance-4498322-1751268268.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46063, runsolver pid=46059
[startup+0.100065 s]*
/proc/loadavg: 2.19 0.63 0.27 5/266 46068
/proc/meminfo: memFree=126824580/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=89172 memory=77164 CPUtime=0.09 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 17310 0 0 0 7 2 0 0 20 0 1 0 42505617 91312128 19291 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 22293 19291 2432 2575 0 19200 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89172 KiB
Current children cumulated memory: 77164 KiB
[startup+0.205378 s]*
/proc/loadavg: 2.19 0.63 0.27 5/266 46068
/proc/meminfo: memFree=126809132/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=94976 memory=82412 CPUtime=0.2 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 18473 0 0 0 17 3 0 0 20 0 1 0 42505617 97255424 20603 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 23744 20603 2624 2575 0 20651 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94976 KiB
Current children cumulated memory: 82412 KiB
[startup+0.305234 s]*
/proc/loadavg: 2.19 0.63 0.27 5/266 46068
/proc/meminfo: memFree=126793004/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=95864 memory=83308 CPUtime=0.3 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 18679 0 0 0 27 3 0 0 20 0 1 0 42505617 98164736 20827 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 23966 20827 2624 2575 0 20873 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95864 KiB
Current children cumulated memory: 83308 KiB
[startup+0.700106 s]
/proc/loadavg: 2.19 0.63 0.27 5/266 46068
/proc/meminfo: memFree=126768812/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=97356 memory=84716 CPUtime=0.69 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 19032 0 0 0 66 3 0 0 20 0 1 0 42505617 99692544 21179 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 24339 21179 2624 2575 0 21246 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97356 KiB
Current children cumulated memory: 84716 KiB
[startup+1.50011 s]
/proc/loadavg: 2.19 0.63 0.27 5/266 46068
/proc/meminfo: memFree=126745096/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=98620 memory=85648 CPUtime=1.49 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 19444 0 0 0 146 3 0 0 20 0 1 0 42505617 100986880 21412 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 24655 21412 2624 2575 0 21562 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98620 KiB
Current children cumulated memory: 85648 KiB
[startup+3.10448 s]
/proc/loadavg: 2.19 0.63 0.27 5/266 46068
/proc/meminfo: memFree=126665236/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=188548 memory=174484 CPUtime=3.09 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 41919 0 0 0 303 6 0 0 20 0 1 0 42505617 193073152 43621 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 47137 43621 2624 2575 0 44044 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 188548 KiB
Current children cumulated memory: 174484 KiB
[startup+6.30012 s]
/proc/loadavg: 2.34 0.68 0.29 5/266 46068
/proc/meminfo: memFree=126601200/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=237836 memory=221716 CPUtime=6.27 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 53664 0 0 0 620 7 0 0 20 0 1 0 42505617 243544064 55429 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 59459 55429 2688 2575 0 56366 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 237836 KiB
Current children cumulated memory: 221716 KiB
[startup+12.7001 s]
/proc/loadavg: 2.47 0.74 0.31 5/266 46068
/proc/meminfo: memFree=126549304/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=239092 memory=222740 CPUtime=12.65 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 53937 0 0 0 1258 7 0 0 20 0 1 0 42505617 244830208 55685 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 59773 55685 2688 2575 0 56680 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 239092 KiB
Current children cumulated memory: 222740 KiB
[startup+25.5001 s]
/proc/loadavg: 2.81 0.90 0.37 5/266 46068
/proc/meminfo: memFree=126541004/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=239092 memory=222740 CPUtime=25.43 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 53938 0 0 0 2535 8 0 0 20 0 1 0 42505617 244830208 55685 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 59773 55685 2688 2575 0 56680 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 239092 KiB
Current children cumulated memory: 222740 KiB
[startup+51.1046 s]
/proc/loadavg: 3.28 1.16 0.47 5/267 46069
/proc/meminfo: memFree=126506804/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=235580 memory=220340 CPUtime=50.96 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 54082 0 0 0 5088 8 0 0 20 0 1 0 42505617 241233920 55085 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 58895 55085 2688 2575 0 55802 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 235580 KiB
Current children cumulated memory: 220340 KiB
[startup+102.3 s]
/proc/loadavg: 3.75 1.62 0.67 5/267 46071
/proc/meminfo: memFree=126354352/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=320568 memory=305460 CPUtime=102.03 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 75372 0 0 0 10191 12 0 0 20 0 1 0 42505617 328261632 76365 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 80142 76365 2688 2575 0 77049 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 320568 KiB
Current children cumulated memory: 305460 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 2.09 0.89 5/267 46073
/proc/meminfo: memFree=126298184/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=342596 memory=327604 CPUtime=161.87 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 80909 0 0 0 16174 13 0 0 20 0 1 0 42505617 350818304 81901 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 85649 81901 2688 2575 0 82556 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 342596 KiB
Current children cumulated memory: 327604 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.45 1.09 5/267 46075
/proc/meminfo: memFree=126263984/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=345712 memory=333984 CPUtime=221.72 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 82654 0 0 0 22158 14 0 0 20 0 1 0 42505617 354009088 83496 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 86428 83496 2688 2575 0 83335 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 333984 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.75 1.28 5/263 46077
/proc/meminfo: memFree=126204240/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=346412 memory=335972 CPUtime=281.56 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 83343 0 0 0 28142 14 0 0 20 0 1 0 42505617 354725888 83993 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 86603 83993 2688 2575 0 83510 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 346412 KiB
Current children cumulated memory: 335972 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.01 1.47 5/265 46082
/proc/meminfo: memFree=126117824/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=346412 memory=337252 CPUtime=341.41 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 83428 0 0 0 34127 14 0 0 20 0 1 0 42505617 354725888 84313 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 86603 84313 2688 2575 0 83510 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 346412 KiB
Current children cumulated memory: 337252 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.21 1.63 5/264 46084
/proc/meminfo: memFree=126057676/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=347008 memory=338916 CPUtime=401.26 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 83684 0 0 0 40112 14 0 0 20 0 1 0 42505617 355336192 84729 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 86752 84729 2688 2575 0 83659 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 347008 KiB
Current children cumulated memory: 338916 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.37 1.79 5/265 46087
/proc/meminfo: memFree=125959296/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=347008 memory=338916 CPUtime=461.11 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 83822 0 0 0 46097 14 0 0 20 0 1 0 42505617 355336192 84729 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 86752 84729 2688 2575 0 83659 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
/proc/loadavg: 4.11 4.12 4.02 5/264 46366
/proc/meminfo: memFree=123934036/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406472 memory=398308 CPUtime=3153.44 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100484 0 0 0 315328 16 0 0 20 0 1 0 42505617 416227328 99577 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101618 99577 2688 2575 0 98525 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 406472 KiB
Current children cumulated memory: 398308 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.02 5/264 46368
/proc/meminfo: memFree=123896316/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3213.26 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100557 0 0 0 321310 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.02 5/264 46370
/proc/meminfo: memFree=123862136/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3273.07 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100557 0 0 0 327291 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/263 46372
/proc/meminfo: memFree=123834828/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3332.89 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100677 0 0 0 333273 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.02 5/263 46374
/proc/meminfo: memFree=123684948/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3392.71 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100722 0 0 0 339255 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/262 46376
/proc/meminfo: memFree=123629256/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3452.53 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100724 0 0 0 345237 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.12 4.03 5/262 46378
/proc/meminfo: memFree=123560556/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3512.34 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100868 0 0 0 351218 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.03 4/259 46389
/proc/meminfo: memFree=125124280/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3572.16 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100887 0 0 0 357200 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3597.22 s]
# the end of solver process 46063 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.88 s, system=0.171418 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.11 4.03 4/259 46389
/proc/meminfo: memFree=125116232/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3573.86 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100887 0 0 0 357370 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3573.86 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124676668/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3580.24 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100887 0 0 0 358008 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3580.24 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124677228/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3583.43 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100889 0 0 0 358327 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3583.43 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124676976/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3585.02 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100889 0 0 0 358486 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124675464/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3585.82 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100889 0 0 0 358566 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124675464/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=406748 memory=398564 CPUtime=3586.62 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100889 0 0 0 358646 16 0 0 20 0 1 0 42505617 416509952 99641 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101687 99641 2688 2575 0 98594 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 406748 KiB
Current children cumulated memory: 398564 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.11 4.03 5/263 46426
/proc/meminfo: memFree=124675464/131249992 swapFree=33010684/33010684
[pid=46063] ppid=46059 vsize=404776 memory=396608 CPUtime=3587.02 cores=0,2
/proc/46063/stat : 46063 (pbsolver) R 46059 46063 45628 0 -1 4194304 100889 0 0 0 358686 16 0 0 20 0 1 0 42505617 414490624 99152 18446744073709551615 4198400 14743177 140726297736464 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 36245504 140726297741706 140726297741802 140726297741802 140726297747404 0
/proc/46063/statm: 101194 99152 2688 2575 0 98101 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 404776 KiB
Current children cumulated memory: 396608 KiB
Child status: 0
Real time (s): 3597.22
CPU time (s): 3587.05
CPU user time (s): 3586.88
CPU system time (s): 0.171418
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 406748
Max. memory (cumulated for all children) (KiB): 398564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.88
system time used= 0.171418
maximum resident set size= 398564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100906
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= 26
involuntary context switches= 4543
# summary of solver processes directly reported to runsolver:
# pid: 46063
# total CPU time (s): 3587.05
# total CPU user time (s): 3586.88
# total CPU system time (s): 0.171418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27833 second user time and 13.0958 second system time
The end
Begin job on nodeC025 at 2025-06-30 09:24:29 IDJOB=4498322 IDBENCH=148608 IDSOLVER=3366 FILE ID=nodeC025/4498322-1751268268 RUNJOBID= nodeC025-1751268232-45645 SLURM_JOB_ID= 9594192 Free space on /tmp= 433032 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498322-1751268268/watcher-4498322-1751268268 -o /tmp/evaluation-result-4498322-1751268268/solver-4498322-1751268268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751268232-45645 --watchdog 3760 pbsolver -f HOME/instance-4498322-1751268268.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ad9f015f2527cb1437d18525e7f300ba RANDOM SEED=497536264 nodeC025 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 : 0xb00002a cpu MHz : 3600.069 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.430 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.497 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.834 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.877 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.856 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3617.165 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.323 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 126934356 kB MemAvailable: 129580084 kB Buffers: 3280 kB Cached: 3445172 kB SwapCached: 0 kB Active: 622328 kB Inactive: 3106216 kB Active(anon): 298184 kB Inactive(anon): 0 kB Active(file): 324144 kB Inactive(file): 3106216 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 45024 kB Writeback: 48 kB AnonPages: 283204 kB Mapped: 124728 kB Shmem: 18084 kB KReclaimable: 109212 kB Slab: 197140 kB SReclaimable: 109212 kB SUnreclaim: 87928 kB KernelStack: 4208 kB PageTables: 3568 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 610752 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC025 at 2025-06-30 10:24:26