Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | MSAT | 3591.79 | 3606.73 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo |
| MD5SUM | d209bb579b31e9f057bcb8dfc272a731 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 16.5066 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1764 |
| Total number of constraints | 1321572 |
| Number of soft constraints | 1321523 |
| Number of constraints which are clauses | 1321523 |
| Number of constraints which are cardinality constraints (but not clauses) | 49 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 36 |
| Top cost | 38 |
| Min constraint cost | 1 |
| Max constraint cost | 38 |
| Sum of constraints costs | 50169959 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 37 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4456602-1721722352.wbo>
5.77/5.85 c original problem has 1323287 variables (1323287 bin, 0 int, 0 impl, 0 cont) and 2643096 constraints
5.77/5.85 c problem read in 5.85
24.42/24.55 c presolving:
33.68/33.83 c (round 1, fast) 2640456 del vars, 1320228 del conss, 0 add conss, 2640456 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1295 impls, 49 clqs
35.08/35.27 c (round 2, fast) 2640456 del vars, 1320228 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1295 impls, 49 clqs
38.07/38.20 c (round 3, exhaustive) 2640456 del vars, 1320228 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 49 clqs
44.45/44.60 c (round 4, exhaustive) 2640481 del vars, 1320228 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 100 clqs
48.95/49.12 c (round 5, exhaustive) 2640506 del vars, 1320228 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 152 clqs
53.33/53.55 c (round 6, exhaustive) 2640531 del vars, 1320253 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 202 clqs
57.62/57.84 c (round 7, exhaustive) 2640556 del vars, 1320278 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 243 clqs
61.82/62.06 c (round 8, exhaustive) 2640581 del vars, 1320303 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 285 clqs
66.00/66.21 c (round 9, exhaustive) 2640606 del vars, 1320328 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 330 clqs
69.99/70.27 c (round 10, exhaustive) 2640631 del vars, 1320353 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 369 clqs
74.08/74.30 c (round 11, exhaustive) 2640656 del vars, 1320378 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 417 clqs
77.97/78.26 c (round 12, exhaustive) 2640681 del vars, 1320403 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 460 clqs
81.86/82.17 c (round 13, exhaustive) 2640706 del vars, 1320428 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 494 clqs
85.76/86.03 c (round 14, exhaustive) 2640731 del vars, 1320453 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 545 clqs
89.54/89.82 c (round 15, exhaustive) 2640756 del vars, 1320478 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 591 clqs
93.23/93.55 c (round 16, exhaustive) 2640781 del vars, 1320503 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 625 clqs
96.92/97.23 c (round 17, exhaustive) 2640806 del vars, 1320528 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 660 clqs
100.51/100.84 c (round 18, exhaustive) 2640831 del vars, 1320553 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 696 clqs
104.01/104.38 c (round 19, exhaustive) 2640856 del vars, 1320578 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 724 clqs
107.50/107.87 c (round 20, exhaustive) 2640881 del vars, 1320603 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 760 clqs
110.90/111.27 c (round 21, exhaustive) 2640906 del vars, 1320628 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 790 clqs
114.28/114.64 c (round 22, exhaustive) 2640931 del vars, 1320653 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 830 clqs
117.58/117.93 c (117.9s) probing: 1000/4354 (23.0%) - 0 fixings, 497 aggregations, 902 implications, 0 bound changes
117.58/117.93 c (round 23, exhaustive) 2640956 del vars, 1320678 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 863 clqs
120.88/121.20 c (round 24, exhaustive) 2640981 del vars, 1320703 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 890 clqs
124.06/124.40 c (round 25, exhaustive) 2641006 del vars, 1320728 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 925 clqs
127.16/127.54 c (round 26, exhaustive) 2641031 del vars, 1320753 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 959 clqs
130.25/130.64 c (round 27, exhaustive) 2641056 del vars, 1320778 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 980 clqs
133.24/133.64 c (round 28, exhaustive) 2641081 del vars, 1320803 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 999 clqs
136.13/136.56 c (round 29, exhaustive) 2641106 del vars, 1320828 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1025 clqs
139.03/139.42 c (round 30, exhaustive) 2641131 del vars, 1320853 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1055 clqs
141.73/142.16 c (round 31, exhaustive) 2641156 del vars, 1320878 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1074 clqs
144.41/144.82 c (round 32, exhaustive) 2641181 del vars, 1320903 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1098 clqs
147.01/147.42 c (round 33, exhaustive) 2641206 del vars, 1320928 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1121 clqs
149.50/149.92 c (round 34, exhaustive) 2641231 del vars, 1320953 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1138 clqs
151.89/152.36 c (round 35, exhaustive) 2641256 del vars, 1320978 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1162 clqs
154.29/154.71 c (round 36, exhaustive) 2641281 del vars, 1321003 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1177 clqs
156.48/156.99 c (round 37, exhaustive) 2641306 del vars, 1321028 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1197 clqs
158.77/159.23 c (round 38, exhaustive) 2641331 del vars, 1321053 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1214 clqs
160.97/161.42 c (round 39, exhaustive) 2641356 del vars, 1321078 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1228 clqs
163.06/163.55 c (round 40, exhaustive) 2641381 del vars, 1321103 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1241 clqs
165.15/165.63 c (round 41, exhaustive) 2641406 del vars, 1321128 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1255 clqs
167.15/167.65 c (round 42, exhaustive) 2641431 del vars, 1321153 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1269 clqs
169.14/169.61 c (round 43, exhaustive) 2641456 del vars, 1321178 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1283 clqs
171.04/171.50 c (171.5s) probing: 2000/4354 (45.9%) - 0 fixings, 1010 aggregations, 1615 implications, 0 bound changes
171.04/171.52 c (round 44, exhaustive) 2641481 del vars, 1321203 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1294 clqs
172.84/173.35 c (round 45, exhaustive) 2641506 del vars, 1321228 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1308 clqs
174.54/175.10 c (round 46, exhaustive) 2641531 del vars, 1321253 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1316 clqs
176.23/176.78 c (round 47, exhaustive) 2641556 del vars, 1321278 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1321 clqs
177.82/178.38 c (round 48, exhaustive) 2641581 del vars, 1321303 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1328 clqs
179.42/179.90 c (round 49, exhaustive) 2641606 del vars, 1321328 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1329 clqs
180.81/181.35 c (round 50, exhaustive) 2641631 del vars, 1321353 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1334 clqs
182.21/182.75 c (round 51, exhaustive) 2641656 del vars, 1321378 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1336 clqs
183.51/184.09 c (round 52, exhaustive) 2641681 del vars, 1321403 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1343 clqs
184.80/185.38 c (round 53, exhaustive) 2641706 del vars, 1321428 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1343 clqs
185.60/186.15 c (round 54, exhaustive) 2641731 del vars, 1321453 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1344 clqs
186.80/187.31 c (187.3s) probing: 2638/4354 (60.6%) - 0 fixings, 1295 aggregations, 1929 implications, 0 bound changes
186.80/187.31 c (187.3s) probing aborted: 50/50 successive totally useless probings
186.80/187.31 c (round 55, exhaustive) 2641751 del vars, 1321478 del conss, 0 add conss, 2641751 chg bounds, 0 chg sides, 0 chg coeffs, 1320278 upgd conss, 1295 impls, 1344 clqs
187.50/188.06 c (188.1s) probing: 2643/4354 (60.7%) - 0 fixings, 1295 aggregations, 1929 implications, 0 bound changes
187.50/188.06 c (188.1s) probing aborted: 50/50 successive totally useless probings
187.50/188.06 c (188.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
191.08/191.63 c (191.6s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 1.95)
191.08/191.63 c dynamic symmetry handling statistics:
191.08/191.63 c orbitopal reduction: no components
191.08/191.63 c orbital reduction: no components
191.08/191.63 c lexicographic reduction: 1 permutations with support sizes 72
191.08/191.63 c handled 1 out of 1 symmetry components
198.16/198.75 c presolving (56 rounds: 56 fast, 54 medium, 54 exhaustive):
198.16/198.75 c 2641751 deleted vars, 1321503 deleted constraints, 0 added constraints, 2641751 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
198.16/198.75 c 1295 implications, 1344 cliques
198.16/198.75 c presolved problem has 3059 variables (3059 bin, 0 int, 0 impl, 0 cont) and 1321593 constraints
198.16/198.75 c 1 constraints of type <knapsack>
198.16/198.75 c 49 constraints of type <setppc>
198.16/198.75 c 1295 constraints of type <linear>
198.16/198.75 c 1320228 constraints of type <logicor>
198.16/198.75 c 20 constraints of type <indicator>
198.16/198.75 c transformed objective value is always integral (scale: 1)
198.16/198.75 c Presolving Time: 188.49
198.16/198.75 c - non default parameters ----------------------------------------------------------------------
198.16/198.75 c # SCIP version 10.0.0
198.16/198.75 c
198.16/198.75 c # maximal time in seconds to run
198.16/198.75 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
198.16/198.75 c limits/time = 3596.998006
198.16/198.75 c
198.16/198.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
198.16/198.75 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
198.16/198.75 c limits/memory = 27900
198.16/198.75 c
198.16/198.75 c # belongs reading time to solving time?
198.16/198.75 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
198.16/198.75 c timing/reading = TRUE
198.16/198.75 c
198.16/198.75 c -----------------------------------------------------------------------------------------------
198.16/198.75 c start solving
198.26/198.84 c
200.36/200.99 o 35
200.36/200.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
200.36/200.99 c p 201s| 1 | 0 | 0 | - | clique| 0 |3059 |1321k|1321k| 0 | 0 | 0 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
206.14/206.78 c 207s| 1 | 0 | 1055 | - | 9809M | 0 |3059 |1321k|1321k| 0 | 0 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
332.41/333.40 c 333s| 1 | 0 | 1061 | - | 9958M | 0 |3059 |1321k|1321k| 4 | 1 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
479.53/481.19 c 481s| 1 | 0 | 1068 | - | 10G | 0 |3059 |1321k|1321k| 7 | 2 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
635.62/637.93 c 638s| 1 | 0 | 1072 | - | 10G | 0 |3059 |1321k|1321k| 10 | 3 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
755.94/758.70 c 759s| 1 | 0 | 1078 | - | 10G | 0 |3059 |1321k|1321k| 13 | 4 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
876.77/880.06 c 880s| 1 | 0 | 1086 | - | 10G | 0 |3059 |1321k|1321k| 16 | 5 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
997.20/1000.91 c 1001s| 1 | 0 | 1091 | - | 10G | 0 |3059 |1321k|1321k| 21 | 6 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
1124.45/1128.71 c 1129s| 1 | 0 | 1096 | - | 10G | 0 |3059 |1321k|1321k| 25 | 7 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
1248.34/1253.29 c 1253s| 1 | 0 | 1103 | - | 10G | 0 |3059 |1321k|1321k| 29 | 8 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
1404.44/1410.07 c 1410s| 1 | 0 | 1115 | - | 11G | 0 |3059 |1321k|1321k| 33 | 9 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
1542.92/1549.14 c 1549s| 1 | 0 | 1124 | - | 11G | 0 |3059 |1321k|1321k| 39 | 10 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
1543.71/1549.99 c 1550s| 1 | 0 | 1132 | - | 11G | 0 |3059 |1321k|1321k| 42 | 11 | 34 | 0 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
1565.54/1571.85 c 1572s| 1 | 2 | 4436 | - | 11G | 0 |3059 |1321k|1321k| 42 | 11 | 50 | 12 | 0.000000e+00 | 3.500000e+01 | Inf | unknown
1682.58/1689.40 o 13
1682.58/1689.40 c r1689s| 11 | 10 | 5876 | 474.4 |shifting| 10 |3059 |1321k|1321k| 42 | 0 | 204 | 298 | 0.000000e+00 | 1.300000e+01 | Inf | unknown
1722.16/1729.25 o 12
1722.16/1729.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1722.16/1729.25 c i1729s| 11 | 10 | 5914 | 478.2 | oneopt| 10 |3059 |1321k|1321k| 44 | 1 | 204 | 298 | 0.000000e+00 | 1.200000e+01 | Inf | unknown
1744.18/1751.36 o 8
1744.18/1751.36 c r1751s| 12 | 11 | 5933 | 436.5 |rounding| 11 |3059 |1321k|1321k| 46 | 0 | 204 | 301 | 0.000000e+00 | 8.000000e+00 | Inf | unknown
3259.29/3272.63 o 7
3259.29/3272.63 c *3273s| 25 | 14 | 8766 | 318.1 |strongbr| 12 |3059 |1321k|1321k| 69 | 1 | 498 | 606 | 0.000000e+00 | 7.000000e+00 | Inf | 3.19%
3582.08/3597.00 c
3582.08/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3582.08/3597.00 c Solving Time (sec) : 3597.00
3582.08/3597.00 c Solving Nodes : 50
3582.08/3597.00 c Primal Bound : +7.00000000000000e+00 (5 solutions)
3582.08/3597.00 c Dual Bound : +0.00000000000000e+00
3582.08/3597.00 c Gap : infinite
3583.87/3598.82 s SATISFIABLE
3583.87/3598.89 v -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746
3583.87/3598.89 v -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728
3583.87/3598.89 v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710
3583.87/3598.89 v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693
3583.87/3598.89 v -x1692 x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675
3583.87/3598.89 v -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657
3583.87/3598.89 v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639
3583.87/3598.89 v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621
3583.87/3598.89 v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603
3583.87/3598.89 v -x1602 x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585
3583.87/3598.89 v -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567
3583.87/3598.89 v -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549
3583.87/3598.89 v x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531
3583.87/3598.89 v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513
3583.87/3598.89 v -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495
3583.87/3598.89 v -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477
3583.87/3598.89 v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 x1461 -x1460 -x1459
3583.87/3598.89 v -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442
3583.87/3598.89 v -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424
3583.87/3598.89 v -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 x1409 -x1408 -x1407 -x1406
3583.87/3598.89 v -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388
3583.87/3598.89 v -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370
3583.87/3598.89 v -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352
3583.87/3598.89 v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 x1337 -x1336 -x1335 -x1334
3583.87/3598.89 v -x1333 -x1332 -x1331 -x1330 -x1329 x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316
3583.87/3598.89 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298
3583.87/3598.89 v -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 -x1281 -x1280
3583.87/3598.89 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262
3583.87/3598.89 v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244
3583.87/3598.89 v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 x1227 -x1226
3583.87/3598.89 v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209
3583.87/3598.89 v -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191
3583.87/3598.89 v -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 x1173
3583.87/3598.89 v -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155
3583.87/3598.89 v -x1154 -x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
3583.87/3598.89 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119
3583.87/3598.89 v -x1118 -x1117 -x1116 x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101
3583.87/3598.89 v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
3583.87/3598.89 v -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
3583.87/3598.89 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047
3583.87/3598.89 v -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029
3583.87/3598.89 v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011
3583.87/3598.89 v -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992
3583.87/3598.89 v -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971
3583.87/3598.89 v -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950
3583.87/3598.89 v -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
3583.87/3598.89 v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909
3583.87/3598.89 v -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888
3583.87/3598.89 v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867
3583.87/3598.89 v -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846
3583.87/3598.89 v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825
3583.87/3598.89 v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804
3583.87/3598.89 v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783
3583.87/3598.89 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
3583.87/3598.89 v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741
3583.87/3598.89 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720
3583.87/3598.89 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699
3583.87/3598.89 v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
3583.87/3598.89 v x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
3583.87/3598.89 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637
3583.87/3598.89 v -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616
3583.87/3598.89 v -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595
3583.87/3598.89 v -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574
3583.87/3598.89 v -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
3583.87/3598.89 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
3583.87/3598.89 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
3583.87/3598.89 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
3583.87/3598.89 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469
3583.87/3598.89 v -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
3583.87/3598.89 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427
3583.87/3598.89 v x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
3583.87/3598.89 v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385
3583.87/3598.89 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364
3583.87/3598.89 v -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
3583.87/3598.89 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
3583.87/3598.89 v -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
3583.87/3598.89 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
3583.87/3598.89 v x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
3583.87/3598.89 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
3583.87/3598.89 v -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
3583.87/3598.89 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
3583.87/3598.89 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176
3583.87/3598.89 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
3583.87/3598.89 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
3583.87/3598.89 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
3583.87/3598.89 v -x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
3583.87/3598.89 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66
3583.87/3598.89 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
3583.87/3598.89 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
3583.87/3598.89 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3583.87/3598.89 c SCIP Status : solving was interrupted [time limit reached]
3583.87/3598.89 c Total Time : 3597.00
3583.87/3598.89 c solving : 3597.00
3583.87/3598.89 c presolving : 188.49 (included in solving)
3583.87/3598.89 c reading : 5.85 (included in solving)
3583.87/3598.89 c copying : 3.03 (2 #copies) (minimal 1.49, maximal 1.54, average 1.52)
3583.87/3598.89 c Original Problem :
3583.87/3598.89 c Problem name : HOME/instance-4456602-1721722352.wbo
3583.87/3598.89 c Variables : 1323287 (1323287 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.87/3598.89 c Constraints : 2643096 initial, 2643096 maximal
3583.97/3598.93 c Objective : minimize, 1321523 non-zeros (abs.min = 1, abs.max = 38)
3583.97/3598.93 c Presolved Problem :
3583.97/3598.93 c Problem name : t_HOME/instance-4456602-1721722352.wbo
3583.97/3598.93 c Variables : 3059 (3059 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.97/3598.93 c Constraints : 1321593 initial, 1322532 maximal
3583.97/3598.93 c Objective : minimize, 1295 non-zeros (abs.min = 1, abs.max = 1)
3583.97/3598.93 c Nonzeros : 3966413 constraint, 4398 clique table
3583.97/3598.93 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.97/3598.93 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c domcol : 0.00 0.00 53 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c gateextraction : 14.42 0.00 53 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c implics : 0.00 0.00 54 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c trivial : 0.10 0.00 56 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c dualfix : 0.11 0.00 56 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c probing : 2.01 0.00 53 0 1295 0 0 0 0 0 0 0
3583.97/3598.93 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c symmetry : 3.57 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c vbounds : 0.01 0.00 19 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c knapsack : 0.00 0.02 159 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c setppc : 0.02 0.00 159 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c linear : 9.61 0.17 110 1320228 0 0 1321523 0 0 0 0 0
3583.97/3598.93 c logicor : 133.30 6.95 159 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c indicator : 2.50 0.02 54 1320228 0 0 1320228 0 1321503 0 0 0
3583.97/3598.93 c components : 0.38 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c root node : - - - 0 - - 0 - - - - -
3583.97/3598.93 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.97/3598.93 c benderslp : 0 0 0 0 216 0 0 88 0 0 0 0 0 0 0
3583.97/3598.93 c integral : 0 0 0 0 216 0 0 88 0 1 595 0 0 1072 74
3583.97/3598.93 c knapsack : 1 1 0 16221 0 0 0 82 354 2 0 0 0 0 0
3583.97/3598.93 c setppc : 49+ 71 11 14966 0 0 0 80 1147 355 1070 0 0 0 0
3583.97/3598.93 c linear : 1295 1295 11 14606 0 0 0 71 3092 0 5831 0 0 0 0
3583.97/3598.93 c logicor : 1320228+ 1321145 11 4916 0 0 0 6 18936 98 1816 0 0 0 0
3583.97/3598.93 c benders : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3583.97/3598.93 c indicator : 20 20 21 15775 0 0 0 5 0 0 0 0 0 0 0
3583.97/3598.93 c fixedvar : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3583.97/3598.93 c countsols : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3583.97/3598.93 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.97/3598.93 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c integral : 376.88 0.00 0.00 0.00 376.87 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c knapsack : 0.04 0.02 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c setppc : 0.15 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.10
3583.97/3598.93 c linear : 0.24 0.17 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.01
3583.97/3598.93 c logicor : 19.79 6.95 1.78 4.16 0.00 0.00 0.00 0.36 0.01 6.53
3583.97/3598.93 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c indicator : 0.13 0.02 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c fixedvar : 0.55 0.06 0.00 0.00 0.00 0.00 0.00 0.49 0.00 0.00
3583.97/3598.93 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.97/3598.93 c dualfix : 2 0 0 0
3583.97/3598.93 c genvbounds : 0 0 0 0
3583.97/3598.93 c nlobbt : 0 0 0 0
3583.97/3598.93 c obbt : 0 0 0 0
3583.97/3598.93 c probing : 0 0 0 0
3583.97/3598.93 c pseudoobj : 589 0 0 0
3583.97/3598.93 c redcost : 392 0 0 5880
3583.97/3598.93 c rootredcost : 4 0 0 0
3583.97/3598.93 c symmetry : 2253 0 0 1
3583.97/3598.93 c vbounds : 4363 0 0 0
3583.97/3598.93 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.97/3598.93 c dualfix : 0.11 0.00 0.11 0.00 0.00 0.00
3583.97/3598.93 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c probing : 2.01 0.00 2.01 0.00 0.00 0.00
3583.97/3598.93 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3583.97/3598.93 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3598.93 c symmetry : 3.58 0.00 3.57 0.00 0.00 0.01
3583.97/3598.93 c vbounds : 0.02 0.00 0.01 0.00 0.00 0.00
3583.97/3598.93 c Symmetry :
3583.97/3598.93 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.97/3598.93 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.97/3598.93 c lexicographic red: 1 reductions applied, 0 cutoffs
3583.97/3598.93 c shadow tree time : 0.00 s
3583.97/3598.93 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.97/3598.93 c propagation : 0.02 455 455 - 867 20.9 145 33.9 - - -
3583.97/3598.93 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.97/3598.93 c bound exceed. LP : 9.80 103 84 - 264 80.1 5 32.0 0 0.0 377
3583.97/3598.93 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.97/3598.93 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.97/3598.93 c applied globally : 0.01 - - 0 1179 27.8 - - 0 - -
3583.97/3598.93 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.97/3598.93 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.97/3598.93 c cut pool : 0.00 - 41 21 - - 580 724 - - - - - (maximal pool size: 580)
3583.97/3598.93 c aggregation : 1.32 0.00 20 11 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c > cmir : - - - - - - - 0 0 0 0 0 -
3583.97/3598.93 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.97/3598.93 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.97/3598.93 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c clique : 0.07 0.00 11 11 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c gomory : 2914.30 0.00 20 10 0 0 528 658 0 33 33 0 0
3583.97/3598.93 c > gomorymi : - - - - - - - 259 0 5 5 0 -
3583.97/3598.93 c > strongcg : - - - - - - - 399 0 28 28 0 -
3583.97/3598.93 c impliedbounds : 0.00 0.00 21 11 0 0 1 1 0 1 1 0 0
3583.97/3598.93 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c multilinear : 0.00 0.00 60 11 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c rapidlearning : 1.36 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c rlt : 0.00 0.00 13 10 0 0 0 0 0 0 0 0 0
3583.97/3598.93 c zerohalf : 0.92 0.00 20 11 0 0 51 65 0 44 44 0 0
3583.97/3598.93 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.97/3598.93 c hybrid : 0.00 0.00 21 11 78 0 646 42 0 367
3583.97/3598.93 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c Pricers : ExecTime SetupTime Calls Vars
3583.97/3598.93 c problem variables: 0.00 - 0 0
3583.97/3598.93 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.97/3598.93 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c relpscost : 376.87 0.00 216 0 0 1 595 0 1108 74
3583.97/3598.93 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3598.93 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.97/3598.93 c LP solutions : 0.00 - - 0 0
3583.97/3598.93 c relax solutions : 0.00 - - 0 0
3583.97/3598.93 c pseudo solutions : 0.00 - - 0 0
3583.97/3598.93 c strong branching : 0.11 - - 1 1
3583.97/3598.93 c actconsdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c adaptivediving : 0.00 0.00 0 0 0
3583.97/3598.93 c alns : 3.98 0.00 1 0 0
3583.97/3598.93 c bound : 0.00 0.00 0 0 0
3583.97/3598.93 c clique : 2.31 0.00 1 1 1
3583.97/3598.93 c coefdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c completesol : 0.00 0.00 0 0 0
3583.97/3598.93 c conflictdiving : 2.15 0.00 1 0 0
3583.97/3598.93 c crossover : 0.00 0.00 0 0 0
3583.97/3598.93 c dins : 0.00 0.00 0 0 0
3583.97/3598.93 c distributiondivin: 0.02 0.00 0 0 0
3583.97/3598.93 c dps : 0.00 0.00 0 0 0
3583.97/3598.93 c dualval : 0.00 0.00 0 0 0
3583.97/3598.93 c farkasdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c feasjump : 0.00 0.00 0 0 0
3583.97/3598.93 c feaspump : 3.22 0.00 1 0 0
3583.97/3598.93 c fixandinfer : 0.00 0.00 0 0 0
3583.97/3598.93 c fracdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c gins : 0.00 0.00 0 0 0
3583.97/3598.93 c guideddiving : 0.00 0.00 0 0 0
3583.97/3598.93 c indcoefdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c indicator : 0.00 0.00 0 0 0
3583.97/3598.93 c indicatordiving : 0.00 0.00 0 0 0
3583.97/3598.93 c indoneopt : 0.01 0.00 4 0 0
3583.97/3598.93 c indrounding : 0.00 0.00 0 0 0
3583.97/3598.93 c indtwoopt : 0.00 0.00 0 0 0
3583.97/3598.93 c intdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c intshifting : 0.00 0.00 0 0 0
3583.97/3598.93 c linesearchdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c localbranching : 0.00 0.00 0 0 0
3583.97/3598.93 c locks : 0.46 0.00 1 0 0
3583.97/3598.93 c lpface : 0.00 0.00 0 0 0
3583.97/3598.93 c mpec : 0.00 0.00 0 0 0
3583.97/3598.93 c multistart : 0.00 0.00 0 0 0
3583.97/3598.93 c mutation : 0.00 0.00 0 0 0
3583.97/3598.93 c nlpdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c objpscostdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c octane : 0.00 0.00 0 0 0
3583.97/3598.93 c ofins : 0.00 0.00 0 0 0
3583.97/3598.93 c oneopt : 0.48 0.00 4 1 1
3583.97/3598.93 c padm : 0.00 0.00 0 0 0
3583.97/3598.93 c proximity : 0.00 0.00 0 0 0
3583.97/3598.93 c pscostdiving : 0.00 0.00 0 0 0
3583.97/3598.93 c randrounding : 0.60 0.00 12 0 0
3583.97/3598.93 c rens : 3.93 0.00 1 0 0
3583.97/3598.93 c reoptsols : 0.00 0.00 0 0 0
3583.97/3598.93 c repair : 0.00 0.00 0 0 0
3583.97/3598.93 c rins : 0.00 0.00 0 0 0
3583.97/3598.93 c rootsoldiving : 0.00 0.00 0 0 0
3583.97/3598.93 c rounding : 8.30 0.00 242 1 1
3583.97/3598.93 c scheduler : 0.00 0.00 0 0 0
3583.97/3598.93 c shiftandpropagate: 0.00 0.00 0 0 0
3583.97/3598.93 c shifting : 1.60 0.00 25 1 1
3583.97/3598.93 c simplerounding : 0.00 0.00 0 0 0
3583.97/3598.93 c smallcard : 0.00 0.00 0 0 0
3583.97/3598.93 c subnlp : 0.00 0.00 0 0 0
3583.97/3598.93 c trivial : 1.59 0.00 2 0 0
3583.97/3598.93 c trivialnegation : 0.00 0.00 0 0 0
3583.97/3598.93 c trustregion : 0.00 0.00 0 0 0
3583.97/3598.93 c trysol : 0.00 0.00 0 0 0
3583.97/3598.93 c twoopt : 0.00 0.00 0 0 0
3583.97/3598.93 c undercover : 0.00 0.00 0 0 0
3583.97/3598.93 c vbounds : 3.62 0.00 1 0 0
3583.97/3598.93 c veclendiving : 0.00 0.00 0 0 0
3583.97/3598.93 c zeroobj : 0.00 0.00 0 0 0
3583.97/3598.93 c zirounding : 0.21 0.00 37 0 0
3583.97/3598.93 c other solutions : - - - 0 -
3583.97/3598.93 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.97/3598.93 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
3583.97/3598.93 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
3583.97/3598.93 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
3583.97/3598.93 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
3583.97/3598.93 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
3583.97/3598.93 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
3583.97/3598.93 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
3583.97/3598.93 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
3583.97/3598.93 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
3583.97/3598.93 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.97/3598.93 c primal LP : 0.56 6 0 0.00 0.00 0.56 6
3583.97/3598.93 c dual LP : 40.02 259 9673 39.64 241.71 1.65 15
3583.97/3598.93 c lex dual LP : 0.00 0 0 0.00 -
3583.97/3598.93 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.97/3598.93 c resolve instable : 0.00 0 0 0.00 -
3583.97/3598.93 c diving/probing LP: 28.16 67 6903 103.03 245.17
3583.97/3598.93 c strong branching : 204.07 1108 65718 59.31 322.04 - - 106
3583.97/3598.93 c (at root node) : - 12 2928 244.00 -
3583.97/3598.93 c conflict analysis: 8.77 73 377 5.16 43.01
3583.97/3598.93 c B&B Tree :
3583.97/3598.93 c number of runs : 1
3583.97/3598.93 c nodes : 50 (37 internal, 13 leaves)
3583.97/3598.93 c feasible leaves : 0
3583.97/3598.93 c infeas. leaves : 5
3583.97/3598.93 c objective leaves : 7
3583.97/3598.93 c nodes (total) : 50 (37 internal, 13 leaves)
3583.97/3598.93 c nodes left : 24
3583.97/3598.93 c max depth : 12
3583.97/3598.93 c max depth (total): 12
3583.97/3598.93 c backtracks : 4 (8.0%)
3583.97/3598.93 c early backtracks : 0 (0.0%)
3583.97/3598.93 c nodes exc. ref. : 0 (0.0%)
3583.97/3598.93 c delayed cutoffs : 0
3583.97/3598.93 c repropagations : 8 (26 domain reductions, 0 cutoffs)
3583.97/3598.93 c avg switch length: 1.98
3583.97/3598.93 c switching time : 1.66
3583.97/3598.93 c Root Node :
3583.97/3598.93 c First LP value : +0.00000000000000e+00
3583.97/3598.93 c First LP Iters : 1055 (863.06 Iter/sec)
3583.97/3598.93 c First LP Time : 1.22
3583.97/3598.93 c Final Dual Bound : +0.00000000000000e+00
3583.97/3598.93 c Final Root Iters : 1132
3583.97/3598.93 c Root LP Estimate : +2.87824561403516e-03
3583.97/3598.93 c Solution :
3583.97/3598.93 c Solutions found : 5 (5 improvements)
3583.97/3598.93 c First Solution : +3.50000000000000e+01 (in run 1, after 1 nodes, 200.89 seconds, depth 1280, found by <clique>)
3583.97/3598.93 c Gap First Sol. : infinite
3583.97/3598.93 c Gap Last Sol. : infinite
3583.97/3598.93 c Primal Bound : +7.00000000000000e+00 (in run 1, after 25 nodes, 3272.53 seconds, depth 14, found by <relaxation>)
3583.97/3598.93 c Dual Bound : +0.00000000000000e+00
3583.97/3598.93 c Gap : infinite
3583.97/3598.93 c Integrals : Total Avg%
3583.97/3598.93 c primal-dual : 359700.06 100.00
3583.97/3598.93 c primal-ref : - - (not evaluated)
3583.97/3598.93 c dual-ref : - - (not evaluated)
3591.65/3606.64 c Time complete: 3591.69.
OK 7
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (41133 MiB free)
memory of node 1: 64510 MiB (50435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456602-1721722352/watcher-4456602-1721722352 -o /tmp/evaluation-result-4456602-1721722352/solver-4456602-1721722352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88164 --watchdog 3760 pbscip -f HOME/instance-4456602-1721722352.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=91468, runsolver pid=91465
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.10 4.13 4.09 5/256 91469
/proc/meminfo: memFree=93721788/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=100608 memory=60404 CPUtime=0.09 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 12125 0 0 0 9 0 0 0 20 0 1 0 8764467 103022592 15101 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 25152 15101 3281 3540 0 13409 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100608 KiB
Current children cumulated memory: 60404 KiB
[startup+0.205842 s]*
/proc/loadavg: 4.10 4.13 4.09 5/256 91469
/proc/meminfo: memFree=93682644/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=139368 memory=99152 CPUtime=0.2 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 21850 0 0 0 18 2 0 0 20 0 1 0 8764467 142712832 24788 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 34842 24788 3281 3540 0 23099 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 139368 KiB
Current children cumulated memory: 99152 KiB
[startup+0.305768 s]*
/proc/loadavg: 4.10 4.13 4.09 5/256 91469
/proc/meminfo: memFree=93644200/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=177212 memory=136972 CPUtime=0.3 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 31306 0 0 0 27 3 0 0 20 0 1 0 8764467 181465088 34243 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 44303 34243 3281 3540 0 32560 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 177212 KiB
Current children cumulated memory: 136972 KiB
[startup+0.700266 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 91469
/proc/meminfo: memFree=93578816/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=305484 memory=265068 CPUtime=0.69 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 62790 0 0 0 61 8 0 0 20 0 1 0 8764467 312815616 66267 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 76371 66267 3281 3540 0 64628 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 305484 KiB
Current children cumulated memory: 265068 KiB
[startup+1.50024 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 91471
/proc/meminfo: memFree=93413620/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=584616 memory=544036 CPUtime=1.48 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 129997 0 0 0 131 17 0 0 20 0 1 0 8764467 598646784 136009 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 146154 136009 3281 3540 0 134411 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 584616 KiB
Current children cumulated memory: 544036 KiB
[startup+3.10582 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 91471
/proc/meminfo: memFree=92707036/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=1148720 memory=1107652 CPUtime=3.09 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 264282 0 0 0 271 38 0 0 20 0 1 0 8764467 1176289280 276913 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 287180 276913 3281 3540 0 275437 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1148720 KiB
Current children cumulated memory: 1107652 KiB
[startup+6.30024 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 91471
/proc/meminfo: memFree=91613304/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=2500172 memory=2449032 CPUtime=6.27 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 583592 0 0 0 543 84 0 0 20 0 1 0 8764467 2560176128 612258 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 625043 612258 3585 3540 0 613300 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2500172 KiB
Current children cumulated memory: 2449032 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.09 5/256 91472
/proc/meminfo: memFree=88363752/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=5796628 memory=5707016 CPUtime=12.65 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 1253963 0 0 0 1079 186 0 0 20 0 1 0 8764467 5935747072 1426754 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 1449157 1426754 3633 3540 0 1437414 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 5796628 KiB
Current children cumulated memory: 5707016 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 91474
/proc/meminfo: memFree=84713148/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=9118192 memory=9023976 CPUtime=25.41 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 1971429 0 0 0 2252 289 0 0 20 0 1 0 8764467 9337028608 2255994 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2279548 2255994 3633 3540 0 2267805 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 9118192 KiB
Current children cumulated memory: 9023976 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 91479
/proc/meminfo: memFree=84213136/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=9619380 memory=9522372 CPUtime=50.94 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2061863 0 0 0 4787 307 0 0 20 0 1 0 8764467 9850245120 2380593 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2404845 2380593 3697 3540 0 2393102 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 9619380 KiB
Current children cumulated memory: 9522372 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/256 91487
/proc/meminfo: memFree=84211136/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=9619380 memory=9522372 CPUtime=102.01 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2061997 0 0 0 9893 308 0 0 20 0 1 0 8764467 9850245120 2380593 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2404845 2380593 3697 3540 0 2393102 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 9619380 KiB
Current children cumulated memory: 9522372 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 91499
/proc/meminfo: memFree=84210420/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=9619380 memory=9522372 CPUtime=161.86 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2062179 0 0 0 15875 311 0 0 20 0 1 0 8764467 9850245120 2380593 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2404845 2380593 3697 3540 0 2393102 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 9619380 KiB
Current children cumulated memory: 9522372 KiB
[startup+222.3 s]
/proc/loadavg: 3.81 4.04 4.07 4/248 91588
/proc/meminfo: memFree=88296052/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=10564948 memory=10341064 CPUtime=221.68 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2167293 0 0 0 21816 352 0 0 20 0 1 0 8764467 10818506752 2585266 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2641237 2585266 3889 3540 0 2629494 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 10564948 KiB
Current children cumulated memory: 10341064 KiB
[startup+282.3 s]
/proc/loadavg: 2.94 3.77 3.97 3/241 91628
/proc/meminfo: memFree=97178212/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=10564948 memory=10341152 CPUtime=281.48 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2167486 0 0 0 27793 355 0 0 20 0 1 0 8764467 10818506752 2585288 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2641237 2585288 3905 3540 0 2629494 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 10564948 KiB
Current children cumulated memory: 10341152 KiB
[startup+342.3 s]
/proc/loadavg: 2.40 3.46 3.85 3/241 91638
/proc/meminfo: memFree=97051328/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=10938900 memory=10466864 CPUtime=341.28 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2174418 0 0 0 33766 362 0 0 20 0 1 0 8764467 11201433600 2616716 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2734725 2616716 3905 3540 0 2722982 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 10938900 KiB
Current children cumulated memory: 10466864 KiB
[startup+402.3 s]
/proc/loadavg: 2.19 3.20 3.74 3/241 91648
/proc/meminfo: memFree=96653856/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=10938900 memory=10466864 CPUtime=401.09 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2174635 0 0 0 39745 364 0 0 20 0 1 0 8764467 11201433600 2616716 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2734725 2616716 3905 3540 0 2722982 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 10938900 KiB
Current children cumulated memory: 10466864 KiB
[startup+462.3 s]
/proc/loadavg: 2.18 3.01 3.64 3/243 91663
/proc/meminfo: memFree=96648892/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=10938900 memory=10466864 CPUtime=460.82 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2174877 0 0 0 45715 367 0 0 20 0 1 0 8764467 11201433600 2616716 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2734725 2616716 3905 3540 0 2722982 0
Current children cumulated CPU time: 460.82 s
################
# More data... #
################
Current children cumulated memory: 11975216 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 1.09 1.21 2/234 93375
/proc/meminfo: memFree=96576192/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3209.24 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2467813 0 0 0 320406 518 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3209.24 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.08 1.20 2/234 93385
/proc/meminfo: memFree=96575388/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3268.95 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2470729 0 0 0 326375 520 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3268.95 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3342.3 s]
/proc/loadavg: 1.07 1.08 1.19 2/234 93396
/proc/meminfo: memFree=96574580/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3328.69 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2472726 0 0 0 332347 522 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3328.69 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.08 1.18 2/234 93407
/proc/meminfo: memFree=96573772/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3388.41 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2474442 0 0 0 338318 523 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3388.41 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3462.3 s]
/proc/loadavg: 1.07 1.08 1.17 2/236 93421
/proc/meminfo: memFree=96573144/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3448.1 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2475859 0 0 0 344285 525 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3448.1 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.09 1.17 2/236 93433
/proc/meminfo: memFree=96572316/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3507.77 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2476164 0 0 0 350251 526 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3507.77 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3582.3 s]
/proc/loadavg: 1.04 1.07 1.16 2/236 93443
/proc/meminfo: memFree=96571500/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3567.46 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2477222 0 0 0 356218 528 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3567.46 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3606.73 s]
# the end of solver process 91468 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.31 s, system=5.47996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.04 1.07 1.16 2/236 93443
/proc/meminfo: memFree=96571504/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3569.15 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2477236 0 0 0 356387 528 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3569.15 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3596.8 s]
/proc/loadavg: 1.11 1.09 1.16 2/236 93444
/proc/meminfo: memFree=96571384/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13647036 memory=11975220 CPUtime=3581.88 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2478083 0 0 0 357659 529 0 0 20 0 1 0 8764467 13974564864 2993805 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3411759 2993805 4010 3540 0 3400016 0
Current children cumulated CPU time: 3581.88 s
Current children cumulated vsize: 13647036 KiB
Current children cumulated memory: 11975220 KiB
[startup+3603.2 s]
/proc/loadavg: 1.10 1.08 1.16 2/236 93446
/proc/meminfo: memFree=96615872/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13600188 memory=11930568 CPUtime=3588.26 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2484833 0 0 0 358297 529 0 0 20 0 1 0 8764467 13926592512 2982642 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3400047 2982642 4010 3540 0 3388304 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 13600188 KiB
Current children cumulated memory: 11930568 KiB
[startup+3604.8 s]
/proc/loadavg: 1.09 1.08 1.16 2/236 93446
/proc/meminfo: memFree=96615872/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13600188 memory=11930568 CPUtime=3589.85 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2484967 0 0 0 358456 529 0 0 20 0 1 0 8764467 13926592512 2982642 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3400047 2982642 4010 3540 0 3388304 0
Current children cumulated CPU time: 3589.85 s
Current children cumulated vsize: 13600188 KiB
Current children cumulated memory: 11930568 KiB
[startup+3605.6 s]
/proc/loadavg: 1.09 1.08 1.16 2/236 93446
/proc/meminfo: memFree=96615768/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=13085828 memory=11477664 CPUtime=3590.66 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2485014 0 0 0 358536 530 0 0 20 0 1 0 8764467 13399887872 2869416 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3271457 2869416 4010 3540 0 3259714 0
Current children cumulated CPU time: 3590.66 s
Current children cumulated vsize: 13085828 KiB
Current children cumulated memory: 11477664 KiB
[startup+3606.4 s]
/proc/loadavg: 1.09 1.08 1.16 2/236 93446
/proc/meminfo: memFree=97292388/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=12200736 memory=10595344 CPUtime=3591.45 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2485852 0 0 0 358612 533 0 0 20 0 1 0 8764467 12493553664 2648836 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 3050184 2648836 4010 3540 0 3038441 0
Current children cumulated CPU time: 3591.45 s
Current children cumulated vsize: 12200736 KiB
Current children cumulated memory: 10595344 KiB
[startup+3606.6 s]
/proc/loadavg: 1.09 1.08 1.16 2/236 93446
/proc/meminfo: memFree=97292388/131524600 swapFree=131071996/131071996
[pid=91468] ppid=91465 vsize=11683160 memory=10077768 CPUtime=3591.65 cores=1,3
/proc/91468/stat : 91468 (pbscip) R 91465 91468 88152 0 -1 4194304 2486879 0 0 0 358630 535 0 0 20 0 1 0 8764467 11963555840 2519442 134679101440 4194304 18693293 140732791197552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 54546432 140732791206915 140732791207014 140732791207014 140732791214030 0
/proc/91468/statm: 2920790 2519442 4010 3540 0 2909047 0
Current children cumulated CPU time: 3591.65 s
Current children cumulated vsize: 11683160 KiB
Current children cumulated memory: 10077768 KiB
[startup+3606.7 s]*
/proc/loadavg: 1.09 1.08 1.16 2/236 93446
/proc/meminfo: memFree=107078008/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3606.73
CPU time (s): 3591.79
CPU user time (s): 3586.31
CPU system time (s): 5.47996
CPU usage (%): 99.5858
Max. virtual memory (cumulated for all children) (KiB): 13647036
Max. memory (cumulated for all children) (KiB): 11975220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.31
system time used= 5.47996
maximum resident set size= 11975220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2486968
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= 36
involuntary context switches= 1101
# summary of solver processes directly reported to runsolver:
# pid: 91468
# total CPU time (s): 3591.79
# total CPU user time (s): 3586.31
# total CPU system time (s): 5.47996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64373 second user time and 16.5817 second system time
The end
Begin job on nodeC023 at 2024-07-23 10:12:32 IDJOB=4456602 IDBENCH=144103 IDSOLVER=3038 FILE ID=nodeC023/4456602-1721722352 RUNJOBID= nodeC023-1721718429-88164 SLURM_JOB_ID= 7770414 Free space on /tmp= 889936 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-wijsmanguo_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456602-1721722352/watcher-4456602-1721722352 -o /tmp/evaluation-result-4456602-1721722352/solver-4456602-1721722352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88164 --watchdog 3760 pbscip -f HOME/instance-4456602-1721722352.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d209bb579b31e9f057bcb8dfc272a731 RANDOM SEED=1219580956 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.347 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3662.357 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 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.110 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3680.215 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 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 : 3679.362 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3679.335 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 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.083 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.075 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 93766580 kB MemAvailable: 115039828 kB Buffers: 148728 kB Cached: 21859420 kB SwapCached: 0 kB Active: 992264 kB Inactive: 35989852 kB Active(anon): 1560 kB Inactive(anon): 15010444 kB Active(file): 990704 kB Inactive(file): 20979408 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 66880 kB Writeback: 24 kB AnonPages: 14973952 kB Mapped: 134696 kB Shmem: 37720 kB KReclaimable: 285568 kB Slab: 393352 kB SReclaimable: 285568 kB SUnreclaim: 107784 kB KernelStack: 4064 kB PageTables: 38664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 15927740 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20288 kB HardwareCorrupted: 0 kB AnonHugePages: 6125568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279252 kB DirectMap2M: 32000000 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890016 MiB End job on nodeC023 at 2024-07-23 11:12:39