Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -40 | 3586.56 | 3597.52 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb |
| MD5SUM | 38e00c2bd7e76d458d5bc96a9953dc34 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -46 |
| Best CPU time to get the best result obtained on this benchmark | 72001.8 |
| 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 | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 74916 |
| Sum of products size (including duplicates) | 149832 |
| Number of different products | 37458 |
| Sum of products size | 74916 |
0.00/0.07 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.07 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.07 c
0.00/0.07 c user parameter file <scip.set> not found - using default parameters
0.00/0.07 c reading problem <HOME/instance-4498464-1751271848.opb>
0.32/0.43 c original problem has 38458 variables (1000 bin, 0 int, 37458 impl, 0 cont) and 39959 constraints
0.32/0.43 c problem read in 0.36
0.58/0.75 o 0
0.58/0.75 c feasible solution found by trivial heuristic after 0.7 seconds, objective value 0.000000e+00
0.58/0.75 c presolving:
1.09/1.22 c (round 1, medium) 0 del vars, 39458 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
1.09/1.28 c (round 2, fast) 37458 del vars, 39458 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
1.19/1.33 c (round 3, exhaustive) 37458 del vars, 39458 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 0 impls, 500 clqs
1.28/1.48 c (1.4s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.28/1.48 c (1.4s) probing aborted: 50/50 successive totally useless probings
1.28/1.49 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.52 c (1.4s) no symmetry present (symcode time: 0.00)
1.38/1.54 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
1.38/1.54 c 37458 deleted vars, 39458 deleted constraints, 1000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.38/1.54 c 0 implications, 500 cliques
1.38/1.54 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
1.38/1.54 c 1000 constraints of type <knapsack>
1.38/1.54 c 500 constraints of type <setppc>
1.38/1.54 c 1 constraints of type <linear>
1.38/1.54 c transformed objective value is always integral (scale: 1)
1.38/1.54 c Presolving Time: 0.84
1.38/1.54 c - non default parameters ----------------------------------------------------------------------
1.38/1.54 c # SCIP version 10.0.0
1.38/1.54 c
1.38/1.54 c # maximal time in seconds to run
1.38/1.54 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.54 c limits/time = 3596.994094
1.38/1.54 c
1.38/1.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.54 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.54 c limits/memory = 27900
1.38/1.54 c
1.38/1.54 c # belongs reading time to solving time?
1.38/1.54 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.54 c timing/reading = TRUE
1.38/1.54 c
1.38/1.54 c -----------------------------------------------------------------------------------------------
1.38/1.54 c start solving
1.38/1.55 c transformed 1/1 original solutions to the transformed problem space
1.38/1.55 c
2.99/3.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.99/3.14 c 3.1s| 1 | 0 | 2693 | - | 172M | 0 |1000 |1501 |1501 | 0 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | Inf | unknown
2.99/3.18 o -1
2.99/3.18 c r 3.1s| 1 | 0 | 2693 | - |rounding| 0 |1000 |1501 |1501 | 0 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | Large | unknown
6.77/7.00 c 6.9s| 1 | 0 | 5418 | - | 208M | 0 |1000 |1501 |1760 | 259 | 1 | 0 | 0 |-2.394268e+02 |-1.000000e+00 | Large | unknown
15.04/15.20 c 15.1s| 1 | 0 | 7226 | - | 236M | 0 |1000 |1501 |2025 | 524 | 2 | 0 | 0 |-2.284800e+02 |-1.000000e+00 | Large | unknown
15.04/15.21 o -27
15.04/15.21 c r15.1s| 1 | 0 | 7226 | - |randroun| 0 |1000 |1501 |2025 | 0 | 2 | 0 | 0 |-2.284800e+02 |-2.700000e+01 | 746.22%| unknown
24.12/24.35 c 24.3s| 1 | 0 | 7990 | - | 261M | 0 |1000 |1501 |2134 | 633 | 3 | 0 | 0 |-2.279848e+02 |-2.700000e+01 | 744.39%| unknown
32.98/33.29 c 33.2s| 1 | 0 | 8797 | - | 279M | 0 |1000 |1501 |2172 | 671 | 4 | 0 | 0 |-2.273527e+02 |-2.700000e+01 | 742.05%| unknown
40.87/41.17 c 41.1s| 1 | 0 | 9263 | - | 293M | 0 |1000 |1501 |2202 | 701 | 5 | 0 | 0 |-2.271629e+02 |-2.700000e+01 | 741.34%| unknown
48.13/48.40 c 48.3s| 1 | 0 | 9500 | - | 321M | 0 |1000 |1501 |2220 | 719 | 6 | 0 | 0 |-2.271087e+02 |-2.700000e+01 | 741.14%| unknown
56.40/56.77 c 56.7s| 1 | 0 | 10167 | - | 335M | 0 |1000 |1501 |2230 | 729 | 7 | 0 | 0 |-2.266940e+02 |-2.700000e+01 | 739.61%| unknown
56.40/56.79 o -29
56.40/56.79 c r56.7s| 1 | 0 | 10167 | - |randroun| 0 |1000 |1501 |2230 | 0 | 7 | 0 | 0 |-2.266940e+02 |-2.900000e+01 | 681.70%| unknown
66.87/67.23 c 67.2s| 1 | 0 | 11403 | - | 354M | 0 |1000 |1501 |2267 | 766 | 8 | 0 | 0 |-2.257372e+02 |-2.900000e+01 | 678.40%| unknown
75.53/75.96 c 75.9s| 1 | 0 | 12172 | - | 358M | 0 |1000 |1501 |2298 | 797 | 9 | 0 | 0 |-2.249265e+02 |-2.900000e+01 | 675.61%| unknown
83.41/83.89 c 83.8s| 1 | 0 | 12631 | - | 380M | 0 |1000 |1501 |2317 | 816 | 10 | 0 | 0 |-2.246197e+02 |-2.900000e+01 | 674.55%| unknown
89.49/89.98 c 89.9s| 1 | 0 | 12804 | - | 380M | 0 |1000 |1501 |2232 | 825 | 11 | 0 | 0 |-2.245203e+02 |-2.900000e+01 | 674.21%| unknown
95.47/95.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
95.47/95.95 c 95.9s| 1 | 0 | 12946 | - | 380M | 0 |1000 |1501 |2237 | 830 | 12 | 0 | 0 |-2.244293e+02 |-2.900000e+01 | 673.89%| unknown
101.25/101.76 c 102s| 1 | 0 | 13015 | - | 381M | 0 |1000 |1501 |2243 | 836 | 13 | 0 | 0 |-2.244235e+02 |-2.900000e+01 | 673.87%| unknown
107.03/107.59 c 108s| 1 | 0 | 13068 | - | 381M | 0 |1000 |1501 |2245 | 838 | 14 | 0 | 0 |-2.244165e+02 |-2.900000e+01 | 673.85%| unknown
112.91/113.47 c 113s| 1 | 0 | 13231 | - | 381M | 0 |1000 |1501 |2247 | 840 | 15 | 0 | 0 |-2.243938e+02 |-2.900000e+01 | 673.77%| unknown
118.61/119.17 c 119s| 1 | 0 | 13295 | - | 381M | 0 |1000 |1501 |2251 | 844 | 16 | 0 | 0 |-2.243874e+02 |-2.900000e+01 | 673.75%| unknown
124.18/124.78 c 125s| 1 | 0 | 13331 | - | 381M | 0 |1000 |1501 |1996 | 846 | 17 | 0 | 0 |-2.243840e+02 |-2.900000e+01 | 673.74%| unknown
129.76/130.32 c 130s| 1 | 0 | 13370 | - | 382M | 0 |1000 |1501 |1998 | 848 | 18 | 0 | 0 |-2.243836e+02 |-2.900000e+01 | 673.74%| unknown
271.42/272.56 c 272s| 1 | 2 | 17143 | - | 382M | 0 |1000 |1501 |1998 | 848 | 19 | 0 | 42 |-2.242504e+02 |-2.900000e+01 | 673.28%| unknown
575.37/577.67 o -32
575.37/577.67 c d 578s| 15 | 16 | 23856 | 749.0 |pscostdi| 14 |1000 |1501 |1874 | 0 | 1 | 0 | 349 |-2.240885e+02 |-3.200000e+01 | 600.28%| unknown
594.40/596.75 o -40
594.40/596.75 c d 597s| 27 | 28 | 31126 | 682.9 |adaptive| 14 |1000 |1501 |1921 | 0 | 1 | 0 | 364 |-2.240885e+02 |-4.000000e+01 | 460.22%| unknown
652.08/654.68 c 655s| 100 | 101 | 70406 | 576.1 | 504M | 21 |1000 |1514 |1917 |1880 | 1 | 13 | 393 |-2.240885e+02 |-4.000000e+01 | 460.22%| unknown
710.96/713.70 c 714s| 200 | 201 |106923 | 470.1 | 550M | 26 |1000 |1514 |1901 |2433 | 1 | 13 | 445 |-2.239654e+02 |-4.000000e+01 | 459.91%| unknown
793.84/796.90 c 797s| 300 | 285 |142106 | 430.6 | 552M | 42 |1000 |1518 |1908 |3092 | 1 | 17 | 478 |-2.237748e+02 |-4.000000e+01 | 459.44%| unknown
917.48/921.09 c 921s| 400 | 353 |189617 | 441.7 | 562M | 42 |1000 |1522 |2007 |4373 | 7 | 21 | 522 |-2.234566e+02 |-4.000000e+01 | 458.64%| unknown
1016.09/1020.06 c 1020s| 500 | 397 |225287 | 424.7 | 565M | 42 |1000 |1532 |1959 |4929 | 2 | 31 | 558 |-2.227206e+02 |-4.000000e+01 | 456.80%| unknown
1040.38/1044.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1040.38/1044.46 c 1044s| 600 | 433 |256404 | 405.7 | 570M | 42 |1000 |1545 |1978 |6701 | 3 | 45 | 628 |-2.226723e+02 |-4.000000e+01 | 456.68%| unknown
1187.74/1192.24 c 1192s| 700 | 469 |299126 | 408.8 | 578M | 42 |1000 |1566 |1935 |7795 | 4 | 66 | 686 |-2.224473e+02 |-4.000000e+01 | 456.12%| unknown
1296.73/1301.57 c 1301s| 800 | 511 |343722 | 413.5 | 580M | 44 |1000 |1567 |2040 |9426 | 7 | 67 | 717 |-2.223054e+02 |-4.000000e+01 | 455.76%| unknown
1406.11/1411.27 c 1411s| 900 | 539 |379111 | 406.8 | 581M | 44 |1000 |1567 |1957 | 10k| 1 | 67 | 760 |-2.220995e+02 |-4.000000e+01 | 455.25%| unknown
1449.69/1454.90 c 1455s| 1000 | 561 |417479 | 404.5 | 588M | 44 |1000 |1599 |1982 | 12k| 0 | 99 | 815 |-2.219841e+02 |-4.000000e+01 | 454.96%| unknown
1577.45/1583.03 c 1583s| 1100 | 593 |487198 | 431.1 | 595M | 44 |1000 |1609 |1962 | 14k| 2 | 109 | 894 |-2.218345e+02 |-4.000000e+01 | 454.59%| unknown
1603.48/1609.15 c 1609s| 1200 | 625 |528005 | 429.2 | 599M | 44 |1000 |1609 |1958 | 17k| 4 | 109 | 946 |-2.217316e+02 |-4.000000e+01 | 454.33%| unknown
1624.42/1630.13 c 1630s| 1300 | 663 |564066 | 423.9 | 607M | 49 |1000 |1617 |1949 | 19k| 0 | 117 |1028 |-2.217316e+02 |-4.000000e+01 | 454.33%| unknown
1727.83/1733.87 c 1734s| 1400 | 695 |603948 | 422.1 | 615M | 49 |1000 |1630 |2097 | 21k| 1 | 130 |1067 |-2.217020e+02 |-4.000000e+01 | 454.26%| unknown
1952.09/1958.73 c 1959s| 1500 | 737 |671386 | 439.0 | 620M | 49 |1000 |1659 |2236 | 24k| 10 | 159 |1148 |-2.214510e+02 |-4.000000e+01 | 453.63%| unknown
2181.63/2188.94 c 2189s| 1600 | 785 |733699 | 450.5 | 624M | 49 |1000 |1679 |1939 | 26k| 0 | 179 |1214 |-2.211174e+02 |-4.000000e+01 | 452.79%| unknown
2353.04/2360.83 c 2361s| 1700 | 813 |774566 | 448.0 | 625M | 49 |1000 |1679 |2014 | 28k| 0 | 179 |1256 |-2.202266e+02 |-4.000000e+01 | 450.57%| unknown
2463.23/2471.32 c 2471s| 1800 | 831 |812254 | 444.1 | 631M | 49 |1000 |1682 |2079 | 30k| 1 | 183 |1298 |-2.200857e+02 |-4.000000e+01 | 450.21%| unknown
2483.26/2491.43 c 2491s| 1900 | 847 |860662 | 446.2 | 638M | 49 |1000 |1682 |1924 | 33k| 1 | 184 |1326 |-2.200857e+02 |-4.000000e+01 | 450.21%| unknown
2640.69/2649.31 c 2649s| 2000 | 901 |900423 | 443.7 | 638M | 49 |1000 |1691 |1980 | 34k| 4 | 194 |1420 |-2.198916e+02 |-4.000000e+01 | 449.73%| unknown
2765.46/2774.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2765.46/2774.42 c 2774s| 2100 | 917 |949363 | 445.9 | 641M | 49 |1000 |1691 |1962 | 36k| 0 | 194 |1484 |-2.198728e+02 |-4.000000e+01 | 449.68%| unknown
2849.08/2858.25 c 2858s| 2200 | 935 | 1004k| 450.7 | 644M | 49 |1000 |1693 |2228 | 39k| 1 | 197 |1521 |-2.198711e+02 |-4.000000e+01 | 449.68%| unknown
2864.86/2874.04 c 2874s| 2300 | 965 | 1040k| 446.8 | 645M | 49 |1000 |1693 |2005 | 41k| 1 | 197 |1524 |-2.198711e+02 |-4.000000e+01 | 449.68%| unknown
2974.41/2983.83 c 2984s| 2400 | 983 | 1075k| 442.7 | 646M | 49 |1000 |1695 |2100 | 43k| 8 | 199 |1584 |-2.198447e+02 |-4.000000e+01 | 449.61%| unknown
3031.68/3041.24 c 3041s| 2500 | 1015 | 1130k| 446.9 | 648M | 49 |1000 |1695 |2012 | 45k| 0 | 199 |1597 |-2.198224e+02 |-4.000000e+01 | 449.56%| unknown
3089.55/3099.23 c 3099s| 2600 | 1045 | 1271k| 484.1 | 655M | 49 |1000 |1701 |2174 | 49k| 0 | 206 |1601 |-2.197700e+02 |-4.000000e+01 | 449.42%| unknown
3167.68/3177.57 c 3177s| 2700 | 1073 | 1335k| 489.7 | 659M | 49 |1000 |1714 |1934 | 51k| 0 | 221 |1601 |-2.196982e+02 |-4.000000e+01 | 449.25%| unknown
3265.98/3276.01 c 3276s| 2800 | 1107 | 1393k| 493.0 | 662M | 49 |1000 |1722 |2008 | 54k| 0 | 229 |1637 |-2.196509e+02 |-4.000000e+01 | 449.13%| unknown
3318.75/3328.98 c 3329s| 2900 | 1137 | 1452k| 496.4 | 664M | 50 |1000 |1730 |1936 | 56k| 0 | 240 |1674 |-2.196166e+02 |-4.000000e+01 | 449.04%| unknown
3384.35/3394.71 c 3395s| 3000 | 1175 | 1492k| 493.3 | 666M | 50 |1000 |1727 |1997 | 58k| 1 | 240 |1736 |-2.195867e+02 |-4.000000e+01 | 448.97%| unknown
3448.65/3459.20 c 3459s| 3100 | 1205 | 1532k| 490.3 | 667M | 50 |1000 |1733 |1986 | 60k| 0 | 248 |1785 |-2.195846e+02 |-4.000000e+01 | 448.96%| unknown
3533.89/3544.72 c 3545s| 3200 | 1235 | 1599k| 495.7 | 674M | 50 |1000 |1735 |2109 | 63k| 1 | 252 |1846 |-2.195838e+02 |-4.000000e+01 | 448.96%| unknown
3586.15/3597.18 c
3586.15/3597.18 c SCIP Status : solving was interrupted [time limit reached]
3586.15/3597.18 c Solving Time (sec) : 3597.10
3586.15/3597.18 c Solving Nodes : 3241
3586.15/3597.18 c Primal Bound : -4.00000000000000e+01 (633 solutions)
3586.15/3597.18 c Dual Bound : -2.19538397232392e+02
3586.15/3597.18 c Gap : 448.85 %
3586.23/3597.21 s SATISFIABLE
3586.23/3597.22 v x867 -x778 -x971 -x894 -x818 -x830 x923 -x571 x842 -x829 -x812 -x608 -x937 -x946 -x737 -x875 -x694 -x735 -x633 -x993 -x893 -x901
3586.23/3597.22 v -x583 -x913 x744 -x950 -x683 -x914 -x564 -x798 -x767 x859 x619 -x992 -x804 -x586 x793 -x799 -x938 -x846 -x961 -x705 -x688 -x944
3586.23/3597.22 v -x839 -x808 -x995 -x745 x990 -x726 -x691 -x736 -x931 -x728 -x941 -x920 -x861 -x908 -x648 -x964 -x919 -x807 -x801 -x797 -x623
3586.23/3597.22 v -x613 -x598 -x524 -x541 -x925 -x895 -x951 x722 -x789 -x686 -x999 -x774 -x740 -x649 -x645 -x546 -x838 -x862 -x644 -x687 -x709
3586.23/3597.22 v -x582 -x607 -x677 -x522 -x1000 x930 -x857 -x783 -x743 -x689 x680 -x667 -x533 -x882 -x936 -x796 -x954 -x960 -x911 -x624 -x782
3586.23/3597.22 v -x621 -x805 -x872 x958 -x751 -x909 -x881 -x834 -x784 -x763 -x761 x733 -x684 x671 -x662 -x658 -x656 -x654 -x647 -x646 -x636
3586.23/3597.22 v -x629 -x570 -x536 -x512 -x672 -x523 -x550 -x561 -x675 -x516 -x858 -x673 -x924 -x877 -x837 -x610 -x856 x889 -x978 -x972 -x898
3586.23/3597.22 v -x791 -x785 -x746 -x713 -x706 -x766 -x918 -x544 -x935 -x548 -x592 x630 -x581 -x534 -x850 -x786 -x747 -x792 -x840 -x851 -x957
3586.23/3597.22 v -x704 -x968 -x604 -x833 -x952 -x917 -x906 -x870 -x828 -x820 x814 -x790 -x764 -x762 -x760 -x754 -x729 -x723 -x628 -x617 -x594
3586.23/3597.22 v -x569 -x567 -x552 -x510 x540 -x824 -x554 -x836 -x606 -x542 -x991 -x632 -x887 -x693 -x899 -x525 -x989 -x949 -x892 -x622 -x531
3586.23/3597.22 v -x585 -x928 -x668 -x841 -x739 -x504 -x966 -x953 -x934 -x835 -x809 -x788 -x734 -x716 -x637 -x611 -x593 -x580 -x575 -x565 -x517
3586.23/3597.22 v -x514 -x511 -x602 -x681 -x579 -x549 -x669 -x959 -x670 -x855 -x890 -x871 -x888 -x696 -x976 -x555 -x566 -x956 -x769 -x702 -x768
3586.23/3597.22 v -x528 -x815 -x781 -x985 -x843 -x813 -x922 -x711 -x794 -x530 -x758 -x614 -x819 -x741 -x866 -x977 -x975 -x929 x900 -x891 -x863
3586.23/3597.22 v -x832 -x811 -x772 -x753 -x750 -x710 x698 -x659 -x643 -x616 -x609 -x572 -x562 -x559 -x543 -x520 -x663 -x674 -x730 -x896 -x979
3586.23/3597.22 v -x587 x679 -x770 -x519 -x860 -x577 -x639 -x505 -x655 -x601 -x578 -x849 -x921 -x869 -x724 -x810 -x537 -x557 x987 -x910 -x635
3586.23/3597.22 v -x983 -x771 -x556 -x927 -x884 -x963 -x826 -x664 -x885 -x945 -x998 -x982 -x876 -x854 -x831 -x776 -x756 -x752 x731 -x727 -x714
3586.23/3597.22 v -x695 -x685 -x682 -x666 -x665 -x653 -x652 -x618 -x612 -x600 -x597 -x590 -x589 -x576 -x563 -x560 x551 -x547 -x535 -x515 -x503
3586.23/3597.22 v -x712 -x981 -x697 -x765 -x980 -x521 -x717 x865 -x897 -x853 -x627 -x513 x879 -x703 -x742 -x707 -x967 -x986 -x940 x878 -x847
3586.23/3597.22 v -x749 -x595 -x825 -x912 -x657 -x506 x806 -x661 -x868 -x933 -x988 -x800 -x634 -x947 -x701 -x939 -x974 -x997 -x591 x907 -x970
3586.23/3597.22 v -x527 -x508 -x640 -x692 -x932 -x994 -x573 -x732 -x501 x926 x916 -x852 -x848 -x816 -x803 -x779 -x773 -x759 -x720 -x708 -x699
3586.23/3597.22 v -x678 -x660 -x651 -x642 -x641 -x638 x626 -x625 -x615 -x603 -x596 -x588 -x558 -x553 -x539 -x518 -x509 -x502 -x738 -x817 -x507
3586.23/3597.22 v -x755 -x996 -x787 -x873 -x822 -x568 -x948 -x690 -x748 -x844 -x973 -x599 -x943 -x532 -x845 -x676 -x777 x880 x962 x984 -x725 -x795
3586.23/3597.22 v -x620 -x700 -x757 -x905 -x874 -x631 -x821 -x721 -x883 -x823 -x719 -x574 -x780 -x969 -x605 -x718 -x650 -x902 x942 -x903 -x915
3586.23/3597.22 v -x904 x965 -x715 -x955 x545 -x886 x529 -x526 -x538 x864 -x827 -x775 -x584 -x802 x500 -x499 -x498 -x497 -x496 -x495 -x494
3586.23/3597.22 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472
3586.23/3597.22 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451
3586.23/3597.22 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 x432 x431 -x430
3586.23/3597.22 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
3586.23/3597.22 v -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387
3586.23/3597.22 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
3586.23/3597.22 v -x365 -x364 -x363 -x362 -x361 x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 x345
3586.23/3597.22 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324
3586.23/3597.22 v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303
3586.23/3597.22 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282
3586.23/3597.22 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261
3586.23/3597.22 v -x260 -x259 x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 x248 -x247 x246 -x245 -x244 x243 -x242 -x241 -x240 -x239
3586.23/3597.22 v -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218
3586.23/3597.22 v -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
3586.23/3597.22 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
3586.23/3597.22 v -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
3586.23/3597.22 v -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
3586.23/3597.22 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
3586.23/3597.22 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90
3586.23/3597.22 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
3586.23/3597.22 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
3586.23/3597.22 v -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
3586.23/3597.22 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3586.23/3597.22 c SCIP Status : solving was interrupted [time limit reached]
3586.23/3597.22 c Total Time : 3597.10
3586.23/3597.22 c solving : 3597.10
3586.23/3597.22 c presolving : 0.84 (included in solving)
3586.23/3597.22 c reading : 0.36 (included in solving)
3586.23/3597.22 c copying : 0.13 (13 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3586.23/3597.22 c Original Problem :
3586.23/3597.22 c Problem name : HOME/instance-4498464-1751271848.opb
3586.23/3597.22 c Variables : 38458 (1000 binary, 0 integer, 37458 implicit integer, 0 continuous)
3586.23/3597.22 c Constraints : 39959 initial, 39959 maximal
3586.23/3597.22 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3586.23/3597.22 c Presolved Problem :
3586.23/3597.22 c Problem name : t_HOME/instance-4498464-1751271848.opb
3586.23/3597.22 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.23/3597.22 c Constraints : 1501 initial, 1739 maximal
3586.23/3597.22 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3586.23/3597.22 c Nonzeros : 77916 constraint, 1000 clique table
3586.23/3597.22 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.23/3597.22 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c domcol : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c dualfix : 0.03 0.00 4 37458 0 0 0 0 0 0 0 0
3586.23/3597.22 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c knapsack : 0.05 0.00 3 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c setppc : 0.04 0.00 5 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c linear : 0.08 0.00 6 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c pseudoboolean : 0.27 0.01 1 0 0 0 0 0 39458 1000 0 0
3586.23/3597.22 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c root node : - - - 0 - - 0 - - - - -
3586.23/3597.22 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.23/3597.22 c benderslp : 0 0 0 0 2319 0 0 4548 0 0 0 0 0 0 0
3586.23/3597.22 c integral : 0 0 0 0 2319 0 0 4548 0 0 145 0 0 2 4494
3586.23/3597.22 c knapsack : 1000 1000 19 34920 0 0 0 4542 85121 187 35472 0 0 0 0
3586.23/3597.22 c setppc : 500 500 19 33409 0 0 0 638 1999 0 851 0 0 0 0
3586.23/3597.22 c linear : 1 1 19 34708 0 0 0 637 368 337 0 0 0 0 0
3586.23/3597.22 c logicor : 0+ 238 0 4339 0 0 0 0 0 3 2 0 0 0 0
3586.23/3597.22 c benders : 0 0 0 0 0 0 0 638 0 0 0 0 0 0 0
3586.23/3597.22 c fixedvar : 0 0 0 0 0 0 0 638 0 0 0 0 0 0 0
3586.23/3597.22 c countsols : 0 0 0 0 0 0 0 638 0 0 0 0 0 0 0
3586.23/3597.22 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.23/3597.22 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c integral : 1902.74 0.00 0.00 0.00 1902.74 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c knapsack : 3.08 0.00 0.40 1.10 0.00 0.00 0.00 1.20 0.05 0.34
3586.23/3597.22 c setppc : 0.12 0.00 0.00 0.02 0.00 0.00 0.00 0.08 0.00 0.02
3586.23/3597.22 c linear : 0.71 0.00 0.52 0.15 0.00 0.00 0.00 0.01 0.02 0.01
3586.23/3597.22 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c fixedvar : 1.38 0.00 0.00 0.00 0.00 0.00 0.00 1.38 0.00 0.00
3586.23/3597.22 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.23/3597.22 c dualfix : 1 0 0 0
3586.23/3597.22 c genvbounds : 0 0 0 0
3586.23/3597.22 c nlobbt : 0 0 0 0
3586.23/3597.22 c obbt : 0 0 0 0
3586.23/3597.22 c probing : 0 0 0 0
3586.23/3597.22 c pseudoobj : 8647 0 0 0
3586.23/3597.22 c redcost : 5834 0 0 2958
3586.23/3597.22 c rootredcost : 3 0 0 0
3586.23/3597.22 c symmetry : 0 0 0 0
3586.23/3597.22 c vbounds : 10179 0 0 0
3586.23/3597.22 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.23/3597.22 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3586.23/3597.22 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.23/3597.22 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3586.23/3597.22 c pseudoobj : 0.02 0.00 0.00 0.01 0.00 0.00
3586.23/3597.22 c redcost : 0.12 0.00 0.00 0.12 0.00 0.00
3586.23/3597.22 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
3586.23/3597.22 c symmetry : 0.04 0.00 0.03 0.01 0.00 0.00
3586.23/3597.22 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.23/3597.22 c Symmetry :
3586.23/3597.22 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.23/3597.22 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.23/3597.22 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.23/3597.22 c shadow tree time : 0.00 s
3586.23/3597.22 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.23/3597.22 c propagation : 0.22 187 185 - 5938 356.6 0 0.0 - - -
3586.23/3597.22 c infeasible LP : 0.01 9 9 - 193 105.7 0 0.0 0 0.0 0
3586.23/3597.22 c bound exceed. LP : 1.56 682 9 - 182 162.4 0 0.0 0 0.0 6191
3586.23/3597.22 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.23/3597.22 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.23/3597.22 c applied globally : 0.00 - - 0 255 65.6 - - 0 - -
3586.23/3597.22 c applied locally : - - - 0 1 163.0 - - 0 - -
3586.23/3597.22 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.23/3597.22 c cut pool : 21.13 - 6702 28 - - 141164 782162 - - - - - (maximal pool size: 6843)
3586.23/3597.22 c aggregation : 341.98 0.00 2865 19 0 0 61332 654151 0 61289 61289 0 0
3586.23/3597.22 c > cmir : - - - - - - - 415595 0 40481 40481 0 -
3586.23/3597.22 c > flowcover : - - - - - - - 211399 0 18856 18856 0 -
3586.23/3597.22 c > knapsackcover : - - - - - - - 27157 0 1952 1952 0 -
3586.23/3597.22 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c clique : 0.08 0.00 19 19 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c gomory : 44.87 0.00 1520 10 0 0 77888 111775 0 2442 2442 0 0
3586.23/3597.22 c > gomorymi : - - - - - - - 76534 0 2141 2141 0 -
3586.23/3597.22 c > strongcg : - - - - - - - 35241 0 301 301 0 -
3586.23/3597.22 c impliedbounds : 0.11 0.00 2865 19 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c multilinear : 0.00 0.00 50 19 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c rlt : 0.00 0.00 387 10 0 0 0 0 0 0 0 0 0
3586.23/3597.22 c zerohalf : 21.51 0.00 1529 19 0 0 1942 16236 0 1193 1193 0 0
3586.23/3597.22 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.23/3597.22 c hybrid : 1.96 0.00 4242 18 64924 0 717238 848 0 2988
3586.23/3597.22 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c Pricers : ExecTime SetupTime Calls Vars
3586.23/3597.22 c problem variables: 0.00 - 0 0
3586.23/3597.22 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.23/3597.22 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c relpscost : 1902.74 0.00 2319 0 0 0 145 0 2 4494
3586.23/3597.22 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.22 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.23/3597.22 c LP solutions : 0.00 - - 0 0
3586.23/3597.22 c relax solutions : 0.00 - - 0 0
3586.23/3597.22 c pseudo solutions : 0.00 - - 0 0
3586.23/3597.22 c strong branching : 0.01 - - 0 0
3586.23/3597.22 c actconsdiving : 0.00 0.00 0 0 0
3586.23/3597.22 c adaptivediving : 47.34 0.00 32 1 1
3586.23/3597.22 c alns : 0.13 0.00 5 0 0
3586.23/3597.22 c bound : 0.00 0.00 0 0 0
3586.23/3597.22 c clique : 0.06 0.00 1 0 0
3586.23/3597.22 c coefdiving : 0.00 0.00 0 0 0
3586.23/3597.22 c completesol : 0.00 0.00 0 0 0
3586.23/3597.22 c conflictdiving : 11.33 0.00 19 0 0
3586.23/3597.22 c crossover : 1.00 0.00 4 2 0
3586.23/3597.22 c dins : 0.00 0.00 0 0 0
3586.23/3597.22 c distributiondivin: 19.39 0.00 19 0 0
3586.23/3597.22 c dps : 0.00 0.00 0 0 0
3586.23/3597.22 c dualval : 0.00 0.00 0 0 0
3586.23/3597.22 c farkasdiving : 0.00 0.00 0 0 0
3586.23/3597.22 c feasjump : 0.00 0.00 0 0 0
3586.23/3597.22 c feaspump : 6.16 0.00 1 1 0
3586.23/3597.22 c fixandinfer : 0.00 0.00 0 0 0
3586.23/3597.22 c fracdiving : 12.41 0.00 19 0 0
3586.23/3597.22 c gins : 0.02 0.00 0 0 0
3586.23/3597.22 c guideddiving : 14.03 0.00 19 0 0
3586.23/3597.22 c indcoefdiving : 0.00 0.00 0 0 0
3586.23/3597.22 c indicator : 0.00 0.00 0 0 0
3586.23/3597.22 c indicatordiving : 0.00 0.00 0 0 0
3586.23/3597.22 c indoneopt : 0.00 0.00 0 0 0
3586.23/3597.22 c indrounding : 0.00 0.00 0 0 0
3586.23/3597.22 c indtwoopt : 0.00 0.00 0 0 0
3586.23/3597.22 c intdiving : 0.00 0.00 0 0 0
3586.23/3597.22 c intshifting : 0.00 0.00 0 0 0
3586.23/3597.22 c linesearchdiving : 9.93 0.00 19 0 0
3586.23/3597.22 c localbranching : 0.00 0.00 0 0 0
3586.23/3597.22 c locks : 0.03 0.00 1 0 0
3586.23/3597.22 c lpface : 0.00 0.00 0 0 0
3586.23/3597.22 c mpec : 0.00 0.00 0 0 0
3586.23/3597.22 c multistart : 0.00 0.00 0 0 0
3586.23/3597.22 c mutation : 0.00 0.00 0 0 0
3586.23/3597.22 c nlpdiving : 0.00 0.00 0 0 0
3586.23/3597.22 c objpscostdiving : 215.17 0.00 10 7 0
3586.23/3597.22 c octane : 0.00 0.00 0 0 0
3586.23/3597.22 c ofins : 0.00 0.00 0 0 0
3586.23/3597.22 c oneopt : 0.03 0.00 6 0 0
3586.23/3597.22 c padm : 0.00 0.00 0 0 0
3586.23/3597.22 c proximity : 0.00 0.00 0 0 0
3586.23/3597.22 c pscostdiving : 17.33 0.00 18 1 1
3586.23/3597.22 c randrounding : 1.67 0.00 3921 8 2
3586.23/3597.22 c rens : 0.00 0.00 0 0 0
3586.23/3597.22 c reoptsols : 0.00 0.00 0 0 0
3586.23/3597.22 c repair : 0.00 0.00 0 0 0
3586.23/3597.22 c rins : 2.91 0.00 5 5 0
3586.23/3597.22 c rootsoldiving : 6.13 0.00 10 3 0
3586.23/3597.22 c rounding : 12.71 0.00 3410 1 1
3586.23/3597.22 c scheduler : 0.00 0.00 0 0 0
3586.23/3597.22 c shiftandpropagate: 0.00 0.00 0 0 0
3586.23/3597.22 c shifting : 26.14 0.00 4458 603 0
3586.23/3597.22 c simplerounding : 0.00 0.00 0 0 0
3586.23/3597.22 c smallcard : 0.00 0.00 0 0 0
3586.23/3597.22 c subnlp : 0.01 0.00 0 0 0
3586.23/3597.22 c trivial : 0.04 0.00 2 1 1
3586.23/3597.22 c trivialnegation : 0.00 0.00 0 0 0
3586.23/3597.22 c trustregion : 0.00 0.00 0 0 0
3586.23/3597.22 c trysol : 0.00 0.00 0 0 0
3586.23/3597.22 c twoopt : 0.00 0.00 0 0 0
3586.23/3597.22 c undercover : 0.00 0.00 0 0 0
3586.23/3597.22 c vbounds : 0.04 0.00 1 0 0
3586.23/3597.22 c veclendiving : 13.57 0.00 18 0 0
3586.23/3597.22 c zeroobj : 0.00 0.00 0 0 0
3586.23/3597.22 c zirounding : 0.27 0.00 1000 0 0
3586.23/3597.22 c other solutions : - - - 0 -
3586.23/3597.22 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.23/3597.22 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.23/3597.22 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.23/3597.22 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.23/3597.22 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.23/3597.22 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.23/3597.22 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.23/3597.22 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.23/3597.22 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.23/3597.22 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.23/3597.22 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.23/3597.22 c primal LP : 2.51 760 11 1.22 4.39 1.73 751
3586.23/3597.22 c dual LP : 828.36 8975 1297025 166.48 1565.77 2.25 1184
3586.23/3597.22 c lex dual LP : 0.00 0 0 0.00 -
3586.23/3597.22 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.23/3597.22 c resolve instable : 0.00 0 0 0.00 -
3586.23/3597.22 c diving/probing LP: 371.97 6101 327063 53.61 879.26
3586.23/3597.22 c strong branching : 1862.60 1870 617844 330.40 331.71 - - 1130
3586.23/3597.22 c (at root node) : - 42 25737 612.79 -
3586.23/3597.22 c conflict analysis: 1.31 633 6191 9.78 4718.14
3586.23/3597.22 c B&B Tree :
3586.23/3597.22 c number of runs : 1
3586.23/3597.22 c nodes : 3241 (2247 internal, 994 leaves)
3586.23/3597.22 c feasible leaves : 0
3586.23/3597.22 c infeas. leaves : 0
3586.23/3597.22 c objective leaves : 994
3586.23/3597.22 c nodes (total) : 3241 (2247 internal, 994 leaves)
3586.23/3597.22 c nodes left : 1254
3586.23/3597.22 c max depth : 50
3586.23/3597.22 c max depth (total): 50
3586.23/3597.22 c backtracks : 505 (15.6%)
3586.23/3597.22 c early backtracks : 0 (0.0%)
3586.23/3597.22 c nodes exc. ref. : 0 (0.0%)
3586.23/3597.22 c delayed cutoffs : 0
3586.23/3597.22 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.23/3597.22 c avg switch length: 5.37
3586.23/3597.22 c switching time : 3.16
3586.23/3597.22 c Root Node :
3586.23/3597.22 c First LP value : -2.50000000000000e+02
3586.23/3597.22 c First LP Iters : 2693 (1840.22 Iter/sec)
3586.23/3597.22 c First LP Time : 1.46
3586.23/3597.22 c Final Dual Bound : -2.24250435402312e+02
3586.23/3597.22 c Final Root Iters : 13370
3586.23/3597.22 c Root LP Estimate : +4.90704241932666e+02
3586.23/3597.22 c Solution :
3586.23/3597.22 c Solutions found : 633 (6 improvements)
3586.23/3597.22 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.63 seconds, depth 0, found by <trivial>)
3586.23/3597.22 c Gap First Sol. : infinite
3586.23/3597.22 c Gap Last Sol. : 460.22 %
3586.23/3597.22 c Primal Bound : -4.00000000000000e+01 (in run 1, after 27 nodes, 596.67 seconds, depth 90, found by <adaptivediving>)
3586.23/3597.22 c Dual Bound : -2.19538397232392e+02
3586.23/3597.22 c Gap : 448.85 %
3586.23/3597.22 c Integrals : Total Avg%
3586.23/3597.22 c primal-dual : 297939.79 82.83
3586.23/3597.22 c primal-ref : - - (not evaluated)
3586.23/3597.22 c dual-ref : - - (not evaluated)
3586.53/3597.51 c Time complete: 3586.55.
OK -40
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61828 MiB free)
memory of node 1: 64465 MiB (63314 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498464-1751271848/watcher-4498464-1751271848 -o /tmp/evaluation-result-4498464-1751271848/solver-4498464-1751271848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751268232-33086 --watchdog 3760 pbscip -f HOME/instance-4498464-1751271848.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=33670, runsolver pid=33666
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.23 4.17 4.10 4/245 33672
/proc/meminfo: memFree=128145744/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=48476 memory=20864 CPUtime=0.03 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 2282 0 0 0 2 1 0 0 20 0 1 0 42863779 49639424 5216 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 12119 5216 3264 3530 0 3570 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 48476 KiB
Current children cumulated memory: 20864 KiB
[startup+0.213404 s]*
/proc/loadavg: 4.23 4.17 4.10 4/249 33676
/proc/meminfo: memFree=128115520/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=73524 memory=44288 CPUtime=0.12 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 8113 0 0 0 10 2 0 0 20 0 1 0 42863779 75288576 11072 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 18381 11072 3264 3530 0 9832 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 73524 KiB
Current children cumulated memory: 44288 KiB
[startup+0.317194 s]*
/proc/loadavg: 4.23 4.17 4.10 5/249 33676
/proc/meminfo: memFree=128097388/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=89388 memory=60672 CPUtime=0.22 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 12236 0 0 0 18 4 0 0 20 0 1 0 42863779 91533312 15168 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 22347 15168 3264 3530 0 13798 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 89388 KiB
Current children cumulated memory: 60672 KiB
[startup+0.700286 s]
/proc/loadavg: 4.23 4.17 4.10 5/249 33676
/proc/meminfo: memFree=128035396/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=169776 memory=142496 CPUtime=0.58 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 32854 0 0 0 47 11 0 0 20 0 1 0 42863779 173850624 35624 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 42444 35624 3584 3530 0 33895 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 169776 KiB
Current children cumulated memory: 142496 KiB
[startup+1.50033 s]
/proc/loadavg: 4.23 4.17 4.10 5/249 33676
/proc/meminfo: memFree=127946944/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=206068 memory=176672 CPUtime=1.38 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 41441 0 0 0 124 14 0 0 20 0 1 0 42863779 211013632 44168 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 51517 44168 3648 3530 0 42968 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 206068 KiB
Current children cumulated memory: 176672 KiB
[startup+3.11253 s]
/proc/loadavg: 4.21 4.17 4.10 5/249 33676
/proc/meminfo: memFree=127875000/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=237020 memory=205580 CPUtime=2.99 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 50078 0 0 0 283 16 0 0 20 0 1 0 42863779 242708480 51395 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 59255 51395 3840 3530 0 50706 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 237020 KiB
Current children cumulated memory: 205580 KiB
[startup+6.30031 s]
/proc/loadavg: 4.21 4.17 4.10 5/249 33676
/proc/meminfo: memFree=127809308/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=285896 memory=253892 CPUtime=6.17 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 64423 0 0 0 599 18 0 0 20 0 1 0 42863779 292757504 63473 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 71474 63473 3840 3530 0 62925 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 285896 KiB
Current children cumulated memory: 253892 KiB
[startup+12.7003 s]
/proc/loadavg: 4.27 4.19 4.10 5/249 33676
/proc/meminfo: memFree=127736536/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=333428 memory=297968 CPUtime=12.55 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 76453 0 0 0 1235 20 0 0 20 0 1 0 42863779 341430272 74492 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 83357 74492 3840 3530 0 74808 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 333428 KiB
Current children cumulated memory: 297968 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.18 4.10 5/249 33676
/proc/meminfo: memFree=127684556/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=377288 memory=341984 CPUtime=25.31 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 87092 0 0 0 2508 23 0 0 20 0 1 0 42863779 386342912 85496 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 94322 85496 3840 3530 0 85773 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 377288 KiB
Current children cumulated memory: 341984 KiB
[startup+51.1126 s]
/proc/loadavg: 4.14 4.16 4.09 5/249 33677
/proc/meminfo: memFree=127557684/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=445924 memory=404816 CPUtime=50.84 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 97031 0 0 0 5058 26 0 0 20 0 1 0 42863779 456626176 101204 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 111481 101204 3840 3530 0 102932 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 445924 KiB
Current children cumulated memory: 404816 KiB
[startup+102.3 s]
/proc/loadavg: 4.70 4.31 4.15 5/250 33685
/proc/meminfo: memFree=127429636/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=506132 memory=466504 CPUtime=101.85 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 110292 0 0 0 10156 29 0 0 20 0 1 0 42863779 518279168 116626 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 126533 116626 3840 3530 0 117984 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 506132 KiB
Current children cumulated memory: 466504 KiB
[startup+162.3 s]
/proc/loadavg: 4.41 4.31 4.16 5/250 33687
/proc/meminfo: memFree=127402772/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=506132 memory=467144 CPUtime=161.64 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 110339 0 0 0 16135 29 0 0 20 0 1 0 42863779 518279168 116786 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 126533 116786 3968 3530 0 117984 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 506132 KiB
Current children cumulated memory: 467144 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.26 4.15 5/250 33689
/proc/meminfo: memFree=127340448/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=506132 memory=467144 CPUtime=221.41 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 110352 0 0 0 22112 29 0 0 20 0 1 0 42863779 518279168 116786 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 126533 116786 3968 3530 0 117984 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 506132 KiB
Current children cumulated memory: 467144 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.24 4.15 5/250 33691
/proc/meminfo: memFree=127320896/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=506132 memory=467144 CPUtime=281.18 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 110352 0 0 0 28089 29 0 0 20 0 1 0 42863779 518279168 116786 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 126533 116786 3968 3530 0 117984 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 506132 KiB
Current children cumulated memory: 467144 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.21 4.15 5/250 33693
/proc/meminfo: memFree=127260912/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=506132 memory=467144 CPUtime=340.95 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 110352 0 0 0 34066 29 0 0 20 0 1 0 42863779 518279168 116786 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 126533 116786 3968 3530 0 117984 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 506132 KiB
Current children cumulated memory: 467144 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/249 33696
/proc/meminfo: memFree=127237300/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=506132 memory=467144 CPUtime=400.72 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 110387 0 0 0 40043 29 0 0 20 0 1 0 42863779 518279168 116786 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 126533 116786 3968 3530 0 117984 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 506132 KiB
Current children cumulated memory: 467144 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/249 33698
/proc/meminfo: memFree=127189368/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=506132 memory=467144 CPUtime=460.5 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 110390 0 0 0 46021 29 0 0 20 0 1 0 42863779 518279168 116786 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 126533 116786 3968 3530 0 117984 0
Current children cumulated CPU time: 460.5 s
################
# More data... #
################
/proc/loadavg: 2.08 2.19 2.80 3/238 33900
/proc/meminfo: memFree=127390264/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=768496 memory=735348 CPUtime=3212.38 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 416480 0 0 0 321129 109 0 0 20 0 1 0 42863779 786939904 183837 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 192124 183837 3968 3530 0 183575 0
Current children cumulated CPU time: 3212.38 s
Current children cumulated vsize: 768496 KiB
Current children cumulated memory: 735348 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.18 2.76 3/237 33902
/proc/meminfo: memFree=127362732/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=768360 memory=734868 CPUtime=3272.26 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 421515 0 0 0 327115 111 0 0 20 0 1 0 42863779 786800640 183717 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 192090 183717 3968 3530 0 183541 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 768360 KiB
Current children cumulated memory: 734868 KiB
[startup+3342.3 s]
/proc/loadavg: 2.05 2.15 2.71 3/238 33905
/proc/meminfo: memFree=127306148/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=773672 memory=740212 CPUtime=3332.1 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 422335 0 0 0 333099 111 0 0 20 0 1 0 42863779 792240128 185053 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 193418 185053 3968 3530 0 184869 0
Current children cumulated CPU time: 3332.1 s
Current children cumulated vsize: 773672 KiB
Current children cumulated memory: 740212 KiB
[startup+3402.3 s]
/proc/loadavg: 2.06 2.13 2.67 3/239 33920
/proc/meminfo: memFree=127282596/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=774064 memory=740596 CPUtime=3391.92 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 422431 0 0 0 339081 111 0 0 20 0 1 0 42863779 792641536 185149 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 193516 185149 3968 3530 0 184967 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 774064 KiB
Current children cumulated memory: 740596 KiB
[startup+3462.3 s]
/proc/loadavg: 2.12 2.14 2.63 3/239 33922
/proc/meminfo: memFree=127256176/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=783404 memory=750048 CPUtime=3451.74 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 423365 0 0 0 345063 111 0 0 20 0 1 0 42863779 802205696 187512 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 195851 187512 3968 3530 0 187302 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 783404 KiB
Current children cumulated memory: 750048 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.12 2.60 4/239 33924
/proc/meminfo: memFree=127216768/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=784904 memory=751456 CPUtime=3511.56 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 423891 0 0 0 351045 111 0 0 20 0 1 0 42863779 803741696 187864 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 196226 187864 3968 3530 0 187677 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 784904 KiB
Current children cumulated memory: 751456 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.13 2.57 3/239 33926
/proc/meminfo: memFree=127194916/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=778820 memory=745416 CPUtime=3571.38 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 431697 0 0 0 357025 113 0 0 20 0 1 0 42863779 797511680 186354 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 194705 186354 3968 3530 0 186156 0
Current children cumulated CPU time: 3571.38 s
Current children cumulated vsize: 778820 KiB
Current children cumulated memory: 745416 KiB
[startup+3597.52 s]
# the end of solver process 33670 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.41 s, system=1.15053 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.14 2.13 2.56 3/239 33926
/proc/meminfo: memFree=127194324/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=778820 memory=745416 CPUtime=3573.08 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 431697 0 0 0 357195 113 0 0 20 0 1 0 42863779 797511680 186354 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 194705 186354 3968 3530 0 186156 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 778820 KiB
Current children cumulated memory: 745416 KiB
[startup+3590.4 s]
/proc/loadavg: 2.12 2.12 2.56 3/239 33926
/proc/meminfo: memFree=127194364/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=778820 memory=745416 CPUtime=3579.45 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 431697 0 0 0 357832 113 0 0 20 0 1 0 42863779 797511680 186354 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 194705 186354 3968 3530 0 186156 0
Current children cumulated CPU time: 3579.45 s
Current children cumulated vsize: 778820 KiB
Current children cumulated memory: 745416 KiB
[startup+3593.6 s]
/proc/loadavg: 2.12 2.12 2.56 3/239 33926
/proc/meminfo: memFree=127194616/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=779224 memory=745800 CPUtime=3582.64 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 431808 0 0 0 358151 113 0 0 20 0 1 0 42863779 797925376 186450 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 194806 186450 3968 3530 0 186257 0
Current children cumulated CPU time: 3582.64 s
Current children cumulated vsize: 779224 KiB
Current children cumulated memory: 745800 KiB
[startup+3595.2 s]
/proc/loadavg: 2.11 2.12 2.56 3/239 33927
/proc/meminfo: memFree=127191980/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=779224 memory=745800 CPUtime=3584.24 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 431808 0 0 0 358311 113 0 0 20 0 1 0 42863779 797925376 186450 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 194806 186450 3968 3530 0 186257 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 779224 KiB
Current children cumulated memory: 745800 KiB
[startup+3596.8 s]
/proc/loadavg: 2.11 2.12 2.56 3/239 33927
/proc/meminfo: memFree=127191476/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=779264 memory=744944 CPUtime=3585.83 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 433659 0 0 0 358469 114 0 0 20 0 1 0 42863779 797966336 186236 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 194816 186236 3968 3530 0 186267 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 779264 KiB
Current children cumulated memory: 744944 KiB
[startup+3597.2 s]
/proc/loadavg: 2.11 2.12 2.56 3/239 33927
/proc/meminfo: memFree=127191476/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=779264 memory=744944 CPUtime=3586.23 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 433688 0 0 0 358509 114 0 0 20 0 1 0 42863779 797966336 186236 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 194816 186236 3968 3530 0 186267 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 779264 KiB
Current children cumulated memory: 744944 KiB
[startup+3597.4 s]
/proc/loadavg: 2.11 2.12 2.56 3/239 33927
/proc/meminfo: memFree=127191476/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=779264 memory=744944 CPUtime=3586.43 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 433688 0 0 0 358529 114 0 0 20 0 1 0 42863779 797966336 186236 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 194816 186236 3968 3530 0 186267 0
Current children cumulated CPU time: 3586.43 s
Current children cumulated vsize: 779264 KiB
Current children cumulated memory: 744944 KiB
[startup+3597.5 s]
/proc/loadavg: 2.11 2.12 2.56 3/239 33927
/proc/meminfo: memFree=127191476/131382120 swapFree=33010684/33010684
[pid=33670] ppid=33666 vsize=696016 memory=670076 CPUtime=3586.53 cores=1,3
/proc/33670/stat : 33670 (pbscip) R 33666 33670 33067 0 -1 4194304 433690 0 0 0 358539 114 0 0 20 0 1 0 42863779 712720384 167519 18446744073709551615 4235264 18693293 140723388837808 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54980608 140723388840329 140723388840428 140723388840428 140723388846030 0
/proc/33670/statm: 174004 167519 3968 3530 0 165455 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 696016 KiB
Current children cumulated memory: 670076 KiB
Child status: 0
Real time (s): 3597.52
CPU time (s): 3586.56
CPU user time (s): 3585.41
CPU system time (s): 1.15053
CPU usage (%): 99.6954
Max. virtual memory (cumulated for all children) (KiB): 788588
Max. memory (cumulated for all children) (KiB): 755104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.41
system time used= 1.15053
maximum resident set size= 755104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433704
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= 122
involuntary context switches= 2097
# summary of solver processes directly reported to runsolver:
# pid: 33670
# total CPU time (s): 3586.56
# total CPU user time (s): 3585.41
# total CPU system time (s): 1.15053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3864 second user time and 33.2101 second system time
The end
Begin job on nodeC003 at 2025-06-30 10:24:10 IDJOB=4498464 IDBENCH=148683 IDSOLVER=3365 FILE ID=nodeC003/4498464-1751271848 RUNJOBID= nodeC003-1751268232-33086 SLURM_JOB_ID= 9594170 Free space on /tmp= 432716 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498464-1751271848/watcher-4498464-1751271848 -o /tmp/evaluation-result-4498464-1751271848/solver-4498464-1751271848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751268232-33086 --watchdog 3760 pbscip -f HOME/instance-4498464-1751271848.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 38e00c2bd7e76d458d5bc96a9953dc34 RANDOM SEED=27383631 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.091 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.163 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.216 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.642 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 3632.247 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.339 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.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 : 0xb00001f cpu MHz : 1197.142 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 128149196 kB MemAvailable: 128593728 kB Buffers: 3280 kB Cached: 1250236 kB SwapCached: 0 kB Active: 1662504 kB Inactive: 1001004 kB Active(anon): 1427952 kB Inactive(anon): 0 kB Active(file): 234552 kB Inactive(file): 1001004 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19760 kB Writeback: 0 kB AnonPages: 1413140 kB Mapped: 126788 kB Shmem: 17960 kB KReclaimable: 97204 kB Slab: 179860 kB SReclaimable: 97204 kB SUnreclaim: 82656 kB KernelStack: 3952 kB PageTables: 5856 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 1768524 kB VmallocTotal: 34359738367 kB VmallocUsed: 149320 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432716 MiB End job on nodeC003 at 2025-06-30 11:24:09