Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -80 | 3589.13 | 3597.18 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb |
| MD5SUM | e801618a66cab8fdd24ce0de869386c9 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -82 |
| Best CPU time to get the best result obtained on this benchmark | 69962.5 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31412 |
| Sum of products size (including duplicates) | 62824 |
| Number of different products | 15706 |
| Sum of products size | 31412 |
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.
OK -80
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
Begin job on nodeC023 at 2024-07-25 22:31:03 IDJOB=4459896 IDBENCH=148645 IDSOLVER=3059 FILE ID=nodeC023/4459896-1721939463 RUNJOBID= nodeC023-1721939462-253732 SLURM_JOB_ID= 8247244 Free space on /tmp= 890028 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER 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 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e801618a66cab8fdd24ce0de869386c9 RANDOM SEED=1195961217 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.912 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3646.572 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3608.308 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3670.703 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.817 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.326 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.300 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.162 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125650172 kB MemAvailable: 129612248 kB Buffers: 330016 kB Cached: 4424776 kB SwapCached: 208 kB Active: 1644992 kB Inactive: 3554680 kB Active(anon): 2316 kB Inactive(anon): 494720 kB Active(file): 1642676 kB Inactive(file): 3059960 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 75376 kB Writeback: 8 kB AnonPages: 444564 kB Mapped: 125984 kB Shmem: 52148 kB KReclaimable: 198172 kB Slab: 315644 kB SReclaimable: 198172 kB SUnreclaim: 117472 kB KernelStack: 4080 kB PageTables: 10824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 811476 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 410324 kB DirectMap2M: 61229056 kB DirectMap1G: 74448896 kB Free space on /tmp at the end= 890044 MiB End job on nodeC023 at 2024-07-25 23:31:00