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) | 15 | 1802.15 | 1802.66 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
| MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 1791.86 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1531 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5104 |
| 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-2665654-1276615391.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 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, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 0 | 39 | - | 564k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1093
0.09/0.14 c y 0.1s| 1 | 0 | 39 | - | 630k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 50 | - | 701k| 0 | 12 | 172 | 30 | 172 | 16 | 9 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 56 | - | 759k| 0 | 10 | 172 | 30 | 172 | 21 | 14 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 65 | - | 809k| 0 | 14 | 172 | 30 | 172 | 26 | 19 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 71 | - | 838k| 0 | 10 | 172 | 30 | 172 | 28 | 21 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 79 | - | 900k| 0 | 15 | 172 | 30 | 172 | 31 | 24 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 85 | - | 953k| 0 | 15 | 172 | 30 | 172 | 33 | 26 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 89 | - |1014k| 0 | 16 | 172 | 30 | 172 | 35 | 28 | 0 | 0 | 0.000000e+00 | 1.093000e+03 | Inf
0.30/0.35 c 0.3s| 1 | 2 | 89 | - |1015k| 0 | 16 | 172 | 30 | 172 | 35 | 28 | 0 | 13 | 0.000000e+00 | 1.093000e+03 | Inf
0.59/0.63 o 276
0.59/0.63 c f 0.5s| 86 | 87 | 604 | 6.1 |1122k| 41 | - | 172 | 30 | 172 | 16 | 28 | 4 | 323 | 0.000000e+00 | 2.760000e+02 | Inf
0.79/0.80 o 173
0.79/0.80 c g 0.7s| 197 | 198 | 1434 | 6.9 |1172k| 43 | - | 172 | 31 | 172 | 16 | 28 | 5 | 405 | 0.000000e+00 | 1.730000e+02 | Inf
4.79/4.81 o 134
4.79/4.81 c g 4.2s| 3906 | 3884 | 24574 | 6.3 |2834k| 56 | - | 172 | 43 | 172 | 16 | 28 | 152 | 748 | 0.000000e+00 | 1.340000e+02 | Inf
10.29/10.35 o 60
10.29/10.35 c f 9.0s| 7904 | 7187 | 48976 | 6.2 |4359k| 56 | - | 172 | 23 | 172 | 16 | 28 | 326 | 811 | 0.000000e+00 | 6.000000e+01 | Inf
12.38/12.41 c 10.8s| 10000 | 9021 | 60036 | 6.0 |5153k| 56 | 7 | 172 | 18 | 172 | 16 | 28 | 419 | 920 | 0.000000e+00 | 6.000000e+01 | Inf
16.28/16.33 o 59
16.28/16.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.28/16.33 c *14.2s| 14543 | 12977 | 81656 | 5.6 |6948k| 56 | - | 172 | 25 | 172 | 16 | 28 | 550 |1120 | 0.000000e+00 | 5.900000e+01 | Inf
18.99/19.01 o 56
18.99/19.01 c g16.6s| 17700 | 15502 | 96569 | 5.5 |8121k| 56 | - | 172 | 26 | 172 | 16 | 28 | 668 |1295 | 0.000000e+00 | 5.600000e+01 | Inf
20.68/20.70 o 55
20.68/20.70 c *18.1s| 19454 | 16902 |106265 | 5.5 |8797k| 56 | - | 172 | 25 | 172 | 16 | 28 | 739 |1360 | 0.000000e+00 | 5.500000e+01 | Inf
21.08/21.18 c 18.5s| 20000 | 17310 |109088 | 5.5 |9010k| 56 | - | 172 | 26 | 172 | 16 | 28 | 758 |1381 | 0.000000e+00 | 5.500000e+01 | Inf
22.48/22.54 o 54
22.48/22.54 c *19.7s| 21592 | 18519 |116889 | 5.4 |9613k| 56 | - | 172 | 24 | 172 | 16 | 28 | 814 |1463 | 0.000000e+00 | 5.400000e+01 | Inf
22.48/22.54 o 52
22.48/22.54 c *19.7s| 21593 | 18453 |116889 | 5.4 |9555k| 56 | - | 172 | 24 | 172 | 16 | 28 | 814 |1463 | 0.000000e+00 | 5.200000e+01 | Inf
23.78/23.85 o 50
23.78/23.85 c *20.8s| 23115 | 19547 |124139 | 5.4 | 10M| 56 | - | 172 | 22 | 172 | 16 | 28 | 873 |1549 | 0.000000e+00 | 5.000000e+01 | Inf
23.78/23.85 o 48
23.78/23.85 c *20.8s| 23116 | 19454 |124139 | 5.4 | 10M| 56 | - | 172 | 22 | 172 | 16 | 28 | 873 |1549 | 0.000000e+00 | 4.800000e+01 | Inf
30.28/30.33 o 46
30.28/30.33 c *26.4s| 28357 | 22877 |150765 | 5.3 | 11M| 56 | - | 172 | 24 | 172 | 16 | 28 |1088 |1768 | 0.000000e+00 | 4.600000e+01 | Inf
31.69/31.72 c 27.6s| 30000 | 23960 |158862 | 5.3 | 12M| 56 | 7 | 172 | 28 | 172 | 16 | 28 |1155 |1833 | 0.000000e+00 | 4.600000e+01 | Inf
33.78/33.83 o 45
33.78/33.83 c *29.4s| 32472 | 25513 |171376 | 5.3 | 13M| 56 | - | 172 | 25 | 172 | 16 | 28 |1266 |1933 | 0.000000e+00 | 4.500000e+01 | Inf
40.08/40.13 c 34.9s| 40000 | 30481 |208821 | 5.2 | 16M| 56 | 7 | 172 | 36 | 172 | 16 | 28 |1643 |2236 | 0.000000e+00 | 4.500000e+01 | Inf
48.57/48.60 c 42.4s| 50000 | 37231 |260806 | 5.2 | 19M| 56 | - | 172 | 36 | 0 | 0 | 28 |2135 |2669 | 0.000000e+00 | 4.500000e+01 | Inf
50.48/50.56 o 44
50.48/50.56 c *44.1s| 52340 | 38808 |272834 | 5.2 | 20M| 56 | - | 172 | 41 | 172 | 16 | 28 |2242 |2773 | 0.000000e+00 | 4.400000e+01 | Inf
50.48/50.57 o 42
50.48/50.57 c *44.1s| 52343 | 38598 |272839 | 5.2 | 20M| 56 | - | 172 | 41 | 172 | 16 | 28 |2242 |2778 | 0.000000e+00 | 4.200000e+01 | Inf
50.48/50.58 o 40
50.48/50.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.48/50.58 c *44.1s| 52345 | 38287 |272839 | 5.2 | 20M| 56 | - | 172 | 41 | 172 | 16 | 28 |2242 |2780 | 0.000000e+00 | 4.000000e+01 | Inf
54.37/54.47 o 39
54.37/54.47 c *47.6s| 57035 | 41185 |296755 | 5.2 | 21M| 56 | - | 172 | 42 | 172 | 16 | 28 |2490 |2950 | 0.000000e+00 | 3.900000e+01 | Inf
56.87/56.98 c 49.8s| 60000 | 42918 |312514 | 5.2 | 22M| 56 | - | 172 | 36 | 0 | 0 | 28 |2659 |3062 | 0.000000e+00 | 3.900000e+01 | Inf
68.37/68.42 c 59.6s| 70000 | 48787 |365705 | 5.2 | 26M| 56 | 7 | 172 | 40 | 172 | 16 | 28 |3194 |3352 | 0.000000e+00 | 3.900000e+01 | Inf
72.76/72.86 o 37
72.76/72.86 c *63.6s| 75299 | 51525 |393614 | 5.2 | 28M| 56 | - | 172 | 40 | 172 | 16 | 28 |3483 |3514 | 0.000000e+00 | 3.700000e+01 | Inf
72.76/72.86 o 35
72.76/72.86 c *63.6s| 75300 | 51020 |393614 | 5.2 | 27M| 56 | - | 172 | 40 | 172 | 16 | 28 |3483 |3514 | 0.000000e+00 | 3.500000e+01 | Inf
78.08/78.18 c 68.2s| 80000 | 53559 |419553 | 5.2 | 29M| 56 | - | 172 | 36 | 0 | 0 | 28 |3749 |3651 | 0.000000e+00 | 3.500000e+01 | Inf
87.37/87.43 c 76.3s| 90000 | 59466 |470907 | 5.2 | 32M| 56 | 7 | 172 | 33 | 172 | 16 | 28 |4260 |3890 | 0.000000e+00 | 3.500000e+01 | Inf
90.77/90.88 o 33
90.77/90.88 c *79.4s| 94262 | 61557 |491653 | 5.2 | 33M| 56 | - | 172 | 32 | 172 | 16 | 28 |4441 |3976 | 0.000000e+00 | 3.300000e+01 | Inf
92.47/92.55 o 32
92.47/92.55 c *80.9s| 96294 | 61476 |502203 | 5.2 | 33M| 56 | - | 172 | 37 | 172 | 16 | 28 |4540 |4042 | 0.000000e+00 | 3.200000e+01 | Inf
92.47/92.56 o 30
92.47/92.56 c *80.9s| 96296 | 60920 |502203 | 5.2 | 32M| 56 | - | 172 | 30 | 172 | 16 | 28 |4540 |4046 | 0.000000e+00 | 3.000000e+01 | Inf
92.47/92.56 o 28
92.47/92.56 c *80.9s| 96297 | 60220 |502203 | 5.2 | 31M| 56 | - | 172 | 30 | 172 | 16 | 28 |4540 |4046 | 0.000000e+00 | 2.800000e+01 | Inf
95.46/95.53 c 83.5s|100000 | 62100 |522835 | 5.2 | 32M| 56 | 7 | 172 | 30 | 172 | 16 | 28 |4725 |4208 | 0.000000e+00 | 2.800000e+01 | Inf
104.76/104.82 c 91.6s|110000 | 66929 |583563 | 5.3 | 35M| 56 | - | 172 | 49 | 172 | 16 | 28 |5311 |4614 | 0.000000e+00 | 2.800000e+01 | Inf
112.46/112.51 c 98.3s|120000 | 71027 |643773 | 5.4 | 38M| 56 | 7 | 172 | 56 | 172 | 16 | 28 |5858 |4954 | 0.000000e+00 | 2.800000e+01 | Inf
116.26/116.37 o 27
116.26/116.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.26/116.37 c * 102s|125330 | 72851 |669870 | 5.3 | 39M| 56 | - | 172 | 52 | 172 | 16 | 28 |6140 |5048 | 0.000000e+00 | 2.700000e+01 | Inf
116.26/116.38 o 25
116.26/116.38 c * 102s|125331 | 72026 |669870 | 5.3 | 38M| 56 | - | 172 | 52 | 172 | 16 | 28 |6140 |5048 | 0.000000e+00 | 2.500000e+01 | Inf
121.45/121.51 c 106s|130000 | 73927 |694210 | 5.3 | 39M| 56 | 7 | 172 | 62 | 172 | 16 | 28 |6411 |5132 | 0.000000e+00 | 2.500000e+01 | Inf
129.35/129.44 c 113s|140000 | 77583 |742844 | 5.3 | 42M| 56 | - | 172 | 60 | 0 | 0 | 28 |6907 |5325 | 0.000000e+00 | 2.500000e+01 | Inf
136.65/136.70 c 119s|150000 | 81068 |792651 | 5.3 | 44M| 56 | 7 | 172 | 59 | 172 | 16 | 28 |7422 |5492 | 0.000000e+00 | 2.500000e+01 | Inf
143.74/143.80 c 126s|160000 | 84366 |841361 | 5.3 | 46M| 56 | 7 | 172 | 48 | 172 | 16 | 28 |7980 |5657 | 0.000000e+00 | 2.500000e+01 | Inf
146.75/146.89 o 23
146.75/146.89 c * 128s|164264 | 84864 |862167 | 5.2 | 46M| 56 | - | 172 | 51 | 172 | 16 | 28 |8176 |5744 | 0.000000e+00 | 2.300000e+01 | Inf
146.84/146.90 o 21
146.84/146.90 c * 128s|164265 | 83543 |862167 | 5.2 | 45M| 56 | - | 172 | 51 | 172 | 16 | 28 |8176 |5744 | 0.000000e+00 | 2.100000e+01 | Inf
150.75/150.89 c 132s|170000 | 85284 |889242 | 5.2 | 46M| 56 | 7 | 172 | 49 | 172 | 16 | 28 |8477 |5840 | 0.000000e+00 | 2.100000e+01 | Inf
157.64/157.74 c 138s|180000 | 87894 |936224 | 5.2 | 48M| 56 | 7 | 172 | 52 | 172 | 16 | 28 |8969 |6002 | 0.000000e+00 | 2.100000e+01 | Inf
159.04/159.18 o 20
159.04/159.18 c * 139s|181985 | 87717 |946081 | 5.2 | 47M| 56 | - | 172 | 51 | 172 | 16 | 28 |9043 |6043 | 0.000000e+00 | 2.000000e+01 | Inf
159.04/159.19 o 18
159.04/159.19 c * 139s|181986 | 86036 |946081 | 5.2 | 46M| 56 | - | 172 | 51 | 172 | 16 | 28 |9043 |6043 | 0.000000e+00 | 1.800000e+01 | Inf
167.54/167.62 c 146s|190000 | 87625 |984442 | 5.2 | 47M| 56 | 7 | 172 | 42 | 172 | 16 | 28 |9466 |6213 | 0.000000e+00 | 1.800000e+01 | Inf
174.34/174.48 c 152s|200000 | 89968 | 1032k| 5.2 | 49M| 56 | 7 | 172 | 37 | 172 | 16 | 28 |9957 |6366 | 0.000000e+00 | 1.800000e+01 | Inf
181.34/181.42 c 158s|210000 | 92625 | 1080k| 5.1 | 50M| 56 | - | 172 | 38 | 172 | 16 | 28 | 10k|6559 | 0.000000e+00 | 1.800000e+01 | Inf
188.24/188.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.24/188.38 c 164s|220000 | 95824 | 1130k| 5.1 | 52M| 56 | 7 | 172 | 32 | 172 | 16 | 28 | 10k|6709 | 0.000000e+00 | 1.800000e+01 | Inf
195.83/195.99 c 171s|230000 | 99841 | 1182k| 5.1 | 55M| 56 | - | 172 | 30 | 172 | 16 | 28 | 11k|6837 | 0.000000e+00 | 1.800000e+01 | Inf
206.34/206.49 c 180s|240000 |103398 | 1235k| 5.1 | 57M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 11k|6995 | 0.000000e+00 | 1.800000e+01 | Inf
213.52/213.65 c 186s|250000 |106513 | 1286k| 5.1 | 59M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 12k|7114 | 0.000000e+00 | 1.800000e+01 | Inf
221.42/221.52 c 193s|260000 |110375 | 1340k| 5.2 | 61M| 56 | - | 172 | 28 | 172 | 16 | 28 | 12k|7251 | 0.000000e+00 | 1.800000e+01 | Inf
228.63/228.75 c 200s|270000 |113872 | 1391k| 5.2 | 63M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 13k|7393 | 0.000000e+00 | 1.800000e+01 | Inf
236.02/236.15 c 206s|280000 |117622 | 1443k| 5.2 | 65M| 56 | - | 172 | 23 | 172 | 16 | 28 | 13k|7542 | 0.000000e+00 | 1.800000e+01 | Inf
243.32/243.40 c 213s|290000 |120993 | 1493k| 5.1 | 67M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 14k|7668 | 0.000000e+00 | 1.800000e+01 | Inf
250.92/251.04 c 219s|300000 |125400 | 1544k| 5.1 | 70M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 14k|7777 | 0.000000e+00 | 1.800000e+01 | Inf
257.92/258.03 c 225s|310000 |128564 | 1593k| 5.1 | 72M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 15k|7895 | 0.000000e+00 | 1.800000e+01 | Inf
264.81/264.99 c 232s|320000 |131557 | 1641k| 5.1 | 73M| 56 | - | 172 | 19 | 172 | 16 | 28 | 15k|8034 | 0.000000e+00 | 1.800000e+01 | Inf
271.92/272.00 c 238s|330000 |134734 | 1690k| 5.1 | 75M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 16k|8182 | 0.000000e+00 | 1.800000e+01 | Inf
278.41/278.58 c 243s|340000 |137186 | 1736k| 5.1 | 77M| 56 | 7 | 172 | 20 | 172 | 16 | 28 | 16k|8284 | 0.000000e+00 | 1.800000e+01 | Inf
284.91/285.07 c 249s|350000 |139471 | 1781k| 5.1 | 78M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 17k|8394 | 0.000000e+00 | 1.800000e+01 | Inf
291.51/291.65 c 255s|360000 |141615 | 1828k| 5.1 | 80M| 56 | - | 172 | 23 | 0 | 0 | 28 | 17k|8509 | 0.000000e+00 | 1.800000e+01 | Inf
298.01/298.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.01/298.18 c 261s|370000 |143735 | 1874k| 5.1 | 81M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 18k|8650 | 0.000000e+00 | 1.800000e+01 | Inf
304.80/304.98 c 267s|380000 |146296 | 1923k| 5.1 | 83M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 18k|8768 | 0.000000e+00 | 1.800000e+01 | Inf
311.31/311.48 c 272s|390000 |148298 | 1969k| 5.0 | 84M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 19k|8873 | 0.000000e+00 | 1.800000e+01 | Inf
320.60/320.74 c 280s|400000 |150316 | 2015k| 5.0 | 86M| 56 | - | 172 | 28 | 172 | 16 | 28 | 19k|8981 | 0.000000e+00 | 1.800000e+01 | Inf
327.30/327.43 c 286s|410000 |152628 | 2062k| 5.0 | 87M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 19k|9082 | 0.000000e+00 | 1.800000e+01 | Inf
333.69/333.85 c 292s|420000 |154254 | 2107k| 5.0 | 89M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 20k|9192 | 0.000000e+00 | 1.800000e+01 | Inf
334.20/334.37 o 17
334.20/334.37 c * 292s|420794 |153414 | 2110k| 5.0 | 87M| 56 | - | 172 | 25 | 172 | 16 | 28 | 20k|9196 | 0.000000e+00 | 1.700000e+01 | Inf
345.89/346.04 c 302s|430000 |154993 | 2152k| 5.0 | 89M| 56 | - | 172 | 25 | 172 | 16 | 28 | 20k|9293 | 0.000000e+00 | 1.700000e+01 | Inf
352.39/352.58 c 308s|440000 |156749 | 2198k| 5.0 | 90M| 56 | - | 172 | 27 | 0 | 0 | 28 | 21k|9406 | 0.000000e+00 | 1.700000e+01 | Inf
361.98/362.18 c 316s|450000 |158393 | 2250k| 5.0 | 91M| 56 | 7 | 172 | 37 | 172 | 16 | 28 | 21k|9588 | 0.000000e+00 | 1.700000e+01 | Inf
368.69/368.81 c 322s|460000 |160405 | 2302k| 5.0 | 93M| 56 | - | 172 | 30 | 172 | 16 | 28 | 22k|9794 | 0.000000e+00 | 1.700000e+01 | Inf
375.28/375.46 c 328s|470000 |162513 | 2351k| 5.0 | 94M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 22k|9944 | 0.000000e+00 | 1.700000e+01 | Inf
381.78/381.91 c 333s|480000 |164327 | 2399k| 5.0 | 95M| 56 | 7 | 172 | 34 | 172 | 16 | 28 | 23k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
388.28/388.46 c 339s|490000 |165872 | 2448k| 5.0 | 96M| 56 | - | 172 | 28 | 172 | 16 | 28 | 23k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
394.87/395.05 c 345s|500000 |167533 | 2497k| 5.0 | 98M| 56 | - | 172 | 22 | 172 | 16 | 28 | 24k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
401.38/401.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.38/401.59 c 351s|510000 |169749 | 2545k| 5.0 | 99M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 24k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
407.78/407.99 c 356s|520000 |171550 | 2590k| 5.0 | 100M| 56 | - | 172 | 23 | 172 | 16 | 28 | 25k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
414.17/414.32 c 362s|530000 |173002 | 2636k| 5.0 | 102M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 25k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
420.47/420.70 c 367s|540000 |174635 | 2681k| 5.0 | 103M| 56 | - | 172 | 23 | 172 | 16 | 28 | 26k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
426.86/427.08 c 373s|550000 |175909 | 2726k| 5.0 | 104M| 56 | - | 172 | 21 | 172 | 16 | 28 | 26k| 10k| 0.000000e+00 | 1.700000e+01 | Inf
433.47/433.63 c 379s|560000 |177270 | 2772k| 5.0 | 105M| 56 | 7 | 172 | 44 | 172 | 16 | 28 | 27k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
440.16/440.37 c 384s|570000 |180091 | 2819k| 4.9 | 107M| 56 | 7 | 172 | 31 | 172 | 16 | 28 | 28k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
446.66/446.89 c 390s|580000 |182368 | 2865k| 4.9 | 108M| 56 | - | 172 | 30 | 172 | 16 | 28 | 28k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
453.16/453.34 c 396s|590000 |183971 | 2910k| 4.9 | 109M| 56 | 7 | 172 | 31 | 172 | 16 | 28 | 29k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
459.46/459.68 c 401s|600000 |185427 | 2956k| 4.9 | 110M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 29k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
466.36/466.57 c 407s|610000 |188424 | 3005k| 4.9 | 112M| 56 | - | 172 | 23 | 172 | 16 | 28 | 29k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
472.96/473.16 c 413s|620000 |190684 | 3052k| 4.9 | 113M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 30k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
479.75/479.99 c 419s|630000 |193267 | 3100k| 4.9 | 115M| 56 | - | 172 | 32 | 172 | 16 | 28 | 31k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
486.35/486.51 c 425s|640000 |195082 | 3147k| 4.9 | 116M| 56 | - | 172 | 26 | 172 | 16 | 28 | 31k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
492.85/493.02 c 430s|650000 |196982 | 3194k| 4.9 | 118M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 32k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
499.25/499.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.25/499.49 c 436s|660000 |198441 | 3241k| 4.9 | 119M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 32k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
505.65/505.87 c 442s|670000 |199816 | 3287k| 4.9 | 120M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 32k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
512.04/512.24 c 447s|680000 |201265 | 3333k| 4.9 | 121M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 33k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
518.45/518.67 c 453s|690000 |202785 | 3380k| 4.9 | 122M| 56 | 7 | 172 | 37 | 172 | 16 | 28 | 33k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
524.94/525.10 c 459s|700000 |204251 | 3425k| 4.9 | 123M| 56 | - | 172 | 38 | 0 | 0 | 28 | 34k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
531.34/531.50 c 464s|710000 |205701 | 3471k| 4.9 | 124M| 56 | - | 172 | 29 | 172 | 16 | 28 | 35k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
537.75/537.93 c 470s|720000 |207344 | 3516k| 4.9 | 125M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 35k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
544.34/544.52 c 476s|730000 |209241 | 3563k| 4.9 | 127M| 56 | - | 172 | 27 | 0 | 0 | 28 | 35k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
551.03/551.27 c 482s|740000 |211718 | 3612k| 4.9 | 128M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 36k| 12k| 0.000000e+00 | 1.700000e+01 | Inf
557.83/558.06 c 488s|750000 |214674 | 3660k| 4.9 | 130M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 36k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
564.93/565.15 c 494s|760000 |218447 | 3708k| 4.9 | 132M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 37k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
571.74/571.93 c 500s|770000 |221572 | 3756k| 4.9 | 134M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 37k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
578.34/578.58 c 506s|780000 |224133 | 3803k| 4.9 | 136M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 38k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
584.93/585.20 c 511s|790000 |226333 | 3850k| 4.9 | 137M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 38k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
591.63/591.82 c 517s|800000 |228503 | 3897k| 4.9 | 139M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 39k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
598.23/598.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.23/598.46 c 523s|810000 |230911 | 3944k| 4.9 | 140M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 39k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
604.82/605.07 c 529s|820000 |233167 | 3991k| 4.9 | 142M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 40k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
611.52/611.73 c 535s|830000 |235609 | 4039k| 4.9 | 144M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 40k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
618.02/618.24 c 540s|840000 |237528 | 4086k| 4.9 | 145M| 56 | 7 | 172 | 35 | 172 | 16 | 28 | 41k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
624.52/624.77 c 546s|850000 |239382 | 4133k| 4.9 | 146M| 56 | - | 172 | 34 | 172 | 16 | 28 | 41k| 13k| 0.000000e+00 | 1.700000e+01 | Inf
631.02/631.28 c 552s|860000 |241413 | 4179k| 4.9 | 148M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 42k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
637.51/637.75 c 558s|870000 |243099 | 4226k| 4.9 | 149M| 56 | - | 172 | 24 | 172 | 16 | 28 | 42k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
644.00/644.26 c 563s|880000 |244928 | 4273k| 4.9 | 150M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 43k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
650.70/650.99 c 569s|890000 |246609 | 4325k| 4.9 | 152M| 56 | 7 | 172 | 17 | 172 | 16 | 28 | 43k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
659.00/659.26 c 576s|900000 |251304 | 4384k| 4.9 | 154M| 56 | - | 172 | 20 | 172 | 16 | 28 | 44k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
666.90/667.17 c 583s|910000 |255947 | 4440k| 4.9 | 157M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 44k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
674.99/675.20 c 590s|920000 |260817 | 4497k| 4.9 | 159M| 56 | - | 172 | 23 | 172 | 16 | 28 | 45k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
682.39/682.63 c 597s|930000 |264812 | 4551k| 4.9 | 162M| 56 | 7 | 172 | 19 | 172 | 16 | 28 | 45k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
689.70/689.93 c 603s|940000 |268632 | 4603k| 4.9 | 164M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 46k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
696.99/697.25 c 610s|950000 |272350 | 4657k| 4.9 | 166M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 46k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
704.08/704.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.08/704.33 c 616s|960000 |275880 | 4708k| 4.9 | 168M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 47k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
711.40/711.65 c 623s|970000 |279617 | 4760k| 4.9 | 170M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 47k| 14k| 0.000000e+00 | 1.700000e+01 | Inf
718.49/718.70 c 629s|980000 |282948 | 4811k| 4.9 | 172M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 48k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
725.98/726.20 c 635s|990000 |286623 | 4867k| 4.9 | 175M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 48k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
732.79/733.03 c 641s| 1000k|289676 | 4919k| 4.9 | 176M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 49k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
739.78/740.03 c 648s| 1010k|292620 | 4974k| 4.9 | 178M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 49k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
746.69/746.90 c 654s| 1020k|295512 | 5027k| 4.9 | 180M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 50k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
753.78/754.06 c 660s| 1030k|298872 | 5083k| 4.9 | 182M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 50k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
760.78/761.03 c 666s| 1040k|302032 | 5137k| 4.9 | 184M| 56 | - | 172 | 26 | 0 | 0 | 28 | 51k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
767.87/768.11 c 672s| 1050k|305131 | 5192k| 4.9 | 186M| 56 | - | 172 | 25 | 172 | 16 | 28 | 51k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
774.57/774.88 c 678s| 1060k|307685 | 5242k| 4.9 | 188M| 56 | - | 172 | 19 | 172 | 16 | 28 | 52k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
781.66/781.90 c 685s| 1070k|310738 | 5292k| 4.9 | 190M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 52k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
788.67/788.90 c 691s| 1080k|314112 | 5340k| 4.9 | 192M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 53k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
795.37/795.66 c 697s| 1090k|316673 | 5389k| 4.9 | 193M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 53k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
802.06/802.33 c 703s| 1100k|319046 | 5438k| 4.9 | 195M| 56 | - | 172 | 26 | 172 | 16 | 28 | 54k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
809.16/809.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.16/809.43 c 709s| 1110k|322056 | 5490k| 4.9 | 197M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 54k| 15k| 0.000000e+00 | 1.700000e+01 | Inf
815.97/816.30 c 715s| 1120k|324812 | 5542k| 4.9 | 198M| 56 | - | 172 | 28 | 172 | 16 | 28 | 55k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
823.16/823.45 c 721s| 1130k|328419 | 5592k| 4.9 | 200M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 55k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
829.86/830.18 c 727s| 1140k|331222 | 5641k| 4.9 | 202M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 55k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
836.55/836.88 c 733s| 1150k|333953 | 5689k| 4.9 | 204M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 56k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
843.46/843.75 c 739s| 1160k|336533 | 5740k| 4.9 | 206M| 56 | - | 172 | 32 | 0 | 0 | 28 | 56k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
850.15/850.47 c 745s| 1170k|339251 | 5789k| 4.9 | 207M| 56 | - | 172 | 25 | 172 | 16 | 28 | 57k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
857.14/857.42 c 751s| 1180k|342386 | 5839k| 4.9 | 209M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 57k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
864.44/864.76 c 758s| 1190k|346017 | 5892k| 5.0 | 211M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 58k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
871.24/871.56 c 764s| 1200k|349028 | 5941k| 5.0 | 213M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 58k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
878.14/878.43 c 770s| 1210k|351904 | 5990k| 5.0 | 215M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 59k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
885.04/885.30 c 776s| 1220k|354676 | 6040k| 5.0 | 217M| 56 | - | 172 | 24 | 0 | 0 | 28 | 59k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
891.74/892.00 c 782s| 1230k|357216 | 6088k| 5.0 | 218M| 56 | - | 172 | 26 | 172 | 16 | 28 | 60k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
898.53/898.87 c 788s| 1240k|359932 | 6138k| 5.0 | 220M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 60k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
905.83/906.17 c 794s| 1250k|363621 | 6191k| 5.0 | 222M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 61k| 16k| 0.000000e+00 | 1.700000e+01 | Inf
912.94/913.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.94/913.24 c 800s| 1260k|367048 | 6242k| 5.0 | 224M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 61k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
919.53/919.87 c 806s| 1270k|369832 | 6291k| 5.0 | 226M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 62k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
926.33/926.64 c 812s| 1280k|372639 | 6340k| 5.0 | 227M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 62k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
933.02/933.32 c 818s| 1290k|375273 | 6388k| 5.0 | 229M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 63k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
939.53/939.85 c 824s| 1300k|377454 | 6436k| 5.0 | 231M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 63k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
946.02/946.39 c 829s| 1310k|379800 | 6484k| 4.9 | 232M| 56 | 7 | 172 | 19 | 172 | 16 | 28 | 63k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
952.62/952.92 c 835s| 1320k|381974 | 6532k| 4.9 | 234M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 64k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
959.12/959.48 c 841s| 1330k|384496 | 6580k| 4.9 | 236M| 56 | - | 172 | 21 | 0 | 0 | 28 | 64k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
965.82/966.10 c 847s| 1340k|386895 | 6630k| 4.9 | 237M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 65k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
972.52/972.88 c 853s| 1350k|389619 | 6679k| 4.9 | 239M| 56 | - | 172 | 25 | 172 | 16 | 28 | 65k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
979.11/979.48 c 858s| 1360k|392008 | 6728k| 4.9 | 240M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 66k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
985.91/986.29 c 864s| 1370k|394608 | 6777k| 4.9 | 242M| 56 | - | 172 | 32 | 172 | 16 | 28 | 66k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
992.91/993.23 c 871s| 1380k|397565 | 6829k| 4.9 | 244M| 56 | - | 172 | 24 | 172 | 16 | 28 | 66k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
999.51/999.87 c 876s| 1390k|399913 | 6878k| 4.9 | 245M| 56 | - | 172 | 24 | 172 | 16 | 28 | 67k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
1006.11/1006.46 c 882s| 1400k|401938 | 6927k| 4.9 | 247M| 56 | - | 172 | 31 | 172 | 16 | 28 | 67k| 17k| 0.000000e+00 | 1.700000e+01 | Inf
1012.71/1013.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.71/1013.02 c 888s| 1410k|404152 | 6975k| 4.9 | 248M| 56 | 7 | 172 | 20 | 172 | 16 | 28 | 68k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1019.31/1019.63 c 894s| 1420k|406204 | 7023k| 4.9 | 250M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 68k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1026.30/1026.62 c 900s| 1430k|409366 | 7073k| 4.9 | 252M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 69k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1033.00/1033.34 c 906s| 1440k|412246 | 7122k| 4.9 | 254M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 69k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1039.70/1040.06 c 912s| 1450k|414622 | 7171k| 4.9 | 255M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 70k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1046.29/1046.67 c 918s| 1460k|416967 | 7219k| 4.9 | 257M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 70k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1052.89/1053.29 c 923s| 1470k|419098 | 7267k| 4.9 | 258M| 56 | - | 172 | 20 | 0 | 0 | 28 | 71k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1059.39/1059.73 c 929s| 1480k|421128 | 7315k| 4.9 | 260M| 56 | - | 172 | 24 | 172 | 16 | 28 | 71k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1066.19/1066.56 c 935s| 1490k|423697 | 7364k| 4.9 | 262M| 56 | 7 | 172 | 19 | 172 | 16 | 28 | 72k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1073.09/1073.44 c 941s| 1500k|426761 | 7413k| 4.9 | 263M| 56 | - | 172 | 21 | 172 | 16 | 28 | 72k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1079.68/1080.06 c 947s| 1510k|429293 | 7460k| 4.9 | 265M| 56 | - | 172 | 20 | 172 | 16 | 28 | 73k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1086.28/1086.64 c 953s| 1520k|431505 | 7507k| 4.9 | 267M| 56 | - | 172 | 20 | 172 | 16 | 28 | 73k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1093.09/1093.44 c 959s| 1530k|434389 | 7556k| 4.9 | 269M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 74k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1099.59/1099.96 c 964s| 1540k|436466 | 7603k| 4.9 | 270M| 56 | - | 172 | 23 | 172 | 16 | 28 | 74k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1106.08/1106.46 c 970s| 1550k|438246 | 7649k| 4.9 | 271M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 75k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1112.67/1113.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.67/1113.04 c 976s| 1560k|440263 | 7698k| 4.9 | 273M| 56 | 7 | 172 | 19 | 172 | 16 | 28 | 75k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1119.28/1119.63 c 982s| 1570k|442300 | 7746k| 4.9 | 274M| 56 | - | 172 | 27 | 172 | 16 | 28 | 76k| 18k| 0.000000e+00 | 1.700000e+01 | Inf
1125.87/1126.27 c 988s| 1580k|444663 | 7794k| 4.9 | 276M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 76k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1132.47/1132.88 c 993s| 1590k|446837 | 7842k| 4.9 | 278M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 76k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1138.97/1139.31 c 999s| 1600k|449101 | 7890k| 4.9 | 279M| 56 | - | 172 | 28 | 172 | 16 | 28 | 77k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1145.47/1145.85 c 1005s| 1610k|451581 | 7936k| 4.9 | 281M| 56 | 7 | 172 | 32 | 172 | 16 | 28 | 77k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1152.07/1152.48 c 1011s| 1620k|453601 | 7984k| 4.9 | 282M| 56 | - | 172 | 27 | 172 | 16 | 28 | 78k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1158.56/1159.00 c 1016s| 1630k|455731 | 8031k| 4.9 | 284M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 78k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1165.27/1165.68 c 1022s| 1640k|458144 | 8079k| 4.9 | 285M| 56 | 7 | 172 | 20 | 172 | 16 | 28 | 79k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1171.96/1172.30 c 1028s| 1650k|460487 | 8126k| 4.9 | 287M| 56 | - | 172 | 26 | 0 | 0 | 28 | 79k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1178.46/1178.88 c 1034s| 1660k|462487 | 8174k| 4.9 | 288M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 80k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1185.06/1185.40 c 1040s| 1670k|464628 | 8220k| 4.9 | 290M| 56 | 7 | 172 | 20 | 172 | 16 | 28 | 80k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1191.86/1192.26 c 1046s| 1680k|467668 | 8269k| 4.9 | 292M| 56 | - | 172 | 27 | 172 | 16 | 28 | 81k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1198.36/1198.78 c 1051s| 1690k|470082 | 8315k| 4.9 | 293M| 56 | - | 172 | 24 | 172 | 16 | 28 | 81k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1204.85/1205.25 c 1057s| 1700k|472088 | 8361k| 4.9 | 295M| 56 | - | 172 | 26 | 172 | 16 | 28 | 82k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1211.35/1211.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.35/1211.72 c 1063s| 1710k|473826 | 8407k| 4.9 | 296M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 82k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1218.05/1218.44 c 1069s| 1720k|476513 | 8455k| 4.9 | 298M| 56 | - | 172 | 21 | 172 | 16 | 28 | 83k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1224.54/1224.92 c 1074s| 1730k|478216 | 8501k| 4.9 | 299M| 56 | - | 172 | 18 | 172 | 16 | 28 | 83k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1231.05/1231.44 c 1080s| 1740k|480246 | 8548k| 4.9 | 300M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 84k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1237.54/1237.97 c 1086s| 1750k|482207 | 8595k| 4.9 | 302M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 84k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1244.14/1244.58 c 1092s| 1760k|484049 | 8647k| 4.9 | 303M| 56 | - | 172 | 20 | 0 | 0 | 28 | 85k| 19k| 0.000000e+00 | 1.700000e+01 | Inf
1250.74/1251.15 c 1097s| 1770k|485927 | 8698k| 4.9 | 304M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 85k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1257.53/1257.99 c 1104s| 1780k|488398 | 8751k| 4.9 | 306M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 85k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1264.24/1264.63 c 1109s| 1790k|490153 | 8804k| 4.9 | 307M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 86k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1270.84/1271.23 c 1115s| 1800k|491885 | 8855k| 4.9 | 309M| 56 | 7 | 172 | 22 | 172 | 16 | 28 | 86k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1277.54/1277.96 c 1121s| 1810k|494503 | 8907k| 4.9 | 310M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 87k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1284.23/1284.63 c 1127s| 1820k|496573 | 8960k| 4.9 | 312M| 56 | - | 172 | 33 | 172 | 16 | 28 | 87k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1290.93/1291.32 c 1133s| 1830k|498625 | 9011k| 4.9 | 313M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 88k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1297.43/1297.85 c 1138s| 1840k|500314 | 9061k| 4.9 | 314M| 56 | - | 172 | 25 | 172 | 16 | 28 | 88k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1303.92/1304.37 c 1144s| 1850k|502051 | 9113k| 4.9 | 316M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 89k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1310.62/1311.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.62/1311.03 c 1150s| 1860k|504094 | 9164k| 4.9 | 317M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 89k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1317.33/1317.72 c 1156s| 1870k|506013 | 9217k| 4.9 | 319M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 90k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1324.02/1324.45 c 1162s| 1880k|508132 | 9269k| 4.9 | 320M| 56 | 7 | 172 | 21 | 172 | 16 | 28 | 90k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1330.72/1331.19 c 1168s| 1890k|510699 | 9321k| 4.9 | 322M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 91k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1338.11/1338.57 c 1174s| 1900k|514075 | 9375k| 4.9 | 324M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 91k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1345.92/1346.31 c 1181s| 1910k|518224 | 9433k| 4.9 | 326M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 91k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1353.11/1353.58 c 1187s| 1920k|521719 | 9488k| 4.9 | 328M| 56 | 7 | 172 | 31 | 172 | 16 | 28 | 92k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1360.50/1360.90 c 1194s| 1930k|525149 | 9545k| 4.9 | 330M| 56 | - | 172 | 28 | 172 | 16 | 28 | 92k| 20k| 0.000000e+00 | 1.700000e+01 | Inf
1367.51/1367.91 c 1200s| 1940k|528403 | 9598k| 4.9 | 332M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 93k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1374.51/1374.98 c 1206s| 1950k|531434 | 9652k| 4.9 | 333M| 56 | - | 172 | 41 | 172 | 16 | 28 | 93k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1381.61/1382.04 c 1213s| 1960k|534256 | 9706k| 5.0 | 335M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 94k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1388.40/1388.87 c 1219s| 1970k|537173 | 9759k| 5.0 | 337M| 56 | - | 172 | 30 | 0 | 0 | 28 | 94k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1395.41/1395.88 c 1225s| 1980k|540236 | 9811k| 5.0 | 339M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 95k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1402.50/1402.92 c 1231s| 1990k|543239 | 9864k| 5.0 | 340M| 56 | - | 172 | 27 | 0 | 0 | 28 | 95k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1409.59/1410.09 c 1237s| 2000k|546324 | 9918k| 5.0 | 342M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 95k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1416.89/1417.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.89/1417.31 c 1244s| 2010k|549834 | 9972k| 5.0 | 344M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 96k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1423.79/1424.27 c 1250s| 2020k|552598 | 10025k| 5.0 | 346M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 96k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1431.09/1431.50 c 1256s| 2030k|555879 | 10078k| 5.0 | 348M| 56 | 7 | 172 | 24 | 172 | 16 | 28 | 97k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1437.88/1438.36 c 1262s| 2040k|558466 | 10130k| 5.0 | 350M| 56 | - | 172 | 23 | 172 | 16 | 28 | 97k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1444.89/1445.37 c 1268s| 2050k|561207 | 10184k| 5.0 | 351M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 98k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1451.78/1452.23 c 1274s| 2060k|563874 | 10235k| 5.0 | 353M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 98k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1458.58/1459.00 c 1280s| 2070k|566598 | 10286k| 5.0 | 355M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 98k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1465.37/1465.88 c 1286s| 2080k|569461 | 10338k| 5.0 | 356M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 99k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1472.18/1472.63 c 1292s| 2090k|571918 | 10390k| 5.0 | 358M| 56 | 7 | 172 | 25 | 172 | 16 | 28 | 99k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1479.27/1479.78 c 1299s| 2100k|575102 | 10445k| 5.0 | 360M| 56 | - | 172 | 29 | 172 | 16 | 28 | 100k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1486.17/1486.60 c 1305s| 2110k|577871 | 10497k| 5.0 | 362M| 56 | - | 172 | 24 | 0 | 0 | 28 | 100k| 21k| 0.000000e+00 | 1.700000e+01 | Inf
1493.17/1493.63 c 1311s| 2120k|580975 | 10549k| 5.0 | 363M| 56 | - | 172 | 20 | 172 | 16 | 28 | 101k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1500.07/1500.54 c 1317s| 2130k|583836 | 10602k| 5.0 | 365M| 56 | - | 172 | 21 | 172 | 16 | 28 | 101k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1506.87/1507.35 c 1323s| 2140k|585953 | 10654k| 5.0 | 367M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 102k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1513.77/1514.23 c 1329s| 2150k|588525 | 10706k| 5.0 | 368M| 56 | 7 | 172 | 28 | 172 | 16 | 28 | 102k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1520.67/1521.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.67/1521.11 c 1335s| 2160k|591022 | 10758k| 5.0 | 370M| 56 | - | 172 | 27 | 0 | 0 | 28 | 103k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1527.66/1528.16 c 1341s| 2170k|594109 | 10810k| 5.0 | 372M| 56 | - | 172 | 30 | 172 | 16 | 28 | 103k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1534.46/1534.94 c 1347s| 2180k|596512 | 10862k| 5.0 | 373M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 103k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1541.26/1541.70 c 1353s| 2190k|598957 | 10913k| 5.0 | 375M| 56 | - | 172 | 25 | 172 | 16 | 28 | 104k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1548.15/1548.62 c 1359s| 2200k|601886 | 10965k| 5.0 | 377M| 56 | - | 172 | 34 | 172 | 16 | 28 | 104k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1554.87/1555.38 c 1365s| 2210k|604234 | 11017k| 5.0 | 378M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 105k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1561.66/1562.19 c 1371s| 2220k|606560 | 11069k| 5.0 | 380M| 56 | 7 | 172 | 29 | 172 | 16 | 28 | 105k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1568.35/1568.88 c 1377s| 2230k|608790 | 11120k| 5.0 | 381M| 56 | 7 | 172 | 26 | 172 | 16 | 28 | 106k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1575.45/1575.95 c 1383s| 2240k|611402 | 11174k| 5.0 | 383M| 56 | - | 172 | 24 | 0 | 0 | 28 | 106k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1582.85/1583.32 c 1390s| 2250k|614450 | 11230k| 5.0 | 385M| 56 | - | 172 | 25 | 172 | 16 | 28 | 107k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1590.05/1590.60 c 1396s| 2260k|617950 | 11286k| 5.0 | 387M| 56 | 7 | 172 | 27 | 172 | 16 | 28 | 107k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1597.14/1597.70 c 1402s| 2270k|620833 | 11340k| 5.0 | 389M| 56 | - | 172 | 29 | 172 | 16 | 28 | 107k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1604.14/1604.63 c 1408s| 2280k|623543 | 11392k| 5.0 | 390M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 108k| 22k| 0.000000e+00 | 1.700000e+01 | Inf
1610.84/1611.33 c 1414s| 2290k|625814 | 11442k| 5.0 | 392M| 56 | - | 172 | 24 | 0 | 0 | 28 | 108k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1617.44/1617.99 c 1420s| 2300k|628217 | 11490k| 5.0 | 393M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 109k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1624.25/1624.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.25/1624.76 c 1426s| 2310k|630531 | 11541k| 5.0 | 395M| 56 | 7 | 172 | 23 | 172 | 16 | 28 | 109k| 23k| 0.000000e+00 | 1.700000e+01 | Inf
1625.83/1626.33 o 16
1625.83/1626.33 c *1428s| 2312k|627872 | 11552k| 5.0 | 390M| 56 | - | 172 | 23 | 172 | 16 | 28 | 109k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1631.03/1631.53 c 1432s| 2320k|629981 | 11591k| 5.0 | 392M| 56 | - | 172 | 30 | 0 | 0 | 28 | 110k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1637.73/1638.22 c 1438s| 2330k|632326 | 11641k| 5.0 | 393M| 56 | - | 172 | 27 | 172 | 16 | 28 | 110k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1644.23/1644.79 c 1444s| 2340k|634884 | 11690k| 5.0 | 394M| 56 | 7 | 172 | 40 | 172 | 16 | 28 | 111k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1650.82/1651.30 c 1450s| 2350k|636883 | 11738k| 5.0 | 396M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 111k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1657.42/1657.91 c 1455s| 2360k|639222 | 11788k| 5.0 | 397M| 56 | 7 | 172 | 42 | 172 | 16 | 28 | 112k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1663.93/1664.42 c 1461s| 2370k|641048 | 11837k| 5.0 | 398M| 56 | 7 | 172 | 41 | 172 | 16 | 28 | 112k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1670.62/1671.11 c 1467s| 2380k|643491 | 11888k| 5.0 | 400M| 56 | - | 172 | 38 | 172 | 16 | 28 | 112k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1677.12/1677.66 c 1473s| 2390k|645468 | 11939k| 5.0 | 401M| 56 | 7 | 172 | 47 | 172 | 16 | 28 | 113k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1683.71/1684.29 c 1478s| 2400k|647507 | 11989k| 5.0 | 402M| 56 | 7 | 172 | 43 | 172 | 16 | 28 | 113k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1690.32/1690.86 c 1484s| 2410k|649557 | 12041k| 5.0 | 403M| 56 | 7 | 172 | 40 | 172 | 16 | 28 | 114k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1696.91/1697.45 c 1490s| 2420k|651325 | 12090k| 5.0 | 405M| 56 | - | 172 | 45 | 172 | 16 | 28 | 114k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1703.61/1704.13 c 1496s| 2430k|653919 | 12142k| 5.0 | 406M| 56 | - | 172 | 39 | 172 | 16 | 28 | 115k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1710.21/1710.75 c 1502s| 2440k|656234 | 12192k| 5.0 | 408M| 56 | 7 | 172 | 38 | 172 | 16 | 28 | 115k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1716.71/1717.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.71/1717.20 c 1507s| 2450k|658238 | 12239k| 5.0 | 409M| 56 | 7 | 172 | 41 | 172 | 16 | 28 | 116k| 23k| 0.000000e+00 | 1.600000e+01 | Inf
1722.02/1722.52 o 15
1722.02/1722.52 c *1512s| 2457k|658290 | 12277k| 5.0 | 405M| 56 | - | 172 | 34 | 172 | 16 | 28 | 116k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1723.60/1724.14 c 1514s| 2460k|659001 | 12288k| 5.0 | 405M| 56 | - | 172 | 38 | 172 | 16 | 28 | 116k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1730.11/1730.64 c 1519s| 2470k|661143 | 12335k| 5.0 | 407M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 117k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1736.60/1737.16 c 1525s| 2480k|663276 | 12383k| 5.0 | 408M| 56 | - | 172 | 42 | 172 | 16 | 28 | 117k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1743.01/1743.55 c 1531s| 2490k|664973 | 12429k| 5.0 | 409M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 117k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1749.70/1750.21 c 1536s| 2500k|667295 | 12478k| 5.0 | 411M| 56 | 7 | 172 | 34 | 172 | 16 | 28 | 118k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1756.20/1756.73 c 1542s| 2510k|668991 | 12526k| 5.0 | 412M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 118k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1762.71/1763.24 c 1548s| 2520k|671290 | 12574k| 5.0 | 413M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 119k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1769.30/1769.83 c 1554s| 2530k|673866 | 12622k| 5.0 | 415M| 56 | 7 | 172 | 30 | 172 | 16 | 28 | 119k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1775.80/1776.32 c 1559s| 2540k|675800 | 12670k| 5.0 | 416M| 56 | 7 | 172 | 32 | 172 | 16 | 28 | 120k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1782.29/1782.82 c 1565s| 2550k|677536 | 12717k| 5.0 | 417M| 56 | - | 172 | 41 | 172 | 16 | 28 | 120k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1788.69/1789.25 c 1571s| 2560k|679294 | 12764k| 5.0 | 418M| 56 | 7 | 172 | 33 | 172 | 16 | 28 | 120k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1795.19/1795.74 c 1577s| 2570k|681262 | 12811k| 5.0 | 419M| 56 | 7 | 172 | 36 | 172 | 16 | 28 | 121k| 23k| 0.000000e+00 | 1.500000e+01 | Inf
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1580.78
1800.10/1800.61 c Solving Nodes : 2577490
1800.10/1800.61 c Primal Bound : +1.50000000000000e+01 (49 solutions)
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 s SATISFIABLE
1800.10/1800.61 v -x172 x171 x170 x169 x168 x167 x166 x165 -x164 x163 -x162 x161 x160 x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 x151 x150 -x149
1800.10/1800.61 v -x148 -x147 -x146 x145 -x144 x143 -x142 -x141 x140 -x139 x138 x137 x136 x135 -x134 -x133 -x132 -x131 x130 -x129 x128 -x127
1800.10/1800.61 v -x126 -x125 -x124 x123 x122 x121 x120 x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105
1800.10/1800.61 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81
1800.10/1800.61 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.10/1800.61 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.10/1800.61 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.10/1800.61 v -x2 x1
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time : 1580.78
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-2665654-1276615391.opb
1800.10/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 14 initial, 14 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-2665654-1276615391.opb
1800.10/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 7 initial, 66 maximal
1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.10/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c root node : - 56 - - 56 - - - -
1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c integral : 0 0 0 1662263 0 156 12706 0 0 3299036
1800.10/1800.61 c linear : 7+ 8 4072037 0 0 380407 2545397 0 0 0
1800.10/1800.61 c logicor : 0+ 0 731925 0 0 4264 38737 0 0 0
1800.10/1800.61 c countsols : 0 0 0 27 0 0 0 0 0 0
1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.61 c integral : 27.30 0.00 0.00 27.30 0.00
1800.10/1800.61 c linear : 311.96 0.00 311.96 0.00 0.00
1800.10/1800.61 c logicor : 2.26 0.00 2.26 0.00 0.00
1800.10/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.61 c vbounds : 1.88 2 0 0
1800.10/1800.61 c rootredcost : 1.88 33 0 56
1800.10/1800.61 c pseudoobj : 37.47 4077868 6004 469357
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 27.14 387153 99775 119167 60.6 23 32.1 -
1800.10/1800.61 c infeasible LP : 2.32 25048 23171 31928 40.3 4 33.0 0
1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1800.10/1800.61 c applied globally : - - - 8434 27.0 - - -
1800.10/1800.61 c applied locally : - - - 113296 57.9 - - -
1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.61 c cut pool : 0.00 6 - - 7 - (maximal pool size: 100)
1800.10/1800.61 c redcost : 53.33 2245434 0 13574462 0 0
1800.10/1800.61 c impliedbounds : 0.00 7 0 0 0 0
1800.10/1800.61 c intobj : 0.00 0 0 0 0 0
1800.10/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.61 c gomory : 0.02 7 0 0 0 0
1800.10/1800.61 c strongcg : 0.02 7 0 0 55 0
1800.10/1800.61 c cmir : 0.04 7 0 0 16 0
1800.10/1800.61 c flowcover : 0.07 7 0 0 35 0
1800.10/1800.61 c clique : 0.00 1 0 0 0 0
1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.61 c mcf : 0.00 1 0 0 0 0
1800.10/1800.61 c rapidlearning : 0.09 1 0 0 0 23
1800.10/1800.61 c Pricers : Time Calls Vars
1800.10/1800.61 c problem variables: 0.00 0 0
1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c relpscost : 25.28 1662236 156 12706 0 0 3299036
1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c random : 0.00 0 0 0 0 0 0
1800.10/1800.61 c Primal Heuristics : Time Calls Found
1800.10/1800.61 c LP solutions : 0.12 - 27
1800.10/1800.61 c pseudo solutions : 0.00 - 0
1800.10/1800.61 c feaspump : 0.23 1 0
1800.10/1800.61 c oneopt : 1.88 33 0
1800.10/1800.61 c crossover : 25.56 16 0
1800.10/1800.61 c rootsoldiving : 9.83 1740 16
1800.10/1800.61 c objpscostdiving : 5.74 2418 0
1800.10/1800.61 c pscostdiving : 23.75 5939 0
1800.10/1800.61 c coefdiving : 45.30 5940 0
1800.10/1800.61 c linesearchdiving : 18.72 5940 0
1800.10/1800.61 c guideddiving : 19.90 5940 3
1800.10/1800.61 c fracdiving : 24.36 5940 2
1800.10/1800.61 c veclendiving : 18.46 5940 0
1800.10/1800.61 c trivial : 0.00 2 0
1800.10/1800.61 c simplerounding : 1.45 0 0
1800.10/1800.61 c zirounding : 1.38 1000 0
1800.10/1800.61 c rounding : 2.69 19068 0
1800.10/1800.61 c shifting : 5.50 5985 0
1800.10/1800.61 c intshifting : 0.15 0 0
1800.10/1800.61 c twoopt : 0.00 0 0
1800.10/1800.61 c fixandinfer : 0.00 0 0
1800.10/1800.61 c intdiving : 0.00 0 0
1800.10/1800.61 c actconsdiving : 0.00 0 0
1800.10/1800.61 c octane : 0.00 0 0
1800.10/1800.61 c rens : 0.02 1 0
1800.10/1800.61 c rins : 0.00 0 0
1800.10/1800.61 c localbranching : 0.00 0 0
1800.10/1800.61 c mutation : 0.00 0 0
1800.10/1800.61 c dins : 0.00 0 0
1800.10/1800.61 c undercover : 0.00 0 0
1800.10/1800.61 c nlp : 1.09 0 0
1800.10/1800.61 c trysol : 2.25 0 0
1800.10/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.61 c dual LP : 713.20 2395540 11521483 4.81 16154.63
1800.10/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.61 c diving/probing LP: 103.96 510789 1325554 2.60 12750.62
1800.10/1800.61 c strong branching : 8.61 23646 122664 5.19 14246.69
1800.10/1800.61 c (at root node) : - 13 328 25.23 -
1800.10/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.61 c B&B Tree :
1800.10/1800.61 c number of runs : 1
1800.10/1800.61 c nodes : 2577490
1800.10/1800.61 c nodes (total) : 2577490
1800.10/1800.61 c nodes left : 683055
1800.10/1800.61 c max depth : 56
1800.10/1800.61 c max depth (total): 56
1800.10/1800.61 c backtracks : 468088 (18.2%)
1800.10/1800.61 c delayed cutoffs : 20181
1800.10/1800.61 c repropagations : 40290 (153329 domain reductions, 20172 cutoffs)
1800.10/1800.61 c avg switch length: 5.31
1800.10/1800.61 c switching time : 87.14
1800.10/1800.61 c Solution :
1800.10/1800.61 c Solutions found : 49 (33 improvements)
1800.10/1800.61 c First Solution : +1.09300000000000e+03 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.10/1800.61 c Primal Bound : +1.50000000000000e+01 (in run 1, after 2457619 nodes, 1512.11 seconds, depth 42, found by <relaxation>)
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Root Iterations : 89
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665654-1276615391/watcher-2665654-1276615391 -o /tmp/evaluation-result-2665654-1276615391/solver-2665654-1276615391 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665654-1276615391.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: 0.92 0.98 0.99 3/105 12370 /proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=10316 CPUtime=0 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 1374 0 0 0 0 0 0 0 23 0 1 0 2832249 10563584 1295 1992294400 4194304 9819077 140735757700640 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12370/statm: 2579 1305 371 1374 0 1200 0 [startup+0.0691589 s] /proc/loadavg: 0.92 0.98 0.99 3/105 12370 /proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=22556 CPUtime=0.06 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 4983 0 0 0 5 1 0 0 18 0 1 0 2832249 23097344 4027 1992294400 4194304 9819077 140735757700640 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 5639 4033 673 1374 0 4260 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 22556 [startup+0.101162 s] /proc/loadavg: 0.92 0.98 0.99 3/105 12370 /proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=22820 CPUtime=0.09 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 5026 0 0 0 8 1 0 0 18 0 1 0 2832249 23367680 4070 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 5705 4070 673 1374 0 4326 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22820 [startup+0.301188 s] /proc/loadavg: 0.92 0.98 0.99 3/105 12370 /proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=22608 CPUtime=0.3 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 6447 0 0 0 27 3 0 0 18 0 1 0 2832249 23150592 4168 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 5652 4168 687 1374 0 4273 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 22608 [startup+0.701238 s] /proc/loadavg: 0.92 0.98 0.99 3/105 12370 /proc/meminfo: memFree=1756592/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=17632 CPUtime=0.69 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 15248 0 0 0 60 9 0 0 18 0 1 0 2832249 18055168 2934 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 4288 2931 723 1374 0 2909 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17632 [startup+1.50134 s] /proc/loadavg: 0.92 0.98 0.99 2/106 12371 /proc/meminfo: memFree=1746788/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=16832 CPUtime=1.5 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 24582 0 0 0 130 20 0 0 19 0 1 0 2832249 17235968 2933 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 4208 2932 725 1374 0 2829 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 16832 [startup+3.10154 s] /proc/loadavg: 0.92 0.98 0.99 2/106 12371 /proc/meminfo: memFree=1746788/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=17712 CPUtime=3.1 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 41939 0 0 0 270 40 0 0 25 0 1 0 2832249 18137088 3140 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 4268 3135 725 1374 0 2889 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 17712 [startup+6.30195 s] /proc/loadavg: 0.93 0.98 0.99 2/106 12371 /proc/meminfo: memFree=1744432/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=28120 CPUtime=6.29 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 82977 0 0 0 544 85 0 0 25 0 1 0 2832249 28794880 5224 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 7030 5224 725 1374 0 5651 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28120 [startup+12.7008 s] /proc/loadavg: 0.93 0.98 0.99 2/106 12371 /proc/meminfo: memFree=1742820/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=21416 CPUtime=12.69 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 150338 0 0 0 1105 164 0 0 25 0 1 0 2832249 21929984 4095 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 5354 4095 725 1374 0 3975 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21416 [startup+25.5004 s] /proc/loadavg: 0.95 0.98 0.99 2/106 12371 /proc/meminfo: memFree=1730172/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=36044 CPUtime=25.48 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 298829 0 0 0 2217 331 0 0 25 0 1 0 2832249 36909056 7268 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 8971 7267 725 1374 0 7592 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36044 [startup+51.1007 s] /proc/loadavg: 0.96 0.98 0.99 2/106 12373 /proc/meminfo: memFree=1724468/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=39196 CPUtime=51.07 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 564942 0 0 0 4460 647 0 0 25 0 1 0 2832249 40136704 8663 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 9799 8663 725 1374 0 8420 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39196 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/106 12373 /proc/meminfo: memFree=1707728/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=56744 CPUtime=102.26 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 1122467 0 0 0 8935 1291 0 0 25 0 1 0 2832249 58105856 12632 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 14186 12631 725 1374 0 12807 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 56744 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12375 /proc/meminfo: memFree=1684664/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=82112 CPUtime=162.25 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 1746515 0 0 0 14166 2059 0 0 25 0 1 0 2832249 84082688 18552 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 20568 18553 725 1374 0 19189 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 82112 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12377 /proc/meminfo: memFree=1677720/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=86504 CPUtime=222.22 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 2375103 0 0 0 19405 2817 0 0 25 0 1 0 2832249 88580096 20200 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 21426 20195 725 1374 0 20047 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 86504 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12379 /proc/meminfo: memFree=1659988/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=103692 CPUtime=282.21 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 2971938 0 0 0 24670 3551 0 0 25 0 1 0 2832249 106180608 24611 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 25923 24611 725 1374 0 24544 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 103692 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12379 /proc/meminfo: memFree=1645356/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=117140 CPUtime=342.19 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 3634843 0 0 0 29873 4346 0 0 25 0 1 0 2832249 119951360 28068 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 29285 28068 725 1374 0 27906 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 117140 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12381 /proc/meminfo: memFree=1633452/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=130552 CPUtime=402.17 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 4256471 0 0 0 35116 5101 0 0 25 0 1 0 2832249 133685248 31424 1992294400 4194304 9819077 140735757700640 18446744073709551615 4923131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 32638 31424 725 1374 0 31259 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 130552 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 12383 /proc/meminfo: memFree=1621176/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=141388 CPUtime=462.16 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 4860739 0 0 0 40357 5859 0 0 25 0 1 0 2832249 144781312 34261 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 35387 34262 725 1374 0 34008 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 141388 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 3/106 12385 /proc/meminfo: memFree=1608032/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=158452 CPUtime=522.14 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 5463013 0 0 0 45623 6591 0 0 25 0 1 0 2832249 162254848 37506 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 39613 37506 725 1374 0 38234 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 158452 [startup+582.301 s] /proc/loadavg: 1.06 1.00 1.00 2/106 12390 /proc/meminfo: memFree=1594020/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=171480 CPUtime=582.13 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 6057058 0 0 0 50889 7324 0 0 25 0 1 0 2832249 175595520 40851 1992294400 4194304 9819077 140735757700640 18446744073709551615 6372719 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 42870 40851 725 1374 0 41491 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 171480 [startup+642.301 s] /proc/loadavg: 1.02 1.00 1.00 2/106 12390 /proc/meminfo: memFree=1581496/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=183772 CPUtime=642.12 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 6650006 0 0 0 56158 8054 0 0 25 0 1 0 2832249 188182528 43997 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 45943 43997 725 1374 0 44564 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 183772 [startup+702.301 s] ################ # More data... # ################ /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 10168218 0 0 0 87851 12350 0 0 25 0 1 0 2832249 291794944 69902 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 71239 69902 726 1374 0 69860 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 284956 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12402 /proc/meminfo: memFree=1462952/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=299236 CPUtime=1061.99 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 10752602 0 0 0 93128 13071 0 0 25 0 1 0 2832249 306417664 73548 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 74809 73548 726 1374 0 73430 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 299236 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12404 /proc/meminfo: memFree=1443484/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=317968 CPUtime=1121.97 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 11335634 0 0 0 98404 13793 0 0 25 0 1 0 2832249 325599232 78304 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 79492 78304 726 1374 0 78113 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 317968 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12406 /proc/meminfo: memFree=1432076/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=337224 CPUtime=1181.95 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 11919578 0 0 0 103685 14510 0 0 25 0 1 0 2832249 345317376 81152 1992294400 4194304 9819077 140735757700640 18446744073709551615 4948281 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 84306 81152 726 1374 0 82927 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 337224 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12406 /proc/meminfo: memFree=1416204/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=352312 CPUtime=1241.94 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 12504127 0 0 0 108963 15231 0 0 25 0 1 0 2832249 360767488 84989 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 88078 84989 726 1374 0 86699 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 352312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12408 /proc/meminfo: memFree=1404920/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=363108 CPUtime=1301.93 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 13080119 0 0 0 114238 15955 0 0 25 0 1 0 2832249 371822592 87753 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 90617 87748 726 1374 0 89238 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 363108 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12410 /proc/meminfo: memFree=1387064/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=380624 CPUtime=1361.9 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 13656666 0 0 0 119516 16674 0 0 25 0 1 0 2832249 389758976 92220 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 94916 92215 726 1374 0 93537 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 380624 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12412 /proc/meminfo: memFree=1370696/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=396396 CPUtime=1421.9 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 14231627 0 0 0 124808 17382 0 0 25 0 1 0 2832249 405909504 96279 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 98979 96276 726 1374 0 97600 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 396396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12414 /proc/meminfo: memFree=1354452/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=413764 CPUtime=1481.87 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 14802846 0 0 0 130088 18099 0 0 25 0 1 0 2832249 423694336 100754 1992294400 4194304 9819077 140735757700640 18446744073709551615 4947373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 103441 100754 726 1374 0 102062 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 413764 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12414 /proc/meminfo: memFree=1339572/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=427424 CPUtime=1541.86 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 15374029 0 0 0 135368 18818 0 0 25 0 1 0 2832249 437682176 104243 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 106856 104243 726 1374 0 105477 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 427424 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12416 /proc/meminfo: memFree=1324320/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=441232 CPUtime=1601.84 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 15943602 0 0 0 140641 19543 0 0 25 0 1 0 2832249 451821568 107788 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 110308 107788 726 1374 0 108929 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 441232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12418 /proc/meminfo: memFree=1312292/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=452644 CPUtime=1661.83 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 16519572 0 0 0 145922 20261 0 0 25 0 1 0 2832249 463507456 110741 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 113161 110741 726 1374 0 111782 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 452644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12420 /proc/meminfo: memFree=1302248/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=462152 CPUtime=1721.81 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17091230 0 0 0 151194 20987 0 0 25 0 1 0 2832249 473243648 113229 1992294400 4194304 9819077 140735757700640 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 115578 113230 726 1374 0 114199 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 462152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12422 /proc/meminfo: memFree=1292824/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=471176 CPUtime=1781.79 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17670707 0 0 0 156473 21706 0 0 25 0 1 0 2832249 482484224 115494 1992294400 4194304 9819077 140735757700640 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 117794 115494 726 1374 0 116415 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 471176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12422 /proc/meminfo: memFree=1289724/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=474212 CPUtime=1800.1 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17847586 0 0 0 158078 21932 0 0 25 0 1 0 2832249 485593088 116275 1992294400 4194304 9819077 140735757700640 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12370/statm: 118553 116275 726 1374 0 117174 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 474212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12370 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12422 /proc/meminfo: memFree=1289724/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=474212 CPUtime=1800.89 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17847592 0 0 0 158157 21932 0 0 25 0 1 0 2832249 485593088 116276 1992294400 4194304 9819077 140735757700640 18446744073709551615 4616591 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12370/statm: 118553 116276 727 1374 0 117174 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 474212 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12423 /proc/meminfo: memFree=1289592/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=474212 CPUtime=1801.69 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17847592 0 0 0 158237 21932 0 0 25 0 1 0 2832249 485593088 116276 1992294400 4194304 9819077 140735757700640 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12370/statm: 118553 116276 727 1374 0 117174 0 Current children cumulated CPU time (s) 1801.69 Current children cumulated vsize (KiB) 474212 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12423 /proc/meminfo: memFree=1289592/2059040 swapFree=4192956/4192956 [pid=12370] ppid=12368 vsize=474212 CPUtime=1802.09 /proc/12370/stat : 12370 (pbscip.linux.x8) R 12368 12370 12345 0 -1 4202496 17847592 0 0 0 158277 21932 0 0 25 0 1 0 2832249 485593088 116276 1992294400 4194304 9819077 140735757700640 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12370/statm: 118553 116276 727 1374 0 117174 0 Current children cumulated CPU time (s) 1802.09 Current children cumulated vsize (KiB) 474212 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.66 CPU time (s): 1802.15 CPU user time (s): 1582.79 CPU system time (s): 219.367 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 474212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1582.79 system time used= 219.367 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17847592 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= 2 involuntary context switches= 1659 runsolver used 3.11453 second user time and 8.38772 second system time The end
Begin job on node080 at 2010-06-15 17:23:11 IDJOB=2665654 IDBENCH=2921 IDSOLVER=1168 FILE ID=node080/2665654-1276615391 PBS_JOBID= 11172304 Free space on /tmp= 62592 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_7_60_4.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-2665654-1276615391/watcher-2665654-1276615391 -o /tmp/evaluation-result-2665654-1276615391/solver-2665654-1276615391 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665654-1276615391.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=492707980 node080.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.242 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.48 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.242 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 : 5999.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1756996 kB Buffers: 31780 kB Cached: 134912 kB SwapCached: 0 kB Active: 100588 kB Inactive: 125932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1756996 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6272 kB Writeback: 0 kB AnonPages: 59856 kB Mapped: 15364 kB Slab: 53840 kB PageTables: 3892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182596 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= 62584 MiB End job on node080 at 2010-06-15 17:53:14