Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 1183 | 536.333 | 537.777 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-40.lin.opb |
| MD5SUM | 38f4f8acf083ab1c186c19b7f9dc1b90 |
| 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 | 1183 |
| Best CPU time to get the best result obtained on this benchmark | 94.7223 |
| 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 | 2460 |
| Total number of constraints | 4720 |
| Number of constraints which are clauses | 2340 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2340 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 2340 |
| Biggest coefficient in the objective function | 39 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 31980 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 39 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 31980 |
| Number of bits of the biggest sum of numbers | 15 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4509158-1751513081.opb>
0.00/0.02 c original problem has 2460 variables (2460 bin, 0 int, 0 impl, 0 cont) and 4720 constraints
0.00/0.02 c problem read in 0.01
0.00/0.03 c presolving:
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.06 c (0.0s) MILP presolver found nothing
0.00/0.06 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2380 upgd conss, 0 impls, 40 clqs
0.00/0.07 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4720 upgd conss, 0 impls, 40 clqs
0.00/0.09 c (round 3, medium) 0 del vars, 2340 del conss, 4680 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4720 upgd conss, 0 impls, 4720 clqs
0.09/0.11 c (round 4, exhaustive) 0 del vars, 9360 del conss, 7020 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4720 upgd conss, 0 impls, 4720 clqs
0.40/0.48 c (0.5s) probing: 1000/2460 (40.7%) - 0 fixings, 0 aggregations, 144667 implications, 0 bound changes
0.40/0.48 c (0.5s) probing: 1001/2460 (40.7%) - 0 fixings, 0 aggregations, 144821 implications, 0 bound changes
0.40/0.48 c (0.5s) probing aborted: 1000/1000 successive useless probings
0.40/0.48 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.40/0.49 c (0.5s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.40/0.49 c dynamic symmetry handling statistics:
0.40/0.49 c orbitopal reduction: no components
0.40/0.49 c orbital reduction: 1 components of sizes 3
0.40/0.49 c lexicographic reduction: 3 permutations with support sizes 1640, 1640, 2400
0.40/0.49 c handled 1 out of 1 symmetry components
0.40/0.49 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
0.40/0.49 c 0 deleted vars, 9360 deleted constraints, 7020 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.40/0.49 c 0 implications, 14140 cliques
0.40/0.49 c presolved problem has 2460 variables (2460 bin, 0 int, 0 impl, 0 cont) and 2380 constraints
0.40/0.49 c 40 constraints of type <setppc>
0.40/0.49 c 2340 constraints of type <and>
0.40/0.49 c transformed objective value is always integral (scale: 1)
0.40/0.49 c Presolving Time: 0.47
0.40/0.49 c - non default parameters ----------------------------------------------------------------------
0.40/0.49 c # SCIP version 10.0.0
0.40/0.49 c
0.40/0.49 c # maximal time in seconds to run
0.40/0.49 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.40/0.49 c limits/time = 3596.998009
0.40/0.49 c
0.40/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.40/0.49 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.40/0.49 c limits/memory = 27900
0.40/0.49 c
0.40/0.49 c # belongs reading time to solving time?
0.40/0.49 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.40/0.49 c timing/reading = TRUE
0.40/0.49 c
0.40/0.49 c -----------------------------------------------------------------------------------------------
0.40/0.49 c start solving
0.40/0.50 c
0.49/0.52 o 10660
0.49/0.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.49/0.52 c p 0.5s| 1 | 0 | 0 | - | clique| 0 |2460 |2380 |4720 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.066000e+04 | Inf | unknown
0.49/0.53 o 9139
0.49/0.53 c p 0.5s| 1 | 0 | 0 | - | vbounds| 0 |2460 |2380 |4720 | 0 | 0 | 0 | 0 | 0.000000e+00 | 9.139000e+03 | Inf | unknown
0.49/0.56 c 0.6s| 1 | 0 | 80 | - | 54M | 0 |2460 |2380 |4720 | 0 | 0 | 0 | 0 | 0.000000e+00 | 9.139000e+03 | Inf | unknown
0.59/0.68 c 0.7s| 1 | 0 | 114 | - | 58M | 0 |2460 |2380 |4726 | 6 | 1 | 0 | 0 | 0.000000e+00 | 9.139000e+03 | Inf | unknown
1.27/1.32 c 1.3s| 1 | 0 | 229 | - | 108M | 0 |2460 |2380 |4758 | 38 | 2 | 0 | 0 | 0.000000e+00 | 9.139000e+03 | Inf | unknown
1.87/1.91 c 1.9s| 1 | 0 | 312 | - | 110M | 0 |2460 |2380 |4788 | 68 | 3 | 0 | 0 | 0.000000e+00 | 9.139000e+03 | Inf | unknown
2.67/2.76 c 2.8s| 1 | 0 | 403 | - | 115M | 0 |2460 |2380 |4808 | 88 | 4 | 0 | 0 | 0.000000e+00 | 9.139000e+03 | Inf | unknown
3.58/3.70 c 3.7s| 1 | 0 | 539 | - | 121M | 0 |2460 |2380 |4828 | 108 | 5 | 0 | 0 | 3.502044e-01 | 9.139000e+03 | Large | unknown
4.57/4.64 c 4.6s| 1 | 0 | 733 | - | 130M | 0 |2460 |2380 |4845 | 125 | 6 | 0 | 0 | 6.016931e+00 | 9.139000e+03 | Large | unknown
5.56/5.63 c 5.6s| 1 | 0 | 940 | - | 135M | 0 |2460 |2381 |4866 | 146 | 7 | 1 | 0 | 1.426021e+01 | 9.139000e+03 | Large | unknown
6.56/6.63 c 6.6s| 1 | 0 | 1170 | - | 141M | 0 |2460 |2381 |4888 | 168 | 8 | 1 | 0 | 2.228782e+01 | 9.139000e+03 | Large | unknown
7.56/7.65 c 7.6s| 1 | 0 | 1409 | - | 147M | 0 |2460 |2381 |4908 | 188 | 9 | 1 | 0 | 3.079854e+01 | 9.139000e+03 | Large | unknown
8.56/8.68 c 8.7s| 1 | 0 | 1641 | - | 153M | 0 |2460 |2381 |4927 | 207 | 10 | 1 | 0 | 3.947428e+01 | 9.139000e+03 | Large | unknown
8.66/8.71 c 8.7s| 1 | 0 | 1739 | - | 154M | 0 |2460 |2381 |4933 | 218 | 11 | 1 | 0 | 4.067016e+01 | 9.139000e+03 | Large | unknown
8.66/8.74 c 8.7s| 1 | 0 | 1803 | - | 154M | 0 |2460 |2381 |4937 | 222 | 12 | 1 | 0 | 4.124523e+01 | 9.139000e+03 | Large | unknown
8.66/8.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.66/8.77 c 8.8s| 1 | 0 | 1839 | - | 155M | 0 |2460 |2381 |4939 | 224 | 13 | 1 | 0 | 4.147941e+01 | 9.139000e+03 | Large | unknown
8.66/8.79 c 8.8s| 1 | 0 | 1876 | - | 155M | 0 |2460 |2381 |4941 | 226 | 14 | 1 | 0 | 4.161001e+01 | 9.139000e+03 | Large | unknown
8.76/8.81 c 8.8s| 1 | 0 | 1890 | - | 156M | 0 |2460 |2381 |4944 | 229 | 15 | 1 | 0 | 4.162371e+01 | 9.139000e+03 | Large | unknown
8.76/8.83 c 8.8s| 1 | 0 | 1899 | - | 157M | 0 |2460 |2381 |4946 | 231 | 16 | 1 | 0 | 4.163695e+01 | 9.139000e+03 | Large | unknown
8.76/8.85 c 8.8s| 1 | 0 | 1945 | - | 157M | 0 |2460 |2381 |4929 | 232 | 17 | 1 | 0 | 4.195287e+01 | 9.139000e+03 | Large | unknown
10.25/10.30 o 3428
10.25/10.30 c d10.3s| 1 | 0 | 10029 | - |conflict| 0 |2460 |2385 |4929 | 0 | 18 | 5 | 0 | 4.195287e+01 | 3.428000e+03 |8071.07%| unknown
10.45/10.55 c 10.5s| 1 | 0 | 10029 | - | 160M | 0 |2460 |2385 |4929 | 232 | 18 | 5 | 0 | 4.195287e+01 | 3.428000e+03 |8071.07%| unknown
14.95/15.06 c 15.1s| 1 | 2 | 10029 | - | 160M | 0 |2460 |2386 |4929 | 232 | 19 | 6 | 46 | 4.579699e+01 | 3.428000e+03 |7385.21%| unknown
31.50/31.65 o 2579
31.50/31.65 c d31.6s| 28 | 27 | 18185 | 601.5 |pscostdi| 14 |2460 |2307 |5019 | 0 | 1 | 6 | 423 | 2.115000e+02 | 2.579000e+03 |1119.39%| 50.96%
37.48/37.61 o 2073
37.48/37.61 c d37.6s| 65 | 64 | 33741 | 496.8 |veclendi| 16 |2460 |2307 |5097 | 0 | 1 | 24 | 448 | 2.362500e+02 | 2.073000e+03 | 777.46%| 51.11%
41.47/41.61 c 41.6s| 100 | 95 | 48572 | 471.0 | 185M | 17 |2460 |2307 |5048 |1036 | 1 | 24 | 448 | 3.665000e+02 | 2.073000e+03 | 465.62%| 51.33%
41.97/42.11 o 1955
41.97/42.11 c o42.1s| 102 | 97 | 50630 | 482.0 |rootsold| 17 |2460 |2307 |5048 |1036 | 1 | 24 | 448 | 3.665000e+02 | 1.955000e+03 | 433.42%| 51.33%
58.81/59.01 c 59.0s| 200 | 175 |100306 | 494.3 | 306M | 18 |2460 |2337 |5069 |2629 | 2 | 56 | 501 | 4.210000e+02 | 1.955000e+03 | 364.37%| 51.80%
62.01/62.22 o 1641
62.01/62.22 c d62.2s| 214 | 138 |111868 | 516.1 |linesear| 18 |2460 |2308 |4963 | 0 | 2 | 64 | 515 | 4.405000e+02 | 1.641000e+03 | 272.53%| 51.99%
87.93/88.27 c 88.3s| 300 | 224 |209505 | 694.2 | 350M | 18 |2460 |2547 |5126 |4894 | 1 | 303 | 576 | 4.745000e+02 | 1.641000e+03 | 245.84%| 53.36%
172.61/173.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
172.61/173.11 c 173s| 400 | 322 |459231 |1146.1 | 450M | 18 |2460 |2718 |5675 | 13k| 19 | 476 | 735 | 5.875000e+02 | 1.641000e+03 | 179.32%| 56.29%
249.20/249.93 o 1625
249.20/249.93 c * 250s| 445 | 357 |674060 |1513.8 |strongbr| 18 |2460 |2777 |5561 | 21k| 14 | 535 | 841 | 6.765000e+02 | 1.625000e+03 | 140.21%| 57.68%
263.57/264.36 o 1569
263.57/264.36 c * 264s| 456 | 343 |708177 |1552.2 | LP | 18 |2460 |2783 |5392 | 22k| 1 | 542 | 873 | 7.135000e+02 | 1.569000e+03 | 119.90%| 58.13%
345.75/346.71 c 347s| 500 | 365 |934875 |1869.6 | 583M | 18 |2460 |2855 |5942 | 30k| 20 | 614 | 992 | 7.362500e+02 | 1.569000e+03 | 113.11%| 59.74%
473.22/474.58 o 1463
473.22/474.58 c * 475s| 599 | 346 | 1297k|2166.5 |strongbr| 18 |2460 |2391 |5734 | 41k| 10 | 766 |1196 | 7.932941e+02 | 1.463000e+03 | 84.42%| 63.80%
473.32/474.60 o 1462
473.32/474.60 c * 475s| 599 | 344 | 1297k|2166.5 |strongbr| 18 |2460 |2391 |5734 | 41k| 10 | 766 |1197 | 7.932941e+02 | 1.462000e+03 | 84.29%| 63.82%
474.72/476.07 c 476s| 600 | 345 | 1300k|2168.3 | 1050M | 18 |2460 |2409 |5643 | 41k| 4 | 784 |1206 | 7.932941e+02 | 1.462000e+03 | 84.29%| 63.89%
499.54/500.91 o 1183
499.54/500.91 c * 501s| 620 | 130 | 1377k|2223.0 |strongbr| 18 |2460 |2396 |6119 | 44k| 2 | 828 |1264 | 8.092500e+02 | 1.183000e+03 | 46.18%| 71.21%
522.19/523.62 c 524s| 700 | 60 | 1459k|2085.4 | 1059M | 18 |2460 |2569 |7360 | 45k| 3 |1001 |1376 | 9.052500e+02 | 1.183000e+03 | 30.68%| 88.29%
536.05/537.52 c
536.05/537.52 c SCIP Status : problem is solved [optimal solution found]
536.05/537.52 c Solving Time (sec) : 537.52
536.05/537.52 c Solving Nodes : 760
536.05/537.52 c Primal Bound : +1.18300000000000e+03 (16 solutions)
536.05/537.52 c Dual Bound : +1.18300000000000e+03
536.05/537.52 c Gap : 0.00 %
536.05/537.52 s OPTIMUM FOUND
536.05/537.52 v -x120 x119 -x118 -x117 x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 x107 -x106 -x105 x104 -x103 -x102 x101 -x100 -x99 x98
536.05/537.52 v -x97 -x96 x95 -x94 -x93 x92 -x91 -x90 x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 x80 -x79 -x78 -x77 x76 -x75 -x74 x73 -x72 -x71
536.05/537.52 v x70 -x69 -x68 x67 -x66 -x65 x64 -x63 -x62 x61 -x60 -x59 x58 -x57 -x56 x55 -x54 -x53 x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44
536.05/537.52 v x43 -x42 -x41 x40 x39 -x38 -x37 x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22 x21 -x20 -x19 x18 -x17
536.05/537.52 v -x16 x15 -x14 -x13 x12 -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 x3 -x2 -x1 -x2460 x2459 -x2458 -x2457 -x2456 x2455 x2454 -x2453 -x2452
536.05/537.52 v -x2451 -x2450 -x2449 x2448 x2447 x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 x2438 x2437 x2436 x2435 -x2434 -x2433
536.05/537.52 v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 x2425 x2424 x2423 x2422 x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415
536.05/537.52 v -x2414 -x2413 -x2412 -x2411 -x2410 x2409 x2408 x2407 x2406 x2405 x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396
536.05/537.52 v -x2395 -x2394 -x2393 -x2392 -x2391 x2390 x2389 x2388 x2387 x2386 x2385 x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377
536.05/537.52 v -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 x2367 x2366 x2365 x2364 x2363 x2362 x2361 -x2360 -x2359 -x2358
536.05/537.52 v -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 x2343 x2342 x2341 x2340
536.05/537.52 v x2339 x2338 x2337 x2336 x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321
536.05/537.52 v -x2320 -x2319 -x2318 -x2317 -x2316 x2315 x2314 x2313 x2312 x2311 x2310 x2309 x2308 x2307 x2306 -x2305 -x2304 -x2303 -x2302
536.05/537.52 v -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 x2284
536.05/537.52 v x2283 x2282 x2281 x2280 x2279 x2278 x2277 x2276 x2275 x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265
536.05/537.52 v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 x2250 x2249 x2248 x2247 x2246
536.05/537.52 v x2245 x2244 x2243 x2242 x2241 x2240 x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227
536.05/537.52 v -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 x2213 x2212 x2211 x2210 x2209
536.05/537.52 v x2208 x2207 x2206 x2205 x2204 x2203 x2202 x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190
536.05/537.52 v -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172
536.05/537.52 v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154
536.05/537.52 v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136
536.05/537.52 v -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118
536.05/537.52 v -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 x2101 -x2100
536.05/537.52 v -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082
536.05/537.52 v -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065
536.05/537.52 v -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 x2054 x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046
536.05/537.52 v -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029
536.05/537.52 v -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011
536.05/537.52 v -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 x2004 x2003 x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992
536.05/537.52 v -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975
536.05/537.52 v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957
536.05/537.52 v -x1956 -x1955 -x1954 -x1953 -x1952 x1951 x1950 x1949 x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938
536.05/537.52 v -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920
536.05/537.52 v -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903
536.05/537.52 v -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 x1895 x1894 x1893 x1892 x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884
536.05/537.52 v -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866
536.05/537.52 v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848
536.05/537.52 v -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 x1836 x1835 x1834 x1833 x1832 x1831 -x1830
536.05/537.52 v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812
536.05/537.52 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794
536.05/537.52 v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776
536.05/537.52 v -x1775 x1774 x1773 x1772 x1771 x1770 x1769 x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757
536.05/537.52 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739
536.05/537.52 v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721
536.05/537.52 v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 x1709 x1708 x1707 x1706 x1705 x1704 x1703
536.05/537.52 v x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685
536.05/537.52 v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
536.05/537.52 v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
536.05/537.52 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 x1641 x1640 x1639 x1638 x1637 x1636 x1635 x1634 x1633 -x1632 -x1631 -x1630
536.05/537.52 v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
536.05/537.52 v -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594
536.05/537.52 v -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576
536.05/537.52 v -x1575 -x1574 -x1573 -x1572 -x1571 x1570 x1569 x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561 -x1560 -x1559 -x1558 -x1557
536.05/537.52 v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539
536.05/537.52 v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521
536.05/537.52 v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503
536.05/537.52 v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489 x1488 x1487 x1486 -x1485 -x1484
536.05/537.52 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466
536.05/537.52 v -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448
536.05/537.52 v -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430
536.05/537.52 v -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411
536.05/537.52 v x1410 x1409 x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393
536.05/537.52 v -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375
536.05/537.52 v -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357
536.05/537.52 v -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339
536.05/537.52 v -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321
536.05/537.52 v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304
536.05/537.52 v -x1303 -x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286
536.05/537.52 v -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268
536.05/537.52 v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250
536.05/537.52 v -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232
536.05/537.52 v -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 x1215 x1214
536.05/537.52 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196
536.05/537.52 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178
536.05/537.52 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160
536.05/537.52 v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142
536.05/537.52 v -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 x1127 x1126 -x1125 -x1124
536.05/537.52 v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106
536.05/537.52 v -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088
536.05/537.52 v -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071
536.05/537.52 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053
536.05/537.52 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 x1037 x1036 x1035 -x1034
536.05/537.52 v -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016
536.05/537.52 v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998
536.05/537.52 v -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978
536.05/537.52 v -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957
536.05/537.52 v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 x944 x943 x942 x941 -x940 -x939 -x938 -x937 -x936 -x935
536.05/537.52 v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914
536.05/537.52 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
536.05/537.52 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873
536.05/537.52 v -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852
536.05/537.52 v -x851 -x850 x849 x848 x847 x846 x845 x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830
536.05/537.52 v -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809
536.05/537.52 v -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788
536.05/537.52 v -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767
536.05/537.52 v -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 x749 x748 x747 x746
536.05/537.52 v x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725
536.05/537.52 v -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704
536.05/537.52 v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683
536.05/537.52 v -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662
536.05/537.52 v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 x647 x646 x645 x644 x643 x642 x641 -x640
536.05/537.52 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619
536.05/537.52 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598
536.05/537.52 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577
536.05/537.52 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557
536.05/537.52 v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 x542 x541 x540 x539 x538 x537 x536 x535 -x534
536.05/537.52 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513
536.05/537.52 v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493
536.05/537.52 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
536.05/537.52 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451
536.05/537.52 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 x434 x433 x432 x431 x430 x429
536.05/537.52 v x428 x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
536.05/537.52 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
536.05/537.52 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
536.05/537.52 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
536.05/537.52 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324
536.05/537.52 v x323 x322 x321 x320 x319 x318 x317 x316 x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
536.05/537.52 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
536.05/537.52 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
536.05/537.52 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
536.05/537.52 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
536.05/537.52 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 -x198 -x197 -x196 -x195
536.05/537.52 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
536.05/537.52 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
536.05/537.52 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
536.05/537.52 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
536.05/537.52 c SCIP Status : problem is solved [optimal solution found]
536.05/537.52 c Total Time : 537.52
536.05/537.52 c solving : 537.52
536.05/537.52 c presolving : 0.47 (included in solving)
536.05/537.52 c reading : 0.01 (included in solving)
536.05/537.52 c copying : 0.03 (5 #copies) (minimal 0.00, maximal 0.01, average 0.01)
536.05/537.52 c Original Problem :
536.05/537.52 c Problem name : HOME/instance-4509158-1751513081.opb
536.05/537.52 c Variables : 2460 (2460 binary, 0 integer, 0 implicit integer, 0 continuous)
536.05/537.52 c Constraints : 4720 initial, 4720 maximal
536.05/537.52 c Objective : minimize, 2340 non-zeros (abs.min = 1, abs.max = 39)
536.05/537.52 c Presolved Problem :
536.05/537.52 c Problem name : t_HOME/instance-4509158-1751513081.opb
536.05/537.52 c Variables : 2460 (2460 binary, 0 integer, 0 implicit integer, 0 continuous)
536.05/537.52 c Constraints : 2380 initial, 3005 maximal
536.05/537.52 c Objective : minimize, 2340 non-zeros (abs.min = 1, abs.max = 39)
536.05/537.52 c Nonzeros : 7140 constraint, 27143 clique table
536.05/537.52 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
536.05/537.52 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.52 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.52 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
536.05/537.52 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.52 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.52 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.52 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
536.05/537.52 c gateextraction : 0.01 0.00 2 0 0 0 0 0 7020 2340 0 0
536.05/537.52 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
536.05/537.52 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.52 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
536.05/537.52 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
536.05/537.53 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
536.05/537.53 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
536.05/537.53 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c probing : 0.37 0.00 1 0 0 0 0 0 0 0 0 0
536.05/537.53 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
536.05/537.53 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
536.05/537.53 c knapsack : 0.01 0.00 2 0 0 0 0 0 2340 4680 0 0
536.05/537.53 c setppc : 0.01 0.00 10 0 0 0 0 0 0 0 0 0
536.05/537.53 c and : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
536.05/537.53 c linear : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
536.05/537.53 c logicor : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
536.05/537.53 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
536.05/537.53 c root node : - - - 575 - - 575 - - - - -
536.05/537.53 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
536.05/537.53 c benderslp : 0 0 0 0 601 0 0 42 0 0 0 0 0 0 0
536.05/537.53 c integral : 0 0 0 0 601 0 0 42 0 0 322 0 0 245 1114
536.05/537.53 c setppc : 40 40 19 23476 1 0 0 36 2219 22 1129 0 0 0 0
536.05/537.53 c and : 2340 2340 2236 23454 1 0 0 30 8353 49 51521 12535 4539 0 0
536.05/537.53 c linear : 0+ 2 0 5343 0 0 0 3 0 0 0 0 0 0 0
536.05/537.53 c logicor : 0+ 704 13 3928 0 0 0 0 90 17 14 0 0 0 0
536.05/537.53 c benders : 0 0 0 0 1 0 0 18 0 0 0 0 0 0 0
536.05/537.53 c fixedvar : 0 0 0 0 1 0 0 18 0 0 0 0 0 0 0
536.05/537.53 c countsols : 0 0 0 0 1 0 0 18 0 0 0 0 0 0 0
536.05/537.53 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
536.05/537.53 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c integral : 145.04 0.00 0.00 0.00 145.04 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c setppc : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
536.05/537.53 c and : 2.33 0.00 1.29 0.62 0.00 0.00 0.00 0.01 0.00 0.41
536.05/537.53 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c logicor : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
536.05/537.53 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c Propagators : #Propagate #ResProp Cutoffs DomReds
536.05/537.53 c dualfix : 3 0 0 0
536.05/537.53 c genvbounds : 0 0 0 0
536.05/537.53 c nlobbt : 0 0 0 0
536.05/537.53 c obbt : 0 0 0 0
536.05/537.53 c probing : 0 0 0 0
536.05/537.53 c pseudoobj : 2650 0 0 0
536.05/537.53 c redcost : 1262 0 0 29281
536.05/537.53 c rootredcost : 9 0 0 0
536.05/537.53 c symmetry : 17747 0 0 799
536.05/537.53 c vbounds : 11900 0 0 0
536.05/537.53 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
536.05/537.53 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c probing : 0.37 0.00 0.37 0.00 0.00 0.00
536.05/537.53 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
536.05/537.53 c redcost : 0.08 0.00 0.00 0.08 0.00 0.00
536.05/537.53 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
536.05/537.53 c symmetry : 0.17 0.00 0.01 0.13 0.00 0.04
536.05/537.53 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
536.05/537.53 c Symmetry :
536.05/537.53 c orbitopal red. : 0 reductions applied, 0 cutoffs
536.05/537.53 c orbital reduction: 773 reductions applied, 0 cutoffs
536.05/537.53 c lexicographic red: 42 reductions applied, 0 cutoffs
536.05/537.53 c shadow tree time : 0.00 s
536.05/537.53 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
536.05/537.53 c propagation : 0.00 88 85 - 122 12.9 1 20.0 - - -
536.05/537.53 c infeasible LP : 0.00 2 2 - 3 189.0 0 0.0 2 199.0 0
536.05/537.53 c bound exceed. LP : 0.81 420 172 - 2009 43.8 0 0.0 0 0.0 2470
536.05/537.53 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
536.05/537.53 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
536.05/537.53 c applied globally : 0.02 - - 0 1022 29.8 - - 2 - -
536.05/537.53 c applied locally : - - - 0 0 0.0 - - 0 - -
536.05/537.53 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
536.05/537.53 c cut pool : 5.98 - 2512 35 - - 35773 247073 - - - - - (maximal pool size: 3955)
536.05/537.53 c aggregation : 5.74 0.00 1214 19 0 0 0 0 0 0 0 0 0
536.05/537.53 c > cmir : - - - - - - - 0 0 0 0 0 -
536.05/537.53 c > flowcover : - - - - - - - 0 0 0 0 0 -
536.05/537.53 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
536.05/537.53 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c clique : 0.03 0.00 19 19 0 0 20 20 0 2 2 0 0
536.05/537.53 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c gomory : 22.65 0.00 524 10 0 0 27161 44316 0 1251 1251 0 0
536.05/537.53 c > gomorymi : - - - - - - - 17032 0 124 124 0 -
536.05/537.53 c > strongcg : - - - - - - - 27284 0 1127 1127 0 -
536.05/537.53 c impliedbounds : 0.71 0.00 1214 19 0 0 3395 10279 0 3575 3575 0 0
536.05/537.53 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
536.05/537.53 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c multilinear : 0.00 0.00 50 19 0 0 0 0 0 0 0 0 0
536.05/537.53 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
536.05/537.53 c rlt : 62.24 0.00 119 10 0 0 3481 131233 0 27224 27224 0 0
536.05/537.53 c zerohalf : 5.39 0.00 533 19 0 0 1716 61225 0 8658 8658 0 0
536.05/537.53 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
536.05/537.53 c hybrid : 0.40 0.00 2229 17 45249 0 214359 232 0 1723
536.05/537.53 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c Pricers : ExecTime SetupTime Calls Vars
536.05/537.53 c problem variables: 0.00 - 0 0
536.05/537.53 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
536.05/537.53 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c random : 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c relpscost : 145.04 0.00 600 0 0 0 322 0 261 1114
536.05/537.53 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
536.05/537.53 c Primal Heuristics : ExecTime SetupTime Calls Found Best
536.05/537.53 c LP solutions : 0.00 - - 1 1
536.05/537.53 c relax solutions : 0.00 - - 0 0
536.05/537.53 c pseudo solutions : 0.00 - - 0 0
536.05/537.53 c strong branching : 0.02 - - 4 4
536.05/537.53 c actconsdiving : 0.00 0.00 0 0 0
536.05/537.53 c adaptivediving : 2.12 0.00 11 0 0
536.05/537.53 c alns : 0.02 0.00 1 0 0
536.05/537.53 c bound : 0.00 0.00 0 0 0
536.05/537.53 c clique : 0.02 0.00 1 1 1
536.05/537.53 c coefdiving : 0.00 0.00 0 0 0
536.05/537.53 c completesol : 0.00 0.00 0 0 0
536.05/537.53 c conflictdiving : 14.86 0.00 52 1 1
536.05/537.53 c crossover : 0.02 0.00 1 0 0
536.05/537.53 c dins : 0.00 0.00 0 0 0
536.05/537.53 c distributiondivin: 0.70 0.00 4 0 0
536.05/537.53 c dps : 0.00 0.00 0 0 0
536.05/537.53 c dualval : 0.00 0.00 0 0 0
536.05/537.53 c farkasdiving : 0.78 0.00 1 0 0
536.05/537.53 c feasjump : 0.00 0.00 0 0 0
536.05/537.53 c feaspump : 0.39 0.00 1 0 0
536.05/537.53 c fixandinfer : 0.00 0.00 0 0 0
536.05/537.53 c fracdiving : 0.56 0.00 5 0 0
536.05/537.53 c gins : 0.00 0.00 0 0 0
536.05/537.53 c guideddiving : 4.92 0.00 33 0 0
536.05/537.53 c indcoefdiving : 0.00 0.00 0 0 0
536.05/537.53 c indicator : 0.00 0.00 0 0 0
536.05/537.53 c indicatordiving : 0.00 0.00 0 0 0
536.05/537.53 c indoneopt : 0.00 0.00 0 0 0
536.05/537.53 c indrounding : 0.00 0.00 0 0 0
536.05/537.53 c indtwoopt : 0.00 0.00 0 0 0
536.05/537.53 c intdiving : 0.00 0.00 0 0 0
536.05/537.53 c intshifting : 0.00 0.00 0 0 0
536.05/537.53 c linesearchdiving : 2.39 0.00 13 1 1
536.05/537.53 c localbranching : 0.00 0.00 0 0 0
536.05/537.53 c locks : 0.01 0.00 1 0 0
536.05/537.53 c lpface : 0.00 0.00 0 0 0
536.05/537.53 c mpec : 0.00 0.00 0 0 0
536.05/537.53 c multistart : 0.00 0.00 0 0 0
536.05/537.53 c mutation : 0.00 0.00 0 0 0
536.05/537.53 c nlpdiving : 0.00 0.00 0 0 0
536.05/537.53 c objpscostdiving : 0.45 0.00 2 1 0
536.05/537.53 c octane : 0.00 0.00 0 0 0
536.05/537.53 c ofins : 0.00 0.00 0 0 0
536.05/537.53 c oneopt : 0.01 0.00 10 0 0
536.05/537.53 c padm : 0.00 0.00 0 0 0
536.05/537.53 c proximity : 0.00 0.00 0 0 0
536.05/537.53 c pscostdiving : 0.21 0.00 3 1 1
536.05/537.53 c randrounding : 0.08 0.00 19 0 0
536.05/537.53 c rens : 0.22 0.00 1 0 0
536.05/537.53 c reoptsols : 0.00 0.00 0 0 0
536.05/537.53 c repair : 0.00 0.00 0 0 0
536.05/537.53 c rins : 0.22 0.00 1 1 0
536.05/537.53 c rootsoldiving : 1.96 0.00 3 3 1
536.05/537.53 c rounding : 0.13 0.00 664 0 0
536.05/537.53 c scheduler : 0.00 0.00 0 0 0
536.05/537.53 c shiftandpropagate: 0.00 0.00 0 0 0
536.05/537.53 c shifting : 0.91 0.00 448 0 0
536.05/537.53 c simplerounding : 0.00 0.00 0 0 0
536.05/537.53 c smallcard : 0.00 0.00 0 0 0
536.05/537.53 c subnlp : 0.00 0.00 0 0 0
536.05/537.53 c trivial : 0.00 0.00 2 0 0
536.05/537.53 c trivialnegation : 0.00 0.00 0 0 0
536.05/537.53 c trustregion : 0.00 0.00 0 0 0
536.05/537.53 c trysol : 0.00 0.00 0 0 0
536.05/537.53 c twoopt : 0.00 0.00 0 0 0
536.05/537.53 c undercover : 0.05 0.00 1 0 0
536.05/537.53 c vbounds : 0.03 0.00 1 1 1
536.05/537.53 c veclendiving : 0.86 0.00 6 1 1
536.05/537.53 c zeroobj : 0.00 0.00 0 0 0
536.05/537.53 c zirounding : 0.07 0.00 557 0 0
536.05/537.53 c other solutions : - - - 0 -
536.05/537.53 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
536.05/537.53 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
536.05/537.53 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
536.05/537.53 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
536.05/537.53 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
536.05/537.53 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
536.05/537.53 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
536.05/537.53 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
536.05/537.53 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
536.05/537.53 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
536.05/537.53 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
536.05/537.53 c primal LP : 0.34 345 0 0.00 0.00 0.34 345
536.05/537.53 c dual LP : 251.37 3257 1350448 446.28 5372.30 0.26 231
536.05/537.53 c lex dual LP : 0.00 0 0 0.00 -
536.05/537.53 c barrier LP : 0.00 0 0 0.00 - 0.00 0
536.05/537.53 c resolve instable : 0.00 0 0 0.00 -
536.05/537.53 c diving/probing LP: 27.97 1536 160990 104.81 5755.56
536.05/537.53 c strong branching : 142.38 1406 765164 544.21 5374.19 - - 1149
536.05/537.53 c (at root node) : - 46 28082 610.48 -
536.05/537.53 c conflict analysis: 0.52 247 2470 10.00 4706.83
536.05/537.53 c B&B Tree :
536.05/537.53 c number of runs : 1
536.05/537.53 c nodes : 760 (557 internal, 203 leaves)
536.05/537.53 c feasible leaves : 1
536.05/537.53 c infeas. leaves : 8
536.05/537.53 c objective leaves : 194
536.05/537.53 c nodes (total) : 760 (557 internal, 203 leaves)
536.05/537.53 c nodes left : 0
536.05/537.53 c max depth : 18
536.05/537.53 c max depth (total): 18
536.05/537.53 c backtracks : 359 (47.2%)
536.05/537.53 c early backtracks : 0 (0.0%)
536.05/537.53 c nodes exc. ref. : 0 (0.0%)
536.05/537.53 c delayed cutoffs : 4
536.05/537.53 c repropagations : 7 (371 domain reductions, 3 cutoffs)
536.05/537.53 c avg switch length: 6.98
536.05/537.53 c switching time : 0.54
536.05/537.53 c Root Node :
536.05/537.53 c First LP value : +0.00000000000000e+00
536.05/537.53 c First LP Iters : 80 (20314.88 Iter/sec)
536.05/537.53 c First LP Time : 0.00
536.05/537.53 c Final Dual Bound : +4.57969924603057e+01
536.05/537.53 c Final Root Iters : 1945
536.05/537.53 c Root LP Estimate : +2.90187621095292e+03
536.05/537.53 c Solution :
536.05/537.53 c Solutions found : 16 (12 improvements)
536.05/537.53 c First Solution : +1.06600000000000e+04 (in run 1, after 1 nodes, 0.51 seconds, depth 42, found by <clique>)
536.05/537.53 c Gap First Sol. : infinite
536.05/537.53 c Gap Last Sol. : 46.18 %
536.05/537.53 c Primal Bound : +1.18300000000000e+03 (in run 1, after 620 nodes, 500.89 seconds, depth 13, found by <relaxation>)
536.05/537.53 c Dual Bound : +1.18300000000000e+03
536.05/537.53 c Gap : 0.00 %
536.05/537.53 c Integrals : Total Avg%
536.05/537.53 c primal-dual : 31928.65 59.40
536.05/537.53 c primal-ref : - - (not evaluated)
536.05/537.53 c dual-ref : - - (not evaluated)
536.25/537.76 c Time complete: 536.314.
OK 1183
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 (59706 MiB free)
memory of node 1: 64507 MiB (61027 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509158-1751513081/watcher-4509158-1751513081 -o /tmp/evaluation-result-4509158-1751513081/solver-4509158-1751513081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751506081-77370 --watchdog 3760 pbscip -f HOME/instance-4509158-1751513081.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78755, runsolver pid=78752
[startup+0.100018 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 78756
/proc/meminfo: memFree=123627988/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=66212 memory=39324 CPUtime=0.09 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 6913 0 0 0 8 1 0 0 20 0 1 0 66985952 67801088 9831 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 16553 9831 3744 3530 0 8004 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66212 KiB
Current children cumulated memory: 39324 KiB
[startup+0.205792 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 78756
/proc/meminfo: memFree=123627988/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=69156 memory=42268 CPUtime=0.2 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 7639 0 0 0 19 1 0 0 20 0 1 0 66985952 70815744 10567 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 17289 10567 3744 3530 0 8740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69156 KiB
Current children cumulated memory: 42268 KiB
[startup+0.305708 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 78756
/proc/meminfo: memFree=123627988/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=69156 memory=42268 CPUtime=0.3 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 7639 0 0 0 29 1 0 0 20 0 1 0 66985952 70815744 10567 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 17289 10567 3744 3530 0 8740 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69156 KiB
Current children cumulated memory: 42268 KiB
[startup+0.700192 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78756
/proc/meminfo: memFree=123627988/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=118080 memory=83748 CPUtime=0.68 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 19926 0 0 0 66 2 0 0 20 0 1 0 66985952 120913920 20937 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 29520 20937 3936 3530 0 20971 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118080 KiB
Current children cumulated memory: 83748 KiB
[startup+1.50019 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78756
/proc/meminfo: memFree=123604300/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=155472 memory=119460 CPUtime=1.47 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 28919 0 0 0 143 4 0 0 20 0 1 0 66985952 159203328 29865 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 38868 29865 3936 3530 0 30319 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 155472 KiB
Current children cumulated memory: 119460 KiB
[startup+3.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78756
/proc/meminfo: memFree=123578344/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=161908 memory=125476 CPUtime=3.07 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 30412 0 0 0 303 4 0 0 20 0 1 0 66985952 165793792 31369 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 40477 31369 3936 3530 0 31928 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 161908 KiB
Current children cumulated memory: 125476 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 78756
/proc/meminfo: memFree=123556296/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=182644 memory=143268 CPUtime=6.26 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 34876 0 0 0 621 5 0 0 20 0 1 0 66985952 187027456 35817 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 45661 35817 3936 3530 0 37112 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 182644 KiB
Current children cumulated memory: 143268 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78756
/proc/meminfo: memFree=123507680/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=223656 memory=178212 CPUtime=12.65 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 43660 0 0 0 1258 7 0 0 20 0 1 0 66985952 229023744 44553 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 55914 44553 3936 3530 0 47365 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223656 KiB
Current children cumulated memory: 178212 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 78756
/proc/meminfo: memFree=123498932/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=223656 memory=178340 CPUtime=25.41 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 43689 0 0 0 2534 7 0 0 20 0 1 0 66985952 229023744 44585 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 55914 44585 3936 3530 0 47365 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 223656 KiB
Current children cumulated memory: 178340 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78757
/proc/meminfo: memFree=123394920/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=339188 memory=273716 CPUtime=50.94 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 49136 0 0 0 5085 9 0 0 20 0 1 0 66985952 347328512 68429 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 84797 68429 3936 3530 0 76248 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 339188 KiB
Current children cumulated memory: 273716 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 78759
/proc/meminfo: memFree=123322964/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=407372 memory=318784 CPUtime=101.99 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 56839 0 0 0 10187 12 0 0 20 0 1 0 66985952 417148928 79696 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 101843 79696 3936 3530 0 93294 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 407372 KiB
Current children cumulated memory: 318784 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 78761
/proc/meminfo: memFree=123302056/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=480856 memory=366784 CPUtime=161.83 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 68889 0 0 0 16169 14 0 0 20 0 1 0 66985952 492396544 91696 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 120214 91696 3936 3530 0 111665 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 480856 KiB
Current children cumulated memory: 366784 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 78854
/proc/meminfo: memFree=124672604/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=541288 memory=408896 CPUtime=221.68 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 79405 0 0 0 22151 17 0 0 20 0 1 0 66985952 554278912 102224 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 135322 102224 3936 3530 0 126773 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 541288 KiB
Current children cumulated memory: 408896 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 78858
/proc/meminfo: memFree=123517520/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=583440 memory=430656 CPUtime=281.52 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 84841 0 0 0 28134 18 0 0 20 0 1 0 66985952 597442560 107664 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 145860 107664 3936 3530 0 137311 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 583440 KiB
Current children cumulated memory: 430656 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 78860
/proc/meminfo: memFree=123128864/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=620360 memory=446656 CPUtime=341.36 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 88874 0 0 0 34116 20 0 0 20 0 1 0 66985952 635248640 111664 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 155090 111664 3936 3530 0 146541 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 620360 KiB
Current children cumulated memory: 446656 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 78862
/proc/meminfo: memFree=122835756/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=653200 memory=461248 CPUtime=401.21 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 92506 0 0 0 40100 21 0 0 20 0 1 0 66985952 668876800 115312 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 163300 115312 3936 3530 0 154751 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 653200 KiB
Current children cumulated memory: 461248 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 78866
/proc/meminfo: memFree=122187764/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1070632 memory=837600 CPUtime=461.05 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 98743 0 0 0 46076 29 0 0 20 0 1 0 66985952 1096327168 209400 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 267658 209400 3936 3530 0 259109 0
Current children cumulated CPU time: 461.05 s
Current children cumulated vsize: 1070632 KiB
Current children cumulated memory: 837600 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 78873
/proc/meminfo: memFree=121945884/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1087088 memory=845152 CPUtime=520.89 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100629 0 0 0 52059 30 0 0 20 0 1 0 66985952 1113178112 211288 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 271772 211288 3936 3530 0 263223 0
Current children cumulated CPU time: 520.89 s
Current children cumulated vsize: 1087088 KiB
Current children cumulated memory: 845152 KiB
[startup+537.777 s]
# the end of solver process 78755 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=536.008 s, system=0.32503 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 78873
/proc/meminfo: memFree=121946136/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1087776 memory=845152 CPUtime=523.39 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100631 0 0 0 52309 30 0 0 20 0 1 0 66985952 1113882624 211288 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 271944 211288 3936 3530 0 263395 0
Current children cumulated CPU time: 523.39 s
Current children cumulated vsize: 1087776 KiB
Current children cumulated memory: 845152 KiB
[startup+531.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78873
/proc/meminfo: memFree=121938836/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1088084 memory=845536 CPUtime=529.77 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100717 0 0 0 52947 30 0 0 20 0 1 0 66985952 1114198016 211384 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 272021 211384 3936 3530 0 263472 0
Current children cumulated CPU time: 529.77 s
Current children cumulated vsize: 1088084 KiB
Current children cumulated memory: 845536 KiB
[startup+534.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78873
/proc/meminfo: memFree=121936984/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1088216 memory=845664 CPUtime=532.96 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100768 0 0 0 53266 30 0 0 20 0 1 0 66985952 1114333184 211416 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 272054 211416 3936 3530 0 263505 0
Current children cumulated CPU time: 532.96 s
Current children cumulated vsize: 1088216 KiB
Current children cumulated memory: 845664 KiB
[startup+536 s]*
/proc/loadavg: 4.08 4.08 4.09 5/265 78873
/proc/meminfo: memFree=121937236/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1089148 memory=846560 CPUtime=534.56 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100977 0 0 0 53426 30 0 0 20 0 1 0 66985952 1115287552 211640 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 272287 211640 3936 3530 0 263738 0
Current children cumulated CPU time: 534.56 s
Current children cumulated vsize: 1089148 KiB
Current children cumulated memory: 846560 KiB
[startup+536.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78873
/proc/meminfo: memFree=121937236/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1089148 memory=846560 CPUtime=535.35 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100978 0 0 0 53505 30 0 0 20 0 1 0 66985952 1115287552 211640 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 272287 211640 3936 3530 0 263738 0
Current children cumulated CPU time: 535.35 s
Current children cumulated vsize: 1089148 KiB
Current children cumulated memory: 846560 KiB
[startup+537.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78873
/proc/meminfo: memFree=121937236/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1089148 memory=846560 CPUtime=535.75 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100979 0 0 0 53545 30 0 0 20 0 1 0 66985952 1115287552 211640 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 272287 211640 3936 3530 0 263738 0
Current children cumulated CPU time: 535.75 s
Current children cumulated vsize: 1089148 KiB
Current children cumulated memory: 846560 KiB
[startup+537.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78873
/proc/meminfo: memFree=121937236/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1087736 memory=845272 CPUtime=536.15 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100980 0 0 0 53585 30 0 0 20 0 1 0 66985952 1113841664 211318 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 271934 211318 3936 3530 0 263385 0
Current children cumulated CPU time: 536.15 s
Current children cumulated vsize: 1087736 KiB
Current children cumulated memory: 845272 KiB
[startup+537.7 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78873
/proc/meminfo: memFree=121937236/131250000 swapFree=33010416/33010684
[pid=78755] ppid=78752 vsize=1087736 memory=845272 CPUtime=536.25 cores=1,3
/proc/78755/stat : 78755 (pbscip) R 78752 78755 77358 0 -1 4194304 100980 0 0 0 53595 30 0 0 20 0 1 0 66985952 1113841664 211318 18446744073709551615 4235264 18693293 140727500816576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 41885696 140727500822921 140727500823020 140727500823020 140727500828622 0
/proc/78755/statm: 271934 211318 3936 3530 0 263385 0
Current children cumulated CPU time: 536.25 s
Current children cumulated vsize: 1087736 KiB
Current children cumulated memory: 845272 KiB
Child status: 0
Real time (s): 537.777
CPU time (s): 536.333
CPU user time (s): 536.008
CPU system time (s): 0.32503
CPU usage (%): 99.7314
Max. virtual memory (cumulated for all children) (KiB): 1089148
Max. memory (cumulated for all children) (KiB): 846560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 536.008
system time used= 0.32503
maximum resident set size= 846560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100987
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= 80
involuntary context switches= 1204
# summary of solver processes directly reported to runsolver:
# pid: 78755
# total CPU time (s): 536.333
# total CPU user time (s): 536.008
# total CPU system time (s): 0.32503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02203 second user time and 2.21341 second system time
The end
Begin job on nodeC018 at 2025-07-03 05:24:41 IDJOB=4509158 IDBENCH=158598 IDSOLVER=3365 FILE ID=nodeC018/4509158-1751513081 RUNJOBID= nodeC018-1751506081-77370 SLURM_JOB_ID= 9598599 Free space on /tmp= 432860 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509158-1751513081/watcher-4509158-1751513081 -o /tmp/evaluation-result-4509158-1751513081/solver-4509158-1751513081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751506081-77370 --watchdog 3760 pbscip -f HOME/instance-4509158-1751513081.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90 RANDOM SEED=1760206123 nodeC018 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.831 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.66 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 : 3584.128 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.66 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 : 3629.378 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.66 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 : 3599.836 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.66 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.826 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.66 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 : 3599.820 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.66 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 : 3598.141 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.66 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.849 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 123631944 kB MemAvailable: 123640540 kB Buffers: 2128 kB Cached: 774000 kB SwapCached: 32 kB Active: 6515216 kB Inactive: 357172 kB Active(anon): 6114016 kB Inactive(anon): 288 kB Active(file): 401200 kB Inactive(file): 356884 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18680 kB Writeback: 0 kB AnonPages: 6095520 kB Mapped: 139304 kB Shmem: 18044 kB KReclaimable: 179104 kB Slab: 269452 kB SReclaimable: 179104 kB SUnreclaim: 90348 kB KernelStack: 4240 kB PageTables: 15544 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 6847560 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4155392 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432848 MiB End job on nodeC018 at 2025-07-03 05:33:39