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 | -140 | 3589.47 | 3597.22 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb |
| MD5SUM | d4235fe4c365567a817121803ba4630e |
| 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 | -142 |
| Best CPU time to get the best result obtained on this benchmark | 70237.3 |
| 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) | 12636 |
| Sum of products size (including duplicates) | 25272 |
| Number of different products | 6318 |
| Sum of products size | 12636 |
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-4459928-1721939463.opb>
0.00/0.02 c original problem has 7318 variables (1000 bin, 0 int, 6318 impl, 0 cont) and 8819 constraints
0.00/0.02 c problem read in 0.02
0.00/0.05 o 0
0.00/0.05 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.05 c presolving:
0.00/0.07 c (round 1, medium) 0 del vars, 8318 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
0.00/0.08 c (round 2, fast) 6318 del vars, 8318 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 500 clqs
0.00/0.09 c (round 3, exhaustive) 6318 del vars, 8318 del conss, 1000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 0 impls, 500 clqs
0.09/0.13 c (0.1s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.13 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.13 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.09/0.13 c 6318 deleted vars, 8318 deleted constraints, 1000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 0 implications, 500 cliques
0.09/0.13 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.09/0.13 c 1000 constraints of type <knapsack>
0.09/0.13 c 500 constraints of type <setppc>
0.09/0.13 c 1 constraints of type <linear>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.09
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 10.0.0
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.13 c limits/time = 3596.997045
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.13 c limits/memory = 27900
0.09/0.13 c
0.09/0.13 c # belongs reading time to solving time?
0.09/0.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c timing/reading = TRUE
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.14 c transformed 1/1 original solutions to the transformed problem space
0.09/0.14 c
0.59/0.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.59/0.64 c 0.6s| 1 | 0 | 2860 | - | 43M | 0 |1000 |1508 |1501 | 0 | 0 | 7 | 0 |-2.500000e+02 | 0.000000e+00 | Inf | unknown
0.59/0.67 o -1
0.59/0.67 c r 0.7s| 1 | 0 | 2860 | - |rounding| 0 |1000 |1508 |1501 | 0 | 0 | 7 | 0 |-2.500000e+02 |-1.000000e+00 | Large | unknown
2.38/2.42 c 2.4s| 1 | 0 | 4846 | - | 81M | 0 |1000 |1508 |1580 | 79 | 1 | 7 | 0 |-2.492788e+02 |-1.000000e+00 | Large | unknown
2.38/2.43 o -95
2.38/2.43 c r 2.4s| 1 | 0 | 4846 | - |randroun| 0 |1000 |1508 |1580 | 0 | 1 | 7 | 0 |-2.492788e+02 |-9.500000e+01 | 162.40%| unknown
5.77/5.81 c 5.8s| 1 | 0 | 6894 | - | 105M | 0 |1000 |1508 |1661 | 160 | 2 | 7 | 0 |-2.458419e+02 |-9.500000e+01 | 158.78%| unknown
9.07/9.17 c 9.2s| 1 | 0 | 7605 | - | 133M | 0 |1000 |1508 |1746 | 245 | 3 | 7 | 0 |-2.455693e+02 |-9.500000e+01 | 158.49%| unknown
12.95/13.04 c 13.0s| 1 | 0 | 8568 | - | 161M | 0 |1000 |1508 |1838 | 337 | 4 | 7 | 0 |-2.452161e+02 |-9.500000e+01 | 158.12%| unknown
17.13/17.27 c 17.3s| 1 | 0 | 9426 | - | 175M | 0 |1000 |1508 |1929 | 428 | 5 | 7 | 0 |-2.448917e+02 |-9.500000e+01 | 157.78%| unknown
21.23/21.37 c 21.4s| 1 | 0 | 9962 | - | 206M | 0 |1000 |1508 |2025 | 524 | 6 | 7 | 0 |-2.448427e+02 |-9.500000e+01 | 157.73%| unknown
26.02/26.14 c 26.1s| 1 | 0 | 10940 | - | 219M | 0 |1000 |1508 |2128 | 627 | 7 | 7 | 0 |-2.447519e+02 |-9.500000e+01 | 157.63%| unknown
31.00/31.16 c 31.2s| 1 | 0 | 11999 | - | 225M | 0 |1000 |1508 |2230 | 729 | 8 | 7 | 0 |-2.446607e+02 |-9.500000e+01 | 157.54%| unknown
36.69/36.84 c 36.8s| 1 | 0 | 13466 | - | 240M | 0 |1000 |1508 |2339 | 838 | 9 | 7 | 0 |-2.444816e+02 |-9.500000e+01 | 157.35%| unknown
42.16/42.30 c 42.3s| 1 | 0 | 14546 | - | 260M | 0 |1000 |1508 |2445 | 944 | 10 | 7 | 0 |-2.444366e+02 |-9.500000e+01 | 157.30%| unknown
47.86/48.02 c 48.0s| 1 | 0 | 16108 | - | 262M | 0 |1000 |1508 |2543 |1061 | 11 | 7 | 0 |-2.443393e+02 |-9.500000e+01 | 157.20%| unknown
53.73/53.94 c 53.9s| 1 | 0 | 17557 | - | 264M | 0 |1000 |1508 |2649 |1167 | 12 | 7 | 0 |-2.442088e+02 |-9.500000e+01 | 157.06%| unknown
59.92/60.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
59.92/60.12 c 60.1s| 1 | 0 | 18986 | - | 264M | 0 |1000 |1508 |2761 |1279 | 13 | 7 | 0 |-2.441277e+02 |-9.500000e+01 | 156.98%| unknown
65.50/65.76 c 65.8s| 1 | 0 | 20068 | - | 264M | 0 |1000 |1508 |2864 |1382 | 14 | 7 | 0 |-2.441021e+02 |-9.500000e+01 | 156.95%| unknown
71.48/71.72 c 71.7s| 1 | 0 | 21271 | - | 265M | 0 |1000 |1508 |2965 |1483 | 15 | 7 | 0 |-2.440747e+02 |-9.500000e+01 | 156.92%| unknown
77.57/77.83 c 77.8s| 1 | 0 | 22606 | - | 265M | 0 |1000 |1508 |3063 |1581 | 16 | 7 | 0 |-2.440440e+02 |-9.500000e+01 | 156.89%| unknown
83.46/83.74 c 83.7s| 1 | 0 | 23679 | - | 265M | 0 |1000 |1508 |2828 |1661 | 17 | 7 | 0 |-2.440233e+02 |-9.500000e+01 | 156.87%| unknown
89.34/89.60 c 89.6s| 1 | 0 | 24654 | - | 265M | 0 |1000 |1508 |2911 |1744 | 18 | 7 | 0 |-2.440092e+02 |-9.500000e+01 | 156.85%| unknown
94.83/95.19 c 95.2s| 1 | 0 | 25635 | - | 266M | 0 |1000 |1508 |2989 |1822 | 19 | 7 | 0 |-2.439996e+02 |-9.500000e+01 | 156.84%| unknown
99.82/100.17 c 100s| 1 | 0 | 26154 | - | 266M | 0 |1000 |1508 |3052 |1885 | 20 | 7 | 0 |-2.439964e+02 |-9.500000e+01 | 156.84%| unknown
104.60/105.00 c 105s| 1 | 0 | 26620 | - | 266M | 0 |1000 |1508 |3104 |1937 | 21 | 7 | 0 |-2.439947e+02 |-9.500000e+01 | 156.84%| unknown
109.29/109.63 c 110s| 1 | 0 | 27009 | - | 266M | 0 |1000 |1508 |3141 |1974 | 22 | 7 | 0 |-2.439936e+02 |-9.500000e+01 | 156.84%| unknown
113.78/114.18 c 114s| 1 | 0 | 27339 | - | 266M | 0 |1000 |1508 |2710 |2006 | 23 | 7 | 0 |-2.439929e+02 |-9.500000e+01 | 156.83%| unknown
118.26/118.61 c 119s| 1 | 0 | 27572 | - | 266M | 0 |1000 |1508 |2737 |2033 | 24 | 7 | 0 |-2.439926e+02 |-9.500000e+01 | 156.83%| unknown
122.35/122.76 c 123s| 1 | 0 | 27643 | - | 266M | 0 |1000 |1508 |2752 |2048 | 25 | 7 | 0 |-2.439926e+02 |-9.500000e+01 | 156.83%| unknown
126.54/126.92 c 127s| 1 | 0 | 27652 | - | 266M | 0 |1000 |1508 |2753 |2049 | 26 | 7 | 0 |-2.439926e+02 |-9.500000e+01 | 156.83%| unknown
129.43/129.83 o -105
129.43/129.83 c d 130s| 1 | 0 | 36095 | - |conflict| 0 |1000 |1508 |2753 | 0 | 26 | 7 | 0 |-2.439926e+02 |-1.050000e+02 | 132.37%| unknown
129.64/130.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
129.64/130.09 c 130s| 1 | 0 | 36095 | - | 267M | 0 |1000 |1508 |2753 |2049 | 26 | 7 | 0 |-2.439926e+02 |-1.050000e+02 | 132.37%| unknown
187.57/188.17 c 188s| 1 | 2 | 36095 | - | 267M | 0 |1000 |1508 |2753 |2049 | 27 | 7 | 36 |-2.438837e+02 |-1.050000e+02 | 132.27%| unknown
412.37/413.59 o -131
412.37/413.59 c d 414s| 15 | 16 | 51708 |1718.3 |pscostdi| 14 |1000 |1508 |2303 | 0 | 1 | 7 | 198 |-2.437998e+02 |-1.310000e+02 | 86.11%| unknown
455.66/456.90 o -140
455.66/456.90 c d 457s| 27 | 28 | 65797 |1467.1 |adaptive| 14 |1000 |1508 |2253 | 0 | 1 | 7 | 214 |-2.437079e+02 |-1.400000e+02 | 74.08%| unknown
581.84/583.44 c 583s| 100 | 101 |184242 |1581.7 | 384M | 17 |1000 |1514 |2303 |5696 | 1 | 13 | 239 |-2.437067e+02 |-1.400000e+02 | 74.08%| unknown
778.04/780.10 c 780s| 200 | 201 |436091 |2052.5 | 387M | 19 |1000 |1514 |2333 |7201 | 1 | 13 | 283 |-2.432140e+02 |-1.400000e+02 | 73.72%| unknown
974.66/977.01 c 977s| 300 | 301 |616850 |1970.6 | 395M | 19 |1000 |1519 |2072 | 10k| 1 | 19 | 345 |-2.430164e+02 |-1.400000e+02 | 73.58%| unknown
1048.41/1050.96 c 1051s| 400 | 401 |687854 |1654.6 | 395M | 30 |1000 |1517 |2629 | 11k| 4 | 19 | 383 |-2.428863e+02 |-1.400000e+02 | 73.49%| unknown
1096.01/1098.60 c 1099s| 500 | 485 |712990 |1373.4 | 398M | 106 |1000 |1517 |2810 | 11k| 1 | 19 | 400 |-2.428824e+02 |-1.400000e+02 | 73.49%| unknown
1134.14/1136.81 c 1137s| 600 | 513 |744985 |1197.6 | 400M | 115 |1000 |1517 |2814 | 12k| 1 | 19 | 403 |-2.428722e+02 |-1.400000e+02 | 73.48%| unknown
1146.02/1148.77 c 1149s| 700 | 519 |752998 |1037.7 | 400M | 118 |1000 |1520 |2159 | 12k| 1 | 22 | 403 |-2.428568e+02 |-1.400000e+02 | 73.47%| unknown
1159.40/1162.14 c 1162s| 800 | 535 |767648 | 926.2 | 400M | 118 |1000 |1519 |2814 | 12k| 1 | 22 | 403 |-2.428568e+02 |-1.400000e+02 | 73.47%| unknown
1160.30/1163.00 c 1163s| 900 | 535 |769928 | 825.7 | 400M | 118 |1000 |1519 |2814 | 12k| 1 | 22 | 403 |-2.428568e+02 |-1.400000e+02 | 73.47%| unknown
1160.99/1163.73 c 1164s| 1000 | 535 |771791 | 744.9 | 399M | 118 |1000 |1519 |2816 | 12k| 1 | 22 | 403 |-2.428568e+02 |-1.400000e+02 | 73.47%| unknown
1173.07/1175.88 c 1176s| 1100 | 541 |784797 | 688.9 | 400M | 118 |1000 |1519 |2816 | 12k| 0 | 22 | 403 |-2.428423e+02 |-1.400000e+02 | 73.46%| unknown
1185.64/1188.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1185.64/1188.42 c 1188s| 1200 | 559 |795556 | 640.5 | 401M | 118 |1000 |1518 |2815 | 12k| 1 | 22 | 403 |-2.428385e+02 |-1.400000e+02 | 73.46%| unknown
1193.53/1196.37 c 1196s| 1300 | 579 |807653 | 600.5 | 400M | 123 |1000 |1521 |2815 | 12k| 1 | 25 | 403 |-2.428298e+02 |-1.400000e+02 | 73.45%| unknown
1216.98/1219.84 c 1220s| 1400 | 599 |825723 | 570.5 | 402M | 124 |1000 |1521 |2145 | 13k| 1 | 25 | 403 |-2.427917e+02 |-1.400000e+02 | 73.42%| unknown
1227.66/1230.54 c 1231s| 1500 | 613 |839743 | 541.8 | 403M | 124 |1000 |1521 |2816 | 13k| 1 | 26 | 403 |-2.427868e+02 |-1.400000e+02 | 73.42%| unknown
1265.10/1268.07 c 1268s| 1600 | 651 |875390 | 530.2 | 405M | 124 |1000 |1521 |2816 | 14k| 1 | 26 | 403 |-2.427534e+02 |-1.400000e+02 | 73.40%| unknown
1274.18/1277.17 c 1277s| 1700 | 665 |887089 | 505.8 | 406M | 124 |1000 |1520 |2814 | 14k| 2 | 26 | 403 |-2.427397e+02 |-1.400000e+02 | 73.39%| unknown
1285.25/1288.29 c 1288s| 1800 | 675 |899149 | 484.4 | 406M | 124 |1000 |1520 |2816 | 14k| 0 | 26 | 403 |-2.427397e+02 |-1.400000e+02 | 73.39%| unknown
1296.04/1299.07 c 1299s| 1900 | 689 |910541 | 464.9 | 407M | 124 |1000 |1520 |2815 | 14k| 0 | 26 | 403 |-2.427380e+02 |-1.400000e+02 | 73.38%| unknown
1307.91/1310.94 c 1311s| 2000 | 703 |923752 | 448.3 | 407M | 124 |1000 |1520 |2815 | 14k| 0 | 27 | 403 |-2.427380e+02 |-1.400000e+02 | 73.38%| unknown
1332.86/1335.96 c 1336s| 2100 | 731 |945459 | 437.3 | 409M | 124 |1000 |1522 |2816 | 14k| 0 | 30 | 409 |-2.427155e+02 |-1.400000e+02 | 73.37%| unknown
1367.50/1370.69 c 1371s| 2200 | 759 |972513 | 429.7 | 409M | 124 |1000 |1522 |2816 | 15k| 1 | 30 | 422 |-2.427040e+02 |-1.400000e+02 | 73.36%| unknown
1406.12/1409.37 c 1409s| 2300 | 795 | 1004k| 425.0 | 411M | 124 |1000 |1522 |2816 | 15k| 1 | 30 | 440 |-2.426740e+02 |-1.400000e+02 | 73.34%| unknown
1432.25/1435.54 c 1436s| 2400 | 823 | 1028k| 417.0 | 411M | 124 |1000 |1525 |2817 | 15k| 1 | 33 | 451 |-2.426713e+02 |-1.400000e+02 | 73.34%| unknown
1432.95/1436.22 c 1436s| 2500 | 829 | 1029k| 401.0 | 411M | 124 |1000 |1528 |2817 | 15k| 0 | 36 | 453 |-2.426713e+02 |-1.400000e+02 | 73.34%| unknown
1486.92/1490.36 c 1490s| 2600 | 879 | 1072k| 402.2 | 412M | 125 |1000 |1528 |2816 | 16k| 1 | 36 | 468 |-2.426076e+02 |-1.400000e+02 | 73.29%| unknown
1527.52/1531.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1527.52/1531.07 c 1531s| 2700 | 917 | 1111k| 401.6 | 413M | 125 |1000 |1527 |2816 | 16k| 1 | 36 | 469 |-2.425853e+02 |-1.400000e+02 | 73.28%| unknown
1547.46/1551.09 c 1551s| 2800 | 941 | 1134k| 395.4 | 414M | 125 |1000 |1527 |2818 | 16k| 1 | 36 | 470 |-2.425537e+02 |-1.400000e+02 | 73.25%| unknown
1571.00/1574.63 c 1575s| 2900 | 969 | 1160k| 390.8 | 414M | 125 |1000 |1530 |2172 | 17k| 1 | 39 | 470 |-2.425368e+02 |-1.400000e+02 | 73.24%| unknown
1591.74/1595.41 c 1595s| 3000 | 1001 | 1186k| 386.3 | 415M | 125 |1000 |1530 |2815 | 17k| 0 | 39 | 470 |-2.425324e+02 |-1.400000e+02 | 73.24%| unknown
1613.99/1617.70 c 1618s| 3100 | 1037 | 1218k| 384.3 | 415M | 125 |1000 |1530 |2816 | 17k| 1 | 39 | 470 |-2.425242e+02 |-1.400000e+02 | 73.23%| unknown
1637.23/1641.02 c 1641s| 3200 | 1061 | 1242k| 379.7 | 415M | 125 |1000 |1535 |2816 | 17k| 1 | 45 | 470 |-2.425237e+02 |-1.400000e+02 | 73.23%| unknown
1663.27/1667.12 c 1667s| 3300 | 1089 | 1264k| 374.9 | 417M | 125 |1000 |1538 |2817 | 18k| 1 | 48 | 470 |-2.425052e+02 |-1.400000e+02 | 73.22%| unknown
1688.10/1692.06 c 1692s| 3400 | 1119 | 1290k| 371.5 | 417M | 125 |1000 |1536 |2819 | 18k| 0 | 48 | 470 |-2.424950e+02 |-1.400000e+02 | 73.21%| unknown
1688.80/1692.71 c 1693s| 3500 | 1111 | 1292k| 361.5 | 417M | 126 |1000 |1535 |2816 | 18k| 1 | 48 | 470 |-2.424950e+02 |-1.400000e+02 | 73.21%| unknown
1704.17/1708.17 c 1708s| 3600 | 1129 | 1303k| 354.6 | 417M | 126 |1000 |1538 |2815 | 18k| 0 | 51 | 470 |-2.424860e+02 |-1.400000e+02 | 73.20%| unknown
1734.99/1739.06 c 1739s| 3700 | 1167 | 1330k| 352.2 | 417M | 126 |1000 |1538 |2816 | 18k| 1 | 51 | 484 |-2.424703e+02 |-1.400000e+02 | 73.19%| unknown
1765.40/1769.53 c 1770s| 3800 | 1221 | 1372k| 353.9 | 417M | 126 |1000 |1538 |2815 | 18k| 1 | 51 | 496 |-2.424654e+02 |-1.400000e+02 | 73.19%| unknown
1804.30/1808.51 c 1809s| 3900 | 1247 | 1399k| 351.8 | 418M | 126 |1000 |1537 |2815 | 19k| 1 | 51 | 508 |-2.424613e+02 |-1.400000e+02 | 73.19%| unknown
1812.28/1816.54 c 1817s| 4000 | 1257 | 1410k| 345.7 | 418M | 126 |1000 |1539 |2817 | 19k| 1 | 54 | 517 |-2.424598e+02 |-1.400000e+02 | 73.19%| unknown
1825.75/1830.07 c 1830s| 4100 | 1269 | 1420k| 339.9 | 419M | 126 |1000 |1538 |2816 | 19k| 0 | 54 | 520 |-2.424536e+02 |-1.400000e+02 | 73.18%| unknown
1840.31/1844.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1840.31/1844.69 c 1845s| 4200 | 1293 | 1436k| 335.5 | 420M | 126 |1000 |1537 |2217 | 19k| 1 | 54 | 523 |-2.424498e+02 |-1.400000e+02 | 73.18%| unknown
1853.98/1858.37 c 1858s| 4300 | 1321 | 1458k| 332.7 | 420M | 126 |1000 |1536 |2165 | 19k| 1 | 54 | 523 |-2.424312e+02 |-1.400000e+02 | 73.17%| unknown
1877.62/1882.08 c 1882s| 4400 | 1355 | 1485k| 331.4 | 421M | 126 |1000 |1532 |2184 | 19k| 3 | 54 | 526 |-2.424201e+02 |-1.400000e+02 | 73.16%| unknown
1905.45/1909.94 c 1910s| 4500 | 1395 | 1511k| 329.8 | 421M | 126 |1000 |1529 |2818 | 20k| 1 | 54 | 527 |-2.424089e+02 |-1.400000e+02 | 73.15%| unknown
1948.84/1953.46 c 1953s| 4600 | 1437 | 1550k| 331.1 | 421M | 126 |1000 |1529 |2133 | 20k| 1 | 54 | 527 |-2.424009e+02 |-1.400000e+02 | 73.14%| unknown
1952.73/1957.38 c 1957s| 4700 | 1443 | 1561k| 326.4 | 421M | 126 |1000 |1532 |2818 | 20k| 0 | 57 | 528 |-2.424009e+02 |-1.400000e+02 | 73.14%| unknown
1978.26/1982.90 c 1983s| 4800 | 1477 | 1591k| 325.9 | 421M | 126 |1000 |1535 |2816 | 20k| 0 | 60 | 528 |-2.423998e+02 |-1.400000e+02 | 73.14%| unknown
1991.53/1996.21 c 1996s| 4900 | 1509 | 1611k| 323.3 | 421M | 126 |1000 |1538 |2817 | 20k| 0 | 63 | 528 |-2.423922e+02 |-1.400000e+02 | 73.14%| unknown
2015.67/2020.41 c 2020s| 5000 | 1541 | 1639k| 322.5 | 422M | 126 |1000 |1538 |2154 | 21k| 1 | 63 | 528 |-2.423759e+02 |-1.400000e+02 | 73.13%| unknown
2049.39/2054.25 c 2054s| 5100 | 1569 | 1664k| 321.1 | 423M | 126 |1000 |1541 |2076 | 21k| 1 | 66 | 528 |-2.423730e+02 |-1.400000e+02 | 73.12%| unknown
2081.24/2086.16 c 2086s| 5200 | 1609 | 1699k| 321.6 | 423M | 126 |1000 |1542 |2818 | 21k| 1 | 69 | 538 |-2.423665e+02 |-1.400000e+02 | 73.12%| unknown
2097.60/2102.57 c 2103s| 5300 | 1633 | 1718k| 319.0 | 423M | 126 |1000 |1541 |2817 | 21k| 1 | 69 | 542 |-2.423558e+02 |-1.400000e+02 | 73.11%| unknown
2112.08/2117.00 c 2117s| 5400 | 1645 | 1728k| 315.1 | 424M | 126 |1000 |1541 |2817 | 21k| 1 | 69 | 548 |-2.423466e+02 |-1.400000e+02 | 73.10%| unknown
2128.94/2133.97 c 2134s| 5500 | 1675 | 1746k| 312.6 | 424M | 126 |1000 |1540 |2817 | 21k| 1 | 69 | 555 |-2.423416e+02 |-1.400000e+02 | 73.10%| unknown
2151.70/2156.79 c 2157s| 5600 | 1697 | 1772k| 311.6 | 425M | 126 |1000 |1543 |2817 | 22k| 1 | 72 | 558 |-2.423292e+02 |-1.400000e+02 | 73.09%| unknown
2152.49/2157.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2152.49/2157.51 c 2158s| 5700 | 1691 | 1774k| 306.5 | 425M | 126 |1000 |1546 |2814 | 22k| 1 | 75 | 561 |-2.423292e+02 |-1.400000e+02 | 73.09%| unknown
2153.19/2158.20 c 2158s| 5800 | 1699 | 1776k| 301.5 | 425M | 126 |1000 |1546 |2816 | 22k| 1 | 75 | 564 |-2.423292e+02 |-1.400000e+02 | 73.09%| unknown
2194.41/2199.58 c 2200s| 5900 | 1739 | 1814k| 302.9 | 425M | 126 |1000 |1544 |2127 | 22k| 1 | 75 | 570 |-2.423258e+02 |-1.400000e+02 | 73.09%| unknown
2207.09/2212.20 c 2212s| 6000 | 1753 | 1829k| 300.3 | 426M | 126 |1000 |1542 |2813 | 22k| 0 | 75 | 572 |-2.423258e+02 |-1.400000e+02 | 73.09%| unknown
2219.17/2224.38 c 2224s| 6100 | 1771 | 1841k| 297.4 | 426M | 126 |1000 |1542 |2812 | 22k| 1 | 75 | 574 |-2.423180e+02 |-1.400000e+02 | 73.08%| unknown
2233.54/2238.73 c 2239s| 6200 | 1797 | 1861k| 295.8 | 426M | 126 |1000 |1542 |2812 | 22k| 1 | 75 | 575 |-2.423091e+02 |-1.400000e+02 | 73.08%| unknown
2234.14/2239.35 c 2239s| 6300 | 1799 | 1862k| 291.4 | 426M | 126 |1000 |1545 |2812 | 22k| 1 | 78 | 576 |-2.423091e+02 |-1.400000e+02 | 73.08%| unknown
2253.50/2258.70 c 2259s| 6400 | 1831 | 1886k| 290.5 | 426M | 126 |1000 |1545 |2275 | 22k| 2 | 78 | 577 |-2.423048e+02 |-1.400000e+02 | 73.07%| unknown
2279.35/2284.68 c 2285s| 6500 | 1863 | 1917k| 290.7 | 426M | 126 |1000 |1545 |2812 | 22k| 1 | 78 | 577 |-2.422984e+02 |-1.400000e+02 | 73.07%| unknown
2296.51/2301.81 c 2302s| 6600 | 1889 | 1935k| 289.2 | 427M | 126 |1000 |1544 |2812 | 22k| 0 | 78 | 577 |-2.422874e+02 |-1.400000e+02 | 73.06%| unknown
2311.49/2316.81 c 2317s| 6700 | 1903 | 1949k| 286.8 | 427M | 126 |1000 |1544 |2812 | 23k| 1 | 78 | 578 |-2.422853e+02 |-1.400000e+02 | 73.06%| unknown
2334.34/2339.72 c 2340s| 6800 | 1921 | 1966k| 285.2 | 428M | 126 |1000 |1543 |2077 | 23k| 1 | 78 | 578 |-2.422807e+02 |-1.400000e+02 | 73.06%| unknown
2348.52/2353.92 c 2354s| 6900 | 1937 | 1978k| 282.7 | 429M | 126 |1000 |1543 |2111 | 23k| 1 | 78 | 579 |-2.422807e+02 |-1.400000e+02 | 73.06%| unknown
2350.81/2356.28 c 2356s| 7000 | 1939 | 1982k| 279.4 | 429M | 126 |1000 |1543 |2813 | 23k| 1 | 78 | 579 |-2.422807e+02 |-1.400000e+02 | 73.06%| unknown
2365.09/2370.57 c 2371s| 7100 | 1947 | 1995k| 277.1 | 429M | 126 |1000 |1542 |2812 | 23k| 1 | 78 | 579 |-2.422788e+02 |-1.400000e+02 | 73.06%| unknown
2365.79/2371.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2365.79/2371.20 c 2371s| 7200 | 1957 | 1996k| 273.6 | 429M | 126 |1000 |1542 |2814 | 23k| 1 | 78 | 579 |-2.422788e+02 |-1.400000e+02 | 73.06%| unknown
2393.43/2398.98 c 2399s| 7300 | 1995 | 2025k| 273.8 | 430M | 126 |1000 |1540 |2814 | 23k| 0 | 83 | 579 |-2.422768e+02 |-1.400000e+02 | 73.05%| unknown
2407.51/2413.05 c 2413s| 7400 | 2005 | 2037k| 271.7 | 430M | 126 |1000 |1539 |2813 | 23k| 0 | 83 | 579 |-2.422751e+02 |-1.400000e+02 | 73.05%| unknown
2427.07/2432.66 c 2433s| 7500 | 2039 | 2059k| 271.0 | 430M | 126 |1000 |1537 |2813 | 23k| 1 | 83 | 581 |-2.422722e+02 |-1.400000e+02 | 73.05%| unknown
2433.66/2439.28 c 2439s| 7600 | 2047 | 2070k| 268.8 | 430M | 126 |1000 |1537 |2813 | 23k| 1 | 83 | 581 |-2.422680e+02 |-1.400000e+02 | 73.05%| unknown
2434.36/2440.00 c 2440s| 7700 | 2051 | 2072k| 265.7 | 430M | 126 |1000 |1537 |2813 | 23k| 1 | 83 | 582 |-2.422680e+02 |-1.400000e+02 | 73.05%| unknown
2435.06/2440.61 c 2441s| 7800 | 2053 | 2075k| 262.5 | 430M | 126 |1000 |1537 |2814 | 23k| 1 | 83 | 582 |-2.422680e+02 |-1.400000e+02 | 73.05%| unknown
2451.82/2457.42 c 2457s| 7900 | 2071 | 2094k| 261.7 | 430M | 126 |1000 |1537 |2813 | 23k| 0 | 86 | 582 |-2.422655e+02 |-1.400000e+02 | 73.05%| unknown
2452.43/2458.06 c 2458s| 8000 | 2067 | 2096k| 258.6 | 430M | 126 |1000 |1537 |2813 | 23k| 1 | 86 | 582 |-2.422655e+02 |-1.400000e+02 | 73.05%| unknown
2459.71/2465.36 c 2465s| 8100 | 2075 | 2110k| 257.1 | 430M | 126 |1000 |1534 |2813 | 24k| 1 | 86 | 583 |-2.422606e+02 |-1.400000e+02 | 73.04%| unknown
2472.28/2477.90 c 2478s| 8200 | 2099 | 2128k| 256.3 | 430M | 126 |1000 |1534 |2813 | 24k| 1 | 86 | 584 |-2.422576e+02 |-1.400000e+02 | 73.04%| unknown
2499.34/2505.01 c 2505s| 8300 | 2137 | 2154k| 256.3 | 431M | 126 |1000 |1533 |2115 | 24k| 1 | 86 | 587 |-2.422506e+02 |-1.400000e+02 | 73.04%| unknown
2520.79/2526.51 c 2527s| 8400 | 2169 | 2185k| 256.9 | 431M | 126 |1000 |1533 |2813 | 24k| 1 | 89 | 588 |-2.422418e+02 |-1.400000e+02 | 73.03%| unknown
2521.29/2527.06 c 2527s| 8500 | 2169 | 2187k| 254.1 | 431M | 126 |1000 |1533 |2812 | 24k| 0 | 89 | 589 |-2.422418e+02 |-1.400000e+02 | 73.03%| unknown
2534.66/2540.48 c 2540s| 8600 | 2195 | 2202k| 253.0 | 432M | 126 |1000 |1532 |2148 | 24k| 1 | 89 | 589 |-2.422338e+02 |-1.400000e+02 | 73.02%| unknown
2564.51/2570.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2564.51/2570.37 c 2570s| 8700 | 2237 | 2239k| 254.3 | 433M | 126 |1000 |1531 |2143 | 24k| 1 | 92 | 589 |-2.422268e+02 |-1.400000e+02 | 73.02%| unknown
2591.65/2597.55 c 2598s| 8800 | 2281 | 2272k| 255.1 | 433M | 126 |1000 |1530 |2813 | 24k| 1 | 92 | 589 |-2.422268e+02 |-1.400000e+02 | 73.02%| unknown
2603.93/2609.80 c 2610s| 8900 | 2307 | 2291k| 254.4 | 433M | 126 |1000 |1527 |2813 | 24k| 0 | 92 | 589 |-2.422219e+02 |-1.400000e+02 | 73.02%| unknown
2613.91/2619.84 c 2620s| 9000 | 2315 | 2302k| 252.8 | 433M | 126 |1000 |1527 |2813 | 24k| 1 | 92 | 589 |-2.422188e+02 |-1.400000e+02 | 73.01%| unknown
2626.59/2632.55 c 2633s| 9100 | 2335 | 2322k| 252.2 | 433M | 126 |1000 |1525 |2812 | 24k| 0 | 92 | 592 |-2.422120e+02 |-1.400000e+02 | 73.01%| unknown
2645.25/2651.23 c 2651s| 9200 | 2355 | 2346k| 252.1 | 434M | 126 |1000 |1531 |2813 | 25k| 0 | 98 | 592 |-2.421970e+02 |-1.400000e+02 | 73.00%| unknown
2651.84/2657.82 c 2658s| 9300 | 2365 | 2359k| 250.8 | 434M | 126 |1000 |1533 |2813 | 25k| 0 | 101 | 592 |-2.421941e+02 |-1.400000e+02 | 73.00%| unknown
2673.10/2679.19 c 2679s| 9400 | 2409 | 2389k| 251.3 | 434M | 126 |1000 |1531 |2814 | 25k| 2 | 101 | 592 |-2.421884e+02 |-1.400000e+02 | 72.99%| unknown
2673.90/2679.90 c 2680s| 9500 | 2403 | 2391k| 248.9 | 434M | 126 |1000 |1531 |2813 | 25k| 0 | 101 | 592 |-2.421884e+02 |-1.400000e+02 | 72.99%| unknown
2699.55/2705.69 c 2706s| 9600 | 2455 | 2433k| 250.6 | 434M | 126 |1000 |1529 |2813 | 25k| 1 | 101 | 592 |-2.421778e+02 |-1.400000e+02 | 72.98%| unknown
2734.48/2740.60 c 2741s| 9700 | 2497 | 2466k| 251.5 | 435M | 126 |1000 |1528 |2813 | 25k| 2 | 101 | 593 |-2.421646e+02 |-1.400000e+02 | 72.97%| unknown
2746.36/2752.52 c 2753s| 9800 | 2513 | 2478k| 250.1 | 435M | 126 |1000 |1528 |2812 | 25k| 1 | 101 | 596 |-2.421632e+02 |-1.400000e+02 | 72.97%| unknown
2759.03/2765.28 c 2765s| 9900 | 2533 | 2498k| 249.6 | 435M | 126 |1000 |1528 |2812 | 25k| 1 | 101 | 598 |-2.421573e+02 |-1.400000e+02 | 72.97%| unknown
2766.22/2772.40 c 2772s| 10000 | 2547 | 2510k| 248.3 | 435M | 126 |1000 |1528 |2813 | 25k| 3 | 101 | 598 |-2.421539e+02 |-1.400000e+02 | 72.97%| unknown
2806.05/2812.37 c 2812s| 10100 | 2601 | 2553k| 250.1 | 435M | 126 |1000 |1533 |2813 | 26k| 1 | 106 | 599 |-2.421429e+02 |-1.400000e+02 | 72.96%| unknown
2806.85/2813.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2806.85/2813.14 c 2813s| 10200 | 2601 | 2556k| 247.9 | 435M | 126 |1000 |1533 |2812 | 26k| 0 | 106 | 600 |-2.421429e+02 |-1.400000e+02 | 72.96%| unknown
2812.74/2819.08 c 2819s| 10300 | 2619 | 2565k| 246.4 | 435M | 126 |1000 |1536 |2813 | 26k| 1 | 110 | 600 |-2.421397e+02 |-1.400000e+02 | 72.96%| unknown
2828.81/2835.14 c 2835s| 10400 | 2643 | 2583k| 245.8 | 435M | 126 |1000 |1536 |2815 | 26k| 1 | 110 | 607 |-2.421316e+02 |-1.400000e+02 | 72.95%| unknown
2851.67/2858.09 c 2858s| 10500 | 2673 | 2607k| 245.7 | 435M | 126 |1000 |1534 |2814 | 26k| 1 | 110 | 618 |-2.421222e+02 |-1.400000e+02 | 72.94%| unknown
2860.75/2867.11 c 2867s| 10600 | 2685 | 2618k| 244.5 | 435M | 126 |1000 |1534 |2814 | 26k| 1 | 110 | 623 |-2.421189e+02 |-1.400000e+02 | 72.94%| unknown
2861.24/2867.68 c 2868s| 10700 | 2683 | 2620k| 242.4 | 435M | 126 |1000 |1534 |2814 | 26k| 1 | 110 | 625 |-2.421189e+02 |-1.400000e+02 | 72.94%| unknown
2879.11/2885.54 c 2886s| 10800 | 2709 | 2642k| 242.1 | 435M | 126 |1000 |1536 |2814 | 26k| 1 | 113 | 627 |-2.421175e+02 |-1.400000e+02 | 72.94%| unknown
2892.78/2899.28 c 2899s| 10900 | 2739 | 2662k| 241.7 | 436M | 126 |1000 |1536 |2814 | 26k| 0 | 114 | 629 |-2.421067e+02 |-1.400000e+02 | 72.93%| unknown
2905.66/2912.19 c 2912s| 11000 | 2771 | 2681k| 241.3 | 436M | 126 |1000 |1534 |2814 | 26k| 0 | 119 | 633 |-2.420987e+02 |-1.400000e+02 | 72.93%| unknown
2907.56/2914.04 c 2914s| 11100 | 2771 | 2683k| 239.3 | 436M | 128 |1000 |1534 |2814 | 26k| 1 | 119 | 635 |-2.420987e+02 |-1.400000e+02 | 72.93%| unknown
2943.38/2949.96 c 2950s| 11200 | 2805 | 2719k| 240.4 | 436M | 128 |1000 |1537 |2814 | 26k| 1 | 122 | 635 |-2.420951e+02 |-1.400000e+02 | 72.93%| unknown
2956.96/2963.56 c 2964s| 11300 | 2835 | 2739k| 240.0 | 436M | 128 |1000 |1537 |2814 | 26k| 1 | 122 | 638 |-2.420897e+02 |-1.400000e+02 | 72.92%| unknown
2963.04/2969.69 c 2970s| 11400 | 2845 | 2748k| 238.7 | 436M | 128 |1000 |1537 |2814 | 26k| 0 | 122 | 639 |-2.420879e+02 |-1.400000e+02 | 72.92%| unknown
2975.22/2981.89 c 2982s| 11500 | 2873 | 2766k| 238.2 | 436M | 128 |1000 |1537 |2814 | 26k| 1 | 122 | 639 |-2.420770e+02 |-1.400000e+02 | 72.91%| unknown
2988.19/2994.89 c 2995s| 11600 | 2901 | 2784k| 237.7 | 436M | 128 |1000 |1540 |2814 | 26k| 1 | 125 | 639 |-2.420743e+02 |-1.400000e+02 | 72.91%| unknown
3004.47/3011.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3004.47/3011.12 c 3011s| 11700 | 2929 | 2802k| 237.2 | 437M | 128 |1000 |1540 |2814 | 27k| 1 | 125 | 639 |-2.420696e+02 |-1.400000e+02 | 72.91%| unknown
3020.83/3027.53 c 3028s| 11800 | 2953 | 2818k| 236.5 | 437M | 128 |1000 |1540 |2814 | 27k| 1 | 125 | 639 |-2.420678e+02 |-1.400000e+02 | 72.91%| unknown
3035.20/3041.91 c 3042s| 11900 | 2973 | 2852k| 237.4 | 437M | 128 |1000 |1540 |2814 | 27k| 0 | 125 | 639 |-2.420612e+02 |-1.400000e+02 | 72.90%| unknown
3050.28/3057.09 c 3057s| 12000 | 3001 | 2870k| 236.9 | 437M | 128 |1000 |1540 |2814 | 27k| 1 | 125 | 639 |-2.420593e+02 |-1.400000e+02 | 72.90%| unknown
3064.65/3071.41 c 3071s| 12100 | 3027 | 2887k| 236.4 | 438M | 128 |1000 |1540 |2814 | 27k| 1 | 125 | 639 |-2.420455e+02 |-1.400000e+02 | 72.89%| unknown
3069.84/3076.69 c 3077s| 12200 | 3035 | 2896k| 235.2 | 438M | 128 |1000 |1540 |2815 | 27k| 0 | 125 | 639 |-2.420436e+02 |-1.400000e+02 | 72.89%| unknown
3082.41/3089.24 c 3089s| 12300 | 3071 | 2917k| 234.9 | 438M | 128 |1000 |1539 |2815 | 27k| 1 | 125 | 639 |-2.420333e+02 |-1.400000e+02 | 72.88%| unknown
3097.98/3104.81 c 3105s| 12400 | 3085 | 2933k| 234.3 | 438M | 128 |1000 |1539 |2815 | 27k| 1 | 125 | 639 |-2.420298e+02 |-1.400000e+02 | 72.88%| unknown
3122.64/3129.52 c 3130s| 12500 | 3115 | 2955k| 234.2 | 438M | 128 |1000 |1538 |2104 | 27k| 1 | 125 | 639 |-2.420279e+02 |-1.400000e+02 | 72.88%| unknown
3149.69/3156.66 c 3157s| 12600 | 3163 | 2985k| 234.8 | 438M | 128 |1000 |1537 |2815 | 27k| 1 | 125 | 648 |-2.420227e+02 |-1.400000e+02 | 72.87%| unknown
3162.07/3169.04 c 3169s| 12700 | 3191 | 3003k| 234.4 | 438M | 128 |1000 |1535 |2815 | 27k| 1 | 125 | 653 |-2.420205e+02 |-1.400000e+02 | 72.87%| unknown
3162.66/3169.64 c 3170s| 12800 | 3195 | 3005k| 232.7 | 438M | 128 |1000 |1538 |2816 | 27k| 1 | 128 | 653 |-2.420205e+02 |-1.400000e+02 | 72.87%| unknown
3175.34/3182.37 c 3182s| 12900 | 3215 | 3022k| 232.2 | 438M | 128 |1000 |1538 |2815 | 27k| 1 | 128 | 659 |-2.420124e+02 |-1.400000e+02 | 72.87%| unknown
3181.72/3188.74 c 3189s| 13000 | 3229 | 3033k| 231.2 | 438M | 128 |1000 |1541 |2815 | 27k| 0 | 131 | 660 |-2.420115e+02 |-1.400000e+02 | 72.87%| unknown
3212.76/3219.82 c 3220s| 13100 | 3263 | 3061k| 231.6 | 438M | 128 |1000 |1543 |2124 | 27k| 1 | 134 | 660 |-2.420028e+02 |-1.400000e+02 | 72.86%| unknown
3230.33/3237.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3230.33/3237.49 c 3237s| 13200 | 3297 | 3081k| 231.3 | 439M | 128 |1000 |1541 |2144 | 28k| 1 | 134 | 661 |-2.419995e+02 |-1.400000e+02 | 72.86%| unknown
3238.71/3245.80 c 3246s| 13300 | 3321 | 3095k| 230.7 | 439M | 128 |1000 |1541 |2815 | 28k| 1 | 134 | 661 |-2.419972e+02 |-1.400000e+02 | 72.86%| unknown
3239.21/3246.30 c 3246s| 13400 | 3313 | 3096k| 229.0 | 439M | 132 |1000 |1541 |2815 | 28k| 0 | 134 | 661 |-2.419972e+02 |-1.400000e+02 | 72.86%| unknown
3267.26/3274.49 c 3274s| 13500 | 3353 | 3124k| 229.4 | 439M | 132 |1000 |1540 |2815 | 28k| 1 | 134 | 661 |-2.419952e+02 |-1.400000e+02 | 72.85%| unknown
3289.72/3296.92 c 3297s| 13600 | 3395 | 3151k| 229.7 | 439M | 132 |1000 |1538 |2815 | 28k| 1 | 134 | 661 |-2.419905e+02 |-1.400000e+02 | 72.85%| unknown
3294.51/3301.71 c 3302s| 13700 | 3403 | 3158k| 228.5 | 439M | 132 |1000 |1537 |2260 | 28k| 1 | 134 | 661 |-2.419884e+02 |-1.400000e+02 | 72.85%| unknown
3329.54/3336.82 c 3337s| 13800 | 3463 | 3204k| 230.2 | 439M | 132 |1000 |1535 |2815 | 28k| 0 | 134 | 665 |-2.419811e+02 |-1.400000e+02 | 72.84%| unknown
3335.53/3342.89 c 3343s| 13900 | 3479 | 3215k| 229.3 | 439M | 132 |1000 |1538 |2815 | 28k| 1 | 137 | 665 |-2.419760e+02 |-1.400000e+02 | 72.84%| unknown
3361.78/3369.17 c 3369s| 14000 | 3515 | 3238k| 229.4 | 440M | 132 |1000 |1538 |2136 | 28k| 1 | 140 | 665 |-2.419676e+02 |-1.400000e+02 | 72.83%| unknown
3369.46/3376.80 c 3377s| 14100 | 3533 | 3251k| 228.6 | 440M | 132 |1000 |1540 |2815 | 28k| 1 | 143 | 666 |-2.419656e+02 |-1.400000e+02 | 72.83%| unknown
3395.21/3402.61 c 3403s| 14200 | 3561 | 3271k| 228.5 | 440M | 132 |1000 |1539 |2815 | 28k| 1 | 143 | 666 |-2.419649e+02 |-1.400000e+02 | 72.83%| unknown
3406.49/3413.98 c 3414s| 14300 | 3573 | 3279k| 227.4 | 440M | 132 |1000 |1538 |2815 | 28k| 1 | 143 | 666 |-2.419643e+02 |-1.400000e+02 | 72.83%| unknown
3429.45/3436.97 c 3437s| 14400 | 3609 | 3309k| 228.0 | 440M | 132 |1000 |1535 |2815 | 28k| 0 | 143 | 669 |-2.419569e+02 |-1.400000e+02 | 72.83%| unknown
3444.82/3452.39 c 3452s| 14500 | 3619 | 3325k| 227.4 | 440M | 132 |1000 |1533 |2815 | 29k| 0 | 143 | 673 |-2.419553e+02 |-1.400000e+02 | 72.83%| unknown
3459.89/3467.48 c 3467s| 14600 | 3647 | 3343k| 227.1 | 440M | 132 |1000 |1532 |2815 | 29k| 1 | 143 | 676 |-2.419427e+02 |-1.400000e+02 | 72.82%| unknown
3466.78/3474.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3466.78/3474.37 c 3474s| 14700 | 3665 | 3354k| 226.4 | 440M | 132 |1000 |1535 |2815 | 29k| 0 | 146 | 679 |-2.419406e+02 |-1.400000e+02 | 72.81%| unknown
3479.75/3487.31 c 3487s| 14800 | 3695 | 3374k| 226.2 | 440M | 132 |1000 |1529 |2816 | 29k| 1 | 146 | 684 |-2.419338e+02 |-1.400000e+02 | 72.81%| unknown
3484.24/3491.82 c 3492s| 14900 | 3701 | 3380k| 225.0 | 440M | 132 |1000 |1529 |2139 | 29k| 1 | 146 | 687 |-2.419311e+02 |-1.400000e+02 | 72.81%| unknown
3486.34/3493.96 c 3494s| 15000 | 3707 | 3385k| 223.9 | 441M | 132 |1000 |1529 |2815 | 29k| 0 | 146 | 688 |-2.419311e+02 |-1.400000e+02 | 72.81%| unknown
3507.10/3514.71 c 3515s| 15100 | 3755 | 3409k| 224.0 | 441M | 132 |1000 |1526 |2815 | 29k| 1 | 146 | 689 |-2.419279e+02 |-1.400000e+02 | 72.81%| unknown
3511.99/3519.64 c 3520s| 15200 | 3769 | 3416k| 222.9 | 441M | 132 |1000 |1525 |2815 | 29k| 1 | 146 | 689 |-2.419278e+02 |-1.400000e+02 | 72.81%| unknown
3524.16/3531.86 c 3532s| 15300 | 3793 | 3433k| 222.6 | 441M | 132 |1000 |1526 |2815 | 29k| 0 | 148 | 692 |-2.419266e+02 |-1.400000e+02 | 72.80%| unknown
3559.20/3566.96 c 3567s| 15400 | 3833 | 3468k| 223.4 | 441M | 132 |1000 |1524 |2815 | 29k| 0 | 152 | 693 |-2.419213e+02 |-1.400000e+02 | 72.80%| unknown
3569.98/3577.77 c 3578s| 15500 | 3859 | 3483k| 223.0 | 441M | 132 |1000 |1522 |2815 | 29k| 1 | 152 | 693 |-2.419183e+02 |-1.400000e+02 | 72.80%| unknown
3575.96/3583.71 c 3584s| 15600 | 3875 | 3494k| 222.2 | 441M | 132 |1000 |1522 |2815 | 29k| 1 | 152 | 694 |-2.419083e+02 |-1.400000e+02 | 72.79%| unknown
3585.05/3592.81 c 3593s| 15700 | 3889 | 3500k| 221.2 | 441M | 132 |1000 |1522 |2099 | 29k| 1 | 152 | 695 |-2.419079e+02 |-1.400000e+02 | 72.79%| unknown
3589.24/3597.04 c
3589.24/3597.04 c SCIP Status : solving was interrupted [time limit reached]
3589.24/3597.04 c Solving Time (sec) : 3597.04
3589.24/3597.04 c Solving Nodes : 15713
3589.24/3597.04 c Primal Bound : -1.40000000000000e+02 (390 solutions)
3589.24/3597.04 c Dual Bound : -2.41907708302290e+02
3589.24/3597.04 c Gap : 72.79 %
3589.24/3597.05 s SATISFIABLE
3589.24/3597.05 v x924 -x695 -x907 x875 -x752 x713 -x910 x845 -x665 x855 -x801 x838 -x663 -x688 -x824 -x610 x911 -x637 -x586 x958 -x943 -x705 -x936
3589.24/3597.05 v -x593 x986 -x996 -x906 -x654 -x697 x763 x878 -x987 x657 -x577 -x983 x883 x769 -x956 -x990 -x977 -x753 -x742 x721 -x681 -x655
3589.24/3597.05 v -x951 -x912 x745 -x672 x978 x719 -x826 -x616 -x792 -x848 -x575 x939 x758 -x984 -x784 -x718 -x766 -x850 -x761 -x633 -x564 x621
3589.24/3597.05 v -x642 -x775 -x970 -x808 -x980 -x715 -x791 -x768 -x947 -x963 x902 -x831 -x813 -x558 x604 -x594 -x762 -x892 -x790 -x972 -x901
3589.24/3597.05 v -x786 -x550 -x693 -x840 -x779 -x667 -x648 -x686 -x833 x961 x950 x976 -x573 -x798 -x817 -x788 x649 -x634 x609 -x584 x834 x804
3589.24/3597.05 v x959 x909 x749 -x704 -x658 -x581 -x846 -x760 -x827 -x962 -x615 -x885 -x643 x861 -x748 -x995 x579 -x542 -x899 x641 -x536 -x617
3589.24/3597.05 v -x723 -x886 -x973 x793 -x949 -x732 -x687 -x921 -x659 -x651 -x628 -x534 x964 -x881 -x545 -x706 x940 x600 -x820 -x533 -x756
3589.24/3597.05 v x714 -x843 -x711 x660 -x913 -x888 x919 -x680 x994 x889 -x795 -x735 -x582 -x946 -x608 -x877 x985 -x770 -x701 -x630 -x555 -x967
3589.24/3597.05 v -x596 x960 -x948 -x669 -x646 -x603 -x700 -x664 -x661 -x895 x934 x931 x979 -x932 x867 -x547 -x882 -x632 x974 -x572 x551 -x897
3589.24/3597.05 v -x683 -x563 -x925 -x759 -x750 -x717 x703 -x599 -x562 x627 -x821 -x525 x635 -x554 -x537 x606 -x811 x812 -x923 -x569 -x844 -x890
3589.24/3597.05 v -x741 x702 -x666 -x553 -x800 -x829 x623 -x612 -x849 x856 -x698 -x853 -x734 -x526 -x670 x955 -x591 x645 -x522 -x954 x597 x567
3589.24/3597.05 v -x565 -x773 -x1000 x991 x971 -x918 -x521 -x731 -x707 -x870 -x689 -x629 -x539 x640 -x944 -x905 -x644 x929 -x819 -x519 x839
3589.24/3597.05 v x726 -x685 -x580 -x576 x530 -x859 -x622 -x908 -x776 -x518 -x743 -x725 -x605 -x574 -x552 x860 x728 -x992 -x674 -x988 -x915 -x535
3589.24/3597.05 v -x694 -x851 -x842 x729 -x765 -x516 x682 -x638 x989 x880 -x556 -x952 x746 -x619 -x797 -x876 -x810 x767 -x739 x696 x678 -x841
3589.24/3597.05 v -x709 -x830 -x733 x514 x662 -x656 -x872 -x529 -x966 x854 -x969 -x823 -x736 -x557 -x857 -x928 -x772 -x618 x744 -x708 -x639
3589.24/3597.05 v -x613 x520 x941 -x620 x945 x690 x866 x942 -x787 -x511 x965 -x722 -x631 -x781 x653 -x818 -x903 x598 x602 x968 -x510 -x873 -x532
3589.24/3597.05 v -x571 -x796 -x587 -x727 -x513 -x740 -x509 -x982 -x862 -x799 x774 -x747 x684 x601 -x677 -x561 x933 x900 -x755 x652 x904 -x789
3589.24/3597.05 v -x508 x975 -x879 x802 x771 -x524 x679 x777 -x809 -x588 -x751 -x865 -x935 -x868 -x815 x891 -x832 x822 x647 -x614 -x611 -x595
3589.24/3597.05 v -x589 -x546 -x583 -x625 -x858 x814 x847 -x837 -x506 -x780 -x738 -x507 x828 x585 -x926 x806 -x782 -x997 -x671 -x505 x896 -x893
3589.24/3597.05 v -x720 -x549 -x540 -x981 -x592 -x527 -x914 -x871 x816 x825 x699 -x538 -x785 -x504 x937 -x917 x864 -x710 -x676 x675 x578 -x515
3589.24/3597.05 v -x920 x874 -x730 -x543 -x512 -x957 -x894 -x668 -x570 -x503 -x998 -x953 -x898 x835 -x757 -x754 -x626 -x566 -x559 -x523 -x803
3589.24/3597.05 v -x636 -x624 -x531 -x783 -x930 -x568 x502 -x999 -x805 -x869 -x712 -x737 x673 -x541 x927 -x764 x560 x691 x528 -x501 x938 -x852
3589.24/3597.05 v x807 -x724 -x716 -x692 -x607 -x590 x548 -x544 -x517 x863 -x922 -x650 -x993 x836 x794 -x916 -x778 -x887 x884 -x500 -x499 x498
3589.24/3597.05 v x497 -x496 x495 -x494 x493 x492 -x491 x490 -x489 x488 x487 -x486 -x485 x484 x483 -x482 x481 x480 -x479 -x478 -x477 -x476 -x475
3589.24/3597.05 v -x474 x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 x454 -x453
3589.24/3597.05 v -x452 x451 -x450 -x449 x448 x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432
3589.24/3597.05 v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 x418 x417 x416 x415 x414 x413 -x412 -x411 -x410
3589.24/3597.05 v -x409 x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 -x389 -x388
3589.24/3597.05 v -x387 -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 x373 -x372 x371 -x370 -x369 -x368 -x367 -x366
3589.24/3597.05 v x365 -x364 -x363 -x362 -x361 -x360 x359 x358 x357 -x356 -x355 -x354 x353 x352 -x351 -x350 -x349 x348 -x347 x346 -x345 -x344
3589.24/3597.05 v x343 -x342 x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 x329 -x328 x327 x326 -x325 x324 x323 -x322
3589.24/3597.05 v x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 x308 -x307 -x306 -x305 -x304 x303 -x302 x301 x300
3589.24/3597.05 v -x299 x298 x297 x296 -x295 -x294 -x293 x292 x291 x290 -x289 -x288 x287 -x286 x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277
3589.24/3597.05 v x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256
3589.24/3597.05 v x255 x254 -x253 x252 -x251 x250 -x249 x248 x247 -x246 -x245 -x244 -x243 x242 x241 x240 x239 -x238 -x237 x236 x235 x234 x233
3589.24/3597.05 v x232 x231 x230 -x229 -x228 -x227 -x226 x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 x216 -x215 -x214 -x213 -x212 x211
3589.24/3597.05 v x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 x192 -x191 -x190 x189
3589.24/3597.05 v -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
3589.24/3597.05 v x167 x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
3589.24/3597.05 v -x145 -x144 -x143 x142 -x141 -x140 -x139 x138 x137 -x136 -x135 x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 x126 -x125 -x124
3589.24/3597.05 v -x123 -x122 -x121 -x120 -x119 x118 -x117 x116 -x115 x114 x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103
3589.24/3597.05 v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78
3589.24/3597.05 v -x77 x76 x75 x74 -x73 -x72 -x71 -x70 x69 x68 -x67 x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51
3589.24/3597.05 v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25
3589.24/3597.05 v -x24 -x23 -x22 x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3589.24/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3589.24/3597.05 c Total Time : 3597.04
3589.24/3597.05 c solving : 3597.04
3589.24/3597.05 c presolving : 0.09 (included in solving)
3589.24/3597.05 c reading : 0.02 (included in solving)
3589.24/3597.05 c copying : 0.09 (18 #copies) (minimal 0.00, maximal 0.01, average 0.00)
3589.24/3597.05 c Original Problem :
3589.24/3597.05 c Problem name : HOME/instance-4459928-1721939463.opb
3589.24/3597.05 c Variables : 7318 (1000 binary, 0 integer, 6318 implicit integer, 0 continuous)
3589.24/3597.05 c Constraints : 8819 initial, 8819 maximal
3589.24/3597.05 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3589.24/3597.05 c Presolved Problem :
3589.24/3597.05 c Problem name : t_HOME/instance-4459928-1721939463.opb
3589.24/3597.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.24/3597.05 c Constraints : 1501 initial, 1546 maximal
3589.24/3597.05 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3589.24/3597.05 c Nonzeros : 15636 constraint, 1000 clique table
3589.24/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3589.24/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c dualfix : 0.00 0.00 4 6318 0 0 0 0 0 0 0 0
3589.24/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c knapsack : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c setppc : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c linear : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c pseudoboolean : 0.02 0.00 1 0 0 0 0 0 8318 1000 0 0
3589.24/3597.05 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c root node : - - - 0 - - 0 - - - - -
3589.24/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3589.24/3597.05 c benderslp : 0 0 0 0 9863 0 0 1545 0 0 0 0 0 0 0
3589.24/3597.05 c integral : 0 0 0 0 9863 0 0 1545 0 0 65 0 0 2 19606
3589.24/3597.05 c knapsack : 1000 1000 27 171996 0 0 0 1539 14088 23 141348 0 0 0 0
3589.24/3597.05 c setppc : 500 500 27 167026 0 0 0 394 2007 0 11856 0 0 0 0
3589.24/3597.05 c linear : 1 1 27 172016 0 0 0 393 46 62 0 0 0 0 0
3589.24/3597.05 c logicor : 0+ 45 27 4583 0 0 0 0 0 1 2 0 0 0 0
3589.24/3597.05 c benders : 0 0 0 0 0 0 0 394 0 0 0 0 0 0 0
3589.24/3597.05 c fixedvar : 0 0 0 0 0 0 0 394 0 0 0 0 0 0 0
3589.24/3597.05 c countsols : 0 0 0 0 0 0 0 394 0 0 0 0 0 0 0
3589.24/3597.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3589.24/3597.05 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c integral : 531.14 0.00 0.00 0.00 531.14 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c knapsack : 1.33 0.00 0.09 1.09 0.00 0.00 0.00 0.15 0.00 0.01
3589.24/3597.05 c setppc : 0.13 0.00 0.00 0.08 0.00 0.00 0.00 0.04 0.00 0.00
3589.24/3597.05 c linear : 1.01 0.00 0.72 0.28 0.00 0.00 0.00 0.01 0.00 0.00
3589.24/3597.05 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c fixedvar : 0.15 0.00 0.00 0.00 0.00 0.00 0.00 0.15 0.00 0.00
3589.24/3597.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
3589.24/3597.05 c dualfix : 2 0 0 0
3589.24/3597.05 c genvbounds : 0 0 0 0
3589.24/3597.05 c nlobbt : 0 0 0 0
3589.24/3597.05 c obbt : 0 0 0 0
3589.24/3597.05 c probing : 0 0 0 0
3589.24/3597.05 c pseudoobj : 42275 0 0 0
3589.24/3597.05 c redcost : 7628 0 0 122429
3589.24/3597.05 c rootredcost : 3 0 0 0
3589.24/3597.05 c symmetry : 0 0 0 0
3589.24/3597.05 c vbounds : 62537 0 0 0
3589.24/3597.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3589.24/3597.05 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3589.24/3597.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.24/3597.05 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3589.24/3597.05 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3589.24/3597.05 c redcost : 0.34 0.00 0.00 0.34 0.00 0.00
3589.24/3597.05 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3589.24/3597.05 c symmetry : 0.02 0.00 0.00 0.02 0.00 0.00
3589.24/3597.05 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3589.24/3597.05 c Symmetry :
3589.24/3597.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
3589.24/3597.05 c orbital reduction: 0 reductions applied, 0 cutoffs
3589.24/3597.05 c lexicographic red: 0 reductions applied, 0 cutoffs
3589.24/3597.05 c shadow tree time : 0.00 s
3589.24/3597.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3589.24/3597.05 c propagation : 0.07 24 24 - 2555 365.5 0 0.0 - - -
3589.24/3597.05 c infeasible LP : 0.00 2 1 - 56 145.2 0 0.0 0 0.0 0
3589.24/3597.05 c bound exceed. LP : 6.67 3334 40 - 2654 199.1 0 0.0 0 0.0 33220
3589.24/3597.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3589.24/3597.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3589.24/3597.05 c applied globally : 0.00 - - 0 136 117.9 - - 0 - -
3589.24/3597.05 c applied locally : - - - 0 16 210.8 - - 0 - -
3589.24/3597.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3589.24/3597.05 c cut pool : 8.11 - 3057 41 - - 38530 128946 - - - - - (maximal pool size: 11028)
3589.24/3597.05 c aggregation : 399.73 0.00 753 27 0 0 7405 68480 0 25572 25572 0 0
3589.24/3597.05 c > cmir : - - - - - - - 68480 0 25572 25572 0 -
3589.24/3597.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
3589.24/3597.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3589.24/3597.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c clique : 0.11 0.00 27 27 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c gomory : 43.05 0.00 590 10 0 0 31002 57306 0 1979 1979 0 0
3589.24/3597.05 c > gomorymi : - - - - - - - 57167 0 1979 1979 0 -
3589.24/3597.05 c > strongcg : - - - - - - - 139 0 0 0 0 -
3589.24/3597.05 c impliedbounds : 0.03 0.00 753 27 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c multilinear : 0.00 0.00 275 27 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c rlt : 0.00 0.00 143 10 0 0 0 0 0 0 0 0 0
3589.24/3597.05 c zerohalf : 55.71 0.00 600 20 0 0 123 3160 0 2071 2071 0 0
3589.24/3597.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3589.24/3597.05 c hybrid : 1.04 0.00 1600 26 29622 0 99324 2049 0 18126
3589.24/3597.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c Pricers : ExecTime SetupTime Calls Vars
3589.24/3597.05 c problem variables: 0.00 - 0 0
3589.24/3597.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3589.24/3597.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c relpscost : 531.13 0.00 9863 0 0 0 65 0 2 19606
3589.24/3597.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3589.24/3597.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3589.24/3597.05 c LP solutions : 0.00 - - 0 0
3589.24/3597.05 c relax solutions : 0.00 - - 0 0
3589.24/3597.05 c pseudo solutions : 0.00 - - 0 0
3589.24/3597.05 c strong branching : 0.00 - - 0 0
3589.24/3597.05 c actconsdiving : 0.00 0.00 0 0 0
3589.24/3597.05 c adaptivediving : 68.10 0.00 23 1 1
3589.24/3597.05 c alns : 0.07 0.00 7 0 0
3589.24/3597.05 c bound : 0.00 0.00 0 0 0
3589.24/3597.05 c clique : 0.01 0.00 1 0 0
3589.24/3597.05 c coefdiving : 0.00 0.00 0 0 0
3589.24/3597.05 c completesol : 0.00 0.00 0 0 0
3589.24/3597.05 c conflictdiving : 124.09 0.00 73 1 1
3589.24/3597.05 c crossover : 0.07 0.00 3 1 0
3589.24/3597.05 c dins : 0.00 0.00 0 0 0
3589.24/3597.05 c distributiondivin: 68.74 0.00 31 0 0
3589.24/3597.05 c dps : 0.00 0.00 0 0 0
3589.24/3597.05 c dualval : 0.00 0.00 0 0 0
3589.24/3597.05 c farkasdiving : 0.00 0.00 0 0 0
3589.24/3597.05 c feasjump : 0.00 0.00 0 0 0
3589.24/3597.05 c feaspump : 0.00 0.00 0 0 0
3589.24/3597.05 c fixandinfer : 0.00 0.00 0 0 0
3589.24/3597.05 c fracdiving : 48.32 0.00 33 0 0
3589.24/3597.05 c gins : 0.01 0.00 0 0 0
3589.24/3597.05 c guideddiving : 50.10 0.00 32 0 0
3589.24/3597.05 c indcoefdiving : 0.00 0.00 0 0 0
3589.24/3597.05 c indicator : 0.00 0.00 0 0 0
3589.24/3597.05 c indicatordiving : 0.00 0.00 0 0 0
3589.24/3597.05 c indoneopt : 0.00 0.00 0 0 0
3589.24/3597.05 c indrounding : 0.00 0.00 0 0 0
3589.24/3597.05 c indtwoopt : 0.00 0.00 0 0 0
3589.24/3597.05 c intdiving : 0.00 0.00 0 0 0
3589.24/3597.05 c intshifting : 0.00 0.00 0 0 0
3589.24/3597.05 c linesearchdiving : 50.54 0.00 33 0 0
3589.24/3597.05 c localbranching : 0.00 0.00 0 0 0
3589.24/3597.05 c locks : 0.01 0.00 1 0 0
3589.24/3597.05 c lpface : 0.00 0.00 0 0 0
3589.24/3597.05 c mpec : 0.00 0.00 0 0 0
3589.24/3597.05 c multistart : 0.00 0.00 0 0 0
3589.24/3597.05 c mutation : 0.00 0.00 0 0 0
3589.24/3597.05 c nlpdiving : 0.00 0.00 0 0 0
3589.24/3597.05 c objpscostdiving : 239.54 0.00 22 21 0
3589.24/3597.05 c octane : 0.00 0.00 0 0 0
3589.24/3597.05 c ofins : 0.00 0.00 0 0 0
3589.24/3597.05 c oneopt : 0.02 0.00 6 0 0
3589.24/3597.05 c padm : 0.00 0.00 0 0 0
3589.24/3597.05 c proximity : 0.00 0.00 0 0 0
3589.24/3597.05 c pscostdiving : 58.37 0.00 47 1 1
3589.24/3597.05 c randrounding : 0.38 0.00 1164 11 1
3589.24/3597.05 c rens : 0.00 0.00 0 0 0
3589.24/3597.05 c reoptsols : 0.00 0.00 0 0 0
3589.24/3597.05 c repair : 0.00 0.00 0 0 0
3589.24/3597.05 c rins : 25.42 0.00 8 8 0
3589.24/3597.05 c rootsoldiving : 15.16 0.00 10 0 0
3589.24/3597.05 c rounding : 26.70 0.00 5087 1 1
3589.24/3597.05 c scheduler : 0.00 0.00 0 0 0
3589.24/3597.05 c shiftandpropagate: 0.00 0.00 0 0 0
3589.24/3597.05 c shifting : 40.76 0.00 2843 344 0
3589.24/3597.05 c simplerounding : 0.00 0.00 0 0 0
3589.24/3597.05 c smallcard : 0.00 0.00 0 0 0
3589.24/3597.05 c subnlp : 0.01 0.00 0 0 0
3589.24/3597.05 c trivial : 0.00 0.00 2 1 1
3589.24/3597.05 c trivialnegation : 0.00 0.00 0 0 0
3589.24/3597.05 c trustregion : 0.00 0.00 0 0 0
3589.24/3597.05 c trysol : 0.00 0.00 0 0 0
3589.24/3597.05 c twoopt : 0.00 0.00 0 0 0
3589.24/3597.05 c undercover : 0.00 0.00 0 0 0
3589.24/3597.05 c vbounds : 0.03 0.00 1 0 0
3589.24/3597.05 c veclendiving : 41.19 0.00 20 0 0
3589.24/3597.05 c zeroobj : 0.00 0.00 0 0 0
3589.24/3597.05 c zirounding : 0.33 0.00 1000 0 0
3589.24/3597.05 c other solutions : - - - 0 -
3589.24/3597.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3589.24/3597.05 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
3589.24/3597.05 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
3589.24/3597.05 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
3589.24/3597.05 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
3589.24/3597.05 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
3589.24/3597.05 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
3589.24/3597.05 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
3589.24/3597.05 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
3589.24/3597.05 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
3589.24/3597.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3589.24/3597.05 c primal LP : 2.38 1069 2 1.00 0.84 2.15 1067
3589.24/3597.05 c dual LP : 1675.78 22404 1962990 100.18 1171.39 3.53 2810
3589.24/3597.05 c lex dual LP : 0.00 0 0 0.00 -
3589.24/3597.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3589.24/3597.05 c resolve instable : 0.00 0 0 0.00 -
3589.24/3597.05 c diving/probing LP: 716.85 20827 1544035 74.14 2153.91
3589.24/3597.05 c strong branching : 510.80 695 372171 535.50 728.60 - - 478
3589.24/3597.05 c (at root node) : - 36 36000 1000.00 -
3589.24/3597.05 c conflict analysis: 5.65 3370 33220 9.86 5884.23
3589.24/3597.05 c B&B Tree :
3589.24/3597.05 c number of runs : 1
3589.24/3597.05 c nodes : 15713 (9803 internal, 5910 leaves)
3589.24/3597.05 c feasible leaves : 0
3589.24/3597.05 c infeas. leaves : 0
3589.24/3597.05 c objective leaves : 5909
3589.24/3597.05 c nodes (total) : 15713 (9803 internal, 5910 leaves)
3589.24/3597.05 c nodes left : 3895
3589.24/3597.05 c max depth : 132
3589.24/3597.05 c max depth (total): 132
3589.24/3597.05 c backtracks : 2780 (17.7%)
3589.24/3597.05 c early backtracks : 0 (0.0%)
3589.24/3597.05 c nodes exc. ref. : 0 (0.0%)
3589.24/3597.05 c delayed cutoffs : 0
3589.24/3597.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3589.24/3597.05 c avg switch length: 6.32
3589.24/3597.05 c switching time : 3.83
3589.24/3597.05 c Root Node :
3589.24/3597.05 c First LP value : -2.50000000000000e+02
3589.24/3597.05 c First LP Iters : 2860 (6141.44 Iter/sec)
3589.24/3597.05 c First LP Time : 0.47
3589.24/3597.05 c Final Dual Bound : -2.43883693417735e+02
3589.24/3597.05 c Final Root Iters : 27652
3589.24/3597.05 c Root LP Estimate : +1.39229235377323e+02
3589.24/3597.05 c Solution :
3589.24/3597.05 c Solutions found : 390 (6 improvements)
3589.24/3597.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
3589.24/3597.05 c Gap First Sol. : infinite
3589.24/3597.05 c Gap Last Sol. : 74.08 %
3589.24/3597.05 c Primal Bound : -1.40000000000000e+02 (in run 1, after 27 nodes, 456.90 seconds, depth 356, found by <adaptivediving>)
3589.24/3597.05 c Dual Bound : -2.41907708302290e+02
3589.24/3597.05 c Gap : 72.79 %
3589.24/3597.05 c Integrals : Total Avg%
3589.24/3597.05 c primal-dual : 158927.08 44.18
3589.24/3597.05 c primal-ref : - - (not evaluated)
3589.24/3597.05 c dual-ref : - - (not evaluated)
3589.44/3597.22 c Time complete: 3589.47.
OK -140
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 (60955 MiB free)
memory of node 1: 64510 MiB (61977 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459928-1721939463/watcher-4459928-1721939463 -o /tmp/evaluation-result-4459928-1721939463/solver-4459928-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721939462-262557 --watchdog 3760 pbscip -f HOME/instance-4459928-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=262627, runsolver pid=262624
[startup+0.100903 s]*
/proc/loadavg: 0.11 0.09 0.20 4/259 262628
/proc/meminfo: memFree=125843152/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=91460 memory=52100 CPUtime=0.09 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 9691 0 0 0 7 2 0 0 20 0 1 0 30474954 93655040 13025 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 22865 13025 3682 3540 0 11122 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91460 KiB
Current children cumulated memory: 52100 KiB
[startup+0.205863 s]*
/proc/loadavg: 0.11 0.09 0.20 5/259 262628
/proc/meminfo: memFree=125825260/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=100316 memory=59688 CPUtime=0.2 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 11697 0 0 0 18 2 0 0 20 0 1 0 30474954 102723584 14922 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 25079 14922 3906 3540 0 13336 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100316 KiB
Current children cumulated memory: 59688 KiB
[startup+0.305916 s]*
/proc/loadavg: 0.11 0.09 0.20 4/259 262628
/proc/meminfo: memFree=125823524/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=101256 memory=60476 CPUtime=0.29 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 11912 0 0 0 27 2 0 0 20 0 1 0 30474954 103686144 15119 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 25314 15119 3906 3540 0 13571 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101256 KiB
Current children cumulated memory: 60476 KiB
[startup+0.700229 s]
/proc/loadavg: 0.11 0.09 0.20 4/258 262651
/proc/meminfo: memFree=125835332/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=110296 memory=67620 CPUtime=0.68 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 15751 0 0 0 65 3 0 0 20 0 1 0 30474954 112943104 16905 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 27574 16905 3906 3540 0 15831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110296 KiB
Current children cumulated memory: 67620 KiB
[startup+1.50023 s]
/proc/loadavg: 0.11 0.09 0.20 5/264 262666
/proc/meminfo: memFree=125733440/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=152564 memory=109340 CPUtime=1.48 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 26522 0 0 0 143 5 0 0 20 0 1 0 30474954 156225536 27335 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 38141 27335 3906 3540 0 26398 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 152564 KiB
Current children cumulated memory: 109340 KiB
[startup+3.10555 s]
/proc/loadavg: 0.42 0.15 0.22 5/264 262666
/proc/meminfo: memFree=125592128/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=176656 memory=133748 CPUtime=3.08 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 32702 0 0 0 303 5 0 0 20 0 1 0 30474954 180895744 33437 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 44164 33437 3906 3540 0 32421 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 176656 KiB
Current children cumulated memory: 133748 KiB
[startup+6.30017 s]
/proc/loadavg: 0.42 0.15 0.22 5/264 262668
/proc/meminfo: memFree=125463464/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=214804 memory=168780 CPUtime=6.27 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 41630 0 0 0 620 7 0 0 20 0 1 0 30474954 219959296 42195 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 53701 42195 3906 3540 0 41958 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 214804 KiB
Current children cumulated memory: 168780 KiB
[startup+12.7002 s]
/proc/loadavg: 0.97 0.28 0.26 5/264 262668
/proc/meminfo: memFree=125129168/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=249256 memory=203728 CPUtime=12.65 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 49395 0 0 0 1257 8 0 0 20 0 1 0 30474954 255238144 50932 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 62314 50932 3906 3540 0 50571 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 249256 KiB
Current children cumulated memory: 203728 KiB
[startup+25.5002 s]
/proc/loadavg: 1.44 0.40 0.30 5/264 262672
/proc/meminfo: memFree=125012216/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=309832 memory=264504 CPUtime=25.41 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 63554 0 0 0 2531 10 0 0 20 0 1 0 30474954 317267968 66126 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 77458 66126 3906 3540 0 65715 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 309832 KiB
Current children cumulated memory: 264504 KiB
[startup+51.1057 s]
/proc/loadavg: 2.38 0.71 0.40 5/264 262675
/proc/meminfo: memFree=124952524/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=360896 memory=314612 CPUtime=50.95 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 73817 0 0 0 5083 12 0 0 20 0 1 0 30474954 369557504 78653 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 90224 78653 3906 3540 0 78481 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 360896 KiB
Current children cumulated memory: 314612 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.28 0.62 5/264 262684
/proc/meminfo: memFree=124925804/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=372472 memory=328376 CPUtime=102.01 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 76817 0 0 0 10188 13 0 0 20 0 1 0 30474954 381411328 82094 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 93118 82094 3906 3540 0 81375 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 372472 KiB
Current children cumulated memory: 328376 KiB
[startup+162.3 s]
/proc/loadavg: 3.61 1.74 0.82 4/255 262726
/proc/meminfo: memFree=125091492/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=380360 memory=336328 CPUtime=161.84 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 77646 0 0 0 16171 13 0 0 20 0 1 0 30474954 389488640 84082 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 95090 84082 3906 3540 0 83347 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 380360 KiB
Current children cumulated memory: 336328 KiB
[startup+222.3 s]
/proc/loadavg: 3.28 1.99 0.97 4/255 262736
/proc/meminfo: memFree=125082284/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=380360 memory=336328 CPUtime=221.67 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 77661 0 0 0 22154 13 0 0 20 0 1 0 30474954 389488640 84082 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 95090 84082 3906 3540 0 83347 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 380360 KiB
Current children cumulated memory: 336328 KiB
[startup+282.3 s]
/proc/loadavg: 3.15 2.19 1.10 4/251 262747
/proc/meminfo: memFree=125080648/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=380360 memory=336328 CPUtime=281.51 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 77675 0 0 0 28138 13 0 0 20 0 1 0 30474954 389488640 84082 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 95090 84082 3906 3540 0 83347 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 380360 KiB
Current children cumulated memory: 336328 KiB
[startup+342.3 s]
/proc/loadavg: 3.23 2.39 1.24 4/248 262758
/proc/meminfo: memFree=125038016/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=380360 memory=336400 CPUtime=341.35 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 77691 0 0 0 34122 13 0 0 20 0 1 0 30474954 389488640 84100 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 95090 84100 3922 3540 0 83347 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 380360 KiB
Current children cumulated memory: 336400 KiB
[startup+402.3 s]
/proc/loadavg: 3.08 2.50 1.35 4/249 262770
/proc/meminfo: memFree=125037048/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=380360 memory=336400 CPUtime=401.2 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 77704 0 0 0 40107 13 0 0 20 0 1 0 30474954 389488640 84100 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 95090 84100 3922 3540 0 83347 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 380360 KiB
Current children cumulated memory: 336400 KiB
[startup+462.3 s]
/proc/loadavg: 3.07 2.61 1.46 4/249 262780
/proc/meminfo: memFree=125009024/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=407564 memory=363468 CPUtime=461.04 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 84535 0 0 0 46090 14 0 0 20 0 1 0 30474954 417345536 90867 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 101891 90867 3922 3540 0 90148 0
################
# More data... #
################
/proc/loadavg: 3.16 3.16 3.06 4/251 263856
/proc/meminfo: memFree=124366536/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517372 CPUtime=3155.38 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 172569 0 0 0 315507 31 0 0 20 0 1 0 30474954 569540608 129343 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129343 4017 3540 0 127305 0
Current children cumulated CPU time: 3155.38 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517372 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.14 3.06 4/251 263867
/proc/meminfo: memFree=124365756/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517372 CPUtime=3215.26 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 172799 0 0 0 321495 31 0 0 20 0 1 0 30474954 569540608 129343 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129343 4017 3540 0 127305 0
Current children cumulated CPU time: 3215.26 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517372 KiB
[startup+3282.3 s]
/proc/loadavg: 3.22 3.16 3.07 4/250 264264
/proc/meminfo: memFree=124465024/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517372 CPUtime=3275.15 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 173011 0 0 0 327484 31 0 0 20 0 1 0 30474954 569540608 129343 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129343 4017 3540 0 127305 0
Current children cumulated CPU time: 3275.15 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517372 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.14 3.07 4/250 264274
/proc/meminfo: memFree=124464416/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517372 CPUtime=3335.03 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 173239 0 0 0 333472 31 0 0 20 0 1 0 30474954 569540608 129343 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129343 4017 3540 0 127305 0
Current children cumulated CPU time: 3335.03 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517372 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.15 3.07 4/250 264285
/proc/meminfo: memFree=124463632/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517372 CPUtime=3394.92 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 173470 0 0 0 339461 31 0 0 20 0 1 0 30474954 569540608 129343 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129343 4017 3540 0 127305 0
Current children cumulated CPU time: 3394.92 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517372 KiB
[startup+3462.3 s]
/proc/loadavg: 3.06 3.12 3.07 4/252 264465
/proc/meminfo: memFree=124462608/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517372 CPUtime=3454.8 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 173703 0 0 0 345449 31 0 0 20 0 1 0 30474954 569540608 129343 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129343 4017 3540 0 127305 0
Current children cumulated CPU time: 3454.8 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517372 KiB
[startup+3522.3 s]
/proc/loadavg: 3.06 3.11 3.07 4/252 264475
/proc/meminfo: memFree=124461660/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517372 CPUtime=3514.68 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 173932 0 0 0 351437 31 0 0 20 0 1 0 30474954 569540608 129343 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129343 4017 3540 0 127305 0
Current children cumulated CPU time: 3514.68 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517372 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.12 3.07 4/254 264547
/proc/meminfo: memFree=124460824/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517376 CPUtime=3574.57 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 174157 0 0 0 357426 31 0 0 20 0 1 0 30474954 569540608 129344 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129344 4017 3540 0 127305 0
Current children cumulated CPU time: 3574.57 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517376 KiB
[startup+3597.22 s]
# the end of solver process 262627 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.15 s, system=0.323027 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.11 3.12 3.07 4/254 264548
/proc/meminfo: memFree=124460852/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517376 CPUtime=3576.27 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 174161 0 0 0 357596 31 0 0 20 0 1 0 30474954 569540608 129344 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129344 4017 3540 0 127305 0
Current children cumulated CPU time: 3576.27 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517376 KiB
[startup+3590.4 s]
/proc/loadavg: 3.10 3.11 3.07 4/254 264548
/proc/meminfo: memFree=124460836/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517376 CPUtime=3582.65 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 174165 0 0 0 358234 31 0 0 20 0 1 0 30474954 569540608 129344 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129344 4017 3540 0 127305 0
Current children cumulated CPU time: 3582.65 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517376 KiB
[startup+3593.6 s]
/proc/loadavg: 3.09 3.11 3.07 4/254 264548
/proc/meminfo: memFree=124460836/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517376 CPUtime=3585.85 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 174165 0 0 0 358554 31 0 0 20 0 1 0 30474954 569540608 129344 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129344 4017 3540 0 127305 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517376 KiB
[startup+3595.2 s]
/proc/loadavg: 3.09 3.11 3.07 4/254 264550
/proc/meminfo: memFree=124460760/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517376 CPUtime=3587.44 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 174166 0 0 0 358713 31 0 0 20 0 1 0 30474954 569540608 129344 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129344 4017 3540 0 127305 0
Current children cumulated CPU time: 3587.44 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517376 KiB
[startup+3596 s]*
/proc/loadavg: 3.09 3.11 3.07 4/254 264550
/proc/meminfo: memFree=124460804/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517376 CPUtime=3588.25 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 174166 0 0 0 358794 31 0 0 20 0 1 0 30474954 569540608 129344 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129344 4017 3540 0 127305 0
Current children cumulated CPU time: 3588.25 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517376 KiB
[startup+3596.8 s]
/proc/loadavg: 3.09 3.11 3.07 4/254 264550
/proc/meminfo: memFree=124460804/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517376 CPUtime=3589.04 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 174166 0 0 0 358873 31 0 0 20 0 1 0 30474954 569540608 129344 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129344 4017 3540 0 127305 0
Current children cumulated CPU time: 3589.04 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517376 KiB
[startup+3597.2 s]
/proc/loadavg: 3.09 3.11 3.07 4/254 264550
/proc/meminfo: memFree=124460804/131524600 swapFree=131059368/131071996
[pid=262627] ppid=262624 vsize=556192 memory=517376 CPUtime=3589.44 cores=5,7
/proc/262627/stat : 262627 (pbscip) R 262624 262627 262544 0 -1 4194304 174170 0 0 0 358913 31 0 0 20 0 1 0 30474954 569540608 129344 134679101440 4194304 18693293 140725839863296 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 49049600 140725839864835 140725839864934 140725839864934 140725839871950 0
/proc/262627/statm: 139048 129344 4017 3540 0 127305 0
Current children cumulated CPU time: 3589.44 s
Current children cumulated vsize: 556192 KiB
Current children cumulated memory: 517376 KiB
Child status: 0
Real time (s): 3597.22
CPU time (s): 3589.47
CPU user time (s): 3589.15
CPU system time (s): 0.323027
CPU usage (%): 99.7846
Max. virtual memory (cumulated for all children) (KiB): 556192
Max. memory (cumulated for all children) (KiB): 517376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.15
system time used= 0.323027
maximum resident set size= 517376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174184
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= 27
involuntary context switches= 1706
# summary of solver processes directly reported to runsolver:
# pid: 262627
# total CPU time (s): 3589.47
# total CPU user time (s): 3589.15
# total CPU system time (s): 0.323027
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65907 second user time and 15.6084 second system time
The end
Begin job on nodeC021 at 2024-07-25 22:31:03 IDJOB=4459928 IDBENCH=148665 IDSOLVER=3059 FILE ID=nodeC021/4459928-1721939463 RUNJOBID= nodeC021-1721939462-262557 SLURM_JOB_ID= 8247242 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_10_1.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-4459928-1721939463/watcher-4459928-1721939463 -o /tmp/evaluation-result-4459928-1721939463/solver-4459928-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721939462-262557 --watchdog 3760 pbscip -f HOME/instance-4459928-1721939463.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d4235fe4c365567a817121803ba4630e RANDOM SEED=1195961217 nodeC021.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 : 3600.598 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 : 7000.35 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 : 3141.881 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.41 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 : 3665.570 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 : 7000.35 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 : 3463.349 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.41 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 : 3652.411 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 : 7000.35 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 : 3558.004 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.41 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 : 3665.237 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 : 7000.35 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 : 3579.720 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.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125895028 kB MemAvailable: 129454056 kB Buffers: 337124 kB Cached: 4028568 kB SwapCached: 448 kB Active: 2726028 kB Inactive: 2257788 kB Active(anon): 1684 kB Inactive(anon): 669588 kB Active(file): 2724344 kB Inactive(file): 1588200 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131059368 kB Dirty: 75936 kB Writeback: 0 kB AnonPages: 617152 kB Mapped: 127384 kB Shmem: 53464 kB KReclaimable: 172260 kB Slab: 291864 kB SReclaimable: 172260 kB SUnreclaim: 119604 kB KernelStack: 4144 kB PageTables: 10264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 889756 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16704 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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: 324308 kB DirectMap2M: 40343552 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890028 MiB End job on nodeC021 at 2024-07-25 23:31:00