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-4459896-1721939463.opb>
0.00/0.06 c original problem has 16706 variables (1000 bin, 0 int, 15706 impl, 0 cont) and 18207 constraints
0.00/0.06 c problem read in 0.06
0.09/0.12 o 0
0.09/0.12 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.09/0.12 c presolving:
0.20/0.21 c (round 1, medium) 0 del vars, 17706 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
0.20/0.22 c (round 2, fast) 15706 del vars, 17706 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
0.20/0.24 c (round 3, exhaustive) 15706 del vars, 17706 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 0 impls, 500 clqs
0.20/0.28 c (0.3s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.20/0.28 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.20/0.29 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.20/0.29 c (0.3s) no symmetry present (symcode time: 0.00)
0.20/0.30 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.20/0.30 c 15706 deleted vars, 17706 deleted constraints, 1000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.20/0.30 c 0 implications, 500 cliques
0.20/0.30 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.20/0.30 c 1000 constraints of type <knapsack>
0.20/0.30 c 500 constraints of type <setppc>
0.20/0.30 c 1 constraints of type <linear>
0.20/0.30 c transformed objective value is always integral (scale: 1)
0.20/0.30 c Presolving Time: 0.18
0.20/0.30 c - non default parameters ----------------------------------------------------------------------
0.20/0.30 c # SCIP version 10.0.0
0.20/0.30 c
0.20/0.30 c # maximal time in seconds to run
0.20/0.30 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.30 c limits/time = 3596.997056
0.20/0.30 c
0.20/0.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.30 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.30 c limits/memory = 27900
0.20/0.30 c
0.20/0.30 c # belongs reading time to solving time?
0.20/0.30 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.30 c timing/reading = TRUE
0.20/0.30 c
0.20/0.30 c -----------------------------------------------------------------------------------------------
0.20/0.30 c start solving
0.20/0.30 c transformed 1/1 original solutions to the transformed problem space
0.20/0.30 c
0.30/0.33 o -1
0.30/0.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.33 c p 0.3s| 1 | 0 | 0 | - | locks| 0 |1000 |1501 |1501 | 0 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large | unknown
1.28/1.34 c 1.3s| 1 | 0 | 3017 | - | 85M | 0 |1000 |1503 |1501 | 0 | 0 | 2 | 0 |-2.500000e+02 |-1.000000e+00 | Large | unknown
4.67/4.76 c 4.7s| 1 | 0 | 6142 | - | 123M | 0 |1000 |1503 |1669 | 168 | 1 | 2 | 0 |-2.429427e+02 |-1.000000e+00 | Large | unknown
4.67/4.76 o -48
4.67/4.76 c r 4.8s| 1 | 0 | 6142 | - |randroun| 0 |1000 |1503 |1669 | 0 | 1 | 2 | 0 |-2.429427e+02 |-4.800000e+01 | 406.13%| unknown
10.36/10.42 c 10.4s| 1 | 0 | 7772 | - | 147M | 0 |1000 |1503 |1805 | 304 | 2 | 2 | 0 |-2.343743e+02 |-4.800000e+01 | 388.28%| unknown
10.36/10.42 o -54
10.36/10.42 c r10.4s| 1 | 0 | 7772 | - |randroun| 0 |1000 |1503 |1805 | 0 | 2 | 2 | 0 |-2.343743e+02 |-5.400000e+01 | 334.03%| unknown
18.74/18.85 c 18.8s| 1 | 0 | 8841 | - | 178M | 0 |1000 |1503 |1924 | 423 | 3 | 2 | 0 |-2.305898e+02 |-5.400000e+01 | 327.02%| unknown
27.12/27.20 c 27.2s| 1 | 0 | 9574 | - | 200M | 0 |1000 |1503 |2000 | 499 | 4 | 2 | 0 |-2.291919e+02 |-5.400000e+01 | 324.43%| unknown
34.10/34.23 c 34.2s| 1 | 0 | 9825 | - | 216M | 0 |1000 |1503 |2082 | 581 | 5 | 2 | 0 |-2.291058e+02 |-5.400000e+01 | 324.27%| unknown
41.19/41.30 c 41.3s| 1 | 0 | 10152 | - | 246M | 0 |1000 |1503 |2112 | 611 | 6 | 2 | 0 |-2.290127e+02 |-5.400000e+01 | 324.10%| unknown
48.17/48.37 c 48.4s| 1 | 0 | 10506 | - | 260M | 0 |1000 |1503 |2129 | 628 | 7 | 2 | 0 |-2.288800e+02 |-5.400000e+01 | 323.85%| unknown
55.16/55.35 c 55.3s| 1 | 0 | 10829 | - | 271M | 0 |1000 |1503 |2147 | 646 | 8 | 2 | 0 |-2.287654e+02 |-5.400000e+01 | 323.64%| unknown
61.65/61.84 c 61.8s| 1 | 0 | 10954 | - | 282M | 0 |1000 |1503 |2160 | 659 | 9 | 2 | 0 |-2.287526e+02 |-5.400000e+01 | 323.62%| unknown
69.03/69.23 c 69.2s| 1 | 0 | 11462 | - | 303M | 0 |1000 |1503 |2169 | 668 | 10 | 2 | 0 |-2.286407e+02 |-5.400000e+01 | 323.41%| unknown
75.11/75.37 c 75.4s| 1 | 0 | 11799 | - | 304M | 0 |1000 |1503 |2123 | 680 | 11 | 2 | 0 |-2.285985e+02 |-5.400000e+01 | 323.33%| unknown
80.81/81.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
80.81/81.04 c 81.0s| 1 | 0 | 11968 | - | 304M | 0 |1000 |1503 |2136 | 693 | 12 | 2 | 0 |-2.285770e+02 |-5.400000e+01 | 323.29%| unknown
86.70/87.00 c 87.0s| 1 | 0 | 12269 | - | 304M | 0 |1000 |1503 |2142 | 699 | 13 | 2 | 0 |-2.285557e+02 |-5.400000e+01 | 323.25%| unknown
92.59/92.87 c 92.9s| 1 | 0 | 12523 | - | 304M | 0 |1000 |1503 |2153 | 710 | 14 | 2 | 0 |-2.285291e+02 |-5.400000e+01 | 323.20%| unknown
98.18/98.41 c 98.4s| 1 | 0 | 12714 | - | 304M | 0 |1000 |1503 |2158 | 715 | 15 | 2 | 0 |-2.285147e+02 |-5.400000e+01 | 323.18%| unknown
103.57/103.82 c 104s| 1 | 0 | 12859 | - | 305M | 0 |1000 |1503 |2165 | 722 | 16 | 2 | 0 |-2.285086e+02 |-5.400000e+01 | 323.16%| unknown
108.76/109.03 c 109s| 1 | 0 | 12907 | - | 305M | 0 |1000 |1503 |2041 | 727 | 17 | 2 | 0 |-2.285078e+02 |-5.400000e+01 | 323.16%| unknown
114.05/114.31 c 114s| 1 | 0 | 13006 | - | 305M | 0 |1000 |1503 |2047 | 733 | 18 | 2 | 0 |-2.285056e+02 |-5.400000e+01 | 323.16%| unknown
119.13/119.41 c 119s| 1 | 0 | 13049 | - | 305M | 0 |1000 |1503 |2051 | 737 | 19 | 2 | 0 |-2.285049e+02 |-5.400000e+01 | 323.16%| unknown
124.22/124.54 c 125s| 1 | 0 | 13100 | - | 306M | 0 |1000 |1503 |2055 | 741 | 20 | 2 | 0 |-2.285041e+02 |-5.400000e+01 | 323.16%| unknown
129.12/129.41 c 129s| 1 | 0 | 13127 | - | 306M | 0 |1000 |1503 |2057 | 743 | 21 | 2 | 0 |-2.285040e+02 |-5.400000e+01 | 323.16%| unknown
142.98/143.37 o -62
142.98/143.37 c o 143s| 1 | 0 | 19693 | - |feaspump| 0 |1000 |1503 |2057 | 743 | 22 | 2 | 0 |-2.285040e+02 |-6.200000e+01 | 268.55%| unknown
149.07/149.47 c 149s| 1 | 0 | 25996 | - | 307M | 0 |1000 |1503 |2057 | 743 | 22 | 2 | 0 |-2.285040e+02 |-6.200000e+01 | 268.55%| unknown
251.11/251.77 c 252s| 1 | 2 | 25996 | - | 307M | 0 |1000 |1503 |2057 | 743 | 23 | 2 | 35 |-2.284062e+02 |-6.200000e+01 | 268.40%| unknown
687.49/689.16 o -63
687.49/689.16 c d 689s| 15 | 16 | 36587 |1675.7 |pscostdi| 14 |1000 |1503 |2063 | 0 | 1 | 2 | 258 |-2.282961e+02 |-6.300000e+01 | 262.37%| unknown
757.25/759.00 o -75
757.25/759.00 c d 759s| 39 | 40 | 57906 |1178.4 |fracdivi| 14 |1000 |1503 |2043 | 0 | 1 | 2 | 273 |-2.282961e+02 |-7.500000e+01 | 204.39%| unknown
835.09/837.05 o -77
835.09/837.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
835.09/837.05 c d 837s| 99 | 100 |106418 | 951.9 |linesear| 19 |1000 |1503 |2060 | 0 | 1 | 2 | 299 |-2.282961e+02 |-7.700000e+01 | 196.49%| unknown
835.48/837.44 c 837s| 100 | 101 |106528 | 943.4 | 445M | 19 |1000 |1503 |1953 |2354 | 1 | 2 | 299 |-2.282961e+02 |-7.700000e+01 | 196.49%| unknown
925.01/927.15 c 927s| 200 | 201 |195739 | 917.6 | 497M | 45 |1000 |1517 |2286 |3514 | 1 | 16 | 359 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
926.90/929.04 c 929s| 300 | 221 |201593 | 630.3 | 497M | 89 |1000 |1517 |2305 |3558 | 1 | 16 | 368 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
929.00/931.13 c 931s| 400 | 227 |203827 | 477.9 | 497M | 91 |1000 |1517 |2305 |3563 | 0 | 16 | 379 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
929.79/931.95 c 932s| 500 | 233 |205299 | 385.1 | 496M | 104 |1000 |1517 |2307 |3571 | 1 | 16 | 379 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
930.49/932.63 c 933s| 600 | 243 |206884 | 323.5 | 495M | 110 |1000 |1517 |2310 |3583 | 2 | 16 | 379 |-2.282420e+02 |-7.700000e+01 | 196.42%| unknown
981.79/984.05 c 984s| 700 | 261 |219388 | 295.1 | 495M | 114 |1000 |1517 |2308 |3692 | 0 | 16 | 399 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
982.69/984.93 c 985s| 800 | 267 |220761 | 259.9 | 495M | 114 |1000 |1517 |2309 |3703 | 0 | 16 | 399 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
983.18/985.46 c 985s| 900 | 273 |222255 | 232.6 | 495M | 114 |1000 |1517 |2306 |3711 | 1 | 16 | 399 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
983.79/986.01 c 986s| 1000 | 277 |223714 | 210.8 | 495M | 114 |1000 |1517 |2305 |3714 | 1 | 16 | 399 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
984.79/987.05 c 987s| 1100 | 279 |225820 | 193.5 | 495M | 114 |1000 |1517 |2302 |3723 | 0 | 16 | 436 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
985.58/987.80 c 988s| 1200 | 291 |227429 | 178.7 | 495M | 114 |1000 |1517 |2304 |3732 | 1 | 16 | 443 |-2.281889e+02 |-7.700000e+01 | 196.35%| unknown
1073.40/1075.80 c 1076s| 1300 | 319 |248345 | 181.1 | 497M | 114 |1000 |1517 |1963 |3910 | 1 | 16 | 490 |-2.280740e+02 |-7.700000e+01 | 196.20%| unknown
1120.60/1123.13 c 1123s| 1400 | 339 |266871 | 181.4 | 498M | 126 |1000 |1519 |2303 |4010 | 0 | 18 | 502 |-2.280666e+02 |-7.700000e+01 | 196.19%| unknown
1200.34/1203.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1200.34/1203.02 c 1203s| 1500 | 369 |292532 | 186.4 | 498M | 126 |1000 |1521 |2307 |4267 | 0 | 20 | 528 |-2.280135e+02 |-7.700000e+01 | 196.12%| unknown
1251.24/1254.08 c 1254s| 1600 | 393 |306292 | 183.3 | 499M | 126 |1000 |1521 |2306 |4400 | 0 | 20 | 538 |-2.276741e+02 |-7.700000e+01 | 195.68%| unknown
1276.48/1279.37 c 1279s| 1700 | 419 |317986 | 179.4 | 499M | 126 |1000 |1521 |2307 |4504 | 1 | 20 | 548 |-2.276479e+02 |-7.700000e+01 | 195.65%| unknown
1305.42/1308.34 c 1308s| 1800 | 437 |327450 | 174.7 | 499M | 126 |1000 |1521 |1999 |4593 | 1 | 20 | 557 |-2.276413e+02 |-7.700000e+01 | 195.64%| unknown
1312.11/1315.09 c 1315s| 1900 | 457 |334528 | 169.2 | 499M | 126 |1000 |1527 |2308 |4599 | 1 | 26 | 566 |-2.276413e+02 |-7.700000e+01 | 195.64%| unknown
1313.00/1315.92 c 1316s| 2000 | 463 |337090 | 162.1 | 499M | 126 |1000 |1527 |2306 |4609 | 0 | 26 | 572 |-2.276413e+02 |-7.700000e+01 | 195.64%| unknown
1346.21/1349.25 c 1349s| 2100 | 487 |353105 | 162.0 | 499M | 126 |1000 |1527 |2306 |4689 | 0 | 26 | 605 |-2.275982e+02 |-7.700000e+01 | 195.58%| unknown
1376.44/1379.55 o -78
1376.44/1379.55 c d1380s| 2133 | 376 |362680 | 164.0 |adaptive| 126 |1000 |1528 |1984 | 0 | 1 | 27 | 616 |-2.275959e+02 |-7.800000e+01 | 191.79%| unknown
1435.70/1438.92 c 1439s| 2200 | 397 |386727 | 169.9 | 500M | 126 |1000 |1528 |2304 |4827 | 2 | 27 | 638 |-2.274942e+02 |-7.800000e+01 | 191.66%| unknown
1515.90/1519.37 c 1519s| 2300 | 429 |417230 | 175.8 | 500M | 126 |1000 |1530 |2306 |5008 | 1 | 29 | 669 |-2.273509e+02 |-7.800000e+01 | 191.48%| unknown
1545.02/1548.58 c 1549s| 2400 | 437 |435508 | 176.1 | 501M | 126 |1000 |1530 |2303 |5071 | 0 | 29 | 718 |-2.273183e+02 |-7.800000e+01 | 191.43%| unknown
1546.22/1549.71 c 1550s| 2500 | 445 |438360 | 170.2 | 501M | 126 |1000 |1530 |2305 |5076 | 1 | 29 | 740 |-2.273183e+02 |-7.800000e+01 | 191.43%| unknown
1546.82/1550.36 c 1550s| 2600 | 461 |440360 | 164.4 | 501M | 126 |1000 |1530 |2305 |5077 | 1 | 29 | 740 |-2.273183e+02 |-7.800000e+01 | 191.43%| unknown
1547.91/1551.45 c 1551s| 2700 | 473 |442424 | 159.1 | 501M | 126 |1000 |1530 |2305 |5083 | 0 | 29 | 791 |-2.273183e+02 |-7.800000e+01 | 191.43%| unknown
1578.14/1581.75 c 1582s| 2800 | 487 |452477 | 157.0 | 501M | 126 |1000 |1530 |2307 |5148 | 1 | 29 | 834 |-2.273010e+02 |-7.800000e+01 | 191.41%| unknown
1680.60/1684.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1680.60/1684.48 c 1684s| 2900 | 515 |498165 | 167.3 | 502M | 126 |1000 |1530 |2307 |5341 | 1 | 29 | 869 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1681.20/1685.03 c 1685s| 3000 | 515 |499410 | 162.1 | 502M | 126 |1000 |1530 |2306 |5343 | 1 | 29 | 869 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1682.20/1686.09 c 1686s| 3100 | 525 |501367 | 157.5 | 502M | 126 |1000 |1530 |2306 |5344 | 8 | 29 | 922 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1683.30/1687.14 c 1687s| 3200 | 533 |503295 | 153.2 | 502M | 126 |1000 |1530 |2307 |5346 | 2 | 29 | 975 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1684.09/1687.92 c 1688s| 3300 | 539 |504559 | 149.0 | 502M | 126 |1000 |1530 |2307 |5347 | 0 | 29 |1013 |-2.272819e+02 |-7.800000e+01 | 191.39%| unknown
1720.60/1724.52 c 1725s| 3400 | 561 |515765 | 147.9 | 502M | 126 |1000 |1530 |2308 |5430 | 1 | 29 |1051 |-2.272802e+02 |-7.800000e+01 | 191.38%| unknown
1781.88/1785.99 c 1786s| 3500 | 583 |539217 | 150.4 | 503M | 127 |1000 |1538 |2308 |5560 | 3 | 37 |1100 |-2.272584e+02 |-7.800000e+01 | 191.36%| unknown
1843.86/1848.10 c 1848s| 3600 | 597 |559423 | 151.8 | 504M | 128 |1000 |1537 |2307 |5801 | 1 | 37 |1127 |-2.272401e+02 |-7.800000e+01 | 191.33%| unknown
1943.77/1948.14 c 1948s| 3700 | 615 |587735 | 155.3 | 505M | 128 |1000 |1537 |1932 |5932 | 1 | 37 |1159 |-2.271949e+02 |-7.800000e+01 | 191.28%| unknown
1990.26/1994.72 c 1995s| 3800 | 643 |613229 | 158.0 | 505M | 128 |1000 |1536 |2306 |6086 | 2 | 37 |1192 |-2.271727e+02 |-7.800000e+01 | 191.25%| unknown
1991.46/1995.99 c 1996s| 3900 | 651 |616010 | 154.6 | 505M | 128 |1000 |1536 |2308 |6093 | 2 | 37 |1220 |-2.271727e+02 |-7.800000e+01 | 191.25%| unknown
2034.08/2038.65 c 2039s| 4000 | 665 |631947 | 154.7 | 505M | 128 |1000 |1535 |2305 |6190 | 4 | 37 |1245 |-2.271685e+02 |-7.800000e+01 | 191.24%| unknown
2034.77/2039.38 c 2039s| 4100 | 659 |633071 | 151.2 | 505M | 128 |1000 |1535 |2307 |6192 | 4 | 37 |1261 |-2.271685e+02 |-7.800000e+01 | 191.24%| unknown
2077.09/2081.71 c 2082s| 4200 | 679 |647014 | 151.0 | 506M | 128 |1000 |1548 |2306 |6279 | 0 | 50 |1297 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2077.88/2082.54 c 2083s| 4300 | 687 |649406 | 148.0 | 506M | 128 |1000 |1548 |2306 |6279 | 0 | 50 |1315 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2078.68/2083.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2078.68/2083.31 c 2083s| 4400 | 693 |651038 | 145.0 | 506M | 128 |1000 |1548 |2307 |6280 | 1 | 50 |1329 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2079.68/2084.34 c 2084s| 4500 | 703 |652762 | 142.2 | 506M | 128 |1000 |1548 |2306 |6280 | 1 | 50 |1338 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2080.38/2085.03 c 2085s| 4600 | 711 |654194 | 139.4 | 506M | 136 |1000 |1548 |2306 |6280 | 0 | 50 |1354 |-2.271525e+02 |-7.800000e+01 | 191.22%| unknown
2135.66/2140.46 c 2140s| 4700 | 731 |666114 | 139.0 | 506M | 138 |1000 |1548 |2306 |6375 | 3 | 50 |1389 |-2.271386e+02 |-7.800000e+01 | 191.20%| unknown
2162.80/2167.64 c 2168s| 4800 | 739 |676145 | 138.2 | 506M | 138 |1000 |1548 |2306 |6404 | 1 | 50 |1408 |-2.271336e+02 |-7.800000e+01 | 191.20%| unknown
2163.31/2168.19 c 2168s| 4900 | 745 |677181 | 135.5 | 506M | 138 |1000 |1548 |2305 |6406 | 0 | 50 |1408 |-2.271336e+02 |-7.800000e+01 | 191.20%| unknown
2215.69/2220.69 c 2221s| 5000 | 771 |692037 | 135.8 | 506M | 138 |1000 |1548 |1959 |6530 | 1 | 50 |1440 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2219.59/2224.54 c 2225s| 5100 | 781 |696935 | 134.1 | 506M | 141 |1000 |1548 |2305 |6531 | 0 | 50 |1446 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2220.58/2225.52 c 2226s| 5200 | 779 |698068 | 131.7 | 506M | 143 |1000 |1548 |2306 |6535 | 0 | 50 |1453 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2221.09/2226.07 c 2226s| 5300 | 795 |699245 | 129.5 | 507M | 143 |1000 |1552 |2306 |6536 | 1 | 54 |1459 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2221.48/2226.48 c 2226s| 5400 | 803 |699905 | 127.2 | 507M | 150 |1000 |1570 |2306 |6536 | 0 | 72 |1461 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2258.20/2263.24 c 2263s| 5500 | 825 |710602 | 126.8 | 507M | 156 |1000 |1571 |2305 |6632 | 1 | 73 |1474 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2258.80/2263.86 c 2264s| 5600 | 845 |712336 | 124.9 | 507M | 156 |1000 |1571 |2307 |6636 | 1 | 73 |1478 |-2.271060e+02 |-7.800000e+01 | 191.16%| unknown
2299.62/2304.70 c 2305s| 5700 | 875 |725055 | 124.9 | 507M | 156 |1000 |1570 |2307 |6724 | 1 | 73 |1484 |-2.270946e+02 |-7.800000e+01 | 191.15%| unknown
2300.02/2305.18 c 2305s| 5800 | 879 |726191 | 123.0 | 507M | 156 |1000 |1570 |2306 |6724 | 1 | 73 |1485 |-2.270946e+02 |-7.800000e+01 | 191.15%| unknown
2317.48/2322.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2317.48/2322.62 c 2323s| 5900 | 903 |736535 | 122.6 | 508M | 156 |1000 |1570 |2305 |6783 | 0 | 73 |1490 |-2.270878e+02 |-7.800000e+01 | 191.14%| unknown
2341.63/2346.85 c 2347s| 6000 | 913 |750130 | 122.9 | 508M | 156 |1000 |1570 |2307 |6858 | 0 | 73 |1493 |-2.270859e+02 |-7.800000e+01 | 191.14%| unknown
2375.14/2380.44 c 2380s| 6100 | 951 |771224 | 124.3 | 508M | 156 |1000 |1570 |2306 |6980 | 1 | 73 |1495 |-2.270662e+02 |-7.800000e+01 | 191.11%| unknown
2412.75/2418.18 c 2418s| 6200 | 965 |784864 | 124.5 | 509M | 156 |1000 |1570 |2306 |7087 | 1 | 73 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2413.25/2418.66 c 2419s| 6300 | 973 |786526 | 122.8 | 509M | 156 |1000 |1570 |2305 |7087 | 0 | 73 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2413.75/2419.11 c 2419s| 6400 | 987 |787904 | 121.1 | 509M | 156 |1000 |1570 |2306 |7088 | 0 | 73 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2414.14/2419.57 c 2420s| 6500 | 1003 |788901 | 119.4 | 509M | 156 |1000 |1597 |2306 |7088 | 1 | 100 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2414.65/2420.06 c 2420s| 6600 | 1009 |790315 | 117.8 | 509M | 156 |1000 |1597 |2305 |7088 | 1 | 100 |1497 |-2.270476e+02 |-7.800000e+01 | 191.09%| unknown
2430.90/2436.37 c 2436s| 6700 | 1027 |800520 | 117.5 | 509M | 156 |1000 |1597 |2306 |7151 | 1 | 100 |1497 |-2.270435e+02 |-7.800000e+01 | 191.08%| unknown
2446.96/2452.48 c 2452s| 6800 | 1053 |813248 | 117.7 | 509M | 156 |1000 |1605 |2306 |7206 | 1 | 108 |1497 |-2.270299e+02 |-7.800000e+01 | 191.06%| unknown
2447.46/2452.96 c 2453s| 6900 | 1057 |814264 | 116.1 | 509M | 156 |1000 |1605 |2306 |7206 | 0 | 108 |1497 |-2.270299e+02 |-7.800000e+01 | 191.06%| unknown
2469.00/2474.54 c 2475s| 7000 | 1075 |835977 | 117.6 | 509M | 156 |1000 |1605 |2306 |7300 | 0 | 108 |1497 |-2.270197e+02 |-7.800000e+01 | 191.05%| unknown
2490.24/2495.89 c 2496s| 7100 | 1097 |847593 | 117.5 | 510M | 156 |1000 |1605 |2305 |7378 | 1 | 108 |1497 |-2.270113e+02 |-7.800000e+01 | 191.04%| unknown
2507.60/2513.21 c 2513s| 7200 | 1115 |857716 | 117.3 | 510M | 156 |1000 |1605 |2307 |7423 | 0 | 108 |1498 |-2.269709e+02 |-7.800000e+01 | 190.99%| unknown
2534.53/2540.22 c 2540s| 7300 | 1137 |868613 | 117.2 | 510M | 156 |1000 |1605 |2306 |7478 | 1 | 108 |1498 |-2.269685e+02 |-7.800000e+01 | 190.99%| unknown
2534.94/2540.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2534.94/2540.62 c 2541s| 7400 | 1143 |869639 | 115.8 | 510M | 156 |1000 |1605 |2307 |7479 | 1 | 108 |1498 |-2.269685e+02 |-7.800000e+01 | 190.99%| unknown
2565.85/2571.65 c 2572s| 7500 | 1167 |894571 | 117.5 | 510M | 156 |1000 |1605 |2306 |7597 | 1 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2566.25/2572.10 c 2572s| 7600 | 1179 |895798 | 116.2 | 510M | 156 |1000 |1605 |2306 |7597 | 2 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2566.75/2572.56 c 2573s| 7700 | 1187 |897134 | 114.8 | 510M | 156 |1000 |1602 |2306 |7597 | 1 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2567.25/2573.03 c 2573s| 7800 | 1195 |898080 | 113.5 | 510M | 160 |1000 |1601 |2306 |7597 | 1 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2567.64/2573.49 c 2573s| 7900 | 1181 |899109 | 112.2 | 510M | 160 |1000 |1599 |2306 |7597 | 1 | 108 |1498 |-2.269580e+02 |-7.800000e+01 | 190.97%| unknown
2602.26/2608.15 c 2608s| 8000 | 1229 |927550 | 114.3 | 510M | 160 |1000 |1597 |2306 |7746 | 1 | 108 |1498 |-2.269351e+02 |-7.800000e+01 | 190.94%| unknown
2602.85/2608.70 c 2609s| 8100 | 1243 |929472 | 113.1 | 510M | 160 |1000 |1597 |2306 |7746 | 0 | 108 |1498 |-2.269351e+02 |-7.800000e+01 | 190.94%| unknown
2638.16/2644.15 c 2644s| 8200 | 1291 |962123 | 115.7 | 510M | 160 |1000 |1596 |2306 |7873 | 0 | 108 |1500 |-2.269190e+02 |-7.800000e+01 | 190.92%| unknown
2638.65/2644.63 c 2645s| 8300 | 1297 |963332 | 114.5 | 510M | 160 |1000 |1595 |2306 |7874 | 0 | 108 |1501 |-2.269190e+02 |-7.800000e+01 | 190.92%| unknown
2690.32/2696.44 o -80
2690.32/2696.44 c d2696s| 8377 | 1088 |986571 | 116.2 |fracdivi| 160 |1000 |1595 |1953 | 0 | 1 | 108 |1520 |-2.269152e+02 |-8.000000e+01 | 183.64%| unknown
2690.72/2696.89 c 2697s| 8400 | 1091 |988367 | 116.1 | 510M | 160 |1000 |1594 |2302 |7975 | 1 | 108 |1526 |-2.269152e+02 |-8.000000e+01 | 183.64%| unknown
2691.81/2697.95 c 2698s| 8500 | 1097 |991413 | 115.1 | 510M | 160 |1000 |1594 |2304 |7978 | 1 | 108 |1543 |-2.269152e+02 |-8.000000e+01 | 183.64%| unknown
2765.03/2771.36 c 2771s| 8600 | 1125 | 1004k| 115.3 | 510M | 160 |1000 |1585 |2305 |8045 | 5 | 108 |1582 |-2.269006e+02 |-8.000000e+01 | 183.63%| unknown
2776.40/2782.78 c 2783s| 8700 | 1149 | 1015k| 115.3 | 511M | 160 |1000 |1584 |2302 |8083 | 1 | 108 |1582 |-2.268948e+02 |-8.000000e+01 | 183.62%| unknown
2787.17/2793.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2787.17/2793.58 c 2794s| 8800 | 1177 | 1025k| 115.1 | 511M | 160 |1000 |1584 |2302 |8120 | 1 | 108 |1593 |-2.268778e+02 |-8.000000e+01 | 183.60%| unknown
2847.92/2854.44 c 2854s| 8900 | 1199 | 1043k| 115.8 | 511M | 160 |1000 |1584 |2303 |8202 | 1 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2848.42/2854.95 c 2855s| 9000 | 1203 | 1045k| 114.7 | 511M | 160 |1000 |1584 |2302 |8202 | 0 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2849.02/2855.54 c 2856s| 9100 | 1219 | 1047k| 113.6 | 511M | 160 |1000 |1583 |2302 |8203 | 0 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2849.52/2856.10 c 2856s| 9200 | 1221 | 1048k| 112.6 | 511M | 160 |1000 |1583 |2302 |8204 | 1 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2850.11/2856.61 c 2857s| 9300 | 1229 | 1050k| 111.5 | 511M | 160 |1000 |1583 |2302 |8205 | 0 | 108 |1628 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2850.71/2857.27 c 2857s| 9400 | 1235 | 1051k| 110.5 | 511M | 160 |1000 |1583 |2304 |8209 | 1 | 108 |1636 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2851.41/2857.93 c 2858s| 9500 | 1239 | 1053k| 109.5 | 511M | 160 |1000 |1583 |2304 |8210 | 0 | 108 |1651 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2852.31/2858.83 c 2859s| 9600 | 1245 | 1055k| 108.6 | 511M | 160 |1000 |1583 |2303 |8213 | 1 | 108 |1679 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2853.01/2859.50 c 2859s| 9700 | 1253 | 1057k| 107.6 | 511M | 160 |1000 |1583 |2304 |8215 | 3 | 108 |1690 |-2.268703e+02 |-8.000000e+01 | 183.59%| unknown
2889.71/2896.30 c 2896s| 9800 | 1269 | 1067k| 107.6 | 511M | 160 |1000 |1581 |2303 |8248 | 2 | 108 |1717 |-2.268614e+02 |-8.000000e+01 | 183.58%| unknown
2890.31/2896.95 c 2897s| 9900 | 1277 | 1069k| 106.7 | 511M | 160 |1000 |1581 |2305 |8250 | 1 | 108 |1730 |-2.268614e+02 |-8.000000e+01 | 183.58%| unknown
2918.34/2925.08 c 2925s| 10000 | 1301 | 1080k| 106.8 | 511M | 160 |1000 |1580 |2304 |8286 | 0 | 108 |1769 |-2.268602e+02 |-8.000000e+01 | 183.58%| unknown
2918.83/2925.58 c 2926s| 10100 | 1301 | 1081k| 105.8 | 511M | 160 |1000 |1580 |2305 |8288 | 1 | 108 |1776 |-2.268602e+02 |-8.000000e+01 | 183.58%| unknown
2919.43/2926.13 c 2926s| 10200 | 1305 | 1082k| 104.9 | 511M | 160 |1000 |1579 |2305 |8290 | 2 | 108 |1786 |-2.268602e+02 |-8.000000e+01 | 183.58%| unknown
2920.03/2926.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2920.03/2926.79 c 2927s| 10300 | 1307 | 1084k| 104.0 | 511M | 160 |1000 |1579 |2304 |8292 | 2 | 108 |1804 |-2.268602e+02 |-8.000000e+01 | 183.58%| unknown
2948.76/2955.54 c 2956s| 10400 | 1329 | 1095k| 104.1 | 511M | 160 |1000 |1578 |2306 |8337 | 0 | 108 |1831 |-2.268549e+02 |-8.000000e+01 | 183.57%| unknown
2986.29/2993.12 c 2993s| 10500 | 1361 | 1129k| 106.3 | 511M | 160 |1000 |1578 |2305 |8433 | 1 | 108 |1847 |-2.268345e+02 |-8.000000e+01 | 183.54%| unknown
3014.02/3020.93 c 3021s| 10600 | 1395 | 1153k| 107.6 | 511M | 160 |1000 |1576 |2302 |8524 | 1 | 108 |1865 |-2.268157e+02 |-8.000000e+01 | 183.52%| unknown
3030.00/3036.93 c 3037s| 10700 | 1419 | 1164k| 107.6 | 512M | 160 |1000 |1575 |2303 |8560 | 2 | 108 |1885 |-2.268157e+02 |-8.000000e+01 | 183.52%| unknown
3030.70/3037.68 c 3038s| 10800 | 1423 | 1166k| 106.8 | 512M | 160 |1000 |1575 |2305 |8564 | 3 | 108 |1899 |-2.268157e+02 |-8.000000e+01 | 183.52%| unknown
3076.41/3083.45 c 3083s| 10900 | 1449 | 1187k| 107.8 | 512M | 160 |1000 |1577 |2304 |8700 | 0 | 116 |1908 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3077.61/3084.67 c 3085s| 11000 | 1455 | 1191k| 107.1 | 512M | 160 |1000 |1576 |2304 |8702 | 1 | 116 |1918 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3078.51/3085.51 c 3086s| 11100 | 1467 | 1193k| 106.4 | 512M | 160 |1000 |1576 |2303 |8704 | 1 | 116 |1939 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3079.11/3086.19 c 3086s| 11200 | 1477 | 1196k| 105.6 | 512M | 160 |1000 |1576 |2304 |8705 | 0 | 116 |1946 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3079.70/3086.76 c 3087s| 11300 | 1485 | 1197k| 104.8 | 512M | 160 |1000 |1576 |2304 |8705 | 1 | 116 |1952 |-2.268142e+02 |-8.000000e+01 | 183.52%| unknown
3091.78/3098.84 c 3099s| 11400 | 1505 | 1217k| 105.6 | 512M | 160 |1000 |1580 |2304 |8749 | 2 | 121 |1955 |-2.267855e+02 |-8.000000e+01 | 183.48%| unknown
3092.67/3099.70 c 3100s| 11500 | 1509 | 1219k| 104.9 | 512M | 160 |1000 |1580 |2303 |8750 | 0 | 121 |1963 |-2.267855e+02 |-8.000000e+01 | 183.48%| unknown
3108.84/3115.93 c 3116s| 11600 | 1531 | 1230k| 104.9 | 512M | 160 |1000 |1581 |2304 |8824 | 0 | 122 |1970 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3109.54/3116.62 c 3117s| 11700 | 1535 | 1232k| 104.2 | 512M | 160 |1000 |1581 |2303 |8824 | 0 | 122 |1976 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3110.14/3117.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3110.14/3117.22 c 3117s| 11800 | 1543 | 1233k| 103.4 | 512M | 160 |1000 |1581 |2303 |8824 | 1 | 122 |1983 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3110.74/3117.80 c 3118s| 11900 | 1547 | 1235k| 102.7 | 512M | 160 |1000 |1581 |2303 |8824 | 1 | 122 |1990 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3111.24/3118.37 c 3118s| 12000 | 1551 | 1236k| 102.0 | 512M | 160 |1000 |1581 |2303 |8824 | 0 | 122 |1995 |-2.267833e+02 |-8.000000e+01 | 183.48%| unknown
3136.58/3143.73 c 3144s| 12100 | 1583 | 1254k| 102.6 | 512M | 160 |1000 |1580 |2303 |8891 | 1 | 122 |1996 |-2.267783e+02 |-8.000000e+01 | 183.47%| unknown
3137.08/3144.29 c 3144s| 12200 | 1583 | 1255k| 101.8 | 512M | 160 |1000 |1580 |2304 |8892 | 1 | 122 |1999 |-2.267783e+02 |-8.000000e+01 | 183.47%| unknown
3201.35/3208.63 c 3209s| 12300 | 1641 | 1295k| 104.3 | 513M | 160 |1000 |1581 |2306 |9096 | 0 | 130 |2000 |-2.267578e+02 |-8.000000e+01 | 183.45%| unknown
3271.10/3278.54 c 3279s| 12400 | 1713 | 1346k| 107.5 | 514M | 160 |1000 |1578 |2304 |9278 | 0 | 132 |2000 |-2.267038e+02 |-8.000000e+01 | 183.38%| unknown
3282.58/3290.00 c 3290s| 12500 | 1725 | 1358k| 107.6 | 514M | 160 |1000 |1578 |2304 |9313 | 5 | 133 |2004 |-2.266994e+02 |-8.000000e+01 | 183.37%| unknown
3283.18/3290.67 c 3291s| 12600 | 1735 | 1360k| 107.0 | 514M | 160 |1000 |1578 |2304 |9313 | 1 | 133 |2008 |-2.266994e+02 |-8.000000e+01 | 183.37%| unknown
3292.56/3300.06 c 3300s| 12700 | 1751 | 1366k| 106.6 | 514M | 160 |1000 |1578 |1952 |9343 | 1 | 133 |2013 |-2.266959e+02 |-8.000000e+01 | 183.37%| unknown
3335.17/3342.73 c 3343s| 12800 | 1797 | 1411k| 109.3 | 514M | 160 |1000 |1579 |2304 |9477 | 0 | 135 |2013 |-2.266520e+02 |-8.000000e+01 | 183.31%| unknown
3362.11/3369.79 c 3370s| 12900 | 1831 | 1429k| 109.8 | 514M | 160 |1000 |1578 |2302 |9530 | 1 | 135 |2024 |-2.266388e+02 |-8.000000e+01 | 183.30%| unknown
3380.38/3388.02 c 3388s| 13000 | 1853 | 1438k| 109.6 | 515M | 160 |1000 |1576 |2303 |9555 | 1 | 135 |2038 |-2.266362e+02 |-8.000000e+01 | 183.30%| unknown
3380.97/3388.61 c 3389s| 13100 | 1857 | 1439k| 108.9 | 515M | 160 |1000 |1576 |2303 |9555 | 1 | 135 |2052 |-2.266362e+02 |-8.000000e+01 | 183.30%| unknown
3381.77/3389.40 c 3389s| 13200 | 1853 | 1440k| 108.2 | 515M | 160 |1000 |1574 |2302 |9555 | 1 | 135 |2070 |-2.266362e+02 |-8.000000e+01 | 183.30%| unknown
3404.33/3412.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3404.33/3412.09 c 3412s| 13300 | 1873 | 1457k| 108.6 | 515M | 160 |1000 |1574 |2302 |9589 | 0 | 135 |2087 |-2.266343e+02 |-8.000000e+01 | 183.29%| unknown
3405.92/3413.67 c 3414s| 13400 | 1879 | 1458k| 107.8 | 515M | 160 |1000 |1574 |2302 |9589 | 1 | 135 |2095 |-2.266343e+02 |-8.000000e+01 | 183.29%| unknown
3406.72/3414.47 c 3414s| 13500 | 1881 | 1459k| 107.2 | 515M | 160 |1000 |1574 |2302 |9589 | 0 | 135 |2129 |-2.266343e+02 |-8.000000e+01 | 183.29%| unknown
3443.64/3451.44 c 3451s| 13600 | 1903 | 1470k| 107.2 | 515M | 160 |1000 |1578 |2302 |9644 | 0 | 140 |2151 |-2.266314e+02 |-8.000000e+01 | 183.29%| unknown
3473.68/3481.56 c 3482s| 13700 | 1919 | 1481k| 107.2 | 515M | 160 |1000 |1576 |2302 |9694 | 0 | 140 |2184 |-2.266249e+02 |-8.000000e+01 | 183.28%| unknown
3474.48/3482.39 c 3482s| 13800 | 1925 | 1482k| 106.5 | 515M | 160 |1000 |1576 |2302 |9694 | 1 | 140 |2213 |-2.266249e+02 |-8.000000e+01 | 183.28%| unknown
3492.84/3500.72 c 3501s| 13900 | 1925 | 1489k| 106.2 | 515M | 160 |1000 |1576 |1943 |9711 | 1 | 140 |2256 |-2.266089e+02 |-8.000000e+01 | 183.26%| unknown
3503.91/3511.87 c 3512s| 14000 | 1933 | 1495k| 105.9 | 515M | 160 |1000 |1576 |2302 |9722 | 1 | 140 |2297 |-2.266089e+02 |-8.000000e+01 | 183.26%| unknown
3526.97/3534.99 c 3535s| 14100 | 1963 | 1514k| 106.5 | 515M | 160 |1000 |1575 |2302 |9776 | 0 | 141 |2320 |-2.266025e+02 |-8.000000e+01 | 183.25%| unknown
3543.73/3551.78 c 3552s| 14200 | 1979 | 1527k| 106.6 | 515M | 160 |1000 |1575 |2303 |9804 | 0 | 141 |2348 |-2.265890e+02 |-8.000000e+01 | 183.24%| unknown
3573.57/3581.65 c 3582s| 14300 | 2007 | 1539k| 106.7 | 515M | 160 |1000 |1574 |2303 |9852 | 0 | 141 |2364 |-2.265666e+02 |-8.000000e+01 | 183.21%| unknown
3574.17/3582.27 c 3582s| 14400 | 2015 | 1540k| 106.1 | 515M | 160 |1000 |1574 |2303 |9852 | 3 | 141 |2379 |-2.265666e+02 |-8.000000e+01 | 183.21%| unknown
3588.84/3597.00 c
3588.84/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.84/3597.00 c Solving Time (sec) : 3597.00
3588.84/3597.00 c Solving Nodes : 14495
3588.84/3597.00 c Primal Bound : -8.00000000000000e+01 (335 solutions)
3588.84/3597.00 c Dual Bound : -2.26561921079683e+02
3588.84/3597.00 c Gap : 183.20 %
3588.94/3597.01 s SATISFIABLE
3588.94/3597.02 v -x726 -x703 -x618 -x817 -x772 -x819 -x997 -x896 -x846 -x873 x852 x986 -x690 -x929 -x982 x893 -x972 -x999 -x993 x632 -x712 -x686
3588.94/3597.02 v -x643 -x658 -x925 -x707 -x697 -x848 x621 -x588 -x891 x661 -x675 -x752 -x706 -x973 -x814 x894 -x784 -x614 -x858 -x943 -x994 -x885
3588.94/3597.02 v -x645 -x531 x918 x841 -x673 -x1000 -x808 x755 -x547 -x831 -x526 -x906 -x674 -x644 -x783 -x951 -x630 -x606 -x905 -x985 -x575
3588.94/3597.02 v -x791 -x907 -x754 -x603 -x995 -x562 -x670 -x693 x691 -x584 -x583 -x942 -x780 -x880 -x582 -x845 -x668 -x913 -x678 -x524 -x623
3588.94/3597.02 v x842 -x788 -x773 -x682 -x967 -x560 -x900 -x877 -x522 -x909 -x741 -x544 -x763 -x818 -x916 x856 -x687 -x816 -x671 x656 -x796
3588.94/3597.02 v -x976 x749 -x930 -x834 -x737 -x750 -x600 -x952 -x927 -x825 -x767 -x549 -x700 x948 -x701 -x977 -x872 -x760 x805 -x855 -x655
3588.94/3597.02 v -x565 -x519 x924 x748 -x962 -x955 -x969 -x708 -x597 -x642 -x933 -x860 -x770 -x689 x683 -x620 -x539 -x729 -x546 -x698 -x786 -x759
3588.94/3597.02 v -x513 x957 -x950 x910 -x798 -x732 -x721 -x631 -x604 -x983 -x865 -x771 x537 -x826 -x939 -x932 -x580 -x803 x838 x853 -x753
3588.94/3597.02 v -x638 -x512 x971 -x947 -x904 -x824 -x782 -x757 -x657 x593 -x802 -x965 -x713 -x599 x696 -x790 -x840 -x778 x555 -x801 -x734 -x733
3588.94/3597.02 v -x903 x892 x797 -x641 -x557 -x864 -x984 -x960 -x949 -x839 -x854 -x958 -x589 x615 -x890 -x863 x830 -x810 x775 -x665 -x648 -x576
3588.94/3597.02 v x836 -x953 -x883 -x881 -x540 -x895 -x917 -x607 -x970 -x609 -x914 x946 -x959 -x509 -x988 -x876 -x850 -x833 -x828 x821 -x812
3588.94/3597.02 v -x768 -x685 -x637 -x550 -x920 -x931 -x725 -x936 -x981 -x718 -x835 -x806 -x811 x534 -x556 -x923 -x695 -x787 x966 -x964 -x945
3588.94/3597.02 v x879 -x875 -x837 -x744 -x743 x710 x634 -x563 -x536 -x919 -x651 x912 -x677 -x756 x857 -x561 -x639 -x709 -x926 x991 -x518 -x569
3588.94/3597.02 v -x507 x974 x898 -x781 -x738 -x694 -x684 -x612 -x652 -x886 -x822 -x899 -x751 -x516 -x820 -x764 -x578 -x716 x815 -x570 -x889
3588.94/3597.02 v -x795 -x793 x704 -x692 x669 -x640 x613 -x601 -x558 -x530 -x529 -x514 -x765 x545 -x998 -x626 -x956 -x636 -x758 -x542 -x622 -x564
3588.94/3597.02 v -x619 -x602 -x742 -x978 -x938 -x996 -x868 -x859 -x794 -x761 x740 -x730 -x722 -x679 -x663 x654 -x587 -x571 -x552 -x646 -x627
3588.94/3597.02 v -x715 -x922 -x568 -x508 -x533 -x901 x897 x979 -x870 -x963 -x525 -x937 x908 -x823 -x789 x711 -x705 -x688 x667 -x662 -x629 -x605
3588.94/3597.02 v -x559 -x541 x532 x510 x505 -x747 -x610 -x551 -x592 -x871 -x807 -x647 x844 -x579 -x719 -x659 x590 -x792 -x935 x887 x528 -x503
3588.94/3597.02 v -x944 -x769 -x746 -x735 -x672 -x566 -x523 -x520 -x515 -x664 -x980 -x799 -x779 -x975 -x762 -x804 -x888 -x745 -x591 -x851
3588.94/3597.02 v -x940 -x869 -x934 -x628 -x717 -x543 x990 -x928 -x724 -x586 -x554 -x989 -x774 -x502 -x992 -x902 -x843 -x827 -x813 -x785 -x776
3588.94/3597.02 v -x720 -x660 x653 -x635 -x625 -x617 -x596 -x577 -x567 -x548 -x535 -x504 -x723 -x616 -x594 -x702 -x608 -x624 -x736 -x666 -x714
3588.94/3597.02 v -x538 x954 -x866 -x511 x941 -x862 x800 -x809 -x585 x728 -x847 x968 -x553 x884 -x501 -x878 x867 -x739 x731 -x681 -x649 -x598 x595
3588.94/3597.02 v -x581 -x572 -x517 -x961 -x832 -x874 -x680 -x506 x915 -x987 -x829 -x727 -x521 -x911 -x699 -x861 x849 -x527 -x882 -x574 -x650
3588.94/3597.02 v -x921 -x633 x777 -x573 -x611 -x766 -x676 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 x488 -x487
3588.94/3597.02 v -x486 -x485 x484 -x483 -x482 x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465
3588.94/3597.02 v -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 x451 -x450 x449 -x448 x447 -x446 -x445 -x444 -x443
3588.94/3597.02 v x442 -x441 -x440 -x439 x438 -x437 x436 -x435 -x434 x433 x432 -x431 x430 -x429 -x428 x427 -x426 x425 -x424 -x423 -x422 -x421
3588.94/3597.02 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 x400
3588.94/3597.02 v -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 x380 -x379
3588.94/3597.02 v x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357
3588.94/3597.02 v -x356 -x355 x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336
3588.94/3597.02 v x335 x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314
3588.94/3597.02 v x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 x295 x294 -x293 x292
3588.94/3597.02 v x291 -x290 -x289 x288 -x287 x286 -x285 x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 x272 -x271 -x270
3588.94/3597.02 v x269 -x268 x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248
3588.94/3597.02 v -x247 x246 -x245 -x244 x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227
3588.94/3597.02 v -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206
3588.94/3597.02 v -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
3588.94/3597.02 v -x183 -x182 -x181 x180 -x179 x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
3588.94/3597.02 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
3588.94/3597.02 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121
3588.94/3597.02 v -x120 -x119 -x118 x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100
3588.94/3597.02 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
3588.94/3597.02 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49
3588.94/3597.02 v -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3588.94/3597.02 v -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
3588.94/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3588.94/3597.02 c Total Time : 3597.00
3588.94/3597.02 c solving : 3597.00
3588.94/3597.02 c presolving : 0.18 (included in solving)
3588.94/3597.02 c reading : 0.06 (included in solving)
3588.94/3597.02 c copying : 0.16 (26 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3588.94/3597.02 c Original Problem :
3588.94/3597.02 c Problem name : HOME/instance-4459896-1721939463.opb
3588.94/3597.02 c Variables : 16706 (1000 binary, 0 integer, 15706 implicit integer, 0 continuous)
3588.94/3597.02 c Constraints : 18207 initial, 18207 maximal
3588.94/3597.02 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.94/3597.02 c Presolved Problem :
3588.94/3597.02 c Problem name : t_HOME/instance-4459896-1721939463.opb
3588.94/3597.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.94/3597.02 c Constraints : 1501 initial, 1605 maximal
3588.94/3597.02 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.94/3597.02 c Nonzeros : 34412 constraint, 1000 clique table
3588.94/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.94/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c dualfix : 0.01 0.00 4 15706 0 0 0 0 0 0 0 0
3588.94/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c vbounds : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c knapsack : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c setppc : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c linear : 0.02 0.00 6 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c pseudoboolean : 0.05 0.00 1 0 0 0 0 0 17706 1000 0 0
3588.94/3597.02 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c root node : - - - 0 - - 0 - - - - -
3588.94/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.94/3597.02 c benderslp : 0 0 0 0 9214 0 0 1305 0 0 0 0 0 0 0
3588.94/3597.02 c integral : 0 0 0 0 9214 0 0 1305 0 0 1496 0 0 0 16874
3588.94/3597.02 c knapsack : 1000 1000 23 70456 0 0 0 1299 35055 85 65963 0 0 0 0
3588.94/3597.02 c setppc : 500 500 23 69077 0 0 0 341 1939 0 3080 0 0 0 0
3588.94/3597.02 c linear : 1 1 23 70369 0 0 0 340 168 253 0 0 0 0 0
3588.94/3597.02 c logicor : 0+ 104 23 2968 0 0 0 0 0 3 0 0 0 0 0
3588.94/3597.02 c benders : 0 0 0 0 0 0 0 341 0 0 0 0 0 0 0
3588.94/3597.02 c fixedvar : 0 0 0 0 0 0 0 341 0 0 0 0 0 0 0
3588.94/3597.02 c countsols : 0 0 0 0 0 0 0 341 0 0 0 0 0 0 0
3588.94/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.94/3597.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.94/3597.02 c integral : 1438.77 0.00 0.00 0.00 1438.77 0.00 0.00 0.00 0.00 0.00
3588.94/3597.02 c knapsack : 1.53 0.00 0.18 0.99 0.00 0.00 0.00 0.25 0.01 0.10
3588.94/3597.02 c setppc : 0.08 0.00 0.00 0.04 0.00 0.00 0.00 0.03 0.00 0.01
3588.94/3597.02 c linear : 0.98 0.00 0.69 0.28 0.00 0.00 0.00 0.01 0.01 0.00
3588.94/3597.02 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3588.94/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.94/3597.02 c fixedvar : 0.30 0.00 0.00 0.00 0.00 0.00 0.00 0.30 0.00 0.00
3588.94/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.94/3597.02 c components : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.94/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.94/3597.02 c dualfix : 3 0 0 0
3588.94/3597.02 c genvbounds : 0 0 0 0
3588.94/3597.02 c nlobbt : 0 0 0 0
3588.94/3597.02 c obbt : 0 0 0 0
3588.94/3597.02 c probing : 0 0 0 0
3588.94/3597.02 c pseudoobj : 38296 0 2 0
3588.94/3597.02 c redcost : 10112 0 0 18349
3588.94/3597.02 c rootredcost : 6 0 0 0
3588.94/3597.02 c symmetry : 0 0 0 0
3588.94/3597.02 c vbounds : 24510 0 0 0
3588.94/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.94/3597.02 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3588.94/3597.02 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3588.94/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.94/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.94/3597.02 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3588.94/3597.02 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3588.94/3597.02 c redcost : 0.21 0.00 0.00 0.21 0.00 0.00
3588.94/3597.02 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.94/3597.02 c symmetry : 0.02 0.00 0.01 0.01 0.00 0.00
3588.94/3597.02 c vbounds : 0.03 0.00 0.01 0.02 0.00 0.00
3588.94/3597.02 c Symmetry :
3588.94/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.94/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.94/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.94/3597.02 c shadow tree time : 0.00 s
3588.94/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.94/3597.02 c propagation : 0.14 87 85 - 5429 345.5 0 0.0 - - -
3588.94/3597.02 c infeasible LP : 0.01 10 10 - 391 123.2 0 0.0 0 0.0 0
3588.94/3597.02 c bound exceed. LP : 4.44 1970 1 - 8 48.4 0 0.0 0 0.0 19510
3588.94/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.94/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.94/3597.02 c applied globally : 0.00 - - 0 141 91.4 - - 0 - -
3588.94/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.94/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.94/3597.02 c cut pool : 4.80 - 2273 33 - - 19682 50955 - - - - - (maximal pool size: 5709)
3588.94/3597.02 c aggregation : 272.85 0.00 497 23 0 0 1750 13268 0 8220 8220 0 0
3588.94/3597.02 c > cmir : - - - - - - - 13168 0 8160 8160 0 -
3588.94/3597.02 c > flowcover : - - - - - - - 100 0 60 60 0 -
3588.94/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.94/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c clique : 0.09 0.00 23 23 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c gomory : 36.35 0.00 327 10 0 0 17867 37372 0 1459 1459 0 0
3588.94/3597.02 c > gomorymi : - - - - - - - 36692 0 1456 1456 0 -
3588.94/3597.02 c > strongcg : - - - - - - - 680 0 3 3 0 -
3588.94/3597.02 c impliedbounds : 0.02 0.00 497 23 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c multilinear : 0.00 0.00 122 23 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c rlt : 0.00 0.00 78 10 0 0 0 0 0 0 0 0 0
3588.94/3597.02 c zerohalf : 35.94 0.00 337 20 0 0 65 315 0 219 219 0 0
3588.94/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.94/3597.02 c hybrid : 0.57 0.00 949 21 9898 0 41057 743 0 4741
3588.94/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3588.94/3597.02 c problem variables: 0.00 - 0 0
3588.94/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.94/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c relpscost : 1438.76 0.00 9214 0 0 0 1496 0 0 16874
3588.94/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.94/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.94/3597.02 c LP solutions : 0.00 - - 0 0
3588.94/3597.02 c relax solutions : 0.00 - - 0 0
3588.94/3597.02 c pseudo solutions : 0.00 - - 0 0
3588.94/3597.02 c strong branching : 0.00 - - 0 0
3588.94/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3588.94/3597.02 c adaptivediving : 61.02 0.00 17 1 1
3588.94/3597.02 c alns : 1.08 0.00 7 0 0
3588.94/3597.02 c bound : 0.00 0.00 0 0 0
3588.94/3597.02 c clique : 0.02 0.00 1 0 0
3588.94/3597.02 c coefdiving : 0.00 0.00 0 0 0
3588.94/3597.02 c completesol : 0.00 0.00 0 0 0
3588.94/3597.02 c conflictdiving : 26.00 0.00 17 0 0
3588.94/3597.02 c crossover : 0.63 0.00 11 1 0
3588.94/3597.02 c dins : 0.00 0.00 0 0 0
3588.94/3597.02 c distributiondivin: 28.24 0.00 17 0 0
3588.94/3597.02 c dps : 0.00 0.00 0 0 0
3588.94/3597.02 c dualval : 0.00 0.00 0 0 0
3588.94/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3588.94/3597.02 c feasjump : 0.00 0.00 0 0 0
3588.94/3597.02 c feaspump : 10.09 0.00 1 1 1
3588.94/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3588.94/3597.02 c fracdiving : 11.97 0.00 17 2 2
3588.94/3597.02 c gins : 0.01 0.00 0 0 0
3588.94/3597.02 c guideddiving : 11.93 0.00 17 0 0
3588.94/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3588.94/3597.02 c indicator : 0.01 0.00 0 0 0
3588.94/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3588.94/3597.02 c indoneopt : 0.00 0.00 0 0 0
3588.94/3597.02 c indrounding : 0.00 0.00 0 0 0
3588.94/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3588.94/3597.02 c intdiving : 0.00 0.00 0 0 0
3588.94/3597.02 c intshifting : 0.00 0.00 0 0 0
3588.94/3597.02 c linesearchdiving : 14.17 0.00 17 1 1
3588.94/3597.02 c localbranching : 0.00 0.00 0 0 0
3588.94/3597.02 c locks : 0.01 0.00 1 1 1
3588.94/3597.02 c lpface : 0.00 0.00 0 0 0
3588.94/3597.02 c mpec : 0.00 0.00 0 0 0
3588.94/3597.02 c multistart : 0.00 0.00 0 0 0
3588.94/3597.02 c mutation : 0.00 0.00 0 0 0
3588.94/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3588.94/3597.02 c objpscostdiving : 78.17 0.00 9 2 0
3588.94/3597.02 c octane : 0.00 0.00 0 0 0
3588.94/3597.02 c ofins : 0.00 0.00 0 0 0
3588.94/3597.02 c oneopt : 0.04 0.00 9 0 0
3588.94/3597.02 c padm : 0.00 0.00 0 0 0
3588.94/3597.02 c proximity : 0.00 0.00 0 0 0
3588.94/3597.02 c pscostdiving : 14.44 0.00 16 1 1
3588.94/3597.02 c randrounding : 0.97 0.00 975 7 2
3588.94/3597.02 c rens : 0.00 0.00 0 0 0
3588.94/3597.02 c reoptsols : 0.00 0.00 0 0 0
3588.94/3597.02 c repair : 0.00 0.00 0 0 0
3588.94/3597.02 c rins : 2.23 0.00 8 8 0
3588.94/3597.02 c rootsoldiving : 9.44 0.00 8 0 0
3588.94/3597.02 c rounding : 6.10 0.00 1494 0 0
3588.94/3597.02 c scheduler : 0.00 0.00 0 0 0
3588.94/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3588.94/3597.02 c shifting : 23.74 0.00 2087 309 0
3588.94/3597.02 c simplerounding : 0.00 0.00 0 0 0
3588.94/3597.02 c smallcard : 0.00 0.00 0 0 0
3588.94/3597.02 c subnlp : 0.01 0.00 0 0 0
3588.94/3597.02 c trivial : 0.01 0.00 2 1 1
3588.94/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3588.94/3597.02 c trustregion : 0.00 0.00 0 0 0
3588.94/3597.02 c trysol : 0.00 0.00 0 0 0
3588.94/3597.02 c twoopt : 0.00 0.00 0 0 0
3588.94/3597.02 c undercover : 0.00 0.00 0 0 0
3588.94/3597.02 c vbounds : 0.02 0.00 1 0 0
3588.94/3597.02 c veclendiving : 23.04 0.00 16 0 0
3588.94/3597.02 c zeroobj : 0.00 0.00 0 0 0
3588.94/3597.02 c zirounding : 0.29 0.00 1000 0 0
3588.94/3597.02 c other solutions : - - - 0 -
3588.94/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.94/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.94/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.94/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.94/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.94/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.94/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.94/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.94/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.94/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3588.94/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.94/3597.02 c primal LP : 1.25 454 1 1.00 0.80 1.24 453
3588.94/3597.02 c dual LP : 1463.16 20371 1023788 57.39 699.71 4.63 2533
3588.94/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3588.94/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.94/3597.02 c resolve instable : 0.00 0 0 0.00 -
3588.94/3597.02 c diving/probing LP: 289.80 5255 523620 99.64 1806.83
3588.94/3597.02 c strong branching : 1380.65 2396 413361 172.52 299.40 - - 840
3588.94/3597.02 c (at root node) : - 35 22128 632.23 -
3588.94/3597.02 c conflict analysis: 3.77 1982 19510 9.84 5175.73
3588.94/3597.02 c B&B Tree :
3588.94/3597.02 c number of runs : 1
3588.94/3597.02 c nodes : 14495 (8437 internal, 6058 leaves)
3588.94/3597.02 c feasible leaves : 0
3588.94/3597.02 c infeas. leaves : 2
3588.94/3597.02 c objective leaves : 6055
3588.94/3597.02 c nodes (total) : 14495 (8437 internal, 6058 leaves)
3588.94/3597.02 c nodes left : 2013
3588.94/3597.02 c max depth : 160
3588.94/3597.02 c max depth (total): 160
3588.94/3597.02 c backtracks : 1024 (7.1%)
3588.94/3597.02 c early backtracks : 0 (0.0%)
3588.94/3597.02 c nodes exc. ref. : 0 (0.0%)
3588.94/3597.02 c delayed cutoffs : 0
3588.94/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3588.94/3597.02 c avg switch length: 5.11
3588.94/3597.02 c switching time : 2.29
3588.94/3597.02 c Root Node :
3588.94/3597.02 c First LP value : -2.50000000000000e+02
3588.94/3597.02 c First LP Iters : 3017 (3029.75 Iter/sec)
3588.94/3597.02 c First LP Time : 1.00
3588.94/3597.02 c Final Dual Bound : -2.28406232903050e+02
3588.94/3597.02 c Final Root Iters : 13127
3588.94/3597.02 c Root LP Estimate : +3.35416845953166e+02
3588.94/3597.02 c Solution :
3588.94/3597.02 c Solutions found : 335 (10 improvements)
3588.94/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
3588.94/3597.02 c Gap First Sol. : infinite
3588.94/3597.02 c Gap Last Sol. : 183.64 %
3588.94/3597.02 c Primal Bound : -8.00000000000000e+01 (in run 1, after 8377 nodes, 2696.44 seconds, depth 197, found by <fracdiving>)
3588.94/3597.02 c Dual Bound : -2.26561921079683e+02
3588.94/3597.02 c Gap : 183.20 %
3588.94/3597.02 c Integrals : Total Avg%
3588.94/3597.02 c primal-dual : 241833.19 67.23
3588.94/3597.02 c primal-ref : - - (not evaluated)
3588.94/3597.02 c dual-ref : - - (not evaluated)
3589.04/3597.17 c Time complete: 3589.13.
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 (60464 MiB free)
memory of node 1: 64510 MiB (62235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459896-1721939463/watcher-4459896-1721939463 -o /tmp/evaluation-result-4459896-1721939463/solver-4459896-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721939462-253732 --watchdog 3760 pbscip -f HOME/instance-4459896-1721939463.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=253792, runsolver pid=253789
[startup+0.10084 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125560480/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=109904 memory=71532 CPUtime=0.09 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 14753 0 0 0 8 1 0 0 20 0 1 0 30475538 112541696 17883 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 27476 17883 3618 3540 0 15733 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109904 KiB
Current children cumulated memory: 71532 KiB
[startup+0.206149 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125538632/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=128692 memory=87252 CPUtime=0.2 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 18693 0 0 0 18 2 0 0 20 0 1 0 30475538 131780608 21813 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 32173 21813 3634 3540 0 20430 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128692 KiB
Current children cumulated memory: 87252 KiB
[startup+0.306073 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125523068/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=138428 memory=95276 CPUtime=0.3 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 20851 0 0 0 28 2 0 0 20 0 1 0 30475538 141750272 23819 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 34607 23819 3714 3540 0 22864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 138428 KiB
Current children cumulated memory: 95276 KiB
[startup+0.700212 s]
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125512564/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=150116 memory=106420 CPUtime=0.69 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 24238 0 0 0 66 3 0 0 20 0 1 0 30475538 153718784 26605 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 37529 26605 3874 3540 0 25786 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 150116 KiB
Current children cumulated memory: 106420 KiB
[startup+1.50024 s]
/proc/loadavg: 0.42 0.18 0.22 5/262 253793
/proc/meminfo: memFree=125491256/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=168192 memory=123904 CPUtime=1.48 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 29416 0 0 0 145 3 0 0 20 0 1 0 30475538 172228608 30976 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 42048 30976 3890 3540 0 30305 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168192 KiB
Current children cumulated memory: 123904 KiB
[startup+3.10621 s]
/proc/loadavg: 0.42 0.18 0.22 6/262 253885
/proc/meminfo: memFree=125448840/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=202492 memory=157780 CPUtime=3.09 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 38002 0 0 0 304 5 0 0 20 0 1 0 30475538 207351808 39445 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 50623 39445 3890 3540 0 38880 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 202492 KiB
Current children cumulated memory: 157780 KiB
[startup+6.30021 s]
/proc/loadavg: 0.63 0.22 0.24 4/255 253918
/proc/meminfo: memFree=125479516/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=222720 memory=176848 CPUtime=6.27 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 42348 0 0 0 621 6 0 0 20 0 1 0 30475538 228065280 44212 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 55680 44212 3890 3540 0 43937 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 222720 KiB
Current children cumulated memory: 176848 KiB
[startup+12.7001 s]
/proc/loadavg: 0.90 0.29 0.26 4/255 253919
/proc/meminfo: memFree=125424348/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=267284 memory=220572 CPUtime=12.65 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 51988 0 0 0 1257 8 0 0 20 0 1 0 30475538 273698816 55143 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 66821 55143 3890 3540 0 55078 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 267284 KiB
Current children cumulated memory: 220572 KiB
[startup+25.5002 s]
/proc/loadavg: 1.14 0.36 0.29 3/248 253953
/proc/meminfo: memFree=125418892/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=325560 memory=277668 CPUtime=25.42 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 62276 0 0 0 2532 10 0 0 20 0 1 0 30475538 333373440 69417 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 81390 69417 3890 3540 0 69647 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 325560 KiB
Current children cumulated memory: 277668 KiB
[startup+51.105 s]
/proc/loadavg: 1.48 0.52 0.34 3/248 253956
/proc/meminfo: memFree=125320880/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=401500 memory=354804 CPUtime=50.97 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 78066 0 0 0 5083 14 0 0 20 0 1 0 30475538 411136000 88701 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 100375 88701 3890 3540 0 88632 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 401500 KiB
Current children cumulated memory: 354804 KiB
[startup+102.3 s]
/proc/loadavg: 1.89 0.78 0.44 3/248 253965
/proc/meminfo: memFree=125207516/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=438856 memory=392460 CPUtime=102.07 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 85147 0 0 0 10191 16 0 0 20 0 1 0 30475538 449388544 98115 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 109714 98115 3890 3540 0 97971 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 438856 KiB
Current children cumulated memory: 392460 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 1.02 0.55 3/246 253977
/proc/meminfo: memFree=125181916/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=395780 CPUtime=161.93 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 89741 0 0 0 16176 17 0 0 20 0 1 0 30475538 455528448 98945 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 98945 3906 3540 0 99470 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 395780 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 1.22 0.64 3/246 253987
/proc/meminfo: memFree=125152192/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=397828 CPUtime=221.79 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 95987 0 0 0 22160 19 0 0 20 0 1 0 30475538 455528448 99457 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99457 3906 3540 0 99470 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 397828 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 1.38 0.74 3/242 253997
/proc/meminfo: memFree=125090668/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=398308 CPUtime=281.63 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 98222 0 0 0 28144 19 0 0 20 0 1 0 30475538 455528448 99577 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99577 3906 3540 0 99470 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 398308 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 1.51 0.82 3/241 254007
/proc/meminfo: memFree=124987632/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=398460 CPUtime=341.48 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 98250 0 0 0 34129 19 0 0 20 0 1 0 30475538 455528448 99615 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99615 3906 3540 0 99470 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 398460 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 1.62 0.91 3/241 254019
/proc/meminfo: memFree=124933836/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=398460 CPUtime=401.33 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 98279 0 0 0 40114 19 0 0 20 0 1 0 30475538 455528448 99615 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99615 3906 3540 0 99470 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 444852 KiB
Current children cumulated memory: 398460 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 1.70 0.98 3/241 254029
/proc/meminfo: memFree=124910912/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=444852 memory=398460 CPUtime=461.18 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 98318 0 0 0 46098 20 0 0 20 0 1 0 30475538 455528448 99615 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 111213 99615 3906 3540 0 99470 0
################
# More data... #
################
/proc/loadavg: 2.11 2.12 2.07 3/243 255119
/proc/meminfo: memFree=123889964/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652280 memory=610664 CPUtime=3215.02 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 393240 0 0 0 321402 100 0 0 20 0 1 0 30475538 667934720 152666 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163070 152666 4033 3540 0 151327 0
Current children cumulated CPU time: 3215.02 s
Current children cumulated vsize: 652280 KiB
Current children cumulated memory: 610664 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.11 2.07 3/243 255516
/proc/meminfo: memFree=123974580/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652040 memory=610800 CPUtime=3274.89 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 397612 0 0 0 327388 101 0 0 20 0 1 0 30475538 667688960 152700 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163010 152700 4033 3540 0 151267 0
Current children cumulated CPU time: 3274.89 s
Current children cumulated vsize: 652040 KiB
Current children cumulated memory: 610800 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.10 2.07 3/243 255526
/proc/meminfo: memFree=123955380/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652352 memory=610820 CPUtime=3334.77 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 397869 0 0 0 333376 101 0 0 20 0 1 0 30475538 668008448 152705 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163088 152705 4033 3540 0 151345 0
Current children cumulated CPU time: 3334.77 s
Current children cumulated vsize: 652352 KiB
Current children cumulated memory: 610820 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/243 255538
/proc/meminfo: memFree=123942024/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652000 memory=610832 CPUtime=3394.64 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 408316 0 0 0 339360 104 0 0 20 0 1 0 30475538 667648000 152708 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163000 152708 4033 3540 0 151257 0
Current children cumulated CPU time: 3394.64 s
Current children cumulated vsize: 652000 KiB
Current children cumulated memory: 610832 KiB
[startup+3462.3 s]
/proc/loadavg: 2.15 2.11 2.07 3/246 255719
/proc/meminfo: memFree=123925620/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652008 memory=610896 CPUtime=3454.52 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 412495 0 0 0 345347 105 0 0 20 0 1 0 30475538 667656192 152724 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163002 152724 4033 3540 0 151259 0
Current children cumulated CPU time: 3454.52 s
Current children cumulated vsize: 652008 KiB
Current children cumulated memory: 610896 KiB
[startup+3522.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/246 255730
/proc/meminfo: memFree=123912028/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3514.4 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 416138 0 0 0 351334 106 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3514.4 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB
[startup+3582.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/248 255802
/proc/meminfo: memFree=123886304/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=652536 memory=610892 CPUtime=3574.27 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 435699 0 0 0 357315 112 0 0 20 0 1 0 30475538 668196864 152723 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 163134 152723 4033 3540 0 151391 0
Current children cumulated CPU time: 3574.27 s
Current children cumulated vsize: 652536 KiB
Current children cumulated memory: 610892 KiB
[startup+3597.18 s]
# the end of solver process 253792 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588 s, system=1.1301 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.06 2.08 2.07 3/248 255802
/proc/meminfo: memFree=123876324/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=661996 memory=620776 CPUtime=3575.97 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437101 0 0 0 357485 112 0 0 20 0 1 0 30475538 677883904 155194 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 165499 155194 4033 3540 0 153756 0
Current children cumulated CPU time: 3575.97 s
Current children cumulated vsize: 661996 KiB
Current children cumulated memory: 620776 KiB
[startup+3590.4 s]
/proc/loadavg: 2.13 2.10 2.07 3/248 255803
/proc/meminfo: memFree=123894352/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3582.35 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437103 0 0 0 358123 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB
[startup+3593.6 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255803
/proc/meminfo: memFree=123894324/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3585.54 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437221 0 0 0 358442 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB
[startup+3595.2 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894324/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3587.14 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437222 0 0 0 358602 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB
[startup+3596 s]*
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894240/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3587.95 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437223 0 0 0 358683 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894240/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3588.74 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437223 0 0 0 358762 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB
[startup+3597 s]*
/proc/loadavg: 2.11 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894268/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3588.94 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437238 0 0 0 358782 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3588.94 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB
[startup+3597.11 s]
/proc/loadavg: 2.11 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894268/131524600 swapFree=131053920/131071996
[pid=253792] ppid=253789 vsize=641860 memory=602680 CPUtime=3589.04 cores=5,7
/proc/253792/stat : 253792 (pbscip) R 253789 253792 253719 0 -1 4194304 437240 0 0 0 358792 112 0 0 20 0 1 0 30475538 657264640 150670 134679101440 4194304 18693293 140724627354224 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58929152 140724627358723 140724627358822 140724627358822 140724627365838 0
/proc/253792/statm: 160465 150670 4033 3540 0 148722 0
Current children cumulated CPU time: 3589.04 s
Current children cumulated vsize: 641860 KiB
Current children cumulated memory: 602680 KiB
Child status: 0
Real time (s): 3597.18
CPU time (s): 3589.13
CPU user time (s): 3588
CPU system time (s): 1.1301
CPU usage (%): 99.7762
Max. virtual memory (cumulated for all children) (KiB): 663580
Max. memory (cumulated for all children) (KiB): 623200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588
system time used= 1.1301
maximum resident set size= 623200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437273
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= 28
involuntary context switches= 2445
# summary of solver processes directly reported to runsolver:
# pid: 253792
# total CPU time (s): 3589.13
# total CPU user time (s): 3588
# total CPU system time (s): 1.1301
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21017 second user time and 16.1538 second system time
The end