Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | -43 | 3587.73 | 3597.36 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4498465-1751271848.opb>
0.08/0.12 c original problem has 38458 variables (1000 bin, 0 int, 37458 cont) and 39959 constraints
0.08/0.12 c original problem has 37458 implied integral variables (0 bin, 0 int, 37458 cont)
0.08/0.12 c problem read in 0.123 seconds
0.18/0.30 o 0
0.29/0.31 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.29/0.31 c presolving:
0.48/0.58 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
0.57/0.62 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
0.57/0.65 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
0.68/0.72 c (0.7s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.68/0.72 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.68/0.72 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.68/0.73 c (0.7s) no symmetry present (symcode time: 0.00)
0.68/0.74 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.68/0.74 c 37458 deleted vars, 39458 deleted constraints, 1000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.68/0.74 c 0 implications, 500 cliques
0.68/0.74 c presolved problem has 1000 variables (1000 bin, 0 int, 0 cont) and 1501 constraints
0.68/0.74 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.68/0.74 c 1000 constraints of type <knapsack>
0.68/0.74 c 500 constraints of type <setppc>
0.68/0.74 c 1 constraints of type <linear>
0.68/0.74 c transformed objective value is always integral (scale: 1)
0.68/0.74 c Presolving Time: 0.46
0.68/0.74 c
0.68/0.74 c - non default parameters ----------------------------------------------------------------------
0.68/0.74 c
0.68/0.74 c # SCIP version 10.0.0
0.68/0.74 c
0.68/0.74 c # maximal time in seconds to run
0.68/0.74 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.68/0.74 c limits/time = 3596.998077
0.68/0.74 c
0.68/0.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.74 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.68/0.74 c limits/memory = 27900
0.68/0.74 c
0.68/0.74 c # belongs reading time to solving time?
0.68/0.74 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.68/0.74 c timing/reading = TRUE
0.68/0.74 c
0.68/0.74 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.68/0.74 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.68/0.74 c reading/opbreader/maxintsize = 47
0.68/0.74 c
0.68/0.74 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.68/0.74 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.68/0.74 c propagating/genvbounds/timingmask = 0
0.68/0.74 c
0.68/0.74 c -----------------------------------------------------------------------------------------------
0.68/0.75 c transformed 1/1 original solutions to the transformed problem space
0.68/0.75 c
1.97/2.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.97/2.06 c 2.1s| 1 | 0 | 2693 | - | 173M | 0 |1000 |1501 |1501 | 0 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | Inf | unknown
2.07/2.10 o -1
2.07/2.10 c r 2.1s| 1 | 0 | 2693 | - |rounding| 0 |1000 |1501 |1501 | 0 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | Large | unknown
5.76/5.80 c 5.8s| 1 | 0 | 5418 | - | 209M | 0 |1000 |1501 |1760 | 259 | 1 | 0 | 0 |-2.394268e+02 |-1.000000e+00 | Large | unknown
13.94/14.00 c 14.0s| 1 | 0 | 7226 | - | 237M | 0 |1000 |1501 |2025 | 524 | 2 | 0 | 0 |-2.284800e+02 |-1.000000e+00 | Large | unknown
13.94/14.01 o -27
13.94/14.01 c r14.0s| 1 | 0 | 7226 | - |randroun| 0 |1000 |1501 |2025 | 0 | 2 | 0 | 0 |-2.284800e+02 |-2.700000e+01 | 746.22%| unknown
23.10/23.23 c 23.2s| 1 | 0 | 7990 | - | 261M | 0 |1000 |1501 |2134 | 633 | 3 | 0 | 0 |-2.279848e+02 |-2.700000e+01 | 744.39%| unknown
31.99/32.11 c 32.1s| 1 | 0 | 8797 | - | 281M | 0 |1000 |1501 |2172 | 671 | 4 | 0 | 0 |-2.273527e+02 |-2.700000e+01 | 742.05%| unknown
39.76/39.98 c 40.0s| 1 | 0 | 9263 | - | 296M | 0 |1000 |1501 |2202 | 701 | 5 | 0 | 0 |-2.271629e+02 |-2.700000e+01 | 741.34%| unknown
47.04/47.22 c 47.2s| 1 | 0 | 9500 | - | 322M | 0 |1000 |1501 |2220 | 719 | 6 | 0 | 0 |-2.271087e+02 |-2.700000e+01 | 741.14%| unknown
55.42/55.61 c 55.6s| 1 | 0 | 10167 | - | 336M | 0 |1000 |1501 |2230 | 729 | 7 | 0 | 0 |-2.266940e+02 |-2.700000e+01 | 739.61%| unknown
55.42/55.62 o -29
55.42/55.62 c r55.6s| 1 | 0 | 10167 | - |randroun| 0 |1000 |1501 |2230 | 0 | 7 | 0 | 0 |-2.266940e+02 |-2.900000e+01 | 681.70%| unknown
65.80/66.06 c 66.1s| 1 | 0 | 11403 | - | 356M | 0 |1000 |1501 |2267 | 766 | 8 | 0 | 0 |-2.257372e+02 |-2.900000e+01 | 678.40%| unknown
74.47/74.79 c 74.8s| 1 | 0 | 12172 | - | 359M | 0 |1000 |1501 |2298 | 797 | 9 | 0 | 0 |-2.249265e+02 |-2.900000e+01 | 675.61%| unknown
82.35/82.66 c 82.7s| 1 | 0 | 12631 | - | 381M | 0 |1000 |1501 |2317 | 816 | 10 | 0 | 0 |-2.246197e+02 |-2.900000e+01 | 674.55%| unknown
88.44/88.77 c 88.8s| 1 | 0 | 12804 | - | 382M | 0 |1000 |1501 |2232 | 825 | 11 | 0 | 0 |-2.245203e+02 |-2.900000e+01 | 674.21%| unknown
94.52/94.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.52/94.81 c 94.8s| 1 | 0 | 12946 | - | 382M | 0 |1000 |1501 |2237 | 830 | 12 | 0 | 0 |-2.244293e+02 |-2.900000e+01 | 673.89%| unknown
100.31/100.65 c 101s| 1 | 0 | 13015 | - | 382M | 0 |1000 |1501 |2243 | 836 | 13 | 0 | 0 |-2.244235e+02 |-2.900000e+01 | 673.87%| unknown
106.10/106.50 c 106s| 1 | 0 | 13068 | - | 382M | 0 |1000 |1501 |2245 | 838 | 14 | 0 | 0 |-2.244165e+02 |-2.900000e+01 | 673.85%| unknown
112.09/112.43 c 112s| 1 | 0 | 13231 | - | 383M | 0 |1000 |1501 |2247 | 840 | 15 | 0 | 0 |-2.243938e+02 |-2.900000e+01 | 673.77%| unknown
117.78/118.17 c 118s| 1 | 0 | 13295 | - | 383M | 0 |1000 |1501 |2251 | 844 | 16 | 0 | 0 |-2.243874e+02 |-2.900000e+01 | 673.75%| unknown
123.46/123.82 c 124s| 1 | 0 | 13331 | - | 383M | 0 |1000 |1501 |1996 | 846 | 17 | 0 | 0 |-2.243840e+02 |-2.900000e+01 | 673.74%| unknown
128.95/129.38 c 129s| 1 | 0 | 13370 | - | 383M | 0 |1000 |1501 |1998 | 848 | 18 | 0 | 0 |-2.243836e+02 |-2.900000e+01 | 673.74%| unknown
270.44/271.27 c 271s| 1 | 2 | 17143 | - | 384M | 0 |1000 |1501 |1998 | 848 | 19 | 0 | 42 |-2.242504e+02 |-2.900000e+01 | 673.28%| unknown
572.02/573.60 o -32
572.02/573.60 c d 574s| 15 | 16 | 23856 | 749.0 |pscostdi| 14 |1000 |1501 |1874 | 0 | 1 | 0 | 349 |-2.240885e+02 |-3.200000e+01 | 600.28%| unknown
590.86/592.52 o -40
590.86/592.52 c d 593s| 27 | 28 | 31126 | 682.9 |adaptive| 14 |1000 |1501 |1921 | 0 | 1 | 0 | 364 |-2.240885e+02 |-4.000000e+01 | 460.22%| unknown
648.51/650.32 c 650s| 100 | 101 | 70406 | 576.1 | 506M | 21 |1000 |1514 |1917 |1880 | 1 | 13 | 393 |-2.240885e+02 |-4.000000e+01 | 460.22%| unknown
707.16/709.15 c 709s| 200 | 201 |106923 | 470.1 | 552M | 26 |1000 |1514 |1901 |2433 | 1 | 13 | 445 |-2.239654e+02 |-4.000000e+01 | 459.91%| unknown
789.44/791.64 c 792s| 300 | 287 |143859 | 436.4 | 554M | 42 |1000 |1514 |1908 |3157 | 1 | 13 | 481 |-2.237748e+02 |-4.000000e+01 | 459.44%| unknown
860.24/862.62 c 863s| 400 | 337 |180290 | 418.3 | 563M | 42 |1000 |1514 |1913 |4013 | 1 | 13 | 541 |-2.235961e+02 |-4.000000e+01 | 458.99%| unknown
886.57/889.00 o -41
886.57/889.01 c d 889s| 425 | 326 |193789 | 425.5 |linesear| 42 |1000 |1514 |1838 | 0 | 1 | 13 | 548 |-2.235213e+02 |-4.100000e+01 | 445.17%| unknown
995.18/997.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
995.18/997.97 c 998s| 500 | 351 |228401 | 430.9 | 564M | 42 |1000 |1514 |1938 |5386 | 0 | 13 | 587 |-2.224499e+02 |-4.100000e+01 | 442.56%| unknown
1043.73/1046.63 o -43
1043.73/1046.63 c d1047s| 535 | 323 |238872 | 422.3 |fracdivi| 42 |1000 |1514 |1834 | 0 | 1 | 13 | 634 |-2.224091e+02 |-4.300000e+01 | 417.23%| unknown
1060.78/1063.76 c 1064s| 600 | 348 |259985 | 411.7 | 567M | 42 |1000 |1514 |1971 |6697 | 2 | 13 | 671 |-2.223996e+02 |-4.300000e+01 | 417.21%| unknown
1092.01/1095.04 c 1095s| 700 | 370 |279308 | 380.5 | 568M | 42 |1000 |1523 |1946 |7718 | 1 | 22 | 700 |-2.223466e+02 |-4.300000e+01 | 417.09%| unknown
1138.57/1141.73 c 1142s| 800 | 406 |309647 | 370.8 | 572M | 42 |1000 |1532 |1922 |9227 | 1 | 31 | 764 |-2.222133e+02 |-4.300000e+01 | 416.78%| unknown
1147.35/1150.55 c 1151s| 900 | 414 |323562 | 345.0 | 580M | 42 |1000 |1532 |1982 | 10k| 2 | 31 | 827 |-2.222133e+02 |-4.300000e+01 | 416.78%| unknown
1240.19/1243.68 c 1244s| 1000 | 422 |379487 | 366.5 | 592M | 44 |1000 |1532 |2084 | 12k| 0 | 31 | 906 |-2.220573e+02 |-4.300000e+01 | 416.41%| unknown
1255.56/1259.04 c 1259s| 1100 | 434 |422150 | 372.0 | 596M | 44 |1000 |1534 |2012 | 14k| 0 | 33 | 978 |-2.220573e+02 |-4.300000e+01 | 416.41%| unknown
1335.53/1339.24 c 1339s| 1200 | 462 |465744 | 377.3 | 599M | 44 |1000 |1541 |2021 | 16k| 4 | 40 |1042 |-2.219368e+02 |-4.300000e+01 | 416.13%| unknown
1451.61/1455.62 c 1456s| 1300 | 504 |504676 | 378.2 | 601M | 44 |1000 |1561 |1980 | 17k| 2 | 60 |1105 |-2.218404e+02 |-4.300000e+01 | 415.91%| unknown
1524.13/1528.35 c 1528s| 1400 | 524 |577522 | 403.3 | 605M | 44 |1000 |1561 |2002 | 19k| 3 | 60 |1181 |-2.217319e+02 |-4.300000e+01 | 415.66%| unknown
1539.59/1543.85 c 1544s| 1500 | 530 |620711 | 405.2 | 610M | 44 |1000 |1564 |1998 | 22k| 1 | 63 |1195 |-2.217319e+02 |-4.300000e+01 | 415.66%| unknown
1862.96/1868.09 c 1868s| 1600 | 550 |705127 | 432.6 | 613M | 44 |1000 |1568 |2182 | 24k| 1 | 67 |1374 |-2.215720e+02 |-4.300000e+01 | 415.28%| unknown
2028.63/2034.19 c 2034s| 1700 | 588 |774718 | 448.1 | 608M | 44 |1000 |1573 |2028 | 26k| 1 | 72 |1436 |-2.212680e+02 |-4.300000e+01 | 414.58%| unknown
2357.67/2364.02 c 2364s| 1800 | 660 |874002 | 478.4 | 609M | 44 |1000 |1585 |2076 | 29k| 2 | 84 |1547 |-2.207810e+02 |-4.300000e+01 | 413.44%| unknown
2453.41/2460.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2453.41/2460.09 c 2460s| 1900 | 684 |929225 | 482.3 | 617M | 44 |1000 |1604 |2073 | 30k| 0 | 105 |1584 |-2.206703e+02 |-4.300000e+01 | 413.19%| unknown
2584.75/2591.76 c 2592s| 2000 | 708 |960009 | 473.6 | 618M | 44 |1000 |1603 |2043 | 31k| 1 | 106 |1627 |-2.205282e+02 |-4.300000e+01 | 412.86%| unknown
2670.84/2678.00 c 2678s| 2100 | 732 | 1004k| 472.0 | 624M | 44 |1000 |1604 |1965 | 33k| 1 | 109 |1653 |-2.204103e+02 |-4.300000e+01 | 412.58%| unknown
2854.70/2862.31 c 2862s| 2200 | 766 | 1077k| 483.8 | 626M | 44 |1000 |1607 |2025 | 35k| 1 | 113 |1723 |-2.198728e+02 |-4.300000e+01 | 411.33%| unknown
2859.89/2867.53 c 2868s| 2300 | 782 | 1089k| 468.2 | 628M | 44 |1000 |1611 |2085 | 36k| 1 | 119 |1724 |-2.198728e+02 |-4.300000e+01 | 411.33%| unknown
2931.79/2939.65 c 2940s| 2400 | 806 | 1127k| 464.4 | 630M | 45 |1000 |1610 |1986 | 37k| 1 | 120 |1735 |-2.197967e+02 |-4.300000e+01 | 411.16%| unknown
2947.85/2955.79 c 2956s| 2500 | 818 | 1155k| 456.9 | 631M | 45 |1000 |1618 |2078 | 39k| 1 | 128 |1735 |-2.197967e+02 |-4.300000e+01 | 411.16%| unknown
2989.73/2997.76 c 2998s| 2600 | 868 | 1200k| 456.9 | 632M | 45 |1000 |1640 |1983 | 40k| 0 | 150 |1735 |-2.197291e+02 |-4.300000e+01 | 411.00%| unknown
3029.32/3037.45 c 3037s| 2700 | 908 | 1247k| 457.3 | 634M | 46 |1000 |1653 |1966 | 41k| 0 | 163 |1735 |-2.196716e+02 |-4.300000e+01 | 410.86%| unknown
3063.02/3071.25 c 3071s| 2800 | 926 | 1292k| 456.9 | 637M | 46 |1000 |1660 |2166 | 43k| 10 | 172 |1735 |-2.196557e+02 |-4.300000e+01 | 410.83%| unknown
3089.76/3098.05 c 3098s| 2900 | 950 | 1325k| 452.7 | 634M | 46 |1000 |1670 |1952 | 45k| 0 | 183 |1735 |-2.196289e+02 |-4.300000e+01 | 410.76%| unknown
3180.90/3189.48 c 3189s| 3000 | 990 | 1398k| 462.0 | 637M | 46 |1000 |1675 |1937 | 46k| 1 | 191 |1735 |-2.195867e+02 |-4.300000e+01 | 410.67%| unknown
3202.94/3211.58 c 3212s| 3100 | 1000 | 1439k| 460.0 | 647M | 46 |1000 |1674 |2084 | 48k| 1 | 191 |1735 |-2.195782e+02 |-4.300000e+01 | 410.65%| unknown
3245.72/3254.48 c 3254s| 3200 | 1014 | 1470k| 455.6 | 645M | 47 |1000 |1682 |2007 | 50k| 0 | 201 |1774 |-2.195641e+02 |-4.300000e+01 | 410.61%| unknown
3265.17/3273.99 c 3274s| 3300 | 1026 | 1519k| 456.7 | 646M | 47 |1000 |1680 |1920 | 52k| 1 | 201 |1821 |-2.195641e+02 |-4.300000e+01 | 410.61%| unknown
3334.97/3343.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3334.97/3343.97 c 3344s| 3400 | 1050 | 1556k| 453.9 | 648M | 47 |1000 |1683 |2025 | 53k| 0 | 206 |1836 |-2.195353e+02 |-4.300000e+01 | 410.55%| unknown
3374.66/3383.76 c 3384s| 3500 | 1072 | 1588k| 450.0 | 650M | 48 |1000 |1684 |2022 | 55k| 0 | 211 |1852 |-2.194934e+02 |-4.300000e+01 | 410.45%| unknown
3458.23/3467.52 c 3468s| 3600 | 1090 | 1634k| 450.3 | 651M | 48 |1000 |1681 |1947 | 57k| 1 | 211 |1884 |-2.194573e+02 |-4.300000e+01 | 410.37%| unknown
3549.77/3559.37 c 3559s| 3700 | 1104 | 1654k| 443.6 | 651M | 48 |1000 |1687 |2018 | 57k| 2 | 218 |1955 |-2.194317e+02 |-4.300000e+01 | 410.31%| unknown
3556.75/3566.35 c 3566s| 3800 | 1114 | 1676k| 437.8 | 652M | 48 |1000 |1684 |2088 | 59k| 1 | 218 |1973 |-2.194317e+02 |-4.300000e+01 | 410.31%| unknown
3587.48/3597.11 c
3587.48/3597.11 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.11 c Solving Time (sec) : 3597.11
3587.48/3597.11 c Solving Nodes : 3851
3587.48/3597.11 c Primal Bound : -4.30000000000000e+01 (437 solutions)
3587.48/3597.11 c Dual Bound : -2.19410909261162e+02
3587.48/3597.11 c Gap : 410.26 %
3587.48/3597.14 s SATISFIABLE
3587.48/3597.14 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3587.48/3597.14 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
3587.48/3597.14 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
3587.48/3597.14 v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105
3587.48/3597.14 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
3587.48/3597.14 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149
3587.48/3597.14 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
3587.48/3597.14 v -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
3587.48/3597.14 v -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
3587.48/3597.14 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 -x237
3587.48/3597.14 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259
3587.48/3597.14 v x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
3587.48/3597.14 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303
3587.48/3597.14 v -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
3587.48/3597.14 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 x344 -x345 x346 -x347
3587.48/3597.14 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
3587.48/3597.14 v -x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391
3587.48/3597.14 v x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 -x405 x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414
3587.48/3597.14 v -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436
3587.48/3597.14 v -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 x453 x454 -x455 -x456 -x457 -x458
3587.48/3597.14 v x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 x475 x476 x477 -x478 -x479 -x480 -x481
3587.48/3597.14 v x482 -x483 -x484 x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 x802 -x584 x775 -x827
3587.48/3597.14 v -x864 -x538 -x526 -x529 -x886 -x545 -x955 -x715 x965 -x904 x915 -x903 -x942 -x902 -x650 x718 -x605 -x969 -x780 -x574 -x719 x823
3587.48/3597.14 v -x883 -x721 -x821 -x631 -x874 -x905 -x757 -x700 -x620 -x795 -x725 -x984 x962 -x880 -x777 -x676 -x845 -x532 -x943 -x599 -x973 -x844
3587.48/3597.14 v -x748 -x690 -x948 -x568 -x822 -x873 x787 x996 -x755 -x507 -x817 -x738 -x502 -x509 -x518 -x539 -x553 -x558 -x588 -x596 -x603 -x615
3587.48/3597.14 v -x625 -x626 -x638 -x641 x642 -x651 x660 -x678 -x699 x708 -x720 -x759 -x773 -x779 x803 -x816 -x848 -x852 x916 -x926 -x501 -x732 -x573
3587.48/3597.14 v -x994 -x932 -x692 x640 -x508 -x527 -x970 -x907 -x591 -x997 -x974 x939 -x701 -x947 -x634 x800 x988 -x933 -x868 -x661 x806 -x506 -x657
3587.48/3597.14 v -x912 -x825 -x595 -x749 -x847 -x878 x940 -x986 -x967 -x707 -x742 -x703 -x879 -x513 -x627 -x853 -x897 -x865 -x717 -x521 -x980 -x765
3587.48/3597.14 v -x697 -x981 -x712 -x503 -x515 -x535 -x547 -x551 -x560 -x563 -x576 x589 -x590 -x597 -x600 -x612 x618 -x652 -x653 -x665 -x666 -x682
3587.48/3597.14 v -x685 -x695 -x714 -x727 -x731 -x752 -x756 -x776 -x831 -x854 -x876 -x982 -x998 -x945 -x885 -x664 -x826 -x963 -x884 x927 -x556 x771
3587.48/3597.14 v -x983 -x635 -x910 -x987 -x557 -x537 -x810 -x724 -x869 -x921 -x849 -x578 -x601 -x655 -x505 -x639 -x577 -x860 -x519 -x770 -x679 -x587
3587.48/3597.14 v -x979 -x896 -x730 -x674 -x663 -x520 -x543 -x559 -x562 -x572 -x609 -x616 -x643 -x659 -x698 x710 -x750 -x753 -x772 -x811 -x832 -x863
3587.48/3597.14 v -x891 x900 -x929 -x975 -x977 -x866 -x741 -x819 -x614 -x758 -x530 -x794 -x711 x922 -x813 -x843 -x985 -x781 -x815 -x528 -x768 -x702
3587.48/3597.14 v x769 -x956 -x566 -x555 -x976 -x696 -x888 -x871 -x890 -x855 -x670 -x959 -x669 -x549 -x579 -x681 -x602 -x511 -x514 -x517 -x565 -x575
3587.48/3597.14 v -x580 -x593 -x611 -x637 -x716 -x734 -x788 -x809 -x835 -x934 -x953 -x966 -x504 x739 -x841 -x668 -x928 -x585 -x531 x622 -x892 -x949
3587.48/3597.14 v -x989 -x525 x899 -x693 -x887 -x632 -x991 -x542 -x606 -x836 -x554 -x824 -x540 -x510 -x552 -x567 -x569 -x594 -x617 -x628 -x723 -x729
3587.48/3597.14 v -x754 -x760 -x762 -x764 -x790 -x814 x820 -x828 -x870 -x906 -x917 x952 -x833 -x604 -x968 -x704 -x957 -x851 x840 -x792 -x747 -x786
3587.48/3597.14 v -x850 -x534 -x581 -x630 -x592 -x548 -x935 -x544 -x918 -x766 -x706 -x713 -x746 -x785 -x791 -x898 x972 -x978 -x889 -x856 -x610 -x837
3587.48/3597.14 v -x877 -x924 -x673 -x858 -x516 -x675 -x561 -x550 -x523 -x672 -x512 -x536 -x570 -x629 -x636 -x646 -x647 -x654 -x656 -x658 -x662 -x671
3587.48/3597.14 v -x684 -x733 -x761 -x763 -x784 -x834 -x881 x909 -x751 -x958 -x872 -x805 -x621 -x782 -x624 -x911 -x960 -x954 -x796 -x936 -x882 -x533
3587.48/3597.14 v -x667 -x680 -x689 -x743 -x783 -x857 -x930 -x1000 -x522 -x677 -x607 -x582 -x709 -x687 x644 -x862 -x838 -x546 -x645 -x649 -x740 -x774
3587.48/3597.14 v -x999 -x686 -x789 x722 -x951 -x895 -x925 -x541 -x524 -x598 -x613 -x623 -x797 -x801 -x807 -x919 -x964 -x648 -x908 -x861 -x920 -x941
3587.48/3597.14 v -x728 -x931 -x736 -x691 -x726 -x990 -x745 -x995 -x808 -x839 -x944 -x688 -x705 -x961 -x846 -x938 -x799 -x793 -x586 -x804 -x992 -x619
3587.48/3597.14 v -x859 -x767 x798 -x564 -x914 -x683 -x950 -x744 -x913 -x583 x901 -x893 -x993 -x633 -x735 -x694 x875 -x737 -x946 -x937 -x608 -x812
3587.48/3597.14 v x829 -x842 -x571 -x923 x830 -x818 -x894 -x971 -x778 -x867
3587.48/3597.14 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.14 c Total Time : 3597.11
3587.48/3597.14 c solving : 3597.11
3587.48/3597.14 c presolving : 0.46 (included in solving)
3587.48/3597.14 c reading : 0.12 (included in solving)
3587.48/3597.14 c copying : 0.08 (13 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.48/3597.14 c Original Problem :
3587.48/3597.14 c Problem name : HOME/instance-4498465-1751271848.opb
3587.48/3597.14 c Variables : 38458 (1000 binary, 0 integer, 37458 continuous)
3587.48/3597.14 c implied integral : 37458 (0 binary, 0 integer, 37458 continuous)
3587.48/3597.14 c Constraints : 39959 initial, 39959 maximal
3587.48/3597.14 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.48/3597.14 c Presolved Problem :
3587.48/3597.14 c Problem name : t_HOME/instance-4498465-1751271848.opb
3587.48/3597.14 c Variables : 1000 (1000 binary, 0 integer, 0 continuous)
3587.48/3597.14 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.48/3597.14 c Constraints : 1501 initial, 1687 maximal
3587.48/3597.14 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.48/3597.14 c Nonzeros : 77916 constraint, 1000 clique table
3587.48/3597.14 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.48/3597.14 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c domcol : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c dualfix : 0.02 0.00 4 37458 0 0 0 0 0 0 0 0
3587.48/3597.14 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c knapsack : 0.03 0.00 3 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c setppc : 0.02 0.00 5 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c linear : 0.05 0.00 6 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c pseudoboolean : 0.16 0.00 1 0 0 0 0 0 39458 1000 0 0
3587.48/3597.14 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c root node : - - - 0 - - 0 - - - - -
3587.48/3597.14 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.48/3597.14 c integral : 0 0 0 0 2639 0 0 2649 0 0 320 0 0 1 5016
3587.48/3597.14 c knapsack : 1000 1000 19 36784 0 0 0 2643 57297 124 41543 0 0 0 0
3587.48/3597.14 c setppc : 500 500 19 35363 0 0 0 441 1358 0 1021 0 0 0 0
3587.48/3597.14 c linear : 1 1 19 36635 0 0 0 440 242 321 0 0 0 0 0
3587.48/3597.14 c logicor : 0+ 186 0 4164 0 0 0 0 1 3 2 0 0 0 0
3587.48/3597.14 c fixedvar : 0 0 0 0 0 0 0 441 0 0 0 0 0 0 0
3587.48/3597.14 c countsols : 0 0 0 0 0 0 0 441 0 0 0 0 0 0 0
3587.48/3597.14 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.48/3597.14 c integral : 1953.74 0.00 0.00 0.00 1953.74 0.00 0.00 0.00 0.00 0.00
3587.48/3597.14 c knapsack : 2.45 0.00 0.38 1.02 0.00 0.00 0.00 0.71 0.03 0.30
3587.48/3597.14 c setppc : 0.09 0.00 0.00 0.02 0.00 0.00 0.00 0.05 0.00 0.01
3587.48/3597.14 c linear : 0.68 0.00 0.51 0.14 0.00 0.00 0.00 0.01 0.01 0.00
3587.48/3597.14 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.14 c fixedvar : 0.93 0.00 0.00 0.00 0.00 0.00 0.00 0.93 0.00 0.00
3587.48/3597.14 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.14 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.14 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.48/3597.14 c dualfix : 1 0 0 0
3587.48/3597.14 c genvbounds : 0 0 0 0
3587.48/3597.14 c nlobbt : 0 0 0 0
3587.48/3597.14 c obbt : 0 0 0 0
3587.48/3597.14 c probing : 0 0 0 0
3587.48/3597.14 c pseudoobj : 10340 0 0 0
3587.48/3597.14 c redcost : 5413 0 0 2879
3587.48/3597.14 c rootredcost : 5 0 0 0
3587.48/3597.14 c symmetry : 0 0 0 0
3587.48/3597.14 c vbounds : 10731 0 0 0
3587.48/3597.14 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.48/3597.14 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3587.48/3597.14 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.14 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.14 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.14 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.48/3597.14 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.48/3597.14 c redcost : 0.12 0.00 0.00 0.12 0.00 0.00
3587.48/3597.14 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
3587.48/3597.14 c symmetry : 0.02 0.00 0.01 0.01 0.00 0.00
3587.48/3597.14 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.48/3597.14 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.48/3597.14 c propagation : 0.14 124 121 - 4132 355.1 0 0.0 - - -
3587.48/3597.14 c infeasible LP : 0.01 11 11 - 255 116.2 0 0.0 0 0.0 0
3587.48/3597.14 c bound exceed. LP : 1.96 879 11 - 205 123.2 0 0.0 0 0.0 7968
3587.48/3597.14 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.48/3597.14 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.48/3597.14 c applied globally : 0.00 - - 0 218 70.8 - - 0 - -
3587.48/3597.14 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.48/3597.14 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.48/3597.14 c cut pool : 13.97 - 4748 28 - - 94566 727534 - - - - - (maximal pool size: 6613)
3587.48/3597.14 c aggregation : 280.79 0.00 1378 19 0 0 45482 645521 0 56858 56858 0 0
3587.48/3597.14 c > cmir : - - - - - - - 439482 0 40228 40228 0 -
3587.48/3597.14 c > flowcover : - - - - - - - 181193 0 15148 15148 0 -
3587.48/3597.14 c > knapsackcover : - - - - - - - 24846 0 1482 1482 0 -
3587.48/3597.14 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c clique : 0.07 0.00 19 19 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c gomory : 36.14 0.00 924 10 0 0 47912 64705 0 1692 1692 0 0
3587.48/3597.14 c > gomorymi : - - - - - - - 44625 0 1415 1415 0 -
3587.48/3597.14 c > strongcg : - - - - - - - 20080 0 277 277 0 -
3587.48/3597.14 c impliedbounds : 0.05 0.00 1378 19 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c multilinear : 0.00 0.00 50 19 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.48/3597.14 c zerohalf : 23.53 0.00 933 19 0 0 1170 17308 0 1046 1046 0 0
3587.48/3597.14 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.48/3597.14 c hybrid : 1.38 0.00 3570 18 59596 0 667938 848 0 2988
3587.48/3597.14 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c Pricers : ExecTime SetupTime Calls Vars
3587.48/3597.14 c problem variables: 0.00 - 0 0
3587.48/3597.14 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.48/3597.14 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c relpscost : 1953.73 0.00 2639 0 0 0 320 0 1 5016
3587.48/3597.14 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.14 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.48/3597.14 c LP solutions : 0.00 - - 0 0
3587.48/3597.14 c relax solutions : 0.00 - - 0 0
3587.48/3597.14 c pseudo solutions : 0.00 - - 0 0
3587.48/3597.14 c strong branching : 0.01 - - 0 0
3587.48/3597.14 c actconsdiving : 0.00 0.00 0 0 0
3587.48/3597.14 c adaptivediving : 42.50 0.00 26 1 1
3587.48/3597.14 c alns : 0.10 0.00 5 0 0
3587.48/3597.14 c bound : 0.00 0.00 0 0 0
3587.48/3597.14 c clique : 0.03 0.00 1 0 0
3587.48/3597.14 c coefdiving : 0.00 0.00 0 0 0
3587.48/3597.14 c completesol : 0.00 0.00 0 0 0
3587.48/3597.14 c conflictdiving : 13.45 0.00 18 0 0
3587.48/3597.14 c crossover : 1.03 0.00 4 2 0
3587.48/3597.14 c dins : 0.00 0.00 0 0 0
3587.48/3597.14 c distributiondivin: 24.08 0.00 18 0 0
3587.48/3597.14 c dks : 0.00 0.00 0 0 0
3587.48/3597.14 c dps : 0.00 0.00 0 0 0
3587.48/3597.14 c dualval : 0.00 0.00 0 0 0
3587.48/3597.14 c farkasdiving : 0.00 0.00 0 0 0
3587.48/3597.14 c feaspump : 6.16 0.00 1 1 0
3587.48/3597.14 c fixandinfer : 0.00 0.00 0 0 0
3587.48/3597.14 c fracdiving : 17.58 0.00 18 1 1
3587.48/3597.14 c gins : 0.02 0.00 0 0 0
3587.48/3597.14 c guideddiving : 8.96 0.00 18 0 0
3587.48/3597.14 c indicator : 0.00 0.00 0 0 0
3587.48/3597.14 c indicatordiving : 0.00 0.00 0 0 0
3587.48/3597.14 c intdiving : 0.00 0.00 0 0 0
3587.48/3597.14 c intshifting : 0.00 0.00 0 0 0
3587.48/3597.14 c linesearchdiving : 20.74 0.00 18 1 1
3587.48/3597.14 c localbranching : 0.00 0.00 0 0 0
3587.48/3597.14 c locks : 0.02 0.00 1 0 0
3587.48/3597.14 c lpface : 0.00 0.00 0 0 0
3587.48/3597.14 c mpec : 0.00 0.00 0 0 0
3587.48/3597.14 c multistart : 0.00 0.00 0 0 0
3587.48/3597.14 c mutation : 0.00 0.00 0 0 0
3587.48/3597.14 c nlpdiving : 0.00 0.00 0 0 0
3587.48/3597.14 c objpscostdiving : 145.95 0.00 10 6 0
3587.48/3597.14 c octane : 0.00 0.00 0 0 0
3587.48/3597.14 c ofins : 0.00 0.00 0 0 0
3587.48/3597.14 c oneopt : 0.03 0.00 8 0 0
3587.48/3597.14 c padm : 0.00 0.00 0 0 0
3587.48/3597.14 c proximity : 0.00 0.00 0 0 0
3587.48/3597.14 c pscostdiving : 20.90 0.00 19 1 1
3587.48/3597.14 c randrounding : 1.37 0.00 2219 8 2
3587.48/3597.14 c rens : 0.00 0.00 0 0 0
3587.48/3597.14 c reoptsols : 0.00 0.00 0 0 0
3587.48/3597.14 c repair : 0.00 0.00 0 0 0
3587.48/3597.14 c rins : 2.16 0.00 5 5 0
3587.48/3597.14 c rootsoldiving : 10.68 0.00 10 3 0
3587.48/3597.14 c rounding : 13.55 0.00 3451 1 1
3587.48/3597.14 c scheduler : 0.00 0.00 0 0 0
3587.48/3597.14 c shiftandpropagate: 0.00 0.00 0 0 0
3587.48/3597.14 c shifting : 26.19 0.00 3765 406 0
3587.48/3597.14 c simplerounding : 0.00 0.00 0 0 0
3587.48/3597.14 c subnlp : 0.00 0.00 0 0 0
3587.48/3597.14 c trivial : 0.03 0.00 2 1 1
3587.48/3597.14 c trivialnegation : 0.00 0.00 0 0 0
3587.48/3597.14 c trustregion : 0.00 0.00 0 0 0
3587.48/3597.14 c trysol : 0.00 0.00 0 0 0
3587.48/3597.14 c twoopt : 0.00 0.00 0 0 0
3587.48/3597.14 c undercover : 0.00 0.00 0 0 0
3587.48/3597.14 c vbounds : 0.03 0.00 1 0 0
3587.48/3597.14 c veclendiving : 16.90 0.00 18 0 0
3587.48/3597.14 c zeroobj : 0.00 0.00 0 0 0
3587.48/3597.14 c zirounding : 0.24 0.00 1000 0 0
3587.48/3597.14 c other solutions : - - - 0 -
3587.48/3597.14 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.48/3597.14 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
3587.48/3597.14 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
3587.48/3597.14 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
3587.48/3597.14 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
3587.48/3597.14 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
3587.48/3597.14 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
3587.48/3597.14 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
3587.48/3597.14 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
3587.48/3597.14 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
3587.48/3597.14 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.48/3597.14 c primal LP : 2.03 782 9 1.29 4.44 2.01 775
3587.48/3597.14 c dual LP : 899.76 8860 1312280 167.47 1458.48 1.99 1024
3587.48/3597.14 c lex dual LP : 0.00 0 0 0.00 -
3587.48/3597.14 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.48/3597.14 c resolve instable : 0.03 2 16 8.00 584.13
3587.48/3597.14 c diving/probing LP: 345.12 4953 374436 75.60 1084.94
3587.48/3597.14 c strong branching : 1908.52 1996 628708 314.98 329.42 - - 1188
3587.48/3597.14 c (at root node) : - 42 25737 612.79 -
3587.48/3597.14 c conflict analysis: 1.67 801 7968 9.95 4777.73
3587.48/3597.14 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.48/3597.14 c benders : 0.00 0 0 0 0.00 0 0 0
3587.48/3597.14 c B&B Tree :
3587.48/3597.14 c number of runs : 1
3587.48/3597.14 c nodes : 3851 (2508 internal, 1343 leaves)
3587.48/3597.14 c feasible leaves : 0
3587.48/3597.14 c infeas. leaves : 0
3587.48/3597.14 c objective leaves : 1343
3587.48/3597.14 c nodes (total) : 3851 (2508 internal, 1343 leaves)
3587.48/3597.14 c nodes left : 1117
3587.48/3597.14 c max depth : 48
3587.48/3597.14 c max depth (total): 48
3587.48/3597.14 c backtracks : 589 (15.3%)
3587.48/3597.14 c early backtracks : 0 (0.0%)
3587.48/3597.14 c nodes exc. ref. : 0 (0.0%)
3587.48/3597.14 c delayed cutoffs : 0
3587.48/3597.14 c repropagations : 1 (1 domain reductions, 0 cutoffs)
3587.48/3597.14 c avg switch length: 5.72
3587.48/3597.14 c switching time : 2.82
3587.48/3597.14 c Root Node :
3587.48/3597.14 c First LP value : -2.50000000000000e+02
3587.48/3597.14 c First LP Iters : 2693 (2193.37 Iter/sec)
3587.48/3597.14 c First LP Time : 1.23
3587.48/3597.14 c Final Dual Bound : -2.24250435402312e+02
3587.48/3597.14 c Final Root Iters : 13370
3587.48/3597.14 c Root LP Estimate : +4.56537139377633e+02
3587.48/3597.14 c Solution :
3587.48/3597.14 c Solutions found : 437 (8 improvements)
3587.48/3597.14 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.28 seconds, depth 0, found by <trivial>)
3587.48/3597.14 c Gap First Sol. : infinite
3587.48/3597.14 c Gap Last Sol. : 417.23 %
3587.48/3597.14 c Primal Bound : -4.30000000000000e+01 (in run 1, after 535 nodes, 1046.62 seconds, depth 111, found by <fracdiving>)
3587.48/3597.14 c Dual Bound : -2.19410909261162e+02
3587.48/3597.14 c Gap : 410.26 %
3587.48/3597.14 c Integrals : Total Avg%
3587.48/3597.14 c primal-dual : 294372.77 81.84
3587.48/3597.14 c primal-ref : - - (not evaluated)
3587.48/3597.14 c dual-ref : - - (not evaluated)
3587.67/3597.35 c Time complete (sec): 3587.730
OK -43
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62578 MiB free)
memory of node 1: 64465 MiB (63902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498465-1751271848/watcher-4498465-1751271848 -o /tmp/evaluation-result-4498465-1751271848/solver-4498465-1751271848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39662 --watchdog 3760 pbsolver -f HOME/instance-4498465-1751271848.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40251, runsolver pid=40246
[startup+0.100064 s]*
/proc/loadavg: 4.37 4.20 4.10 3/255 40254
/proc/meminfo: memFree=129459836/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=78068 memory=66432 CPUtime=0.08 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 14646 0 0 0 6 2 0 0 20 0 1 0 42864563 79941632 16608 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 19517 16608 2176 2575 0 16424 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78068 KiB
Current children cumulated memory: 66432 KiB
[startup+0.205574 s]*
/proc/loadavg: 4.34 4.20 4.10 5/263 40262
/proc/meminfo: memFree=129368156/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=132124 memory=122976 CPUtime=0.18 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 29129 0 0 0 14 4 0 0 20 0 1 0 42864563 135294976 30744 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 33031 30744 2368 2575 0 29938 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 132124 KiB
Current children cumulated memory: 122976 KiB
[startup+0.305676 s]*
/proc/loadavg: 4.34 4.20 4.10 5/263 40262
/proc/meminfo: memFree=129323804/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=156864 memory=146144 CPUtime=0.29 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 34895 0 0 0 23 6 0 0 20 0 1 0 42864563 160628736 36536 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 39216 36536 2432 2575 0 36123 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 156864 KiB
Current children cumulated memory: 146144 KiB
[startup+0.70019 s]
/proc/loadavg: 4.34 4.20 4.10 5/263 40262
/proc/meminfo: memFree=129273912/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=183588 memory=172640 CPUtime=0.68 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 41528 0 0 0 61 7 0 0 20 0 1 0 42864563 187994112 43160 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 45897 43160 2496 2575 0 42804 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 183588 KiB
Current children cumulated memory: 172640 KiB
[startup+1.50018 s]
/proc/loadavg: 4.34 4.20 4.10 5/263 40262
/proc/meminfo: memFree=129229060/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=214652 memory=200104 CPUtime=1.47 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 49284 0 0 0 139 8 0 0 20 0 1 0 42864563 219803648 50026 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 53663 50026 2624 2575 0 50570 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 214652 KiB
Current children cumulated memory: 200104 KiB
[startup+3.10538 s]
/proc/loadavg: 4.34 4.20 4.10 5/263 40262
/proc/meminfo: memFree=129106556/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=253772 memory=240160 CPUtime=3.07 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 61907 0 0 0 298 9 0 0 20 0 1 0 42864563 259862528 60040 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 63443 60040 2624 2575 0 60350 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 253772 KiB
Current children cumulated memory: 240160 KiB
[startup+6.30017 s]
/proc/loadavg: 4.31 4.19 4.10 5/263 40262
/proc/meminfo: memFree=129047236/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=281236 memory=265092 CPUtime=6.26 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 67810 0 0 0 615 11 0 0 20 0 1 0 42864563 287985664 66273 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 70309 66273 2624 2575 0 67216 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 281236 KiB
Current children cumulated memory: 265092 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.19 4.10 5/263 40262
/proc/meminfo: memFree=128989444/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=314828 memory=296864 CPUtime=12.64 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 77896 0 0 0 1250 14 0 0 20 0 1 0 42864563 322383872 74216 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 78707 74216 2624 2575 0 75614 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 314828 KiB
Current children cumulated memory: 296864 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.18 4.10 5/263 40262
/proc/meminfo: memFree=128928728/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=356160 memory=338160 CPUtime=25.4 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 87213 0 0 0 2524 16 0 0 20 0 1 0 42864563 364707840 84540 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 89040 84540 2624 2575 0 85947 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 356160 KiB
Current children cumulated memory: 338160 KiB
[startup+51.1054 s]
/proc/loadavg: 4.20 4.18 4.10 5/263 40263
/proc/meminfo: memFree=128839732/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=427216 memory=402868 CPUtime=50.94 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 96604 0 0 0 5076 18 0 0 20 0 1 0 42864563 437469184 100717 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 106804 100717 2624 2575 0 103711 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 427216 KiB
Current children cumulated memory: 402868 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.09 5/265 40273
/proc/meminfo: memFree=128696324/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=474940 memory=452492 CPUtime=102.01 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 106510 0 0 0 10182 19 0 0 20 0 1 0 42864563 486338560 113123 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 118735 113123 2624 2575 0 115642 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 474940 KiB
Current children cumulated memory: 452492 KiB
[startup+162.3 s]
/proc/loadavg: 4.72 4.31 4.14 5/265 40275
/proc/meminfo: memFree=128664816/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=479936 memory=457664 CPUtime=161.86 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 110587 0 0 0 16165 21 0 0 20 0 1 0 42864563 491454464 114416 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 119984 114416 2688 2575 0 116891 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 479936 KiB
Current children cumulated memory: 457664 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.27 4.14 5/265 40276
/proc/meminfo: memFree=128620804/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=479936 memory=457688 CPUtime=221.68 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 117063 0 0 0 22145 23 0 0 20 0 1 0 42864563 491454464 114422 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 119984 114422 2688 2575 0 116891 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 479936 KiB
Current children cumulated memory: 457688 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.23 4.13 5/265 40278
/proc/meminfo: memFree=128576980/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=479900 memory=457560 CPUtime=281.51 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 127388 0 0 0 28124 27 0 0 20 0 1 0 42864563 491417600 114390 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 119975 114390 2688 2575 0 116882 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 479900 KiB
Current children cumulated memory: 457560 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.22 4.13 5/265 40281
/proc/meminfo: memFree=128545760/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=479900 memory=459224 CPUtime=341.34 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 131206 0 0 0 34105 29 0 0 20 0 1 0 42864563 491417600 114806 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 119975 114806 2688 2575 0 116882 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 479900 KiB
Current children cumulated memory: 459224 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.19 4.13 5/264 40284
/proc/meminfo: memFree=128501260/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=479900 memory=459608 CPUtime=401.17 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 131216 0 0 0 40088 29 0 0 20 0 1 0 42864563 491417600 114902 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 119975 114902 2688 2575 0 116882 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 479900 KiB
Current children cumulated memory: 459608 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/263 40286
/proc/meminfo: memFree=128435528/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=479900 memory=460376 CPUtime=461 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 131216 0 0 0 46071 29 0 0 20 0 1 0 42864563 491417600 115094 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 119975 115094 2688 2575 0 116882 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
/proc/loadavg: 3.14 3.25 3.62 4/260 40469
/proc/meminfo: memFree=127196132/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=728504 memory=715884 CPUtime=3213.71 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 370066 0 0 0 321274 97 0 0 20 0 1 0 42864563 745988096 178971 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 182126 178971 2944 2575 0 179033 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 728504 KiB
Current children cumulated memory: 715884 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.22 3.58 4/260 40471
/proc/meminfo: memFree=127182060/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=737948 memory=725140 CPUtime=3273.54 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 375338 0 0 0 327255 99 0 0 20 0 1 0 42864563 755658752 181285 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 184487 181285 2944 2575 0 181394 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 737948 KiB
Current children cumulated memory: 725140 KiB
[startup+3342.3 s]
/proc/loadavg: 3.15 3.20 3.56 4/260 40473
/proc/meminfo: memFree=127141272/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=735788 memory=723164 CPUtime=3333.38 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 378864 0 0 0 333238 100 0 0 20 0 1 0 42864563 753446912 180791 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183947 180791 2944 2575 0 180854 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 735788 KiB
Current children cumulated memory: 723164 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.18 3.52 4/257 40475
/proc/meminfo: memFree=127137756/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=735220 memory=722080 CPUtime=3393.2 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 395885 0 0 0 339216 104 0 0 20 0 1 0 42864563 752865280 180520 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183805 180520 2944 2575 0 180712 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 722080 KiB
[startup+3462.3 s]
/proc/loadavg: 3.16 3.18 3.50 4/259 40491
/proc/meminfo: memFree=127120276/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=735220 memory=722464 CPUtime=3453.04 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 396280 0 0 0 345199 105 0 0 20 0 1 0 42864563 752865280 180616 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183805 180616 2944 2575 0 180712 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 735220 KiB
Current children cumulated memory: 722464 KiB
[startup+3522.3 s]
/proc/loadavg: 3.16 3.17 3.48 4/258 40493
/proc/meminfo: memFree=127108872/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=731564 memory=717484 CPUtime=3512.87 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 423171 0 0 0 351176 111 0 0 20 0 1 0 42864563 749121536 179371 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 182891 179371 2944 2575 0 179798 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 731564 KiB
Current children cumulated memory: 717484 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.16 3.45 4/259 40496
/proc/meminfo: memFree=127077096/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=734672 memory=721032 CPUtime=3572.71 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 434284 0 0 0 357157 114 0 0 20 0 1 0 42864563 752304128 180258 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183668 180258 2944 2575 0 180575 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 734672 KiB
Current children cumulated memory: 721032 KiB
[startup+3597.36 s]
# the end of solver process 40251 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.56 s, system=1.17702 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.11 3.16 3.45 4/259 40496
/proc/meminfo: memFree=127077096/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=734672 memory=721032 CPUtime=3574.41 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 434284 0 0 0 357327 114 0 0 20 0 1 0 42864563 752304128 180258 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183668 180258 2944 2575 0 180575 0
Current children cumulated CPU time: 3574.41 s
Current children cumulated vsize: 734672 KiB
Current children cumulated memory: 721032 KiB
[startup+3590.4 s]
/proc/loadavg: 3.10 3.15 3.45 4/259 40496
/proc/meminfo: memFree=127077128/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=734672 memory=721032 CPUtime=3580.79 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 438609 0 0 0 357963 116 0 0 20 0 1 0 42864563 752304128 180258 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183668 180258 2944 2575 0 180575 0
Current children cumulated CPU time: 3580.79 s
Current children cumulated vsize: 734672 KiB
Current children cumulated memory: 721032 KiB
[startup+3593.6 s]
/proc/loadavg: 3.09 3.15 3.44 4/259 40496
/proc/meminfo: memFree=127069064/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=734672 memory=721032 CPUtime=3583.98 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 438611 0 0 0 358282 116 0 0 20 0 1 0 42864563 752304128 180258 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183668 180258 2944 2575 0 180575 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 734672 KiB
Current children cumulated memory: 721032 KiB
[startup+3595.2 s]
/proc/loadavg: 3.09 3.15 3.44 4/259 40496
/proc/meminfo: memFree=127065032/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=734100 memory=719624 CPUtime=3585.57 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 440433 0 0 0 358441 116 0 0 20 0 1 0 42864563 751718400 179906 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183525 179906 2944 2575 0 180432 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 734100 KiB
Current children cumulated memory: 719624 KiB
[startup+3596 s]*
/proc/loadavg: 3.08 3.15 3.44 4/259 40496
/proc/meminfo: memFree=127065032/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=734672 memory=720904 CPUtime=3586.38 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 440752 0 0 0 358521 117 0 0 20 0 1 0 42864563 752304128 180226 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183668 180226 2944 2575 0 180575 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 734672 KiB
Current children cumulated memory: 720904 KiB
[startup+3596.8 s]
/proc/loadavg: 3.08 3.15 3.44 4/259 40496
/proc/meminfo: memFree=127065032/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=734672 memory=720904 CPUtime=3587.17 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 440760 0 0 0 358600 117 0 0 20 0 1 0 42864563 752304128 180226 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183668 180226 2944 2575 0 180575 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 734672 KiB
Current children cumulated memory: 720904 KiB
[startup+3597.2 s]
/proc/loadavg: 3.08 3.15 3.44 4/259 40496
/proc/meminfo: memFree=127065048/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=734672 memory=720904 CPUtime=3587.57 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 440771 0 0 0 358640 117 0 0 20 0 1 0 42864563 752304128 180226 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183668 180226 2944 2575 0 180575 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 734672 KiB
Current children cumulated memory: 720904 KiB
[startup+3597.3 s]
/proc/loadavg: 3.08 3.15 3.44 4/259 40496
/proc/meminfo: memFree=127065048/131250000 swapFree=33009904/33010684
[pid=40251] ppid=40246 vsize=732624 memory=718964 CPUtime=3587.67 cores=4,6
/proc/40251/stat : 40251 (pbsolver) R 40246 40251 39644 0 -1 4194304 440771 0 0 0 358650 117 0 0 20 0 1 0 42864563 750206976 179741 18446744073709551615 4198400 14743177 140728490579248 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 23793664 140728490588554 140728490588650 140728490588650 140728490594252 0
/proc/40251/statm: 183156 179741 2944 2575 0 180063 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 732624 KiB
Current children cumulated memory: 718964 KiB
Child status: 0
Real time (s): 3597.36
CPU time (s): 3587.73
CPU user time (s): 3586.56
CPU system time (s): 1.17702
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 744060
Max. memory (cumulated for all children) (KiB): 731308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.56
system time used= 1.17702
maximum resident set size= 731308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440780
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= 15
involuntary context switches= 2081
# summary of solver processes directly reported to runsolver:
# pid: 40251
# total CPU time (s): 3587.73
# total CPU user time (s): 3586.56
# total CPU system time (s): 1.17702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70872 second user time and 15.4077 second system time
The end
Begin job on nodeC033 at 2025-06-30 10:24:10 IDJOB=4498465 IDBENCH=148683 IDSOLVER=3366 FILE ID=nodeC033/4498465-1751271848 RUNJOBID= nodeC033-1751268232-39662 SLURM_JOB_ID= 9594200 Free space on /tmp= 432764 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498465-1751271848/watcher-4498465-1751271848 -o /tmp/evaluation-result-4498465-1751271848/solver-4498465-1751271848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39662 --watchdog 3760 pbsolver -f HOME/instance-4498465-1751271848.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 38e00c2bd7e76d458d5bc96a9953dc34 RANDOM SEED=27383631 nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.078 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 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 : 1199.259 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 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 : 3605.517 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 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 : 1187.501 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 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 : 3600.411 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 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 : 1201.494 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 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.311 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 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 : 2135.277 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129523732 kB MemAvailable: 129230356 kB Buffers: 2128 kB Cached: 506340 kB SwapCached: 68 kB Active: 739532 kB Inactive: 329584 kB Active(anon): 553864 kB Inactive(anon): 24812 kB Active(file): 185668 kB Inactive(file): 304772 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16028 kB Writeback: 4 kB AnonPages: 563732 kB Mapped: 114868 kB Shmem: 18028 kB KReclaimable: 110844 kB Slab: 198416 kB SReclaimable: 110844 kB SUnreclaim: 87572 kB KernelStack: 4128 kB PageTables: 4028 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 865680 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 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: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432732 MiB End job on nodeC033 at 2025-06-30 11:24:09