0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4523665-1751594579.opb>
0.19/0.25 c original problem has 1450 variables (1450 bin, 0 int, 0 cont) and 2030 constraints
0.19/0.25 c problem read in 0.251 seconds
0.36/0.42 c presolving:
0.63/0.77 c (round 1, fast) 2 del vars, 2 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs
0.63/0.77 c (round 2, fast) 2 del vars, 11 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs
0.83/0.96 c (1.0s) running MILP presolver
33.22/33.44 c (33.4s) MILP presolver (2 rounds): 0 aggregations, 1 fixings, 0 bound changes
33.22/33.46 c (round 3, exhaustive) 3 del vars, 16 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 935 clqs
33.31/33.57 c (round 4, exhaustive) 3 del vars, 16 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 2004 upgd conss, 0 impls, 935 clqs
34.83/35.02 c (round 5, exhaustive) 3 del vars, 16 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 2014 upgd conss, 0 impls, 935 clqs
36.92/37.15 c (37.1s) probing: 205/1447 (14.2%) - 0 fixings, 0 aggregations, 62068 implications, 0 bound changes
36.92/37.15 c (37.1s) probing aborted: 50/50 successive totally useless probings
37.11/37.39 c (37.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
37.21/37.46 c (37.5s) no symmetry present (symcode time: 0.00)
37.30/37.57 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
37.30/37.57 c 3 deleted vars, 16 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
37.30/37.57 c 0 implications, 63003 cliques
37.30/37.57 c presolved problem has 1447 variables (1447 bin, 0 int, 0 cont) and 2014 constraints
37.30/37.57 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
37.30/37.57 c 1079 constraints of type <knapsack>
37.30/37.57 c 935 constraints of type <setppc>
37.30/37.57 c transformed objective value is always integral (scale: 1)
37.30/37.57 c Presolving Time: 37.14
37.30/37.57 c
37.30/37.57 c - non default parameters ----------------------------------------------------------------------
37.30/37.57 c
37.30/37.57 c # SCIP version 10.0.0
37.30/37.57 c
37.30/37.57 c # maximal time in seconds to run
37.30/37.57 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
37.30/37.57 c limits/time = 3596.995067
37.30/37.57 c
37.30/37.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.30/37.57 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
37.30/37.57 c limits/memory = 27900
37.30/37.57 c
37.30/37.57 c # belongs reading time to solving time?
37.30/37.57 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
37.30/37.57 c timing/reading = TRUE
37.30/37.57 c
37.30/37.57 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
37.30/37.57 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
37.30/37.57 c reading/opbreader/maxintsize = 47
37.30/37.57 c
37.30/37.57 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
37.30/37.57 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
37.30/37.57 c propagating/genvbounds/timingmask = 0
37.30/37.57 c
37.30/37.57 c -----------------------------------------------------------------------------------------------
37.30/37.57 c
40.99/41.29 o 157
40.99/41.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.99/41.29 c p41.3s| 1 | 0 | 529 | - |shiftand| 0 |1447 |2028 |2014 | 0 | 0 | 16 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
41.09/41.38 c 41.4s| 1 | 0 | 998 | - | 359M | 0 |1447 |2018 |2014 | 0 | 0 | 16 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
72.89/73.28 c 73.3s| 1 | 0 | 2126 | - | 388M | 0 |1447 |2199 |2198 | 184 | 1 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
73.59/73.96 c 74.0s| 1 | 0 | 2410 | - | 415M | 0 |1447 |2199 |2360 | 346 | 2 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
74.29/74.61 c 74.6s| 1 | 0 | 2728 | - | 432M | 0 |1447 |2199 |2616 | 602 | 3 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
74.80/75.11 c 75.1s| 1 | 0 | 2850 | - | 454M | 0 |1447 |2199 |2719 | 705 | 4 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
75.28/75.64 c 75.6s| 1 | 0 | 3032 | - | 472M | 0 |1447 |2200 |2817 | 803 | 5 | 18 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
75.79/76.15 c 76.1s| 1 | 0 | 3188 | - | 485M | 0 |1447 |2200 |2917 | 903 | 6 | 18 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
76.29/76.65 c 76.7s| 1 | 0 | 3296 | - | 516M | 0 |1447 |2200 |2991 | 977 | 7 | 18 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
76.88/77.26 c 77.3s| 1 | 0 | 3376 | - | 525M | 0 |1447 |2200 |3058 |1044 | 8 | 18 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
77.48/77.89 c 77.9s| 1 | 0 | 3470 | - | 563M | 0 |1447 |2201 |3108 |1094 | 9 | 19 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
78.17/78.58 c 78.6s| 1 | 0 | 3555 | - | 564M | 0 |1447 |2202 |3141 |1127 | 10 | 20 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
78.47/78.89 c 78.9s| 1 | 0 | 3672 | - | 564M | 0 |1447 |2202 |3209 |1195 | 11 | 20 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
78.79/79.18 c 79.2s| 1 | 0 | 3799 | - | 568M | 0 |1447 |2202 |3258 |1244 | 12 | 20 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
79.08/79.47 c 79.5s| 1 | 0 | 3881 | - | 571M | 0 |1447 |2202 |3300 |1286 | 13 | 20 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
94.12/94.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.12/94.50 c 94.5s| 1 | 2 | 26595 | - | 571M | 0 |1447 |2246 |3300 |1286 | 13 | 64 | 13 | 1.000000e+00 | 1.570000e+02 | Large | unknown
621.18/623.33 c 623s| 100 | 101 |486517 |4880.5 | 628M | 17 |1447 |2332 |2146 |2038 | 1 | 154 | 234 | 1.000000e+00 | 1.570000e+02 | Large | unknown
904.44/907.34 c 907s| 200 | 191 |771133 |3858.2 | 696M | 17 |1447 |2366 |2145 |2851 | 1 | 192 | 356 | 1.000000e+00 | 1.570000e+02 | Large | unknown
1117.87/1121.30 c 1121s| 300 | 273 | 1040k|3469.0 | 748M | 19 |1447 |2400 |2205 |4096 | 2 | 241 | 455 | 1.000000e+00 | 1.570000e+02 | Large | unknown
1357.68/1361.75 c 1362s| 400 | 373 | 1212k|3031.7 | 746M | 21 |1447 |2416 |2154 |4745 | 1 | 259 | 537 | 1.000000e+00 | 1.570000e+02 | Large | unknown
1535.82/1540.39 c 1540s| 500 | 473 | 1448k|2897.0 | 747M | 21 |1447 |2420 |2166 |5797 | 1 | 271 | 620 | 1.000000e+00 | 1.570000e+02 | Large | unknown
1684.44/1689.39 c 1689s| 600 | 573 | 1624k|2706.3 | 748M | 23 |1447 |2431 |2145 |6393 | 1 | 289 | 690 | 1.000000e+00 | 1.570000e+02 | Large | unknown
1829.65/1835.00 c 1835s| 700 | 673 | 1782k|2545.9 | 749M | 25 |1447 |2433 |2181 |7364 | 1 | 299 | 762 | 1.000000e+00 | 1.570000e+02 | Large | unknown
1909.04/1914.52 c 1915s| 800 | 773 | 1921k|2401.0 | 750M | 25 |1447 |2430 |2177 |8416 | 1 | 304 | 815 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2000.40/2006.18 c 2006s| 900 | 873 | 2115k|2349.3 | 750M | 25 |1447 |2439 |2186 |9470 | 1 | 316 | 825 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2132.63/2138.71 c 2139s| 1000 | 973 | 2315k|2314.0 | 750M | 25 |1447 |2470 |2199 | 10k| 1 | 349 | 861 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2273.74/2280.25 c 2280s| 1100 | 1073 | 2512k|2283.2 | 752M | 25 |1447 |2480 |2215 | 11k| 1 | 376 |1039 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2374.28/2381.09 c 2381s| 1200 | 1173 | 2681k|2233.6 | 750M | 25 |1447 |2460 |2151 | 12k| 1 | 383 |1122 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2507.02/2514.19 c 2514s| 1300 | 1273 | 2871k|2208.2 | 751M | 25 |1447 |2436 |2149 | 14k| 1 | 393 |1290 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2588.18/2595.51 c 2596s| 1400 | 1373 | 3030k|2163.5 | 747M | 27 |1447 |2422 |2206 | 15k| 1 | 396 |1339 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2667.82/2675.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2667.82/2675.50 c 2675s| 1500 | 1473 | 3192k|2127.8 | 748M | 27 |1447 |2418 |2295 | 16k| 1 | 404 |1359 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2789.03/2797.09 c 2797s| 1600 | 1573 | 3411k|2131.6 | 749M | 29 |1447 |2423 |2203 | 17k| 1 | 417 |1405 | 1.000000e+00 | 1.570000e+02 | Large | unknown
2900.84/2909.20 c 2909s| 1700 | 1673 | 3595k|2114.1 | 749M | 29 |1447 |2468 |2279 | 18k| 2 | 470 |1477 | 1.000000e+00 | 1.570000e+02 | Large | unknown
3005.19/3013.93 c 3014s| 1800 | 1773 | 3781k|2100.4 | 749M | 29 |1447 |2455 |2179 | 19k| 1 | 482 |1539 | 1.000000e+00 | 1.570000e+02 | Large | unknown
3100.87/3109.97 c 3110s| 1900 | 1873 | 3945k|2076.0 | 742M | 31 |1447 |2456 |2248 | 20k| 3 | 494 |1616 | 1.000000e+00 | 1.570000e+02 | Large | unknown
3245.55/3255.04 c 3255s| 2000 | 1973 | 4104k|2051.5 | 742M | 33 |1447 |2460 |2186 | 21k| 1 | 502 |1673 | 1.000000e+00 | 1.570000e+02 | Large | unknown
3334.90/3344.67 c 3345s| 2100 | 2073 | 4270k|2033.1 | 742M | 33 |1447 |2463 |2205 | 21k| 1 | 511 |1748 | 1.000000e+00 | 1.570000e+02 | Large | unknown
3451.69/3461.71 c 3462s| 2200 | 2173 | 4416k|2006.9 | 742M | 33 |1447 |2456 |2220 | 22k| 1 | 515 |1823 | 1.000000e+00 | 1.570000e+02 | Large | unknown
3586.55/3597.00 c
3586.55/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.55/3597.00 c Solving Time (sec) : 3597.00
3586.55/3597.00 c Solving Nodes : 2299
3586.55/3597.00 c Primal Bound : +1.57000000000000e+02 (1 solutions)
3586.55/3597.00 c Dual Bound : +1.00000000000000e+00
3586.55/3597.00 c Gap : 15600.00 %
3586.66/3597.01 s SATISFIABLE
3586.66/3597.01 v x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315
3586.66/3597.01 v x1316 x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 x1336 x1337
3586.66/3597.01 v x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359
3586.66/3597.01 v x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 x1381
3586.66/3597.01 v x1382 x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403
3586.66/3597.01 v x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425
3586.66/3597.01 v x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 x1442 x1443 x1444 x1445 x1446 -x1447
3586.66/3597.01 v -x1448 -x1449 -x1450 x795 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23
3586.66/3597.01 v -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49
3586.66/3597.01 v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75
3586.66/3597.01 v -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101
3586.66/3597.01 v -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
3586.66/3597.01 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3586.66/3597.01 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
3586.66/3597.01 v -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189
3586.66/3597.01 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
3586.66/3597.01 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
3586.66/3597.01 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
3586.66/3597.01 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
3586.66/3597.01 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
3586.66/3597.01 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
3586.66/3597.01 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343
3586.66/3597.01 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365
3586.66/3597.01 v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 x385 -x386 -x387
3586.66/3597.01 v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409
3586.66/3597.01 v -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431
3586.66/3597.01 v -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453
3586.66/3597.01 v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475
3586.66/3597.01 v -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497
3586.66/3597.01 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519
3586.66/3597.01 v -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541
3586.66/3597.01 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563
3586.66/3597.01 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3586.66/3597.01 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
3586.66/3597.01 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
3586.66/3597.01 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
3586.66/3597.01 v -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
3586.66/3597.01 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
3586.66/3597.01 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
3586.66/3597.01 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
3586.66/3597.01 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761
3586.66/3597.01 v -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783
3586.66/3597.01 v -x784 x796 -x797 -x798 x799 -x800 x801 x802 x803 -x804 -x805 -x806 -x807 x808 x809 x810 x811 -x812 -x813 x814 x815 -x816 x817 x818
3586.66/3597.01 v -x819 -x820 -x821 -x822 -x823 -x824 x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 x834 x835 x836 x837 x838 x839 x840 x841 -x842
3586.66/3597.01 v x843 x844 -x845 -x846 -x847 x848 -x849 x850 -x851 x852 -x853 x854 -x855 x856 -x857 -x858 -x859 x860 -x861 x862 x863 -x864 -x865
3586.66/3597.01 v -x866 -x867 x868 -x869 x870 -x871 -x872 x873 -x874 x875 -x876 x877 x878 x879 -x880 -x881 -x882 -x883 -x884 x885 x886 x887 x888 -x889
3586.66/3597.01 v -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912
3586.66/3597.01 v x913 -x914 -x915 x916 x917 -x918 x919 -x920 x921 -x922 x923 x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 x932 -x933 x934 -x935
3586.66/3597.01 v -x936 -x937 -x938 -x939 x940 x941 -x942 -x943 x944 -x945 x946 x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958
3586.66/3597.01 v -x959 -x960 x961 -x962 -x963 x964 -x965 x966 x967 x968 -x969 -x970 x971 -x972 -x973 x974 -x975 -x976 x977 x978 x979 x980 -x981 -x982
3586.66/3597.01 v -x983 x984 x985 -x986 -x987 x988 -x989 x990 x991 x992 x993 x994 -x995 x996 x997 x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 x1005
3586.66/3597.01 v x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 x1013 x1014 x1015 -x1016 -x1017 -x1018 x1019 x1020 -x1021 x1022 x1023 x1024 x1025
3586.66/3597.01 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 -x1036 x1037 -x1038 x1039 -x1040 x1041 -x1042 -x1043 -x1044
3586.66/3597.01 v x1045 -x1046 x1047 -x1048 x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 x1056 x1057 x1058 x1059 x1060 -x1061 -x1062 x1063 x1064
3586.66/3597.01 v x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 x1073 -x1074 x1075 -x1076 x1077 -x1078 x1079 x1080 -x1081 x1082 x1083 x1084
3586.66/3597.01 v -x1085 -x1086 x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 x1097 -x1098 x1099 x1100 x1101 x1102 x1103 x1104
3586.66/3597.01 v -x1105 x1106 x1107 x1108 -x1109 -x1110 -x1111 -x1112 x1113 x1114 -x1115 -x1116 -x1117 x1118 x1119 x1120 x1121 x1122 x1123 -x1124
3586.66/3597.01 v -x1125 -x1126 x1127 -x1128 -x1129 -x1130 x1131 -x1132 x1133 -x1134 x1135 -x1136 x1137 x1138 x1139 -x1140 -x1141 x1142 -x1143 x1144
3586.66/3597.01 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 -x1153 x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
3586.66/3597.01 v -x1164 x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 -x1175 -x1176 x1177 -x1178 x1179 x1180 x1181 x1182 x1183
3586.66/3597.01 v x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 x1201 -x1202 x1203
3586.66/3597.01 v -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217 x1218 x1219 -x1220 x1221 -x1222 x1223
3586.66/3597.01 v x1224 x1225 -x1226 x1227 -x1228 x1229 x1230 x1231 -x1232 -x1233 -x1234 -x1235 x1236 x1237 x1238 x1239 x1240 x1241 -x1242 -x1243
3586.66/3597.01 v -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 x1251 x1252 -x1253 x1254 x1255 x1256 x1257 -x1258 x1259 -x1260 x1261 -x1262 x1263
3586.66/3597.01 v x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 x1278 x1279 x1280 -x1281 x1282 -x1283 -x1284
3586.66/3597.01 v x1285 -x1286 -x1287 -x1288 x1289 x1290 -x1291 x1292 x1293 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794
3586.66/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.66/3597.01 c Total Time : 3597.00
3586.66/3597.01 c solving : 3597.00
3586.66/3597.01 c presolving : 37.14 (included in solving)
3586.66/3597.01 c reading : 0.25 (included in solving)
3586.66/3597.01 c copying : 0.76 (34 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3586.66/3597.01 c Original Problem :
3586.66/3597.01 c Problem name : HOME/instance-4523665-1751594579.opb
3586.66/3597.01 c Variables : 1450 (1450 binary, 0 integer, 0 continuous)
3586.66/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.66/3597.01 c Constraints : 2030 initial, 2030 maximal
3586.66/3597.01 c Objective : minimize, 157 non-zeros (abs.min = 1, abs.max = 65)
3586.66/3597.01 c Presolved Problem :
3586.66/3597.01 c Problem name : t_HOME/instance-4523665-1751594579.opb
3586.66/3597.01 c Variables : 1447 (1447 binary, 0 integer, 0 continuous)
3586.66/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.66/3597.01 c Constraints : 2014 initial, 2483 maximal
3586.66/3597.01 c Objective : minimize, 156 non-zeros (abs.min = 1, abs.max = 65)
3586.66/3597.01 c Nonzeros : 399189 constraint, 122973 clique table
3586.66/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.66/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c domcol : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c dualsparsify : 0.24 0.00 1 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c milp : 32.66 0.00 1 1 0 0 0 0 0 0 0 0
3586.66/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c probing : 2.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c knapsack : 1.46 0.01 6 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c setppc : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c linear : 0.46 0.13 8 1 1 0 1 0 16 0 0 0
3586.66/3597.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c components : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c root node : - - - 10 - - 10 - - - - -
3586.66/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.66/3597.01 c integral : 0 0 0 0 2319 0 0 358 0 0 95 0 0 76 4570
3586.66/3597.01 c knapsack : 1079+ 1084 13 128413 0 0 0 352 2625 70 29 2682 0 0 0
3586.66/3597.01 c setppc : 935+ 965 13 128308 0 0 0 1 36048 52 4172 0 0 0 0
3586.66/3597.01 c linear : 0+ 216 13 120275 0 0 0 3 42 36 35 0 0 0 0
3586.66/3597.01 c logicor : 0+ 253 13 6084 0 0 0 0 11 37 360 0 0 0 0
3586.66/3597.01 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
3586.66/3597.01 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
3586.66/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.66/3597.01 c integral : 607.23 0.00 0.00 0.00 607.23 0.00 0.00 0.00 0.00 0.00
3586.66/3597.01 c knapsack : 28.32 0.01 1.33 14.64 0.00 0.00 0.00 0.03 0.02 12.29
3586.66/3597.01 c setppc : 4.26 0.00 0.00 2.08 0.00 0.00 0.00 0.00 0.01 2.17
3586.66/3597.01 c linear : 0.22 0.13 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.02
3586.66/3597.01 c logicor : 0.04 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.02
3586.66/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.66/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.66/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.66/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.66/3597.01 c dualfix : 3 0 0 0
3586.66/3597.01 c genvbounds : 0 0 0 0
3586.66/3597.01 c nlobbt : 0 0 0 0
3586.66/3597.01 c obbt : 0 0 0 0
3586.66/3597.01 c probing : 0 0 0 0
3586.66/3597.01 c pseudoobj : 6378 0 0 7
3586.66/3597.01 c redcost : 5489 0 0 0
3586.66/3597.01 c rootredcost : 1 0 0 0
3586.66/3597.01 c symmetry : 0 0 0 0
3586.66/3597.01 c vbounds : 98164 0 0 0
3586.66/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.66/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.66/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.66/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.66/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.66/3597.01 c probing : 2.02 0.00 2.02 0.00 0.00 0.00
3586.66/3597.01 c pseudoobj : 0.11 0.00 0.00 0.11 0.00 0.00
3586.66/3597.01 c redcost : 0.14 0.00 0.00 0.14 0.00 0.00
3586.66/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.66/3597.01 c symmetry : 0.08 0.00 0.07 0.01 0.00 0.01
3586.66/3597.01 c vbounds : 0.03 0.00 0.00 0.01 0.00 0.01
3586.66/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.66/3597.01 c propagation : 0.04 160 112 - 244 477.2 0 0.0 - - -
3586.66/3597.01 c infeasible LP : 0.22 208 207 - 470 115.3 0 0.0 107 400.3 0
3586.66/3597.01 c bound exceed. LP : 0.10 20 1 - 3 126.0 0 0.0 0 0.0 190
3586.66/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.66/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.66/3597.01 c applied globally : 0.04 - - 0 411 47.5 - - 107 - -
3586.66/3597.01 c applied locally : - - - 0 3 563.3 - - 0 - -
3586.66/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.66/3597.01 c cut pool : 3.44 - 735 25 - - 21031 153168 - - - - - (maximal pool size: 11317)
3586.66/3597.01 c aggregation : 3.24 0.00 147 13 0 0 11669 88043 1 8748 8748 0 0
3586.66/3597.01 c > cmir : - - - - - - - 64554 0 7395 7395 0 -
3586.66/3597.01 c > flowcover : - - - - - - - 4255 0 938 938 0 -
3586.66/3597.01 c > knapsackcover : - - - - - - - 19234 1 415 415 0 -
3586.66/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c clique : 0.05 0.00 13 13 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c gomory : 13.34 0.00 139 10 0 0 8390 23270 0 1373 1373 0 0
3586.66/3597.01 c > gomorymi : - - - - - - - 10205 0 485 485 0 -
3586.66/3597.01 c > strongcg : - - - - - - - 13065 0 888 888 0 -
3586.66/3597.01 c impliedbounds : 0.24 0.00 147 13 0 0 743 28165 0 10420 10420 0 0
3586.66/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c multilinear : 0.00 0.00 176 13 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c rapidlearning : 715.23 0.00 22 1 0 24 0 0 0 0 0 0 362
3586.66/3597.01 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.66/3597.01 c zerohalf : 0.32 0.00 142 13 0 0 230 13690 0 3223 3223 0 0
3586.66/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.66/3597.01 c hybrid : 1.04 0.00 587 13 23765 0 132086 1286 0 15733
3586.66/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.66/3597.02 c problem variables: 0.00 - 0 0
3586.66/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.66/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c relpscost : 607.23 0.00 2319 0 0 0 95 0 93 4570
3586.66/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.66/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.66/3597.02 c LP solutions : 0.00 - - 0 0
3586.66/3597.02 c relax solutions : 0.00 - - 0 0
3586.66/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.66/3597.02 c strong branching : 0.01 - - 0 0
3586.66/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.66/3597.02 c adaptivediving : 26.36 0.00 6 0 0
3586.66/3597.02 c alns : 13.00 0.00 4 0 0
3586.66/3597.02 c bound : 0.00 0.00 0 0 0
3586.66/3597.02 c clique : 0.87 0.00 1 0 0
3586.66/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.66/3597.02 c completesol : 0.00 0.00 0 0 0
3586.66/3597.02 c conflictdiving : 92.90 0.00 19 0 0
3586.66/3597.02 c crossover : 0.00 0.00 0 0 0
3586.66/3597.02 c dins : 0.00 0.00 0 0 0
3586.66/3597.02 c distributiondivin: 99.63 0.00 19 0 0
3586.66/3597.02 c dks : 0.00 0.00 0 0 0
3586.66/3597.02 c dps : 0.00 0.00 0 0 0
3586.66/3597.02 c dualval : 0.00 0.00 0 0 0
3586.66/3597.02 c farkasdiving : 3.62 0.00 1 0 0
3586.66/3597.02 c feaspump : 17.20 0.00 9 0 0
3586.66/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.66/3597.02 c fracdiving : 142.44 0.00 15 0 0
3586.66/3597.02 c gins : 0.03 0.00 0 0 0
3586.66/3597.02 c guideddiving : 101.92 0.00 16 0 0
3586.66/3597.02 c indicator : 0.00 0.00 0 0 0
3586.66/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.66/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.66/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.66/3597.02 c linesearchdiving : 142.93 0.00 18 0 0
3586.66/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.66/3597.02 c locks : 0.27 0.00 1 0 0
3586.66/3597.02 c lpface : 2.45 0.00 1 0 0
3586.66/3597.02 c mpec : 0.00 0.00 0 0 0
3586.66/3597.02 c multistart : 0.00 0.00 0 0 0
3586.66/3597.02 c mutation : 0.00 0.00 0 0 0
3586.66/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.66/3597.02 c objpscostdiving : 28.55 0.00 10 0 0
3586.66/3597.02 c octane : 0.00 0.00 0 0 0
3586.66/3597.02 c ofins : 0.00 0.00 0 0 0
3586.66/3597.02 c oneopt : 0.01 0.00 1 0 0
3586.66/3597.02 c padm : 0.00 0.00 0 0 0
3586.66/3597.02 c proximity : 0.00 0.00 0 0 0
3586.66/3597.02 c pscostdiving : 128.94 0.00 13 0 0
3586.66/3597.02 c randrounding : 0.23 0.00 352 0 0
3586.66/3597.02 c rens : 0.05 0.00 1 0 0
3586.66/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.66/3597.02 c repair : 0.00 0.00 0 0 0
3586.66/3597.02 c rins : 65.53 0.00 5 0 0
3586.66/3597.02 c rootsoldiving : 24.26 0.00 5 0 0
3586.66/3597.02 c rounding : 1.37 0.00 698 0 0
3586.66/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.66/3597.02 c shiftandpropagate: 0.37 0.00 1 1 1
3586.66/3597.02 c shifting : 5.61 0.00 334 0 0
3586.66/3597.02 c simplerounding : 0.00 0.00 2916 0 0
3586.66/3597.02 c subnlp : 0.00 0.00 0 0 0
3586.66/3597.02 c trivial : 0.00 0.00 2 0 0
3586.66/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.66/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.66/3597.02 c trysol : 0.00 0.00 0 0 0
3586.66/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.66/3597.02 c undercover : 0.00 0.00 0 0 0
3586.66/3597.02 c vbounds : 2.21 0.00 1 0 0
3586.66/3597.02 c veclendiving : 134.29 0.00 18 0 0
3586.66/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.66/3597.02 c zirounding : 0.23 0.00 1000 0 0
3586.66/3597.02 c other solutions : - - - 0 -
3586.66/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.66/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.66/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.66/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.66/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.66/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.66/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.66/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.66/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.66/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.66/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.66/3597.02 c primal LP : 1.86 338 0 0.00 0.00 1.86 338
3586.66/3597.02 c dual LP : 1171.02 2932 2782668 953.29 2376.27 0.14 13
3586.66/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.66/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.66/3597.02 c resolve instable : 0.00 0 0 0.00 -
3586.66/3597.02 c diving/probing LP: 940.74 1811 1826493 1008.55 1941.54
3586.66/3597.02 c strong branching : 564.27 1880 1200347 638.48 2127.25 - - 2088
3586.66/3597.02 c (at root node) : - 13 11543 887.92 -
3586.66/3597.02 c conflict analysis: 0.09 19 190 10.00 2108.30
3586.66/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.66/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3586.66/3597.02 c B&B Tree :
3586.66/3597.02 c number of runs : 1
3586.66/3597.02 c nodes : 2299 (2285 internal, 14 leaves)
3586.66/3597.02 c feasible leaves : 0
3586.66/3597.02 c infeas. leaves : 14
3586.66/3597.02 c objective leaves : 0
3586.66/3597.02 c nodes (total) : 2299 (2285 internal, 14 leaves)
3586.66/3597.02 c nodes left : 2272
3586.66/3597.02 c max depth : 33
3586.66/3597.02 c max depth (total): 33
3586.66/3597.02 c backtracks : 164 (7.1%)
3586.66/3597.02 c early backtracks : 0 (0.0%)
3586.66/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.66/3597.02 c delayed cutoffs : 0
3586.66/3597.02 c repropagations : 33 (24 domain reductions, 0 cutoffs)
3586.66/3597.02 c avg switch length: 2.70
3586.66/3597.02 c switching time : 2.44
3586.66/3597.02 c Root Node :
3586.66/3597.02 c First LP value : +1.00000000000000e+00
3586.66/3597.02 c First LP Iters : 469 (7190.05 Iter/sec)
3586.66/3597.02 c First LP Time : 0.07
3586.66/3597.02 c Final Dual Bound : +1.00000000000000e+00
3586.66/3597.02 c Final Root Iters : 3352
3586.66/3597.02 c Root LP Estimate : +8.25792869723417e+00
3586.66/3597.02 c Solution :
3586.66/3597.02 c Solutions found : 1 (1 improvements)
3586.66/3597.02 c First Solution : +1.57000000000000e+02 (in run 1, after 1 nodes, 41.29 seconds, depth 786, found by <shiftandpropagate>)
3586.66/3597.02 c Gap First Sol. : 15600.00 %
3586.66/3597.02 c Gap Last Sol. : 15600.00 %
3586.66/3597.02 c Primal Bound : +1.57000000000000e+02 (in run 1, after 1 nodes, 41.29 seconds, depth 786, found by <shiftandpropagate>)
3586.66/3597.02 c Dual Bound : +1.00000000000000e+00
3586.66/3597.02 c Gap : 15600.00 %
3586.66/3597.02 c Integrals : Total Avg%
3586.66/3597.02 c primal-dual : 357435.00 99.37
3586.66/3597.02 c primal-ref : - - (not evaluated)
3586.66/3597.02 c dual-ref : - - (not evaluated)
3586.76/3597.13 c Time complete (sec): 3586.782
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: 63794 MiB (62491 MiB free)
memory of node 1: 64507 MiB (62018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523665-1751594579/watcher-4523665-1751594579 -o /tmp/evaluation-result-4523665-1751594579/solver-4523665-1751594579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84096 --watchdog 3760 pbsolver -f HOME/instance-4523665-1751594579.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84560, runsolver pid=84557
[startup+0.100069 s]*
/proc/loadavg: 4.11 4.18 4.17 5/249 84561
/proc/meminfo: memFree=127490796/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=26240 memory=15872 CPUtime=0.09 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 2000 0 0 0 9 0 0 0 20 0 1 0 75137654 26869760 3968 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 6560 3968 2176 2575 0 3467 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26240 KiB
Current children cumulated memory: 15872 KiB
[startup+0.212946 s]*
/proc/loadavg: 4.11 4.18 4.17 5/249 84561
/proc/meminfo: memFree=127482732/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=29340 memory=19072 CPUtime=0.19 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 2790 0 0 0 18 1 0 0 20 0 1 0 75137654 30044160 4768 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 7335 4768 2176 2575 0 4242 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29340 KiB
Current children cumulated memory: 19072 KiB
[startup+0.313656 s]*
/proc/loadavg: 4.11 4.18 4.17 5/249 84561
/proc/meminfo: memFree=127467536/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=48736 memory=40064 CPUtime=0.28 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 7896 0 0 0 26 2 0 0 20 0 1 0 75137654 49905664 10016 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 12184 10016 2368 2575 0 9091 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48736 KiB
Current children cumulated memory: 40064 KiB
[startup+0.700167 s]
/proc/loadavg: 4.11 4.18 4.17 5/249 84561
/proc/meminfo: memFree=127419656/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=94116 memory=84532 CPUtime=0.63 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 19995 0 0 0 58 5 0 0 20 0 1 0 75137654 96374784 21133 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 23529 21133 2432 2575 0 20436 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 94116 KiB
Current children cumulated memory: 84532 KiB
[startup+1.50012 s]
/proc/loadavg: 4.11 4.18 4.17 5/249 84561
/proc/meminfo: memFree=127358600/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=145820 memory=135576 CPUtime=1.42 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 28815 0 0 0 134 8 0 0 20 0 1 0 75137654 149319680 33894 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 36455 33894 2496 2575 0 33362 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 145820 KiB
Current children cumulated memory: 135576 KiB
[startup+3.10518 s]
/proc/loadavg: 4.11 4.18 4.17 5/249 84561
/proc/meminfo: memFree=127358620/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=145820 memory=135576 CPUtime=3.01 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 28820 0 0 0 293 8 0 0 20 0 1 0 75137654 149319680 33894 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 36455 33894 2496 2575 0 33362 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 145820 KiB
Current children cumulated memory: 135576 KiB
[startup+6.30023 s]
/proc/loadavg: 4.10 4.18 4.17 5/249 84561
/proc/meminfo: memFree=127359148/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=145820 memory=135576 CPUtime=6.19 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 28825 0 0 0 611 8 0 0 20 0 1 0 75137654 149319680 33894 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 36455 33894 2496 2575 0 33362 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 145820 KiB
Current children cumulated memory: 135576 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.18 4.17 5/250 84563
/proc/meminfo: memFree=127351208/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=145820 memory=135576 CPUtime=12.57 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 28830 0 0 0 1249 8 0 0 20 0 1 0 75137654 149319680 33894 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 36455 33894 2496 2575 0 33362 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 145820 KiB
Current children cumulated memory: 135576 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.18 4.17 5/250 84563
/proc/meminfo: memFree=127324340/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=145820 memory=135576 CPUtime=25.34 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 28830 0 0 0 2526 8 0 0 20 0 1 0 75137654 149319680 33894 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 36455 33894 2496 2575 0 33362 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 145820 KiB
Current children cumulated memory: 135576 KiB
[startup+51.1128 s]
/proc/loadavg: 4.17 4.19 4.17 5/250 84608
/proc/meminfo: memFree=127606448/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=582992 memory=545324 CPUtime=50.87 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 96484 0 0 0 5066 21 0 0 20 0 1 0 75137654 596983808 136331 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 145748 136331 2656 2575 0 142655 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 582992 KiB
Current children cumulated memory: 545324 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/250 84609
/proc/meminfo: memFree=126995380/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=758376 memory=714056 CPUtime=101.89 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 149754 0 0 0 10157 32 0 0 20 0 1 0 75137654 776577024 178514 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 189594 178514 2688 2575 0 186501 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 758376 KiB
Current children cumulated memory: 714056 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/250 84611
/proc/meminfo: memFree=126851700/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=746032 memory=709240 CPUtime=161.69 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 158520 0 0 0 16135 34 0 0 20 0 1 0 75137654 763936768 177310 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 186508 177310 2688 2575 0 183415 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 746032 KiB
Current children cumulated memory: 709240 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/250 84658
/proc/meminfo: memFree=126635628/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=746032 memory=709240 CPUtime=221.46 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 158545 0 0 0 22112 34 0 0 20 0 1 0 75137654 763936768 177310 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 186508 177310 2688 2575 0 183415 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 746032 KiB
Current children cumulated memory: 709240 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/251 84661
/proc/meminfo: memFree=126567580/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=746032 memory=709292 CPUtime=281.27 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 172339 0 0 0 28090 37 0 0 20 0 1 0 75137654 763936768 177323 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 186508 177323 2688 2575 0 183415 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 746032 KiB
Current children cumulated memory: 709292 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/251 84670
/proc/meminfo: memFree=126517672/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=789468 memory=752508 CPUtime=341.09 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 190583 0 0 0 34067 42 0 0 20 0 1 0 75137654 808415232 188127 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 197367 188127 2688 2575 0 194274 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 789468 KiB
Current children cumulated memory: 752508 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.16 4.16 5/251 84672
/proc/meminfo: memFree=126513180/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=784364 memory=747168 CPUtime=400.9 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 213663 0 0 0 40043 47 0 0 20 0 1 0 75137654 803188736 186792 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 196091 186792 2688 2575 0 192998 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 784364 KiB
Current children cumulated memory: 747168 KiB
[startup+462.3 s]
/proc/loadavg: 4.74 4.33 4.22 5/250 84674
/proc/meminfo: memFree=126536560/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=746032 memory=709408 CPUtime=460.68 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 213737 0 0 0 46021 47 0 0 20 0 1 0 75137654 763936768 177352 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 186508 177352 2688 2575 0 183415 0
Current children cumulated CPU time: 460.68 s
################
# More data... #
################
/proc/loadavg: 4.12 4.14 4.16 5/251 84802
/proc/meminfo: memFree=126061628/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=900752 memory=873024 CPUtime=3212.92 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 483208 0 0 0 321189 103 0 0 20 0 1 0 75137654 922370048 218256 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 225188 218256 2944 2575 0 222095 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 900752 KiB
Current children cumulated memory: 873024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/251 84804
/proc/meminfo: memFree=126064328/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=900752 memory=873024 CPUtime=3272.76 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 483317 0 0 0 327173 103 0 0 20 0 1 0 75137654 922370048 218256 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 225188 218256 2944 2575 0 222095 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 900752 KiB
Current children cumulated memory: 873024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 84812
/proc/meminfo: memFree=126065912/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=900752 memory=873024 CPUtime=3332.6 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 483326 0 0 0 333157 103 0 0 20 0 1 0 75137654 922370048 218256 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 225188 218256 2944 2575 0 222095 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 900752 KiB
Current children cumulated memory: 873024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/250 84814
/proc/meminfo: memFree=126066588/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=900752 memory=873024 CPUtime=3392.45 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 500018 0 0 0 339139 106 0 0 20 0 1 0 75137654 922370048 218256 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 225188 218256 2944 2575 0 222095 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 900752 KiB
Current children cumulated memory: 873024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/250 84816
/proc/meminfo: memFree=126066588/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=900752 memory=873024 CPUtime=3452.29 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 500032 0 0 0 345123 106 0 0 20 0 1 0 75137654 922370048 218256 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 225188 218256 2944 2575 0 222095 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 900752 KiB
Current children cumulated memory: 873024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 84829
/proc/meminfo: memFree=126051616/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3512.15 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516956 0 0 0 351105 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/250 84876
/proc/meminfo: memFree=126877004/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3571.98 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516965 0 0 0 357088 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3597.13 s]
# the end of solver process 84560 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.68 s, system=1.10926 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.14 5/250 84876
/proc/meminfo: memFree=126877004/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3573.69 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516965 0 0 0 357259 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.14 5/250 84876
/proc/meminfo: memFree=126877004/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3580.06 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516965 0 0 0 357896 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3580.06 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.14 5/250 84876
/proc/meminfo: memFree=126856776/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3583.25 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516966 0 0 0 358215 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3583.25 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.14 5/250 84876
/proc/meminfo: memFree=126856776/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3584.85 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516966 0 0 0 358375 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3584.85 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.14 5/250 84876
/proc/meminfo: memFree=126714944/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3585.66 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516966 0 0 0 358456 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.14 5/250 84876
/proc/meminfo: memFree=126714944/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3586.45 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516966 0 0 0 358535 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.12 4.14 5/250 84876
/proc/meminfo: memFree=126646208/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=917300 memory=888380 CPUtime=3586.66 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516966 0 0 0 358556 110 0 0 20 0 1 0 75137654 939315200 222095 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 229325 222095 2944 2575 0 226232 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 917300 KiB
Current children cumulated memory: 888380 KiB
[startup+3597.11 s]
/proc/loadavg: 4.14 4.12 4.14 5/250 84876
/proc/meminfo: memFree=126646208/131382112 swapFree=33010416/33010684
[pid=84560] ppid=84557 vsize=911180 memory=882260 CPUtime=3586.76 cores=4,6
/proc/84560/stat : 84560 (pbsolver) R 84557 84560 84085 0 -1 4194304 516968 0 0 0 358566 110 0 0 20 0 1 0 75137654 933048320 220565 18446744073709551615 4198400 14743177 140734332072320 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43360256 140734332074378 140734332074474 140734332074474 140734332080076 0
/proc/84560/statm: 227795 220565 2944 2575 0 224702 0
Current children cumulated CPU time: 3586.76 s
Current children cumulated vsize: 911180 KiB
Current children cumulated memory: 882260 KiB
Child status: 0
Real time (s): 3597.13
CPU time (s): 3586.79
CPU user time (s): 3585.68
CPU system time (s): 1.10926
CPU usage (%): 99.7124
Max. virtual memory (cumulated for all children) (KiB): 972868
Max. memory (cumulated for all children) (KiB): 942756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.68
system time used= 1.10926
maximum resident set size= 942756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516994
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= 25
involuntary context switches= 1463
# summary of solver processes directly reported to runsolver:
# pid: 84560
# total CPU time (s): 3586.79
# total CPU user time (s): 3585.68
# total CPU system time (s): 1.10926
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6132 second user time and 34.1225 second system time
The end