0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4448805-1721367650.opb>
0.00/0.00 c original problem has 701 variables (701 bin, 0 int, 0 impl, 0 cont) and 351 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving:
0.00/0.00 c (round 1, fast) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.01 c (0.0s) probing: 51/700 (7.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.01 c dynamic symmetry handling statistics:
0.00/0.01 c orbitopal reduction: no components
0.00/0.01 c orbital reduction: 1 components of sizes 1
0.00/0.01 c lexicographic reduction: 2 permutations with support sizes 560, 691
0.00/0.01 c handled 1 out of 1 symmetry components
0.00/0.01 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
0.00/0.01 c 1 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 700 variables (700 bin, 0 int, 0 impl, 0 cont) and 350 constraints
0.00/0.01 c 350 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.99705
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.01 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.01 c limits/solutions = 1
0.00/0.01 c
0.00/0.01 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.01 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.01 c misc/usesymmetry = 3
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.01 c
0.00/0.01 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.01 c
0.00/0.01 c # Type of symmetries that shall be computed?
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.01 c propagating/symmetry/symtype = 1
0.00/0.01 c
0.00/0.01 c # Should components consisting of a single full reflection be handled?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c 0.0s| 1 | 0 | 385 | - | 7524k | 0 | 700 | 371 | 350 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 483 | - | 8062k | 0 | 700 | 449 | 365 | 15 | 1 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 489 | - | 8685k | 0 | 700 | 449 | 374 | 24 | 2 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 501 | - | 8740k | 0 | 700 | 449 | 378 | 28 | 3 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 504 | - | 9170k | 0 | 700 | 449 | 385 | 35 | 4 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 506 | - | 9305k | 0 | 700 | 449 | 387 | 37 | 5 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 508 | - | 9378k | 0 | 700 | 449 | 389 | 39 | 6 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 510 | - | 9501k | 0 | 700 | 449 | 392 | 42 | 7 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 512 | - | 9542k | 0 | 700 | 450 | 394 | 44 | 8 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 514 | - | 9591k | 0 | 700 | 450 | 399 | 49 | 9 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 527 | - | 9771k | 0 | 700 | 450 | 400 | 50 | 10 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 530 | - | 9917k | 0 | 700 | 450 | 401 | 51 | 11 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 531 | - | 9956k | 0 | 700 | 450 | 402 | 52 | 12 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 532 | - | 10M | 0 | 700 | 450 | 385 | 53 | 13 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.10 c 0.1s| 1 | 0 | 544 | - | 10M | 0 | 700 | 450 | 386 | 54 | 14 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.12 c 0.1s| 1 | 2 | 566 | - | 10M | 0 | 700 | 450 | 386 | 54 | 14 | 22 | 12 | 0.000000e+00 | -- | Inf | unknown
0.50/0.60 c 0.6s| 100 | 99 | 6845 | 63.6 | 11M | 18 | 700 | 661 | 352 | 161 | 1 | 234 | 12 | 0.000000e+00 | -- | Inf | unknown
0.99/1.01 c 1.0s| 200 | 199 | 8785 | 41.4 | 14M | 42 | 700 | 801 | 352 | 215 | 1 | 375 | 12 | 0.000000e+00 | -- | Inf | unknown
1.19/1.26 c 1.3s| 300 | 299 | 12051 | 38.5 | 14M | 44 | 700 | 900 | 352 | 325 | 1 | 475 | 12 | 0.000000e+00 | -- | Inf | unknown
1.39/1.45 c 1.5s| 400 | 399 | 14115 | 34.0 | 15M | 44 | 700 |1069 | 352 | 382 | 1 | 644 | 12 | 0.000000e+00 | -- | Inf | unknown
1.68/1.75 c 1.7s| 500 | 499 | 15609 | 30.2 | 16M | 44 | 700 |1211 | 352 | 448 | 1 | 788 | 12 | 0.000000e+00 | -- | Inf | unknown
2.09/2.12 c 2.1s| 600 | 597 | 17245 | 27.9 | 16M | 44 | 700 |1337 | 353 | 490 | 1 | 920 | 12 | 0.000000e+00 | -- | Inf | unknown
2.48/2.58 c 2.6s| 700 | 697 | 19229 | 26.7 | 16M | 44 | 700 |1488 | 353 | 524 | 1 |1073 | 12 | 0.000000e+00 | -- | Inf | unknown
2.88/2.91 c 2.9s| 800 | 797 | 20034 | 24.4 | 17M | 44 | 700 |1571 | 352 | 528 | 1 |1156 | 12 | 0.000000e+00 | -- | Inf | unknown
3.28/3.30 c 3.3s| 900 | 893 | 21315 | 23.1 | 17M | 44 | 700 |1636 | 356 | 612 | 1 |1221 | 12 | 0.000000e+00 | -- | Inf | unknown
3.38/3.42 c 3.4s| 1000 | 993 | 22164 | 21.6 | 17M | 44 | 700 |1665 | 353 | 675 | 1 |1250 | 12 | 0.000000e+00 | -- | Inf | unknown
3.57/3.62 c 3.6s| 1100 | 1091 | 23209 | 20.6 | 17M | 44 | 700 |1712 | 359 | 776 | 2 |1300 | 12 | 0.000000e+00 | -- | Inf | unknown
3.78/3.88 c 3.9s| 1200 | 1191 | 24851 | 20.3 | 18M | 44 | 700 |1751 | 356 | 947 | 1 |1341 | 12 | 0.000000e+00 | -- | Inf | unknown
3.98/4.01 c 4.0s| 1300 | 1289 | 25916 | 19.5 | 20M | 44 | 700 |1807 | 352 |1090 | 1 |1398 | 12 | 0.000000e+00 | -- | Inf | unknown
4.28/4.30 c 4.3s| 1400 | 1385 | 26932 | 18.9 | 21M | 44 | 700 |1861 | 354 |1238 | 1 |1453 | 12 | 0.000000e+00 | -- | Inf | unknown
4.48/4.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.48/4.57 c 4.6s| 1500 | 1481 | 28088 | 18.4 | 23M | 44 | 700 |1926 | 353 |1375 | 1 |1519 | 12 | 0.000000e+00 | -- | Inf | unknown
4.77/4.80 c 4.8s| 1600 | 1581 | 29303 | 18.0 | 24M | 44 | 700 |1989 | 352 |1427 | 1 |1585 | 12 | 0.000000e+00 | -- | Inf | unknown
5.07/5.11 c 5.1s| 1700 | 1681 | 30075 | 17.4 | 24M | 44 | 700 |1996 | 353 |1543 | 1 |1593 | 12 | 0.000000e+00 | -- | Inf | unknown
5.17/5.26 c 5.3s| 1800 | 1779 | 30890 | 16.9 | 24M | 44 | 700 |2032 | 353 |1616 | 1 |1629 | 12 | 0.000000e+00 | -- | Inf | 0.56%
5.27/5.37 c 5.4s| 1900 | 1879 | 31828 | 16.5 | 25M | 45 | 700 |2128 | 358 |1712 | 1 |1728 | 12 | 0.000000e+00 | -- | Inf | 0.56%
5.37/5.46 c 5.5s| 2000 | 1979 | 32521 | 16.0 | 25M | 45 | 700 |2154 | 353 |1757 | 1 |1754 | 12 | 0.000000e+00 | -- | Inf | 0.56%
5.57/5.65 c 5.6s| 2100 | 2079 | 33241 | 15.6 | 25M | 45 | 700 |2179 | 353 |1816 | 1 |1781 | 12 | 0.000000e+00 | -- | Inf | 0.56%
5.87/5.97 c 6.0s| 2200 | 2177 | 34384 | 15.4 | 25M | 45 | 700 |2236 | 355 |1894 | 1 |1842 | 12 | 0.000000e+00 | -- | Inf | 0.56%
6.37/6.40 c 6.4s| 2300 | 2277 | 35596 | 15.2 | 25M | 45 | 700 |2280 | 360 |1944 | 2 |1887 | 12 | 0.000000e+00 | -- | Inf | 0.56%
6.67/6.74 c 6.7s| 2400 | 2377 | 36425 | 15.0 | 25M | 45 | 700 |2292 | 353 |1979 | 1 |1903 | 12 | 0.000000e+00 | -- | Inf | 0.56%
6.87/6.92 c 6.9s| 2500 | 2477 | 36925 | 14.6 | 25M | 45 | 700 |2303 | 352 |2012 | 1 |1916 | 12 | 0.000000e+00 | -- | Inf | 0.56%
7.07/7.11 c 7.1s| 2600 | 2577 | 37677 | 14.3 | 25M | 45 | 700 |2338 | 353 |2063 | 1 |1954 | 12 | 0.000000e+00 | -- | Inf | 0.56%
7.17/7.22 c 7.2s| 2700 | 2677 | 38906 | 14.2 | 25M | 45 | 700 |2364 | 353 |2143 | 1 |1981 | 12 | 0.000000e+00 | -- | Inf | 0.56%
7.27/7.39 c 7.4s| 2800 | 2777 | 39676 | 14.0 | 27M | 45 | 700 |2422 | 352 |2197 | 1 |2042 | 12 | 0.000000e+00 | -- | Inf | 0.56%
7.56/7.64 c 7.6s| 2900 | 2877 | 40671 | 13.8 | 28M | 45 | 700 |2439 | 352 |2276 | 1 |2062 | 12 | 0.000000e+00 | -- | Inf | 0.56%
7.76/7.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.76/7.85 c 7.9s| 3000 | 2977 | 41633 | 13.7 | 29M | 45 | 700 |2476 | 353 |2318 | 1 |2100 | 12 | 0.000000e+00 | -- | Inf | 0.56%
7.86/7.94 c 7.9s| 3100 | 3077 | 42246 | 13.5 | 32M | 45 | 700 |2519 | 353 |2373 | 1 |2145 | 12 | 0.000000e+00 | -- | Inf | 0.56%
7.97/8.03 c 8.0s| 3200 | 3177 | 42928 | 13.2 | 32M | 45 | 700 |2545 | 353 |2416 | 1 |2173 | 12 | 0.000000e+00 | -- | Inf | 0.56%
8.16/8.21 c 8.2s| 3300 | 3277 | 44031 | 13.2 | 32M | 45 | 700 |2576 | 363 |2502 | 1 |2208 | 12 | 0.000000e+00 | -- | Inf | 0.56%
8.46/8.51 c 8.5s| 3400 | 3377 | 44934 | 13.1 | 32M | 45 | 700 |2602 | 353 |2566 | 1 |2237 | 12 | 0.000000e+00 | -- | Inf | 0.56%
8.46/8.57 c 8.6s| 3500 | 3477 | 45464 | 12.8 | 32M | 45 | 700 |2624 | 352 |2586 | 1 |2262 | 12 | 0.000000e+00 | -- | Inf | 0.56%
8.56/8.65 c 8.6s| 3600 | 3575 | 46082 | 12.7 | 33M | 45 | 700 |2666 | 352 |2628 | 1 |2304 | 12 | 0.000000e+00 | -- | Inf | 0.56%
8.76/8.80 c 8.8s| 3700 | 3675 | 46736 | 12.5 | 33M | 45 | 700 |2692 | 352 |2672 | 1 |2331 | 12 | 0.000000e+00 | -- | Inf | 0.56%
9.07/9.15 c 9.1s| 3800 | 3775 | 47606 | 12.4 | 33M | 45 | 700 |2725 | 353 |2672 | 1 |2367 | 12 | 0.000000e+00 | -- | Inf | 0.56%
9.46/9.59 c 9.6s| 3900 | 3875 | 48425 | 12.3 | 34M | 45 | 700 |2777 | 353 |2725 | 1 |2423 | 12 | 0.000000e+00 | -- | Inf | 0.56%
9.66/9.74 c 9.7s| 4000 | 3975 | 49193 | 12.2 | 34M | 45 | 700 |2800 | 352 |2769 | 1 |2447 | 12 | 0.000000e+00 | -- | Inf | 0.56%
9.76/9.82 c 9.8s| 4100 | 4075 | 49915 | 12.0 | 34M | 45 | 700 |2818 | 353 |2825 | 1 |2468 | 12 | 0.000000e+00 | -- | Inf | 0.56%
9.86/9.93 c 9.9s| 4200 | 4173 | 50867 | 12.0 | 34M | 45 | 700 |2861 | 353 |2913 | 1 |2516 | 12 | 0.000000e+00 | -- | Inf | 0.56%
9.96/10.06 c 10.1s| 4300 | 4273 | 51960 | 12.0 | 34M | 52 | 700 |2895 | 357 |2986 | 1 |2552 | 12 | 0.000000e+00 | -- | Inf | 0.56%
10.06/10.19 c 10.2s| 4400 | 4369 | 52944 | 11.9 | 34M | 57 | 700 |2933 | 359 |3041 | 1 |2593 | 12 | 0.000000e+00 | -- | Inf | 0.56%
10.26/10.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.26/10.31 c 10.3s| 4500 | 4457 | 53985 | 11.9 | 34M | 57 | 700 |3009 | 355 |3137 | 1 |2677 | 12 | 0.000000e+00 | -- | Inf | 0.56%
10.46/10.50 c 10.5s| 4600 | 4550 | 55786 | 12.0 | 36M | 57 | 700 |3070 | 352 |3198 | 1 |2742 | 12 | 0.000000e+00 | -- | Inf | 0.58%
10.56/10.62 c 10.6s| 4700 | 4650 | 56924 | 12.0 | 36M | 57 | 700 |3079 | 355 |3277 | 1 |2752 | 12 | 0.000000e+00 | -- | Inf | 0.58%
10.66/10.71 c 10.7s| 4800 | 4750 | 57770 | 11.9 | 36M | 57 | 700 |3117 | 361 |3373 | 2 |2792 | 12 | 0.000000e+00 | -- | Inf | 0.58%
10.76/10.81 c 10.8s| 4900 | 4850 | 58609 | 11.9 | 36M | 57 | 700 |3134 | 357 |3465 | 1 |2810 | 12 | 0.000000e+00 | -- | Inf | 0.58%
10.76/10.88 c 10.9s| 5000 | 4948 | 59230 | 11.7 | 36M | 57 | 700 |3155 | 357 |3507 | 1 |2833 | 12 | 0.000000e+00 | -- | Inf | 0.58%
10.96/11.01 c 11.0s| 5100 | 5048 | 60227 | 11.7 | 36M | 57 | 700 |3191 | 360 |3567 | 1 |2871 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.06/11.12 c 11.1s| 5200 | 5148 | 61465 | 11.7 | 36M | 57 | 700 |3221 | 353 |3601 | 1 |2904 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.06/11.18 c 11.2s| 5300 | 5248 | 62148 | 11.6 | 36M | 57 | 700 |3226 | 353 |3612 | 1 |2910 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.16/11.27 c 11.3s| 5400 | 5348 | 63252 | 11.6 | 36M | 57 | 700 |3252 | 353 |3628 | 1 |2939 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.26/11.38 c 11.4s| 5500 | 5444 | 64245 | 11.6 | 36M | 57 | 700 |3268 | 358 |3685 | 1 |2957 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.36/11.47 c 11.5s| 5600 | 5544 | 65099 | 11.5 | 36M | 57 | 700 |3317 | 353 |3735 | 1 |3008 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.45/11.53 c 11.5s| 5700 | 5642 | 65616 | 11.4 | 36M | 57 | 700 |3321 | 354 |3774 | 1 |3013 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.55/11.65 c 11.6s| 5800 | 5735 | 66648 | 11.4 | 36M | 57 | 700 |3356 | 354 |3829 | 1 |3056 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.65/11.73 c 11.7s| 5900 | 5835 | 67287 | 11.3 | 37M | 57 | 700 |3357 | 353 |3876 | 1 |3060 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.75/11.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.75/11.83 c 11.8s| 6000 | 5928 | 68126 | 11.3 | 37M | 57 | 700 |3396 | 352 |3942 | 1 |3101 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.85/11.96 c 12.0s| 6100 | 6025 | 69179 | 11.3 | 37M | 57 | 700 |3443 | 361 |4034 | 1 |3154 | 12 | 0.000000e+00 | -- | Inf | 0.58%
11.96/12.08 c 12.1s| 6200 | 6123 | 70088 | 11.2 | 37M | 57 | 700 |3519 | 358 |4130 | 1 |3236 | 12 | 0.000000e+00 | -- | Inf | 0.58%
12.06/12.19 c 12.2s| 6300 | 6220 | 70878 | 11.2 | 37M | 57 | 700 |3546 | 353 |4203 | 1 |3268 | 12 | 0.000000e+00 | -- | Inf | 0.58%
12.15/12.22 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
12.15/12.22 c (run 1, node 6320) performing user restart
12.15/12.22 c
12.15/12.24 c presolving:
12.15/12.24 c (round 1, fast) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
12.15/12.24 c (round 2, exhaustive) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 0 impls, 0 clqs
12.15/12.27 c (round 3, exhaustive) 0 del vars, 128 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 197 chg coeffs, 46 upgd conss, 0 impls, 0 clqs
12.25/12.30 c (round 4, exhaustive) 0 del vars, 137 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 197 chg coeffs, 46 upgd conss, 0 impls, 0 clqs
12.25/12.31 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
12.25/12.31 c 0 deleted vars, 137 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 197 changed coefficients
12.25/12.31 c 0 implications, 0 cliques
12.25/12.31 c presolved problem has 700 variables (700 bin, 0 int, 0 impl, 0 cont) and 3454 constraints
12.25/12.31 c 95 constraints of type <knapsack>
12.25/12.31 c 353 constraints of type <linear>
12.25/12.31 c 3006 constraints of type <logicor>
12.25/12.31 c transformed objective value is always integral (scale: 1)
12.25/12.31 c Presolving Time: 0.09
12.25/12.31 c
12.25/12.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.25/12.34 c 12.3s| 1 | 0 | 71435 | - | 41M | 0 | 700 |3473 | 350 | 0 | 0 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.34 c 12.3s| 1 | 0 | 71455 | - | 41M | 0 | 700 |3473 | 366 | 16 | 1 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.34 c 12.3s| 1 | 0 | 71461 | - | 41M | 0 | 700 |3473 | 374 | 24 | 2 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.35 c 12.3s| 1 | 0 | 71474 | - | 41M | 0 | 700 |3473 | 379 | 29 | 3 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.35 c 12.4s| 1 | 0 | 71478 | - | 41M | 0 | 700 |3473 | 386 | 36 | 4 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.35 c 12.4s| 1 | 0 | 71480 | - | 41M | 0 | 700 |3473 | 388 | 38 | 5 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.36 c 12.4s| 1 | 0 | 71482 | - | 41M | 0 | 700 |3473 | 390 | 40 | 6 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.36 c 12.4s| 1 | 0 | 71484 | - | 41M | 0 | 700 |3473 | 393 | 43 | 7 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.36 c 12.4s| 1 | 0 | 71486 | - | 41M | 0 | 700 |3473 | 395 | 45 | 8 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.36 c 12.4s| 1 | 0 | 71488 | - | 41M | 0 | 700 |3473 | 398 | 48 | 9 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.37 c 12.4s| 1 | 0 | 71495 | - | 41M | 0 | 700 |3473 | 399 | 49 | 10 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.37 c 12.4s| 1 | 0 | 71497 | - | 41M | 0 | 700 |3473 | 400 | 50 | 11 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.37 c 12.4s| 1 | 0 | 71498 | - | 41M | 0 | 700 |3473 | 384 | 51 | 12 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.37 c 12.4s| 1 | 0 | 71501 | - | 41M | 0 | 700 |3473 | 385 | 52 | 13 |3334 | 12 | 0.000000e+00 | -- | Inf | unknown
12.25/12.38 c 12.4s| 1 | 0 | 71502 | - | 41M | 0 | 700 |3474 | 386 | 53 | 14 |3335 | 12 | 0.000000e+00 | -- | Inf | unknown
12.35/12.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.35/12.41 c 12.4s| 1 | 2 | 71610 | - | 41M | 0 | 700 |3479 | 386 | 53 | 14 |3340 | 21 | 0.000000e+00 | -- | Inf | unknown
12.45/12.52 c 12.5s| 100 | 101 | 72777 | 11.2 | 42M | 42 | 700 |3542 | 355 | 102 | 1 |3407 | 21 | 0.000000e+00 | -- | Inf | unknown
12.45/12.58 c 12.6s| 200 | 201 | 73222 | 11.1 | 42M | 42 | 700 |3549 | 355 | 168 | 1 |3414 | 21 | 0.000000e+00 | -- | Inf | unknown
12.55/12.65 c 12.6s| 300 | 301 | 73678 | 11.0 | 42M | 44 | 700 |3580 | 357 | 270 | 1 |3445 | 21 | 0.000000e+00 | -- | Inf | unknown
12.65/12.71 c 12.7s| 400 | 401 | 74192 | 10.9 | 42M | 44 | 700 |3590 | 355 | 361 | 1 |3456 | 21 | 0.000000e+00 | -- | Inf | unknown
12.75/12.86 c 12.9s| 500 | 501 | 75871 | 11.0 | 42M | 44 | 700 |3621 | 355 | 505 | 1 |3492 | 21 | 0.000000e+00 | -- | Inf | unknown
12.95/13.05 c 13.1s| 600 | 599 | 77509 | 11.1 | 43M | 45 | 700 |3689 | 355 | 661 | 1 |3567 | 21 | 0.000000e+00 | -- | Inf | unknown
13.05/13.12 c 13.1s| 700 | 695 | 78165 | 11.0 | 43M | 45 | 700 |3695 | 355 | 661 | 1 |3575 | 21 | 0.000000e+00 | -- | Inf | unknown
13.05/13.17 c 13.2s| 800 | 795 | 78591 | 10.9 | 43M | 45 | 700 |3711 | 355 | 661 | 1 |3595 | 21 | 0.000000e+00 | -- | Inf | unknown
13.15/13.24 c 13.2s| 900 | 895 | 79074 | 10.8 | 43M | 52 | 700 |3747 | 360 | 679 | 1 |3634 | 21 | 0.000000e+00 | -- | Inf | unknown
13.15/13.29 c 13.3s| 1000 | 995 | 79567 | 10.7 | 43M | 80 | 700 |3779 | 360 | 679 | 1 |3666 | 21 | 0.000000e+00 | -- | Inf | unknown
13.25/13.36 c 13.4s| 1100 | 1095 | 80162 | 10.7 | 43M | 93 | 700 |3810 | 360 | 679 | 1 |3700 | 21 | 0.000000e+00 | -- | Inf | unknown
13.35/13.40 c 13.4s| 1200 | 1189 | 80501 | 10.6 | 43M | 95 | 700 |3834 | 360 | 679 | 1 |3727 | 21 | 0.000000e+00 | -- | Inf | unknown
13.35/13.46 c 13.5s| 1300 | 1285 | 80868 | 10.5 | 43M | 104 | 700 |3874 | 360 | 679 | 1 |3770 | 21 | 0.000000e+00 | -- | Inf | unknown
13.45/13.51 c 13.5s| 1400 | 1383 | 81220 | 10.4 | 43M | 105 | 700 |3924 | 360 | 679 | 1 |3820 | 21 | 0.000000e+00 | -- | Inf | unknown
13.45/13.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.45/13.57 c 13.6s| 1500 | 1481 | 81743 | 10.3 | 43M | 106 | 700 |3991 | 360 | 679 | 1 |3894 | 21 | 0.000000e+00 | -- | Inf | unknown
13.55/13.62 c 13.6s| 1600 | 1551 | 82125 | 10.2 | 43M | 115 | 700 |4107 | 359 | 696 | 2 |4015 | 21 | 0.000000e+00 | -- | Inf | unknown
13.55/13.69 c 13.7s| 1700 | 1651 | 83009 | 10.2 | 43M | 115 | 700 |4127 | 353 | 718 | 1 |4041 | 21 | 0.000000e+00 | -- | Inf | unknown
13.65/13.78 c 13.8s| 1800 | 1749 | 84024 | 10.2 | 43M | 115 | 700 |4174 | 353 | 740 | 1 |4092 | 21 | 0.000000e+00 | -- | Inf | unknown
13.75/13.84 c 13.8s| 1900 | 1847 | 84487 | 10.2 | 43M | 115 | 700 |4189 | 357 | 764 | 2 |4112 | 21 | 0.000000e+00 | -- | Inf | unknown
13.85/13.91 c 13.9s| 2000 | 1943 | 85239 | 10.1 | 43M | 115 | 700 |4188 | 356 | 795 | 1 |4127 | 21 | 0.000000e+00 | -- | Inf | unknown
13.85/13.97 c 14.0s| 2100 | 2043 | 86090 | 10.1 | 43M | 115 | 700 |4200 | 353 | 828 | 1 |4144 | 21 | 0.000000e+00 | -- | Inf | unknown
13.95/14.05 c 14.1s| 2200 | 2141 | 87067 | 10.1 | 43M | 115 | 700 |4253 | 358 | 860 | 1 |4205 | 21 | 0.000000e+00 | -- | Inf | unknown
13.95/14.10 c 14.1s| 2300 | 2231 | 87531 | 10.0 | 43M | 115 | 700 |4297 | 358 | 860 | 1 |4254 | 21 | 0.000000e+00 | -- | Inf | unknown
14.05/14.19 c 14.2s| 2400 | 2324 | 88362 | 10.0 | 43M | 115 | 700 |4388 | 354 | 879 | 1 |4363 | 21 | 0.000000e+00 | -- | Inf | unknown
14.15/14.24 c
14.15/14.24 c SCIP Status : problem is solved [infeasible]
14.15/14.24 c Solving Time (sec) : 14.24
14.15/14.24 c Solving Nodes : 2449 (total of 8769 nodes in 2 runs)
14.15/14.24 c Primal Bound : +1.00000000000000e+20 (0 solutions)
14.15/14.24 c Dual Bound : +1.00000000000000e+20
14.15/14.24 c Gap : 0.00 %
14.15/14.24 s UNSATISFIABLE
14.15/14.24 c SCIP Status : problem is solved [infeasible]
14.15/14.24 c Total Time : 14.24
14.15/14.24 c solving : 14.24
14.15/14.24 c presolving : 0.09 (included in solving)
14.15/14.24 c reading : 0.00 (included in solving)
14.15/14.24 c copying : 0.65 (106 #copies) (minimal 0.00, maximal 0.01, average 0.01)
14.15/14.24 c Original Problem :
14.15/14.24 c Problem name : HOME/instance-4448805-1721367650.opb
14.15/14.24 c Variables : 701 (701 binary, 0 integer, 0 implicit integer, 0 continuous)
14.15/14.24 c Constraints : 351 initial, 351 maximal
14.15/14.24 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
14.15/14.24 c Presolved Problem :
14.15/14.24 c Problem name : t_HOME/instance-4448805-1721367650.opb
14.15/14.24 c Variables : 700 (700 binary, 0 integer, 0 implicit integer, 0 continuous)
14.15/14.24 c Constraints : 3454 initial, 4408 maximal
14.15/14.24 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
14.15/14.24 c Nonzeros : 69548 constraint, 0 clique table
14.15/14.24 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
14.15/14.24 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
14.15/14.24 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.15/14.24 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
14.15/14.24 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.15/14.24 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.15/14.24 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
14.15/14.24 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
14.15/14.24 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.15/14.24 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.15/14.24 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.15/14.24 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c knapsack : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
14.15/14.24 c linear : 0.00 0.00 12 0 1 0 0 0 1 0 0 0
14.15/14.24 c logicor : 0.06 0.01 12 0 0 0 0 0 137 0 0 197
14.15/14.24 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
14.15/14.24 c root node : - - - 0 - - 0 - - - - -
14.15/14.24 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
14.15/14.24 c benderslp : 0 0 0 0 8696 0 0 1167 0 0 0 0 0 0 0
14.15/14.24 c integral : 0 0 0 0 8696 0 0 1167 0 0 0 0 0 0 17392
14.15/14.24 c knapsack : 95+ 96 0 62277 0 0 0 0 1904 128 507 0 0 0 0
14.15/14.24 c linear : 353+ 366 29 63006 0 0 0 1165 19996 827 6977 0 0 0 0
14.15/14.24 c logicor : 3006+ 3986 28 24802 0 0 0 0 334 21 52 0 0 0 0
14.15/14.24 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
14.15/14.24 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c integral : 0.13 0.00 0.00 0.00 0.13 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c knapsack : 0.06 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c linear : 0.21 0.00 0.00 0.19 0.00 0.00 0.00 0.02 0.01 0.00
14.15/14.24 c logicor : 0.13 0.01 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c Propagators : #Propagate #ResProp Cutoffs DomReds
14.15/14.24 c dualfix : 2 0 0 0
14.15/14.24 c genvbounds : 0 0 0 0
14.15/14.24 c nlobbt : 0 0 0 0
14.15/14.24 c obbt : 0 0 0 0
14.15/14.24 c probing : 0 0 0 0
14.15/14.24 c pseudoobj : 0 0 0 0
14.15/14.24 c redcost : 0 0 0 0
14.15/14.24 c rootredcost : 0 0 0 0
14.15/14.24 c symmetry : 47090 0 3 108
14.15/14.24 c vbounds : 0 0 0 0
14.15/14.24 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
14.15/14.24 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
14.15/14.24 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
14.15/14.24 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
14.15/14.24 c symmetry : 0.78 0.00 0.00 0.78 0.00 0.00
14.15/14.24 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
14.15/14.24 c Symmetry :
14.15/14.24 c orbitopal red. : 0 reductions applied, 0 cutoffs
14.15/14.24 c orbital reduction: 34 reductions applied, 2 cutoffs
14.15/14.24 c lexicographic red: 155 reductions applied, 1 cutoffs
14.15/14.24 c shadow tree time : 0.01 s
14.15/14.24 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
14.15/14.24 c propagation : 0.02 649 649 - 3383 27.3 73 8.9 - - -
14.15/14.24 c infeasible LP : 0.04 294 293 - 1506 24.8 18 10.0 292 29.8 0
14.15/14.24 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
14.15/14.24 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
14.15/14.24 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
14.15/14.24 c applied globally : 0.00 - - 0 4091 23.4 - - 289 - -
14.15/14.24 c applied locally : - - - 0 3 15.7 - - 2 - -
14.15/14.24 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
14.15/14.24 c cut pool : 0.37 - 2479 54 - - 10034 167434 - - - - - (maximal pool size: 2292)
14.15/14.24 c aggregation : 0.08 0.00 655 28 0 0 12 123 1 0 0 0 0
14.15/14.24 c > cmir : - - - - - - - 68 0 0 0 0 -
14.15/14.24 c > flowcover : - - - - - - - 55 0 0 0 0 -
14.15/14.24 c > knapsackcover : - - - - - - - 0 1 0 0 0 -
14.15/14.24 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
14.15/14.24 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c gomory : 0.61 0.00 647 20 0 0 11641 165369 1854 4372 4270 102 0
14.15/14.24 c > gomorymi : - - - - - - - 25838 927 257 195 62 -
14.15/14.24 c > strongcg : - - - - - - - 139531 927 4115 4075 40 -
14.15/14.24 c impliedbounds : 0.00 0.00 655 28 0 0 0 0 0 0 0 0 0
14.15/14.24 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
14.15/14.24 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c multilinear : 0.00 0.00 137 28 0 0 0 0 0 0 0 0 0
14.15/14.24 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.15/14.24 c rapidlearning : 4.74 0.00 100 1 0 166 0 0 0 0 0 0 898
14.15/14.24 c rlt : 0.00 0.00 347 20 0 0 0 0 0 0 0 0 0
14.15/14.24 c zerohalf : 0.14 0.00 655 28 0 0 689 1942 453 756 435 321 0
14.15/14.24 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
14.15/14.24 c hybrid : 0.07 0.00 1308 28 5128 0 164614 107 0 625
14.15/14.24 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c Pricers : ExecTime SetupTime Calls Vars
14.15/14.24 c problem variables: 0.00 - 0 0
14.15/14.24 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
14.15/14.24 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c random : 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c relpscost : 0.13 0.00 8696 0 0 0 0 0 0 17392
14.15/14.24 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
14.15/14.24 c Primal Heuristics : ExecTime SetupTime Calls Found Best
14.15/14.24 c LP solutions : 0.00 - - 0 0
14.15/14.24 c relax solutions : 0.00 - - 0 0
14.15/14.24 c pseudo solutions : 0.00 - - 0 0
14.15/14.24 c strong branching : 0.00 - - 0 0
14.15/14.24 c actconsdiving : 0.00 0.00 0 0 0
14.15/14.24 c adaptivediving : 0.14 0.00 22 0 0
14.15/14.24 c alns : 0.13 0.00 4 0 0
14.15/14.24 c bound : 0.00 0.00 0 0 0
14.15/14.24 c clique : 0.00 0.00 0 0 0
14.15/14.24 c coefdiving : 0.00 0.00 0 0 0
14.15/14.24 c completesol : 0.00 0.00 0 0 0
14.15/14.24 c conflictdiving : 0.82 0.00 171 0 0
14.15/14.24 c crossover : 0.00 0.00 0 0 0
14.15/14.24 c dins : 0.00 0.00 0 0 0
14.15/14.24 c distributiondivin: 0.51 0.00 37 0 0
14.15/14.24 c dps : 0.00 0.00 0 0 0
14.15/14.24 c dualval : 0.00 0.00 0 0 0
14.15/14.24 c farkasdiving : 0.00 0.00 0 0 0
14.15/14.24 c feasjump : 0.03 0.00 2 0 0
14.15/14.24 c feaspump : 0.13 0.00 20 0 0
14.15/14.24 c fixandinfer : 0.00 0.00 0 0 0
14.15/14.24 c fracdiving : 0.35 0.00 68 0 0
14.15/14.24 c gins : 0.00 0.00 0 0 0
14.15/14.24 c guideddiving : 0.00 0.00 0 0 0
14.15/14.24 c indcoefdiving : 0.00 0.00 0 0 0
14.15/14.24 c indicator : 0.00 0.00 0 0 0
14.15/14.24 c indicatordiving : 0.00 0.00 0 0 0
14.15/14.24 c indoneopt : 0.00 0.00 0 0 0
14.15/14.24 c indrounding : 0.00 0.00 0 0 0
14.15/14.24 c indtwoopt : 0.00 0.00 0 0 0
14.15/14.24 c intdiving : 0.00 0.00 0 0 0
14.15/14.24 c intshifting : 0.00 0.00 0 0 0
14.15/14.24 c linesearchdiving : 0.35 0.00 36 0 0
14.15/14.24 c localbranching : 0.00 0.00 0 0 0
14.15/14.24 c locks : 0.00 0.00 1 0 0
14.15/14.24 c lpface : 0.01 0.00 0 0 0
14.15/14.24 c mpec : 0.00 0.00 0 0 0
14.15/14.24 c multistart : 0.00 0.00 0 0 0
14.15/14.24 c mutation : 0.00 0.00 0 0 0
14.15/14.24 c nlpdiving : 0.00 0.00 0 0 0
14.15/14.24 c objpscostdiving : 0.11 0.00 8 0 0
14.15/14.24 c octane : 0.00 0.00 0 0 0
14.15/14.24 c ofins : 0.00 0.00 0 0 0
14.15/14.24 c oneopt : 0.00 0.00 0 0 0
14.15/14.24 c padm : 0.00 0.00 0 0 0
14.15/14.24 c proximity : 0.00 0.00 0 0 0
14.15/14.24 c pscostdiving : 0.39 0.00 20 0 0
14.15/14.24 c randrounding : 0.05 0.00 1159 0 0
14.15/14.24 c rens : 0.02 0.00 2 0 0
14.15/14.24 c reoptsols : 0.00 0.00 0 0 0
14.15/14.24 c repair : 0.00 0.00 0 0 0
14.15/14.24 c rins : 0.00 0.00 0 0 0
14.15/14.24 c rootsoldiving : 0.09 0.00 6 0 0
14.15/14.24 c rounding : 0.01 0.00 1375 0 0
14.15/14.24 c scheduler : 0.00 0.00 0 0 0
14.15/14.24 c shiftandpropagate: 0.01 0.00 2 0 0
14.15/14.24 c shifting : 0.02 0.00 645 0 0
14.15/14.24 c simplerounding : 0.00 0.00 0 0 0
14.15/14.24 c smallcard : 0.00 0.00 0 0 0
14.15/14.24 c subnlp : 0.00 0.00 0 0 0
14.15/14.24 c trivial : 0.00 0.00 4 0 0
14.15/14.24 c trivialnegation : 0.00 0.00 0 0 0
14.15/14.24 c trustregion : 0.00 0.00 0 0 0
14.15/14.24 c trysol : 0.00 0.00 0 0 0
14.15/14.24 c twoopt : 0.00 0.00 0 0 0
14.15/14.24 c undercover : 0.00 0.00 0 0 0
14.15/14.24 c vbounds : 0.00 0.00 0 0 0
14.15/14.24 c veclendiving : 0.38 0.00 68 0 0
14.15/14.24 c zeroobj : 0.00 0.00 0 0 0
14.15/14.24 c zirounding : 0.01 0.00 1000 0 0
14.15/14.24 c other solutions : - - - 0 -
14.15/14.24 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
14.15/14.24 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.15/14.24 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.15/14.24 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.15/14.24 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.15/14.24 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.15/14.24 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.15/14.24 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.15/14.24 c zeroobjective : 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
14.15/14.24 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
14.15/14.24 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
14.15/14.24 c primal LP : 0.13 629 0 0.00 0.00 0.13 629
14.15/14.24 c dual LP : 2.63 10085 49200 4.90 18727.80 0.01 40
14.15/14.24 c lex dual LP : 0.00 0 0 0.00 -
14.15/14.24 c barrier LP : 0.00 0 0 0.00 - 0.00 0
14.15/14.24 c resolve instable : 0.00 0 0 0.00 -
14.15/14.24 c diving/probing LP: 1.53 4912 39569 8.06 25860.91
14.15/14.24 c strong branching : 0.02 21 213 10.14 13752.58 - - 0
14.15/14.24 c (at root node) : - 21 213 10.14 -
14.15/14.24 c conflict analysis: 0.00 0 0 0.00 -
14.15/14.24 c B&B Tree :
14.15/14.24 c number of runs : 2
14.15/14.24 c nodes : 2449 (2413 internal, 36 leaves)
14.15/14.24 c feasible leaves : 0
14.15/14.24 c infeas. leaves : 36
14.15/14.24 c objective leaves : 0
14.15/14.24 c nodes (total) : 8769 (8696 internal, 73 leaves)
14.15/14.24 c nodes left : 0
14.15/14.24 c max depth : 115
14.15/14.24 c max depth (total): 115
14.15/14.24 c backtracks : 272 (11.1%)
14.15/14.24 c early backtracks : 0 (0.0%)
14.15/14.24 c nodes exc. ref. : 0 (0.0%)
14.15/14.24 c delayed cutoffs : 2378
14.15/14.24 c repropagations : 72 (301 domain reductions, 7 cutoffs)
14.15/14.24 c avg switch length: 2.85
14.15/14.24 c switching time : 0.38
14.15/14.24 c Root Node :
14.15/14.24 c First LP value : +0.00000000000000e+00
14.15/14.24 c First LP Iters : 385 (252790.54 Iter/sec)
14.15/14.24 c First LP Time : 0.00
14.15/14.24 c Final Dual Bound : -
14.15/14.24 c Final Root Iters : 996
14.15/14.24 c Root LP Estimate : +8.00594909270458e-04
14.15/14.24 c Solution :
14.15/14.24 c Solutions found : 0 (0 improvements)
14.15/14.24 c Primal Bound : infeasible
14.15/14.24 c Dual Bound : -
14.15/14.24 c Gap : 0.00 %
14.15/14.24 c Integrals : Total Avg%
14.15/14.24 c primal-dual : - - (problem infeasible)
14.15/14.24 c primal-ref : - - (problem infeasible)
14.15/14.24 c dual-ref : - - (problem infeasible)
14.15/14.25 c Time complete: 14.2067.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61522 MiB free)
memory of node 1: 64510 MiB (62533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448805-1721367650/watcher-4448805-1721367650 -o /tmp/evaluation-result-4448805-1721367650/solver-4448805-1721367650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721367638-1021980 --watchdog 3760 pbscip -f HOME/instance-4448805-1721367650.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1022414, runsolver pid=1022411
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 2.10 1.65 2.32 5/258 1022415
/proc/meminfo: memFree=127020284/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=69640 memory=29628 CPUtime=0.1 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 3728 0 0 0 10 0 0 0 20 0 1 0 188926845 71311360 7407 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 17410 7407 4044 3540 0 5667 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 69640 KiB
Current children cumulated memory: 29628 KiB
[startup+0.205716 s]*
/proc/loadavg: 2.10 1.65 2.32 5/258 1022415
/proc/meminfo: memFree=127016420/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=72284 memory=32792 CPUtime=0.2 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 4505 0 0 0 20 0 0 0 20 0 1 0 188926845 74018816 8198 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 18071 8198 4044 3540 0 6328 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72284 KiB
Current children cumulated memory: 32792 KiB
[startup+0.305626 s]*
/proc/loadavg: 2.10 1.65 2.32 5/258 1022415
/proc/meminfo: memFree=127015720/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=72284 memory=32792 CPUtime=0.3 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 4505 0 0 0 30 0 0 0 20 0 1 0 188926845 74018816 8198 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 18071 8198 4044 3540 0 6328 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72284 KiB
Current children cumulated memory: 32792 KiB
[startup+0.700182 s]
/proc/loadavg: 2.10 1.65 2.32 5/258 1022415
/proc/meminfo: memFree=127014600/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=74892 memory=35960 CPUtime=0.69 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 5287 0 0 0 69 0 0 0 20 0 1 0 188926845 76689408 8990 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 18723 8990 4044 3540 0 6980 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74892 KiB
Current children cumulated memory: 35960 KiB
[startup+1.50018 s]
/proc/loadavg: 2.10 1.65 2.32 5/258 1022415
/proc/meminfo: memFree=127009896/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=79928 memory=39920 CPUtime=1.48 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 6304 0 0 0 148 0 0 0 20 0 1 0 188926845 81846272 9980 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 19982 9980 4044 3540 0 8239 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79928 KiB
Current children cumulated memory: 39920 KiB
[startup+3.10555 s]
/proc/loadavg: 2.10 1.65 2.32 5/258 1022415
/proc/meminfo: memFree=126976644/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=83824 memory=44944 CPUtime=3.08 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 7982 0 0 0 308 0 0 0 20 0 1 0 188926845 85835776 11236 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 20956 11236 4044 3540 0 9213 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83824 KiB
Current children cumulated memory: 44944 KiB
[startup+6.30016 s]
/proc/loadavg: 2.25 1.69 2.33 5/258 1022415
/proc/meminfo: memFree=126954512/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=96120 memory=57324 CPUtime=6.27 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 23681 0 0 0 623 4 0 0 20 0 1 0 188926845 98426880 14331 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 24030 14331 4044 3540 0 12287 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 96120 KiB
Current children cumulated memory: 57324 KiB
[startup+12.7002 s]
/proc/loadavg: 2.39 1.73 2.34 5/258 1022416
/proc/meminfo: memFree=126925748/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=106692 memory=68040 CPUtime=12.65 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 28998 0 0 0 1260 5 0 0 20 0 1 0 188926845 109252608 17010 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 26673 17010 4044 3540 0 14930 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 106692 KiB
Current children cumulated memory: 68040 KiB
[startup+14.259 s]
# the end of solver process 1022414 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=14.1559 s, system=0.055839 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 2.39 1.73 2.34 5/258 1022416
/proc/meminfo: memFree=126925748/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=106692 memory=68040 CPUtime=12.75 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 28998 0 0 0 1270 5 0 0 20 0 1 0 188926845 109252608 17010 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 26673 17010 4044 3540 0 14930 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 106692 KiB
Current children cumulated memory: 68040 KiB
[startup+13.6002 s]
/proc/loadavg: 2.39 1.73 2.34 5/258 1022416
/proc/meminfo: memFree=126916588/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=106692 memory=68040 CPUtime=13.55 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 28999 0 0 0 1350 5 0 0 20 0 1 0 188926845 109252608 17010 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 26673 17010 4044 3540 0 14930 0
Current children cumulated CPU time: 13.55 s
Current children cumulated vsize: 106692 KiB
Current children cumulated memory: 68040 KiB
[startup+14.0001 s]*
/proc/loadavg: 2.39 1.73 2.34 5/258 1022416
/proc/meminfo: memFree=126913676/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=106692 memory=68040 CPUtime=13.95 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 29000 0 0 0 1390 5 0 0 20 0 1 0 188926845 109252608 17010 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 26673 17010 4044 3540 0 14930 0
Current children cumulated CPU time: 13.95 s
Current children cumulated vsize: 106692 KiB
Current children cumulated memory: 68040 KiB
[startup+14.2002 s]
/proc/loadavg: 2.39 1.73 2.34 5/258 1022416
/proc/meminfo: memFree=126913676/131524600 swapFree=131071996/131071996
[pid=1022414] ppid=1022411 vsize=106692 memory=68040 CPUtime=14.15 cores=1,3
/proc/1022414/stat : 1022414 (pbscip) R 1022411 1022414 1021968 0 -1 4194304 29001 0 0 0 1410 5 0 0 20 0 1 0 188926845 109252608 17010 134679101440 4194304 18693293 140732012051360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40067072 140732012057602 140732012057701 140732012057701 140732012064718 0
/proc/1022414/statm: 26673 17010 4044 3540 0 14930 0
Current children cumulated CPU time: 14.15 s
Current children cumulated vsize: 106692 KiB
Current children cumulated memory: 68040 KiB
Child status: 0
Real time (s): 14.259
CPU time (s): 14.2118
CPU user time (s): 14.1559
CPU system time (s): 0.055839
CPU usage (%): 99.6687
Max. virtual memory (cumulated for all children) (KiB): 106692
Max. memory (cumulated for all children) (KiB): 68040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1559
system time used= 0.055839
maximum resident set size= 68924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29016
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= 7
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 1022414
# total CPU time (s): 14.2118
# total CPU user time (s): 14.1559
# total CPU system time (s): 0.055839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040018 second user time and 0.094864 second system time
The end