Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 570.351 | 571.896 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo |
| MD5SUM | 4b6a10b924703f39ba2bfb2cf9649014 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 2.77866 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 756 |
| Total number of constraints | 200096 |
| Number of soft constraints | 200060 |
| Number of constraints which are clauses | 200060 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 21 |
| Top cost | 29 |
| Min constraint cost | 1 |
| Max constraint cost | 29 |
| Sum of constraints costs | 5786060 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 22 |
| 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-4456612-1721722507.wbo>
0.69/0.79 c original problem has 200816 variables (200816 bin, 0 int, 0 impl, 0 cont) and 400157 constraints
0.69/0.79 c problem read in 0.79
3.08/3.13 c presolving:
4.28/4.37 c (round 1, fast) 399000 del vars, 199500 del conss, 0 add conss, 399000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 560 impls, 36 clqs
4.48/4.57 c (round 2, fast) 399000 del vars, 199500 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 560 impls, 36 clqs
4.88/4.97 c (round 3, exhaustive) 399000 del vars, 199500 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 36 clqs
5.48/5.54 c (round 4, exhaustive) 399025 del vars, 199500 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 88 clqs
5.88/5.91 c (round 5, exhaustive) 399050 del vars, 199500 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 134 clqs
6.18/6.28 c (round 6, exhaustive) 399075 del vars, 199525 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 183 clqs
6.58/6.63 c (round 7, exhaustive) 399100 del vars, 199550 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 231 clqs
6.88/6.98 c (round 8, exhaustive) 399125 del vars, 199575 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 267 clqs
7.28/7.31 c (round 9, exhaustive) 399150 del vars, 199600 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 304 clqs
7.58/7.64 c (round 10, exhaustive) 399175 del vars, 199625 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 338 clqs
7.87/7.96 c (round 11, exhaustive) 399200 del vars, 199650 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 364 clqs
8.17/8.27 c (round 12, exhaustive) 399225 del vars, 199675 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 398 clqs
8.47/8.57 c (round 13, exhaustive) 399250 del vars, 199700 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 418 clqs
8.77/8.86 c (round 14, exhaustive) 399275 del vars, 199725 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 455 clqs
9.07/9.14 c (round 15, exhaustive) 399300 del vars, 199750 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 473 clqs
9.37/9.41 c (round 16, exhaustive) 399325 del vars, 199775 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 498 clqs
9.57/9.67 c (round 17, exhaustive) 399350 del vars, 199800 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 519 clqs
9.86/9.92 c (round 18, exhaustive) 399375 del vars, 199825 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 535 clqs
10.07/10.17 c (round 19, exhaustive) 399400 del vars, 199850 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 554 clqs
10.37/10.40 c (round 20, exhaustive) 399425 del vars, 199875 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 564 clqs
10.57/10.62 c (round 21, exhaustive) 399450 del vars, 199900 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 574 clqs
10.77/10.83 c (round 22, exhaustive) 399475 del vars, 199925 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 581 clqs
10.97/11.04 c (round 23, exhaustive) 399500 del vars, 199950 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 591 clqs
11.16/11.23 c (11.2s) probing: 1000/1876 (53.3%) - 0 fixings, 507 aggregations, 799 implications, 0 bound changes
11.16/11.23 c (round 24, exhaustive) 399525 del vars, 199975 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 596 clqs
11.36/11.42 c (round 25, exhaustive) 399550 del vars, 200000 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 596 clqs
11.46/11.55 c (11.6s) probing: 1171/1876 (62.4%) - 0 fixings, 560 aggregations, 853 implications, 0 bound changes
11.46/11.55 c (11.6s) probing aborted: 50/50 successive totally useless probings
11.46/11.55 c (round 26, exhaustive) 399560 del vars, 200025 del conss, 0 add conss, 399560 chg bounds, 0 chg sides, 0 chg coeffs, 199537 upgd conss, 560 impls, 596 clqs
11.56/11.66 c (11.7s) probing: 1176/1876 (62.7%) - 0 fixings, 560 aggregations, 853 implications, 0 bound changes
11.56/11.66 c (11.7s) probing aborted: 50/50 successive totally useless probings
11.56/11.66 c (11.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.97/12.03 c (12.0s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.18)
11.97/12.03 c dynamic symmetry handling statistics:
11.97/12.03 c orbitopal reduction: no components
11.97/12.03 c orbital reduction: no components
11.97/12.03 c lexicographic reduction: 3 permutations with support sizes 42, 82, 82
11.97/12.03 c handled 3 out of 3 symmetry components
12.46/12.54 c presolving (27 rounds: 27 fast, 25 medium, 25 exhaustive):
12.46/12.54 c 399560 deleted vars, 200050 deleted constraints, 0 added constraints, 399560 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
12.46/12.54 c 560 implications, 596 cliques
12.46/12.54 c presolved problem has 1316 variables (1316 bin, 0 int, 0 impl, 0 cont) and 200107 constraints
12.46/12.54 c 1 constraints of type <knapsack>
12.46/12.54 c 36 constraints of type <setppc>
12.46/12.54 c 560 constraints of type <linear>
12.46/12.54 c 199500 constraints of type <logicor>
12.46/12.54 c 10 constraints of type <indicator>
12.46/12.54 c transformed objective value is always integral (scale: 1)
12.46/12.54 c Presolving Time: 11.12
12.46/12.54 c - non default parameters ----------------------------------------------------------------------
12.46/12.54 c # SCIP version 10.0.0
12.46/12.54 c
12.46/12.54 c # maximal time in seconds to run
12.46/12.54 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
12.46/12.54 c limits/time = 3596.99701
12.46/12.54 c
12.46/12.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.46/12.54 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
12.46/12.54 c limits/memory = 27900
12.46/12.54 c
12.46/12.54 c # belongs reading time to solving time?
12.46/12.54 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
12.46/12.54 c timing/reading = TRUE
12.46/12.54 c
12.46/12.54 c -----------------------------------------------------------------------------------------------
12.46/12.54 c start solving
12.46/12.55 c
12.76/12.88 o 22
12.76/12.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.76/12.88 c p12.9s| 1 | 0 | 0 | - | clique| 0 |1316 | 200k| 200k| 0 | 0 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf | unknown
13.45/13.51 c 13.5s| 1 | 0 | 592 | - | 1525M | 0 |1316 | 200k| 200k| 0 | 0 | 49 | 0 | 4.761905e-02 | 2.200000e+01 | Large | unknown
38.00/38.18 c 38.2s| 1 | 0 | 600 | - | 1549M | 0 |1316 | 200k| 200k| 6 | 1 | 51 | 0 | 1.000000e+00 | 2.200000e+01 |2100.00%| unknown
65.52/65.79 c 65.8s| 1 | 0 | 614 | - | 1572M | 0 |1316 | 200k| 200k| 10 | 2 | 52 | 0 | 1.000000e+00 | 2.200000e+01 |2100.00%| unknown
94.74/95.05 c 95.0s| 1 | 0 | 622 | - | 1593M | 0 |1316 | 200k| 200k| 16 | 3 | 53 | 0 | 1.000000e+00 | 2.200000e+01 |2100.00%| unknown
122.37/122.75 c 123s| 1 | 0 | 631 | - | 1614M | 0 |1316 | 200k| 200k| 20 | 4 | 53 | 0 | 1.000000e+00 | 2.200000e+01 |2100.00%| unknown
151.19/151.66 c 152s| 1 | 0 | 642 | - | 1637M | 0 |1316 | 200k| 200k| 25 | 5 | 54 | 0 | 1.000000e+00 | 2.200000e+01 |2100.00%| unknown
151.29/151.72 o 18
151.29/151.72 c r 152s| 1 | 0 | 642 | - |shifting| 0 |1316 | 200k| 200k| 25 | 5 | 55 | 0 | 1.000000e+00 | 1.800000e+01 |1700.00%| unknown
180.72/181.27 c 181s| 1 | 0 | 664 | - | 1659M | 0 |1316 | 200k| 200k| 29 | 6 | 55 | 0 | 1.000000e+00 | 1.800000e+01 |1700.00%| unknown
180.82/181.31 o 17
180.82/181.31 c i 181s| 1 | 0 | 664 | - | oneopt| 0 |1316 | 200k| 200k| 29 | 6 | 55 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
191.39/191.97 c 192s| 1 | 0 | 1198 | - | 1680M | 0 |1316 | 200k| 200k| 36 | 7 | 56 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
200.76/201.36 c 201s| 1 | 0 | 1203 | - | 1701M | 0 |1316 | 200k| 200k| 41 | 8 | 57 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
212.44/213.06 c 213s| 1 | 0 | 1211 | - | 1721M | 0 |1316 | 200k| 200k| 47 | 9 | 58 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
225.10/225.72 c 226s| 1 | 0 | 1219 | - | 1742M | 0 |1316 | 200k| 200k| 52 | 10 | 58 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
225.19/225.84 c 226s| 1 | 0 | 1225 | - | 1763M | 0 |1316 | 200k| 200k| 56 | 11 | 58 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
225.29/225.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
225.29/225.97 c 226s| 1 | 0 | 1231 | - | 1784M | 0 |1316 | 200k| 200k| 59 | 12 | 59 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
225.41/226.08 c 226s| 1 | 0 | 1257 | - | 1805M | 0 |1316 | 200k| 200k| 63 | 13 | 61 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
225.60/226.25 c 226s| 1 | 0 | 1260 | - | 1826M | 0 |1316 | 200k| 200k| 65 | 14 | 61 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
225.70/226.36 c 226s| 1 | 0 | 1264 | - | 1847M | 0 |1316 | 200k| 200k| 68 | 15 | 62 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
225.90/226.51 c 227s| 1 | 0 | 1269 | - | 1868M | 0 |1316 | 200k| 200k| 71 | 16 | 62 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
226.00/226.61 c 227s| 1 | 0 | 1274 | - | 1887M | 0 |1316 | 200k| 200k| 74 | 17 | 63 | 0 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
230.49/231.19 c 231s| 1 | 2 | 2243 | - | 1909M | 0 |1316 | 200k| 200k| 74 | 17 | 94 | 20 | 1.000000e+00 | 1.700000e+01 |1600.00%| unknown
254.19/254.94 o 16
254.19/254.94 c * 255s| 10 | 9 | 3918 | 293.8 |strongbr| 9 |1316 | 200k| 200k| 74 | 11 | 296 | 351 | 1.000000e+00 | 1.600000e+01 |1500.00%| unknown
257.97/258.70 o 15
257.97/258.70 c * 259s| 11 | 8 | 4022 | 274.8 |strongbr| 9 |1316 | 200k| 200k| 74 | 28 | 478 | 427 | 1.000000e+00 | 1.500000e+01 |1400.00%| unknown
277.31/278.15 o 8
277.31/278.15 c * 278s| 24 | 6 | 6046 | 207.5 |strongbr| 9 |1316 | 200k| 200k| 74 | 1 | 591 | 707 | 1.000000e+00 | 8.000000e+00 | 700.00%| 15.78%
355.50/356.58 o 7
355.50/356.58 c * 357s| 39 | 5 | 9976 | 229.0 |strongbr| 11 |1316 | 200k| 200k| 104 | 2 | 672 | 907 | 1.000000e+00 | 7.000000e+00 | 600.00%| 23.18%
449.84/451.11 o 5
449.84/451.11 c * 451s| 86 | 3 | 14779 | 158.9 |strongbr| 15 |1316 | 200k| 200k| 156 | 1 | 962 |1262 | 1.000000e+00 | 5.000000e+00 | 400.00%| 54.28%
560.67/562.21 c 562s| 100 | 3 | 17969 | 168.6 | 2184M | 15 |1316 | 200k| 200k| 198 | 3 |1007 |1336 | 1.000000e+00 | 5.000000e+00 | 400.00%| 57.78%
561.77/563.36 o 4
561.77/563.36 c * 563s| 102 | 3 | 18451 | 170.1 |strongbr| 15 |1316 | 200k| 200k| 198 | 3 |1011 |1345 | 1.000000e+00 | 4.000000e+00 | 300.00%| 57.79%
567.45/569.02 o 2
567.45/569.02 c * 569s| 121 | 1 | 20816 | 162.8 |strongbr| 22 |1316 | 200k| 200k| 209 | 1 |1098 |1425 | 1.000000e+00 | 2.000000e+00 | 100.00%| 58.39%
569.05/570.66 o 1
569.05/570.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
569.05/570.66 c L 571s| 124 | 0 | 20848 | 159.1 | lpface| 22 |1316 | 182k| 200k| 209 | 4 |1121 |1444 | 1.000000e+00 | 1.000000e+00 | 0.00%| 100.00%
569.15/570.74 c
569.15/570.74 c SCIP Status : problem is solved [optimal solution found]
569.15/570.74 c Solving Time (sec) : 570.73
569.15/570.74 c Solving Nodes : 124
569.15/570.74 c Primal Bound : +1.00000000000000e+00 (20 solutions)
569.15/570.74 c Dual Bound : +1.00000000000000e+00
569.15/570.74 c Gap : 0.00 %
569.45/571.01 s OPTIMUM FOUND
569.45/571.02 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 x737 -x736 -x735
569.45/571.02 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714
569.45/571.02 v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693
569.45/571.02 v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
569.45/571.02 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651
569.45/571.02 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630
569.45/571.02 v -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609
569.45/571.02 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588
569.45/571.02 v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567
569.45/571.02 v -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546
569.45/571.02 v -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525
569.45/571.02 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504
569.45/571.02 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483
569.45/571.02 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462
569.45/571.02 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441
569.45/571.02 v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420
569.45/571.02 v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399
569.45/571.02 v -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378
569.45/571.02 v -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357
569.45/571.02 v -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336
569.45/571.02 v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315
569.45/571.02 v x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294
569.45/571.02 v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273
569.45/571.02 v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 -x252
569.45/571.02 v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231
569.45/571.02 v -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
569.45/571.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189
569.45/571.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
569.45/571.02 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147
569.45/571.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126
569.45/571.02 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105
569.45/571.02 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81
569.45/571.02 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
569.45/571.02 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
569.45/571.02 v -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4
569.45/571.02 v -x3 -x2 -x1
569.45/571.02 c SCIP Status : problem is solved [optimal solution found]
569.45/571.02 c Total Time : 570.73
569.45/571.02 c solving : 570.73
569.45/571.02 c presolving : 11.12 (included in solving)
569.45/571.02 c reading : 0.79 (included in solving)
569.45/571.02 c copying : 0.45 (2 #copies) (minimal 0.22, maximal 0.23, average 0.23)
569.45/571.02 c Original Problem :
569.45/571.02 c Problem name : HOME/instance-4456612-1721722507.wbo
569.45/571.02 c Variables : 200816 (200816 binary, 0 integer, 0 implicit integer, 0 continuous)
569.45/571.02 c Constraints : 400157 initial, 400157 maximal
569.45/571.02 c Objective : minimize, 200060 non-zeros (abs.min = 1, abs.max = 29)
569.45/571.02 c Presolved Problem :
569.45/571.02 c Problem name : t_HOME/instance-4456612-1721722507.wbo
569.45/571.02 c Variables : 1316 (1316 binary, 0 integer, 0 implicit integer, 0 continuous)
569.45/571.02 c Constraints : 200107 initial, 200709 maximal
569.45/571.02 c Objective : minimize, 560 non-zeros (abs.min = 1, abs.max = 1)
569.45/571.02 c Nonzeros : 600976 constraint, 1993 clique table
569.45/571.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
569.45/571.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c domcol : 0.00 0.00 24 0 0 0 0 0 0 0 0 0
569.45/571.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
569.45/571.02 c gateextraction : 0.96 0.00 24 0 0 0 0 0 0 0 0 0
569.45/571.02 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
569.45/571.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
569.45/571.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c trivial : 0.01 0.00 27 0 0 0 0 0 0 0 0 0
569.45/571.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c dualfix : 0.01 0.00 27 0 0 0 0 0 0 0 0 0
569.45/571.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c probing : 0.28 0.00 24 0 560 0 0 0 0 0 0 0
569.45/571.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
569.45/571.02 c symmetry : 0.38 0.00 1 0 0 0 0 0 0 0 0 0
569.45/571.02 c vbounds : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
569.45/571.02 c knapsack : 0.00 0.00 72 0 0 0 0 0 0 0 0 0
569.45/571.02 c setppc : 0.00 0.00 72 0 0 0 0 0 0 0 0 0
569.45/571.02 c linear : 1.34 0.02 52 199500 0 0 200060 0 0 0 0 0
569.45/571.02 c logicor : 5.41 0.48 72 0 0 0 0 0 0 0 0 0
569.45/571.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c indicator : 0.36 0.00 25 199500 0 0 199500 0 200050 0 0 0
569.45/571.02 c components : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
569.45/571.02 c root node : - - - 1043 - - 1043 - - - - -
569.45/571.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
569.45/571.02 c benderslp : 0 0 0 0 281 0 0 138 0 0 0 0 0 0 0
569.45/571.02 c integral : 0 0 0 0 281 0 0 138 0 7 766 0 0 893 142
569.45/571.02 c knapsack : 1 1 0 11123 0 0 0 132 440 0 0 0 0 0 0
569.45/571.02 c setppc : 36+ 133 17 10586 0 0 0 130 1174 444 1475 4 0 0 0
569.45/571.02 c linear : 560+ 614 17 10129 0 0 0 117 9949 58 10545 0 0 0 0
569.45/571.02 c logicor : 199500+ 200020 17 4332 0 0 0 20 10882 54 2888 4 2 0 0
569.45/571.02 c benders : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
569.45/571.02 c indicator : 10 10 55 10590 0 0 0 20 0 0 0 0 0 0 0
569.45/571.02 c fixedvar : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
569.45/571.02 c countsols : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
569.45/571.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
569.45/571.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c integral : 83.20 0.00 0.00 0.00 83.20 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c knapsack : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c setppc : 0.10 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.07
569.45/571.02 c linear : 0.10 0.02 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.03
569.45/571.02 c logicor : 5.49 0.48 0.47 1.34 0.00 0.00 0.00 0.22 0.00 2.99
569.45/571.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c indicator : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c fixedvar : 0.24 0.01 0.00 0.00 0.00 0.00 0.00 0.23 0.00 0.00
569.45/571.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
569.45/571.02 c dualfix : 2 0 0 0
569.45/571.02 c genvbounds : 0 0 0 0
569.45/571.02 c nlobbt : 0 0 0 0
569.45/571.02 c obbt : 0 0 0 0
569.45/571.02 c probing : 0 0 0 0
569.45/571.02 c pseudoobj : 963 0 0 0
569.45/571.02 c redcost : 631 0 0 11165
569.45/571.02 c rootredcost : 8 0 0 921
569.45/571.02 c symmetry : 4174 0 0 28
569.45/571.02 c vbounds : 3678 0 0 0
569.45/571.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
569.45/571.02 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
569.45/571.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c probing : 0.28 0.00 0.28 0.00 0.00 0.00
569.45/571.02 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
569.45/571.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c symmetry : 0.40 0.00 0.38 0.01 0.00 0.02
569.45/571.02 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
569.45/571.02 c Symmetry :
569.45/571.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
569.45/571.02 c orbital reduction: 0 reductions applied, 0 cutoffs
569.45/571.02 c lexicographic red: 28 reductions applied, 0 cutoffs
569.45/571.02 c shadow tree time : 0.00 s
569.45/571.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
569.45/571.02 c propagation : 0.02 504 496 - 844 27.2 32 19.5 - - -
569.45/571.02 c infeasible LP : 0.00 1 1 - 3 41.3 0 0.0 1 58.0 0
569.45/571.02 c bound exceed. LP : 1.55 144 115 - 296 34.4 14 18.4 68 163.9 561
569.45/571.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
569.45/571.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
569.45/571.02 c applied globally : 0.01 - - 6 1052 26.6 - - 69 - -
569.45/571.02 c applied locally : - - - 0 0 0.0 - - 0 - -
569.45/571.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
569.45/571.02 c cut pool : 0.02 - 94 33 - - 1165 2159 - - - - - (maximal pool size: 1165)
569.45/571.02 c aggregation : 0.50 0.00 47 17 0 0 0 0 0 0 0 0 0
569.45/571.02 c > cmir : - - - - - - - 0 0 0 0 0 -
569.45/571.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
569.45/571.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
569.45/571.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c clique : 0.02 0.00 17 17 0 0 0 0 0 0 0 0 0
569.45/571.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c gomory : 446.73 0.00 33 10 0 0 1060 1922 0 100 100 0 0
569.45/571.02 c > gomorymi : - - - - - - - 521 0 10 10 0 -
569.45/571.02 c > strongcg : - - - - - - - 1401 0 90 90 0 -
569.45/571.02 c impliedbounds : 0.00 0.00 47 17 0 0 9 36 0 23 23 0 0
569.45/571.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c multilinear : 0.00 0.00 49 17 0 0 0 0 0 0 0 0 0
569.45/571.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c rapidlearning : 0.16 0.00 0 0 0 0 0 0 0 0 0 0 0
569.45/571.02 c rlt : 0.00 0.00 18 10 0 0 0 0 0 0 0 0 0
569.45/571.02 c zerohalf : 0.30 0.00 40 17 0 0 96 201 0 84 84 0 0
569.45/571.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
569.45/571.02 c hybrid : 0.00 0.00 48 17 209 0 1958 74 0 771
569.45/571.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c Pricers : ExecTime SetupTime Calls Vars
569.45/571.02 c problem variables: 0.00 - 0 0
569.45/571.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
569.45/571.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c relpscost : 83.20 0.00 281 0 0 7 766 0 951 142
569.45/571.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
569.45/571.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
569.45/571.02 c LP solutions : 0.00 - - 0 0
569.45/571.02 c relax solutions : 0.00 - - 0 0
569.45/571.02 c pseudo solutions : 0.00 - - 0 0
569.45/571.02 c strong branching : 0.12 - - 7 7
569.45/571.02 c actconsdiving : 0.00 0.00 0 0 0
569.45/571.02 c adaptivediving : 0.00 0.00 0 0 0
569.45/571.02 c alns : 0.56 0.00 1 0 0
569.45/571.02 c bound : 0.00 0.00 0 0 0
569.45/571.02 c clique : 0.35 0.00 1 1 1
569.45/571.02 c coefdiving : 0.00 0.00 0 0 0
569.45/571.02 c completesol : 0.00 0.00 0 0 0
569.45/571.02 c conflictdiving : 0.73 0.00 1 0 0
569.45/571.02 c crossover : 0.00 0.00 0 0 0
569.45/571.02 c dins : 0.00 0.00 0 0 0
569.45/571.02 c distributiondivin: 0.01 0.00 0 0 0
569.45/571.02 c dps : 0.00 0.00 0 0 0
569.45/571.02 c dualval : 0.00 0.00 0 0 0
569.45/571.02 c farkasdiving : 0.00 0.00 0 0 0
569.45/571.02 c feasjump : 0.00 0.00 0 0 0
569.45/571.02 c feaspump : 0.61 0.00 1 0 0
569.45/571.02 c fixandinfer : 0.00 0.00 0 0 0
569.45/571.02 c fracdiving : 0.00 0.00 0 0 0
569.45/571.02 c gins : 0.00 0.00 0 0 0
569.45/571.02 c guideddiving : 0.00 0.00 0 0 0
569.45/571.02 c indcoefdiving : 0.00 0.00 0 0 0
569.45/571.02 c indicator : 0.00 0.00 0 0 0
569.45/571.02 c indicatordiving : 0.00 0.00 0 0 0
569.45/571.02 c indoneopt : 0.01 0.00 9 0 0
569.45/571.02 c indrounding : 0.00 0.00 0 0 0
569.45/571.02 c indtwoopt : 0.00 0.00 0 0 0
569.45/571.02 c intdiving : 0.00 0.00 0 0 0
569.45/571.02 c intshifting : 0.00 0.00 0 0 0
569.45/571.02 c linesearchdiving : 0.00 0.00 0 0 0
569.45/571.02 c localbranching : 0.00 0.00 0 0 0
569.45/571.02 c locks : 0.04 0.00 1 0 0
569.45/571.02 c lpface : 0.85 0.00 1 1 1
569.45/571.02 c mpec : 0.00 0.00 0 0 0
569.45/571.02 c multistart : 0.00 0.00 0 0 0
569.45/571.02 c mutation : 0.00 0.00 0 0 0
569.45/571.02 c nlpdiving : 0.00 0.00 0 0 0
569.45/571.02 c objpscostdiving : 0.00 0.00 0 0 0
569.45/571.02 c octane : 0.00 0.00 0 0 0
569.45/571.02 c ofins : 0.00 0.00 0 0 0
569.45/571.02 c oneopt : 0.13 0.00 9 1 1
569.45/571.02 c padm : 0.00 0.00 0 0 0
569.45/571.02 c proximity : 0.00 0.00 0 0 0
569.45/571.02 c pscostdiving : 0.00 0.00 0 0 0
569.45/571.02 c randrounding : 0.35 0.00 28 0 0
569.45/571.02 c rens : 0.58 0.00 1 0 0
569.45/571.02 c reoptsols : 0.00 0.00 0 0 0
569.45/571.02 c repair : 0.00 0.00 0 0 0
569.45/571.02 c rins : 0.00 0.00 0 0 0
569.45/571.02 c rootsoldiving : 0.00 0.00 0 0 0
569.45/571.02 c rounding : 1.37 0.00 231 0 0
569.45/571.02 c scheduler : 0.00 0.00 0 0 0
569.45/571.02 c shiftandpropagate: 0.00 0.00 0 0 0
569.45/571.02 c shifting : 1.22 0.00 71 10 1
569.45/571.02 c simplerounding : 0.00 0.00 0 0 0
569.45/571.02 c smallcard : 0.00 0.00 0 0 0
569.45/571.02 c subnlp : 0.00 0.00 0 0 0
569.45/571.02 c trivial : 0.16 0.00 2 0 0
569.45/571.02 c trivialnegation : 0.00 0.00 0 0 0
569.45/571.02 c trustregion : 0.00 0.00 0 0 0
569.45/571.02 c trysol : 0.00 0.00 0 0 0
569.45/571.02 c twoopt : 0.00 0.00 0 0 0
569.45/571.02 c undercover : 0.00 0.00 0 0 0
569.45/571.02 c vbounds : 0.42 0.00 1 0 0
569.45/571.02 c veclendiving : 0.00 0.00 0 0 0
569.45/571.02 c zeroobj : 0.00 0.00 0 0 0
569.45/571.02 c zirounding : 0.07 0.00 70 0 0
569.45/571.02 c other solutions : - - - 0 -
569.45/571.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
569.45/571.02 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
569.45/571.02 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
569.45/571.02 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
569.45/571.02 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
569.45/571.02 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
569.45/571.02 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
569.45/571.02 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
569.45/571.02 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
569.45/571.02 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
569.45/571.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
569.45/571.02 c primal LP : 0.13 9 0 0.00 0.00 0.13 9
569.45/571.02 c dual LP : 10.86 416 15516 42.28 1428.41 0.81 49
569.45/571.02 c lex dual LP : 0.00 0 0 0.00 -
569.45/571.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
569.45/571.02 c resolve instable : 0.00 0 0 0.00 -
569.45/571.02 c diving/probing LP: 6.73 125 5332 42.66 791.93
569.45/571.02 c strong branching : 42.04 1444 55434 38.39 1318.70 - - 213
569.45/571.02 c (at root node) : - 20 2934 146.70 -
569.45/571.02 c conflict analysis: 1.29 86 561 6.52 434.76
569.45/571.02 c B&B Tree :
569.45/571.02 c number of runs : 1
569.45/571.02 c nodes : 124 (71 internal, 53 leaves)
569.45/571.02 c feasible leaves : 0
569.45/571.02 c infeas. leaves : 33
569.45/571.02 c objective leaves : 20
569.45/571.02 c nodes (total) : 124 (71 internal, 53 leaves)
569.45/571.02 c nodes left : 0
569.45/571.02 c max depth : 22
569.45/571.02 c max depth (total): 22
569.45/571.02 c backtracks : 9 (7.3%)
569.45/571.02 c early backtracks : 0 (0.0%)
569.45/571.02 c nodes exc. ref. : 0 (0.0%)
569.45/571.02 c delayed cutoffs : 0
569.45/571.02 c repropagations : 41 (33 domain reductions, 0 cutoffs)
569.45/571.02 c avg switch length: 2.48
569.45/571.02 c switching time : 0.72
569.45/571.02 c Root Node :
569.45/571.02 c First LP value : +4.76190476190477e-02
569.45/571.02 c First LP Iters : 592 (5018.99 Iter/sec)
569.45/571.02 c First LP Time : 0.12
569.45/571.02 c Final Dual Bound : +1.00000000000000e+00
569.45/571.02 c Final Root Iters : 1274
569.45/571.02 c Root LP Estimate : +2.10683834869774e+00
569.45/571.02 c Solution :
569.45/571.02 c Solutions found : 20 (11 improvements)
569.45/571.02 c First Solution : +2.20000000000000e+01 (in run 1, after 1 nodes, 12.87 seconds, depth 551, found by <clique>)
569.45/571.02 c Gap First Sol. : infinite
569.45/571.02 c Gap Last Sol. : 0.00 %
569.45/571.02 c Primal Bound : +1.00000000000000e+00 (in run 1, after 124 nodes, 570.64 seconds, depth 4, found by <lpface>)
569.45/571.02 c Dual Bound : +1.00000000000000e+00
569.45/571.02 c Gap : 0.00 %
569.45/571.02 c Integrals : Total Avg%
569.45/571.02 c primal-dual : 50994.68 89.35
569.45/571.02 c primal-ref : - - (not evaluated)
569.45/571.02 c dual-ref : - - (not evaluated)
570.24/571.84 c Time complete: 570.293.
OK 1
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: 63931 MiB (35715 MiB free)
memory of node 1: 64510 MiB (50681 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456612-1721722507/watcher-4456612-1721722507 -o /tmp/evaluation-result-4456612-1721722507/solver-4456612-1721722507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87307 --watchdog 3760 pbscip -f HOME/instance-4456612-1721722507.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=90453, runsolver pid=90450
[startup+0.100089 s]*
/proc/loadavg: 4.12 4.10 4.09 5/255 90454
/proc/meminfo: memFree=88424724/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=100488 memory=60300 CPUtime=0.09 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 12088 0 0 0 8 1 0 0 20 0 1 0 8780277 102899712 15075 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 25122 15075 3277 3540 0 13379 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100488 KiB
Current children cumulated memory: 60300 KiB
[startup+0.205498 s]*
/proc/loadavg: 4.12 4.10 4.09 5/255 90454
/proc/meminfo: memFree=88382564/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=141540 memory=101256 CPUtime=0.2 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 22355 0 0 0 17 3 0 0 20 0 1 0 8780277 144936960 25314 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 35385 25314 3277 3540 0 23642 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141540 KiB
Current children cumulated memory: 101256 KiB
[startup+0.305452 s]*
/proc/loadavg: 4.12 4.10 4.09 5/255 90454
/proc/meminfo: memFree=88343784/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=180448 memory=140208 CPUtime=0.3 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 32073 0 0 0 26 4 0 0 20 0 1 0 8780277 184778752 35052 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 45112 35052 3277 3540 0 33369 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 180448 KiB
Current children cumulated memory: 140208 KiB
[startup+0.700209 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 90454
/proc/meminfo: memFree=88268712/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=328084 memory=287288 CPUtime=0.69 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 68375 0 0 0 60 9 0 0 20 0 1 0 8780277 335958016 71822 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 82021 71822 3277 3540 0 70278 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 328084 KiB
Current children cumulated memory: 287288 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 90454
/proc/meminfo: memFree=87955056/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=807552 memory=757456 CPUtime=1.49 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 186296 0 0 0 124 25 0 0 20 0 1 0 8780277 826933248 189364 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 201888 189364 3628 3540 0 190145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 807552 KiB
Current children cumulated memory: 757456 KiB
[startup+3.10553 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 90454
/proc/meminfo: memFree=87116184/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=1431292 memory=1380132 CPUtime=3.08 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 339974 0 0 0 262 46 0 0 20 0 1 0 8780277 1465643008 345033 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 357823 345033 3628 3540 0 346080 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1431292 KiB
Current children cumulated memory: 1380132 KiB
[startup+6.30017 s]
/proc/loadavg: 4.11 4.09 4.09 5/255 90455
/proc/meminfo: memFree=87011920/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=1519128 memory=1469304 CPUtime=6.28 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 360120 0 0 0 576 52 0 0 20 0 1 0 8780277 1555587072 367326 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 379782 367326 3692 3540 0 368039 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1519128 KiB
Current children cumulated memory: 1469304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 6/255 90455
/proc/meminfo: memFree=86980804/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=1607636 memory=1549020 CPUtime=12.66 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 383487 0 0 0 1210 56 0 0 20 0 1 0 8780277 1646219264 387255 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 401909 387255 3772 3540 0 390166 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1607636 KiB
Current children cumulated memory: 1549020 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 90458
/proc/meminfo: memFree=86856260/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=1685692 memory=1625004 CPUtime=25.43 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 397110 0 0 0 2482 61 0 0 20 0 1 0 8780277 1726148608 406251 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 421423 406251 3884 3540 0 409680 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1685692 KiB
Current children cumulated memory: 1625004 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 90461
/proc/meminfo: memFree=86824196/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=1744300 memory=1656580 CPUtime=50.96 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 401336 0 0 0 5032 64 0 0 20 0 1 0 8780277 1786163200 414145 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 436075 414145 3900 3540 0 424332 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1744300 KiB
Current children cumulated memory: 1656580 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.10 4/248 90503
/proc/meminfo: memFree=87821132/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=1796980 memory=1676268 CPUtime=102.03 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 402710 0 0 0 10136 67 0 0 20 0 1 0 8780277 1840107520 419067 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 449245 419067 3900 3540 0 437502 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1796980 KiB
Current children cumulated memory: 1676268 KiB
[startup+162.3 s]
/proc/loadavg: 3.46 3.92 4.03 4/248 90513
/proc/meminfo: memFree=87819256/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=1838408 memory=1677576 CPUtime=161.86 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 403519 0 0 0 16117 69 0 0 20 0 1 0 8780277 1882529792 419394 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 459602 419394 3900 3540 0 447859 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1838408 KiB
Current children cumulated memory: 1677576 KiB
[startup+222.3 s]
/proc/loadavg: 3.28 3.78 3.97 4/248 90523
/proc/meminfo: memFree=87807328/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=1921388 memory=1688572 CPUtime=221.71 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 405355 0 0 0 22099 72 0 0 20 0 1 0 8780277 1967501312 422143 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 480347 422143 3900 3540 0 468604 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1921388 KiB
Current children cumulated memory: 1688572 KiB
[startup+282.3 s]
/proc/loadavg: 3.16 3.65 3.92 4/248 90534
/proc/meminfo: memFree=87544672/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2301644 memory=1920156 CPUtime=281.49 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 461889 0 0 0 28069 80 0 0 20 0 1 0 8780277 2356883456 480039 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 575411 480039 3995 3540 0 563668 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 2301644 KiB
Current children cumulated memory: 1920156 KiB
[startup+342.3 s]
/proc/loadavg: 3.18 3.56 3.87 4/251 90549
/proc/meminfo: memFree=87539748/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2301644 memory=1920288 CPUtime=341.34 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 461951 0 0 0 34052 82 0 0 20 0 1 0 8780277 2356883456 480072 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 575411 480072 4011 3540 0 563668 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2301644 KiB
Current children cumulated memory: 1920288 KiB
[startup+402.3 s]
/proc/loadavg: 3.13 3.47 3.81 4/250 90560
/proc/meminfo: memFree=87538896/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2367808 memory=1920340 CPUtime=401.17 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 462029 0 0 0 40034 83 0 0 20 0 1 0 8780277 2424635392 480085 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 591952 480085 4011 3540 0 580209 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2367808 KiB
Current children cumulated memory: 1920340 KiB
[startup+462.3 s]
/proc/loadavg: 3.09 3.40 3.77 4/251 90573
/proc/meminfo: memFree=87501832/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2386568 memory=1920360 CPUtime=461 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 462084 0 0 0 46016 84 0 0 20 0 1 0 8780277 2443845632 480090 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 596642 480090 4011 3540 0 584899 0
Current children cumulated CPU time: 461 s
Current children cumulated vsize: 2386568 KiB
Current children cumulated memory: 1920360 KiB
[startup+522.3 s]
/proc/loadavg: 3.02 3.35 3.73 3/244 90613
/proc/meminfo: memFree=105460240/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2386568 memory=1920364 CPUtime=520.86 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 462142 0 0 0 52000 86 0 0 20 0 1 0 8780277 2443845632 480091 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 596642 480091 4011 3540 0 584899 0
Current children cumulated CPU time: 520.86 s
Current children cumulated vsize: 2386568 KiB
Current children cumulated memory: 1920364 KiB
[startup+571.896 s]
# the end of solver process 90453 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=569.344 s, system=1.00658 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.79 3.28 3.70 3/244 90616
/proc/meminfo: memFree=105459704/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2405332 memory=1920364 CPUtime=536.13 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 462163 0 0 0 53527 86 0 0 20 0 1 0 8780277 2463059968 480091 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 601333 480091 4011 3540 0 589590 0
Current children cumulated CPU time: 536.13 s
Current children cumulated vsize: 2405332 KiB
Current children cumulated memory: 1920364 KiB
[startup+550.4 s]
/proc/loadavg: 2.62 3.22 3.67 3/244 90617
/proc/meminfo: memFree=105459500/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2424092 memory=1920372 CPUtime=548.9 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 462441 0 0 0 54804 86 0 0 20 0 1 0 8780277 2482270208 480093 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 606023 480093 4011 3540 0 594280 0
Current children cumulated CPU time: 548.9 s
Current children cumulated vsize: 2424092 KiB
Current children cumulated memory: 1920372 KiB
[startup+563.2 s]
/proc/loadavg: 2.59 3.20 3.66 3/244 90620
/proc/meminfo: memFree=105460048/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2442852 memory=1920376 CPUtime=561.67 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 462453 0 0 0 56081 86 0 0 20 0 1 0 8780277 2501480448 480094 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 610713 480094 4011 3540 0 598970 0
Current children cumulated CPU time: 561.67 s
Current children cumulated vsize: 2442852 KiB
Current children cumulated memory: 1920376 KiB
[startup+566.4 s]
/proc/loadavg: 2.55 3.18 3.65 3/244 90621
/proc/meminfo: memFree=105460052/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2442852 memory=1920376 CPUtime=564.86 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 462454 0 0 0 56400 86 0 0 20 0 1 0 8780277 2501480448 480094 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 610713 480094 4011 3540 0 598970 0
Current children cumulated CPU time: 564.86 s
Current children cumulated vsize: 2442852 KiB
Current children cumulated memory: 1920376 KiB
[startup+569.6 s]
/proc/loadavg: 2.55 3.18 3.65 3/244 90621
/proc/meminfo: memFree=105460056/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2442852 memory=1920376 CPUtime=568.05 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 462454 0 0 0 56719 86 0 0 20 0 1 0 8780277 2501480448 480094 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 610713 480094 4011 3540 0 598970 0
Current children cumulated CPU time: 568.05 s
Current children cumulated vsize: 2442852 KiB
Current children cumulated memory: 1920376 KiB
[startup+571.2 s]
/proc/loadavg: 2.50 3.16 3.64 3/244 90621
/proc/meminfo: memFree=105275616/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2632872 memory=2104356 CPUtime=569.65 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 508476 0 0 0 56872 93 0 0 20 0 1 0 8780277 2696060928 526089 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 658218 526089 4011 3540 0 646475 0
Current children cumulated CPU time: 569.65 s
Current children cumulated vsize: 2632872 KiB
Current children cumulated memory: 2104356 KiB
[startup+571.6 s]
/proc/loadavg: 2.50 3.16 3.64 3/244 90621
/proc/meminfo: memFree=105275616/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2626560 memory=2098228 CPUtime=570.05 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 508476 0 0 0 56912 93 0 0 20 0 1 0 8780277 2689597440 524557 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 656640 524557 4027 3540 0 644897 0
Current children cumulated CPU time: 570.05 s
Current children cumulated vsize: 2626560 KiB
Current children cumulated memory: 2098228 KiB
[startup+571.8 s]
/proc/loadavg: 2.50 3.16 3.64 3/244 90621
/proc/meminfo: memFree=105275616/131524600 swapFree=131071996/131071996
[pid=90453] ppid=90450 vsize=2507208 memory=1977932 CPUtime=570.24 cores=1,3
/proc/90453/stat : 90453 (pbscip) R 90450 90453 87295 0 -1 4194304 508477 0 0 0 56931 93 0 0 20 0 1 0 8780277 2567380992 494740 134679101440 4194304 18693293 140721581356352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54185984 140721581360131 140721581360230 140721581360230 140721581367246 0
/proc/90453/statm: 626802 494740 4027 3540 0 615059 0
Current children cumulated CPU time: 570.24 s
Current children cumulated vsize: 2507208 KiB
Current children cumulated memory: 1977932 KiB
Child status: 0
Real time (s): 571.896
CPU time (s): 570.351
CPU user time (s): 569.344
CPU system time (s): 1.00658
CPU usage (%): 99.7297
Max. virtual memory (cumulated for all children) (KiB): 2632872
Max. memory (cumulated for all children) (KiB): 2104356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 569.344
system time used= 1.00658
maximum resident set size= 2104356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508581
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= 281
# summary of solver processes directly reported to runsolver:
# pid: 90453
# total CPU time (s): 570.351
# total CPU user time (s): 569.344
# total CPU system time (s): 1.00658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07484 second user time and 2.07588 second system time
The end
Begin job on nodeC031 at 2024-07-23 10:15:07 IDJOB=4456612 IDBENCH=144106 IDSOLVER=3038 FILE ID=nodeC031/4456612-1721722507 RUNJOBID= nodeC031-1721718373-87307 SLURM_JOB_ID= 7770400 Free space on /tmp= 889972 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-eye_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456612-1721722507/watcher-4456612-1721722507 -o /tmp/evaluation-result-4456612-1721722507/solver-4456612-1721722507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87307 --watchdog 3760 pbscip -f HOME/instance-4456612-1721722507.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4b6a10b924703f39ba2bfb2cf9649014 RANDOM SEED=1474054821 nodeC031.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 : 3666.155 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 : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.355 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 : 7007.12 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 : 3600.443 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 : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.878 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 : 7007.12 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 : 3666.183 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 : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.537 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 : 7007.12 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 : 3600.239 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 : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.403 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 88470796 kB MemAvailable: 107242504 kB Buffers: 145236 kB Cached: 19382628 kB SwapCached: 0 kB Active: 1001876 kB Inactive: 41309716 kB Active(anon): 1528 kB Inactive(anon): 22819924 kB Active(file): 1000348 kB Inactive(file): 18489792 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 25760 kB Writeback: 4 kB AnonPages: 22782448 kB Mapped: 132612 kB Shmem: 37720 kB KReclaimable: 242428 kB Slab: 345860 kB SReclaimable: 242428 kB SUnreclaim: 103432 kB KernelStack: 4096 kB PageTables: 54424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 24693996 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18944 kB HardwareCorrupted: 0 kB AnonHugePages: 8947712 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: 279252 kB DirectMap2M: 23611392 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890032 MiB End job on nodeC031 at 2024-07-23 10:24:39