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 | -76 | 3586.8 | 3597.22 |
| Name | PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb |
| MD5SUM | 978367cd1c9fef669a4594b21e9c8b5c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -76 |
| Best CPU time to get the best result obtained on this benchmark | 0.663864 |
| 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 | 2025 |
| Total number of constraints | 29096 |
| Number of constraints which are clauses | 29096 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 135 |
| Biggest coefficient in the objective function | 4 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 341 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 341 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 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-4499729-1751410197.opb>
0.00/0.05 c original problem has 2025 variables (2025 bin, 0 int, 0 cont) and 29096 constraints
0.00/0.05 c problem read in 0.048 seconds
0.00/0.09 o 0
0.00/0.09 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.00/0.09 c presolving:
0.09/0.13 c (round 1, fast) 594 del vars, 594 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 576 clqs
0.09/0.17 c (0.2s) running MILP presolver
0.20/0.21 c (0.2s) MILP presolver (3 rounds): 0 aggregations, 29 fixings, 0 bound changes
0.20/0.21 c (round 2, medium) 623 del vars, 594 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 489 clqs
0.20/0.21 c (round 3, fast) 623 del vars, 681 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1088 clqs
0.20/0.23 c (round 4, exhaustive) 623 del vars, 5171 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1088 clqs
0.20/0.29 c (round 5, exhaustive) 623 del vars, 5171 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23925 upgd conss, 0 impls, 1088 clqs
0.30/0.32 c (round 6, exhaustive) 623 del vars, 5252 del conss, 27 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23925 upgd conss, 0 impls, 1088 clqs
0.30/0.39 c (0.4s) probing: 51/1402 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.39 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.30/0.39 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.40/0.41 c (0.4s) no symmetry present (symcode time: 0.00)
0.40/0.43 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.40/0.43 c 623 deleted vars, 5252 deleted constraints, 27 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.40/0.43 c 0 implications, 1088 cliques
0.40/0.43 c presolved problem has 1402 variables (1402 bin, 0 int, 0 cont) and 23871 constraints
0.40/0.43 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.40/0.43 c 1034 constraints of type <setppc>
0.40/0.43 c 27 constraints of type <and>
0.40/0.43 c 22810 constraints of type <logicor>
0.40/0.43 c transformed objective value is always integral (scale: 1)
0.40/0.43 c Presolving Time: 0.34
0.40/0.43 c
0.40/0.43 c - non default parameters ----------------------------------------------------------------------
0.40/0.43 c
0.40/0.43 c # SCIP version 10.0.0
0.40/0.43 c
0.40/0.43 c # maximal time in seconds to run
0.40/0.43 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.40/0.43 c limits/time = 3596.998046
0.40/0.43 c
0.40/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.40/0.43 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.40/0.43 c limits/memory = 27900
0.40/0.43 c
0.40/0.43 c # belongs reading time to solving time?
0.40/0.43 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.40/0.43 c timing/reading = TRUE
0.40/0.43 c
0.40/0.43 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.40/0.43 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.40/0.43 c reading/opbreader/maxintsize = 47
0.40/0.43 c
0.40/0.43 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.40/0.43 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.40/0.43 c propagating/genvbounds/timingmask = 0
0.40/0.43 c
0.40/0.43 c -----------------------------------------------------------------------------------------------
0.40/0.43 c
0.40/0.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.40/0.43 c t 0.4s| 1 | 0 | 0 | - | trivial| 0 |1402 | 23k| 0 | 0 | 0 | 0 | 0 |-2.640000e+02 | 0.000000e+00 | Inf | unknown
0.60/0.60 o -14
0.60/0.60 c p 0.6s| 1 | 0 | 25 | - | vbounds| 0 |1402 | 23k| 23k| 0 | 0 | 14 | 0 |-2.640000e+02 |-1.400000e+01 |1785.71%| unknown
0.60/0.65 o -17
0.60/0.65 c i 0.6s| 1 | 0 | 25 | - | oneopt| 0 |1402 | 23k| 23k| 0 | 0 | 42 | 0 |-2.640000e+02 |-1.700000e+01 |1452.94%| unknown
5.67/5.74 c 5.7s| 1 | 0 | 11924 | - | 84M | 0 |1402 | 23k| 23k| 0 | 0 | 42 | 0 |-1.884073e+02 |-1.700000e+01 |1008.28%| unknown
10.46/10.59 c 10.6s| 1 | 0 | 20671 | - | 90M | 0 |1402 | 23k| 23k| 21 | 1 | 44 | 0 |-1.710959e+02 |-1.700000e+01 | 906.45%| unknown
14.95/15.02 c 15.0s| 1 | 0 | 28555 | - | 104M | 0 |1402 | 23k| 23k| 35 | 2 | 44 | 0 |-1.651211e+02 |-1.700000e+01 | 871.30%| unknown
16.84/16.97 c 17.0s| 1 | 0 | 32637 | - | 114M | 0 |1402 | 23k| 23k| 44 | 3 | 44 | 0 |-1.645009e+02 |-1.700000e+01 | 867.65%| unknown
20.53/20.67 c 20.7s| 1 | 0 | 39356 | - | 125M | 0 |1402 | 23k| 23k| 51 | 4 | 44 | 0 |-1.624782e+02 |-1.700000e+01 | 855.75%| unknown
24.21/24.40 c 24.4s| 1 | 0 | 46121 | - | 135M | 0 |1402 | 23k| 23k| 56 | 5 | 44 | 0 |-1.607391e+02 |-1.700000e+01 | 845.52%| unknown
26.92/27.10 c 27.1s| 1 | 0 | 51353 | - | 145M | 0 |1402 | 23k| 23k| 65 | 6 | 45 | 0 |-1.594038e+02 |-1.700000e+01 | 837.67%| unknown
29.40/29.53 c 29.5s| 1 | 0 | 56188 | - | 155M | 0 |1402 | 23k| 23k| 67 | 7 | 46 | 0 |-1.591749e+02 |-1.700000e+01 | 836.32%| unknown
33.00/33.19 c 33.2s| 1 | 0 | 62802 | - | 164M | 0 |1402 | 23k| 23k| 72 | 8 | 48 | 0 |-1.585244e+02 |-1.700000e+01 | 832.50%| unknown
35.69/35.83 c 35.8s| 1 | 0 | 67951 | - | 174M | 0 |1402 | 23k| 23k| 75 | 9 | 49 | 0 |-1.582952e+02 |-1.700000e+01 | 831.15%| unknown
38.38/38.55 c 38.5s| 1 | 0 | 73047 | - | 185M | 0 |1402 | 23k| 23k| 79 | 10 | 50 | 0 |-1.579650e+02 |-1.700000e+01 | 829.21%| unknown
42.67/42.89 c 42.9s| 1 | 0 | 80795 | - | 187M | 0 |1402 | 23k| 23k| 82 | 11 | 50 | 0 |-1.574369e+02 |-1.700000e+01 | 826.10%| unknown
42.77/42.94 o -26
42.77/42.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.77/42.94 c r42.9s| 1 | 0 | 80795 | - |shifting| 0 |1402 | 23k| 23k| 82 | 11 | 52 | 0 |-1.574369e+02 |-2.600000e+01 | 505.53%| unknown
45.56/45.73 c 45.7s| 1 | 0 | 86223 | - | 189M | 0 |1402 | 23k| 23k| 85 | 12 | 52 | 0 |-1.567650e+02 |-2.600000e+01 | 502.94%| unknown
45.56/45.73 o -33
45.56/45.73 c i45.7s| 1 | 0 | 86223 | - | oneopt| 0 |1402 | 23k| 23k| 85 | 12 | 52 | 0 |-1.567650e+02 |-3.300000e+01 | 375.05%| unknown
48.75/48.98 c 49.0s| 1 | 0 | 91246 | - | 192M | 0 |1402 | 23k| 23k| 89 | 13 | 53 | 0 |-1.557649e+02 |-3.300000e+01 | 372.01%| unknown
72.28/72.59 o -50
72.28/72.59 c d72.6s| 1 | 0 |131657 | - |farkasdi| 0 |1402 | 23k| 23k| 0 | 14 | 97 | 0 |-1.557649e+02 |-5.000000e+01 | 211.53%| unknown
89.34/89.60 c 89.6s| 1 | 0 |167348 | - | 195M | 0 |1402 | 23k| 23k| 89 | 14 | 103 | 0 |-1.557649e+02 |-5.000000e+01 | 211.53%| unknown
92.03/92.35 c 92.3s| 1 | 0 |172725 | - | 195M | 0 |1402 | 23k| 23k| 93 | 15 | 104 | 0 |-1.551270e+02 |-5.000000e+01 | 210.25%| unknown
93.92/94.28 c 94.3s| 1 | 0 |176967 | - | 195M | 0 |1402 | 23k| 23k| 95 | 16 | 105 | 0 |-1.547960e+02 |-5.000000e+01 | 209.59%| unknown
113.27/113.66 c 114s| 1 | 2 |176972 | - | 195M | 0 |1402 | 23k| 23k| 95 | 16 | 106 | 33 |-1.521017e+02 |-5.000000e+01 | 204.20%| unknown
197.93/198.51 o -55
197.93/198.51 c r 199s| 31 | 21 |353121 |8409.4 |rounding| 11 |1402 | 24k| 23k| 148 | 0 | 141 | 33 |-1.485852e+02 |-5.500000e+01 | 170.15%| 2.39%
210.40/211.00 o -61
210.40/211.00 c r 211s| 39 | 18 |380674 |7364.1 |rounding| 11 |1402 | 24k| 23k| 168 | 2 | 149 | 33 |-1.485852e+02 |-6.100000e+01 | 143.58%| 8.98%
211.29/211.98 o -66
211.29/211.98 c r 212s| 39 | 18 |382827 |7420.7 |rounding| 11 |1402 | 24k| 23k| 174 | 3 | 149 | 33 |-1.485852e+02 |-6.600000e+01 | 125.13%| 8.98%
395.70/396.83 c 397s| 100 | 29 |797144 |7033.4 | 303M | 11 |1402 | 24k| 24k| 355 | 1 | 179 | 33 |-1.460000e+02 |-6.600000e+01 | 121.21%| 12.82%
670.89/672.70 c 673s| 200 | 45 | 1382k|6441.3 | 354M | 16 |1402 | 24k| 23k| 671 | 1 | 253 | 33 |-1.416708e+02 |-6.600000e+01 | 114.65%| 15.01%
686.55/688.48 o -68
686.55/688.48 c r 688s| 209 | 44 | 1420k|6344.2 |rounding| 16 |1402 | 24k| 24k| 706 | 0 | 260 | 33 |-1.416708e+02 |-6.800000e+01 | 108.34%| 15.29%
828.98/831.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
828.98/831.24 c 831s| 300 | 49 | 1743k|5495.2 | 382M | 18 |1402 | 24k| 24k| 841 | 1 | 314 | 33 |-1.413750e+02 |-6.800000e+01 | 107.90%| 18.85%
907.09/909.54 o -71
907.09/909.54 c r 910s| 338 | 49 | 1923k|5408.6 |rounding| 18 |1402 | 24k| 24k| 971 | 2 | 327 | 33 |-1.404286e+02 |-7.100000e+01 | 97.79%| 19.88%
928.03/930.51 o -75
928.03/930.51 c r 931s| 357 | 55 | 1975k|5264.5 |rounding| 18 |1402 | 24k| 24k| 994 | 0 | 330 | 33 |-1.404286e+02 |-7.500000e+01 | 87.24%| 20.42%
930.33/932.82 o -76
930.33/932.82 c r 933s| 365 | 61 | 1982k|5169.5 |rounding| 26 |1402 | 24k| 24k| 995 | 0 | 330 | 33 |-1.404286e+02 |-7.600000e+01 | 84.77%| 20.42%
932.32/934.83 c 935s| 400 | 56 | 1988k|4730.9 | 401M | 26 |1402 | 24k| 24k| 996 | 0 | 330 | 33 |-1.404286e+02 |-7.600000e+01 | 84.77%| 20.61%
1016.81/1019.52 c 1020s| 500 | 47 | 2185k|4177.8 | 416M | 26 |1402 | 24k| 24k|1092 | 1 | 339 | 33 |-1.404286e+02 |-7.600000e+01 | 84.77%| 24.62%
1177.39/1180.53 c 1181s| 600 | 45 | 2549k|4087.1 | 418M | 26 |1402 | 24k| 23k|1297 | 2 | 371 | 33 |-1.398333e+02 |-7.600000e+01 | 83.99%| 30.42%
1357.63/1361.29 c 1361s| 700 | 45 | 2951k|4077.7 | 429M | 26 |1402 | 24k| 24k|1515 | 0 | 390 | 33 |-1.398333e+02 |-7.600000e+01 | 83.99%| 33.47%
1558.29/1562.40 c 1562s| 800 | 47 | 3381k|4106.2 | 437M | 26 |1402 | 24k| 24k|1750 | 1 | 400 | 33 |-1.392812e+02 |-7.600000e+01 | 83.26%| 36.25%
1696.96/1701.53 c 1702s| 900 | 49 | 3689k|3992.1 | 439M | 26 |1402 | 24k| 24k|1855 | 0 | 419 | 33 |-1.388542e+02 |-7.600000e+01 | 82.70%| 36.98%
1898.13/1903.35 c 1903s| 1000 | 49 | 4135k|4038.9 | 441M | 26 |1402 | 24k| 24k|2073 | 3 | 447 | 33 |-1.378750e+02 |-7.600000e+01 | 81.41%| 37.60%
2041.09/2046.73 c 2047s| 1100 | 51 | 4462k|3968.4 | 445M | 26 |1402 | 24k| 23k|2209 | 0 | 473 | 33 |-1.346719e+02 |-7.600000e+01 | 77.20%| 38.86%
2277.33/2283.73 c 2284s| 1200 | 49 | 4975k|4065.4 | 450M | 26 |1402 | 24k| 24k|2566 | 0 | 504 | 33 |-1.332857e+02 |-7.600000e+01 | 75.38%| 42.74%
2456.26/2463.20 c 2463s| 1300 | 53 | 5367k|4054.1 | 460M | 26 |1402 | 24k| 23k|2726 | 0 | 514 | 33 |-1.321410e+02 |-7.600000e+01 | 73.87%| 44.82%
2633.30/2640.80 c 2641s| 1400 | 51 | 5750k|4038.1 | 465M | 26 |1402 | 24k| 24k|2950 | 0 | 530 | 33 |-1.283106e+02 |-7.600000e+01 | 68.83%| 46.77%
2888.31/2896.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2888.31/2896.65 c 2897s| 1500 | 53 | 6308k|4140.9 | 471M | 26 |1402 | 24k| 24k|3296 | 0 | 550 | 33 |-1.276458e+02 |-7.600000e+01 | 67.96%| 48.57%
3124.68/3133.73 c 3134s| 1600 | 51 | 6817k|4200.4 | 471M | 26 |1402 | 24k| 24k|3589 | 0 | 568 | 33 |-1.263889e+02 |-7.600000e+01 | 66.30%| 50.57%
3437.22/3447.23 c 3447s| 1700 | 55 | 7499k|4354.6 | 479M | 26 |1402 | 24k| 24k|4099 | 1 | 594 | 33 |-1.248190e+02 |-7.600000e+01 | 64.24%| 52.43%
3586.47/3597.00 c
3586.47/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.47/3597.00 c Solving Time (sec) : 3597.00
3586.47/3597.00 c Solving Nodes : 1766
3586.47/3597.00 c Primal Bound : -7.60000000000000e+01 (22 solutions)
3586.47/3597.00 c Dual Bound : -1.22218750000000e+02
3586.47/3597.00 c Gap : 60.81 %
3586.58/3597.00 s SATISFIABLE
3586.58/3597.00 v x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 -x14 x15 x16 x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 x30
3586.58/3597.00 v -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57
3586.58/3597.00 v -x58 -x59 -x60 x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
3586.58/3597.00 v -x84 -x85 x86 x87 -x88 -x89 x90 x91 -x92 -x93 -x94 x95 x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109
3586.58/3597.00 v -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131
3586.58/3597.00 v x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153
3586.58/3597.00 v -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 x173 x174 -x175 -x176
3586.58/3597.00 v -x177 -x178 -x179 x180 -x181 x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 x193 x194 -x195 -x196 -x197 -x198 -x199
3586.58/3597.00 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221
3586.58/3597.00 v -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 x242 -x243
3586.58/3597.00 v -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265
3586.58/3597.00 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287
3586.58/3597.00 v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309
3586.58/3597.00 v -x310 -x311 x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331
3586.58/3597.00 v -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353
3586.58/3597.00 v -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375
3586.58/3597.00 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
3586.58/3597.00 v -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419
3586.58/3597.00 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
3586.58/3597.00 v -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
3586.58/3597.00 v -x464 -x465 -x466 x467 -x468 -x469 -x470 x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485
3586.58/3597.00 v x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507
3586.58/3597.00 v -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529
3586.58/3597.00 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 x542 -x543 x544 x545 -x546 -x547 -x548 -x549 -x550 -x551
3586.58/3597.00 v -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
3586.58/3597.00 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595
3586.58/3597.00 v x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617
3586.58/3597.00 v -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639
3586.58/3597.00 v -x640 -x641 -x642 x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661
3586.58/3597.00 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683
3586.58/3597.00 v -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 x698 x699 -x700 -x701 -x702 -x703 -x704 -x705
3586.58/3597.00 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727
3586.58/3597.00 v x728 -x729 x730 x731 -x732 -x733 x734 x735 -x736 x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750
3586.58/3597.00 v -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 x759 x760 -x761 -x762 x763 x764 x765 x766 x767 -x768 x769 -x770 x771 x772 x773 x774
3586.58/3597.00 v x775 -x776 x777 -x778 -x779 -x780 x781 x782 -x783 x784 x785 -x786 x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797
3586.58/3597.00 v x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 x807 -x808 x809 -x810 x811 -x812 -x813 x814 x815 x816 -x817 x818 -x819 -x820
3586.58/3597.00 v x821 -x822 -x823 -x824 x825 -x826 x827 x828 -x829 -x830 -x831 x832 -x833 -x834 x835 x836 -x837 x838 -x839 x840 -x841 -x842 -x843
3586.58/3597.00 v -x844 x845 -x846 x847 -x848 -x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 -x861 -x862 -x863 -x864 x865 x866 -x867
3586.58/3597.00 v -x868 -x869 -x870 x871 x872 x873 x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 x882 x883 x884 -x885 -x886 -x887 -x888 -x889 x890
3586.58/3597.00 v x891 x892 -x893 -x894 x895 x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 x906 x907 x908 x909 x910 -x911 -x912 -x913
3586.58/3597.00 v -x914 x915 -x916 -x917 -x918 x919 -x920 -x921 x922 -x923 -x924 x925 x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 x935 x936
3586.58/3597.00 v x937 x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 x955 x956 -x957 -x958 x959
3586.58/3597.00 v -x960 -x961 x962 x963 -x964 -x965 x966 -x967 -x968 x969 -x970 -x971 -x972 x973 -x974 x975 -x976 -x977 x978 -x979 x980 -x981 -x982
3586.58/3597.00 v -x983 -x984 x985 -x986 x987 -x988 -x989 -x990 x991 x992 -x993 x994 -x995 x996 x997 -x998 x999 x1000 x1001 -x1002 x1003 x1004 -x1005
3586.58/3597.00 v x1006 x1007 x1008 x1009 -x1010 -x1011 -x1012 x1013 x1014 -x1015 -x1016 x1017 -x1018 x1019 -x1020 x1021 x1022 x1023 x1024 x1025 -x1026
3586.58/3597.00 v x1027 x1028 -x1029 -x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 -x1038 -x1039 x1040 x1041 -x1042 x1043 x1044 x1045 x1046 x1047
3586.58/3597.00 v x1048 x1049 x1050 x1051 -x1052 x1053 -x1054 x1055 x1056 x1057 x1058 -x1059 x1060 x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067
3586.58/3597.00 v -x1068 -x1069 -x1070 x1071 x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 x1083 -x1084 -x1085 x1086 -x1087
3586.58/3597.00 v -x1088 x1089 -x1090 -x1091 x1092 x1093 x1094 x1095 x1096 -x1097 -x1098 x1099 x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107
3586.58/3597.00 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 -x1123 x1124 -x1125 -x1126 x1127
3586.58/3597.00 v -x1128 -x1129 x1130 -x1131 -x1132 x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146
3586.58/3597.00 v -x1147 x1148 x1149 x1150 x1151 -x1152 x1153 x1154 x1155 -x1156 -x1157 x1158 -x1159 x1160 x1161 -x1162 x1163 -x1164 -x1165 x1166
3586.58/3597.00 v x1167 x1168 -x1169 -x1170 x1171 -x1172 -x1173 x1174 x1175 -x1176 -x1177 x1178 x1179 x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186
3586.58/3597.00 v -x1187 -x1188 x1189 -x1190 -x1191 x1192 x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 x1205 x1206
3586.58/3597.00 v -x1207 -x1208 x1209 x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 x1220 x1221 x1222 x1223 x1224 -x1225 -x1226
3586.58/3597.00 v x1227 -x1228 x1229 x1230 x1231 x1232 -x1233 -x1234 x1235 x1236 x1237 -x1238 -x1239 x1240 x1241 x1242 -x1243 -x1244 x1245 -x1246
3586.58/3597.00 v -x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 -x1254 x1255 x1256 x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266
3586.58/3597.00 v -x1267 x1268 -x1269 -x1270 -x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286
3586.58/3597.00 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 x1303 x1304 x1305
3586.58/3597.00 v -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 x1316 x1317 -x1318 -x1319 -x1320 -x1321 x1322 x1323 -x1324
3586.58/3597.00 v -x1325 x1326 x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 x1337 -x1338 -x1339 x1340 x1341 x1342 x1343 x1344
3586.58/3597.00 v x1345 -x1346 x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 x1357 -x1358 x1359 x1360 -x1361 x1362 -x1363 x1364
3586.58/3597.00 v x1365 -x1366 x1367 x1368 -x1369 -x1370 -x1371 x1372 x1373 x1374 -x1375 -x1376 x1377 x1378 -x1379 -x1380 x1381 x1382 -x1383 x1384
3586.58/3597.00 v x1385 x1386 -x1387 x1388 -x1389 x1390 x1391 x1392 x1393 x1394 -x1395 -x1396 x1397 x1398 x1399 x1400 x1401 -x1402 -x1403 x1404 x1405
3586.58/3597.00 v -x1406 -x1407 x1408 x1409 -x1410 -x1411 x1412 x1413 x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 x1423 x1424 x1425
3586.58/3597.00 v -x1426 -x1427 -x1428 x1429 -x1430 x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444
3586.58/3597.00 v x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 x1452 -x1453 -x1454 x1455 x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 x1463 x1464
3586.58/3597.00 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 x1483
3586.58/3597.00 v -x1484 x1485 -x1486 x1487 x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 x1499 x1500 -x1501 -x1502 -x1503
3586.58/3597.00 v x1504 -x1505 x1506 -x1507 x1508 -x1509 -x1510 x1511 -x1512 x1513 -x1514 x1515 x1516 x1517 -x1518 -x1519 x1520 -x1521 -x1522 x1523
3586.58/3597.00 v -x1524 -x1525 x1526 x1527 x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 x1535 x1536 x1537 -x1538 x1539 x1540 -x1541 x1542 x1543
3586.58/3597.00 v -x1544 x1545 -x1546 x1547 x1548 x1549 x1550 x1551 -x1552 x1553 x1554 -x1555 -x1556 -x1557 x1558 x1559 -x1560 -x1561 -x1562 x1563
3586.58/3597.00 v -x1564 -x1565 x1566 x1567 x1568 x1569 -x1570 x1571 x1572 x1573 -x1574 x1575 x1576 -x1577 x1578 -x1579 -x1580 x1581 x1582 -x1583
3586.58/3597.00 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 x1591 x1592 x1593 -x1594 x1595 x1596 x1597 x1598 x1599 -x1600 -x1601 x1602 -x1603
3586.58/3597.00 v -x1604 x1605 x1606 x1607 -x1608 -x1609 x1610 x1611 -x1612 -x1613 x1614 -x1615 -x1616 x1617 x1618 x1619 -x1620 x1621 x1622 x1623
3586.58/3597.00 v x1624 x1625 x1626 x1627 -x1628 -x1629 x1630 -x1631 -x1632 x1633 x1634 -x1635 -x1636 x1637 x1638 x1639 x1640 x1641 -x1642 -x1643
3586.58/3597.00 v -x1644 x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 x1652 -x1653 x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 x1661 -x1662 x1663
3586.58/3597.00 v x1664 x1665 -x1666 x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 x1674 x1675 -x1676 -x1677 x1678 -x1679 x1680 -x1681 x1682 x1683
3586.58/3597.00 v -x1684 x1685 -x1686 -x1687 -x1688 x1689 x1690 x1691 -x1692 -x1693 x1694 x1695 -x1696 -x1697 -x1698 x1699 x1700 -x1701 -x1702 x1703
3586.58/3597.00 v -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 x1711 x1712 x1713 x1714 x1715 -x1716 x1717 -x1718 -x1719 x1720 x1721 x1722 x1723
3586.58/3597.00 v -x1724 -x1725 x1726 x1727 -x1728 -x1729 x1730 x1731 x1732 x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 x1742 -x1743
3586.58/3597.00 v -x1744 x1745 x1746 x1747 x1748 x1749 -x1750 -x1751 -x1752 -x1753 x1754 x1755 x1756 x1757 -x1758 -x1759 x1760 x1761 x1762 x1763 x1764
3586.58/3597.00 v x1765 x1766 -x1767 -x1768 x1769 x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 x1784
3586.58/3597.00 v x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 x1794 x1795 x1796 x1797 x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804
3586.58/3597.00 v x1805 x1806 -x1807 x1808 -x1809 -x1810 x1811 x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 x1819 x1820 x1821 x1822 -x1823 -x1824
3586.58/3597.00 v x1825 -x1826 -x1827 x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 x1840 x1841 x1842 -x1843 x1844
3586.58/3597.00 v x1845 x1846 -x1847 x1848 x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 x1864
3586.58/3597.00 v -x1865 -x1866 x1867 x1868 x1869 x1870 -x1871 x1872 x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884
3586.58/3597.00 v -x1885 x1886 -x1887 -x1888 -x1889 x1890 x1891 x1892 x1893 x1894 -x1895 -x1896 x1897 x1898 -x1899 -x1900 x1901 x1902 x1903 x1904
3586.58/3597.00 v x1905 x1906 -x1907 -x1908 x1909 x1910 x1911 -x1912 -x1913 -x1914 -x1915 x1916 x1917 x1918 -x1919 -x1920 -x1921 x1922 x1923 x1924
3586.58/3597.00 v -x1925 -x1926 x1927 -x1928 -x1929 -x1930 x1931 x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 x1941 x1942 -x1943 -x1944
3586.58/3597.00 v x1945 x1946 x1947 x1948 x1949 x1950 x1951 -x1952 x1953 x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 x1961 -x1962 x1963 -x1964
3586.58/3597.00 v x1965 -x1966 -x1967 x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 x1977 x1978 -x1979 x1980 x1981 x1982 x1983 x1984
3586.58/3597.00 v x1985 x1986 x1987 x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004
3586.58/3597.00 v -x2005 -x2006 -x2007 x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023
3586.58/3597.00 v x2024 x2025
3586.58/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.58/3597.01 c Total Time : 3597.00
3586.58/3597.01 c solving : 3597.00
3586.58/3597.01 c presolving : 0.34 (included in solving)
3586.58/3597.01 c reading : 0.05 (included in solving)
3586.58/3597.01 c copying : 0.30 (10 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3586.58/3597.01 c Original Problem :
3586.58/3597.01 c Problem name : HOME/instance-4499729-1751410197.opb
3586.58/3597.01 c Variables : 2025 (2025 binary, 0 integer, 0 continuous)
3586.58/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.58/3597.01 c Constraints : 29096 initial, 29096 maximal
3586.58/3597.01 c Objective : minimize, 135 non-zeros (abs.min = 1, abs.max = 4)
3586.58/3597.01 c Presolved Problem :
3586.58/3597.01 c Problem name : t_HOME/instance-4499729-1751410197.opb
3586.58/3597.01 c Variables : 1402 (1402 binary, 0 integer, 0 continuous)
3586.58/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.58/3597.01 c Constraints : 23871 initial, 24210 maximal
3586.58/3597.01 c Objective : minimize, 106 non-zeros (abs.min = 1, abs.max = 4)
3586.58/3597.01 c Nonzeros : 70579 constraint, 2228 clique table
3586.58/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.58/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c gateextraction : 0.02 0.00 2 0 0 0 0 0 81 27 0 0
3586.58/3597.01 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c milp : 0.07 0.00 1 29 0 0 0 0 0 0 0 0
3586.58/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c setppc : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c and : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c linear : 0.10 0.01 7 0 594 0 0 0 5171 0 0 0
3586.58/3597.01 c logicor : 0.06 0.01 5 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.58/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.58/3597.01 c integral : 0 0 0 0 916 0 0 55 0 0 0 0 0 0 1832
3586.58/3597.01 c knapsack : 0+ 32 0 4978 0 0 0 0 1 3 4 0 0 0 0
3586.58/3597.01 c setppc : 1034+ 1060 15 17728 0 0 0 49 1786 3 4976 24 0 0 0
3586.58/3597.01 c and : 27 27 1695 16156 0 0 0 26 2258 0 2121 326 206 0 0
3586.58/3597.01 c linear : 0+ 54 0 4223 0 0 0 3 5 20 14 0 0 0 0
3586.58/3597.01 c logicor : 22810+ 23056 15 14817 0 0 0 26 2569 155 7045 58 11 0 0
3586.58/3597.01 c fixedvar : 0 0 0 0 0 0 0 25 0 0 0 0 0 0 0
3586.58/3597.01 c countsols : 0 0 0 0 0 0 0 25 0 0 0 0 0 0 0
3586.58/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.58/3597.01 c integral : 19.79 0.00 0.00 0.00 19.79 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c setppc : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.01 0.00 0.00
3586.58/3597.01 c and : 0.03 0.00 0.01 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c linear : 0.02 0.01 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c logicor : 0.45 0.01 0.07 0.31 0.00 0.00 0.00 0.06 0.00 0.00
3586.58/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.58/3597.01 c dualfix : 3 0 0 0
3586.58/3597.01 c genvbounds : 0 0 0 0
3586.58/3597.01 c nlobbt : 0 0 0 0
3586.58/3597.01 c obbt : 0 0 0 0
3586.58/3597.01 c probing : 0 0 0 0
3586.58/3597.01 c pseudoobj : 6327 0 0 0
3586.58/3597.01 c redcost : 188 0 0 49
3586.58/3597.01 c rootredcost : 7 0 0 0
3586.58/3597.01 c symmetry : 0 0 0 0
3586.58/3597.01 c vbounds : 6869 0 0 0
3586.58/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.58/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3586.58/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.58/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.58/3597.01 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.58/3597.01 c symmetry : 0.03 0.00 0.02 0.00 0.00 0.00
3586.58/3597.01 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.58/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.58/3597.01 c propagation : 0.00 166 166 - 466 19.4 9 11.9 - - -
3586.58/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.58/3597.01 c bound exceed. LP : 0.55 254 250 - 358 32.6 0 0.0 250 39.2 690
3586.58/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.58/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.58/3597.01 c applied globally : 0.00 - - 0 354 15.2 - - 250 - -
3586.58/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.58/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.58/3597.01 c cut pool : 3.79 - 1233 29 - - 30792 54035 - - - - - (maximal pool size: 5412)
3586.58/3597.01 c aggregation : 2.76 0.00 654 15 0 0 1 1 0 1 1 0 0
3586.58/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.58/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.58/3597.01 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
3586.58/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c clique : 0.07 0.00 15 15 0 0 2 2 0 2 2 0 0
3586.58/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c gomory : 29.76 0.00 549 10 0 0 29201 42773 0 1814 1814 0 0
3586.58/3597.01 c > gomorymi : - - - - - - - 11909 0 26 26 0 -
3586.58/3597.01 c > strongcg : - - - - - - - 30864 0 1788 1788 0 -
3586.58/3597.01 c impliedbounds : 0.08 0.00 654 15 0 0 100 261 0 154 154 0 0
3586.58/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c multilinear : 0.00 0.00 90 15 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.58/3597.01 c zerohalf : 11.28 0.00 554 15 0 0 1488 10998 0 2103 2103 0 0
3586.58/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.58/3597.01 c hybrid : 0.24 0.00 806 15 4291 0 50152 95 0 2185
3586.58/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.58/3597.01 c problem variables: 0.00 - 0 0
3586.58/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.58/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c relpscost : 19.79 0.00 916 0 0 0 0 0 0 1832
3586.58/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.58/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.58/3597.01 c LP solutions : 0.00 - - 0 0
3586.58/3597.01 c relax solutions : 0.00 - - 0 0
3586.58/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.58/3597.01 c strong branching : 0.00 - - 0 0
3586.58/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c adaptivediving : 13.54 0.00 6 0 0
3586.58/3597.01 c alns : 0.40 0.00 5 0 0
3586.58/3597.01 c bound : 0.00 0.00 0 0 0
3586.58/3597.01 c clique : 0.04 0.00 1 0 0
3586.58/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c completesol : 0.00 0.00 0 0 0
3586.58/3597.01 c conflictdiving : 6.40 0.00 3 0 0
3586.58/3597.01 c crossover : 0.09 0.00 1 1 0
3586.58/3597.01 c dins : 0.00 0.00 0 0 0
3586.58/3597.01 c distributiondivin: 3.51 0.00 3 0 0
3586.58/3597.01 c dks : 0.00 0.00 0 0 0
3586.58/3597.01 c dps : 0.00 0.00 0 0 0
3586.58/3597.01 c dualval : 0.00 0.00 0 0 0
3586.58/3597.01 c farkasdiving : 64.48 0.00 4 1 1
3586.58/3597.01 c feaspump : 10.95 0.00 1 1 0
3586.58/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.58/3597.01 c fracdiving : 7.66 0.00 3 0 0
3586.58/3597.01 c gins : 0.22 0.00 3 0 0
3586.58/3597.01 c guideddiving : 7.66 0.00 3 0 0
3586.58/3597.01 c indicator : 0.00 0.00 0 0 0
3586.58/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.58/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.58/3597.01 c linesearchdiving : 9.57 0.00 3 0 0
3586.58/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.58/3597.01 c locks : 0.03 0.00 1 0 0
3586.58/3597.01 c lpface : 0.00 0.00 0 0 0
3586.58/3597.01 c mpec : 0.00 0.00 0 0 0
3586.58/3597.01 c multistart : 0.00 0.00 0 0 0
3586.58/3597.01 c mutation : 0.00 0.00 0 0 0
3586.58/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.58/3597.01 c objpscostdiving : 55.45 0.00 2 2 0
3586.58/3597.01 c octane : 0.00 0.00 0 0 0
3586.58/3597.01 c ofins : 0.00 0.00 0 0 0
3586.58/3597.01 c oneopt : 0.03 0.00 9 2 2
3586.58/3597.01 c padm : 0.00 0.00 0 0 0
3586.58/3597.01 c proximity : 0.00 0.00 0 0 0
3586.58/3597.01 c pscostdiving : 14.04 0.00 4 0 0
3586.58/3597.01 c randrounding : 0.87 0.00 39 1 0
3586.58/3597.01 c rens : 0.00 0.00 0 0 0
3586.58/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.58/3597.01 c repair : 0.00 0.00 0 0 0
3586.58/3597.01 c rins : 0.00 0.00 0 0 0
3586.58/3597.01 c rootsoldiving : 13.92 0.00 2 2 0
3586.58/3597.01 c rounding : 1.56 0.00 1727 7 7
3586.58/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.58/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3586.58/3597.01 c shifting : 1.39 0.00 708 1 1
3586.58/3597.01 c simplerounding : 0.00 0.00 1766 0 0
3586.58/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.58/3597.01 c trivial : 0.01 0.00 2 3 1
3586.58/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.58/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.58/3597.01 c trysol : 0.00 0.00 0 0 0
3586.58/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.58/3597.01 c undercover : 0.00 0.00 1 0 0
3586.58/3597.01 c vbounds : 0.14 0.00 1 1 1
3586.58/3597.01 c veclendiving : 8.45 0.00 3 0 0
3586.58/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.58/3597.01 c zirounding : 1.98 0.00 916 0 0
3586.58/3597.01 c other solutions : - - - 0 -
3586.58/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.58/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.58/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.58/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.58/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.58/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.58/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.58/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.58/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.58/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.58/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.58/3597.01 c primal LP : 0.77 266 0 0.00 0.00 0.77 266
3586.58/3597.01 c dual LP : 3300.63 2569 7448355 2944.01 2256.65 0.12 39
3586.58/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.58/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.58/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.58/3597.01 c diving/probing LP: 214.50 454 374867 825.70 1747.66
3586.58/3597.01 c strong branching : 19.27 33 33000 1000.00 1712.70 - - 66
3586.58/3597.01 c (at root node) : - 33 33000 1000.00 -
3586.58/3597.01 c conflict analysis: 0.47 81 690 8.52 1464.09
3586.58/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.58/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3586.58/3597.01 c B&B Tree :
3586.58/3597.01 c number of runs : 1
3586.58/3597.01 c nodes : 1766 (916 internal, 850 leaves)
3586.58/3597.01 c feasible leaves : 0
3586.58/3597.01 c infeas. leaves : 42
3586.58/3597.01 c objective leaves : 807
3586.58/3597.01 c nodes (total) : 1766 (916 internal, 850 leaves)
3586.58/3597.01 c nodes left : 54
3586.58/3597.01 c max depth : 26
3586.58/3597.01 c max depth (total): 26
3586.58/3597.01 c backtracks : 444 (25.1%)
3586.58/3597.01 c early backtracks : 0 (0.0%)
3586.58/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.58/3597.01 c delayed cutoffs : 8
3586.58/3597.01 c repropagations : 164 (232 domain reductions, 2 cutoffs)
3586.58/3597.01 c avg switch length: 2.93
3586.58/3597.01 c switching time : 1.12
3586.58/3597.01 c Root Node :
3586.58/3597.01 c First LP value : -1.88407276995305e+02
3586.58/3597.01 c First LP Iters : 11899 (2337.06 Iter/sec)
3586.58/3597.01 c First LP Time : 5.09
3586.58/3597.01 c Final Dual Bound : -1.52101696379215e+02
3586.58/3597.01 c Final Root Iters : 100840
3586.58/3597.01 c Root LP Estimate : +2.85940075534534e+01
3586.58/3597.01 c Solution :
3586.58/3597.01 c Solutions found : 22 (13 improvements)
3586.58/3597.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
3586.58/3597.01 c Gap First Sol. : infinite
3586.58/3597.01 c Gap Last Sol. : 84.77 %
3586.58/3597.01 c Primal Bound : -7.60000000000000e+01 (in run 1, after 365 nodes, 932.81 seconds, depth 26, found by <rounding>)
3586.58/3597.01 c Dual Bound : -1.22218750000000e+02
3586.58/3597.01 c Gap : 60.81 %
3586.58/3597.01 c Integrals : Total Avg%
3586.58/3597.01 c primal-dual : 167890.70 46.68
3586.58/3597.01 c primal-ref : - - (not evaluated)
3586.58/3597.01 c dual-ref : - - (not evaluated)
3586.77/3597.22 c Time complete (sec): 3586.799
OK -76
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: 63665 MiB (62389 MiB free)
memory of node 1: 64507 MiB (56975 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499729-1751410197/watcher-4499729-1751410197 -o /tmp/evaluation-result-4499729-1751410197/solver-4499729-1751410197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62870 --watchdog 3760 pbsolver -f HOME/instance-4499729-1751410197.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=63952, runsolver pid=63949
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.11 4.12 4.09 5/264 63953
/proc/meminfo: memFree=122181148/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=65080 memory=54832 CPUtime=0.09 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 11608 0 0 0 8 1 0 0 20 0 1 0 56697584 66641920 13708 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 16270 13708 2400 2575 0 13177 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65080 KiB
Current children cumulated memory: 54832 KiB
[startup+0.205673 s]*
/proc/loadavg: 4.11 4.12 4.09 5/264 63953
/proc/meminfo: memFree=122165020/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=82528 memory=71884 CPUtime=0.2 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 18653 0 0 0 18 2 0 0 20 0 1 0 56697584 84508672 17939 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 20632 17939 2496 2575 0 17539 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82528 KiB
Current children cumulated memory: 71884 KiB
[startup+0.305691 s]*
/proc/loadavg: 4.11 4.12 4.09 5/264 63953
/proc/meminfo: memFree=122165020/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=79588 memory=69824 CPUtime=0.3 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 18889 0 0 0 28 2 0 0 20 0 1 0 56697584 81498112 17456 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 19897 17456 2496 2575 0 16804 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79588 KiB
Current children cumulated memory: 69824 KiB
[startup+0.700135 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 63953
/proc/meminfo: memFree=122133016/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=147488 memory=134268 CPUtime=0.69 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 35149 0 0 0 64 5 0 0 20 0 1 0 56697584 151027712 33567 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 36872 33567 2688 2575 0 33779 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 147488 KiB
Current children cumulated memory: 134268 KiB
[startup+1.50013 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 63953
/proc/meminfo: memFree=122101012/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=147488 memory=134268 CPUtime=1.49 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 35154 0 0 0 144 5 0 0 20 0 1 0 56697584 151027712 33567 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 36872 33567 2688 2575 0 33779 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 147488 KiB
Current children cumulated memory: 134268 KiB
[startup+3.10521 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 63953
/proc/meminfo: memFree=122101448/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=147488 memory=134268 CPUtime=3.09 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 35154 0 0 0 304 5 0 0 20 0 1 0 56697584 151027712 33567 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 36872 33567 2688 2575 0 33779 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147488 KiB
Current children cumulated memory: 134268 KiB
[startup+6.30013 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 63953
/proc/meminfo: memFree=122104300/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=147488 memory=134652 CPUtime=6.27 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 35332 0 0 0 622 5 0 0 20 0 1 0 56697584 151027712 33663 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 36872 33663 2688 2575 0 33779 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147488 KiB
Current children cumulated memory: 134652 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 63953
/proc/meminfo: memFree=122104804/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=147488 memory=135932 CPUtime=12.65 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 35653 0 0 0 1260 5 0 0 20 0 1 0 56697584 151027712 33983 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 36872 33983 2688 2575 0 33779 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 147488 KiB
Current children cumulated memory: 135932 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 63954
/proc/meminfo: memFree=122069488/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=183204 memory=161788 CPUtime=25.42 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 42112 0 0 0 2536 6 0 0 20 0 1 0 56697584 187600896 40447 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 45801 40447 2688 2575 0 42708 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 183204 KiB
Current children cumulated memory: 161788 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 63955
/proc/meminfo: memFree=122040412/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=230020 memory=190204 CPUtime=50.95 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 49221 0 0 0 5087 8 0 0 20 0 1 0 56697584 235540480 47551 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 57505 47551 2688 2575 0 54412 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 230020 KiB
Current children cumulated memory: 190204 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 63958
/proc/meminfo: memFree=121986292/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=250448 memory=210960 CPUtime=102 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 56844 0 0 0 10191 9 0 0 20 0 1 0 56697584 256458752 52740 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 62612 52740 2688 2575 0 59519 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 250448 KiB
Current children cumulated memory: 210960 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 63967
/proc/meminfo: memFree=121968692/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=250448 memory=210960 CPUtime=161.84 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 56844 0 0 0 16174 10 0 0 20 0 1 0 56697584 256458752 52740 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 62612 52740 2688 2575 0 59519 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 250448 KiB
Current children cumulated memory: 210960 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 63969
/proc/meminfo: memFree=121948792/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=262272 memory=220304 CPUtime=221.66 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 58300 0 0 0 22156 10 0 0 20 0 1 0 56697584 268566528 55076 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 65568 55076 2688 2575 0 62475 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 262272 KiB
Current children cumulated memory: 220304 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 63972
/proc/meminfo: memFree=121959048/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=278600 memory=235536 CPUtime=281.5 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 59401 0 0 0 28140 10 0 0 20 0 1 0 56697584 285286400 58884 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 69650 58884 2688 2575 0 66557 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 278600 KiB
Current children cumulated memory: 235536 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 63974
/proc/meminfo: memFree=121914376/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=299672 memory=284816 CPUtime=341.34 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 61524 0 0 0 34124 10 0 0 20 0 1 0 56697584 306864128 71204 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 74918 71204 2688 2575 0 71825 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 299672 KiB
Current children cumulated memory: 284816 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 63977
/proc/meminfo: memFree=121891728/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=338560 memory=309392 CPUtime=401.19 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 65868 0 0 0 40108 11 0 0 20 0 1 0 56697584 346685440 77348 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 84640 77348 2688 2575 0 81547 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 338560 KiB
Current children cumulated memory: 309392 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 63980
/proc/meminfo: memFree=121851796/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=353916 memory=320528 CPUtime=461.04 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 68806 0 0 0 46092 12 0 0 20 0 1 0 56697584 362409984 80132 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 88479 80132 2688 2575 0 85386 0
################
# More data... #
################
/proc/loadavg: 4.16 4.12 4.09 5/266 64181
/proc/meminfo: memFree=120255236/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=514172 memory=484112 CPUtime=3153.19 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 107739 0 0 0 315301 18 0 0 20 0 1 0 56697584 526512128 121028 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 128543 121028 2688 2575 0 125450 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 514172 KiB
Current children cumulated memory: 484112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/266 64184
/proc/meminfo: memFree=120255100/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=514172 memory=484112 CPUtime=3213 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 107740 0 0 0 321282 18 0 0 20 0 1 0 56697584 526512128 121028 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 128543 121028 2688 2575 0 125450 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 514172 KiB
Current children cumulated memory: 484112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 64186
/proc/meminfo: memFree=120251140/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=520936 memory=486176 CPUtime=3272.82 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 107746 0 0 0 327264 18 0 0 20 0 1 0 56697584 533438464 121544 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130234 121544 2688 2575 0 127141 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 520936 KiB
Current children cumulated memory: 486176 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 64188
/proc/meminfo: memFree=120251040/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=520936 memory=486176 CPUtime=3332.63 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 107748 0 0 0 333245 18 0 0 20 0 1 0 56697584 533438464 121544 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130234 121544 2688 2575 0 127141 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 520936 KiB
Current children cumulated memory: 486176 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 64234
/proc/meminfo: memFree=120168888/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=520936 memory=486176 CPUtime=3392.45 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 107749 0 0 0 339227 18 0 0 20 0 1 0 56697584 533438464 121544 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130234 121544 2688 2575 0 127141 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 520936 KiB
Current children cumulated memory: 486176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 64282
/proc/meminfo: memFree=119830916/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=520936 memory=486176 CPUtime=3452.27 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 107932 0 0 0 345209 18 0 0 20 0 1 0 56697584 533438464 121544 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130234 121544 2688 2575 0 127141 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 520936 KiB
Current children cumulated memory: 486176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 64330
/proc/meminfo: memFree=119766736/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=520936 memory=486176 CPUtime=3512.09 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 107937 0 0 0 351191 18 0 0 20 0 1 0 56697584 533438464 121544 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130234 121544 2688 2575 0 127141 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 520936 KiB
Current children cumulated memory: 486176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 64377
/proc/meminfo: memFree=119863468/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=521960 memory=486944 CPUtime=3571.92 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 108136 0 0 0 357174 18 0 0 20 0 1 0 56697584 534487040 121736 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130490 121736 2688 2575 0 127397 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 521960 KiB
Current children cumulated memory: 486944 KiB
[startup+3597.22 s]
# the end of solver process 63952 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.62 s, system=0.185443 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/265 64377
/proc/meminfo: memFree=119863468/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=521960 memory=486944 CPUtime=3573.62 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 108136 0 0 0 357344 18 0 0 20 0 1 0 56697584 534487040 121736 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130490 121736 2688 2575 0 127397 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 521960 KiB
Current children cumulated memory: 486944 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.13 4.09 5/265 64378
/proc/meminfo: memFree=119862760/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=521960 memory=486944 CPUtime=3579.99 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 108136 0 0 0 357981 18 0 0 20 0 1 0 56697584 534487040 121736 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130490 121736 2688 2575 0 127397 0
Current children cumulated CPU time: 3579.99 s
Current children cumulated vsize: 521960 KiB
Current children cumulated memory: 486944 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.13 4.09 5/265 64378
/proc/meminfo: memFree=119862760/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=521960 memory=486944 CPUtime=3583.18 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 108136 0 0 0 358300 18 0 0 20 0 1 0 56697584 534487040 121736 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130490 121736 2688 2575 0 127397 0
Current children cumulated CPU time: 3583.18 s
Current children cumulated vsize: 521960 KiB
Current children cumulated memory: 486944 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 64378
/proc/meminfo: memFree=119849872/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=521960 memory=486944 CPUtime=3584.78 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 108136 0 0 0 358460 18 0 0 20 0 1 0 56697584 534487040 121736 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130490 121736 2688 2575 0 127397 0
Current children cumulated CPU time: 3584.78 s
Current children cumulated vsize: 521960 KiB
Current children cumulated memory: 486944 KiB
[startup+3596 s]*
/proc/loadavg: 4.15 4.13 4.09 5/265 64378
/proc/meminfo: memFree=119858564/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=521960 memory=486944 CPUtime=3585.58 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 108136 0 0 0 358540 18 0 0 20 0 1 0 56697584 534487040 121736 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130490 121736 2688 2575 0 127397 0
Current children cumulated CPU time: 3585.58 s
Current children cumulated vsize: 521960 KiB
Current children cumulated memory: 486944 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 64378
/proc/meminfo: memFree=119858564/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=521960 memory=486944 CPUtime=3586.37 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 108136 0 0 0 358619 18 0 0 20 0 1 0 56697584 534487040 121736 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130490 121736 2688 2575 0 127397 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 521960 KiB
Current children cumulated memory: 486944 KiB
[startup+3597.2 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 64378
/proc/meminfo: memFree=119859444/131249996 swapFree=33010684/33010684
[pid=63952] ppid=63949 vsize=521960 memory=486944 CPUtime=3586.77 cores=5,7
/proc/63952/stat : 63952 (pbsolver) R 63949 63952 62857 0 -1 4194304 108143 0 0 0 358659 18 0 0 20 0 1 0 56697584 534487040 121736 18446744073709551615 4198400 14743177 140727035555232 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 30126080 140727035558282 140727035558378 140727035558378 140727035563980 0
/proc/63952/statm: 130490 121736 2688 2575 0 127397 0
Current children cumulated CPU time: 3586.77 s
Current children cumulated vsize: 521960 KiB
Current children cumulated memory: 486944 KiB
Child status: 0
Real time (s): 3597.22
CPU time (s): 3586.8
CPU user time (s): 3586.62
CPU system time (s): 0.185443
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 521960
Max. memory (cumulated for all children) (KiB): 486944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.62
system time used= 0.185443
maximum resident set size= 499588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108167
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= 30
involuntary context switches= 1581
# summary of solver processes directly reported to runsolver:
# pid: 63952
# total CPU time (s): 3586.8
# total CPU user time (s): 3586.62
# total CPU system time (s): 0.185443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78208 second user time and 16.1705 second system time
The end
Begin job on nodeC024 at 2025-07-02 00:49:57 IDJOB=4499729 IDBENCH=148790 IDSOLVER=3366 FILE ID=nodeC024/4499729-1751410197 RUNJOBID= nodeC024-1751406326-62870 SLURM_JOB_ID= 9598297 Free space on /tmp= 432928 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499729-1751410197/watcher-4499729-1751410197 -o /tmp/evaluation-result-4499729-1751410197/solver-4499729-1751410197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62870 --watchdog 3760 pbsolver -f HOME/instance-4499729-1751410197.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 978367cd1c9fef669a4594b21e9c8b5c RANDOM SEED=797843382 nodeC024 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 : 3599.678 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.682 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.049 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3608.829 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.702 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3598.803 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.675 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 122228900 kB MemAvailable: 128955668 kB Buffers: 3280 kB Cached: 7495576 kB SwapCached: 0 kB Active: 1079232 kB Inactive: 7238428 kB Active(anon): 836868 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 7238428 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15564 kB Writeback: 96 kB AnonPages: 821868 kB Mapped: 137124 kB Shmem: 18064 kB KReclaimable: 170032 kB Slab: 260708 kB SReclaimable: 170032 kB SUnreclaim: 90676 kB KernelStack: 4272 kB PageTables: 4732 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1220952 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 415744 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432900 MiB End job on nodeC024 at 2025-07-02 01:49:54