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-4513232-1751214518.opb>
0.00/0.03 c original problem has 4128 variables (4128 bin, 0 int, 0 impl, 0 cont) and 8720 constraints
0.00/0.03 c problem read in 0.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 624 del vars, 1020 del conss, 649 add conss, 536 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 305 clqs
0.00/0.06 c (round 2, fast) 940 del vars, 1717 del conss, 750 add conss, 742 chg bounds, 4 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 488 clqs
0.00/0.06 c (round 3, fast) 947 del vars, 1757 del conss, 772 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 525 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (4 rounds): 86 aggregations, 3 fixings, 0 bound changes
0.00/0.09 c (round 4, medium) 1036 del vars, 1757 del conss, 772 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 348 clqs
0.00/0.09 c (round 5, fast) 1036 del vars, 1931 del conss, 839 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 380 clqs
0.08/0.10 c (round 6, exhaustive) 1036 del vars, 2551 del conss, 839 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 380 clqs
0.08/0.12 c (round 7, exhaustive) 1036 del vars, 2551 del conss, 839 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 5727 upgd conss, 0 impls, 380 clqs
0.08/0.13 c (round 8, exhaustive) 1036 del vars, 2647 del conss, 871 add conss, 749 chg bounds, 5 chg sides, 0 chg coeffs, 5727 upgd conss, 0 impls, 380 clqs
0.08/0.15 c (round 9, exhaustive) 1036 del vars, 2647 del conss, 871 add conss, 749 chg bounds, 60 chg sides, 0 chg coeffs, 5727 upgd conss, 0 impls, 380 clqs
0.08/0.15 c (round 10, exhaustive) 1036 del vars, 2647 del conss, 871 add conss, 749 chg bounds, 60 chg sides, 0 chg coeffs, 5782 upgd conss, 0 impls, 380 clqs
0.19/0.27 c (0.3s) probing: 1000/3162 (31.6%) - 0 fixings, 0 aggregations, 399 implications, 0 bound changes
0.19/0.27 c (0.3s) probing: 1001/3162 (31.7%) - 0 fixings, 0 aggregations, 399 implications, 0 bound changes
0.19/0.27 c (0.3s) probing aborted: 1000/1000 successive useless probings
0.19/0.27 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.29 c (0.3s) no symmetry present (symcode time: 0.00)
0.19/0.29 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.19/0.29 c 1036 deleted vars, 2647 deleted constraints, 871 added constraints, 749 tightened bounds, 0 added holes, 60 changed sides, 35 changed coefficients
0.19/0.29 c 0 implications, 779 cliques
0.19/0.29 c presolved problem has 3162 variables (3162 bin, 0 int, 0 impl, 0 cont) and 6944 constraints
0.19/0.29 c 32 constraints of type <and>
0.19/0.29 c 1 constraints of type <xor>
0.19/0.29 c 1226 constraints of type <linear>
0.19/0.29 c 5685 constraints of type <logicor>
0.19/0.29 c transformed objective value is always integral (scale: 1)
0.19/0.29 c Presolving Time: 0.25
0.19/0.29 c - non default parameters ----------------------------------------------------------------------
0.19/0.29 c # SCIP version 10.0.0
0.19/0.29 c
0.19/0.29 c # maximal time in seconds to run
0.19/0.29 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.29 c limits/time = 3596.997013
0.19/0.29 c
0.19/0.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.29 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.29 c limits/memory = 27900
0.19/0.29 c
0.19/0.29 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.19/0.29 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.19/0.29 c limits/solutions = 1
0.19/0.29 c
0.19/0.29 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.19/0.29 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.19/0.29 c misc/usesymmetry = 3
0.19/0.29 c
0.19/0.29 c # belongs reading time to solving time?
0.19/0.29 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.29 c timing/reading = TRUE
0.19/0.29 c
0.19/0.29 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.19/0.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.29 c propagating/symmetry/detectdoublelex = FALSE
0.19/0.29 c
0.19/0.29 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.19/0.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.29 c propagating/symmetry/detectsubgroups = FALSE
0.19/0.29 c
0.19/0.29 c # Type of symmetries that shall be computed?
0.19/0.29 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.19/0.29 c propagating/symmetry/symtype = 1
0.19/0.29 c
0.19/0.29 c # Should components consisting of a single full reflection be handled?
0.19/0.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.29 c propagating/symmetry/usesimplesgncomp = FALSE
0.19/0.29 c
0.19/0.29 c -----------------------------------------------------------------------------------------------
0.19/0.29 c start solving
0.19/0.30 c
0.29/0.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.29/0.39 c 0.4s| 1 | 0 | 901 | - | 54M | 0 |3162 |7014 |6976 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.92 c 0.9s| 1 | 0 | 2771 | - | 60M | 0 |3162 |7014 |7280 | 304 | 1 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
1.87/1.92 c 1.9s| 1 | 0 | 4523 | - | 61M | 0 |3162 |7011 |7569 | 593 | 2 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
3.57/3.68 c 3.7s| 1 | 0 | 7561 | - | 65M | 0 |3162 |7011 |7849 | 873 | 3 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
5.46/5.55 c 5.5s| 1 | 0 | 10660 | - | 68M | 0 |3162 |7012 |8147 |1171 | 4 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
7.26/7.32 c 7.3s| 1 | 0 | 13266 | - | 70M | 0 |3162 |7013 |8310 |1334 | 5 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
9.45/9.58 c 9.6s| 1 | 0 | 17082 | - | 72M | 0 |3162 |7012 |8572 |1596 | 6 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
11.45/11.56 c 11.6s| 1 | 0 | 19803 | - | 73M | 0 |3162 |7012 |8713 |1737 | 7 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
13.84/13.94 c 13.9s| 1 | 0 | 23273 | - | 75M | 0 |3162 |7010 |8825 |1849 | 8 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
16.53/16.62 c 16.6s| 1 | 0 | 27351 | - | 76M | 0 |3162 |7010 |9053 |2077 | 9 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
19.73/19.80 c 19.8s| 1 | 0 | 32249 | - | 77M | 0 |3162 |7010 |9161 |2185 | 10 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
21.22/21.39 c 21.4s| 1 | 0 | 35739 | - | 78M | 0 |3162 |7010 |9259 |2283 | 11 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
33.00/33.10 c 33.1s| 1 | 2 | 44364 | - | 79M | 0 |3162 |7011 |9259 |2283 | 11 | 85 | 11 | 0.000000e+00 | -- | Inf | unknown
265.30/266.01 c 266s| 100 | 101 |258434 |2249.4 | 80M | 17 |3162 |7050 |7121 |4109 | 1 | 158 | 11 | 0.000000e+00 | -- | Inf | unknown
295.70/296.54 c 297s| 200 | 201 |333092 |1494.2 | 81M | 22 |3162 |7048 |7432 |5721 | 1 | 168 | 11 | 0.000000e+00 | -- | Inf | unknown
335.77/336.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
335.77/336.75 c 337s| 300 | 293 |426395 |1306.5 | 81M | 22 |3162 |7042 |7121 | 10k| 2 | 173 | 11 | 0.000000e+00 | -- | Inf | 1.17%
395.09/396.23 c 396s| 400 | 391 |543175 |1271.8 | 83M | 26 |3162 |7066 |7278 | 14k| 1 | 225 | 11 | 0.000000e+00 | -- | Inf | 1.17%
442.66/443.90 c 444s| 500 | 491 |658304 |1247.6 | 83M | 26 |3162 |7086 |7479 | 18k| 2 | 256 | 11 | 0.000000e+00 | -- | Inf | 1.17%
482.86/484.20 c 484s| 600 | 589 |731947 |1162.3 | 84M | 26 |3162 |7096 |7263 | 22k| 1 | 281 | 11 | 0.000000e+00 | -- | Inf | 1.17%
516.47/518.00 c 518s| 700 | 689 |796652 |1088.6 | 84M | 26 |3162 |7098 |7432 | 24k| 1 | 304 | 11 | 0.000000e+00 | -- | Inf | 1.17%
551.68/553.27 c 553s| 800 | 789 |864298 |1037.0 | 85M | 30 |3162 |7066 |7426 | 27k| 1 | 310 | 11 | 0.000000e+00 | -- | Inf | 1.17%
570.83/572.40 c 572s| 900 | 887 |904831 | 966.7 | 85M | 30 |3162 |7057 | 0 | 29k| 0 | 318 | 11 | 0.000000e+00 | -- | Inf | 1.17%
584.89/586.59 c 587s| 1000 | 987 |942320 | 907.5 | 86M | 30 |3162 |7077 |7430 | 30k| 1 | 340 | 11 | 0.000000e+00 | -- | Inf | 1.17%
591.47/593.12 c 593s| 1100 | 1087 |956729 | 838.0 | 87M | 30 |3162 |7077 |7428 | 30k| 1 | 340 | 11 | 0.000000e+00 | -- | Inf | 1.17%
602.04/603.73 c 604s| 1200 | 1183 |976536 | 784.7 | 87M | 30 |3162 |7080 |7446 | 31k| 2 | 345 | 11 | 0.000000e+00 | -- | Inf | 1.17%
618.50/620.24 c 620s| 1300 | 1283 | 1007k| 748.3 | 87M | 30 |3162 |7079 |7432 | 32k| 1 | 347 | 11 | 0.000000e+00 | -- | Inf | 1.17%
637.85/639.63 c 640s| 1400 | 1380 | 1048k| 724.0 | 89M | 30 |3162 |7110 |7371 | 34k| 1 | 381 | 11 | 0.000000e+00 | -- | Inf | 1.17%
670.56/672.42 c 672s| 1500 | 1480 | 1116k| 721.0 | 89M | 30 |3162 |7101 |7418 | 37k| 1 | 391 | 11 | 0.000000e+00 | -- | Inf | 1.17%
700.09/702.03 c 702s| 1600 | 1576 | 1178k| 714.5 | 90M | 33 |3162 |7101 | 0 | 40k| 0 | 421 | 11 | 0.000000e+00 | -- | Inf | 1.17%
731.60/733.63 c 734s| 1700 | 1676 | 1248k| 713.7 | 91M | 33 |3162 |7081 |7320 | 44k| 2 | 424 | 11 | 0.000000e+00 | -- | Inf | 1.17%
760.62/762.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
760.62/762.75 c 763s| 1800 | 1776 | 1308k| 707.7 | 92M | 33 |3162 |7070 |7406 | 47k| 1 | 430 | 11 | 0.000000e+00 | -- | Inf | 1.17%
794.84/797.04 c 797s| 1900 | 1876 | 1381k| 708.5 | 92M | 33 |3162 |7081 |7470 | 51k| 2 | 445 | 11 | 0.000000e+00 | -- | Inf | 1.17%
830.14/832.41 c 832s| 2000 | 1976 | 1454k| 709.7 | 93M | 34 |3162 |7099 |7429 | 54k| 1 | 472 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1045.58/1048.41 c 1048s| 2100 | 2076 | 1667k| 777.3 | 93M | 34 |3162 |7093 |7272 | 57k| 1 | 477 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1067.73/1070.69 c 1071s| 2200 | 2176 | 1716k| 764.5 | 93M | 34 |3162 |7091 |7418 | 60k| 1 | 487 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1094.16/1097.19 c 1097s| 2300 | 2276 | 1780k| 758.7 | 94M | 34 |3162 |7096 |7441 | 62k| 1 | 501 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1117.89/1120.92 c 1121s| 2400 | 2376 | 1834k| 749.7 | 94M | 34 |3162 |7090 |7424 | 65k| 1 | 503 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1136.34/1139.47 c 1139s| 2500 | 2476 | 1879k| 737.8 | 94M | 34 |3162 |7090 |7369 | 68k| 1 | 506 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1163.77/1166.97 c 1167s| 2600 | 2576 | 1935k| 731.1 | 95M | 34 |3162 |7090 |7263 | 70k| 1 | 513 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1189.50/1192.78 c 1193s| 2700 | 2676 | 1994k| 725.9 | 97M | 34 |3162 |7089 |7432 | 73k| 1 | 514 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1213.34/1216.60 c 1217s| 2800 | 2776 | 2048k| 719.1 | 97M | 34 |3162 |7093 |7378 | 76k| 1 | 525 | 11 | 0.000000e+00 | -- | Inf | 1.17%
1228.30/1231.67 c 1232s| 2900 | 2874 | 2082k| 706.2 | 97M | 37 |3162 |7089 |7438 | 77k| 1 | 527 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1248.94/1252.35 c 1252s| 3000 | 2974 | 2121k| 695.4 | 98M | 37 |3162 |7098 |7415 | 78k| 1 | 540 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1268.60/1272.01 c 1272s| 3100 | 3074 | 2166k| 687.5 | 98M | 37 |3162 |7106 |7278 | 81k| 1 | 560 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1290.33/1293.89 c 1294s| 3200 | 3174 | 2216k| 681.7 | 99M | 37 |3162 |7129 |7479 | 83k| 2 | 590 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1305.60/1309.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1305.60/1309.14 c 1309s| 3300 | 3274 | 2252k| 672.1 | 99M | 37 |3162 |7147 |7436 | 85k| 1 | 611 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1331.72/1335.36 c 1335s| 3400 | 3374 | 2305k| 667.8 | 99M | 37 |3162 |7134 |7119 | 87k| 1 | 616 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1339.90/1343.51 c 1344s| 3500 | 3474 | 2325k| 654.4 | 99M | 37 |3162 |7128 |7278 | 88k| 1 | 626 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1360.25/1363.91 c 1364s| 3600 | 3574 | 2369k| 648.5 | 100M | 37 |3162 |7150 |7443 | 90k| 1 | 656 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1374.81/1378.53 c 1379s| 3700 | 3674 | 2405k| 640.6 | 100M | 37 |3162 |7140 |7433 | 91k| 1 | 656 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1390.77/1394.53 c 1395s| 3800 | 3774 | 2447k| 634.9 | 100M | 37 |3162 |7139 |7425 | 93k| 1 | 662 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1401.54/1405.37 c 1405s| 3900 | 3874 | 2472k| 625.0 | 101M | 37 |3162 |7137 |7438 | 94k| 1 | 667 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1424.98/1428.81 c 1429s| 4000 | 3974 | 2527k| 623.0 | 102M | 37 |3162 |7131 |7278 | 95k| 1 | 674 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1440.04/1443.95 c 1444s| 4100 | 4074 | 2565k| 617.3 | 102M | 37 |3162 |7130 |7423 | 97k| 1 | 677 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1462.28/1466.29 c 1466s| 4200 | 4174 | 2613k| 613.8 | 103M | 37 |3162 |7134 |7478 | 99k| 2 | 691 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1477.44/1481.48 c 1481s| 4300 | 4274 | 2646k| 607.3 | 104M | 37 |3162 |7124 |7426 | 100k| 1 | 692 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1491.90/1495.92 c 1496s| 4400 | 4374 | 2677k| 600.4 | 106M | 37 |3162 |7130 |7434 | 101k| 1 | 707 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1497.68/1501.74 c 1502s| 4500 | 4474 | 2693k| 590.7 | 106M | 37 |3162 |7129 |7429 | 101k| 1 | 707 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1509.65/1513.79 c 1514s| 4600 | 4574 | 2723k| 584.4 | 106M | 38 |3162 |7120 |7453 | 103k| 2 | 707 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1515.53/1519.65 c 1520s| 4700 | 4674 | 2738k| 575.2 | 106M | 39 |3162 |7120 |7426 | 104k| 1 | 709 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1528.90/1533.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1528.90/1533.05 c 1533s| 4800 | 4774 | 2768k| 569.4 | 106M | 39 |3162 |7116 |7426 | 105k| 2 | 711 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1544.76/1548.90 c 1549s| 4900 | 4874 | 2802k| 564.7 | 106M | 39 |3162 |7120 |7422 | 106k| 1 | 725 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1552.64/1556.83 c 1557s| 5000 | 4974 | 2820k| 557.0 | 106M | 39 |3162 |7129 |7550 | 107k| 1 | 742 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1558.82/1563.01 c 1563s| 5100 | 5074 | 2838k| 549.6 | 109M | 42 |3162 |7127 |7430 | 108k| 1 | 742 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1578.07/1582.39 c 1582s| 5200 | 5174 | 2878k| 546.8 | 114M | 42 |3162 |7122 |7424 | 110k| 1 | 744 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1598.21/1602.54 c 1603s| 5300 | 5274 | 2925k| 545.2 | 114M | 42 |3162 |7159 |7583 | 111k| 2 | 785 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1616.17/1620.54 c 1621s| 5400 | 5374 | 2965k| 542.6 | 114M | 42 |3162 |7160 |7283 | 112k| 1 | 793 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1624.14/1628.51 c 1629s| 5500 | 5474 | 2989k| 537.1 | 114M | 42 |3162 |7159 |7579 | 114k| 1 | 793 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1634.02/1638.43 c 1638s| 5600 | 5574 | 3013k| 531.8 | 115M | 42 |3162 |7161 |7429 | 115k| 1 | 803 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1645.49/1649.90 c 1650s| 5700 | 5674 | 3043k| 527.8 | 115M | 42 |3162 |7166 |7615 | 117k| 2 | 812 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1674.71/1679.24 c 1679s| 5800 | 5774 | 3098k| 528.2 | 115M | 42 |3162 |7168 |7549 | 118k| 1 | 819 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1693.36/1697.96 c 1698s| 5900 | 5874 | 3137k| 525.8 | 116M | 42 |3162 |7175 |7428 | 120k| 1 | 830 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1709.42/1714.00 c 1714s| 6000 | 5974 | 3177k| 523.7 | 117M | 44 |3162 |7182 |7542 | 122k| 1 | 841 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1722.69/1727.36 c 1727s| 6100 | 6074 | 3209k| 520.4 | 118M | 44 |3162 |7183 |7478 | 124k| 2 | 849 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1750.91/1755.66 c 1756s| 6200 | 6174 | 3273k| 522.2 | 118M | 44 |3162 |7169 |7428 | 126k| 1 | 850 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1770.76/1775.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1770.76/1775.52 c 1776s| 6300 | 6274 | 3315k| 520.6 | 119M | 44 |3162 |7156 |7547 | 127k| 1 | 850 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1790.51/1795.33 c 1795s| 6400 | 6374 | 3357k| 519.1 | 119M | 44 |3162 |7147 |7436 | 129k| 1 | 853 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1804.47/1809.31 c 1809s| 6500 | 6474 | 3393k| 516.7 | 119M | 44 |3162 |7143 |7428 | 131k| 1 | 858 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1832.10/1837.04 c 1837s| 6600 | 6574 | 3456k| 518.4 | 119M | 44 |3162 |7150 |7426 | 134k| 1 | 886 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1857.93/1862.97 c 1863s| 6700 | 6674 | 3512k| 519.1 | 119M | 44 |3162 |7137 |7263 | 136k| 1 | 887 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1866.60/1871.60 c 1872s| 6800 | 6774 | 3534k| 514.6 | 119M | 44 |3162 |7133 |7530 | 137k| 1 | 887 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1887.25/1892.35 c 1892s| 6900 | 6872 | 3580k| 513.8 | 120M | 44 |3162 |7136 |7267 | 139k| 1 | 893 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1908.29/1913.46 c 1913s| 7000 | 6972 | 3629k| 513.5 | 120M | 44 |3162 |7140 |7729 | 142k| 2 | 901 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1932.33/1937.50 c 1937s| 7100 | 7072 | 3694k| 515.4 | 121M | 44 |3162 |7137 |7430 | 144k| 1 | 908 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1955.57/1960.83 c 1961s| 7200 | 7172 | 3741k| 514.7 | 121M | 44 |3162 |7132 |7430 | 146k| 1 | 910 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1979.10/1984.41 c 1984s| 7300 | 7264 | 3794k| 515.0 | 121M | 44 |3162 |7156 |7538 | 148k| 1 | 940 | 11 | 0.000000e+00 | -- | Inf | 1.56%
1992.27/1997.66 c 1998s| 7400 | 7360 | 3825k| 512.2 | 121M | 44 |3162 |7151 |7588 | 149k| 1 | 942 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2014.91/2020.36 c 2020s| 7500 | 7458 | 3875k| 512.0 | 124M | 44 |3162 |7159 |7434 | 152k| 1 | 955 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2033.56/2039.08 c 2039s| 7600 | 7532 | 3915k| 510.6 | 124M | 44 |3162 |7154 |7530 | 153k| 1 | 960 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2059.49/2065.04 c 2065s| 7700 | 7618 | 3969k| 510.9 | 124M | 44 |3162 |7164 |7279 | 155k| 1 | 980 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2073.56/2079.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2073.56/2079.17 c 2079s| 7800 | 7712 | 4005k| 509.0 | 125M | 44 |3162 |7183 |7543 | 157k| 1 |1006 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2095.29/2100.97 c 2101s| 7900 | 7794 | 4058k| 509.3 | 125M | 44 |3162 |7190 |7590 | 159k| 2 |1019 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2111.36/2117.05 c 2117s| 8000 | 7880 | 4097k| 507.8 | 126M | 44 |3162 |7177 |7425 | 161k| 1 |1020 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2128.51/2134.25 c 2134s| 8100 | 7968 | 4148k| 507.8 | 126M | 44 |3162 |7171 |7428 | 164k| 1 |1020 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2155.43/2161.27 c 2161s| 8200 | 8058 | 4206k| 508.6 | 126M | 44 |3162 |7196 |7280 | 166k| 1 |1060 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2178.47/2184.30 c 2184s| 8300 | 8154 | 4260k| 509.0 | 127M | 44 |3162 |7205 |7424 | 169k| 1 |1078 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2189.64/2195.53 c 2196s| 8400 | 8248 | 4290k| 506.6 | 127M | 44 |3162 |7227 |7434 | 170k| 1 |1105 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2210.39/2216.34 c 2216s| 8500 | 8344 | 4336k| 506.0 | 127M | 44 |3162 |7214 |7538 | 172k| 1 |1106 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2233.62/2239.60 c 2240s| 8600 | 8444 | 4385k| 505.9 | 128M | 44 |3162 |7204 |7521 | 174k| 1 |1109 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2255.66/2261.75 c 2262s| 8700 | 8542 | 4435k| 505.7 | 128M | 44 |3162 |7186 |7428 | 177k| 1 |1110 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2271.92/2278.06 c 2278s| 8800 | 8640 | 4474k| 504.5 | 129M | 44 |3162 |7189 |7432 | 179k| 1 |1122 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2295.66/2301.83 c 2302s| 8900 | 8740 | 4530k| 505.0 | 131M | 44 |3162 |7194 |7269 | 181k| 1 |1135 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2311.21/2317.48 c 2317s| 9000 | 8840 | 4566k| 503.5 | 131M | 44 |3162 |7196 |7531 | 183k| 1 |1145 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2319.59/2325.84 c 2326s| 9100 | 8940 | 4591k| 500.7 | 132M | 44 |3162 |7196 |7463 | 184k| 2 |1145 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2331.56/2337.82 c 2338s| 9200 | 9040 | 4613k| 497.6 | 133M | 44 |3162 |7187 |7215 | 185k| 1 |1148 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2355.40/2361.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2355.40/2361.70 c 2362s| 9300 | 9140 | 4670k| 498.5 | 133M | 44 |3162 |7208 |7736 | 187k| 2 |1183 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2384.02/2390.42 c 2390s| 9400 | 9240 | 4725k| 499.0 | 135M | 44 |3162 |7210 |7539 | 189k| 1 |1216 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2396.69/2403.13 c 2403s| 9500 | 9340 | 4760k| 497.3 | 135M | 44 |3162 |7200 |7438 | 191k| 1 |1216 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2409.05/2415.52 c 2416s| 9600 | 9440 | 4789k| 495.3 | 135M | 44 |3162 |7188 |7371 | 193k| 1 |1220 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2421.52/2428.00 c 2428s| 9700 | 9540 | 4819k| 493.2 | 135M | 44 |3162 |7180 |7544 | 194k| 2 |1223 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2445.76/2452.39 c 2452s| 9800 | 9640 | 4886k| 495.0 | 135M | 44 |3162 |7167 |7426 | 196k| 1 |1226 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2468.10/2474.70 c 2475s| 9900 | 9740 | 4934k| 494.8 | 136M | 47 |3162 |7156 |7426 | 198k| 1 |1229 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2479.17/2485.84 c 2486s| 10000 | 9840 | 4958k| 492.3 | 136M | 47 |3162 |7154 |7544 | 199k| 2 |1232 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2488.04/2494.74 c 2495s| 10100 | 9940 | 4981k| 489.7 | 136M | 47 |3162 |7170 |7550 | 200k| 1 |1250 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2508.89/2515.69 c 2516s| 10200 | 10040 | 5032k| 489.9 | 136M | 47 |3162 |7193 |7428 | 202k| 1 |1275 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2533.02/2539.82 c 2540s| 10300 | 10140 | 5089k| 490.7 | 137M | 47 |3162 |7188 |7371 | 205k| 1 |1287 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2558.86/2565.73 c 2566s| 10400 | 10240 | 5154k| 492.2 | 137M | 47 |3162 |7174 |7263 | 208k| 1 |1291 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2571.42/2578.38 c 2578s| 10500 | 10340 | 5186k| 490.6 | 137M | 47 |3162 |7163 |7422 | 209k| 1 |1291 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2591.47/2598.47 c 2598s| 10600 | 10440 | 5229k| 490.0 | 137M | 47 |3162 |7168 |7432 | 211k| 1 |1305 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2605.63/2612.63 c 2613s| 10700 | 10540 | 5264k| 488.7 | 137M | 47 |3162 |7167 |7407 | 212k| 2 |1311 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2620.29/2627.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2620.29/2627.36 c 2627s| 10800 | 10640 | 5300k| 487.6 | 140M | 47 |3162 |7172 |7442 | 214k| 1 |1321 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2640.84/2647.97 c 2648s| 10900 | 10740 | 5347k| 487.4 | 140M | 47 |3162 |7171 |7426 | 216k| 1 |1324 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2659.90/2667.07 c 2667s| 11000 | 10840 | 5391k| 486.9 | 140M | 47 |3162 |7182 |7442 | 217k| 1 |1343 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2675.45/2682.65 c 2683s| 11100 | 10940 | 5428k| 485.9 | 140M | 47 |3162 |7183 |7465 | 219k| 2 |1353 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2689.82/2697.05 c 2697s| 11200 | 11040 | 5465k| 484.8 | 140M | 47 |3162 |7191 |7530 | 221k| 1 |1366 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2700.59/2707.81 c 2708s| 11300 | 11140 | 5491k| 482.9 | 140M | 47 |3162 |7189 |7266 | 223k| 1 |1366 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2717.15/2724.48 c 2724s| 11400 | 11240 | 5530k| 482.0 | 140M | 47 |3162 |7211 |7537 | 224k| 1 |1393 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2729.91/2737.20 c 2737s| 11500 | 11340 | 5563k| 480.7 | 141M | 47 |3162 |7213 |7263 | 226k| 1 |1404 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2753.35/2760.73 c 2761s| 11600 | 11440 | 5610k| 480.6 | 141M | 47 |3162 |7209 |7544 | 227k| 1 |1415 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2763.13/2770.52 c 2771s| 11700 | 11540 | 5636k| 478.7 | 142M | 47 |3162 |7206 |7530 | 229k| 1 |1415 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2785.67/2793.13 c 2793s| 11800 | 11640 | 5689k| 479.2 | 142M | 47 |3162 |7189 |7408 | 231k| 2 |1425 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2798.13/2805.60 c 2806s| 11900 | 11740 | 5721k| 477.8 | 143M | 47 |3162 |7175 |7632 | 232k| 2 |1425 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2804.22/2811.70 c 2812s| 12000 | 11840 | 5740k| 475.4 | 143M | 47 |3162 |7175 |7442 | 233k| 2 |1425 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2820.98/2828.59 c 2829s| 12100 | 11940 | 5780k| 474.8 | 143M | 54 |3162 |7174 |7536 | 235k| 1 |1439 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2842.22/2849.87 c 2850s| 12200 | 12040 | 5832k| 475.2 | 143M | 54 |3162 |7200 |7820 | 238k| 2 |1473 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2863.38/2871.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2863.38/2871.02 c 2871s| 12300 | 12140 | 5882k| 475.4 | 145M | 54 |3162 |7191 |7463 | 240k| 2 |1476 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2877.14/2884.85 c 2885s| 12400 | 12240 | 5918k| 474.5 | 145M | 54 |3162 |7184 |7432 | 241k| 1 |1483 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2900.18/2907.96 c 2908s| 12500 | 12340 | 5971k| 474.9 | 145M | 54 |3162 |7193 |7695 | 243k| 1 |1504 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2917.24/2925.01 c 2925s| 12600 | 12438 | 6018k| 474.9 | 146M | 54 |3162 |7191 |7828 | 246k| 2 |1515 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2940.86/2948.75 c 2949s| 12700 | 12538 | 6071k| 475.3 | 147M | 55 |3162 |7202 |7611 | 248k| 2 |1535 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2955.92/2963.83 c 2964s| 12800 | 12638 | 6110k| 474.6 | 147M | 55 |3162 |7196 |7420 | 249k| 1 |1535 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2965.68/2973.69 c 2974s| 12900 | 12738 | 6137k| 473.0 | 148M | 55 |3162 |7194 |7371 | 251k| 1 |1535 | 11 | 0.000000e+00 | -- | Inf | 1.56%
2985.03/2993.08 c 2993s| 13000 | 12838 | 6183k| 472.9 | 148M | 55 |3162 |7194 |7570 | 253k| 2 |1539 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3016.72/3024.87 c 3025s| 13100 | 12938 | 6251k| 474.5 | 148M | 55 |3162 |7216 |7426 | 255k| 1 |1575 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3030.88/3039.04 c 3039s| 13200 | 13038 | 6288k| 473.7 | 148M | 56 |3162 |7214 |7688 | 257k| 1 |1577 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3047.52/3055.79 c 3056s| 13300 | 13138 | 6343k| 474.3 | 149M | 56 |3162 |7228 |7685 | 259k| 1 |1592 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3063.67/3071.97 c 3072s| 13400 | 13238 | 6381k| 473.6 | 149M | 56 |3162 |7216 |7789 | 261k| 1 |1592 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3089.09/3097.49 c 3097s| 13500 | 13336 | 6440k| 474.5 | 149M | 56 |3162 |7244 |7546 | 263k| 1 |1634 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3116.01/3124.49 c 3124s| 13600 | 13436 | 6500k| 475.4 | 150M | 56 |3162 |7233 |7434 | 266k| 1 |1638 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3136.65/3145.15 c 3145s| 13700 | 13536 | 6553k| 475.8 | 151M | 56 |3162 |7237 |7263 | 268k| 1 |1665 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3146.41/3154.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3146.41/3154.92 c 3155s| 13800 | 13636 | 6579k| 474.2 | 151M | 56 |3162 |7224 |7545 | 270k| 1 |1665 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3167.04/3175.60 c 3176s| 13900 | 13736 | 6626k| 474.2 | 152M | 56 |3162 |7230 |7438 | 272k| 1 |1683 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3186.28/3194.92 c 3195s| 14000 | 13836 | 6675k| 474.3 | 152M | 56 |3162 |7218 |7432 | 274k| 1 |1688 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3214.10/3222.89 c 3223s| 14100 | 13936 | 6734k| 475.1 | 152M | 56 |3162 |7210 |7584 | 277k| 1 |1691 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3401.72/3410.98 c 3411s| 14200 | 14036 | 6832k| 478.7 | 152M | 56 |3162 |7202 |7555 | 279k| 1 |1696 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3417.78/3427.10 c 3427s| 14300 | 14136 | 6875k| 478.4 | 153M | 56 |3162 |7206 |7427 | 281k| 1 |1710 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3437.72/3447.03 c 3447s| 14400 | 14234 | 6921k| 478.2 | 155M | 56 |3162 |7198 |7731 | 283k| 2 |1722 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3449.99/3459.39 c 3459s| 14500 | 14334 | 6955k| 477.2 | 155M | 56 |3162 |7200 |7371 | 285k| 1 |1726 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3478.12/3487.50 c 3487s| 14600 | 14434 | 7017k| 478.3 | 156M | 56 |3162 |7206 |7658 | 287k| 1 |1747 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3500.97/3510.40 c 3510s| 14700 | 14534 | 7070k| 478.6 | 157M | 56 |3162 |7219 |7426 | 289k| 1 |1763 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3519.63/3529.12 c 3529s| 14800 | 14634 | 7118k| 478.6 | 157M | 56 |3162 |7215 |7693 | 292k| 1 |1766 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3533.98/3543.53 c 3544s| 14900 | 14734 | 7153k| 477.7 | 157M | 56 |3162 |7214 |7676 | 294k| 1 |1769 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3565.51/3575.19 c 3575s| 15000 | 14834 | 7222k| 479.1 | 159M | 56 |3162 |7208 |7538 | 296k| 1 |1779 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3582.97/3592.67 c 3593s| 15100 | 14932 | 7266k| 478.9 | 160M | 56 |3162 |7204 |7750 | 299k| 2 |1784 | 11 | 0.000000e+00 | -- | Inf | 1.56%
3587.36/3597.00 c
3587.36/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.36/3597.00 c Solving Time (sec) : 3597.00
3587.36/3597.00 c Solving Nodes : 15123
3587.36/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.36/3597.00 c Dual Bound : +0.00000000000000e+00
3587.36/3597.00 c Gap : infinite
3587.36/3597.00 s UNKNOWN
3587.36/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.36/3597.00 c Total Time : 3597.00
3587.36/3597.00 c solving : 3597.00
3587.36/3597.00 c presolving : 0.25 (included in solving)
3587.36/3597.00 c reading : 0.02 (included in solving)
3587.36/3597.00 c copying : 1.37 (107 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.36/3597.00 c Original Problem :
3587.36/3597.00 c Problem name : HOME/instance-4513232-1751214518.opb
3587.36/3597.00 c Variables : 4128 (4128 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.36/3597.00 c Constraints : 8720 initial, 8720 maximal
3587.36/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.36/3597.00 c Presolved Problem :
3587.36/3597.00 c Problem name : t_HOME/instance-4513232-1751214518.opb
3587.36/3597.00 c Variables : 3162 (3162 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.36/3597.00 c Constraints : 6944 initial, 7253 maximal
3587.36/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.36/3597.00 c Nonzeros : 32504 constraint, 1576 clique table
3587.36/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.36/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c gateextraction : 0.00 0.00 1 0 0 0 0 0 96 32 0 0
3587.36/3597.00 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c milp : 0.03 0.00 1 3 86 0 0 0 0 0 0 0
3587.36/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c trivial : 0.00 0.00 11 70 0 0 0 0 0 0 0 0
3587.36/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c probing : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c setppc : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c and : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c xor : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c linear : 0.06 0.00 16 749 58 0 749 0 2551 839 60 0
3587.36/3597.00 c logicor : 0.02 0.00 9 0 0 0 0 0 0 0 0 35
3587.36/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.36/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.36/3597.00 c benderslp : 0 0 0 0 15038 0 0 8788 0 0 0 0 0 0 0
3587.36/3597.00 c integral : 0 0 0 0 15038 0 0 8788 0 0 0 0 0 0 30076
3587.36/3597.00 c knapsack : 0+ 12 0 381798 0 0 0 0 60 23 17 0 0 0 0
3587.36/3597.00 c setppc : 0+ 18 0 304748 0 0 0 0 56 13 1378 0 0 0 0
3587.36/3597.00 c and : 32 32 15354 383493 0 0 0 8784 680 6 581 1472 1389 0 0
3587.36/3597.00 c xor : 1 1 11 347139 0 0 0 6 13 6 0 0 0 0 0
3587.36/3597.00 c linear : 1226+ 1244 11 392804 0 0 0 6 22690 2887 29421 0 0 0 0
3587.36/3597.00 c logicor : 5685+ 6011 11 224025 0 0 0 0 5066 153 4798 3 0 0 0
3587.36/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.36/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c integral : 11.39 0.00 0.00 0.00 11.10 0.00 0.00 0.29 0.00 0.00
3587.36/3597.00 c knapsack : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c and : 0.23 0.00 0.12 0.10 0.00 0.00 0.00 0.01 0.00 0.00
3587.36/3597.00 c xor : 1.07 0.00 0.00 1.07 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c linear : 1.18 0.00 0.00 1.16 0.00 0.00 0.00 0.00 0.01 0.00
3587.36/3597.00 c logicor : 0.88 0.00 0.01 0.87 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.36/3597.00 c dualfix : 1 0 0 0
3587.36/3597.00 c genvbounds : 0 0 0 0
3587.36/3597.00 c nlobbt : 0 0 0 0
3587.36/3597.00 c obbt : 0 0 0 0
3587.36/3597.00 c probing : 0 0 0 0
3587.36/3597.00 c pseudoobj : 0 0 0 0
3587.36/3597.00 c redcost : 0 0 0 0
3587.36/3597.00 c rootredcost : 0 0 0 0
3587.36/3597.00 c symmetry : 0 0 0 0
3587.36/3597.00 c vbounds : 92143 0 0 0
3587.36/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.36/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.36/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.36/3597.00 c probing : 0.11 0.00 0.11 0.00 0.00 0.00
3587.36/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.36/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.36/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.36/3597.00 c symmetry : 0.06 0.00 0.02 0.04 0.00 0.00
3587.36/3597.00 c vbounds : 0.06 0.00 0.00 0.06 0.00 0.00
3587.36/3597.00 c Symmetry :
3587.36/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.36/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.36/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.36/3597.00 c shadow tree time : 0.00 s
3587.36/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.36/3597.00 c propagation : 0.05 442 435 - 3126 142.9 192 8.5 - - -
3587.36/3597.00 c infeasible LP : 0.03 49 49 - 768 147.8 29 5.4 49 89.4 0
3587.36/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.36/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.36/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.36/3597.00 c applied globally : 0.01 - - 0 1676 42.3 - - 49 - -
3587.36/3597.00 c applied locally : - - - 0 59 4.3 - - 0 - -
3587.36/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.36/3597.00 c cut pool : 0.94 - 3169 21 - - 6526 954713 - - - - - (maximal pool size: 4475)
3587.36/3597.00 c aggregation : 0.20 0.00 33 11 0 0 4050 533692 24 189401 189383 18 0
3587.36/3597.00 c > cmir : - - - - - - - 149853 0 28561 28561 0 -
3587.36/3597.00 c > flowcover : - - - - - - - 200480 0 75084 75084 0 -
3587.36/3597.00 c > knapsackcover : - - - - - - - 183359 24 85756 85738 18 -
3587.36/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c clique : 0.02 0.00 11 11 0 0 13 3173 0 448 448 0 0
3587.36/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c gomory : 9.06 0.00 32 10 0 0 1492 229666 2 15678 15677 1 0
3587.36/3597.00 c > gomorymi : - - - - - - - 96975 1 8553 8552 1 -
3587.36/3597.00 c > strongcg : - - - - - - - 132691 1 7125 7125 0 -
3587.36/3597.00 c impliedbounds : 0.01 0.00 33 11 0 0 699 111598 0 56902 56902 0 0
3587.36/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c multilinear : 0.00 0.00 279 11 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.36/3597.00 c rapidlearning : 10.32 0.00 100 1 0 63 0 0 0 0 0 0 97
3587.36/3597.00 c rlt : 0.52 0.00 30 10 0 0 9 8 3 6 5 1 0
3587.36/3597.00 c zerohalf : 0.66 0.00 32 11 0 0 367 76576 75 36467 36399 68 0
3587.36/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.36/3597.00 c hybrid : 1.63 0.00 4160 11 300298 0 655994 2283 0 3548
3587.36/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.36/3597.00 c problem variables: 0.00 - 0 0
3587.36/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.36/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c relpscost : 11.08 0.00 15038 0 0 0 0 0 0 30076
3587.36/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.36/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.36/3597.00 c LP solutions : 0.00 - - 0 0
3587.36/3597.00 c relax solutions : 0.00 - - 0 0
3587.36/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.36/3597.00 c strong branching : 0.00 - - 0 0
3587.36/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.36/3597.00 c adaptivediving : 33.41 0.00 11 0 0
3587.36/3597.00 c alns : 0.25 0.00 7 0 0
3587.36/3597.00 c bound : 0.00 0.00 0 0 0
3587.36/3597.00 c clique : 0.02 0.00 1 0 0
3587.36/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.36/3597.00 c completesol : 0.00 0.00 0 0 0
3587.36/3597.00 c conflictdiving : 508.44 0.00 219 0 0
3587.36/3597.00 c crossover : 0.00 0.00 0 0 0
3587.36/3597.00 c dins : 0.00 0.00 0 0 0
3587.36/3597.00 c distributiondivin: 170.88 0.00 58 0 0
3587.36/3597.00 c dps : 0.00 0.00 0 0 0
3587.36/3597.00 c dualval : 0.00 0.00 0 0 0
3587.36/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.36/3597.00 c feasjump : 0.02 0.00 1 0 0
3587.36/3597.00 c feaspump : 35.60 0.00 8 0 0
3587.36/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.36/3597.00 c fracdiving : 188.79 0.00 50 0 0
3587.36/3597.00 c gins : 0.00 0.00 0 0 0
3587.36/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.36/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.36/3597.00 c indicator : 0.01 0.00 0 0 0
3587.36/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.36/3597.00 c indoneopt : 0.01 0.00 0 0 0
3587.36/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.36/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.36/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.36/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.36/3597.00 c linesearchdiving : 186.26 0.00 54 0 0
3587.36/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.36/3597.00 c locks : 0.02 0.00 1 0 0
3587.36/3597.00 c lpface : 0.04 0.00 0 0 0
3587.36/3597.00 c mpec : 0.00 0.00 0 0 0
3587.36/3597.00 c multistart : 0.00 0.00 0 0 0
3587.36/3597.00 c mutation : 0.00 0.00 0 0 0
3587.36/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.36/3597.00 c objpscostdiving : 498.92 0.00 3 0 0
3587.36/3597.00 c octane : 0.00 0.00 0 0 0
3587.36/3597.00 c ofins : 0.00 0.00 0 0 0
3587.36/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.36/3597.00 c padm : 0.00 0.00 0 0 0
3587.36/3597.00 c proximity : 0.00 0.00 0 0 0
3587.36/3597.00 c pscostdiving : 213.98 0.00 39 0 0
3587.36/3597.00 c randrounding : 0.72 0.00 2906 0 0
3587.36/3597.00 c rens : 0.00 0.00 0 0 0
3587.36/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.36/3597.00 c repair : 0.00 0.00 0 0 0
3587.36/3597.00 c rins : 0.00 0.00 0 0 0
3587.36/3597.00 c rootsoldiving : 23.73 0.00 10 0 0
3587.36/3597.00 c rounding : 0.41 0.00 1939 0 0
3587.36/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.36/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3587.36/3597.00 c shifting : 1.20 0.00 966 0 0
3587.36/3597.00 c simplerounding : 0.01 0.00 0 0 0
3587.36/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.36/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.36/3597.00 c trivial : 0.00 0.00 2 0 0
3587.36/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.36/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.36/3597.00 c trysol : 0.00 0.00 0 0 0
3587.36/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.36/3597.00 c undercover : 0.00 0.00 1 0 0
3587.36/3597.00 c vbounds : 0.00 0.00 0 0 0
3587.36/3597.00 c veclendiving : 192.97 0.00 104 0 0
3587.36/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.36/3597.00 c zirounding : 0.17 0.00 1000 0 0
3587.36/3597.00 c other solutions : - - - 0 -
3587.36/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.36/3597.00 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
3587.36/3597.00 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
3587.36/3597.00 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
3587.36/3597.00 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
3587.36/3597.00 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
3587.36/3597.00 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
3587.36/3597.00 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
3587.36/3597.00 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
3587.36/3597.00 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
3587.36/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.36/3597.00 c primal LP : 1.61 1555 0 0.00 0.00 1.61 1555
3587.36/3597.00 c dual LP : 1481.12 19221 4509047 234.85 3044.36 0.04 21
3587.36/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.36/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.36/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.36/3597.00 c diving/probing LP: 2031.58 5225 2771243 530.38 1364.09
3587.36/3597.00 c strong branching : 5.50 11 11000 1000.00 2001.75 - - 22
3587.36/3597.00 c (at root node) : - 11 11000 1000.00 -
3587.36/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.36/3597.00 c B&B Tree :
3587.36/3597.00 c number of runs : 1
3587.36/3597.00 c nodes : 15123 (15038 internal, 85 leaves)
3587.36/3597.00 c feasible leaves : 0
3587.36/3597.00 c infeas. leaves : 84
3587.36/3597.00 c objective leaves : 0
3587.36/3597.00 c nodes (total) : 15123 (15038 internal, 85 leaves)
3587.36/3597.00 c nodes left : 14954
3587.36/3597.00 c max depth : 56
3587.36/3597.00 c max depth (total): 56
3587.36/3597.00 c backtracks : 3228 (21.3%)
3587.36/3597.00 c early backtracks : 0 (0.0%)
3587.36/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.36/3597.00 c delayed cutoffs : 1
3587.36/3597.00 c repropagations : 34 (4 domain reductions, 0 cutoffs)
3587.36/3597.00 c avg switch length: 6.69
3587.36/3597.00 c switching time : 3.65
3587.36/3597.00 c Root Node :
3587.36/3597.00 c First LP value : +0.00000000000000e+00
3587.36/3597.00 c First LP Iters : 901 (31691.87 Iter/sec)
3587.36/3597.00 c First LP Time : 0.03
3587.36/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.36/3597.00 c Final Root Iters : 35739
3587.36/3597.00 c Root LP Estimate : +3.28140333651750e-01
3587.36/3597.00 c Solution :
3587.36/3597.00 c Solutions found : 0 (0 improvements)
3587.36/3597.00 c Primal Bound : -
3587.36/3597.00 c Dual Bound : +0.00000000000000e+00
3587.36/3597.00 c Gap : infinite
3587.36/3597.00 c Integrals : Total Avg%
3587.36/3597.00 c primal-dual : 359699.74 100.00
3587.36/3597.00 c primal-ref : - - (not evaluated)
3587.36/3597.00 c dual-ref : - - (not evaluated)
3587.36/3597.04 c Time complete: 3587.41.
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: 63708 MiB (62023 MiB free)
memory of node 1: 64465 MiB (62136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513232-1751214518/watcher-4513232-1751214518 -o /tmp/evaluation-result-4513232-1751214518/solver-4513232-1751214518 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751207147-31090 --watchdog 3760 pbscip -f HOME/instance-4513232-1751214518.opb -t 3600 -j 2 -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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32670, runsolver pid=32667
[startup+0.100063 s]*
/proc/loadavg: 4.07 4.13 4.14 5/265 32671
/proc/meminfo: memFree=127107592/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=72696 memory=45928 CPUtime=0.08 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 9373 0 0 0 7 1 0 0 20 0 1 0 37131221 74440704 11482 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 18174 11482 3680 3530 0 9625 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 72696 KiB
Current children cumulated memory: 45928 KiB
[startup+0.205473 s]*
/proc/loadavg: 4.07 4.13 4.14 5/265 32671
/proc/meminfo: memFree=127107592/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=77536 memory=50792 CPUtime=0.19 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 10601 0 0 0 18 1 0 0 20 0 1 0 37131221 79396864 12698 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 19384 12698 3680 3530 0 10835 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77536 KiB
Current children cumulated memory: 50792 KiB
[startup+0.305435 s]*
/proc/loadavg: 4.07 4.13 4.14 5/265 32671
/proc/meminfo: memFree=127107592/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=92988 memory=62668 CPUtime=0.29 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 14277 0 0 0 27 2 0 0 20 0 1 0 37131221 95219712 15667 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 23247 15667 3776 3530 0 14698 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92988 KiB
Current children cumulated memory: 62668 KiB
[startup+0.700203 s]
/proc/loadavg: 4.07 4.13 4.14 5/265 32671
/proc/meminfo: memFree=127091716/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=130408 memory=98312 CPUtime=0.68 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 25129 0 0 0 64 4 0 0 20 0 1 0 37131221 133537792 24578 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 32602 24578 3904 3530 0 24053 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 130408 KiB
Current children cumulated memory: 98312 KiB
[startup+1.50016 s]
/proc/loadavg: 4.07 4.13 4.14 5/265 32671
/proc/meminfo: memFree=127059460/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=130408 memory=98440 CPUtime=1.47 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 25172 0 0 0 143 4 0 0 20 0 1 0 37131221 133537792 24610 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 32602 24610 3904 3530 0 24053 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 130408 KiB
Current children cumulated memory: 98440 KiB
[startup+3.10515 s]
/proc/loadavg: 4.07 4.12 4.14 5/265 32671
/proc/meminfo: memFree=127060252/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=130408 memory=98568 CPUtime=3.07 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 25215 0 0 0 303 4 0 0 20 0 1 0 37131221 133537792 24642 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 32602 24642 3904 3530 0 24053 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 130408 KiB
Current children cumulated memory: 98568 KiB
[startup+6.30012 s]
/proc/loadavg: 4.07 4.12 4.14 5/265 32671
/proc/meminfo: memFree=127060772/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=130408 memory=98568 CPUtime=6.26 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 25219 0 0 0 622 4 0 0 20 0 1 0 37131221 133537792 24642 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 32602 24642 3904 3530 0 24053 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 130408 KiB
Current children cumulated memory: 98568 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.12 4.14 5/265 32671
/proc/meminfo: memFree=127052832/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=130408 memory=99464 CPUtime=12.64 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 25448 0 0 0 1260 4 0 0 20 0 1 0 37131221 133537792 24866 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 32602 24866 3904 3530 0 24053 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 130408 KiB
Current children cumulated memory: 99464 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.12 4.14 5/265 32671
/proc/meminfo: memFree=127037796/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=134720 memory=101640 CPUtime=25.41 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 25976 0 0 0 2537 4 0 0 20 0 1 0 37131221 137953280 25410 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 33680 25410 3904 3530 0 25131 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 134720 KiB
Current children cumulated memory: 101640 KiB
[startup+51.1047 s]
/proc/loadavg: 4.10 4.12 4.14 5/265 32672
/proc/meminfo: memFree=127016736/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=159236 memory=124856 CPUtime=50.95 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 33662 0 0 0 5089 6 0 0 20 0 1 0 37131221 163057664 31214 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 39809 31214 3904 3530 0 31260 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 159236 KiB
Current children cumulated memory: 124856 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/265 32673
/proc/meminfo: memFree=127014748/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=159236 memory=124856 CPUtime=102.02 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 33662 0 0 0 10196 6 0 0 20 0 1 0 37131221 163057664 31214 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 39809 31214 3904 3530 0 31260 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 159236 KiB
Current children cumulated memory: 124856 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/265 32678
/proc/meminfo: memFree=127008212/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=159236 memory=124856 CPUtime=161.87 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 33662 0 0 0 16181 6 0 0 20 0 1 0 37131221 163057664 31214 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 39809 31214 3904 3530 0 31260 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 159236 KiB
Current children cumulated memory: 124856 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/264 32680
/proc/meminfo: memFree=126967324/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=162212 memory=129352 CPUtime=221.72 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 35735 0 0 0 22166 6 0 0 20 0 1 0 37131221 166105088 32338 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 40553 32338 3904 3530 0 32004 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 162212 KiB
Current children cumulated memory: 129352 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/265 32683
/proc/meminfo: memFree=126927568/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=161912 memory=129188 CPUtime=281.54 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 36634 0 0 0 28148 6 0 0 20 0 1 0 37131221 165797888 32297 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 40478 32297 3936 3530 0 31929 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 161912 KiB
Current children cumulated memory: 129188 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/264 32685
/proc/meminfo: memFree=126912496/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=163348 memory=131264 CPUtime=341.35 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 41411 0 0 0 34128 7 0 0 20 0 1 0 37131221 167268352 32816 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 40837 32816 3936 3530 0 32288 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 163348 KiB
Current children cumulated memory: 131264 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/265 32688
/proc/meminfo: memFree=126876432/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=165704 memory=141300 CPUtime=401.18 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 57246 0 0 0 40108 10 0 0 20 0 1 0 37131221 169680896 35325 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 41426 35325 3936 3530 0 32877 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 165704 KiB
Current children cumulated memory: 141300 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.10 5/265 32692
/proc/meminfo: memFree=126886500/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=165248 memory=140848 CPUtime=461.02 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 70641 0 0 0 46090 12 0 0 20 0 1 0 37131221 169213952 35212 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 41312 35212 3936 3530 0 32763 0
################
# More data... #
################
/proc/loadavg: 3.10 3.27 3.65 4/259 32873
/proc/meminfo: memFree=127009240/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=205600 memory=181188 CPUtime=3153.78 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 136500 0 0 0 315354 24 0 0 20 0 1 0 37131221 210534400 45297 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 51400 45297 3936 3530 0 42851 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 205600 KiB
Current children cumulated memory: 181188 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.23 3.61 4/258 32875
/proc/meminfo: memFree=126989904/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=199236 CPUtime=3213.6 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141033 0 0 0 321335 25 0 0 20 0 1 0 37131221 230707200 49809 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 49809 3936 3530 0 47776 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 199236 KiB
[startup+3282.3 s]
/proc/loadavg: 3.06 3.20 3.58 4/258 32877
/proc/meminfo: memFree=126964168/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3273.44 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141036 0 0 0 327319 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3342.3 s]
/proc/loadavg: 3.07 3.18 3.54 4/258 32880
/proc/meminfo: memFree=126964080/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3333.29 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141036 0 0 0 333304 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.18 3.52 4/257 32882
/proc/meminfo: memFree=126971380/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3393.14 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141036 0 0 0 339289 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3462.3 s]
/proc/loadavg: 2.54 3.03 3.45 2/245 32945
/proc/meminfo: memFree=127469668/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3452.98 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141037 0 0 0 345273 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3522.3 s]
/proc/loadavg: 1.57 2.66 3.29 2/247 32951
/proc/meminfo: memFree=127469064/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3512.84 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141037 0 0 0 351259 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3582.3 s]
/proc/loadavg: 1.31 2.38 3.15 2/247 32953
/proc/meminfo: memFree=127469208/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3572.69 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141038 0 0 0 357244 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3597.05 s]
# the end of solver process 32670 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.16 s, system=0.252101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.28 2.36 3.14 2/247 32953
/proc/meminfo: memFree=127469208/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3574.39 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141038 0 0 0 357414 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3574.39 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3590.4 s]
/proc/loadavg: 1.26 2.34 3.13 2/247 32953
/proc/meminfo: memFree=127469208/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3580.77 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141038 0 0 0 358052 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3580.77 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3593.6 s]
/proc/loadavg: 1.24 2.31 3.12 2/247 32953
/proc/meminfo: memFree=127469208/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3583.96 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141038 0 0 0 358371 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3595.2 s]
/proc/loadavg: 1.24 2.31 3.12 2/247 32953
/proc/meminfo: memFree=127469208/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3585.56 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141038 0 0 0 358531 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3596 s]*
/proc/loadavg: 1.24 2.31 3.12 2/247 32953
/proc/meminfo: memFree=127469208/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3586.36 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141038 0 0 0 358611 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3596.8 s]
/proc/loadavg: 1.24 2.31 3.12 2/247 32953
/proc/meminfo: memFree=127469208/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3587.16 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141038 0 0 0 358691 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
[startup+3597 s]*
/proc/loadavg: 1.24 2.31 3.12 2/247 32953
/proc/meminfo: memFree=127469208/131250000 swapFree=33010684/33010684
[pid=32670] ppid=32667 vsize=225300 memory=200516 CPUtime=3587.36 cores=4,6
/proc/32670/stat : 32670 (pbscip) R 32667 32670 31079 0 -1 4194304 141038 0 0 0 358711 25 0 0 20 0 1 0 37131221 230707200 50129 18446744073709551615 4235264 18693293 140726279187568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 38252544 140726279190921 140726279191020 140726279191020 140726279196622 0
/proc/32670/statm: 56325 50129 3936 3530 0 47776 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 225300 KiB
Current children cumulated memory: 200516 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3587.41
CPU user time (s): 3587.16
CPU system time (s): 0.252101
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 225300
Max. memory (cumulated for all children) (KiB): 200516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.16
system time used= 0.252101
maximum resident set size= 200516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141047
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= 118
involuntary context switches= 1344
# summary of solver processes directly reported to runsolver:
# pid: 32670
# total CPU time (s): 3587.41
# total CPU user time (s): 3587.16
# total CPU system time (s): 0.252101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97143 second user time and 15.9856 second system time
The end