Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 19 | 1802.13 | 1802.66 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 1792.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-2665653-1276615187.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.04 c 8 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 43 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 1044
0.09/0.18 c y 0.1s| 1 | 0 | 43 | - | 702k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 50 | - | 845k| 0 | 13 | 198 | 71 | 198 | 17 | 9 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 64 | - | 914k| 0 | 17 | 198 | 71 | 198 | 22 | 14 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 82 | - | 979k| 0 | 18 | 198 | 71 | 198 | 25 | 17 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 93 | - |1016k| 0 | 20 | 198 | 71 | 198 | 27 | 19 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 99 | - |1043k| 0 | 21 | 198 | 71 | 198 | 28 | 20 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 117 | - |1057k| 0 | 19 | 198 | 71 | 198 | 29 | 21 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.39/0.40 c 0.3s| 1 | 2 | 117 | - |1058k| 0 | 19 | 198 | 71 | 198 | 29 | 21 | 0 | 13 | 0.000000e+00 | 1.044000e+03 | Inf
1.10/1.14 o 670
1.10/1.14 c p 1.0s| 232 | 232 | 1884 | 7.6 |1275k| 67 | - | 198 | 71 | 198 | 19 | 21 | 11 | 580 | 0.000000e+00 | 6.700000e+02 | Inf
1.39/1.46 o 381
1.39/1.46 c p 1.3s| 486 | 480 | 3306 | 6.6 |1383k| 67 | - | 198 | 71 | 198 | 19 | 21 | 14 | 632 | 0.000000e+00 | 3.810000e+02 | Inf
1.99/2.03 o 208
1.99/2.03 c f 1.8s| 932 | 893 | 5827 | 6.1 |1566k| 67 | - | 198 | 71 | 198 | 19 | 21 | 23 | 719 | 0.000000e+00 | 2.080000e+02 | Inf
2.19/2.29 o 207
2.19/2.29 c v 2.0s| 1132 | 1093 | 7180 | 6.2 |1656k| 67 | - | 198 | 71 | 198 | 19 | 21 | 32 | 750 | 0.000000e+00 | 2.070000e+02 | Inf
4.79/4.80 o 206
4.79/4.80 c c 4.2s| 2305 | 2266 | 14864 | 6.4 |2201k| 67 | - | 198 | 71 | 198 | 19 | 21 | 62 | 836 | 0.000000e+00 | 2.060000e+02 | Inf
5.40/5.46 o 145
5.40/5.46 c f 4.8s| 2838 | 2742 | 18123 | 6.3 |2421k| 67 | - | 198 | 71 | 198 | 19 | 21 | 74 | 860 | 0.000000e+00 | 1.450000e+02 | Inf
7.09/7.13 o 106
7.09/7.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.09/7.13 c g 6.3s| 4165 | 3967 | 26627 | 6.4 |3041k| 67 | - | 198 | 71 | 198 | 19 | 21 | 131 | 893 | 0.000000e+00 | 1.060000e+02 | Inf
15.18/15.27 c 13.6s| 10000 | 9674 | 67540 | 6.7 |5675k| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 370 |1043 | 0.000000e+00 | 1.060000e+02 | Inf
25.89/25.92 o 56
25.89/25.92 c g23.1s| 19199 | 17265 |121034 | 6.3 |8832k| 67 | - | 198 | 9 | 198 | 19 | 21 | 637 |1456 | 0.000000e+00 | 5.600000e+01 | Inf
27.19/27.22 c 24.3s| 20000 | 17923 |127221 | 6.4 |9151k| 67 | 8 | 198 | 8 | 198 | 19 | 21 | 669 |1520 | 0.000000e+00 | 5.600000e+01 | Inf
38.08/38.18 c 34.0s| 30000 | 25886 |183346 | 6.1 | 13M| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 993 |2139 | 0.000000e+00 | 5.600000e+01 | Inf
48.98/49.06 c 43.8s| 40000 | 33380 |242875 | 6.1 | 17M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |1397 |2662 | 0.000000e+00 | 5.600000e+01 | Inf
56.98/57.01 o 54
56.98/57.01 c *50.9s| 47399 | 38734 |287889 | 6.1 | 20M| 67 | - | 198 | 12 | 198 | 19 | 21 |1694 |2990 | 0.000000e+00 | 5.400000e+01 | Inf
59.87/59.90 c 53.5s| 50000 | 40588 |304401 | 6.1 | 21M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |1813 |3108 | 0.000000e+00 | 5.400000e+01 | Inf
70.47/70.52 c 63.0s| 60000 | 47916 |365349 | 6.1 | 26M| 67 | - | 198 | 12 | 198 | 19 | 21 |2234 |3445 | 0.000000e+00 | 5.400000e+01 | Inf
81.17/81.28 c 72.5s| 70000 | 54982 |428433 | 6.1 | 30M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |2724 |3792 | 0.000000e+00 | 5.400000e+01 | Inf
85.68/85.70 o 53
85.68/85.70 c *76.5s| 74190 | 58001 |453731 | 6.1 | 31M| 67 | - | 198 | 11 | 198 | 19 | 21 |2883 |3914 | 0.000000e+00 | 5.300000e+01 | Inf
91.87/91.97 c 82.1s| 80000 | 61945 |490011 | 6.1 | 34M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |3160 |4087 | 0.000000e+00 | 5.300000e+01 | Inf
102.46/102.52 c 91.5s| 90000 | 68980 |551623 | 6.1 | 38M| 67 | 8 | 198 | 9 | 198 | 19 | 21 |3571 |4343 | 0.000000e+00 | 5.300000e+01 | Inf
112.95/113.06 c 101s|100000 | 76170 |613063 | 6.1 | 42M| 67 | 8 | 198 | 11 | 198 | 19 | 21 |4002 |4597 | 0.000000e+00 | 5.300000e+01 | Inf
114.26/114.32 o 52
114.26/114.32 c * 102s|101114 | 76730 |620616 | 6.1 | 42M| 67 | - | 198 | 11 | 198 | 19 | 21 |4055 |4630 | 0.000000e+00 | 5.200000e+01 | Inf
114.26/114.33 o 50
114.26/114.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.26/114.33 c * 102s|101115 | 76377 |620616 | 6.1 | 42M| 67 | - | 198 | 11 | 198 | 19 | 21 |4055 |4630 | 0.000000e+00 | 5.000000e+01 | Inf
115.95/116.03 o 49
115.95/116.03 c p 104s|102636 | 77218 |630352 | 6.1 | 42M| 67 | - | 198 | 10 | 198 | 19 | 21 |4131 |4687 | 0.000000e+00 | 4.900000e+01 | Inf
123.55/123.70 o 48
123.55/123.70 c * 110s|109164 | 80839 |674592 | 6.2 | 44M| 67 | - | 198 | 10 | 198 | 19 | 21 |4502 |4847 | 0.000000e+00 | 4.800000e+01 | Inf
123.66/123.70 o 46
123.66/123.70 c * 110s|109166 | 80350 |674592 | 6.2 | 43M| 67 | - | 198 | 10 | 198 | 19 | 21 |4502 |4850 | 0.000000e+00 | 4.600000e+01 | Inf
124.56/124.60 c 111s|110000 | 80922 |679553 | 6.2 | 44M| 67 | 8 | 198 | 10 | 198 | 19 | 21 |4534 |4867 | 0.000000e+00 | 4.600000e+01 | Inf
134.45/134.55 o 44
134.45/134.55 c * 120s|119200 | 86151 |738776 | 6.2 | 47M| 67 | - | 198 | 12 | 198 | 19 | 21 |4938 |5079 | 0.000000e+00 | 4.400000e+01 | Inf
135.45/135.50 c 121s|120000 | 86686 |744119 | 6.2 | 47M| 67 | 8 | 198 | 12 | 198 | 19 | 21 |4971 |5090 | 0.000000e+00 | 4.400000e+01 | Inf
140.94/141.04 o 42
140.94/141.04 c * 126s|125109 | 89114 |776562 | 6.2 | 48M| 67 | - | 198 | 13 | 198 | 19 | 21 |5204 |5218 | 0.000000e+00 | 4.200000e+01 | Inf
140.94/141.04 o 40
140.94/141.04 c * 126s|125110 | 88316 |776562 | 6.2 | 47M| 67 | - | 198 | 13 | 198 | 19 | 21 |5204 |5218 | 0.000000e+00 | 4.000000e+01 | Inf
146.26/146.34 c 131s|130000 | 91241 |807172 | 6.2 | 49M| 67 | 8 | 198 | 13 | 198 | 19 | 21 |5420 |5346 | 0.000000e+00 | 4.000000e+01 | Inf
155.14/155.21 o 39
155.14/155.21 c * 139s|138299 | 95757 |859188 | 6.2 | 52M| 67 | - | 198 | 11 | 198 | 19 | 21 |5785 |5534 | 0.000000e+00 | 3.900000e+01 | Inf
157.05/157.14 c 140s|140000 | 96739 |870593 | 6.2 | 52M| 67 | 8 | 198 | 10 | 198 | 19 | 21 |5850 |5569 | 0.000000e+00 | 3.900000e+01 | Inf
167.35/167.48 c 150s|150000 |102263 |934684 | 6.2 | 56M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |6318 |5781 | 0.000000e+00 | 3.900000e+01 | Inf
178.44/178.57 c 160s|160000 |108159 | 1000k| 6.3 | 60M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |6809 |6011 | 0.000000e+00 | 3.900000e+01 | Inf
189.14/189.23 c 169s|170000 |113917 | 1064k| 6.3 | 64M| 67 | - | 198 | 8 | 0 | 0 | 21 |7303 |6210 | 0.000000e+00 | 3.900000e+01 | Inf
199.73/199.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.73/199.81 c 179s|180000 |119888 | 1127k| 6.3 | 67M| 67 | 8 | 198 | 9 | 198 | 19 | 21 |7759 |6414 | 0.000000e+00 | 3.900000e+01 | Inf
201.43/201.55 o 38
201.43/201.55 c * 180s|181718 |120429 | 1137k| 6.3 | 67M| 67 | - | 198 | 9 | 198 | 19 | 21 |7813 |6453 | 0.000000e+00 | 3.800000e+01 | Inf
201.43/201.56 o 36
201.43/201.56 c * 180s|181719 |119222 | 1137k| 6.3 | 66M| 67 | - | 198 | 9 | 198 | 19 | 21 |7813 |6453 | 0.000000e+00 | 3.600000e+01 | Inf
210.23/210.32 c 188s|190000 |123740 | 1190k| 6.3 | 69M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |8182 |6641 | 0.000000e+00 | 3.600000e+01 | Inf
221.04/221.14 c 198s|200000 |129398 | 1254k| 6.3 | 73M| 67 | - | 198 | 8 | 0 | 0 | 21 |8592 |6830 | 0.000000e+00 | 3.600000e+01 | Inf
231.23/231.36 c 207s|210000 |134685 | 1315k| 6.3 | 76M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |9021 |7052 | 0.000000e+00 | 3.600000e+01 | Inf
241.62/241.78 c 216s|220000 |140045 | 1378k| 6.3 | 80M| 67 | 8 | 198 | 8 | 198 | 19 | 21 |9485 |7225 | 0.000000e+00 | 3.600000e+01 | Inf
252.02/252.10 c 225s|230000 |145139 | 1441k| 6.3 | 83M| 67 | 8 | 198 | 9 | 198 | 19 | 21 |9908 |7424 | 0.000000e+00 | 3.600000e+01 | Inf
259.92/260.03 o 35
259.92/260.03 c * 232s|237741 |148301 | 1490k| 6.3 | 85M| 67 | - | 198 | 12 | 198 | 19 | 21 | 10k|7583 | 0.000000e+00 | 3.500000e+01 | Inf
262.22/262.34 c 235s|240000 |149375 | 1505k| 6.3 | 86M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 10k|7630 | 0.000000e+00 | 3.500000e+01 | Inf
262.72/262.85 o 34
262.72/262.85 c * 235s|240522 |148897 | 1508k| 6.3 | 85M| 67 | - | 198 | 10 | 198 | 19 | 21 | 10k|7652 | 0.000000e+00 | 3.400000e+01 | Inf
262.72/262.87 o 32
262.72/262.87 c * 235s|240523 |144821 | 1508k| 6.3 | 82M| 67 | - | 198 | 10 | 198 | 19 | 21 | 10k|7652 | 0.000000e+00 | 3.200000e+01 | Inf
272.11/272.24 c 243s|250000 |149097 | 1570k| 6.3 | 85M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 10k|7856 | 0.000000e+00 | 3.200000e+01 | Inf
282.11/282.28 c 252s|260000 |153823 | 1636k| 6.3 | 87M| 67 | 8 | 198 | 17 | 198 | 19 | 21 | 11k|8067 | 0.000000e+00 | 3.200000e+01 | Inf
292.20/292.39 c 261s|270000 |158672 | 1705k| 6.3 | 91M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 11k|8269 | 0.000000e+00 | 3.200000e+01 | Inf
302.01/302.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.01/302.19 c 270s|280000 |163224 | 1775k| 6.3 | 93M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 12k|8462 | 0.000000e+00 | 3.200000e+01 | Inf
312.10/312.28 c 279s|290000 |167986 | 1844k| 6.4 | 96M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 12k|8647 | 0.000000e+00 | 3.200000e+01 | Inf
325.50/325.64 c 291s|300000 |172535 | 1913k| 6.4 | 99M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 13k|8823 | 0.000000e+00 | 3.200000e+01 | Inf
335.79/335.99 c 300s|310000 |177332 | 1981k| 6.4 | 102M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 13k|9054 | 0.000000e+00 | 3.200000e+01 | Inf
345.99/346.11 c 309s|320000 |182248 | 2049k| 6.4 | 105M| 67 | - | 198 | 12 | 198 | 19 | 21 | 13k|9273 | 0.000000e+00 | 3.200000e+01 | Inf
350.79/350.95 o 31
350.79/350.95 c * 313s|324975 |183744 | 2081k| 6.4 | 106M| 67 | - | 198 | 13 | 198 | 19 | 21 | 14k|9366 | 0.000000e+00 | 3.100000e+01 | Inf
358.78/358.98 c 320s|330000 |185994 | 2114k| 6.4 | 107M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 14k|9464 | 0.000000e+00 | 3.100000e+01 | Inf
368.39/368.53 c 329s|340000 |190364 | 2178k| 6.4 | 110M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 14k|9625 | 0.000000e+00 | 3.100000e+01 | Inf
378.08/378.24 c 338s|350000 |194849 | 2244k| 6.4 | 113M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 15k|9774 | 0.000000e+00 | 3.100000e+01 | Inf
387.47/387.70 c 346s|360000 |199095 | 2308k| 6.4 | 115M| 67 | - | 198 | 9 | 198 | 19 | 21 | 15k|9914 | 0.000000e+00 | 3.100000e+01 | Inf
397.07/397.23 c 355s|370000 |203293 | 2373k| 6.4 | 118M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 16k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
406.88/407.00 c 363s|380000 |207873 | 2438k| 6.4 | 121M| 67 | - | 198 | 12 | 198 | 19 | 21 | 16k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
416.77/416.99 c 372s|390000 |212620 | 2503k| 6.4 | 124M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 16k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
427.06/427.23 c 381s|400000 |217807 | 2569k| 6.4 | 127M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 17k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
436.66/436.84 c 390s|410000 |222267 | 2633k| 6.4 | 130M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 17k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
446.75/446.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.75/446.95 c 399s|420000 |227329 | 2699k| 6.4 | 133M| 67 | - | 198 | 9 | 198 | 19 | 21 | 18k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
456.36/456.51 c 408s|430000 |231741 | 2763k| 6.4 | 136M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 18k| 10k| 0.000000e+00 | 3.100000e+01 | Inf
466.95/467.13 c 417s|440000 |237082 | 2831k| 6.4 | 139M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 19k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
477.05/477.23 c 426s|450000 |242021 | 2899k| 6.4 | 142M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 19k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
486.75/486.93 c 435s|460000 |246257 | 2965k| 6.4 | 145M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 19k| 11k| 0.000000e+00 | 3.100000e+01 | Inf
493.24/493.45 o 29
493.24/493.45 c * 441s|466442 |247435 | 3009k| 6.5 | 144M| 67 | - | 198 | 13 | 198 | 19 | 21 | 20k| 11k| 0.000000e+00 | 2.900000e+01 | Inf
496.44/496.66 c 444s|470000 |248569 | 3032k| 6.5 | 145M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 20k| 11k| 0.000000e+00 | 2.900000e+01 | Inf
505.75/505.98 c 452s|480000 |252455 | 3097k| 6.5 | 147M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 20k| 11k| 0.000000e+00 | 2.900000e+01 | Inf
515.14/515.34 c 460s|490000 |256464 | 3163k| 6.5 | 150M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 21k| 11k| 0.000000e+00 | 2.900000e+01 | Inf
515.54/515.70 o 28
515.54/515.70 c * 461s|490374 |255314 | 3165k| 6.5 | 148M| 67 | - | 198 | 13 | 198 | 19 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
524.54/524.72 c 469s|500000 |258802 | 3228k| 6.5 | 151M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
533.64/533.84 c 477s|510000 |262292 | 3292k| 6.5 | 153M| 67 | - | 198 | 10 | 198 | 19 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
542.83/543.02 c 485s|520000 |265874 | 3355k| 6.5 | 156M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
552.13/552.34 c 493s|530000 |269688 | 3418k| 6.4 | 158M| 67 | 8 | 198 | 18 | 198 | 19 | 21 | 22k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
561.43/561.64 c 502s|540000 |273537 | 3480k| 6.4 | 161M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
570.63/570.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.63/570.86 c 510s|550000 |277336 | 3542k| 6.4 | 164M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
578.82/579.08 o 26
578.82/579.08 c * 517s|558990 |277654 | 3598k| 6.4 | 162M| 67 | - | 198 | 11 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.600000e+01 | Inf
578.92/579.11 o 24
578.92/579.11 c * 517s|558995 |274161 | 3598k| 6.4 | 157M| 67 | - | 198 | 11 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
579.82/580.06 c 518s|560000 |274544 | 3605k| 6.4 | 158M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 23k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
591.32/591.58 c 528s|570000 |277766 | 3667k| 6.4 | 160M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 24k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
603.72/603.97 c 539s|580000 |281539 | 3729k| 6.4 | 162M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 24k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
612.61/612.82 c 547s|590000 |284578 | 3791k| 6.4 | 165M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 25k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
621.41/621.66 c 555s|600000 |287557 | 3854k| 6.4 | 167M| 67 | - | 198 | 15 | 0 | 0 | 21 | 25k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
630.02/630.27 c 563s|610000 |290621 | 3915k| 6.4 | 170M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 25k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
638.71/638.91 c 570s|620000 |294186 | 3973k| 6.4 | 172M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 26k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
647.20/647.42 c 578s|630000 |297122 | 4032k| 6.4 | 174M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 26k| 12k| 0.000000e+00 | 2.400000e+01 | Inf
655.80/656.05 c 586s|640000 |300038 | 4093k| 6.4 | 176M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 27k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
664.29/664.50 c 593s|650000 |302822 | 4152k| 6.4 | 179M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 27k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
672.90/673.18 c 601s|660000 |305967 | 4212k| 6.4 | 181M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 27k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
681.70/682.00 c 609s|670000 |309238 | 4272k| 6.4 | 183M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
690.78/691.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.78/691.01 c 617s|680000 |312838 | 4333k| 6.4 | 186M| 67 | - | 198 | 11 | 198 | 19 | 21 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
699.98/700.21 c 625s|690000 |316756 | 4395k| 6.4 | 188M| 67 | - | 198 | 12 | 198 | 19 | 21 | 29k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
708.48/708.78 c 633s|700000 |319928 | 4453k| 6.4 | 191M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 29k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
717.08/717.36 c 640s|710000 |323046 | 4512k| 6.4 | 193M| 67 | - | 198 | 13 | 198 | 19 | 21 | 30k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
725.79/726.01 c 648s|720000 |325775 | 4571k| 6.3 | 195M| 67 | - | 198 | 13 | 198 | 19 | 21 | 30k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
734.28/734.56 c 656s|730000 |328490 | 4630k| 6.3 | 197M| 67 | - | 198 | 13 | 198 | 19 | 21 | 31k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
743.07/743.32 c 664s|740000 |331511 | 4690k| 6.3 | 200M| 67 | - | 198 | 16 | 198 | 19 | 21 | 31k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
751.56/751.85 c 671s|750000 |334135 | 4755k| 6.3 | 202M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 31k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
760.06/760.35 c 679s|760000 |336628 | 4815k| 6.3 | 204M| 67 | - | 198 | 16 | 198 | 19 | 21 | 32k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
768.36/768.67 c 686s|770000 |338877 | 4875k| 6.3 | 206M| 67 | - | 198 | 12 | 198 | 19 | 21 | 32k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
776.86/777.13 c 694s|780000 |341047 | 4935k| 6.3 | 208M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 33k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
786.05/786.35 c 702s|790000 |344669 | 4997k| 6.3 | 210M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 33k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
794.96/795.27 c 710s|800000 |348153 | 5059k| 6.3 | 213M| 67 | - | 198 | 13 | 198 | 19 | 21 | 34k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
804.25/804.52 c 718s|810000 |352430 | 5120k| 6.3 | 215M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 34k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
812.85/813.18 c 726s|820000 |355641 | 5179k| 6.3 | 218M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 34k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
822.15/822.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.15/822.46 c 734s|830000 |359407 | 5243k| 6.3 | 220M| 67 | - | 198 | 13 | 198 | 19 | 21 | 35k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
830.75/831.04 c 742s|840000 |362501 | 5302k| 6.3 | 222M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 35k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
839.45/839.72 c 750s|850000 |365344 | 5363k| 6.3 | 224M| 67 | - | 198 | 14 | 0 | 0 | 21 | 36k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
848.04/848.40 c 758s|860000 |368178 | 5431k| 6.3 | 227M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 36k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
856.74/857.09 c 765s|870000 |370698 | 5498k| 6.3 | 229M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 37k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
865.64/865.94 c 773s|880000 |373426 | 5568k| 6.3 | 231M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 37k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
874.33/874.62 c 781s|890000 |375838 | 5637k| 6.3 | 233M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 38k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
882.94/883.23 c 789s|900000 |378173 | 5704k| 6.3 | 235M| 67 | - | 198 | 12 | 198 | 19 | 21 | 38k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
891.53/891.87 c 796s|910000 |380557 | 5768k| 6.3 | 236M| 67 | - | 198 | 14 | 198 | 19 | 21 | 38k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
900.13/900.50 c 804s|920000 |382917 | 5835k| 6.3 | 238M| 67 | - | 198 | 10 | 198 | 19 | 21 | 39k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
908.93/909.22 c 812s|930000 |385381 | 5904k| 6.3 | 240M| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 39k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
917.52/917.86 c 820s|940000 |387841 | 5972k| 6.4 | 242M| 67 | - | 198 | 10 | 198 | 19 | 21 | 40k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
926.71/927.04 c 828s|950000 |391249 | 6043k| 6.4 | 245M| 67 | - | 198 | 11 | 198 | 19 | 21 | 40k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
935.91/936.22 c 836s|960000 |394985 | 6110k| 6.4 | 247M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 41k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
944.91/945.28 c 844s|970000 |398182 | 6173k| 6.4 | 249M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 41k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
954.01/954.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.01/954.39 c 852s|980000 |401660 | 6237k| 6.4 | 252M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 41k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
963.21/963.52 c 861s|990000 |405144 | 6298k| 6.4 | 254M| 67 | - | 198 | 15 | 198 | 19 | 21 | 42k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
971.90/972.27 c 868s| 1000k|408061 | 6359k| 6.4 | 256M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 42k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
980.50/980.86 c 876s| 1010k|411005 | 6420k| 6.4 | 259M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 43k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
989.10/989.40 c 884s| 1020k|413637 | 6481k| 6.4 | 261M| 67 | - | 198 | 15 | 198 | 19 | 21 | 43k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
997.60/997.99 c 891s| 1030k|416319 | 6542k| 6.4 | 263M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 44k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1006.30/1006.63 c 899s| 1040k|419057 | 6603k| 6.3 | 265M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 44k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1015.09/1015.45 c 907s| 1050k|422129 | 6666k| 6.3 | 267M| 67 | - | 198 | 12 | 198 | 19 | 21 | 44k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1023.99/1024.37 c 915s| 1060k|425263 | 6730k| 6.3 | 270M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 45k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1033.08/1033.48 c 923s| 1070k|428675 | 6793k| 6.3 | 272M| 67 | - | 198 | 11 | 0 | 0 | 21 | 45k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1042.39/1042.75 c 932s| 1080k|432381 | 6857k| 6.3 | 274M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 46k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1051.18/1051.54 c 939s| 1090k|435579 | 6918k| 6.3 | 277M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 46k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1059.98/1060.40 c 947s| 1100k|438948 | 6978k| 6.3 | 279M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 46k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1069.17/1069.56 c 956s| 1110k|442450 | 7040k| 6.3 | 282M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 47k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1078.07/1078.46 c 964s| 1120k|445838 | 7103k| 6.3 | 284M| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 47k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1087.37/1087.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.37/1087.75 c 972s| 1130k|449431 | 7165k| 6.3 | 286M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 48k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1096.76/1097.14 c 980s| 1140k|453092 | 7231k| 6.3 | 289M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 48k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
1106.07/1106.46 c 989s| 1150k|456686 | 7296k| 6.3 | 292M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 48k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1114.86/1115.24 c 997s| 1160k|459388 | 7359k| 6.3 | 294M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 49k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1123.56/1123.97 c 1004s| 1170k|462383 | 7420k| 6.3 | 296M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 49k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1133.35/1133.71 c 1013s| 1180k|466261 | 7486k| 6.3 | 299M| 67 | - | 198 | 12 | 198 | 19 | 21 | 50k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1142.36/1142.77 c 1021s| 1190k|470190 | 7546k| 6.3 | 301M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 50k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1151.45/1151.87 c 1029s| 1200k|473919 | 7608k| 6.3 | 304M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 50k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1160.24/1160.63 c 1037s| 1210k|477323 | 7668k| 6.3 | 306M| 67 | - | 198 | 12 | 198 | 19 | 21 | 51k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1169.65/1170.02 c 1046s| 1220k|481317 | 7731k| 6.3 | 308M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 51k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1179.04/1179.43 c 1054s| 1230k|485189 | 7796k| 6.3 | 311M| 67 | - | 198 | 12 | 198 | 19 | 21 | 52k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1189.44/1189.80 c 1063s| 1240k|489915 | 7864k| 6.3 | 314M| 67 | - | 198 | 13 | 198 | 19 | 21 | 52k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1199.24/1199.63 c 1072s| 1250k|494449 | 7928k| 6.3 | 316M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 52k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1208.44/1208.87 c 1080s| 1260k|498422 | 7990k| 6.3 | 319M| 67 | 8 | 198 | 17 | 198 | 19 | 21 | 53k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
1217.24/1217.69 c 1088s| 1270k|501794 | 8051k| 6.3 | 321M| 67 | - | 198 | 13 | 198 | 19 | 21 | 53k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1226.03/1226.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.03/1226.48 c 1096s| 1280k|505446 | 8111k| 6.3 | 324M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 54k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1234.72/1235.19 c 1104s| 1290k|508572 | 8172k| 6.3 | 326M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 54k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1243.93/1244.39 c 1112s| 1300k|512587 | 8234k| 6.3 | 329M| 67 | - | 198 | 12 | 0 | 0 | 21 | 54k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1253.12/1253.58 c 1120s| 1310k|516243 | 8296k| 6.3 | 331M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 55k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1262.72/1263.20 c 1129s| 1320k|520406 | 8360k| 6.3 | 334M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 55k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1272.52/1272.94 c 1138s| 1330k|524990 | 8425k| 6.3 | 336M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 55k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1281.81/1282.20 c 1146s| 1340k|529165 | 8487k| 6.3 | 339M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 56k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1291.41/1291.89 c 1155s| 1350k|533501 | 8551k| 6.3 | 341M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 56k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1300.82/1301.24 c 1163s| 1360k|537961 | 8614k| 6.3 | 344M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 57k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1309.61/1310.06 c 1171s| 1370k|541584 | 8674k| 6.3 | 347M| 67 | - | 198 | 10 | 0 | 0 | 21 | 57k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1318.60/1319.01 c 1179s| 1380k|545297 | 8736k| 6.3 | 349M| 67 | 8 | 198 | 10 | 198 | 19 | 21 | 57k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1327.20/1327.63 c 1187s| 1390k|548509 | 8796k| 6.3 | 351M| 67 | - | 198 | 9 | 0 | 0 | 21 | 58k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1335.79/1336.20 c 1194s| 1400k|551719 | 8855k| 6.3 | 353M| 67 | 8 | 198 | 9 | 198 | 19 | 21 | 58k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1344.49/1344.99 c 1202s| 1410k|555143 | 8915k| 6.3 | 356M| 67 | - | 198 | 9 | 198 | 19 | 21 | 58k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1353.29/1353.70 c 1210s| 1420k|558367 | 8974k| 6.3 | 358M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 59k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1361.79/1362.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.79/1362.20 c 1217s| 1430k|561202 | 9033k| 6.3 | 360M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 59k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1370.38/1370.83 c 1225s| 1440k|564516 | 9092k| 6.3 | 362M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 60k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1379.08/1379.50 c 1233s| 1450k|567643 | 9152k| 6.3 | 364M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 60k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1387.68/1388.15 c 1241s| 1460k|570804 | 9212k| 6.3 | 367M| 67 | - | 198 | 11 | 198 | 19 | 21 | 60k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1396.59/1397.09 c 1249s| 1470k|574559 | 9272k| 6.3 | 369M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 61k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1405.28/1405.76 c 1256s| 1480k|577681 | 9333k| 6.3 | 371M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 61k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1413.87/1414.30 c 1264s| 1490k|580426 | 9392k| 6.3 | 373M| 67 | - | 198 | 13 | 198 | 19 | 21 | 62k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1422.47/1422.95 c 1272s| 1500k|583443 | 9451k| 6.3 | 375M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 62k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1431.17/1431.60 c 1280s| 1510k|586689 | 9510k| 6.3 | 378M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 62k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1440.07/1440.52 c 1288s| 1520k|590157 | 9569k| 6.3 | 380M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 63k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1448.77/1449.21 c 1295s| 1530k|593267 | 9628k| 6.3 | 382M| 67 | - | 198 | 14 | 198 | 19 | 21 | 63k| 20k| 0.000000e+00 | 2.400000e+01 | Inf
1457.36/1457.88 c 1303s| 1540k|596361 | 9686k| 6.3 | 384M| 67 | - | 198 | 13 | 0 | 0 | 21 | 64k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1465.87/1466.35 c 1311s| 1550k|599313 | 9744k| 6.3 | 386M| 67 | - | 198 | 12 | 198 | 19 | 21 | 64k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1474.56/1475.01 c 1318s| 1560k|602429 | 9803k| 6.3 | 389M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 64k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1482.95/1483.49 c 1326s| 1570k|605279 | 9861k| 6.3 | 391M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 65k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1491.75/1492.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.75/1492.24 c 1334s| 1580k|608777 | 9919k| 6.3 | 393M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 65k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1500.45/1500.97 c 1341s| 1590k|612460 | 9977k| 6.3 | 395M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 66k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1509.04/1509.54 c 1349s| 1600k|615594 | 10035k| 6.3 | 398M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 66k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1517.34/1517.88 c 1357s| 1610k|618366 | 10092k| 6.3 | 399M| 67 | - | 198 | 11 | 198 | 19 | 21 | 66k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1526.25/1526.71 c 1364s| 1620k|621564 | 10152k| 6.3 | 402M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 67k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1534.74/1535.23 c 1372s| 1630k|624324 | 10210k| 6.3 | 404M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 67k| 21k| 0.000000e+00 | 2.400000e+01 | Inf
1539.33/1539.86 o 22
1539.33/1539.86 c *1376s| 1635k|620412 | 10240k| 6.3 | 396M| 67 | - | 198 | 11 | 198 | 19 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1543.44/1543.95 c 1380s| 1640k|621721 | 10268k| 6.3 | 396M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1551.83/1552.35 c 1387s| 1650k|624454 | 10325k| 6.3 | 398M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1560.53/1561.06 c 1395s| 1660k|627661 | 10384k| 6.3 | 401M| 67 | - | 198 | 16 | 198 | 19 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1572.82/1573.33 c 1406s| 1670k|630633 | 10442k| 6.3 | 403M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1581.13/1581.67 c 1413s| 1680k|633756 | 10498k| 6.2 | 405M| 67 | - | 198 | 13 | 198 | 19 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1589.82/1590.30 c 1421s| 1690k|636531 | 10559k| 6.2 | 407M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1598.12/1598.64 c 1429s| 1700k|639102 | 10617k| 6.2 | 409M| 67 | - | 198 | 11 | 198 | 19 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1606.52/1607.08 c 1436s| 1710k|641802 | 10675k| 6.2 | 411M| 67 | 8 | 198 | 19 | 198 | 19 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1615.01/1615.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.01/1615.54 c 1444s| 1720k|644532 | 10734k| 6.2 | 413M| 67 | 8 | 198 | 14 | 198 | 19 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1623.71/1624.26 c 1452s| 1730k|647612 | 10792k| 6.2 | 415M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1632.21/1632.74 c 1459s| 1740k|650157 | 10850k| 6.2 | 417M| 67 | 8 | 198 | 18 | 198 | 19 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1640.71/1641.23 c 1467s| 1750k|653230 | 10908k| 6.2 | 419M| 67 | 8 | 198 | 17 | 198 | 19 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1649.00/1649.59 c 1474s| 1760k|655752 | 10965k| 6.2 | 421M| 67 | - | 198 | 16 | 198 | 19 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1657.60/1658.14 c 1482s| 1770k|659009 | 11022k| 6.2 | 423M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1666.10/1666.63 c 1489s| 1780k|661816 | 11081k| 6.2 | 425M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1674.49/1675.04 c 1497s| 1790k|664399 | 11139k| 6.2 | 427M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 74k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1682.90/1683.45 c 1504s| 1800k|667350 | 11195k| 6.2 | 429M| 67 | - | 198 | 16 | 0 | 0 | 21 | 74k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1691.29/1691.84 c 1512s| 1810k|670055 | 11253k| 6.2 | 431M| 67 | 8 | 198 | 15 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1696.29/1696.82 o 21
1696.29/1696.82 c *1516s| 1815k|668012 | 11286k| 6.2 | 426M| 67 | - | 198 | 14 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 2.100000e+01 | Inf
1696.29/1696.88 o 19
1696.29/1696.88 c *1516s| 1815k|659125 | 11286k| 6.2 | 414M| 67 | - | 198 | 14 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1699.69/1700.24 c 1519s| 1820k|660256 | 11309k| 6.2 | 414M| 67 | 8 | 198 | 16 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1708.28/1708.80 c 1527s| 1830k|662773 | 11368k| 6.2 | 416M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 75k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1716.59/1717.14 c 1535s| 1840k|664980 | 11425k| 6.2 | 418M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 76k| 22k| 0.000000e+00 | 1.900000e+01 | Inf
1724.98/1725.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.98/1725.51 c 1542s| 1850k|667542 | 11482k| 6.2 | 420M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 76k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1733.28/1733.89 c 1550s| 1860k|669859 | 11540k| 6.2 | 421M| 67 | 8 | 198 | 19 | 198 | 19 | 21 | 77k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1741.98/1742.57 c 1557s| 1870k|672784 | 11599k| 6.2 | 423M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 77k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1750.28/1750.81 c 1565s| 1880k|675286 | 11656k| 6.2 | 425M| 67 | - | 198 | 15 | 198 | 19 | 21 | 77k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1758.57/1759.13 c 1572s| 1890k|677791 | 11713k| 6.2 | 427M| 67 | 8 | 198 | 13 | 198 | 19 | 21 | 78k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1766.87/1767.48 c 1580s| 1900k|680135 | 11770k| 6.2 | 429M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 78k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1775.27/1775.80 c 1587s| 1910k|682519 | 11826k| 6.2 | 430M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 78k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1783.67/1784.24 c 1595s| 1920k|684875 | 11884k| 6.2 | 432M| 67 | 8 | 198 | 11 | 198 | 19 | 21 | 79k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1791.97/1792.58 c 1602s| 1930k|687689 | 11941k| 6.2 | 434M| 67 | 8 | 198 | 12 | 198 | 19 | 21 | 79k| 23k| 0.000000e+00 | 1.900000e+01 | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1609.15
1800.07/1800.61 c Solving Nodes : 1939875
1800.07/1800.61 c Primal Bound : +1.90000000000001e+01 (41 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x143 -x198 -x197 -x196 x195 x194 -x193 x192 -x191 -x190 x189 x188 x187 x186 -x185 x184 -x183 -x182 -x181 -x180 x179 x178 x177
1800.07/1800.61 v -x176 x175 x174 x173 x172 x171 x170 -x169 -x168 x167 -x166 -x165 -x164 x163 -x162 x161 -x160 -x159 -x158 -x157 x156 -x155 x154
1800.07/1800.61 v x153 -x152 x151 -x150 -x149 x148 -x147 x146 x145 x144 x142 x141 x140 -x139 -x138 x137 x136 -x135 -x134 -x133 x132 -x131 x130
1800.07/1800.61 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.07/1800.61 v -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1800.07/1800.61 v -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.07/1800.61 v -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.07/1800.61 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9
1800.07/1800.61 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1609.15
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2665653-1276615187.opb
1800.07/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 16 initial, 16 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2665653-1276615187.opb
1800.07/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 8 initial, 71 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 48 - - 48 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 1346198 0 69 3757 0 0 2685012
1800.07/1800.61 c linear : 8+ 7 3401447 0 0 187693 1353539 0 0 0
1800.07/1800.61 c logicor : 0+ 0 230369 0 0 2035 26581 0 0 0
1800.07/1800.61 c countsols : 0 0 0 23 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 26.47 0.00 0.00 26.47 0.00
1800.07/1800.61 c linear : 330.00 0.00 330.00 0.00 0.00
1800.07/1800.61 c logicor : 0.75 0.00 0.75 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 1.84 2 0 0
1800.07/1800.61 c rootredcost : 1.60 33 0 48
1800.07/1800.61 c pseudoobj : 33.75 3404091 2818 169029
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 18.07 190573 67478 80987 71.5 23 37.8 -
1800.07/1800.61 c infeasible LP : 2.00 19968 15661 19096 44.6 1 40.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 2 2 2 2.5 0 0.0 -
1800.07/1800.61 c applied globally : - - - 1227 28.6 - - -
1800.07/1800.61 c applied locally : - - - 78660 67.3 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 2 - (maximal pool size: 67)
1800.07/1800.61 c redcost : 55.91 1912838 0 11137433 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.02 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 6 0 0 32 0
1800.07/1800.61 c cmir : 0.05 6 0 0 10 0
1800.07/1800.61 c flowcover : 0.06 6 0 0 27 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.12 1 0 0 0 63
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 24.56 1346175 69 3757 0 0 2685012
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.35 - 23
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 1.27 33 0
1800.07/1800.61 c feaspump : 0.14 2 0
1800.07/1800.61 c crossover : 15.77 6 0
1800.07/1800.61 c rootsoldiving : 10.19 1264 8
1800.07/1800.61 c objpscostdiving : 5.86 1789 0
1800.07/1800.61 c coefdiving : 70.07 4936 1
1800.07/1800.61 c pscostdiving : 35.83 4936 3
1800.07/1800.61 c fracdiving : 36.74 4936 2
1800.07/1800.61 c veclendiving : 23.73 4936 1
1800.07/1800.61 c guideddiving : 28.44 4936 2
1800.07/1800.61 c linesearchdiving : 25.51 4937 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 1.41 0 0
1800.07/1800.61 c zirounding : 1.00 1000 0
1800.07/1800.61 c rounding : 2.49 16829 0
1800.07/1800.61 c shifting : 5.96 5239 0
1800.07/1800.61 c intshifting : 0.10 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.03 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 0.73 0 0
1800.07/1800.61 c trysol : 1.93 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 713.81 1851272 10450900 5.65 14641.01
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 150.83 625823 1546625 2.47 10254.09
1800.07/1800.61 c strong branching : 8.84 23627 90547 3.83 10242.87
1800.07/1800.61 c (at root node) : - 13 577 44.38 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 1939875
1800.07/1800.61 c nodes (total) : 1939875
1800.07/1800.61 c nodes left : 689848
1800.07/1800.61 c max depth : 67
1800.07/1800.61 c max depth (total): 67
1800.07/1800.61 c backtracks : 295034 (15.2%)
1800.07/1800.61 c delayed cutoffs : 13311
1800.07/1800.61 c repropagations : 27253 (104116 domain reductions, 13311 cutoffs)
1800.07/1800.61 c avg switch length: 5.62
1800.07/1800.61 c switching time : 76.32
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 41 (33 improvements)
1800.07/1800.61 c First Solution : +1.04400000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.07/1800.61 c Primal Bound : +1.90000000000001e+01 (in run 1, after 1815961 nodes, 1516.37 seconds, depth 50, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 117
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665653-1276615187/watcher-2665653-1276615187 -o /tmp/evaluation-result-2665653-1276615187/solver-2665653-1276615187 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665653-1276615187.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10045 /proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=9288 CPUtime=0 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 1072 0 0 0 0 0 0 0 15 0 1 0 2811519 9510912 992 1992294400 4194304 9819077 140734899156656 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10045/statm: 2322 1001 371 1374 0 943 0 [startup+0.075359 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10045 /proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=22548 CPUtime=0.07 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 4975 0 0 0 5 2 0 0 18 0 1 0 2811519 23089152 4018 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 5637 4018 667 1374 0 4258 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 22548 [startup+0.100362 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10045 /proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=22912 CPUtime=0.09 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 5060 0 0 0 7 2 0 0 18 0 1 0 2811519 23461888 4103 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 5728 4103 673 1374 0 4349 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22912 [startup+0.300391 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10045 /proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=16860 CPUtime=0.29 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 5227 0 0 0 27 2 0 0 18 0 1 0 2811519 17264640 2958 1992294400 4194304 9819077 140734899156656 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 4215 2958 686 1374 0 2836 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16860 [startup+0.70045 s] /proc/loadavg: 1.02 1.02 1.00 3/106 10045 /proc/meminfo: memFree=1518152/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=17868 CPUtime=0.69 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 12146 0 0 0 62 7 0 0 18 0 1 0 2811519 18296832 3031 1992294400 4194304 9819077 140734899156656 18446744073709551615 7235448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 4467 3031 722 1374 0 3088 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17868 [startup+1.50057 s] /proc/loadavg: 1.02 1.02 1.00 2/107 10046 /proc/meminfo: memFree=1508224/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=17068 CPUtime=1.49 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 20214 0 0 0 132 17 0 0 19 0 1 0 2811519 17477632 3028 1992294400 4194304 9819077 140734899156656 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 4267 3028 723 1374 0 2888 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17068 [startup+3.1008 s] /proc/loadavg: 1.02 1.02 1.00 2/107 10046 /proc/meminfo: memFree=1507976/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=26056 CPUtime=3.09 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 40413 0 0 0 270 39 0 0 23 0 1 0 2811519 26681344 4705 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 6514 4705 724 1374 0 5135 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26056 [startup+6.30127 s] /proc/loadavg: 1.01 1.02 1.00 2/107 10046 /proc/meminfo: memFree=1507480/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=18624 CPUtime=6.29 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 69727 0 0 0 555 74 0 0 25 0 1 0 2811519 19070976 3349 1992294400 4194304 9819077 140734899156656 18446744073709551615 4948327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 4656 3349 724 1374 0 3277 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18624 [startup+12.7012 s] /proc/loadavg: 1.01 1.02 1.00 2/107 10046 /proc/meminfo: memFree=1504504/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=21596 CPUtime=12.69 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 122125 0 0 0 1130 139 0 0 25 0 1 0 2811519 22114304 4135 1992294400 4194304 9819077 140734899156656 18446744073709551615 4948426 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 5399 4135 724 1374 0 4020 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21596 [startup+25.5011 s] /proc/loadavg: 1.01 1.02 1.00 2/107 10046 /proc/meminfo: memFree=1499172/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=25824 CPUtime=25.48 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 231120 0 0 0 2271 277 0 0 25 0 1 0 2811519 26443776 5243 1992294400 4194304 9819077 140734899156656 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 6496 5244 724 1374 0 5117 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25824 [startup+51.1008 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10048 /proc/meminfo: memFree=1489252/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=36632 CPUtime=51.08 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 450008 0 0 0 4558 550 0 0 25 0 1 0 2811519 37511168 7930 1992294400 4194304 9819077 140734899156656 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 9158 7930 724 1374 0 7779 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36632 [startup+102.308 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10048 /proc/meminfo: memFree=1465568/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=60844 CPUtime=102.27 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 866811 0 0 0 9135 1092 0 0 25 0 1 0 2811519 62304256 13669 1992294400 4194304 9819077 140734899156656 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 15211 13669 724 1374 0 13832 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60844 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10050 /proc/meminfo: memFree=1445108/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=81056 CPUtime=162.24 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 1352779 0 0 0 14504 1720 0 0 25 0 1 0 2811519 83001344 18839 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 20264 18839 724 1374 0 18885 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 81056 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10052 /proc/meminfo: memFree=1423904/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=101424 CPUtime=222.22 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 1829930 0 0 0 19863 2359 0 0 25 0 1 0 2811519 103858176 24039 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 25236 24035 724 1374 0 23857 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 101424 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10054 /proc/meminfo: memFree=1407660/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=117736 CPUtime=282.21 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 2306923 0 0 0 25233 2988 0 0 25 0 1 0 2811519 120561664 28214 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 29434 28214 724 1374 0 28055 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 117736 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10056 /proc/meminfo: memFree=1388812/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=135668 CPUtime=342.19 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 2801592 0 0 0 30566 3653 0 0 25 0 1 0 2811519 138924032 32765 1992294400 4194304 9819077 140734899156656 18446744073709551615 6210122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 33917 32765 724 1374 0 32538 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 135668 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10056 /proc/meminfo: memFree=1371080/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=157056 CPUtime=402.17 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 3305332 0 0 0 35905 4312 0 0 25 0 1 0 2811519 160825344 37176 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 39264 37176 724 1374 0 37885 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 157056 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10058 /proc/meminfo: memFree=1354216/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=172700 CPUtime=462.15 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 3779621 0 0 0 41278 4937 0 0 25 0 1 0 2811519 176844800 41385 1992294400 4194304 9819077 140734899156656 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 43295 41387 724 1374 0 41916 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 172700 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10060 /proc/meminfo: memFree=1337600/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=189208 CPUtime=522.14 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 4253121 0 0 0 46659 5555 0 0 25 0 1 0 2811519 193748992 45469 1992294400 4194304 9819077 140734899156656 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 47302 45469 724 1374 0 45923 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 189208 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10062 /proc/meminfo: memFree=1319248/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=206740 CPUtime=582.12 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 4729703 0 0 0 52024 6188 0 0 25 0 1 0 2811519 211701760 49923 1992294400 4194304 9819077 140734899156656 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 51685 49923 724 1374 0 50306 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 206740 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10064 /proc/meminfo: memFree=1311684/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=214572 CPUtime=642.11 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 5252761 0 0 0 57335 6876 0 0 25 0 1 0 2811519 219721728 51929 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 53643 51929 725 1374 0 52264 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 214572 [startup+702.301 s] ################ # More data... # ################ /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 8089242 0 0 0 89529 10670 0 0 25 0 1 0 2811519 311271424 74746 1992294400 4194304 9819077 140734899156656 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 75994 74746 725 1374 0 74615 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 303976 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10077 /proc/meminfo: memFree=1203556/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=319444 CPUtime=1061.98 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 8559562 0 0 0 94909 11289 0 0 25 0 1 0 2811519 327110656 78706 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 79861 78706 725 1374 0 78482 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 319444 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10079 /proc/meminfo: memFree=1188800/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=342132 CPUtime=1121.95 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 9026905 0 0 0 100285 11910 0 0 25 0 1 0 2811519 350343168 82391 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 85373 82386 725 1374 0 83994 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 342132 [startup+1182.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 10081 /proc/meminfo: memFree=1170076/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=360888 CPUtime=1181.94 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 9499269 0 0 0 105657 12537 0 0 25 0 1 0 2811519 369549312 87200 1992294400 4194304 9819077 140734899156656 18446744073709551615 4978436 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 90222 87200 725 1374 0 88843 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 360888 [startup+1242.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 10083 /proc/meminfo: memFree=1152716/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=377148 CPUtime=1241.93 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 9971249 0 0 0 111021 13172 0 0 25 0 1 0 2811519 386199552 91350 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 94287 91350 725 1374 0 92908 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 377148 [startup+1302.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 10083 /proc/meminfo: memFree=1132628/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=396424 CPUtime=1301.91 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 10448435 0 0 0 116401 13790 0 0 25 0 1 0 2811519 405938176 96342 1992294400 4194304 9819077 140734899156656 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 99146 96342 725 1374 0 97767 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 396424 [startup+1362.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 10085 /proc/meminfo: memFree=1119856/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=409096 CPUtime=1361.88 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 10921607 0 0 0 121752 14436 0 0 25 0 1 0 2811519 418914304 99528 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 102274 99528 725 1374 0 100895 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 409096 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10087 /proc/meminfo: memFree=1105968/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=422592 CPUtime=1421.87 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 11393707 0 0 0 127125 15062 0 0 25 0 1 0 2811519 432734208 102979 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 105648 102979 725 1374 0 104269 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 422592 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10089 /proc/meminfo: memFree=1088236/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=439808 CPUtime=1481.85 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 11865155 0 0 0 132473 15712 0 0 25 0 1 0 2811519 450363392 107367 1992294400 4194304 9819077 140734899156656 18446744073709551615 7476432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 109952 107367 725 1374 0 108573 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 439808 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10091 /proc/meminfo: memFree=1073728/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=453160 CPUtime=1541.84 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 12338308 0 0 0 137845 16339 0 0 25 0 1 0 2811519 464035840 110843 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 113290 110843 725 1374 0 111911 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 453160 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10091 /proc/meminfo: memFree=1065420/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=461764 CPUtime=1601.82 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 12834652 0 0 0 143189 16993 0 0 25 0 1 0 2811519 472846336 113019 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 115441 113019 725 1374 0 114062 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 461764 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10093 /proc/meminfo: memFree=1052524/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=474396 CPUtime=1661.8 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 13308930 0 0 0 148549 17631 0 0 25 0 1 0 2811519 485781504 116257 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 118599 116257 725 1374 0 117220 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 474396 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10095 /proc/meminfo: memFree=1044092/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=481928 CPUtime=1721.78 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 13786358 0 0 0 153916 18262 0 0 25 0 1 0 2811519 493494272 118194 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 120482 118194 725 1374 0 119103 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 481928 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10097 /proc/meminfo: memFree=1036652/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=489908 CPUtime=1781.76 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14263274 0 0 0 159278 18898 0 0 25 0 1 0 2811519 501665792 120209 1992294400 4194304 9819077 140734899156656 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 122477 120209 725 1374 0 121098 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 489908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10097 /proc/meminfo: memFree=1032312/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=493648 CPUtime=1800.07 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14410076 0 0 0 160915 19092 0 0 25 0 1 0 2811519 505495552 121183 1992294400 4194304 9819077 140734899156656 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10045/statm: 123212 121179 725 1374 0 121833 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 493648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10045 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10097 /proc/meminfo: memFree=1032312/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=493648 CPUtime=1800.86 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14410087 0 0 0 160994 19092 0 0 25 0 1 0 2811519 505495552 121184 1992294400 4194304 9819077 140734899156656 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10045/statm: 123412 121184 726 1374 0 122033 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 493648 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10098 /proc/meminfo: memFree=1032304/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=493648 CPUtime=1801.66 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14410087 0 0 0 161074 19092 0 0 25 0 1 0 2811519 505495552 121184 1992294400 4194304 9819077 140734899156656 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10045/statm: 123412 121184 726 1374 0 122033 0 Current children cumulated CPU time (s) 1801.66 Current children cumulated vsize (KiB) 493648 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10098 /proc/meminfo: memFree=1032304/2059040 swapFree=4192956/4192956 [pid=10045] ppid=10043 vsize=493648 CPUtime=1802.06 /proc/10045/stat : 10045 (pbscip.linux.x8) R 10043 10045 9397 0 -1 4202496 14410087 0 0 0 161114 19092 0 0 25 0 1 0 2811519 505495552 121184 1992294400 4194304 9819077 140734899156656 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10045/statm: 123412 121184 726 1374 0 122033 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 493648 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.66 CPU time (s): 1802.13 CPU user time (s): 1611.16 CPU system time (s): 190.971 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 493648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1611.16 system time used= 190.971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14410087 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= 3 involuntary context switches= 3247 runsolver used 3.18552 second user time and 8.32373 second system time The end
Begin job on node039 at 2010-06-15 17:19:47 IDJOB=2665653 IDBENCH=2920 IDSOLVER=1168 FILE ID=node039/2665653-1276615187 PBS_JOBID= 11172269 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665653-1276615187/watcher-2665653-1276615187 -o /tmp/evaluation-result-2665653-1276615187/solver-2665653-1276615187 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665653-1276615187.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=900531624 node039.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1518556 kB Buffers: 68380 kB Cached: 345252 kB SwapCached: 0 kB Active: 199872 kB Inactive: 273160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1518556 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6212 kB Writeback: 0 kB AnonPages: 59272 kB Mapped: 15464 kB Slab: 45612 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182448 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62544 MiB End job on node039 at 2010-06-15 17:49:50