| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 0 | 19.763 | 19.8214 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-acc-tight5.opb |
| MD5SUM | 6af75c77ba4b85e7dda4ec373ae767da |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.069166 |
| 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 | 1339 |
| Total number of constraints | 3052 |
| Number of constraints which are clauses | 2072 |
| Number of constraints which are cardinality constraints (but not clauses) | 980 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 24 |
| Number of terms in the objective function | 1 |
| 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 | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4459508-1721898465.opb>
0.00/0.01 c original problem has 1339 variables (1339 bin, 0 int, 0 impl, 0 cont) and 3052 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.02 c (round 1, fast) 31 del vars, 9 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2139 clqs
0.00/0.02 c (round 2, fast) 55 del vars, 49 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2142 clqs
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.06 c (0.1s) MILP presolver (11 rounds): 6 aggregations, 103 fixings, 0 bound changes
0.00/0.06 c (round 3, medium) 165 del vars, 49 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1935 clqs
0.00/0.06 c (round 4, fast) 175 del vars, 261 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1941 clqs
0.00/0.09 c (round 5, exhaustive) 175 del vars, 321 del conss, 0 add conss, 4 chg bounds, 33 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1941 clqs
0.09/0.11 c (round 6, exhaustive) 175 del vars, 321 del conss, 0 add conss, 4 chg bounds, 33 chg sides, 0 chg coeffs, 2677 upgd conss, 0 impls, 1941 clqs
0.09/0.11 c (round 7, medium) 175 del vars, 398 del conss, 77 add conss, 4 chg bounds, 111 chg sides, 541 chg coeffs, 2677 upgd conss, 0 impls, 1980 clqs
0.09/0.12 c (round 8, exhaustive) 175 del vars, 400 del conss, 77 add conss, 4 chg bounds, 119 chg sides, 542 chg coeffs, 2677 upgd conss, 0 impls, 1980 clqs
0.09/0.12 c (round 9, exhaustive) 175 del vars, 400 del conss, 77 add conss, 4 chg bounds, 119 chg sides, 542 chg coeffs, 2685 upgd conss, 0 impls, 1980 clqs
0.09/0.13 c (round 10, exhaustive) 175 del vars, 413 del conss, 77 add conss, 4 chg bounds, 119 chg sides, 542 chg coeffs, 2685 upgd conss, 0 impls, 1980 clqs
0.09/0.14 c (0.1s) sparsify finished: 52/13897 (0.4%) nonzeros canceled - in total 52 canceled nonzeros, 52 changed coefficients, 0 added nonzeros
0.09/0.14 c (round 11, exhaustive) 175 del vars, 413 del conss, 77 add conss, 4 chg bounds, 119 chg sides, 594 chg coeffs, 2685 upgd conss, 0 impls, 1980 clqs
0.09/0.14 c (round 12, exhaustive) 175 del vars, 413 del conss, 77 add conss, 4 chg bounds, 119 chg sides, 594 chg coeffs, 2693 upgd conss, 0 impls, 1988 clqs
0.09/0.16 c (round 13, exhaustive) 216 del vars, 413 del conss, 77 add conss, 4 chg bounds, 119 chg sides, 594 chg coeffs, 2693 upgd conss, 0 impls, 2225 clqs
0.09/0.16 c (round 14, fast) 217 del vars, 479 del conss, 80 add conss, 4 chg bounds, 119 chg sides, 597 chg coeffs, 2693 upgd conss, 0 impls, 2227 clqs
0.09/0.16 c (round 15, medium) 218 del vars, 483 del conss, 87 add conss, 4 chg bounds, 127 chg sides, 628 chg coeffs, 2693 upgd conss, 0 impls, 2202 clqs
0.09/0.16 c (round 16, fast) 231 del vars, 508 del conss, 87 add conss, 4 chg bounds, 127 chg sides, 628 chg coeffs, 2693 upgd conss, 0 impls, 2202 clqs
0.19/0.23 c (round 17, exhaustive) 256 del vars, 510 del conss, 87 add conss, 4 chg bounds, 127 chg sides, 631 chg coeffs, 2693 upgd conss, 0 impls, 9101 clqs
0.19/0.23 c (round 18, fast) 256 del vars, 534 del conss, 87 add conss, 4 chg bounds, 127 chg sides, 631 chg coeffs, 2693 upgd conss, 0 impls, 9101 clqs
0.19/0.25 c (round 19, exhaustive) 256 del vars, 586 del conss, 87 add conss, 4 chg bounds, 127 chg sides, 641 chg coeffs, 2693 upgd conss, 0 impls, 9101 clqs
0.19/0.26 c (round 20, exhaustive) 257 del vars, 586 del conss, 87 add conss, 4 chg bounds, 127 chg sides, 644 chg coeffs, 2693 upgd conss, 0 impls, 9093 clqs
0.19/0.26 c (round 21, fast) 258 del vars, 588 del conss, 87 add conss, 4 chg bounds, 127 chg sides, 644 chg coeffs, 2693 upgd conss, 0 impls, 9093 clqs
0.29/0.31 c (round 22, exhaustive) 283 del vars, 588 del conss, 87 add conss, 4 chg bounds, 127 chg sides, 645 chg coeffs, 2693 upgd conss, 0 impls, 13538 clqs
0.29/0.31 c (round 23, fast) 283 del vars, 624 del conss, 91 add conss, 4 chg bounds, 128 chg sides, 645 chg coeffs, 2693 upgd conss, 0 impls, 13541 clqs
0.29/0.31 c (round 24, medium) 283 del vars, 626 del conss, 93 add conss, 4 chg bounds, 130 chg sides, 665 chg coeffs, 2693 upgd conss, 0 impls, 13542 clqs
0.29/0.32 c (round 25, exhaustive) 283 del vars, 632 del conss, 93 add conss, 4 chg bounds, 130 chg sides, 680 chg coeffs, 2693 upgd conss, 0 impls, 13542 clqs
0.29/0.33 c (round 26, medium) 283 del vars, 637 del conss, 98 add conss, 4 chg bounds, 135 chg sides, 698 chg coeffs, 2693 upgd conss, 0 impls, 13544 clqs
0.29/0.33 c (round 27, exhaustive) 283 del vars, 642 del conss, 98 add conss, 4 chg bounds, 135 chg sides, 706 chg coeffs, 2693 upgd conss, 0 impls, 13544 clqs
0.40/0.42 c (round 28, exhaustive) 308 del vars, 643 del conss, 98 add conss, 4 chg bounds, 135 chg sides, 712 chg coeffs, 2694 upgd conss, 0 impls, 14646 clqs
0.40/0.42 c (round 29, fast) 308 del vars, 678 del conss, 98 add conss, 4 chg bounds, 135 chg sides, 712 chg coeffs, 2694 upgd conss, 0 impls, 14646 clqs
0.40/0.43 c (round 30, exhaustive) 308 del vars, 680 del conss, 98 add conss, 4 chg bounds, 135 chg sides, 720 chg coeffs, 2694 upgd conss, 0 impls, 14646 clqs
0.50/0.59 c (0.6s) probing: 1000/1188 (84.2%) - 60 fixings, 74 aggregations, 38677 implications, 0 bound changes
0.59/0.62 c (0.6s) probing cycle finished: starting next cycle
0.59/0.63 c (round 31, exhaustive) 333 del vars, 680 del conss, 98 add conss, 4 chg bounds, 135 chg sides, 725 chg coeffs, 2694 upgd conss, 0 impls, 14660 clqs
0.59/0.63 c (round 32, fast) 333 del vars, 710 del conss, 98 add conss, 4 chg bounds, 135 chg sides, 733 chg coeffs, 2694 upgd conss, 0 impls, 14661 clqs
0.59/0.63 c (round 33, medium) 333 del vars, 711 del conss, 99 add conss, 4 chg bounds, 136 chg sides, 738 chg coeffs, 2694 upgd conss, 0 impls, 14661 clqs
0.59/0.63 c (round 34, fast) 333 del vars, 712 del conss, 100 add conss, 4 chg bounds, 136 chg sides, 738 chg coeffs, 2694 upgd conss, 0 impls, 14662 clqs
0.59/0.65 c (round 35, exhaustive) 333 del vars, 727 del conss, 100 add conss, 4 chg bounds, 136 chg sides, 742 chg coeffs, 2694 upgd conss, 0 impls, 14662 clqs
0.59/0.65 c (round 36, exhaustive) 333 del vars, 728 del conss, 100 add conss, 4 chg bounds, 136 chg sides, 746 chg coeffs, 2695 upgd conss, 0 impls, 14662 clqs
0.59/0.65 c (round 37, exhaustive) 333 del vars, 732 del conss, 100 add conss, 4 chg bounds, 136 chg sides, 750 chg coeffs, 2695 upgd conss, 0 impls, 14663 clqs
0.88/0.97 c (1.0s) probing: 1000/1034 (96.7%) - 72 fixings, 91 aggregations, 67988 implications, 0 bound changes
0.88/0.98 c (1.0s) probing cycle finished: starting next cycle
0.88/0.99 c (round 38, exhaustive) 356 del vars, 732 del conss, 100 add conss, 4 chg bounds, 136 chg sides, 753 chg coeffs, 2695 upgd conss, 0 impls, 14675 clqs
0.88/0.99 c (round 39, fast) 356 del vars, 767 del conss, 101 add conss, 4 chg bounds, 136 chg sides, 768 chg coeffs, 2695 upgd conss, 0 impls, 14676 clqs
0.88/1.00 c (1.0s) running MILP presolver
0.99/1.00 c (1.0s) MILP presolver (3 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.99/1.01 c (round 40, medium) 356 del vars, 801 del conss, 140 add conss, 4 chg bounds, 178 chg sides, 849 chg coeffs, 2695 upgd conss, 0 impls, 14683 clqs
0.99/1.01 c (round 41, fast) 356 del vars, 806 del conss, 140 add conss, 4 chg bounds, 178 chg sides, 849 chg coeffs, 2695 upgd conss, 0 impls, 14683 clqs
0.99/1.02 c (round 42, exhaustive) 356 del vars, 852 del conss, 140 add conss, 4 chg bounds, 178 chg sides, 850 chg coeffs, 2695 upgd conss, 0 impls, 14683 clqs
0.99/1.02 c (round 43, medium) 356 del vars, 855 del conss, 143 add conss, 4 chg bounds, 181 chg sides, 857 chg coeffs, 2695 upgd conss, 0 impls, 14684 clqs
0.99/1.03 c (round 44, exhaustive) 356 del vars, 870 del conss, 143 add conss, 4 chg bounds, 181 chg sides, 857 chg coeffs, 2695 upgd conss, 0 impls, 14684 clqs
0.99/1.03 c (round 45, exhaustive) 356 del vars, 876 del conss, 143 add conss, 4 chg bounds, 181 chg sides, 857 chg coeffs, 2695 upgd conss, 0 impls, 14684 clqs
1.28/1.35 c (1.4s) probing: 1000/1009 (99.1%) - 73 fixings, 92 aggregations, 94496 implications, 0 bound changes
1.28/1.36 c (1.4s) probing cycle finished: starting next cycle
1.28/1.37 c (round 46, exhaustive) 357 del vars, 876 del conss, 143 add conss, 4 chg bounds, 181 chg sides, 857 chg coeffs, 2695 upgd conss, 0 impls, 14813 clqs
1.28/1.37 c (round 47, fast) 357 del vars, 882 del conss, 143 add conss, 4 chg bounds, 181 chg sides, 865 chg coeffs, 2695 upgd conss, 0 impls, 14813 clqs
1.28/1.37 c (round 48, medium) 357 del vars, 907 del conss, 169 add conss, 4 chg bounds, 210 chg sides, 920 chg coeffs, 2695 upgd conss, 0 impls, 14817 clqs
1.28/1.37 c (round 49, fast) 357 del vars, 909 del conss, 169 add conss, 4 chg bounds, 210 chg sides, 920 chg coeffs, 2695 upgd conss, 0 impls, 14817 clqs
1.28/1.38 c (round 50, exhaustive) 357 del vars, 912 del conss, 169 add conss, 4 chg bounds, 210 chg sides, 920 chg coeffs, 2696 upgd conss, 0 impls, 14817 clqs
1.28/1.38 c (round 51, exhaustive) 357 del vars, 921 del conss, 169 add conss, 4 chg bounds, 210 chg sides, 920 chg coeffs, 2696 upgd conss, 0 impls, 14817 clqs
1.38/1.41 c (1.4s) probing: 112/1007 (11.1%) - 73 fixings, 92 aggregations, 94759 implications, 0 bound changes
1.38/1.41 c (1.4s) probing aborted: 50/50 successive totally useless probings
1.38/1.42 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.42 c (1.4s) no symmetry present (symcode time: 0.00)
1.38/1.42 c presolving (52 rounds: 52 fast, 37 medium, 28 exhaustive):
1.38/1.42 c 357 deleted vars, 921 deleted constraints, 169 added constraints, 4 tightened bounds, 0 added holes, 210 changed sides, 920 changed coefficients
1.38/1.42 c 0 implications, 14828 cliques
1.38/1.42 c presolved problem has 1007 variables (1007 bin, 0 int, 0 impl, 0 cont) and 2300 constraints
1.38/1.42 c 352 constraints of type <knapsack>
1.38/1.42 c 1635 constraints of type <setppc>
1.38/1.42 c 36 constraints of type <linear>
1.38/1.42 c 277 constraints of type <logicor>
1.38/1.42 c transformed objective value is always integral (scale: 1)
1.38/1.42 c Presolving Time: 1.41
1.38/1.42 c - non default parameters ----------------------------------------------------------------------
1.38/1.42 c # SCIP version 10.0.0
1.38/1.42 c
1.38/1.42 c # maximal time in seconds to run
1.38/1.42 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.42 c limits/time = 3596.99701
1.38/1.42 c
1.38/1.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.42 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.42 c limits/memory = 27900
1.38/1.42 c
1.38/1.42 c # belongs reading time to solving time?
1.38/1.42 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.42 c timing/reading = TRUE
1.38/1.42 c
1.38/1.42 c -----------------------------------------------------------------------------------------------
1.38/1.42 c start solving
1.38/1.42 c
1.88/1.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.88/1.93 c 1.9s| 1 | 0 | 3891 | - | 28M | 0 |1007 |2355 |2300 | 0 | 0 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
4.17/4.29 c 4.3s| 1 | 0 | 20513 | - | 49M | 0 |1007 |2557 |2313 | 13 | 1 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
4.47/4.53 c 4.5s| 1 | 0 | 21352 | - | 63M | 0 |1007 |2559 |2322 | 22 | 2 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
4.77/4.80 c 4.8s| 1 | 0 | 22275 | - | 79M | 0 |1007 |2562 |2328 | 28 | 3 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
4.98/5.04 c 5.0s| 1 | 0 | 23084 | - | 95M | 0 |1007 |2564 |2331 | 31 | 4 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
5.26/5.33 c 5.3s| 1 | 0 | 24093 | - | 109M | 0 |1007 |2564 |2341 | 41 | 5 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
5.57/5.63 c 5.6s| 1 | 0 | 25041 | - | 122M | 0 |1007 |2568 |2348 | 48 | 6 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
5.87/5.93 c 5.9s| 1 | 0 | 26087 | - | 135M | 0 |1007 |2571 |2354 | 54 | 7 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
6.17/6.23 c 6.2s| 1 | 0 | 27136 | - | 147M | 0 |1007 |2573 |2362 | 62 | 8 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
6.46/6.51 c 6.5s| 1 | 0 | 27997 | - | 159M | 0 |1007 |2580 |2370 | 70 | 9 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
6.76/6.89 c 6.9s| 1 | 0 | 29375 | - | 173M | 0 |1007 |2581 |2378 | 78 | 10 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
6.97/7.10 c 7.1s| 1 | 0 | 30443 | - | 173M | 0 |1007 |2582 |2385 | 85 | 11 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
9.06/9.13 c 9.1s| 1 | 2 | 33229 | - | 173M | 0 |1007 |2594 |2385 | 85 | 11 | 93 | 10 | 0.000000e+00 | -- | Inf | unknown
16.64/16.78 c 16.8s| 100 | 21 | 85192 | 553.0 | 208M | 15 |1007 |2689 |2329 | 199 | 0 | 188 | 10 | 0.000000e+00 | -- | Inf | 4.42%
19.43/19.56 o 0
19.43/19.56 c *19.6s| 158 | 0 |108215 | 495.4 | LP | 18 |1007 |2760 |2333 | 224 | 1 | 259 | 10 | 0.000000e+00 | 0.000000e+00 | 0.00%| 100.00%
19.43/19.56 c
19.43/19.56 c SCIP Status : problem is solved [optimal solution found]
19.43/19.56 c Solving Time (sec) : 19.56
19.43/19.56 c Solving Nodes : 158
19.43/19.56 c Primal Bound : +0.00000000000000e+00 (1 solutions)
19.43/19.56 c Dual Bound : +0.00000000000000e+00
19.43/19.56 c Gap : 0.00 %
19.43/19.56 s OPTIMUM FOUND
19.43/19.56 v -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 -x418
19.43/19.56 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397
19.43/19.56 v x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375
19.43/19.56 v -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 x354
19.43/19.56 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
19.43/19.56 v -x332 x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312
19.43/19.56 v -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 x282 -x281
19.43/19.56 v -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260
19.43/19.56 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239
19.43/19.56 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
19.43/19.56 v x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197
19.43/19.56 v -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175
19.43/19.56 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154
19.43/19.56 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133
19.43/19.56 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112
19.43/19.56 v -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x1339 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x1338
19.43/19.56 v -x1337 -x1336 -x1335 -x1334 x1333 -x1332 -x1331 -x1330 -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320
19.43/19.56 v -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 x1313 -x1312 -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302
19.43/19.56 v x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284
19.43/19.56 v x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266
19.43/19.56 v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248
19.43/19.56 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229
19.43/19.56 v -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
19.43/19.56 v -x1210 -x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
19.43/19.56 v -x1192 -x1191 x1190 -x1189 -x1188 -x1187 -x1186 x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
19.43/19.56 v -x1174 -x1173 -x1172 -x1171 x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 -x1158 -x1157
19.43/19.56 v x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139
19.43/19.56 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 x1123 -x1122 -x1121 -x1120
19.43/19.56 v -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102
19.43/19.56 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 x1087 -x1086 -x1085 -x1084
19.43/19.56 v -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 x1067 x1066
19.43/19.56 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 x1051 -x1050 -x1049 -x1048
19.43/19.56 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 x1031 -x1030
19.43/19.56 v -x1029 -x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012
19.43/19.56 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997 -x996 -x995 -x994 -x993 -x992
19.43/19.56 v -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971
19.43/19.56 v -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 x950
19.43/19.56 v -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 x930 -x929
19.43/19.56 v -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908
19.43/19.56 v -x907 -x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886
19.43/19.56 v -x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865
19.43/19.56 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844
19.43/19.56 v x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823
19.43/19.56 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802
19.43/19.56 v x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780
19.43/19.56 v -x779 -x778 x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 x763 -x762 -x761 x760 -x759
19.43/19.56 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738
19.43/19.56 v -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717
19.43/19.56 v -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 x697 -x696 -x695
19.43/19.56 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674
19.43/19.56 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 -x655 -x654 -x653
19.43/19.56 v -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632
19.43/19.56 v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611
19.43/19.56 v x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 x591 -x590 -x589
19.43/19.56 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568
19.43/19.56 v -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547
19.43/19.56 v -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 x529 -x528 -x527 -x526 -x525
19.43/19.56 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504
19.43/19.56 v -x503 -x502 -x501 -x500 x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483
19.43/19.56 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462
19.43/19.56 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 x441 -x440
19.43/19.56 v -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66
19.43/19.56 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41
19.43/19.56 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
19.43/19.56 v x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x1 -x291
19.43/19.56 c SCIP Status : problem is solved [optimal solution found]
19.43/19.56 c Total Time : 19.56
19.43/19.56 c solving : 19.56
19.43/19.56 c presolving : 1.41 (included in solving)
19.43/19.56 c reading : 0.01 (included in solving)
19.43/19.56 c copying : 0.04 (6 #copies) (minimal 0.01, maximal 0.01, average 0.01)
19.43/19.56 c Original Problem :
19.43/19.56 c Problem name : HOME/instance-4459508-1721898465.opb
19.43/19.56 c Variables : 1339 (1339 binary, 0 integer, 0 implicit integer, 0 continuous)
19.43/19.56 c Constraints : 3052 initial, 3052 maximal
19.43/19.56 c Objective : minimize, 1 non-zeros (abs.min = 1, abs.max = 1)
19.43/19.56 c Presolved Problem :
19.43/19.56 c Problem name : t_HOME/instance-4459508-1721898465.opb
19.43/19.56 c Variables : 1007 (1007 binary, 0 integer, 0 implicit integer, 0 continuous)
19.43/19.56 c Constraints : 2300 initial, 2760 maximal
19.43/19.56 c Objective : minimize, 1 non-zeros (abs.min = 1, abs.max = 1)
19.43/19.56 c Nonzeros : 11867 constraint, 32268 clique table
19.43/19.56 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
19.43/19.56 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c domcol : 0.01 0.00 9 0 0 0 0 0 0 0 0 0
19.43/19.56 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
19.43/19.56 c gateextraction : 0.02 0.00 26 0 0 0 0 0 0 0 0 0
19.43/19.56 c implics : 0.00 0.00 37 0 0 0 0 0 0 0 0 0
19.43/19.56 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c milp : 0.05 0.00 2 103 6 0 0 0 0 0 0 0
19.43/19.56 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c sparsify : 0.02 0.00 3 0 0 0 0 0 0 0 0 52
19.43/19.56 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c trivial : 0.00 0.00 52 48 0 0 0 0 0 0 0 0
19.43/19.56 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c dualfix : 0.00 0.00 52 0 0 0 0 0 0 0 0 0
19.43/19.56 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c probing : 1.07 0.00 8 73 92 0 0 0 0 0 0 0
19.43/19.56 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
19.43/19.56 c vbounds : 0.00 0.00 5 0 2 0 0 0 0 0 0 0
19.43/19.56 c knapsack : 0.06 0.00 106 0 0 0 0 0 82 169 168 833
19.43/19.56 c setppc : 0.08 0.00 106 0 1 0 0 0 459 0 0 0
19.43/19.56 c linear : 0.05 0.00 72 4 3 0 4 0 321 0 42 0
19.43/19.56 c logicor : 0.01 0.00 94 1 0 0 0 0 59 0 0 35
19.43/19.56 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
19.43/19.56 c root node : - - - 0 - - 0 - - - - -
19.43/19.56 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
19.43/19.56 c benderslp : 0 0 0 0 89 0 0 9 0 0 0 0 0 0 0
19.43/19.56 c integral : 0 0 0 0 89 0 0 9 0 0 0 0 0 0 176
19.43/19.56 c knapsack : 352+ 365 11 13699 1 0 0 3 256 2 145 0 0 0 0
19.43/19.56 c setppc : 1635+ 1647 11 13697 1 0 0 0 9898 41 4872 3 1 0 0
19.43/19.56 c linear : 36+ 247 12 13656 1 0 0 3 439 13 187 8 6 0 0
19.43/19.56 c logicor : 277+ 511 11 7671 1 0 0 0 494 7 172 2 2 0 0
19.43/19.56 c benders : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
19.43/19.56 c fixedvar : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
19.43/19.56 c countsols : 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0
19.43/19.56 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
19.43/19.56 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c integral : 1.52 0.00 0.00 0.00 1.52 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c knapsack : 0.16 0.00 0.01 0.14 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c setppc : 0.26 0.00 0.00 0.26 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c Propagators : #Propagate #ResProp Cutoffs DomReds
19.43/19.56 c dualfix : 1 0 0 0
19.43/19.56 c genvbounds : 0 0 0 0
19.43/19.56 c nlobbt : 0 0 0 0
19.43/19.56 c obbt : 0 0 0 0
19.43/19.56 c probing : 0 0 0 0
19.43/19.56 c pseudoobj : 836 0 0 0
19.43/19.56 c redcost : 211 0 0 0
19.43/19.56 c rootredcost : 1 0 0 0
19.43/19.56 c symmetry : 0 0 0 0
19.43/19.56 c vbounds : 1374 0 0 0
19.43/19.56 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
19.43/19.56 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c probing : 1.07 0.00 1.07 0.00 0.00 0.00
19.43/19.56 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
19.43/19.56 c Symmetry :
19.43/19.56 c orbitopal red. : 0 reductions applied, 0 cutoffs
19.43/19.56 c orbital reduction: 0 reductions applied, 0 cutoffs
19.43/19.56 c lexicographic red: 0 reductions applied, 0 cutoffs
19.43/19.56 c shadow tree time : 0.00 s
19.43/19.56 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
19.43/19.56 c propagation : 0.00 46 30 - 98 12.1 5 5.4 - - -
19.43/19.56 c infeasible LP : 0.03 68 40 - 387 104.0 5 4.8 14 88.6 0
19.43/19.56 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
19.43/19.56 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
19.43/19.56 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
19.43/19.56 c applied globally : 0.01 - - 0 245 23.1 - - 14 - -
19.43/19.56 c applied locally : - - - 0 0 0.0 - - 0 - -
19.43/19.56 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
19.43/19.56 c cut pool : 0.09 - 58 21 - - 2990 3308 - - - - - (maximal pool size: 2990)
19.43/19.56 c aggregation : 0.21 0.00 30 11 0 0 0 0 0 0 0 0 0
19.43/19.56 c > cmir : - - - - - - - 0 0 0 0 0 -
19.43/19.56 c > flowcover : - - - - - - - 0 0 0 0 0 -
19.43/19.56 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
19.43/19.56 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c clique : 0.07 0.00 11 11 0 0 86 273 0 107 107 0 0
19.43/19.56 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c gomory : 1.46 0.00 29 10 0 0 2955 2967 102 56 54 2 0
19.43/19.56 c > gomorymi : - - - - - - - 1428 51 25 25 0 -
19.43/19.56 c > strongcg : - - - - - - - 1539 51 31 29 2 -
19.43/19.56 c impliedbounds : 0.02 0.00 30 11 0 0 25 39 0 19 19 0 0
19.43/19.56 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
19.43/19.56 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c multilinear : 0.00 0.00 20 11 0 0 0 0 0 0 0 0 0
19.43/19.56 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
19.43/19.56 c rapidlearning : 1.52 0.00 4 1 0 48 0 0 0 0 0 0 230
19.43/19.56 c rlt : 0.00 0.00 21 10 0 0 0 0 0 0 0 0 0
19.43/19.56 c zerohalf : 0.30 0.00 30 11 0 0 54 29 28 33 15 18 0
19.43/19.56 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
19.43/19.56 c hybrid : 0.05 0.00 30 11 224 0 3227 85 0 2060
19.43/19.56 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c Pricers : ExecTime SetupTime Calls Vars
19.43/19.56 c problem variables: 0.00 - 0 0
19.43/19.56 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
19.43/19.56 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c random : 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c relpscost : 1.52 0.00 88 0 0 0 0 0 0 176
19.43/19.56 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
19.43/19.56 c Primal Heuristics : ExecTime SetupTime Calls Found Best
19.43/19.56 c LP solutions : 0.00 - - 1 1
19.43/19.56 c relax solutions : 0.00 - - 0 0
19.43/19.56 c pseudo solutions : 0.00 - - 0 0
19.43/19.56 c strong branching : 0.00 - - 0 0
19.43/19.56 c actconsdiving : 0.00 0.00 0 0 0
19.43/19.56 c adaptivediving : 0.00 0.00 0 0 0
19.43/19.56 c alns : 0.01 0.00 1 0 0
19.43/19.56 c bound : 0.00 0.00 0 0 0
19.43/19.56 c clique : 0.01 0.00 1 0 0
19.43/19.56 c coefdiving : 0.00 0.00 0 0 0
19.43/19.56 c completesol : 0.00 0.00 0 0 0
19.43/19.56 c conflictdiving : 0.48 0.00 1 0 0
19.43/19.56 c crossover : 0.00 0.00 0 0 0
19.43/19.56 c dins : 0.00 0.00 0 0 0
19.43/19.56 c distributiondivin: 0.00 0.00 0 0 0
19.43/19.56 c dps : 0.00 0.00 0 0 0
19.43/19.56 c dualval : 0.00 0.00 0 0 0
19.43/19.56 c farkasdiving : 0.00 0.00 0 0 0
19.43/19.56 c feasjump : 0.02 0.00 1 0 0
19.43/19.56 c feaspump : 1.36 0.00 1 0 0
19.43/19.56 c fixandinfer : 0.00 0.00 0 0 0
19.43/19.56 c fracdiving : 0.00 0.00 0 0 0
19.43/19.56 c gins : 0.00 0.00 0 0 0
19.43/19.56 c guideddiving : 0.00 0.00 0 0 0
19.43/19.56 c indcoefdiving : 0.00 0.00 0 0 0
19.43/19.56 c indicator : 0.00 0.00 0 0 0
19.43/19.56 c indicatordiving : 0.00 0.00 0 0 0
19.43/19.56 c indoneopt : 0.00 0.00 0 0 0
19.43/19.56 c indrounding : 0.00 0.00 0 0 0
19.43/19.56 c indtwoopt : 0.00 0.00 0 0 0
19.43/19.56 c intdiving : 0.00 0.00 0 0 0
19.43/19.56 c intshifting : 0.00 0.00 0 0 0
19.43/19.56 c linesearchdiving : 0.00 0.00 0 0 0
19.43/19.56 c localbranching : 0.00 0.00 0 0 0
19.43/19.56 c locks : 0.00 0.00 1 0 0
19.43/19.56 c lpface : 0.00 0.00 0 0 0
19.43/19.56 c mpec : 0.00 0.00 0 0 0
19.43/19.56 c multistart : 0.00 0.00 0 0 0
19.43/19.56 c mutation : 0.00 0.00 0 0 0
19.43/19.56 c nlpdiving : 0.00 0.00 0 0 0
19.43/19.56 c objpscostdiving : 0.00 0.00 0 0 0
19.43/19.56 c octane : 0.00 0.00 0 0 0
19.43/19.56 c ofins : 0.00 0.00 0 0 0
19.43/19.56 c oneopt : 0.00 0.00 0 0 0
19.43/19.56 c padm : 0.00 0.00 0 0 0
19.43/19.56 c proximity : 0.00 0.00 0 0 0
19.43/19.56 c pscostdiving : 0.00 0.00 0 0 0
19.43/19.56 c randrounding : 0.03 0.00 12 0 0
19.43/19.56 c rens : 0.03 0.00 1 0 0
19.43/19.56 c reoptsols : 0.00 0.00 0 0 0
19.43/19.56 c repair : 0.00 0.00 0 0 0
19.43/19.56 c rins : 0.00 0.00 0 0 0
19.43/19.56 c rootsoldiving : 0.00 0.00 0 0 0
19.43/19.56 c rounding : 0.02 0.00 111 0 0
19.43/19.56 c scheduler : 0.00 0.00 0 0 0
19.43/19.56 c shiftandpropagate: 0.00 0.00 1 0 0
19.43/19.56 c shifting : 0.02 0.00 38 0 0
19.43/19.56 c simplerounding : 0.00 0.00 0 0 0
19.43/19.56 c smallcard : 0.00 0.00 0 0 0
19.43/19.56 c subnlp : 0.00 0.00 0 0 0
19.43/19.56 c trivial : 0.00 0.00 2 0 0
19.43/19.56 c trivialnegation : 0.00 0.00 0 0 0
19.43/19.56 c trustregion : 0.00 0.00 0 0 0
19.43/19.56 c trysol : 0.00 0.00 0 0 0
19.43/19.56 c twoopt : 0.00 0.00 0 0 0
19.43/19.56 c undercover : 0.00 0.00 0 0 0
19.43/19.56 c vbounds : 0.01 0.00 1 0 0
19.43/19.56 c veclendiving : 0.00 0.00 0 0 0
19.43/19.56 c zeroobj : 0.00 0.00 0 0 0
19.43/19.56 c zirounding : 0.00 0.00 88 0 0
19.43/19.56 c other solutions : - - - 0 -
19.43/19.56 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
19.43/19.56 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
19.43/19.56 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
19.43/19.56 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
19.43/19.56 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
19.43/19.56 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
19.43/19.56 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
19.43/19.56 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
19.43/19.56 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
19.43/19.56 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
19.43/19.56 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
19.43/19.56 c primal LP : 0.01 12 0 0.00 - 0.01 12
19.43/19.56 c dual LP : 10.71 188 90107 484.45 8414.72 0.00 2
19.43/19.56 c lex dual LP : 0.00 0 0 0.00 -
19.43/19.56 c barrier LP : 0.00 0 0 0.00 - 0.00 0
19.43/19.56 c resolve instable : 0.00 0 0 0.00 -
19.43/19.56 c diving/probing LP: 1.85 11 18108 1646.18 9783.44
19.43/19.56 c strong branching : 1.48 10 9879 987.90 6682.30 - - 18
19.43/19.56 c (at root node) : - 10 9879 987.90 -
19.43/19.56 c conflict analysis: 0.00 0 0 0.00 -
19.43/19.56 c B&B Tree :
19.43/19.56 c number of runs : 1
19.43/19.56 c nodes : 158 (88 internal, 70 leaves)
19.43/19.56 c feasible leaves : 1
19.43/19.56 c infeas. leaves : 69
19.43/19.56 c objective leaves : 0
19.43/19.56 c nodes (total) : 158 (88 internal, 70 leaves)
19.43/19.56 c nodes left : 0
19.43/19.56 c max depth : 18
19.43/19.56 c max depth (total): 18
19.43/19.56 c backtracks : 32 (20.3%)
19.43/19.56 c early backtracks : 0 (0.0%)
19.43/19.56 c nodes exc. ref. : 0 (0.0%)
19.43/19.56 c delayed cutoffs : 0
19.43/19.56 c repropagations : 44 (555 domain reductions, 0 cutoffs)
19.43/19.56 c avg switch length: 2.58
19.43/19.56 c switching time : 0.03
19.43/19.56 c Root Node :
19.43/19.56 c First LP value : +0.00000000000000e+00
19.43/19.56 c First LP Iters : 3891 (8347.90 Iter/sec)
19.43/19.56 c First LP Time : 0.47
19.43/19.56 c Final Dual Bound : +0.00000000000000e+00
19.43/19.56 c Final Root Iters : 30443
19.43/19.56 c Root LP Estimate : +8.91485967055450e-03
19.43/19.56 c Solution :
19.43/19.56 c Solutions found : 1 (1 improvements)
19.43/19.56 c First Solution : +0.00000000000000e+00 (in run 1, after 158 nodes, 19.55 seconds, depth 17, found by <relaxation>)
19.43/19.56 c Gap First Sol. : 0.00 %
19.43/19.56 c Gap Last Sol. : 0.00 %
19.43/19.56 c Primal Bound : +0.00000000000000e+00 (in run 1, after 158 nodes, 19.55 seconds, depth 17, found by <relaxation>)
19.43/19.56 c Dual Bound : +0.00000000000000e+00
19.43/19.56 c Gap : 0.00 %
19.43/19.56 c Integrals : Total Avg%
19.43/19.56 c primal-dual : 1955.45 100.00
19.43/19.56 c primal-ref : - - (not evaluated)
19.43/19.56 c dual-ref : - - (not evaluated)
19.73/19.81 c Time complete: 19.7556.
OK 0
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: 63968 MiB (60508 MiB free)
memory of node 1: 64473 MiB (58981 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459508-1721898465/watcher-4459508-1721898465 -o /tmp/evaluation-result-4459508-1721898465/solver-4459508-1721898465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721898458-234048 --watchdog 3760 pbscip -f HOME/instance-4459508-1721898465.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=234201, runsolver pid=234198
[startup+0.100329 s]*
/proc/loadavg: 1.16 1.83 2.96 5/263 234202
/proc/meminfo: memFree=122341296/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=68984 memory=30424 CPUtime=0.09 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 4464 0 0 0 9 0 0 0 20 0 1 0 26369930 70639616 7606 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 17246 7606 3713 3540 0 5503 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 30424 KiB
[startup+0.20584 s]*
/proc/loadavg: 1.16 1.83 2.96 5/263 234202
/proc/meminfo: memFree=122338352/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=73068 memory=34152 CPUtime=0.19 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 5370 0 0 0 19 0 0 0 20 0 1 0 26369930 74821632 8538 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 18267 8538 3793 3540 0 6524 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73068 KiB
Current children cumulated memory: 34152 KiB
[startup+0.305607 s]*
/proc/loadavg: 1.16 1.83 2.96 5/263 234202
/proc/meminfo: memFree=122336868/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=73800 memory=34944 CPUtime=0.29 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 5567 0 0 0 29 0 0 0 20 0 1 0 26369930 75571200 8736 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 18450 8736 3793 3540 0 6707 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73800 KiB
Current children cumulated memory: 34944 KiB
[startup+0.700175 s]
/proc/loadavg: 1.16 1.83 2.96 5/263 234202
/proc/meminfo: memFree=122336008/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=75196 memory=36264 CPUtime=0.69 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 5903 0 0 0 68 1 0 0 20 0 1 0 26369930 77000704 9066 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 18799 9066 3793 3540 0 7056 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75196 KiB
Current children cumulated memory: 36264 KiB
[startup+1.50019 s]
/proc/loadavg: 1.16 1.83 2.96 5/263 234202
/proc/meminfo: memFree=122332312/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=85988 memory=45724 CPUtime=1.48 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 8104 0 0 0 147 1 0 0 20 0 1 0 26369930 88051712 11431 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 21497 11431 3953 3540 0 9754 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 85988 KiB
Current children cumulated memory: 45724 KiB
[startup+3.10565 s]
/proc/loadavg: 1.16 1.83 2.96 5/263 234202
/proc/meminfo: memFree=122309752/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=86828 memory=46516 CPUtime=3.08 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 8272 0 0 0 307 1 0 0 20 0 1 0 26369930 88911872 11629 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 21707 11629 3953 3540 0 9964 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86828 KiB
Current children cumulated memory: 46516 KiB
[startup+6.30017 s]
/proc/loadavg: 1.38 1.86 2.97 5/263 234202
/proc/meminfo: memFree=122164096/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=210488 memory=166748 CPUtime=6.26 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 39013 0 0 0 620 6 0 0 20 0 1 0 26369930 215539712 41687 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 52622 41687 4000 3540 0 40879 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 210488 KiB
Current children cumulated memory: 166748 KiB
[startup+12.7002 s]
/proc/loadavg: 1.59 1.90 2.97 5/263 234203
/proc/meminfo: memFree=122106432/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=250796 memory=206872 CPUtime=12.65 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 49033 0 0 0 1257 8 0 0 20 0 1 0 26369930 256815104 51718 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 62699 51718 4000 3540 0 50956 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 250796 KiB
Current children cumulated memory: 206872 KiB
[startup+19.8214 s]
# the end of solver process 234201 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=19.6415 s, system=0.121584 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 1.59 1.90 2.97 5/263 234203
/proc/meminfo: memFree=122106432/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=250796 memory=206872 CPUtime=12.75 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 49033 0 0 0 1267 8 0 0 20 0 1 0 26369930 256815104 51718 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 62699 51718 4000 3540 0 50956 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 250796 KiB
Current children cumulated memory: 206872 KiB
[startup+16.0002 s]*
/proc/loadavg: 1.87 1.95 2.98 5/263 234203
/proc/meminfo: memFree=122066296/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=273252 memory=227200 CPUtime=15.95 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 54103 0 0 0 1585 10 0 0 20 0 1 0 26369930 279810048 56800 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 68313 56800 4000 3540 0 56570 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 273252 KiB
Current children cumulated memory: 227200 KiB
[startup+17.6002 s]
/proc/loadavg: 1.87 1.95 2.98 5/263 234203
/proc/meminfo: memFree=122065188/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=273252 memory=227992 CPUtime=17.54 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 54326 0 0 0 1744 10 0 0 20 0 1 0 26369930 279810048 56998 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 68313 56998 4000 3540 0 56570 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 273252 KiB
Current children cumulated memory: 227992 KiB
[startup+19.2001 s]
/proc/loadavg: 1.96 1.97 2.99 5/257 234265
/proc/meminfo: memFree=122233116/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=281356 memory=236176 CPUtime=19.13 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 56373 0 0 0 1903 10 0 0 20 0 1 0 26369930 288108544 59044 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 70339 59044 4000 3540 0 58596 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 281356 KiB
Current children cumulated memory: 236176 KiB
[startup+19.6001 s]
/proc/loadavg: 1.96 1.97 2.99 5/257 234265
/proc/meminfo: memFree=122233116/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=281356 memory=236176 CPUtime=19.53 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 56373 0 0 0 1943 10 0 0 20 0 1 0 26369930 288108544 59044 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 70339 59044 4000 3540 0 58596 0
Current children cumulated CPU time: 19.53 s
Current children cumulated vsize: 281356 KiB
Current children cumulated memory: 236176 KiB
[startup+19.8002 s]
/proc/loadavg: 1.96 1.97 2.99 5/257 234265
/proc/meminfo: memFree=122233116/131524600 swapFree=131054712/131071996
[pid=234201] ppid=234198 vsize=268624 memory=223708 CPUtime=19.73 cores=5,7
/proc/234201/stat : 234201 (pbscip) R 234198 234201 234035 0 -1 4194304 56373 0 0 0 1963 10 0 0 20 0 1 0 26369930 275070976 55927 134679101440 4194304 18693293 140731109331760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 35745792 140731109340164 140731109340263 140731109340263 140731109347278 0
/proc/234201/statm: 67156 55927 4000 3540 0 55413 0
Current children cumulated CPU time: 19.73 s
Current children cumulated vsize: 268624 KiB
Current children cumulated memory: 223708 KiB
Child status: 0
Real time (s): 19.8214
CPU time (s): 19.763
CPU user time (s): 19.6415
CPU system time (s): 0.121584
CPU usage (%): 99.7054
Max. virtual memory (cumulated for all children) (KiB): 281356
Max. memory (cumulated for all children) (KiB): 236176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.6415
system time used= 0.121584
maximum resident set size= 236176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56378
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= 10
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 234201
# total CPU time (s): 19.763
# total CPU user time (s): 19.6415
# total CPU system time (s): 0.121584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04007 second user time and 0.123332 second system time
The end
Begin job on nodeC028 at 2024-07-25 11:07:45 IDJOB=4459508 IDBENCH=178814 IDSOLVER=3059 FILE ID=nodeC028/4459508-1721898465 RUNJOBID= nodeC028-1721898458-234048 SLURM_JOB_ID= 8089360 Free space on /tmp= 890004 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-acc-tight5.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459508-1721898465/watcher-4459508-1721898465 -o /tmp/evaluation-result-4459508-1721898465/solver-4459508-1721898465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721898458-234048 --watchdog 3760 pbscip -f HOME/instance-4459508-1721898465.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6af75c77ba4b85e7dda4ec373ae767da RANDOM SEED=1010720700 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.125 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3672.758 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.51 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.892 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3641.031 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.51 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 : 3672.193 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3671.225 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.965 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3666.137 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122357932 kB MemAvailable: 129252592 kB Buffers: 309404 kB Cached: 7370880 kB SwapCached: 284 kB Active: 2352088 kB Inactive: 6133340 kB Active(anon): 4468 kB Inactive(anon): 852612 kB Active(file): 2347620 kB Inactive(file): 5280728 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054712 kB Dirty: 75564 kB Writeback: 0 kB AnonPages: 804372 kB Mapped: 130216 kB Shmem: 51932 kB KReclaimable: 212268 kB Slab: 333496 kB SReclaimable: 212268 kB SUnreclaim: 121228 kB KernelStack: 4192 kB PageTables: 11220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1213096 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 13440 kB HardwareCorrupted: 0 kB AnonHugePages: 286720 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 443092 kB DirectMap2M: 51759104 kB DirectMap1G: 83886080 kB Free space on /tmp at the end= 890004 MiB End job on nodeC028 at 2024-07-25 11:08:05