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) | 10 | 1801.33 | 1801.78 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_1.opb |
| MD5SUM | 7b9886d41278c23acb93039c546a310e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1801.33 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 13 |
| 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 | 73 |
| Maximum length of a constraint | 75 |
| 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 | 1488 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4975 |
| 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-2665655-1276614630.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.01/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.01/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (2 rounds):
0.01/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 0 implications, 0 cliques
0.01/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.01/0.03 c 7 constraints of type <linear>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1800
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/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.01/0.03 c 0.0s| 1 | 0 | 35 | - | 561k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 1409
0.09/0.15 c y 0.1s| 1 | 0 | 35 | - | 613k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 40 | - | 726k| 0 | 10 | 172 | 57 | 172 | 14 | 7 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 46 | - | 799k| 0 | 12 | 172 | 57 | 172 | 19 | 12 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 65 | - | 873k| 0 | 17 | 172 | 57 | 172 | 24 | 17 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 85 | - | 908k| 0 | 20 | 172 | 57 | 172 | 29 | 22 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 102 | - | 932k| 0 | 22 | 172 | 57 | 172 | 32 | 25 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 119 | - | 941k| 0 | 25 | 172 | 57 | 172 | 34 | 27 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.49/0.53 c 0.5s| 1 | 2 | 119 | - | 942k| 0 | 25 | 172 | 57 | 172 | 34 | 27 | 0 | 9 | 0.000000e+00 | 1.409000e+03 | Inf
0.59/0.69 o 194
0.59/0.69 c p 0.6s| 29 | 30 | 424 | 10.9 |1032k| 15 | - | 172 | 57 | 172 | 25 | 27 | 2 | 148 | 0.000000e+00 | 1.940000e+02 | Inf
2.29/2.32 o 150
2.29/2.32 c g 2.0s| 1097 | 1098 | 7149 | 6.4 |1524k| 44 | - | 172 | 71 | 172 | 25 | 27 | 41 | 568 | 0.000000e+00 | 1.500000e+02 | Inf
4.19/4.23 o 101
4.19/4.23 c f 3.7s| 2572 | 2535 | 16489 | 6.4 |2210k| 46 | - | 172 | 73 | 172 | 25 | 27 | 94 | 685 | 0.000000e+00 | 1.010000e+02 | Inf
4.99/5.05 o 85
4.99/5.05 c C 4.4s| 3172 | 3105 | 20230 | 6.3 |2454k| 46 | 7 | 172 | 75 | 172 | 25 | 27 | 118 | 703 | 0.000000e+00 | 8.500000e+01 | Inf
13.10/13.12 c 11.6s| 10000 | 9771 | 59607 | 5.9 |5546k| 50 | 7 | 172 | 33 | 172 | 25 | 27 | 420 | 906 | 0.000000e+00 | 8.500000e+01 | Inf
14.98/15.03 o 84
14.98/15.03 c *13.3s| 11920 | 11617 | 69363 | 5.8 |6397k| 50 | - | 172 | 35 | 172 | 25 | 27 | 493 | 998 | 0.000000e+00 | 8.400000e+01 | Inf
20.29/20.33 o 82
20.29/20.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.29/20.33 c *17.9s| 17160 | 16634 | 95952 | 5.6 |8752k| 50 | - | 172 | 28 | 172 | 25 | 27 | 659 |1231 | 0.000000e+00 | 8.200000e+01 | Inf
21.59/21.60 o 80
21.59/21.60 c *19.1s| 18411 | 17765 |102401 | 5.6 |9300k| 50 | - | 172 | 29 | 172 | 25 | 27 | 712 |1284 | 0.000000e+00 | 8.000000e+01 | Inf
23.18/23.20 c 20.5s| 20000 | 19270 |110368 | 5.5 | 10M| 50 | 7 | 172 | 28 | 172 | 25 | 27 | 768 |1351 | 0.000000e+00 | 8.000000e+01 | Inf
25.20/25.22 o 78
25.20/25.22 c *22.3s| 22054 | 21187 |120714 | 5.5 | 10M| 50 | - | 172 | 29 | 172 | 25 | 27 | 842 |1458 | 0.000000e+00 | 7.800000e+01 | Inf
31.89/31.92 o 76
31.89/31.92 c *28.2s| 28857 | 27249 |155445 | 5.4 | 14M| 53 | - | 172 | 37 | 172 | 25 | 27 |1083 |1779 | 0.000000e+00 | 7.600000e+01 | Inf
32.99/33.08 c 29.3s| 30000 | 28210 |161379 | 5.4 | 14M| 53 | 7 | 172 | 34 | 172 | 25 | 27 |1131 |1820 | 0.000000e+00 | 7.600000e+01 | Inf
35.09/35.15 o 74
35.09/35.15 c *31.1s| 32116 | 30019 |172626 | 5.4 | 15M| 53 | - | 172 | 37 | 172 | 25 | 27 |1200 |1924 | 0.000000e+00 | 7.400000e+01 | Inf
42.78/42.90 c 38.0s| 40000 | 36746 |213336 | 5.3 | 19M| 53 | 7 | 172 | 35 | 172 | 25 | 27 |1504 |2272 | 0.000000e+00 | 7.400000e+01 | Inf
48.57/48.67 o 73
48.57/48.67 c g43.1s| 45793 | 41562 |244185 | 5.3 | 22M| 53 | - | 172 | 33 | 172 | 25 | 27 |1733 |2555 | 0.000000e+00 | 7.300000e+01 | Inf
53.17/53.21 c 47.1s| 50000 | 45010 |268309 | 5.4 | 24M| 53 | 7 | 172 | 36 | 172 | 25 | 27 |1954 |2698 | 0.000000e+00 | 7.300000e+01 | Inf
58.07/58.19 o 71
58.07/58.19 c *51.6s| 55084 | 49117 |294956 | 5.4 | 26M| 53 | - | 172 | 26 | 172 | 25 | 27 |2178 |2853 | 0.000000e+00 | 7.100000e+01 | Inf
63.17/63.25 c 56.1s| 60000 | 53080 |322590 | 5.4 | 28M| 53 | 7 | 172 | 37 | 172 | 25 | 27 |2400 |3075 | 0.000000e+00 | 7.100000e+01 | Inf
64.78/64.86 o 70
64.78/64.86 c *57.6s| 61681 | 54435 |331134 | 5.4 | 29M| 53 | - | 172 | 37 | 172 | 25 | 27 |2483 |3141 | 0.000000e+00 | 7.000000e+01 | Inf
70.57/70.66 o 68
70.57/70.66 c *62.8s| 67594 | 59292 |361314 | 5.3 | 32M| 53 | - | 172 | 39 | 172 | 25 | 27 |2707 |3304 | 0.000000e+00 | 6.800000e+01 | Inf
72.87/72.99 c 64.8s| 70000 | 61301 |373104 | 5.3 | 33M| 53 | 7 | 172 | 35 | 172 | 25 | 27 |2803 |3368 | 0.000000e+00 | 6.800000e+01 | Inf
82.56/82.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.56/82.61 c 73.4s| 80000 | 69673 |423515 | 5.3 | 38M| 53 | 7 | 172 | 30 | 172 | 25 | 27 |3172 |3605 | 0.000000e+00 | 6.800000e+01 | Inf
86.07/86.11 o 67
86.07/86.11 c *76.5s| 83496 | 72361 |442083 | 5.3 | 40M| 53 | - | 172 | 27 | 172 | 25 | 27 |3369 |3700 | 0.000000e+00 | 6.700000e+01 | Inf
92.57/92.64 c 82.3s| 90000 | 77343 |476245 | 5.3 | 43M| 53 | - | 172 | 24 | 172 | 25 | 27 |3725 |3870 | 0.000000e+00 | 6.700000e+01 | Inf
95.76/95.84 o 66
95.76/95.84 c f85.2s| 93206 | 79736 |493062 | 5.3 | 44M| 53 | - | 172 | 26 | 172 | 25 | 27 |3895 |3959 | 0.000000e+00 | 6.600000e+01 | Inf
102.06/102.12 o 65
102.06/102.12 c *90.8s| 98948 | 84179 |524822 | 5.3 | 47M| 53 | - | 172 | 38 | 172 | 25 | 27 |4260 |4075 | 0.000000e+00 | 6.500000e+01 | Inf
103.16/103.20 c 91.7s|100000 | 84890 |530254 | 5.3 | 48M| 53 | 7 | 172 | 51 | 172 | 25 | 27 |4348 |4101 | 0.000000e+00 | 6.500000e+01 | Inf
103.56/103.69 o 64
103.56/103.69 c *92.2s|100476 | 79569 |532560 | 5.3 | 43M| 53 | - | 172 | 55 | 172 | 25 | 27 |4372 |4117 | 0.000000e+00 | 6.400000e+01 | Inf
112.86/112.97 c 100s|110000 | 87538 |582710 | 5.3 | 48M| 53 | 7 | 172 | 62 | 172 | 25 | 27 |4907 |4299 | 0.000000e+00 | 6.400000e+01 | Inf
118.36/118.46 o 63
118.36/118.46 c * 105s|115602 | 92092 |612923 | 5.3 | 50M| 54 | - | 172 | 70 | 172 | 25 | 27 |5216 |4414 | 0.000000e+00 | 6.300000e+01 | Inf
118.36/118.47 o 61
118.36/118.47 c * 105s|115604 | 91800 |612923 | 5.3 | 50M| 55 | - | 172 | 70 | 172 | 25 | 27 |5216 |4414 | 0.000000e+00 | 6.100000e+01 | Inf
122.65/122.79 c 109s|120000 | 95266 |636289 | 5.3 | 52M| 55 | 7 | 172 | 70 | 172 | 25 | 27 |5496 |4502 | 0.000000e+00 | 6.100000e+01 | Inf
124.56/124.67 o 59
124.56/124.67 c * 111s|121930 | 96540 |646464 | 5.3 | 52M| 55 | - | 172 | 62 | 172 | 25 | 27 |5599 |4530 | 0.000000e+00 | 5.900000e+01 | Inf
133.75/133.89 o 58
133.75/133.89 c * 119s|128352 |101452 |680483 | 5.3 | 55M| 55 | - | 172 | 53 | 172 | 25 | 27 |5933 |4662 | 0.000000e+00 | 5.800000e+01 | Inf
135.35/135.43 c 120s|130000 |102852 |688607 | 5.3 | 55M| 55 | 7 | 172 | 51 | 172 | 25 | 27 |6013 |4696 | 0.000000e+00 | 5.800000e+01 | Inf
144.95/145.00 c 129s|140000 |111007 |740928 | 5.3 | 60M| 55 | 7 | 172 | 56 | 172 | 25 | 27 |6549 |4853 | 0.000000e+00 | 5.800000e+01 | Inf
154.64/154.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.64/154.72 c 137s|150000 |119011 |794835 | 5.3 | 64M| 55 | 7 | 172 | 49 | 172 | 25 | 27 |7132 |5019 | 0.000000e+00 | 5.800000e+01 | Inf
164.34/164.42 c 146s|160000 |126883 |848070 | 5.3 | 69M| 55 | 7 | 172 | 53 | 172 | 25 | 27 |7789 |5188 | 0.000000e+00 | 5.800000e+01 | Inf
173.34/173.46 o 56
173.34/173.46 c c 154s|169108 |133088 |898147 | 5.3 | 72M| 55 | - | 172 | 61 | 172 | 25 | 27 |8355 |5351 | 0.000000e+00 | 5.600000e+01 | Inf
173.34/173.47 o 54
173.34/173.47 c f 154s|169108 |132365 |898147 | 5.3 | 71M| 55 | - | 172 | 61 | 172 | 25 | 27 |8356 |5351 | 0.000000e+00 | 5.400000e+01 | Inf
174.75/174.89 c 155s|170000 |133046 |905042 | 5.3 | 72M| 55 | 7 | 172 | 61 | 172 | 25 | 27 |8428 |5369 | 0.000000e+00 | 5.400000e+01 | Inf
185.85/185.93 c 165s|180000 |140303 |964394 | 5.4 | 76M| 55 | 7 | 172 | 46 | 172 | 25 | 27 |9147 |5547 | 0.000000e+00 | 5.400000e+01 | Inf
195.53/195.67 c 174s|190000 |147636 | 1017k| 5.4 | 81M| 55 | 7 | 172 | 45 | 172 | 25 | 27 |9771 |5713 | 0.000000e+00 | 5.400000e+01 | Inf
205.24/205.34 c 182s|200000 |155239 | 1071k| 5.4 | 85M| 55 | 7 | 172 | 51 | 172 | 25 | 27 | 10k|5865 | 0.000000e+00 | 5.400000e+01 | Inf
215.03/215.18 c 191s|210000 |162454 | 1125k| 5.4 | 90M| 55 | 7 | 172 | 47 | 172 | 25 | 27 | 11k|6030 | 0.000000e+00 | 5.400000e+01 | Inf
220.33/220.43 o 53
220.33/220.43 c * 196s|215392 |165901 | 1154k| 5.4 | 91M| 55 | - | 172 | 51 | 172 | 25 | 27 | 11k|6111 | 0.000000e+00 | 5.300000e+01 | Inf
224.83/224.99 c 200s|220000 |169164 | 1179k| 5.4 | 94M| 55 | - | 172 | 50 | 172 | 25 | 27 | 11k|6186 | 0.000000e+00 | 5.300000e+01 | Inf
234.52/234.61 c 208s|230000 |176385 | 1232k| 5.4 | 98M| 55 | 7 | 172 | 41 | 172 | 25 | 27 | 12k|6339 | 0.000000e+00 | 5.300000e+01 | Inf
244.23/244.32 c 217s|240000 |183354 | 1285k| 5.4 | 102M| 56 | 7 | 172 | 43 | 172 | 25 | 27 | 12k|6487 | 0.000000e+00 | 5.300000e+01 | Inf
249.43/249.58 o 50
249.43/249.58 c f 222s|245404 |184825 | 1314k| 5.4 | 102M| 56 | - | 172 | 38 | 172 | 25 | 27 | 13k|6578 | 0.000000e+00 | 5.000000e+01 | Inf
252.83/252.97 o 49
252.83/252.97 c * 225s|248645 |186071 | 1333k| 5.4 | 102M| 56 | - | 172 | 44 | 172 | 25 | 27 | 13k|6607 | 0.000000e+00 | 4.900000e+01 | Inf
252.83/253.00 o 47
252.83/253.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.83/253.00 c * 225s|248649 |180104 | 1333k| 5.4 | 98M| 56 | - | 172 | 44 | 172 | 25 | 27 | 13k|6608 | 0.000000e+00 | 4.700000e+01 | Inf
254.22/254.39 c 226s|250000 |180918 | 1340k| 5.4 | 99M| 56 | - | 172 | 45 | 172 | 25 | 27 | 13k|6630 | 0.000000e+00 | 4.700000e+01 | Inf
264.52/264.68 c 235s|260000 |187294 | 1398k| 5.4 | 103M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 14k|6771 | 0.000000e+00 | 4.700000e+01 | Inf
274.31/274.47 c 244s|270000 |193874 | 1453k| 5.4 | 108M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 15k|6922 | 0.000000e+00 | 4.700000e+01 | Inf
279.11/279.24 o 46
279.11/279.24 c v 248s|274912 |196411 | 1479k| 5.4 | 109M| 56 | - | 172 | 43 | 172 | 25 | 27 | 15k|6986 | 0.000000e+00 | 4.600000e+01 | Inf
280.21/280.34 o 44
280.21/280.34 c * 249s|275912 |195387 | 1486k| 5.4 | 107M| 56 | - | 172 | 43 | 172 | 25 | 27 | 15k|7008 | 0.000000e+00 | 4.400000e+01 | Inf
280.62/280.71 o 42
280.62/280.71 c v 249s|276223 |193636 | 1489k| 5.4 | 105M| 56 | - | 172 | 43 | 172 | 25 | 27 | 15k|7011 | 0.000000e+00 | 4.200000e+01 | Inf
284.31/284.43 c 253s|280000 |195895 | 1513k| 5.4 | 107M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 15k|7046 | 0.000000e+00 | 4.200000e+01 | Inf
294.72/294.84 c 262s|290000 |202014 | 1571k| 5.4 | 111M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 16k|7166 | 0.000000e+00 | 4.200000e+01 | Inf
304.41/304.51 c 271s|300000 |208030 | 1625k| 5.4 | 115M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 17k|7303 | 0.000000e+00 | 4.200000e+01 | Inf
314.10/314.23 c 279s|310000 |213839 | 1680k| 5.4 | 119M| 56 | - | 172 | 37 | 172 | 25 | 27 | 18k|7441 | 0.000000e+00 | 4.200000e+01 | Inf
323.80/323.97 c 288s|320000 |219927 | 1734k| 5.4 | 123M| 56 | 7 | 172 | 41 | 172 | 25 | 27 | 18k|7546 | 0.000000e+00 | 4.200000e+01 | Inf
327.80/327.97 o 40
327.80/327.97 c * 291s|324157 |219900 | 1757k| 5.4 | 122M| 56 | - | 172 | 42 | 172 | 25 | 27 | 19k|7605 | 0.000000e+00 | 4.000000e+01 | Inf
327.80/327.99 o 38
327.80/327.99 c * 291s|324158 |217328 | 1757k| 5.4 | 120M| 56 | - | 172 | 42 | 172 | 25 | 27 | 19k|7605 | 0.000000e+00 | 3.800000e+01 | Inf
336.21/336.37 c 299s|330000 |220501 | 1789k| 5.4 | 122M| 56 | 7 | 172 | 40 | 172 | 25 | 27 | 19k|7670 | 0.000000e+00 | 3.800000e+01 | Inf
346.10/346.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.10/346.22 c 307s|340000 |225915 | 1844k| 5.4 | 126M| 56 | - | 172 | 42 | 172 | 25 | 27 | 20k|7801 | 0.000000e+00 | 3.800000e+01 | Inf
352.50/352.60 o 37
352.50/352.60 c * 313s|346600 |227916 | 1880k| 5.4 | 127M| 56 | - | 172 | 46 | 172 | 25 | 27 | 21k|7891 | 0.000000e+00 | 3.700000e+01 | Inf
355.90/356.08 c 316s|350000 |229732 | 1899k| 5.4 | 129M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 21k|7938 | 0.000000e+00 | 3.700000e+01 | Inf
356.39/356.53 o 36
356.39/356.53 c p 317s|350355 |228389 | 1902k| 5.4 | 127M| 56 | - | 172 | 43 | 172 | 25 | 27 | 21k|7938 | 0.000000e+00 | 3.600000e+01 | Inf
356.39/356.55 o 34
356.39/356.55 c f 317s|350355 |225083 | 1902k| 5.4 | 124M| 56 | - | 172 | 43 | 172 | 25 | 27 | 21k|7938 | 0.000000e+00 | 3.400000e+01 | Inf
363.19/363.38 o 32
363.19/363.38 c * 323s|357593 |198764 | 1939k| 5.4 | 107M| 56 | - | 172 | 44 | 172 | 25 | 27 | 21k|8026 | 0.000000e+00 | 3.200000e+01 | Inf
367.69/367.89 c 327s|360000 |200111 | 1953k| 5.4 | 108M| 56 | 7 | 172 | 31 | 172 | 25 | 27 | 22k|8056 | 0.000000e+00 | 3.200000e+01 | Inf
368.79/368.95 o 31
368.79/368.95 c * 328s|361130 |199809 | 1959k| 5.4 | 108M| 56 | - | 172 | 32 | 172 | 25 | 27 | 22k|8088 | 0.000000e+00 | 3.100000e+01 | Inf
376.99/377.11 o 30
376.99/377.11 c * 335s|368975 |203241 | 2007k| 5.4 | 109M| 56 | - | 172 | 29 | 172 | 25 | 27 | 22k|8188 | 0.000000e+00 | 3.000000e+01 | Inf
376.99/377.12 o 28
376.99/377.12 c * 335s|368976 |201037 | 2007k| 5.4 | 107M| 56 | - | 172 | 29 | 172 | 25 | 27 | 22k|8188 | 0.000000e+00 | 2.800000e+01 | Inf
378.09/378.27 c 336s|370000 |201511 | 2013k| 5.4 | 107M| 56 | - | 172 | 28 | 172 | 25 | 27 | 23k|8191 | 0.000000e+00 | 2.800000e+01 | Inf
382.29/382.48 o 26
382.29/382.48 c * 340s|374571 |201154 | 2040k| 5.4 | 106M| 56 | - | 172 | 35 | 172 | 25 | 27 | 23k|8252 | 0.000000e+00 | 2.600000e+01 | Inf
386.69/386.80 o 24
386.69/386.80 c * 343s|379161 |200424 | 2066k| 5.4 | 105M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8314 | 0.000000e+00 | 2.400000e+01 | Inf
386.69/386.83 o 22
386.69/386.83 c * 343s|379163 |197199 | 2066k| 5.4 | 102M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8315 | 0.000000e+00 | 2.200000e+01 | Inf
386.69/386.86 o 20
386.69/386.86 c * 343s|379164 |193538 | 2066k| 5.4 | 98M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8315 | 0.000000e+00 | 2.000000e+01 | Inf
386.79/386.91 o 18
386.79/386.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.79/386.91 c * 344s|379169 |189502 | 2066k| 5.4 | 95M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8317 | 0.000000e+00 | 1.800000e+01 | Inf
386.79/386.96 o 16
386.79/386.96 c * 344s|379171 |177540 | 2066k| 5.4 | 88M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8317 | 0.000000e+00 | 1.600000e+01 | Inf
386.79/386.98 o 14
386.79/386.98 c * 344s|379172 |173588 | 2066k| 5.4 | 85M| 56 | - | 172 | 31 | 172 | 25 | 27 | 23k|8317 | 0.000000e+00 | 1.400000e+01 | Inf
390.40/390.55 c 347s|380000 |174024 | 2071k| 5.5 | 85M| 56 | 7 | 172 | 28 | 172 | 25 | 27 | 23k|8322 | 0.000000e+00 | 1.400000e+01 | Inf
399.48/399.60 c 355s|390000 |178097 | 2129k| 5.5 | 87M| 56 | - | 172 | 46 | 172 | 25 | 27 | 24k|8443 | 0.000000e+00 | 1.400000e+01 | Inf
408.08/408.20 c 362s|400000 |181540 | 2185k| 5.5 | 89M| 56 | - | 172 | 41 | 172 | 25 | 27 | 25k|8566 | 0.000000e+00 | 1.400000e+01 | Inf
416.69/416.81 c 370s|410000 |185352 | 2241k| 5.5 | 91M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 26k|8664 | 0.000000e+00 | 1.400000e+01 | Inf
424.98/425.16 c 377s|420000 |188845 | 2295k| 5.5 | 93M| 56 | - | 172 | 35 | 172 | 25 | 27 | 26k|8767 | 0.000000e+00 | 1.400000e+01 | Inf
433.29/433.50 c 385s|430000 |191827 | 2350k| 5.5 | 95M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 27k|8890 | 0.000000e+00 | 1.400000e+01 | Inf
441.67/441.81 c 392s|440000 |194866 | 2406k| 5.5 | 97M| 56 | - | 172 | 44 | 172 | 25 | 27 | 28k|9007 | 0.000000e+00 | 1.400000e+01 | Inf
449.78/449.99 c 399s|450000 |197523 | 2460k| 5.5 | 98M| 56 | 7 | 172 | 33 | 172 | 25 | 27 | 28k|9115 | 0.000000e+00 | 1.400000e+01 | Inf
457.97/458.16 c 407s|460000 |200475 | 2514k| 5.5 | 100M| 56 | - | 172 | 39 | 0 | 0 | 27 | 29k|9221 | 0.000000e+00 | 1.400000e+01 | Inf
466.18/466.39 c 414s|470000 |202972 | 2570k| 5.5 | 101M| 56 | 7 | 172 | 35 | 172 | 25 | 27 | 30k|9330 | 0.000000e+00 | 1.400000e+01 | Inf
474.07/474.29 c 421s|480000 |205083 | 2625k| 5.5 | 103M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 31k|9442 | 0.000000e+00 | 1.400000e+01 | Inf
481.86/482.07 c 428s|490000 |207351 | 2676k| 5.5 | 104M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 31k|9553 | 0.000000e+00 | 1.400000e+01 | Inf
490.47/490.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.47/490.65 c 435s|500000 |210278 | 2732k| 5.5 | 106M| 56 | 7 | 172 | 32 | 172 | 25 | 27 | 32k|9652 | 0.000000e+00 | 1.400000e+01 | Inf
499.17/499.34 c 443s|510000 |213474 | 2790k| 5.5 | 108M| 56 | 7 | 172 | 29 | 172 | 25 | 27 | 33k|9763 | 0.000000e+00 | 1.400000e+01 | Inf
507.26/507.46 c 450s|520000 |216352 | 2844k| 5.5 | 110M| 56 | 7 | 172 | 26 | 172 | 25 | 27 | 34k|9871 | 0.000000e+00 | 1.400000e+01 | Inf
515.67/515.90 c 458s|530000 |219516 | 2900k| 5.5 | 112M| 56 | - | 172 | 31 | 172 | 25 | 27 | 34k|9961 | 0.000000e+00 | 1.400000e+01 | Inf
524.05/524.28 c 465s|540000 |222489 | 2955k| 5.5 | 113M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 35k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
532.36/532.52 c 473s|550000 |224996 | 3009k| 5.5 | 115M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 36k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
540.45/540.67 c 480s|560000 |227470 | 3065k| 5.5 | 116M| 56 | 7 | 172 | 47 | 172 | 25 | 27 | 37k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
548.55/548.73 c 487s|570000 |229951 | 3118k| 5.5 | 118M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 38k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
556.84/557.02 c 494s|580000 |232423 | 3175k| 5.5 | 120M| 56 | 7 | 172 | 34 | 172 | 25 | 27 | 38k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
564.94/565.19 c 502s|590000 |234747 | 3230k| 5.5 | 121M| 56 | 7 | 172 | 43 | 172 | 25 | 27 | 39k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
572.74/572.96 c 508s|600000 |236855 | 3283k| 5.5 | 123M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 40k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
580.74/580.90 c 516s|610000 |239325 | 3337k| 5.5 | 124M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 41k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
588.35/588.60 c 522s|620000 |241524 | 3390k| 5.5 | 126M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 41k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
596.04/596.24 c 529s|630000 |243698 | 3441k| 5.5 | 127M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 42k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
603.54/603.77 c 536s|640000 |245384 | 3493k| 5.5 | 128M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 43k| 10k| 0.000000e+00 | 1.400000e+01 | Inf
611.14/611.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.14/611.30 c 543s|650000 |246788 | 3544k| 5.5 | 129M| 56 | 7 | 172 | 40 | 172 | 25 | 27 | 44k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
618.93/619.14 c 549s|660000 |249095 | 3599k| 5.5 | 131M| 56 | - | 172 | 41 | 0 | 0 | 27 | 45k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
626.63/626.85 c 556s|670000 |250965 | 3652k| 5.5 | 132M| 56 | - | 172 | 40 | 0 | 0 | 27 | 45k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
634.54/634.71 c 563s|680000 |252284 | 3706k| 5.5 | 133M| 56 | - | 172 | 34 | 172 | 25 | 27 | 46k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
642.53/642.72 c 570s|690000 |254823 | 3760k| 5.5 | 135M| 56 | - | 172 | 43 | 172 | 25 | 27 | 47k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
650.53/650.79 c 578s|700000 |257134 | 3815k| 5.5 | 136M| 56 | - | 172 | 44 | 172 | 25 | 27 | 48k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
658.82/659.00 c 585s|710000 |260008 | 3869k| 5.4 | 138M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 48k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
666.82/667.09 c 592s|720000 |262882 | 3921k| 5.4 | 140M| 56 | - | 172 | 37 | 172 | 25 | 27 | 49k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
674.52/674.73 c 599s|730000 |265011 | 3973k| 5.4 | 141M| 56 | - | 172 | 39 | 172 | 25 | 27 | 50k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
682.21/682.41 c 606s|740000 |266688 | 4024k| 5.4 | 142M| 56 | - | 172 | 39 | 172 | 25 | 27 | 51k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
690.01/690.23 c 612s|750000 |268470 | 4076k| 5.4 | 144M| 56 | 7 | 172 | 37 | 172 | 25 | 27 | 51k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
697.61/697.85 c 619s|760000 |270216 | 4127k| 5.4 | 145M| 56 | - | 172 | 41 | 172 | 25 | 27 | 52k| 11k| 0.000000e+00 | 1.400000e+01 | Inf
705.31/705.53 c 626s|770000 |272003 | 4178k| 5.4 | 146M| 56 | 7 | 172 | 42 | 172 | 25 | 27 | 53k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
712.91/713.17 c 633s|780000 |273402 | 4230k| 5.4 | 147M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 54k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
720.71/720.94 c 640s|790000 |275445 | 4281k| 5.4 | 148M| 56 | - | 172 | 50 | 172 | 25 | 27 | 55k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
728.31/728.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.31/728.52 c 646s|800000 |276858 | 4332k| 5.4 | 149M| 56 | 7 | 172 | 50 | 172 | 25 | 27 | 55k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
735.91/736.18 c 653s|810000 |278225 | 4384k| 5.4 | 151M| 56 | - | 172 | 54 | 172 | 25 | 27 | 56k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
743.50/743.78 c 660s|820000 |279462 | 4435k| 5.4 | 152M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 57k| 12k| 0.000000e+00 | 1.400000e+01 | Inf
748.10/748.37 o 12
748.10/748.37 c * 664s|825942 |275036 | 4465k| 5.4 | 146M| 56 | - | 172 | 53 | 172 | 25 | 27 | 57k| 12k| 0.000000e+00 | 1.200000e+01 | Inf
748.20/748.41 o 10
748.20/748.41 c * 664s|825943 |268424 | 4465k| 5.4 | 139M| 56 | - | 172 | 53 | 172 | 25 | 27 | 57k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
754.00/754.28 c 669s|830000 |269028 | 4484k| 5.4 | 140M| 56 | 7 | 172 | 66 | 172 | 25 | 27 | 58k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
761.50/761.73 c 675s|840000 |269906 | 4535k| 5.4 | 140M| 56 | - | 172 | 47 | 172 | 25 | 27 | 58k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
769.00/769.29 c 682s|850000 |271330 | 4585k| 5.4 | 141M| 56 | 7 | 172 | 46 | 172 | 25 | 27 | 59k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
776.60/776.85 c 689s|860000 |272409 | 4636k| 5.4 | 142M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 60k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
784.11/784.33 c 695s|870000 |273622 | 4687k| 5.4 | 143M| 56 | - | 172 | 46 | 172 | 25 | 27 | 61k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
791.59/791.83 c 702s|880000 |274349 | 4738k| 5.4 | 144M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 61k| 12k| 0.000000e+00 | 1.000000e+01 | Inf
799.19/799.43 c 709s|890000 |275310 | 4789k| 5.4 | 144M| 56 | - | 172 | 52 | 172 | 25 | 27 | 62k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
806.59/806.82 c 715s|900000 |276104 | 4839k| 5.4 | 145M| 56 | - | 172 | 43 | 172 | 25 | 27 | 63k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
813.88/814.18 c 722s|910000 |276737 | 4889k| 5.4 | 146M| 56 | - | 172 | 44 | 0 | 0 | 27 | 64k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
821.29/821.54 c 728s|920000 |277332 | 4938k| 5.4 | 146M| 56 | - | 172 | 47 | 0 | 0 | 27 | 64k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
828.69/828.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.69/828.91 c 735s|930000 |278445 | 4987k| 5.4 | 147M| 56 | - | 172 | 57 | 172 | 25 | 27 | 65k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
835.98/836.21 c 741s|940000 |279460 | 5035k| 5.4 | 148M| 56 | 7 | 172 | 50 | 172 | 25 | 27 | 66k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
843.28/843.59 c 748s|950000 |280238 | 5083k| 5.4 | 149M| 56 | 7 | 172 | 51 | 172 | 25 | 27 | 67k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
850.58/850.88 c 754s|960000 |280767 | 5131k| 5.3 | 149M| 56 | - | 172 | 52 | 172 | 25 | 27 | 67k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
857.98/858.21 c 761s|970000 |281293 | 5179k| 5.3 | 150M| 56 | - | 172 | 51 | 172 | 25 | 27 | 68k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
865.27/865.52 c 767s|980000 |281862 | 5229k| 5.3 | 150M| 56 | - | 172 | 54 | 172 | 25 | 27 | 69k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
872.77/873.05 c 774s|990000 |282280 | 5280k| 5.3 | 151M| 56 | - | 172 | 49 | 0 | 0 | 27 | 70k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
880.18/880.40 c 780s| 1000k|282721 | 5330k| 5.3 | 151M| 56 | 7 | 172 | 55 | 172 | 25 | 27 | 71k| 13k| 0.000000e+00 | 1.000000e+01 | Inf
887.66/887.94 c 787s| 1010k|283025 | 5382k| 5.3 | 151M| 56 | - | 172 | 49 | 172 | 25 | 27 | 71k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
895.17/895.45 c 793s| 1020k|283398 | 5434k| 5.3 | 152M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 72k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
902.66/902.90 c 800s| 1030k|283729 | 5486k| 5.3 | 152M| 56 | - | 172 | 45 | 172 | 25 | 27 | 73k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
910.07/910.34 c 806s| 1040k|284117 | 5538k| 5.3 | 153M| 56 | 7 | 172 | 54 | 172 | 25 | 27 | 74k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
917.26/917.56 c 813s| 1050k|284827 | 5588k| 5.3 | 153M| 56 | - | 172 | 52 | 172 | 25 | 27 | 74k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
924.66/924.94 c 819s| 1060k|285041 | 5638k| 5.3 | 154M| 56 | - | 172 | 58 | 172 | 25 | 27 | 75k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
931.85/932.19 c 826s| 1070k|285308 | 5686k| 5.3 | 154M| 56 | 7 | 172 | 53 | 172 | 25 | 27 | 76k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
939.25/939.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.25/939.56 c 832s| 1080k|285735 | 5737k| 5.3 | 154M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 77k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
946.55/946.82 c 839s| 1090k|285886 | 5785k| 5.3 | 155M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 77k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
953.96/954.28 c 845s| 1100k|286046 | 5836k| 5.3 | 155M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 78k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
961.25/961.59 c 852s| 1110k|286231 | 5885k| 5.3 | 155M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 79k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
968.65/968.94 c 858s| 1120k|286567 | 5935k| 5.3 | 156M| 56 | - | 172 | 52 | 0 | 0 | 27 | 80k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
975.94/976.27 c 865s| 1130k|286876 | 5983k| 5.3 | 156M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 81k| 14k| 0.000000e+00 | 1.000000e+01 | Inf
983.34/983.68 c 871s| 1140k|287626 | 6032k| 5.3 | 157M| 56 | 7 | 172 | 68 | 172 | 25 | 27 | 81k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
990.76/991.10 c 878s| 1150k|287705 | 6080k| 5.3 | 157M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 82k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
998.14/998.46 c 884s| 1160k|288661 | 6130k| 5.3 | 158M| 56 | 7 | 172 | 55 | 172 | 25 | 27 | 83k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1005.54/1005.84 c 891s| 1170k|289245 | 6180k| 5.3 | 158M| 56 | 7 | 172 | 47 | 172 | 25 | 27 | 84k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1012.94/1013.24 c 898s| 1180k|289713 | 6229k| 5.3 | 159M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 84k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1020.24/1020.54 c 904s| 1190k|289824 | 6278k| 5.3 | 159M| 56 | 7 | 172 | 50 | 172 | 25 | 27 | 85k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1027.44/1027.79 c 910s| 1200k|289922 | 6327k| 5.3 | 159M| 56 | - | 172 | 51 | 172 | 25 | 27 | 86k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1034.93/1035.21 c 917s| 1210k|290184 | 6378k| 5.3 | 160M| 56 | - | 172 | 49 | 172 | 25 | 27 | 87k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1042.44/1042.72 c 924s| 1220k|291293 | 6430k| 5.3 | 160M| 56 | 7 | 172 | 51 | 172 | 25 | 27 | 87k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1049.83/1050.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.83/1050.16 c 930s| 1230k|292169 | 6482k| 5.3 | 161M| 56 | 7 | 172 | 47 | 172 | 25 | 27 | 88k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1057.23/1057.51 c 937s| 1240k|292325 | 6532k| 5.3 | 161M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 89k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1064.53/1064.84 c 943s| 1250k|292609 | 6583k| 5.3 | 162M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 90k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1071.93/1072.23 c 950s| 1260k|292832 | 6635k| 5.3 | 162M| 56 | 7 | 172 | 51 | 172 | 25 | 27 | 91k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1079.22/1079.58 c 956s| 1270k|292754 | 6685k| 5.3 | 162M| 56 | 7 | 172 | 47 | 172 | 25 | 27 | 91k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1086.62/1086.92 c 962s| 1280k|292655 | 6735k| 5.3 | 163M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 92k| 15k| 0.000000e+00 | 1.000000e+01 | Inf
1093.92/1094.27 c 969s| 1290k|292601 | 6786k| 5.3 | 163M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 93k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1101.32/1101.61 c 975s| 1300k|292685 | 6836k| 5.3 | 163M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 94k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1108.72/1109.04 c 982s| 1310k|293976 | 6886k| 5.3 | 164M| 56 | 7 | 172 | 46 | 172 | 25 | 27 | 94k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1116.01/1116.34 c 988s| 1320k|294799 | 6934k| 5.3 | 164M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 95k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1123.31/1123.63 c 995s| 1330k|295239 | 6981k| 5.2 | 165M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 96k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1130.71/1131.01 c 1001s| 1340k|295567 | 7029k| 5.2 | 165M| 56 | - | 172 | 53 | 172 | 25 | 27 | 97k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1137.91/1138.30 c 1008s| 1350k|296019 | 7078k| 5.2 | 166M| 56 | 7 | 172 | 61 | 172 | 25 | 27 | 98k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1145.31/1145.63 c 1014s| 1360k|296322 | 7126k| 5.2 | 166M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 98k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1152.60/1152.97 c 1021s| 1370k|296542 | 7174k| 5.2 | 167M| 56 | - | 172 | 55 | 172 | 25 | 27 | 99k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1159.90/1160.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.90/1160.25 c 1027s| 1380k|296924 | 7222k| 5.2 | 167M| 56 | 7 | 172 | 54 | 172 | 25 | 27 | 100k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1167.20/1167.51 c 1034s| 1390k|297263 | 7271k| 5.2 | 167M| 56 | - | 172 | 60 | 172 | 25 | 27 | 101k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1174.51/1174.88 c 1040s| 1400k|297200 | 7319k| 5.2 | 168M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 102k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1181.90/1182.23 c 1047s| 1410k|297949 | 7369k| 5.2 | 168M| 56 | - | 172 | 59 | 0 | 0 | 27 | 102k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1189.19/1189.53 c 1053s| 1420k|298158 | 7419k| 5.2 | 169M| 56 | 7 | 172 | 64 | 172 | 25 | 27 | 103k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1196.60/1196.95 c 1060s| 1430k|298057 | 7468k| 5.2 | 169M| 56 | 7 | 172 | 61 | 172 | 25 | 27 | 104k| 16k| 0.000000e+00 | 1.000000e+01 | Inf
1203.99/1204.35 c 1066s| 1440k|298378 | 7520k| 5.2 | 169M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 105k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1211.29/1211.69 c 1073s| 1450k|298546 | 7571k| 5.2 | 169M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 106k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1218.59/1218.99 c 1079s| 1460k|298569 | 7619k| 5.2 | 170M| 56 | 7 | 172 | 59 | 172 | 25 | 27 | 106k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1225.99/1226.32 c 1085s| 1470k|298522 | 7668k| 5.2 | 170M| 56 | 7 | 172 | 63 | 172 | 25 | 27 | 107k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1233.38/1233.72 c 1092s| 1480k|298296 | 7717k| 5.2 | 170M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 108k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1240.69/1241.08 c 1098s| 1490k|299025 | 7767k| 5.2 | 170M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 109k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1247.99/1248.35 c 1105s| 1500k|299037 | 7816k| 5.2 | 171M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 110k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1255.28/1255.67 c 1111s| 1510k|298902 | 7866k| 5.2 | 171M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 111k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1262.68/1263.01 c 1118s| 1520k|298871 | 7915k| 5.2 | 171M| 56 | - | 172 | 63 | 172 | 25 | 27 | 111k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1269.88/1270.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.88/1270.27 c 1124s| 1530k|298905 | 7964k| 5.2 | 171M| 56 | 7 | 172 | 55 | 172 | 25 | 27 | 112k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1277.28/1277.61 c 1131s| 1540k|298686 | 8013k| 5.2 | 171M| 56 | 7 | 172 | 51 | 172 | 25 | 27 | 113k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1284.68/1285.00 c 1137s| 1550k|298643 | 8063k| 5.2 | 171M| 56 | - | 172 | 58 | 172 | 25 | 27 | 114k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1291.97/1292.30 c 1144s| 1560k|298408 | 8112k| 5.2 | 171M| 56 | - | 172 | 47 | 172 | 25 | 27 | 114k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1299.27/1299.61 c 1150s| 1570k|298202 | 8162k| 5.2 | 171M| 56 | 7 | 172 | 49 | 172 | 25 | 27 | 115k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1306.57/1306.93 c 1156s| 1580k|298033 | 8211k| 5.2 | 171M| 56 | - | 172 | 52 | 172 | 25 | 27 | 116k| 17k| 0.000000e+00 | 1.000000e+01 | Inf
1313.97/1314.31 c 1163s| 1590k|297767 | 8261k| 5.2 | 171M| 56 | 7 | 172 | 52 | 172 | 25 | 27 | 117k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1321.37/1321.77 c 1170s| 1600k|298378 | 8310k| 5.2 | 172M| 56 | 7 | 172 | 53 | 172 | 25 | 27 | 118k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1328.66/1329.06 c 1176s| 1610k|298387 | 8357k| 5.2 | 172M| 56 | - | 172 | 51 | 172 | 25 | 27 | 119k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1336.06/1336.41 c 1182s| 1620k|298338 | 8406k| 5.2 | 172M| 56 | - | 172 | 52 | 172 | 25 | 27 | 119k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1343.45/1343.80 c 1189s| 1630k|297947 | 8454k| 5.2 | 172M| 56 | - | 172 | 51 | 172 | 25 | 27 | 120k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1350.86/1351.20 c 1196s| 1640k|297542 | 8504k| 5.2 | 172M| 56 | 7 | 172 | 50 | 172 | 25 | 27 | 121k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1358.06/1358.42 c 1202s| 1650k|297475 | 8552k| 5.2 | 172M| 56 | - | 172 | 58 | 172 | 25 | 27 | 122k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1365.35/1365.74 c 1208s| 1660k|297319 | 8601k| 5.2 | 172M| 56 | - | 172 | 60 | 172 | 25 | 27 | 123k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1372.65/1373.08 c 1215s| 1670k|297235 | 8652k| 5.2 | 172M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 123k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1380.06/1380.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.06/1380.47 c 1221s| 1680k|297272 | 8702k| 5.2 | 172M| 56 | - | 172 | 52 | 172 | 25 | 27 | 124k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1387.35/1387.76 c 1228s| 1690k|297010 | 8752k| 5.2 | 172M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 125k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1394.64/1395.06 c 1234s| 1700k|296493 | 8801k| 5.2 | 172M| 56 | - | 172 | 57 | 172 | 25 | 27 | 126k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1401.94/1402.36 c 1241s| 1710k|296259 | 8851k| 5.2 | 172M| 56 | 7 | 172 | 59 | 172 | 25 | 27 | 127k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1409.24/1409.64 c 1247s| 1720k|296029 | 8900k| 5.2 | 172M| 56 | - | 172 | 49 | 172 | 25 | 27 | 127k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1416.54/1416.91 c 1254s| 1730k|295719 | 8951k| 5.2 | 171M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 128k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1423.84/1424.29 c 1260s| 1740k|296035 | 9000k| 5.2 | 172M| 56 | 7 | 172 | 60 | 172 | 25 | 27 | 129k| 18k| 0.000000e+00 | 1.000000e+01 | Inf
1431.24/1431.61 c 1266s| 1750k|295876 | 9050k| 5.2 | 172M| 56 | 7 | 172 | 59 | 172 | 25 | 27 | 130k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1438.53/1438.91 c 1273s| 1760k|295814 | 9098k| 5.2 | 172M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 131k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1445.94/1446.31 c 1279s| 1770k|296833 | 9147k| 5.2 | 173M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 131k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1453.24/1453.68 c 1286s| 1780k|297348 | 9196k| 5.2 | 173M| 56 | - | 172 | 56 | 172 | 25 | 27 | 132k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1460.53/1460.98 c 1292s| 1790k|297509 | 9244k| 5.2 | 174M| 56 | - | 172 | 56 | 0 | 0 | 27 | 133k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1467.93/1468.31 c 1299s| 1800k|297679 | 9292k| 5.2 | 174M| 56 | - | 172 | 58 | 172 | 25 | 27 | 134k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1475.13/1475.58 c 1305s| 1810k|297795 | 9341k| 5.2 | 174M| 56 | - | 172 | 57 | 172 | 25 | 27 | 135k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1482.43/1482.89 c 1312s| 1820k|297919 | 9389k| 5.2 | 174M| 56 | 7 | 172 | 55 | 172 | 25 | 27 | 136k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1489.72/1490.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.72/1490.15 c 1318s| 1830k|297732 | 9438k| 5.2 | 174M| 56 | - | 172 | 57 | 0 | 0 | 27 | 136k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1497.02/1497.41 c 1324s| 1840k|298017 | 9485k| 5.2 | 175M| 56 | 7 | 172 | 62 | 172 | 25 | 27 | 137k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1504.32/1504.70 c 1331s| 1850k|297772 | 9534k| 5.2 | 175M| 56 | 7 | 172 | 54 | 172 | 25 | 27 | 138k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1511.51/1511.93 c 1337s| 1860k|297536 | 9582k| 5.2 | 175M| 56 | - | 172 | 57 | 172 | 25 | 27 | 139k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1518.73/1519.15 c 1343s| 1870k|297367 | 9630k| 5.1 | 175M| 56 | - | 172 | 59 | 0 | 0 | 27 | 140k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1526.01/1526.48 c 1350s| 1880k|297201 | 9679k| 5.1 | 175M| 56 | - | 172 | 55 | 172 | 25 | 27 | 141k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1533.31/1533.73 c 1356s| 1890k|296918 | 9728k| 5.1 | 175M| 56 | 7 | 172 | 57 | 172 | 25 | 27 | 141k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1540.62/1541.06 c 1363s| 1900k|296784 | 9777k| 5.1 | 175M| 56 | - | 172 | 56 | 172 | 25 | 27 | 142k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1547.81/1548.27 c 1369s| 1910k|296634 | 9825k| 5.1 | 174M| 56 | 7 | 172 | 56 | 172 | 25 | 27 | 143k| 19k| 0.000000e+00 | 1.000000e+01 | Inf
1555.60/1556.02 c 1376s| 1920k|298630 | 9878k| 5.1 | 176M| 56 | 7 | 172 | 58 | 172 | 25 | 27 | 144k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1563.31/1563.74 c 1383s| 1930k|300262 | 9931k| 5.1 | 177M| 56 | 7 | 172 | 46 | 172 | 25 | 27 | 145k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1570.80/1571.25 c 1389s| 1940k|301332 | 9984k| 5.1 | 178M| 56 | 7 | 172 | 41 | 172 | 25 | 27 | 145k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1578.50/1578.98 c 1396s| 1950k|303052 | 10037k| 5.1 | 179M| 56 | 7 | 172 | 45 | 172 | 25 | 27 | 146k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1586.10/1586.58 c 1403s| 1960k|304830 | 10089k| 5.1 | 180M| 56 | 7 | 172 | 42 | 172 | 25 | 27 | 147k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1593.79/1594.22 c 1410s| 1970k|306736 | 10141k| 5.1 | 181M| 56 | 7 | 172 | 43 | 172 | 25 | 27 | 148k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1601.30/1601.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.30/1601.75 c 1416s| 1980k|308432 | 10192k| 5.1 | 182M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 148k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1609.09/1609.52 c 1423s| 1990k|309961 | 10246k| 5.1 | 183M| 56 | 7 | 172 | 40 | 172 | 25 | 27 | 149k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1616.60/1617.02 c 1430s| 2000k|311086 | 10297k| 5.1 | 184M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 150k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1624.09/1624.53 c 1436s| 2010k|312262 | 10349k| 5.1 | 185M| 56 | - | 172 | 48 | 172 | 25 | 27 | 150k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1631.78/1632.24 c 1443s| 2020k|314187 | 10399k| 5.1 | 186M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 151k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1639.48/1639.92 c 1450s| 2030k|315863 | 10450k| 5.1 | 187M| 56 | - | 172 | 37 | 172 | 25 | 27 | 152k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1646.88/1647.40 c 1457s| 2040k|316667 | 10501k| 5.1 | 188M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 153k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1654.38/1654.86 c 1463s| 2050k|317377 | 10552k| 5.1 | 189M| 56 | - | 172 | 42 | 172 | 25 | 27 | 154k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1661.88/1662.36 c 1470s| 2060k|318194 | 10603k| 5.1 | 189M| 56 | 7 | 172 | 44 | 172 | 25 | 27 | 154k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1669.38/1669.82 c 1477s| 2070k|319052 | 10653k| 5.1 | 190M| 56 | 7 | 172 | 39 | 172 | 25 | 27 | 155k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1677.08/1677.54 c 1483s| 2080k|320568 | 10706k| 5.1 | 191M| 56 | 7 | 172 | 41 | 172 | 25 | 27 | 156k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1684.79/1685.23 c 1490s| 2090k|322386 | 10759k| 5.1 | 192M| 56 | - | 172 | 36 | 172 | 25 | 27 | 156k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1692.38/1692.90 c 1497s| 2100k|323894 | 10810k| 5.1 | 193M| 56 | 7 | 172 | 48 | 172 | 25 | 27 | 157k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1699.87/1700.39 c 1504s| 2110k|325366 | 10860k| 5.1 | 194M| 56 | - | 172 | 53 | 172 | 25 | 27 | 158k| 20k| 0.000000e+00 | 1.000000e+01 | Inf
1707.37/1707.83 c 1510s| 2120k|326323 | 10911k| 5.1 | 195M| 56 | - | 172 | 30 | 172 | 25 | 27 | 159k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1714.87/1715.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.87/1715.32 c 1517s| 2130k|327376 | 10962k| 5.1 | 196M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 159k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1722.36/1722.85 c 1523s| 2140k|328388 | 11013k| 5.1 | 197M| 56 | - | 172 | 34 | 172 | 25 | 27 | 160k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1729.78/1730.29 c 1530s| 2150k|329203 | 11065k| 5.1 | 198M| 56 | 7 | 172 | 33 | 172 | 25 | 27 | 161k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1737.27/1737.75 c 1537s| 2160k|330221 | 11116k| 5.1 | 198M| 56 | - | 172 | 34 | 172 | 25 | 27 | 162k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1745.17/1745.67 c 1544s| 2170k|332270 | 11170k| 5.1 | 200M| 56 | 7 | 172 | 42 | 172 | 25 | 27 | 162k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1753.16/1753.62 c 1551s| 2180k|334369 | 11224k| 5.1 | 201M| 56 | - | 172 | 33 | 172 | 25 | 27 | 163k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1760.67/1761.11 c 1557s| 2190k|335735 | 11276k| 5.1 | 202M| 56 | - | 172 | 32 | 172 | 25 | 27 | 164k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1768.27/1768.71 c 1564s| 2200k|337124 | 11328k| 5.1 | 203M| 56 | 7 | 172 | 33 | 172 | 25 | 27 | 165k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1775.85/1776.30 c 1571s| 2210k|338589 | 11380k| 5.1 | 204M| 56 | 7 | 172 | 40 | 172 | 25 | 27 | 165k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1783.35/1783.90 c 1577s| 2220k|340142 | 11432k| 5.1 | 205M| 56 | - | 172 | 42 | 172 | 25 | 27 | 166k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1790.95/1791.45 c 1584s| 2230k|340959 | 11483k| 5.1 | 206M| 56 | 7 | 172 | 36 | 172 | 25 | 27 | 167k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1798.55/1799.04 c 1591s| 2240k|341685 | 11534k| 5.1 | 206M| 56 | - | 172 | 38 | 172 | 25 | 27 | 168k| 21k| 0.000000e+00 | 1.000000e+01 | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.51 c
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time (sec) : 1592.14
1800.05/1800.51 c Solving Nodes : 2241918
1800.05/1800.51 c Primal Bound : +1.00000000000000e+01 (58 solutions)
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 v -x127 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x162 x161 -x160 x159 -x158 x157 -x156 -x155 x154 x153 x152 -x151
1800.05/1800.51 v -x150 -x149 x148 -x147 -x146 x145 x144 x143 -x142 -x141 x140 x139 x138 x137 x136 x135 -x134 -x133 -x132 x131 -x130 -x129 x128
1800.05/1800.51 v x126 x125 x124 -x123 -x122 x121 x120 x119 x118 -x117 x116 x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.05/1800.51 v -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.05/1800.51 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.05/1800.51 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.05/1800.51 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.05/1800.51 v -x2 -x1
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1592.14
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2665655-1276614630.opb
1800.05/1800.51 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 14 initial, 14 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2665655-1276614630.opb
1800.05/1800.51 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 7 initial, 79 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.01 0 0 0 0 0 7 0 0
1800.05/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 56 - - 56 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 1369843 0 106 5349 0 0 2728936
1800.05/1800.51 c linear : 7+ 7 3554963 0 0 329057 2236044 0 0 0
1800.05/1800.51 c logicor : 0+ 0 822203 0 0 2184 57354 0 0 0
1800.05/1800.51 c countsols : 0 0 0 36 0 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 25.59 0.00 0.00 25.59 0.00
1800.05/1800.51 c linear : 284.61 0.00 284.61 0.00 0.00
1800.05/1800.51 c logicor : 3.47 0.00 3.47 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 1.78 2 0 0
1800.05/1800.51 c rootredcost : 1.61 50 0 56
1800.05/1800.51 c pseudoobj : 34.66 3560127 5324 772307
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 26.06 335160 149830 182568 59.0 43 33.1 -
1800.05/1800.51 c infeasible LP : 1.68 19797 19108 24847 36.6 4 47.2 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 0.00 31 31 31 2.5 0 0.0 -
1800.05/1800.51 c applied globally : - - - 11342 26.4 - - -
1800.05/1800.51 c applied locally : - - - 157045 57.6 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 5 - - 15 - (maximal pool size: 81)
1800.05/1800.51 c redcost : 48.41 1831885 0 10442629 0 0
1800.05/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.01 6 0 0 0 0
1800.05/1800.51 c strongcg : 0.02 6 0 0 23 0
1800.05/1800.51 c cmir : 0.04 6 0 0 30 0
1800.05/1800.51 c flowcover : 0.04 6 0 0 43 0
1800.05/1800.51 c clique : 0.00 1 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 1 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.10 1 0 0 0 50
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 23.81 1369807 106 5349 0 0 2728936
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.54 - 36
1800.05/1800.51 c pseudo solutions : 0.00 - 0
1800.05/1800.51 c oneopt : 1.62 48 0
1800.05/1800.51 c feaspump : 0.28 4 0
1800.05/1800.51 c crossover : 13.17 9 1
1800.05/1800.51 c rootsoldiving : 11.35 1822 7
1800.05/1800.51 c pscostdiving : 23.74 4306 2
1800.05/1800.51 c veclendiving : 16.74 4306 2
1800.05/1800.51 c linesearchdiving : 16.97 4306 0
1800.05/1800.51 c fracdiving : 23.99 4306 5
1800.05/1800.51 c coefdiving : 37.91 4307 1
1800.05/1800.51 c guideddiving : 18.90 4307 2
1800.05/1800.51 c objpscostdiving : 5.04 2154 0
1800.05/1800.51 c trivial : 0.00 2 0
1800.05/1800.51 c simplerounding : 1.22 0 0
1800.05/1800.51 c zirounding : 0.96 1000 0
1800.05/1800.51 c rounding : 2.33 17390 0
1800.05/1800.51 c shifting : 8.19 7329 1
1800.05/1800.51 c intshifting : 0.05 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.16 1 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 1.01 0 0
1800.05/1800.51 c trysol : 2.22 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 793.47 2112882 10549067 4.99 13294.85
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 102.16 390402 995474 2.55 9744.26
1800.05/1800.51 c strong branching : 9.24 21660 81868 3.78 8860.17
1800.05/1800.51 c (at root node) : - 9 959 106.56 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 2241918
1800.05/1800.51 c nodes (total) : 2241918
1800.05/1800.51 c nodes left : 341822
1800.05/1800.51 c max depth : 56
1800.05/1800.51 c max depth (total): 56
1800.05/1800.51 c backtracks : 476934 (21.3%)
1800.05/1800.51 c delayed cutoffs : 32971
1800.05/1800.51 c repropagations : 58534 (235344 domain reductions, 32919 cutoffs)
1800.05/1800.51 c avg switch length: 5.64
1800.05/1800.51 c switching time : 82.86
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 58 (50 improvements)
1800.05/1800.51 c First Solution : +1.40900000000000e+03 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.05/1800.51 c Primal Bound : +1.00000000000000e+01 (in run 1, after 825943 nodes, 663.99 seconds, depth 50, found by <relaxation>)
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Root Iterations : 119
1801.26/1801.77 c Time complete: 1801.32.
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665655-1276614630/watcher-2665655-1276614630 -o /tmp/evaluation-result-2665655-1276614630/solver-2665655-1276614630 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665655-1276614630.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.10 1.05 1.00 3/106 10024 /proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=9288 CPUtime=0 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 1033 0 0 0 0 0 0 0 15 0 1 0 2754522 9510912 953 1992294400 4194304 9819077 140736313986800 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10024/statm: 2322 962 371 1374 0 943 0 [startup+0.019472 s] /proc/loadavg: 1.10 1.05 1.00 3/106 10024 /proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=13888 CPUtime=0.01 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 2477 0 0 0 1 0 0 0 15 0 1 0 2754522 14221312 2044 1992294400 4194304 9819077 140736313986800 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 3472 2055 480 1374 0 2093 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13888 [startup+0.101421 s] /proc/loadavg: 1.10 1.05 1.00 3/106 10024 /proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=22832 CPUtime=0.09 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 5032 0 0 0 7 2 0 0 18 0 1 0 2754522 23379968 4075 1992294400 4194304 9819077 140736313986800 18446744073709551615 4978441 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 5708 4075 673 1374 0 4329 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22832 [startup+0.301439 s] /proc/loadavg: 1.10 1.05 1.00 3/106 10024 /proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=24928 CPUtime=0.29 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 8313 0 0 0 26 3 0 0 18 0 1 0 2754522 25526272 4436 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 6232 4436 713 1374 0 4853 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24928 [startup+0.701474 s] /proc/loadavg: 1.10 1.05 1.00 3/106 10024 /proc/meminfo: memFree=1773628/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=17564 CPUtime=0.69 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 14347 0 0 0 59 10 0 0 18 0 1 0 2754522 17985536 2945 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 4350 2944 722 1374 0 2971 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17564 [startup+1.50155 s] /proc/loadavg: 1.10 1.05 1.00 2/107 10025 /proc/meminfo: memFree=1764072/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=16908 CPUtime=1.49 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 22494 0 0 0 129 20 0 0 20 0 1 0 2754522 17313792 2943 1992294400 4194304 9819077 140736313986800 18446744073709551615 4241174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 4227 2943 724 1374 0 2848 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16908 [startup+3.10169 s] /proc/loadavg: 1.10 1.05 1.00 2/107 10025 /proc/meminfo: memFree=1763824/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=17208 CPUtime=3.09 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 38058 0 0 0 269 40 0 0 23 0 1 0 2754522 17620992 3024 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 4098 3019 725 1374 0 2719 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17208 [startup+6.30098 s] /proc/loadavg: 1.09 1.05 1.00 2/107 10025 /proc/meminfo: memFree=1762212/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=19436 CPUtime=6.29 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 70385 0 0 0 551 78 0 0 25 0 1 0 2754522 19902464 3582 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 4859 3582 725 1374 0 3480 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19436 [startup+12.7016 s] /proc/loadavg: 1.08 1.05 1.00 2/107 10025 /proc/meminfo: memFree=1759732/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=21752 CPUtime=12.69 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 125408 0 0 0 1121 148 0 0 25 0 1 0 2754522 22274048 4174 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 5438 4174 725 1374 0 4059 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21752 [startup+25.5007 s] /proc/loadavg: 1.06 1.04 1.00 2/107 10027 /proc/meminfo: memFree=1752664/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=28132 CPUtime=25.48 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 245540 0 0 0 2253 295 0 0 25 0 1 0 2754522 28807168 5851 1992294400 4194304 9819077 140736313986800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 7074 5852 725 1374 0 5695 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28132 [startup+51.101 s] /proc/loadavg: 1.11 1.06 1.00 2/107 10027 /proc/meminfo: memFree=1738156/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=41984 CPUtime=51.08 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 476633 0 0 0 4528 580 0 0 25 0 1 0 2754522 42991616 9325 1992294400 4194304 9819077 140736313986800 18446744073709551615 6581321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 10496 9325 725 1374 0 9117 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 41984 [startup+102.309 s] /proc/loadavg: 1.05 1.05 1.00 2/107 10029 /proc/meminfo: memFree=1708396/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=73540 CPUtime=102.27 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 916379 0 0 0 9092 1135 0 0 25 0 1 0 2754522 75304960 16846 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 18385 16846 725 1374 0 17006 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 73540 [startup+162.301 s] /proc/loadavg: 1.02 1.03 1.00 2/107 10029 /proc/meminfo: memFree=1681984/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=100224 CPUtime=162.25 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 1437722 0 0 0 14403 1822 0 0 25 0 1 0 2754522 102629376 23735 1992294400 4194304 9819077 140736313986800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 25096 23736 725 1374 0 23717 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 100224 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 10031 /proc/meminfo: memFree=1654704/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=125108 CPUtime=222.23 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 1926783 0 0 0 19748 2475 0 0 25 0 1 0 2754522 128110592 30108 1992294400 4194304 9819077 140736313986800 18446744073709551615 6361772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 31277 30108 725 1374 0 29898 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 125108 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10033 /proc/meminfo: memFree=1635608/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=147680 CPUtime=282.22 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 2422098 0 0 0 25078 3144 0 0 25 0 1 0 2754522 151224320 34845 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 36920 34845 725 1374 0 35541 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 147680 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10035 /proc/meminfo: memFree=1619736/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=164040 CPUtime=342.2 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 2936004 0 0 0 30399 3821 0 0 25 0 1 0 2754522 167976960 39042 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 41010 39042 725 1374 0 39631 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 164040 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10037 /proc/meminfo: memFree=1616140/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=166464 CPUtime=402.18 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 3493271 0 0 0 35698 4520 0 0 25 0 1 0 2754522 170459136 39653 1992294400 4194304 9819077 140736313986800 18446744073709551615 6361881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 41616 39653 725 1374 0 40237 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 166464 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10037 /proc/meminfo: memFree=1616140/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=166572 CPUtime=462.18 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 4005107 0 0 0 41025 5193 0 0 25 0 1 0 2754522 170569728 39655 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 41643 39655 725 1374 0 40264 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 166572 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10039 /proc/meminfo: memFree=1612172/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=170300 CPUtime=522.16 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 4514584 0 0 0 46347 5869 0 0 25 0 1 0 2754522 174387200 40745 1992294400 4194304 9819077 140736313986800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 42698 40749 725 1374 0 41319 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 170300 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10041 /proc/meminfo: memFree=1603244/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=179584 CPUtime=582.14 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 5027242 0 0 0 51676 6538 0 0 25 0 1 0 2754522 183894016 42974 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 44896 42974 725 1374 0 43517 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 179584 [startup+642.301 s] /proc/loadavg: 1.11 1.03 1.01 2/107 10043 /proc/meminfo: memFree=1594688/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=187536 CPUtime=642.14 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 5538159 0 0 0 57004 7210 0 0 25 0 1 0 2754522 192036864 45054 1992294400 4194304 9819077 140736313986800 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 46964 45056 725 1374 0 45585 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 187536 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 10053 /proc/meminfo: memFree=1566664/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=214936 CPUtime=1062.03 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 9296311 0 0 0 94078 12125 0 0 25 0 1 0 2754522 220094464 52020 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 53734 52019 725 1374 0 52355 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 214936 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10055 /proc/meminfo: memFree=1564308/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=216760 CPUtime=1122.02 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 9836471 0 0 0 99367 12835 0 0 25 0 1 0 2754522 221962240 52458 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 54190 52458 725 1374 0 52811 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 216760 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10057 /proc/meminfo: memFree=1561208/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=219780 CPUtime=1182 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 10376835 0 0 0 104657 13543 0 0 25 0 1 0 2754522 225054720 53221 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 54945 53221 725 1374 0 53566 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 219780 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10059 /proc/meminfo: memFree=1559596/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=221260 CPUtime=1241.98 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 10917946 0 0 0 109950 14248 0 0 25 0 1 0 2754522 226570240 53586 1992294400 4194304 9819077 140736313986800 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 55315 53586 725 1374 0 53936 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 221260 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10061 /proc/meminfo: memFree=1558976/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=221848 CPUtime=1301.98 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 11463594 0 0 0 115240 14958 0 0 25 0 1 0 2754522 227172352 53715 1992294400 4194304 9819077 140736313986800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 55462 53715 725 1374 0 54083 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 221848 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10064 /proc/meminfo: memFree=1556248/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=223124 CPUtime=1361.95 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 12008250 0 0 0 120537 15658 0 0 25 0 1 0 2754522 228478976 54088 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 55781 54088 725 1374 0 54402 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 223124 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10066 /proc/meminfo: memFree=1556372/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=223124 CPUtime=1421.94 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 12554407 0 0 0 125829 16365 0 0 25 0 1 0 2754522 228478976 54088 1992294400 4194304 9819077 140736313986800 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 55536 54083 725 1374 0 54157 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 223124 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10068 /proc/meminfo: memFree=1556372/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=223328 CPUtime=1481.92 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 13100087 0 0 0 131110 17082 0 0 25 0 1 0 2754522 228687872 54108 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 55832 54108 725 1374 0 54453 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 223328 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10070 /proc/meminfo: memFree=1556248/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=223980 CPUtime=1541.91 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 13651216 0 0 0 136381 17810 0 0 25 0 1 0 2754522 229355520 54271 1992294400 4194304 9819077 140736313986800 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 55995 54271 725 1374 0 54616 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 223980 [startup+1602.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 10072 /proc/meminfo: memFree=1548684/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=231432 CPUtime=1601.89 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 14189296 0 0 0 141683 18506 0 0 25 0 1 0 2754522 236986368 56168 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 57858 56168 725 1374 0 56479 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 231432 [startup+1662.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 10072 /proc/meminfo: memFree=1541492/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=238448 CPUtime=1661.88 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 14718726 0 0 0 146992 19196 0 0 25 0 1 0 2754522 244170752 57960 1992294400 4194304 9819077 140736313986800 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 59372 57955 725 1374 0 57993 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 238448 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10074 /proc/meminfo: memFree=1534052/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=245616 CPUtime=1721.87 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15248468 0 0 0 152287 19900 0 0 25 0 1 0 2754522 251510784 59787 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 61404 59787 725 1374 0 60025 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 245616 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10076 /proc/meminfo: memFree=1525496/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=253816 CPUtime=1781.85 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15777189 0 0 0 157601 20584 0 0 25 0 1 0 2754522 259907584 61883 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 63454 61883 725 1374 0 62075 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 253816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10076 /proc/meminfo: memFree=1523760/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=255420 CPUtime=1800.05 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937214 0 0 0 159214 20791 0 0 25 0 1 0 2754522 261550080 62302 1992294400 4194304 9819077 140736313986800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10024/statm: 63855 62302 725 1374 0 62476 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 255420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10077 /proc/meminfo: memFree=1523752/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=255420 CPUtime=1800.16 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937220 0 0 0 159225 20791 0 0 25 0 1 0 2754522 261550080 62303 1992294400 4194304 9819077 140736313986800 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10024/statm: 63855 62303 726 1374 0 62476 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 255420 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10077 /proc/meminfo: memFree=1523752/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=255420 CPUtime=1800.94 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937220 0 0 0 159303 20791 0 0 25 0 1 0 2754522 261550080 62303 1992294400 4194304 9819077 140736313986800 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10024/statm: 63855 62303 726 1374 0 62476 0 Current children cumulated CPU time (s) 1800.94 Current children cumulated vsize (KiB) 255420 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10077 /proc/meminfo: memFree=1523752/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=250764 CPUtime=1801.14 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937220 0 0 0 159323 20791 0 0 25 0 1 0 2754522 256782336 61139 1992294400 4194304 9819077 140736313986800 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10024/statm: 62691 61139 726 1374 0 61312 0 Current children cumulated CPU time (s) 1801.14 Current children cumulated vsize (KiB) 250764 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10077 /proc/meminfo: memFree=1560332/2059040 swapFree=4192956/4192956 [pid=10024] ppid=10022 vsize=217316 CPUtime=1801.26 /proc/10024/stat : 10024 (pbscip.linux.x8) R 10022 10024 9446 0 -1 4202496 15937220 0 0 0 159334 20792 0 0 25 0 1 0 2754522 222531584 52777 1992294400 4194304 9819077 140736313986800 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10024/statm: 54329 52777 726 1374 0 52950 0 Current children cumulated CPU time (s) 1801.26 Current children cumulated vsize (KiB) 217316 Child status: 0 Real time (s): 1801.78 CPU time (s): 1801.33 CPU user time (s): 1593.39 CPU system time (s): 207.948 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 255420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1593.39 system time used= 207.948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15937224 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= 2072 runsolver used 3.2785 second user time and 8.22575 second system time The end
Begin job on node051 at 2010-06-15 17:10:30 IDJOB=2665655 IDBENCH=2918 IDSOLVER=1168 FILE ID=node051/2665655-1276614630 PBS_JOBID= 11172278 Free space on /tmp= 62564 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_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665655-1276614630/watcher-2665655-1276614630 -o /tmp/evaluation-result-2665655-1276614630/solver-2665655-1276614630 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665655-1276614630.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e RANDOM SEED=2066307250 node051.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.255 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.51 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.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1774156 kB Buffers: 28848 kB Cached: 132660 kB SwapCached: 0 kB Active: 111900 kB Inactive: 109064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1774156 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6212 kB Writeback: 0 kB AnonPages: 59360 kB Mapped: 15480 kB Slab: 42108 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182300 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= 62556 MiB End job on node051 at 2010-06-15 17:40:33