Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.13 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo |
| MD5SUM | ccbb2f2628d7a379eab2ad56e88b2a24 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 268.492 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 927 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 45360 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45359 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 745 |
| Number of bits of the biggest sum of numbers | 10 |
| 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: NONE] [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-2694197-1277910426.wbo>
0.00/0.02 c original problem has 2085 variables (1158 bin, 0 int, 0 impl, 927 cont) and 3635 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.06/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.06/0.08 c (round 3) 54 del vars, 168 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 1141 impls, 14 clqs
0.09/0.10 c (round 4) 110 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.11 c (round 5) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 1141 impls, 14 clqs
0.09/0.15 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 112 deleted vars, 170 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients
0.09/0.15 c 1141 implications, 14 cliques
0.09/0.15 c presolved problem has 1973 variables (1102 bin, 0 int, 0 impl, 871 cont) and 3465 constraints
0.09/0.15 c 871 constraints of type <indicator>
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 14 constraints of type <setppc>
0.09/0.15 c 871 constraints of type <linear>
0.09/0.15 c 1708 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |7624k| 0 | - |1973 |3465 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.01 o 631
1.00/1.01 c * 0.9s| 3597 | 2827 | 0 | 0.0 |9962k|1058 | - |1973 |4049 | 0 | 0 | 0 | 772 | 0 | 0.000000e+00 | 6.310000e+02 | Inf
2.69/2.79 c 2.7s| 10000 | 7983 | 0 | 0.0 | 14M|1058 | - |1973 |4857 | 0 | 0 | 0 |3732 | 0 | 0.000000e+00 | 6.310000e+02 | Inf
6.69/6.73 c 6.5s| 20000 | 14039 | 0 | 0.0 | 23M|1058 | - |1973 |6355 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 6.310000e+02 | Inf
7.60/7.62 o 364
7.60/7.62 c * 7.4s| 21542 | 14514 | 0 | 0.0 | 24M|1058 | - |1973 |7023 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.640000e+02 | Inf
7.70/7.78 o 338
7.70/7.78 c * 7.5s| 22123 | 15063 | 0 | 0.0 | 24M|1058 | - |1973 |6641 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.380000e+02 | Inf
7.89/7.92 o 313
7.89/7.92 c * 7.7s| 22609 | 15519 | 0 | 0.0 | 24M|1058 | - |1973 |6373 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
7.99/8.05 o 241
7.99/8.05 c * 7.8s| 23073 | 15920 | 0 | 0.0 | 24M|1058 | - |1973 |6175 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.410000e+02 | Inf
7.99/8.05 o 233
7.99/8.05 c * 7.8s| 23074 | 15908 | 0 | 0.0 | 24M|1058 | - |1973 |6175 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
8.29/8.35 o 218
8.29/8.35 c * 8.1s| 24038 | 16738 | 0 | 0.0 | 25M|1058 | - |1973 |6061 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.180000e+02 | Inf
8.39/8.44 o 203
8.39/8.44 c * 8.2s| 24285 | 16877 | 0 | 0.0 | 25M|1058 | - |1973 |6086 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.030000e+02 | Inf
8.39/8.44 o 151
8.39/8.44 c * 8.2s| 24286 | 16667 | 0 | 0.0 | 25M|1058 | - |1973 |6086 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
8.80/8.81 o 106
8.80/8.81 c * 8.5s| 25493 | 17565 | 0 | 0.0 | 26M|1058 | - |1973 |5696 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
10.19/10.22 c 9.9s| 30000 | 21214 | 0 | 0.0 | 29M|1058 | - |1973 |5178 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
13.59/13.63 c 13.2s| 40000 | 28347 | 0 | 0.0 | 37M|1058 | - |1973 |6998 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
17.50/17.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.50/17.55 c 17.0s| 50000 | 34820 | 0 | 0.0 | 45M|1058 | - |1973 |7850 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
21.79/21.87 c 21.2s| 60000 | 40849 | 0 | 0.0 | 52M|1058 | - |1973 |8304 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
26.69/26.72 c 25.9s| 70000 | 46192 | 0 | 0.0 | 60M|1058 | - |1973 |8912 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
32.19/32.27 c 31.3s| 80000 | 50511 | 0 | 0.0 | 68M|1058 | - |1973 |9243 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
38.29/38.34 c 37.3s| 90000 | 54222 | 0 | 0.0 | 77M|1058 | - |1973 | 10k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
46.30/46.31 c 45.1s|100000 | 55828 | 0 | 0.0 | 85M|1058 | - |1973 | 15k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
50.09/50.17 c 48.9s|110000 | 64498 | 0 | 0.0 | 91M|1058 | - |1973 |7260 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
50.19/50.27 o 77
50.19/50.27 c *49.0s|110266 | 63049 | 0 | 0.0 | 87M|1058 | - |1973 |7289 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
54.49/54.52 c 53.1s|120000 | 70487 | 0 | 0.0 | 98M|1058 | - |1973 |5491 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
56.49/56.54 o 71
56.49/56.54 c *55.0s|123578 | 71717 | 0 | 0.0 | 102M|1058 | - |1973 |6109 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
59.10/59.17 c 57.6s|130000 | 76456 | 0 | 0.0 | 107M|1058 | - |1973 |5258 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
62.90/62.96 c 61.3s|140000 | 84129 | 0 | 0.0 | 117M|1058 | - |1973 |6245 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
63.29/63.35 o 62
63.29/63.35 c *61.6s|140911 | 84369 | 0 | 0.0 | 116M|1058 | - |1973 |6451 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
63.80/63.84 o 57
63.80/63.84 c *62.1s|141931 | 84891 | 0 | 0.0 | 117M|1058 | - |1973 |6574 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
67.10/67.11 c 65.3s|150000 | 90462 | 0 | 0.0 | 123M|1058 | - |1973 |5697 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
71.29/71.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.29/71.33 c 69.4s|160000 | 97148 | 0 | 0.0 | 130M|1058 | - |1973 |4481 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
74.70/74.78 c 72.7s|170000 |104987 | 0 | 0.0 | 137M|1058 | - |1973 |5264 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
79.29/79.30 c 77.1s|180000 |110818 | 0 | 0.0 | 144M|1058 | - |1973 |6963 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
84.39/84.40 c 82.1s|190000 |115869 | 0 | 0.0 | 152M|1058 | - |1973 |7885 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
89.99/90.06 c 87.6s|200000 |120177 | 0 | 0.0 | 159M|1058 | - |1973 |8724 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
96.09/96.15 c 93.6s|210000 |124074 | 0 | 0.0 | 167M|1058 | - |1973 |9224 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
102.49/102.55 c 99.8s|220000 |127621 | 0 | 0.0 | 174M|1058 | - |1973 |8829 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
109.10/109.13 c 106s|230000 |130925 | 0 | 0.0 | 181M|1058 | - |1973 | 10k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
115.90/115.94 c 113s|240000 |133946 | 0 | 0.0 | 187M|1058 | - |1973 | 10k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
122.60/122.67 c 120s|250000 |137238 | 0 | 0.0 | 194M|1058 | - |1973 | 11k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
129.80/129.85 c 127s|260000 |139931 | 0 | 0.0 | 200M|1058 | - |1973 | 10k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
137.70/137.71 c 134s|270000 |141952 | 0 | 0.0 | 206M|1058 | - |1973 | 10k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
145.89/145.93 c 142s|280000 |143484 | 0 | 0.0 | 212M|1058 | - |1973 | 11k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
154.90/154.91 c 151s|290000 |144198 | 0 | 0.0 | 216M|1058 | - |1973 | 11k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
163.99/164.08 c 160s|300000 |145065 | 0 | 0.0 | 220M|1058 | - |1973 | 13k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
173.99/174.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.99/174.00 c 170s|310000 |145406 | 0 | 0.0 | 224M|1058 | - |1973 | 13k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
185.80/185.83 c 182s|320000 |144208 | 0 | 0.0 | 227M|1058 | - |1973 | 16k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
194.10/194.11 c 190s|330000 |147798 | 0 | 0.0 | 226M|1058 | - |1973 |4985 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
197.59/197.62 o 56
197.59/197.62 c * 193s|339911 |155926 | 0 | 0.0 | 234M|1058 | - |1973 |4768 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
197.59/197.65 c 193s|340000 |156004 | 0 | 0.0 | 234M|1058 | - |1973 |4760 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
201.21/201.27 c 197s|350000 |164162 | 0 | 0.0 | 242M|1058 | - |1973 |5072 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
204.90/204.94 c 200s|360000 |172227 | 0 | 0.0 | 251M|1058 | - |1973 |5428 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
208.30/208.32 o 47
208.30/208.32 c * 204s|368837 |177624 | 0 | 0.0 | 251M|1058 | - |1973 |5807 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
208.79/208.88 c 204s|370000 |178508 | 0 | 0.0 | 252M|1058 | - |1973 |5310 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
212.80/212.88 c 208s|380000 |186024 | 0 | 0.0 | 260M|1058 | - |1973 |5129 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
216.50/216.58 o 35
216.50/216.58 c * 212s|389127 |190634 | 0 | 0.0 | 256M|1058 | - |1973 |5430 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
216.90/216.98 c 212s|390000 |191236 | 0 | 0.0 | 258M|1058 | - |1973 |5462 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
221.90/221.99 c 217s|400000 |197152 | 0 | 0.0 | 269M|1058 | - |1973 |5565 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
227.20/227.23 c 222s|410000 |202499 | 0 | 0.0 | 278M|1058 | - |1973 |6560 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
233.20/233.24 c 228s|420000 |207017 | 0 | 0.0 | 289M|1058 | - |1973 |7397 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
234.60/234.62 o 28
234.60/234.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.60/234.62 c * 229s|422189 |206635 | 0 | 0.0 | 284M|1058 | - |1973 |7534 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
241.00/241.08 c 235s|430000 |208340 | 0 | 0.0 | 294M|1058 | - |1973 |8682 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
250.10/250.11 c 244s|440000 |208833 | 0 | 0.0 | 299M|1058 | - |1973 |6323 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
253.60/253.67 c 248s|450000 |216586 | 0 | 0.0 | 306M|1058 | - |1973 |6079 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
257.30/257.37 c 251s|460000 |223956 | 0 | 0.0 | 313M|1058 | - |1973 |6623 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
261.20/261.27 c 255s|470000 |231040 | 0 | 0.0 | 320M|1058 | - |1973 |7285 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
265.70/265.74 c 259s|480000 |237377 | 0 | 0.0 | 327M|1058 | - |1973 |8113 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
270.80/270.89 c 264s|490000 |242889 | 0 | 0.0 | 335M|1058 | - |1973 |8778 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
276.60/276.64 c 270s|500000 |247687 | 0 | 0.0 | 344M|1058 | - |1973 |9808 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
282.90/282.95 c 276s|510000 |251939 | 0 | 0.0 | 352M|1058 | - |1973 | 10k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
290.51/290.55 c 284s|520000 |254694 | 0 | 0.0 | 360M|1058 | - |1973 | 12k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
297.01/297.04 c 290s|530000 |258646 | 0 | 0.0 | 363M|1058 | - |1973 |7691 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
301.10/301.14 c 294s|540000 |265519 | 0 | 0.0 | 370M|1058 | - |1973 |8592 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
305.81/305.81 c 299s|550000 |271654 | 0 | 0.0 | 378M|1058 | - |1973 |9630 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
311.20/311.27 c 304s|560000 |276813 | 0 | 0.0 | 385M|1058 | - |1973 | 10k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
317.51/317.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.51/317.53 c 310s|570000 |281115 | 0 | 0.0 | 393M|1058 | - |1973 | 12k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
325.21/325.22 c 318s|580000 |283928 | 0 | 0.0 | 399M|1058 | - |1973 | 14k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
330.20/330.28 c 323s|590000 |290330 | 0 | 0.0 | 402M|1058 | - |1973 |4834 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
334.21/334.20 c 326s|600000 |297759 | 0 | 0.0 | 410M|1058 | - |1973 |5399 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
338.60/338.60 c 331s|610000 |304460 | 0 | 0.0 | 417M|1058 | - |1973 |5222 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
342.11/342.17 c 334s|620000 |312238 | 0 | 0.0 | 424M|1058 | - |1973 |5712 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
346.60/346.60 c 338s|630000 |318643 | 0 | 0.0 | 432M|1058 | - |1973 |7810 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
349.91/349.99 c 342s|640000 |326526 | 0 | 0.0 | 439M|1058 | - |1973 |6437 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
353.81/353.90 c 346s|650000 |333491 | 0 | 0.0 | 446M|1058 | - |1973 |6644 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
357.91/357.98 c 349s|660000 |340287 | 0 | 0.0 | 454M|1058 | - |1973 |7581 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
362.10/362.18 c 354s|670000 |346967 | 0 | 0.0 | 460M|1058 | - |1973 |7181 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
366.10/366.18 c 357s|680000 |353761 | 0 | 0.0 | 467M|1058 | - |1973 |7177 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
370.20/370.26 c 361s|690000 |360773 | 0 | 0.0 | 473M|1058 | - |1973 |4485 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
373.80/373.82 c 365s|700000 |368171 | 0 | 0.0 | 480M|1058 | - |1973 |5695 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
381.00/381.04 c 372s|710000 |370383 | 0 | 0.0 | 486M|1058 | - |1973 |8843 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
390.41/390.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.41/390.44 c 381s|720000 |370506 | 0 | 0.0 | 492M|1058 | - |1973 | 10k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
400.50/400.52 c 391s|730000 |370254 | 0 | 0.0 | 496M|1058 | - |1973 | 12k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
411.11/411.10 c 402s|740000 |369953 | 0 | 0.0 | 499M|1058 | - |1973 | 13k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
421.91/421.90 c 412s|750000 |370067 | 0 | 0.0 | 503M|1058 | - |1973 | 13k| 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
433.81/433.86 c 424s|760000 |368933 | 0 | 0.0 | 505M|1058 | - |1973 | 15k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
445.91/445.91 c 436s|770000 |368501 | 0 | 0.0 | 507M|1058 | - |1973 | 16k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
458.91/458.98 c 449s|780000 |366809 | 0 | 0.0 | 506M|1058 | - |1973 | 11k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
470.81/470.81 c 460s|790000 |364814 | 0 | 0.0 | 505M|1058 | - |1973 | 11k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
482.91/482.92 c 472s|800000 |362410 | 0 | 0.0 | 503M|1058 | - |1973 | 12k| 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
496.31/496.34 c 486s|810000 |359018 | 0 | 0.0 | 499M|1058 | - |1973 | 12k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
510.61/510.66 c 500s|820000 |354673 | 0 | 0.0 | 494M|1058 | - |1973 | 13k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
525.61/525.69 c 515s|830000 |349994 | 0 | 0.0 | 487M|1058 | - |1973 | 14k| 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
541.81/541.88 c 531s|840000 |344284 | 0 | 0.0 | 473M|1058 | - |1973 | 12k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
546.51/546.59 c 535s|850000 |351399 | 0 | 0.0 | 479M|1058 | - |1973 |7685 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
551.12/551.19 c 540s|860000 |358311 | 0 | 0.0 | 486M|1058 | - |1973 |6652 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
555.51/555.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.51/555.53 c 544s|870000 |365267 | 0 | 0.0 | 493M|1058 | - |1973 |7338 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
559.82/559.83 c 548s|880000 |372302 | 0 | 0.0 | 501M|1058 | - |1973 |7827 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
564.11/564.14 c 552s|890000 |379389 | 0 | 0.0 | 509M|1058 | - |1973 |8244 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
568.51/568.55 c 556s|900000 |386363 | 0 | 0.0 | 516M|1058 | - |1973 |8552 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
573.02/573.08 c 561s|910000 |393241 | 0 | 0.0 | 525M|1058 | - |1973 |8599 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
577.52/577.59 c 565s|920000 |400136 | 0 | 0.0 | 532M|1058 | - |1973 |8778 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
582.01/582.01 c 570s|930000 |407130 | 0 | 0.0 | 540M|1058 | - |1973 |9190 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
586.71/586.73 c 574s|940000 |413839 | 0 | 0.0 | 547M|1058 | - |1973 |9247 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
591.22/591.25 c 579s|950000 |420717 | 0 | 0.0 | 555M|1058 | - |1973 |9491 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
596.02/596.03 c 583s|960000 |427328 | 0 | 0.0 | 562M|1058 | - |1973 |9711 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
600.82/600.83 c 588s|970000 |433905 | 0 | 0.0 | 570M|1058 | - |1973 | 10k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
605.61/605.68 c 593s|980000 |440494 | 0 | 0.0 | 577M|1058 | - |1973 | 10k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
610.81/610.87 c 598s|990000 |446771 | 0 | 0.0 | 584M|1058 | - |1973 | 10k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
615.71/615.73 c 602s| 1000k|453410 | 0 | 0.0 | 591M|1058 | - |1973 | 10k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
621.22/621.25 c 608s| 1010k|459419 | 0 | 0.0 | 599M|1058 | - |1973 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
627.61/627.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.61/627.65 c 614s| 1020k|464463 | 0 | 0.0 | 606M|1058 | - |1973 | 11k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
634.72/634.70 c 621s| 1030k|468991 | 0 | 0.0 | 614M|1058 | - |1973 | 11k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
641.71/641.79 c 628s| 1040k|473434 | 0 | 0.0 | 622M|1058 | - |1973 | 12k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
649.02/649.02 c 635s| 1050k|477804 | 0 | 0.0 | 629M|1058 | - |1973 | 11k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
656.82/656.86 c 643s| 1060k|481674 | 0 | 0.0 | 637M|1058 | - |1973 | 12k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
664.02/664.06 c 650s| 1070k|486150 | 0 | 0.0 | 645M|1058 | - |1973 | 13k| 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
672.22/672.27 c 658s| 1080k|489748 | 0 | 0.0 | 652M|1058 | - |1973 | 12k| 0 | 0 | 0 |1069k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
678.72/678.79 o 24
678.72/678.79 c * 664s| 1087k|490197 | 0 | 0.0 | 646M|1058 | - |1973 | 13k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
681.12/681.17 c 667s| 1090k|490481 | 0 | 0.0 | 649M|1058 | - |1973 | 13k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
690.01/690.06 c 675s| 1100k|494186 | 0 | 0.0 | 661M|1058 | - |1973 | 14k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
691.42/691.44 o 22
691.42/691.44 c * 677s| 1101k|491422 | 0 | 0.0 | 648M|1058 | - |1973 | 14k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
701.02/701.02 c 686s| 1110k|493047 | 0 | 0.0 | 658M|1058 | - |1973 | 11k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
711.22/711.26 c 696s| 1120k|494683 | 0 | 0.0 | 664M|1058 | - |1973 | 12k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
722.02/722.08 c 707s| 1130k|496025 | 0 | 0.0 | 670M|1058 | - |1973 | 13k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
733.12/733.13 c 718s| 1140k|497379 | 0 | 0.0 | 676M|1058 | - |1973 | 14k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
745.02/745.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.02/745.07 c 730s| 1150k|498153 | 0 | 0.0 | 680M|1058 | - |1973 | 15k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
758.62/758.64 c 743s| 1160k|497846 | 0 | 0.0 | 685M|1058 | - |1973 | 16k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
774.33/774.32 c 758s| 1170k|496096 | 0 | 0.0 | 687M|1058 | - |1973 | 17k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
790.42/790.48 c 774s| 1180k|493953 | 0 | 0.0 | 686M|1058 | - |1973 | 20k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
802.82/802.87 c 787s| 1190k|494376 | 0 | 0.0 | 684M|1058 | - |1973 | 12k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
808.82/808.87 c 792s| 1200k|500668 | 0 | 0.0 | 693M|1058 | - |1973 | 12k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
814.82/814.83 c 798s| 1210k|506788 | 0 | 0.0 | 701M|1058 | - |1973 | 12k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
821.02/821.00 c 804s| 1220k|512626 | 0 | 0.0 | 711M|1058 | - |1973 | 12k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
827.83/827.86 c 811s| 1230k|517956 | 0 | 0.0 | 720M|1058 | - |1973 | 13k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
835.12/835.15 c 818s| 1240k|522899 | 0 | 0.0 | 729M|1058 | - |1973 | 13k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
842.52/842.56 c 825s| 1250k|527688 | 0 | 0.0 | 739M|1058 | - |1973 | 13k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
850.12/850.12 c 833s| 1260k|532327 | 0 | 0.0 | 749M|1058 | - |1973 | 13k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
858.03/858.01 c 841s| 1270k|536704 | 0 | 0.0 | 758M|1058 | - |1973 | 13k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
866.02/866.04 c 848s| 1280k|540897 | 0 | 0.0 | 768M|1058 | - |1973 | 14k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
874.12/874.17 c 856s| 1290k|545049 | 0 | 0.0 | 777M|1058 | - |1973 | 14k| 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
882.72/882.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.72/882.78 c 865s| 1300k|548688 | 0 | 0.0 | 786M|1058 | - |1973 | 14k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
891.63/891.66 c 874s| 1310k|552161 | 0 | 0.0 | 796M|1058 | - |1973 | 15k| 0 | 0 | 0 |1350k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
900.32/900.31 c 882s| 1320k|555878 | 0 | 0.0 | 804M|1058 | - |1973 | 15k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
909.32/909.36 c 891s| 1330k|559355 | 0 | 0.0 | 813M|1058 | - |1973 | 16k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
918.72/918.75 c 900s| 1340k|562645 | 0 | 0.0 | 822M|1058 | - |1973 | 17k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
928.63/928.61 c 910s| 1350k|565870 | 0 | 0.0 | 831M|1058 | - |1973 | 17k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
939.43/939.47 c 921s| 1360k|568383 | 0 | 0.0 | 839M|1058 | - |1973 | 18k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
950.03/950.03 c 931s| 1370k|571283 | 0 | 0.0 | 847M|1058 | - |1973 | 19k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
960.82/960.82 c 942s| 1380k|574198 | 0 | 0.0 | 855M|1058 | - |1973 | 19k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
971.73/971.78 c 953s| 1390k|576760 | 0 | 0.0 | 861M|1058 | - |1973 | 20k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
983.52/983.58 c 964s| 1400k|578957 | 0 | 0.0 | 866M|1058 | - |1973 | 21k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
987.43/987.44 o 17
987.43/987.44 c * 968s| 1402k|568303 | 0 | 0.0 | 824M|1058 | - |1973 | 13k| 0 | 0 | 0 |1472k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
995.83/995.89 c 976s| 1410k|568965 | 0 | 0.0 | 831M|1058 | - |1973 | 16k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1011.33/1011.34 c 992s| 1420k|568083 | 0 | 0.0 | 836M|1058 | - |1973 | 21k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1024.93/1024.93 c 1005s| 1430k|569497 | 0 | 0.0 | 838M|1058 | - |1973 | 16k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1032.33/1032.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.33/1032.34 c 1012s| 1440k|575101 | 0 | 0.0 | 847M|1058 | - |1973 | 15k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1040.43/1040.44 c 1020s| 1450k|580125 | 0 | 0.0 | 857M|1058 | - |1973 | 16k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1049.63/1049.69 c 1029s| 1460k|584409 | 0 | 0.0 | 867M|1058 | - |1973 | 17k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1059.34/1059.34 c 1039s| 1470k|588284 | 0 | 0.0 | 878M|1058 | - |1973 | 18k| 0 | 0 | 0 |1556k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1069.63/1069.65 c 1049s| 1480k|591747 | 0 | 0.0 | 888M|1058 | - |1973 | 19k| 0 | 0 | 0 |1568k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1081.23/1081.23 c 1060s| 1490k|594475 | 0 | 0.0 | 898M|1058 | - |1973 | 21k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1093.23/1093.20 c 1072s| 1500k|597086 | 0 | 0.0 | 907M|1058 | - |1973 | 21k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1105.83/1105.85 c 1085s| 1510k|599415 | 0 | 0.0 | 916M|1058 | - |1973 | 22k| 0 | 0 | 0 |1607k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1119.03/1119.08 c 1098s| 1520k|601648 | 0 | 0.0 | 925M|1058 | - |1973 | 23k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1133.04/1133.04 c 1112s| 1530k|603378 | 0 | 0.0 | 932M|1058 | - |1973 | 24k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1147.34/1147.33 c 1126s| 1540k|604989 | 0 | 0.0 | 940M|1058 | - |1973 | 25k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1162.64/1162.65 c 1141s| 1550k|605935 | 0 | 0.0 | 946M|1058 | - |1973 | 25k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1182.04/1182.06 c 1160s| 1560k|604038 | 0 | 0.0 | 948M|1058 | - |1973 | 29k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1188.43/1188.46 c 1166s| 1570k|611904 | 0 | 0.0 | 954M|1058 | - |1973 | 10k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1193.73/1193.76 c 1171s| 1580k|618809 | 0 | 0.0 | 968M|1058 | - |1973 |9315 | 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1199.54/1199.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.54/1199.59 c 1177s| 1590k|625139 | 0 | 0.0 | 984M|1058 | - |1973 | 10k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1206.24/1206.28 c 1184s| 1600k|630824 | 0 | 0.0 |1001M|1058 | - |1973 | 11k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1213.93/1213.92 c 1191s| 1610k|636055 | 0 | 0.0 |1018M|1058 | - |1973 | 12k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1222.04/1222.04 c 1199s| 1620k|641020 | 0 | 0.0 |1033M|1058 | - |1973 | 13k| 0 | 0 | 0 |1731k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1230.04/1230.09 c 1207s| 1630k|646140 | 0 | 0.0 |1048M|1058 | - |1973 | 12k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1237.74/1237.71 c 1214s| 1640k|651397 | 0 | 0.0 |1062M|1058 | - |1973 | 12k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1245.44/1245.43 c 1222s| 1650k|656551 | 0 | 0.0 |1075M|1058 | - |1973 | 12k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1252.84/1252.81 c 1229s| 1660k|661980 | 0 | 0.0 |1090M|1058 | - |1973 | 12k| 0 | 0 | 0 |1765k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1260.44/1260.43 c 1237s| 1670k|667116 | 0 | 0.0 |1105M|1058 | - |1973 | 14k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1269.63/1269.66 c 1246s| 1680k|670986 | 0 | 0.0 |1120M|1058 | - |1973 | 16k| 0 | 0 | 0 |1786k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1280.83/1280.87 c 1257s| 1690k|673388 | 0 | 0.0 |1129M|1058 | - |1973 | 18k| 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1286.04/1286.08 c 1262s| 1700k|681143 | 0 | 0.0 |1139M|1058 | - |1973 | 12k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1291.14/1291.12 c 1267s| 1710k|688310 | 0 | 0.0 |1151M|1058 | - |1973 | 12k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1296.74/1296.78 c 1272s| 1720k|694888 | 0 | 0.0 |1164M|1058 | - |1973 | 13k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1303.14/1303.11 c 1278s| 1730k|700968 | 0 | 0.0 |1178M|1058 | - |1973 | 14k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1310.05/1310.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.05/1310.07 c 1285s| 1740k|706609 | 0 | 0.0 |1192M|1058 | - |1973 | 15k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1317.34/1317.39 c 1292s| 1750k|712061 | 0 | 0.0 |1205M|1058 | - |1973 | 15k| 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1325.24/1325.25 c 1300s| 1760k|717204 | 0 | 0.0 |1218M|1058 | - |1973 | 16k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1333.34/1333.32 c 1308s| 1770k|722301 | 0 | 0.0 |1231M|1058 | - |1973 | 17k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1341.74/1341.73 c 1316s| 1780k|727289 | 0 | 0.0 |1245M|1058 | - |1973 | 18k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1351.24/1351.21 c 1326s| 1790k|731501 | 0 | 0.0 |1259M|1058 | - |1973 | 21k| 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1362.74/1362.80 c 1337s| 1800k|734119 | 0 | 0.0 |1271M|1058 | - |1973 | 24k| 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1370.85/1370.80 c 1345s| 1810k|740120 | 0 | 0.0 |1277M|1058 | - |1973 | 15k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1375.94/1375.96 c 1350s| 1820k|747250 | 0 | 0.0 |1287M|1058 | - |1973 | 13k| 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1381.44/1381.45 c 1355s| 1830k|753939 | 0 | 0.0 |1299M|1058 | - |1973 | 14k| 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1387.34/1387.37 c 1361s| 1840k|760238 | 0 | 0.0 |1310M|1058 | - |1973 | 15k| 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1393.95/1393.99 c 1368s| 1850k|765997 | 0 | 0.0 |1321M|1058 | - |1973 | 16k| 0 | 0 | 0 |1925k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1401.14/1401.19 c 1375s| 1860k|771258 | 0 | 0.0 |1333M|1058 | - |1973 | 17k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1410.25/1410.24 c 1384s| 1870k|775212 | 0 | 0.0 |1345M|1058 | - |1973 | 19k| 0 | 0 | 0 |1944k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1419.45/1419.42 c 1393s| 1880k|778873 | 0 | 0.0 |1351M|1058 | - |1973 | 17k| 0 | 0 | 0 |1956k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1424.84/1424.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.84/1424.81 c 1398s| 1890k|785967 | 0 | 0.0 |1360M|1058 | - |1973 | 16k| 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1430.55/1430.58 c 1404s| 1900k|792528 | 0 | 0.0 |1371M|1058 | - |1973 | 18k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1437.45/1437.49 c 1410s| 1910k|798327 | 0 | 0.0 |1382M|1058 | - |1973 | 19k| 0 | 0 | 0 |1976k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1445.54/1445.59 c 1418s| 1920k|803482 | 0 | 0.0 |1392M|1058 | - |1973 | 20k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1454.34/1454.38 c 1427s| 1930k|808308 | 0 | 0.0 |1402M|1058 | - |1973 | 21k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1462.95/1462.93 c 1435s| 1940k|813337 | 0 | 0.0 |1412M|1058 | - |1973 | 21k| 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1471.14/1471.14 c 1443s| 1950k|818643 | 0 | 0.0 |1421M|1058 | - |1973 | 22k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1480.24/1480.24 c 1452s| 1960k|823422 | 0 | 0.0 |1432M|1058 | - |1973 | 24k| 0 | 0 | 0 |2022k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1492.45/1492.45 c 1464s| 1970k|826072 | 0 | 0.0 |1441M|1058 | - |1973 | 28k| 0 | 0 | 0 |2036k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1500.55/1500.55 c 1472s| 1980k|832527 | 0 | 0.0 |1447M|1058 | - |1973 | 20k| 0 | 0 | 0 |2043k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1507.45/1507.49 c 1479s| 1990k|838834 | 0 | 0.0 |1456M|1058 | - |1973 | 20k| 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1515.45/1515.40 c 1487s| 2000k|844454 | 0 | 0.0 |1467M|1058 | - |1973 | 22k| 0 | 0 | 0 |2057k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1525.15/1525.13 c 1497s| 2010k|848967 | 0 | 0.0 |1477M|1058 | - |1973 | 24k| 0 | 0 | 0 |2067k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1537.25/1537.27 c 1509s| 2020k|851867 | 0 | 0.0 |1487M|1058 | - |1973 | 26k| 0 | 0 | 0 |2080k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1546.05/1546.01 c 1517s| 2030k|857732 | 0 | 0.0 |1492M|1058 | - |1973 | 20k| 0 | 0 | 0 |2087k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1552.65/1552.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.65/1552.64 c 1524s| 2040k|864279 | 0 | 0.0 |1499M|1058 | - |1973 | 20k| 0 | 0 | 0 |2093k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1560.85/1560.89 c 1532s| 2050k|869614 | 0 | 0.0 |1508M|1058 | - |1973 | 22k| 0 | 0 | 0 |2102k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1569.76/1569.72 c 1541s| 2060k|873734 | 0 | 0.0 |1513M|1058 | - |1973 | 16k| 0 | 0 | 0 |2111k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1577.65/1577.60 c 1548s| 2070k|878046 | 0 | 0.0 |1513M|1058 | - |1973 |4081 | 0 | 0 | 0 |2120k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1581.15/1581.10 c 1552s| 2080k|885582 | 0 | 0.0 |1520M|1058 | - |1973 |4599 | 0 | 0 | 0 |2123k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1585.65/1585.61 c 1556s| 2090k|891873 | 0 | 0.0 |1526M|1058 | - |1973 |4326 | 0 | 0 | 0 |2129k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1589.55/1589.57 c 1560s| 2100k|898768 | 0 | 0.0 |1533M|1058 | - |1973 |4248 | 0 | 0 | 0 |2134k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1593.35/1593.35 c 1564s| 2110k|905815 | 0 | 0.0 |1539M|1058 | - |1973 |4685 | 0 | 0 | 0 |2138k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1597.55/1597.51 c 1568s| 2120k|912285 | 0 | 0.0 |1546M|1058 | - |1973 |5289 | 0 | 0 | 0 |2143k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1600.95/1600.94 c 1571s| 2130k|919971 | 0 | 0.0 |1552M|1058 | - |1973 |4546 | 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1605.05/1605.06 c 1575s| 2140k|926470 | 0 | 0.0 |1559M|1058 | - |1973 |5592 | 0 | 0 | 0 |2152k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1608.55/1608.57 c 1578s| 2150k|934017 | 0 | 0.0 |1564M|1058 | - |1973 |4260 | 0 | 0 | 0 |2156k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1612.45/1612.46 c 1582s| 2160k|940778 | 0 | 0.0 |1572M|1058 | - |1973 |5647 | 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1616.45/1616.46 c 1586s| 2170k|947416 | 0 | 0.0 |1577M|1058 | - |1973 |4734 | 0 | 0 | 0 |2166k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1620.25/1620.30 c 1590s| 2180k|954182 | 0 | 0.0 |1584M|1058 | - |1973 |4730 | 0 | 0 | 0 |2171k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1624.16/1624.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.16/1624.15 c 1593s| 2190k|961067 | 0 | 0.0 |1589M|1058 | - |1973 |3859 | 0 | 0 | 0 |2175k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1631.75/1631.79 c 1601s| 2200k|962147 | 0 | 0.0 |1588M|1058 | - |1973 |8404 | 0 | 0 | 0 |2188k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1645.76/1645.76 c 1615s| 2210k|956620 | 0 | 0.0 |1578M|1058 | - |1973 | 11k| 0 | 0 | 0 |2210k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1661.65/1661.68 c 1630s| 2220k|950384 | 0 | 0.0 |1565M|1058 | - |1973 | 13k| 0 | 0 | 0 |2234k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1681.55/1681.54 c 1650s| 2230k|941636 | 0 | 0.0 |1535M|1058 | - |1973 |9854 | 0 | 0 | 0 |2262k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1688.15/1688.15 c 1656s| 2240k|946165 | 0 | 0.0 |1541M|1058 | - |1973 |6964 | 0 | 0 | 0 |2270k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1695.06/1695.07 c 1663s| 2250k|950080 | 0 | 0.0 |1547M|1058 | - |1973 |7609 | 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1702.66/1702.62 c 1671s| 2260k|953551 | 0 | 0.0 |1552M|1058 | - |1973 |6654 | 0 | 0 | 0 |2288k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1710.57/1710.54 c 1678s| 2270k|956459 | 0 | 0.0 |1558M|1058 | - |1973 |7507 | 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1718.56/1718.52 c 1686s| 2280k|959374 | 0 | 0.0 |1563M|1058 | - |1973 |7445 | 0 | 0 | 0 |2307k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1726.46/1726.48 c 1694s| 2290k|962524 | 0 | 0.0 |1568M|1058 | - |1973 |6592 | 0 | 0 | 0 |2316k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1735.06/1735.00 c 1702s| 2300k|964686 | 0 | 0.0 |1574M|1058 | - |1973 |8308 | 0 | 0 | 0 |2327k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1744.15/1744.11 c 1711s| 2310k|966425 | 0 | 0.0 |1578M|1058 | - |1973 |8557 | 0 | 0 | 0 |2338k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1753.46/1753.43 c 1720s| 2320k|967728 | 0 | 0.0 |1582M|1058 | - |1973 |8372 | 0 | 0 | 0 |2349k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1762.06/1762.00 c 1729s| 2330k|969925 | 0 | 0.0 |1587M|1058 | - |1973 |8995 | 0 | 0 | 0 |2359k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1771.56/1771.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.56/1771.53 c 1738s| 2340k|971019 | 0 | 0.0 |1591M|1058 | - |1973 |8861 | 0 | 0 | 0 |2371k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1780.45/1780.49 c 1747s| 2350k|972845 | 0 | 0.0 |1596M|1058 | - |1973 |9560 | 0 | 0 | 0 |2381k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1789.96/1789.93 c 1756s| 2360k|974062 | 0 | 0.0 |1600M|1058 | - |1973 |9183 | 0 | 0 | 0 |2393k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1798.86/1798.90 c 1765s| 2370k|975951 | 0 | 0.0 |1606M|1058 | - |1973 |9573 | 0 | 0 | 0 |2404k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1766.30
1800.06/1800.00 c Solving Nodes : 2371188
1800.06/1800.00 c Primal Bound : +1.70000000000000e+01 (21 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.01 s SATISFIABLE
1800.06/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.06/1800.01 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.06/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 x150 -x149 -x148 -x147
1800.06/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.06/1800.01 v x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.06/1800.01 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 x80
1800.06/1800.01 v -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.06/1800.01 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 -x29
1800.06/1800.01 v -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 -x2
1800.06/1800.01 v -x1
1800.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time : 1766.30
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-2694197-1277910426.wbo
1800.06/1800.01 c Variables : 2085 (1158 binary, 0 integer, 0 implicit integer, 927 continuous)
1800.06/1800.01 c Constraints : 3635 initial, 3635 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-2694197-1277910426.wbo
1800.06/1800.01 c Variables : 1973 (1102 binary, 0 integer, 0 implicit integer, 871 continuous)
1800.06/1800.01 c Constraints : 3465 initial, 30214 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 56 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.00 56 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 0.00 0 0 0 0 0 56 0 0
1800.06/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.06 0 0 0 929 0 114 56 0
1800.06/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c root node : - 732 - - 1464 - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 871 0 6134035 0 1568611 1051 7223538 0 0 0
1800.06/1800.01 c knapsack : 1 0 8153075 0 1865839 169251 24485526 0 0 0
1800.06/1800.01 c setppc : 14 0 8024409 0 1865886 117995 4872553 0 0 0
1800.06/1800.01 c linear : 871 0 7907311 0 1866292 143635 10015809 0 0 0
1800.06/1800.01 c logicor : 1708+ 0 5687309 0 1866309 328961 15730860 0 0 0
1800.06/1800.01 c bounddisjunction : 0+ 0 7870 0 0 0 80 0 0 0
1800.06/1800.01 c countsols : 0 0 0 0 1866309 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c indicator : 26.97 0.00 16.15 0.00 10.82
1800.06/1800.01 c knapsack : 89.74 0.00 85.99 0.00 3.75
1800.06/1800.01 c setppc : 28.93 0.00 25.19 0.00 3.74
1800.06/1800.01 c linear : 138.06 0.00 136.59 0.00 1.47
1800.06/1800.01 c logicor : 561.56 0.00 466.68 0.00 94.88
1800.06/1800.01 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.06/1800.01 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.06/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.01 c vbounds : 2.21 2 0 0
1800.06/1800.01 c rootredcost : 1.81 0 0 0
1800.06/1800.01 c pseudoobj : 171.74 8206654 11136 7140563
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 33.30 770978 770873 3744525 22.5 128927 8.8 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.01 177 177 808 19.3 120 10.2 -
1800.06/1800.01 c applied globally : - - - 2405296 20.0 - - -
1800.06/1800.01 c applied locally : - - - 24 124.0 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.01 c redcost : 0.00 0 0 0 0 0
1800.06/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 0.00 0 0 0 0 0
1800.06/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.01 c cmir : 0.00 0 0 0 0 0
1800.06/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.01 c clique : 0.00 0 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 0 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 39.67 1866288 0 0 0 0 3732576
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 0.00 - 0
1800.06/1800.01 c pseudo solutions : 0.10 - 21
1800.06/1800.01 c oneopt : 0.98 0 0
1800.06/1800.01 c trivial : 0.01 2 0
1800.06/1800.01 c simplerounding : 0.00 0 0
1800.06/1800.01 c zirounding : 0.00 0 0
1800.06/1800.01 c rounding : 0.00 0 0
1800.06/1800.01 c shifting : 0.00 0 0
1800.06/1800.01 c intshifting : 0.00 0 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c feaspump : 0.00 0 0
1800.06/1800.01 c coefdiving : 0.00 0 0
1800.06/1800.01 c pscostdiving : 0.00 0 0
1800.06/1800.01 c fracdiving : 0.00 0 0
1800.06/1800.01 c veclendiving : 0.00 0 0
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c objpscostdiving : 0.00 0 0
1800.06/1800.01 c rootsoldiving : 0.00 0 0
1800.06/1800.01 c linesearchdiving : 0.00 0 0
1800.06/1800.01 c guideddiving : 0.00 0 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 0.00 0 0
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c crossover : 0.00 0 0
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.01 c nlp : 0.66 0 0
1800.06/1800.01 c trysol : 0.55 1 0
1800.06/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.01 c (at root node) : - 0 0 0.00 -
1800.06/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.01 c B&B Tree :
1800.06/1800.01 c number of runs : 1
1800.06/1800.01 c nodes : 2371188
1800.06/1800.01 c nodes (total) : 2371188
1800.06/1800.01 c nodes left : 976105
1800.06/1800.01 c max depth : 1058
1800.06/1800.01 c max depth (total): 1058
1800.06/1800.01 c backtracks : 494671 (20.9%)
1800.06/1800.01 c delayed cutoffs : 359829
1800.06/1800.01 c repropagations : 1844680 (19796897 domain reductions, 267327 cutoffs)
1800.06/1800.01 c avg switch length: 26.16
1800.06/1800.01 c switching time : 520.82
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 21 (21 improvements)
1800.06/1800.01 c First Solution : +6.31000000000000e+02 (in run 1, after 3597 nodes, 0.95 seconds, depth 665, found by <relaxation>)
1800.06/1800.01 c Primal Bound : +1.70000000000000e+01 (in run 1, after 1402720 nodes, 967.95 seconds, depth 437, found by <relaxation>)
1800.06/1800.01 c Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Gap : infinite
1800.06/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Root Iterations : 0
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694197-1277910426/watcher-2694197-1277910426 -o /tmp/evaluation-result-2694197-1277910426/solver-2694197-1277910426 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694197-1277910426.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.11 2.25 3/178 24733 /proc/meminfo: memFree=31541112/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=8300 CPUtime=0 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 1553 0 0 0 0 0 0 0 21 0 1 0 166645732 8499200 1475 4089446400 4194304 7136930 140733716393888 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24733/statm: 2075 1476 275 719 0 1354 0 [startup+0.0703051 s] /proc/loadavg: 1.92 2.11 2.25 3/178 24733 /proc/meminfo: memFree=31541112/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=21320 CPUtime=0.06 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 5495 0 0 0 6 0 0 0 21 0 1 0 166645732 21831680 4549 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 5330 4549 348 719 0 4609 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 21320 [startup+0.100302 s] /proc/loadavg: 1.92 2.11 2.25 3/178 24733 /proc/meminfo: memFree=31541112/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=22212 CPUtime=0.09 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 6741 0 0 0 8 1 0 0 21 0 1 0 166645732 22745088 4767 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 5810 4810 360 719 0 5089 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22212 [startup+0.300271 s] /proc/loadavg: 1.92 2.11 2.25 3/178 24733 /proc/meminfo: memFree=31541112/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=24212 CPUtime=0.29 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 9623 0 0 0 28 1 0 0 18 0 1 0 166645732 24793088 5336 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 6053 5336 399 719 0 5332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24212 [startup+0.70018 s] /proc/loadavg: 1.92 2.11 2.25 3/178 24733 /proc/meminfo: memFree=31541112/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=26396 CPUtime=0.69 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 10177 0 0 0 66 3 0 0 18 0 1 0 166645732 27029504 5890 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 6599 5890 404 719 0 5878 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26396 [startup+1.50103 s] /proc/loadavg: 1.92 2.11 2.25 3/179 24734 /proc/meminfo: memFree=31518040/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=28132 CPUtime=1.49 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 10614 0 0 0 143 6 0 0 19 0 1 0 166645732 28807168 6327 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 7033 6327 404 719 0 6312 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28132 [startup+3.10074 s] /proc/loadavg: 1.92 2.11 2.25 3/179 24734 /proc/meminfo: memFree=31514932/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=33300 CPUtime=3.09 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 11927 0 0 0 299 10 0 0 25 0 1 0 166645732 34099200 7640 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 8325 7640 404 719 0 7604 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33300 [startup+6.30112 s] /proc/loadavg: 1.93 2.11 2.24 3/179 24734 /proc/meminfo: memFree=31504640/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=43020 CPUtime=6.29 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 14343 0 0 0 610 19 0 0 25 0 1 0 166645732 44052480 10056 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 10755 10056 404 719 0 10034 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43020 [startup+12.7009 s] /proc/loadavg: 1.93 2.10 2.24 3/179 24735 /proc/meminfo: memFree=31485668/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=60756 CPUtime=12.69 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 18763 0 0 0 1229 40 0 0 25 0 1 0 166645732 62214144 14476 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 15189 14476 405 719 0 14468 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60756 [startup+25.5005 s] /proc/loadavg: 1.95 2.10 2.24 3/179 24735 /proc/meminfo: memFree=31455504/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=90960 CPUtime=25.49 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 26335 0 0 0 2473 76 0 0 25 0 1 0 166645732 93143040 22048 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24733/statm: 22740 22048 405 719 0 22019 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90960 [startup+51.1006 s] /proc/loadavg: 1.96 2.09 2.23 3/179 24736 /proc/meminfo: memFree=31410912/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=136676 CPUtime=51.09 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 37560 0 0 0 4977 132 0 0 25 0 1 0 166645732 139956224 33273 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 34169 33273 405 719 0 33448 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 136676 [startup+102.307 s] /proc/loadavg: 1.98 2.07 2.22 3/179 24737 /proc/meminfo: memFree=31302620/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=249032 CPUtime=102.3 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 64155 0 0 0 9963 267 0 0 25 0 1 0 166645732 255008768 59868 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 62258 59868 407 719 0 61537 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 249032 [startup+162.3 s] /proc/loadavg: 1.99 2.06 2.20 3/179 24739 /proc/meminfo: memFree=31251984/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=299296 CPUtime=162.3 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 76675 0 0 0 15854 376 0 0 25 0 1 0 166645732 306479104 72388 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 74824 72388 407 719 0 74103 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 299296 [startup+222.301 s] /proc/loadavg: 1.99 2.05 2.18 3/179 24740 /proc/meminfo: memFree=31176916/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=381924 CPUtime=222.3 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 95309 0 0 0 21717 513 0 0 25 0 1 0 166645732 391090176 91022 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 95481 91022 407 719 0 94760 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 381924 [startup+282.301 s] /proc/loadavg: 1.99 2.03 2.17 3/179 24742 /proc/meminfo: memFree=31081640/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=478780 CPUtime=282.31 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 118969 0 0 0 27566 665 0 0 25 0 1 0 166645732 490270720 114682 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 119695 114682 407 719 0 118974 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 478780 [startup+342.301 s] /proc/loadavg: 1.99 2.03 2.16 3/179 24743 /proc/meminfo: memFree=31011772/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=549768 CPUtime=342.3 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 136654 0 0 0 33427 803 0 0 25 0 1 0 166645732 562962432 132367 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 137442 132367 407 719 0 136721 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 549768 [startup+402.301 s] /proc/loadavg: 1.99 2.02 2.15 3/179 24748 /proc/meminfo: memFree=30927656/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=630712 CPUtime=402.31 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 156729 0 0 0 39287 944 0 0 25 0 1 0 166645732 645849088 152442 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 157678 152442 407 719 0 156957 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 630712 [startup+462.3 s] /proc/loadavg: 2.03 2.03 2.14 3/179 24750 /proc/meminfo: memFree=30911200/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=646700 CPUtime=462.31 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 160708 0 0 0 45207 1024 0 0 25 0 1 0 166645732 662220800 156421 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 161675 156421 407 719 0 160954 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 646700 [startup+522.301 s] /proc/loadavg: 2.04 2.03 2.13 3/179 24751 /proc/meminfo: memFree=30908932/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=647952 CPUtime=522.31 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 161024 0 0 0 51122 1109 0 0 25 0 1 0 166645732 663502848 156737 4089446400 4194304 7136930 140733716393888 18446744073709551615 5000681 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 161988 156737 407 719 0 161267 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 647952 [startup+582.301 s] /proc/loadavg: 2.01 2.02 2.12 3/179 24753 /proc/meminfo: memFree=30874304/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=682648 CPUtime=582.31 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 169137 0 0 0 56987 1244 0 0 25 0 1 0 166645732 699031552 164850 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 170662 164850 407 719 0 169941 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 682648 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.11 3/179 24754 /proc/meminfo: memFree=30791304/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=773212 CPUtime=642.32 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 188999 0 0 0 62845 1387 0 0 25 0 1 0 166645732 791769088 184712 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 193303 184712 407 719 0 192582 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 773212 [startup+702.301 s] ################ # More data... # ################ /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 254695 0 0 0 98264 1969 0 0 25 0 1 0 166645732 1065590784 250408 4089446400 4194304 7136930 140733716393888 18446744073709551615 4221155 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 260154 250408 407 719 0 259433 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1040616 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 24766 /proc/meminfo: memFree=30487696/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1078748 CPUtime=1062.33 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 264357 0 0 0 104175 2058 0 0 25 0 1 0 166645732 1104637952 260070 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 269687 260070 407 719 0 268966 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1078748 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 24767 /proc/meminfo: memFree=30451556/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1113736 CPUtime=1122.34 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 273092 0 0 0 110096 2138 0 0 25 0 1 0 166645732 1140465664 268805 4089446400 4194304 7136930 140733716393888 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 278434 268805 407 719 0 277713 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 1113736 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 24769 /proc/meminfo: memFree=30428824/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1137316 CPUtime=1182.33 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 278793 0 0 0 116027 2206 0 0 25 0 1 0 166645732 1164611584 274506 4089446400 4194304 7136930 140733716393888 18446744073709551615 4661498 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 284329 274506 407 719 0 283608 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1137316 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 24770 /proc/meminfo: memFree=30316932/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1253416 CPUtime=1242.33 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 306772 0 0 0 121897 2336 0 0 25 0 1 0 166645732 1283497984 302485 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 313354 302485 407 719 0 312633 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1253416 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 24772 /proc/meminfo: memFree=30206412/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1368204 CPUtime=1302.35 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 334051 0 0 0 127772 2463 0 0 25 0 1 0 166645732 1401040896 329764 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 342051 329764 407 719 0 341330 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1368204 [startup+1362.3 s] /proc/loadavg: 1.96 1.98 2.03 3/179 24802 /proc/meminfo: memFree=30145016/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1480640 CPUtime=1362.35 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 360941 0 0 0 133661 2574 0 0 25 0 1 0 166645732 1516175360 356654 4089446400 4194304 7136930 140733716393888 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 370160 356654 407 719 0 369439 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 1480640 [startup+1422.31 s] /proc/loadavg: 1.98 1.98 2.02 3/179 24803 /proc/meminfo: memFree=30058652/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1561532 CPUtime=1422.35 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 381329 0 0 0 139548 2687 0 0 25 0 1 0 166645732 1599008768 377042 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 390383 377042 407 719 0 389662 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1561532 [startup+1482.3 s] /proc/loadavg: 1.99 1.98 2.02 3/179 24805 /proc/meminfo: memFree=29986072/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1627944 CPUtime=1482.35 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 398267 0 0 0 145446 2789 0 0 25 0 1 0 166645732 1667014656 393980 4089446400 4194304 7136930 140733716393888 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 406986 393980 407 719 0 406265 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 1627944 [startup+1542.3 s] /proc/loadavg: 2.06 2.00 2.02 3/179 24806 /proc/meminfo: memFree=29923156/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1687832 CPUtime=1542.35 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 413138 0 0 0 151358 2877 0 0 25 0 1 0 166645732 1728339968 408851 4089446400 4194304 7136930 140733716393888 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 421958 408851 407 719 0 421237 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1687832 [startup+1602.3 s] /proc/loadavg: 2.02 2.00 2.01 3/179 24808 /proc/meminfo: memFree=29845856/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1760640 CPUtime=1602.35 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 431618 0 0 0 157225 3010 0 0 25 0 1 0 166645732 1802895360 427331 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 440160 427331 407 719 0 439439 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 1760640 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.01 3/179 24810 /proc/meminfo: memFree=29805748/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1793900 CPUtime=1662.35 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 440043 0 0 0 163100 3135 0 0 25 0 1 0 166645732 1836953600 435756 4089446400 4194304 7136930 140733716393888 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 448475 435756 407 719 0 447754 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1793900 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24811 /proc/meminfo: memFree=29798148/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1794924 CPUtime=1722.36 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 440295 0 0 0 168994 3242 0 0 25 0 1 0 166645732 1838002176 436008 4089446400 4194304 7136930 140733716393888 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 448731 436008 407 719 0 448010 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 1794924 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24813 /proc/meminfo: memFree=29785200/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1806484 CPUtime=1782.36 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 443277 0 0 0 174892 3344 0 0 25 0 1 0 166645732 1849839616 438990 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 451621 438990 407 719 0 450900 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 1806484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 24813 /proc/meminfo: memFree=29779972/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1811436 CPUtime=1800.06 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 444508 0 0 0 176631 3375 0 0 25 0 1 0 166645732 1854910464 440221 4089446400 4194304 7136930 140733716393888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/24733/statm: 452859 440221 407 719 0 452138 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1811436 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -24733 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24814 /proc/meminfo: memFree=29779840/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1803120 CPUtime=1801.46 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 444517 0 0 0 176771 3375 0 0 19 0 1 0 166645732 1846394880 438151 4089446400 4194304 7136930 140733716393888 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24733/statm: 450780 438151 412 719 0 450059 0 Current children cumulated CPU time (s) 1801.46 Current children cumulated vsize (KiB) 1803120 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24814 /proc/meminfo: memFree=29788524/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1801316 CPUtime=1801.87 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 444517 0 0 0 176812 3375 0 0 20 0 1 0 166645732 1844547584 437700 4089446400 4194304 7136930 140733716393888 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24733/statm: 450329 437700 412 719 0 449608 0 Current children cumulated CPU time (s) 1801.87 Current children cumulated vsize (KiB) 1801316 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 24814 /proc/meminfo: memFree=29788524/32950928 swapFree=67111528/67111528 [pid=24733] ppid=24731 vsize=1796960 CPUtime=1802.06 /proc/24733/stat : 24733 (pbscip.linux.x8) R 24731 24733 24708 0 -1 4202496 444517 0 0 0 176831 3375 0 0 21 0 1 0 166645732 1840087040 436661 4089446400 4194304 7136930 140733716393888 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/24733/statm: 449240 436661 412 719 0 448519 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 1796960 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.13 CPU user time (s): 1768.32 CPU system time (s): 33.8129 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1811436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1768.32 system time used= 33.8129 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 444517 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= 6 involuntary context switches= 1174 runsolver used 2.95655 second user time and 5.9261 second system time The end
Begin job on node115 at 2010-06-30 17:07:07 IDJOB=2694197 IDBENCH=78977 IDSOLVER=1206 FILE ID=node115/2694197-1277910426 PBS_JOBID= 11197259 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694197-1277910426/watcher-2694197-1277910426 -o /tmp/evaluation-result-2694197-1277910426/solver-2694197-1277910426 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694197-1277910426.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ccbb2f2628d7a379eab2ad56e88b2a24 RANDOM SEED=758914073 node115.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31541640 kB Buffers: 195856 kB Cached: 937460 kB SwapCached: 0 kB Active: 600156 kB Inactive: 666984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31541640 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3256 kB Writeback: 0 kB AnonPages: 133592 kB Mapped: 17476 kB Slab: 78088 kB PageTables: 4428 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 278216 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node115 at 2010-06-30 17:37:09