Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1802.11 | 1802.19 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo |
| MD5SUM | f2d449aa8c80edec7a2d4cb4a780c49d |
| 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 | 333 |
| Best CPU time to get the best result obtained on this benchmark | 2.84657 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 10 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 9 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 19 |
| Number of bits of the biggest sum of numbers | 5 |
| 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-2700417-1278535534.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.0s| 1 | 0 | 0 | - |6130k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 0 | - |6527k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 41 | - |6570k| 0 | 0 |1800 |1700 |1800 | 71 | 71 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.06/0.07 c 0.1s| 1 | 0 | 143 | - |6621k| 0 | 54 |1800 |1700 |1800 | 119 | 119 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.06/0.08 c 0.1s| 1 | 0 | 198 | - |6837k| 0 | 61 |1800 |1700 |1800 | 159 | 159 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.06/0.09 c 0.1s| 1 | 0 | 214 | - |6871k| 0 | 62 |1800 |1700 |1800 | 172 | 172 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 225 | - |6899k| 0 | 65 |1800 |1700 |1800 | 173 | 173 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 233 | - |6929k| 0 | 65 |1800 |1700 |1800 | 181 | 181 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.26 c 0.2s| 1 | 2 | 428 | - |6980k| 0 | 65 |1800 |1700 |1800 | 181 | 181 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
1.69/1.76 o 8208
1.69/1.76 c * 1.7s| 986 | 750 | 4424 | 4.3 |8424k| 683 | - |1800 |1700 |1800 | 321 | 386 | 0 | 519 | 0.000000e+00 | 8.208000e+03 | Inf
8.59/8.67 c 8.4s| 10000 | 9505 | 24838 | 2.5 | 20M| 683 | 0 |1800 |2747 |1800 | 259 |2475 |1047 | 740 | 0.000000e+00 | 8.208000e+03 | Inf
15.49/15.55 o 7937
15.49/15.55 c *15.1s| 19529 | 17839 | 39249 | 2.0 | 31M| 683 | - |1800 |3954 |1800 | 280 |4520 |4999 | 745 | 0.000000e+00 | 7.937000e+03 | Inf
15.89/15.93 c 15.5s| 20000 | 18239 | 40183 | 2.0 | 31M| 683 | 0 |1800 |3946 |1800 | 212 |4641 |5246 | 745 | 0.000000e+00 | 7.937000e+03 | Inf
23.29/23.39 c 22.7s| 30000 | 26994 | 55150 | 1.8 | 43M| 683 | 3 |1800 |4255 |1800 | 262 |6750 | 10k| 752 | 0.000000e+00 | 7.937000e+03 | Inf
30.59/30.70 c 29.8s| 40000 | 35767 | 73279 | 1.8 | 53M| 683 | 0 |1800 |4109 |1800 | 208 |8825 | 15k| 765 | 0.000000e+00 | 7.937000e+03 | Inf
38.39/38.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.39/38.47 c 37.4s| 50000 | 44515 | 92244 | 1.8 | 65M| 683 | 0 |1800 |4898 |1800 | 208 | 11k| 20k| 765 | 0.000000e+00 | 7.937000e+03 | Inf
43.59/43.64 o 7913
43.59/43.64 c *42.4s| 56717 | 50456 |105567 | 1.9 | 73M| 683 | - |1800 |4270 |1800 | 208 | 13k| 23k| 767 | 0.000000e+00 | 7.913000e+03 | Inf
46.10/46.14 c 44.8s| 60000 | 53326 |110834 | 1.8 | 77M| 683 | - |1800 |4624 |1800 | 201 | 13k| 25k| 767 | 0.000000e+00 | 7.913000e+03 | Inf
53.69/53.71 c 52.2s| 70000 | 62350 |126634 | 1.8 | 88M| 683 | 0 |1800 |4494 |1800 | 196 | 16k| 29k| 772 | 0.000000e+00 | 7.913000e+03 | Inf
61.59/61.61 c 59.9s| 80000 | 71204 |146851 | 1.8 | 99M| 683 | 0 |1800 |5206 |1800 | 206 | 18k| 34k| 808 | 0.000000e+00 | 7.913000e+03 | Inf
65.19/65.29 o 7889
65.19/65.29 c *63.5s| 84779 | 75371 |155544 | 1.8 | 105M| 683 | - |1800 |5148 |1800 | 211 | 19k| 36k| 846 | 0.000000e+00 | 7.889000e+03 | Inf
69.19/69.20 c 67.3s| 90000 | 79915 |162405 | 1.8 | 111M| 683 | 0 |1800 |5341 |1800 | 218 | 20k| 38k| 857 | 0.000000e+00 | 7.889000e+03 | Inf
76.69/76.78 c 74.6s|100000 | 88643 |178187 | 1.8 | 122M| 683 | 0 |1800 |4903 |1800 | 190 | 22k| 44k| 901 | 0.000000e+00 | 7.889000e+03 | Inf
84.38/84.44 c 82.1s|110000 | 97623 |198148 | 1.8 | 133M| 683 | 0 |1800 |4916 |1800 | 220 | 24k| 48k| 943 | 0.000000e+00 | 7.889000e+03 | Inf
92.29/92.35 c 89.8s|120000 |106485 |218257 | 1.8 | 144M| 683 | 0 |1800 |5205 |1800 | 200 | 26k| 53k|1052 | 0.000000e+00 | 7.889000e+03 | Inf
99.99/100.02 c 97.2s|130000 |115192 |235460 | 1.8 | 156M| 683 | 0 |1800 |5822 |1800 | 206 | 28k| 59k|1124 | 0.000000e+00 | 7.889000e+03 | Inf
108.38/108.44 c 105s|140000 |123827 |262705 | 1.9 | 168M| 683 | - |1800 |5726 |1800 | 278 | 31k| 65k|1228 | 0.000000e+00 | 7.889000e+03 | Inf
109.18/109.26 o 7844
109.18/109.26 c * 106s|140991 |124382 |265866 | 1.9 | 168M| 683 | - |1800 |6039 |1800 | 279 | 32k| 66k|1258 | 0.000000e+00 | 7.844000e+03 | Inf
109.18/109.26 o 7725
109.18/109.26 c * 106s|140992 |123446 |265870 | 1.9 | 167M| 683 | - |1800 |6039 |1800 | 279 | 32k| 66k|1258 | 0.000000e+00 | 7.725000e+03 | Inf
109.39/109.46 o 7661
109.39/109.46 c * 106s|141181 |122939 |266960 | 1.9 | 166M| 683 | - |1800 |6021 |1800 | 290 | 32k| 66k|1280 | 0.000000e+00 | 7.661000e+03 | Inf
109.39/109.47 o 7556
109.39/109.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.39/109.47 c * 106s|141182 |121788 |266961 | 1.9 | 165M| 683 | - |1800 |6021 |1800 | 290 | 32k| 66k|1280 | 0.000000e+00 | 7.556000e+03 | Inf
114.69/114.78 o 7545
114.69/114.78 c * 112s|148213 |127746 |276061 | 1.9 | 172M| 683 | - |1800 |4855 |1800 | 218 | 33k| 69k|1300 | 0.000000e+00 | 7.545000e+03 | Inf
116.08/116.15 c 113s|150000 |129330 |278785 | 1.9 | 174M| 683 | 0 |1800 |4706 |1800 | 215 | 33k| 70k|1303 | 0.000000e+00 | 7.545000e+03 | Inf
123.78/123.81 c 120s|160000 |138081 |297648 | 1.9 | 186M| 683 | 0 |1800 |5404 |1800 | 206 | 35k| 74k|1351 | 0.000000e+00 | 7.545000e+03 | Inf
131.48/131.52 c 128s|170000 |146742 |314027 | 1.8 | 198M| 683 | 0 |1800 |5745 |1800 | 206 | 37k| 79k|1413 | 0.000000e+00 | 7.545000e+03 | Inf
139.39/139.45 c 136s|180000 |155455 |332916 | 1.8 | 210M| 683 | 0 |1800 |5558 |1800 | 216 | 40k| 85k|1502 | 0.000000e+00 | 7.545000e+03 | Inf
147.29/147.34 c 143s|190000 |164084 |351787 | 1.9 | 222M| 683 | 0 |1800 |6542 |1800 | 221 | 42k| 90k|1532 | 0.000000e+00 | 7.545000e+03 | Inf
155.09/155.12 c 151s|200000 |172765 |368899 | 1.8 | 234M| 683 | 0 |1800 |6172 |1800 | 206 | 43k| 95k|1578 | 0.000000e+00 | 7.545000e+03 | Inf
163.09/163.16 c 159s|210000 |181434 |387842 | 1.8 | 246M| 683 | 0 |1800 |6421 |1800 | 222 | 46k| 101k|1634 | 0.000000e+00 | 7.545000e+03 | Inf
171.08/171.12 c 166s|220000 |190201 |405708 | 1.8 | 257M| 683 | 0 |1800 |6039 |1800 | 214 | 48k| 107k|1713 | 0.000000e+00 | 7.545000e+03 | Inf
178.98/179.03 c 174s|230000 |198806 |426400 | 1.9 | 269M| 683 | 0 |1800 |6033 |1800 | 213 | 50k| 112k|1737 | 0.000000e+00 | 7.545000e+03 | Inf
187.09/187.12 c 182s|240000 |207538 |448571 | 1.9 | 281M| 683 | 0 |1800 |5617 |1800 | 218 | 53k| 118k|1872 | 0.000000e+00 | 7.545000e+03 | Inf
188.68/188.72 o 7467
188.68/188.72 c * 184s|242074 |207958 |452050 | 1.9 | 281M| 683 | - |1800 |5809 |1800 | 226 | 53k| 119k|1876 | 0.000000e+00 | 7.467000e+03 | Inf
188.68/188.73 o 7388
188.68/188.73 c * 184s|242075 |206437 |452052 | 1.9 | 279M| 683 | - |1800 |5809 |1800 | 226 | 53k| 119k|1876 | 0.000000e+00 | 7.388000e+03 | Inf
195.59/195.61 c 190s|250000 |213281 |479166 | 1.9 | 289M| 683 | 0 |1800 |6737 |1800 | 226 | 55k| 124k|1971 | 0.000000e+00 | 7.388000e+03 | Inf
203.49/203.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.49/203.58 c 198s|260000 |221927 |500379 | 1.9 | 301M| 683 | 0 |1800 |7145 |1800 | 225 | 57k| 129k|2054 | 0.000000e+00 | 7.388000e+03 | Inf
211.79/211.85 c 206s|270000 |230238 |521321 | 1.9 | 313M| 683 | 0 |1800 |7856 |1800 | 228 | 60k| 136k|2102 | 0.000000e+00 | 7.388000e+03 | Inf
219.79/219.88 c 214s|280000 |238898 |543367 | 1.9 | 324M| 683 | 0 |1800 |6792 |1800 | 297 | 62k| 142k|2210 | 0.000000e+00 | 7.388000e+03 | Inf
228.08/228.16 c 222s|290000 |247644 |575197 | 2.0 | 335M| 683 | 0 |1800 |6429 |1800 | 223 | 64k| 146k|2265 | 0.000000e+00 | 7.388000e+03 | Inf
234.58/234.64 o 7278
234.58/234.64 c * 228s|298064 |252101 |591242 | 2.0 | 340M| 683 | - |1800 |6015 |1800 | 280 | 66k| 151k|2320 | 0.000000e+00 | 7.278000e+03 | Inf
234.58/234.65 o 7212
234.58/234.65 c * 228s|298069 |250409 |591247 | 2.0 | 336M| 683 | - |1800 |6015 |1800 | 280 | 66k| 151k|2320 | 0.000000e+00 | 7.212000e+03 | Inf
234.58/234.67 o 6950
234.58/234.67 c * 228s|298070 |242554 |591248 | 2.0 | 317M| 683 | - |1800 |6015 |1800 | 280 | 66k| 151k|2320 | 0.000000e+00 | 6.950000e+03 | Inf
236.09/236.18 c 230s|300000 |244263 |594481 | 2.0 | 319M| 683 | 0 |1800 |5691 |1800 | 208 | 66k| 151k|2335 | 0.000000e+00 | 6.950000e+03 | Inf
244.29/244.35 c 238s|310000 |252925 |614913 | 2.0 | 331M| 683 | 0 |1800 |6435 |1800 | 202 | 69k| 156k|2386 | 0.000000e+00 | 6.950000e+03 | Inf
249.28/249.39 o 6878
249.28/249.39 c * 243s|316250 |255637 |628685 | 2.0 | 331M| 683 | - |1800 |5709 |1800 | 216 | 70k| 159k|2428 | 0.000000e+00 | 6.878000e+03 | Inf
252.29/252.35 c 245s|320000 |258888 |634615 | 2.0 | 336M| 683 | 0 |1800 |5643 |1800 | 212 | 71k| 161k|2446 | 0.000000e+00 | 6.878000e+03 | Inf
260.38/260.42 c 253s|330000 |267482 |655642 | 2.0 | 348M| 683 | 0 |1800 |6176 |1800 | 207 | 73k| 166k|2483 | 0.000000e+00 | 6.878000e+03 | Inf
268.68/268.71 c 261s|340000 |276015 |678175 | 2.0 | 360M| 683 | 0 |1800 |6114 |1800 | 202 | 76k| 171k|2531 | 0.000000e+00 | 6.878000e+03 | Inf
277.28/277.31 c 270s|350000 |284753 |707654 | 2.0 | 372M| 683 | 0 |1800 |6150 |1800 | 226 | 79k| 176k|2654 | 0.000000e+00 | 6.878000e+03 | Inf
285.18/285.22 c 277s|360000 |293263 |725936 | 2.0 | 383M| 683 | 0 |1800 |5315 |1800 | 219 | 81k| 182k|2707 | 0.000000e+00 | 6.878000e+03 | Inf
293.29/293.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.29/293.37 c 285s|370000 |301911 |744362 | 2.0 | 396M| 683 | 0 |1800 |6234 |1800 | 228 | 84k| 187k|2736 | 0.000000e+00 | 6.878000e+03 | Inf
301.39/301.49 c 293s|380000 |310575 |763408 | 2.0 | 408M| 683 | 0 |1800 |5457 |1800 | 222 | 86k| 192k|2776 | 0.000000e+00 | 6.878000e+03 | Inf
309.09/309.19 c 301s|390000 |319333 |778883 | 2.0 | 420M| 683 | 0 |1800 |5837 |1800 | 262 | 88k| 197k|2789 | 0.000000e+00 | 6.878000e+03 | Inf
318.08/318.10 c 309s|400000 |327706 |815782 | 2.0 | 434M| 683 | 0 |1800 |7792 |1800 | 216 | 91k| 204k|2913 | 0.000000e+00 | 6.878000e+03 | Inf
325.59/325.66 c 317s|410000 |336285 |829999 | 2.0 | 445M| 683 | 0 |1800 |6626 |1800 | 216 | 93k| 209k|2947 | 0.000000e+00 | 6.878000e+03 | Inf
334.49/334.51 c 325s|420000 |345079 |865687 | 2.1 | 456M| 683 | 0 |1800 |6119 |1800 | 224 | 96k| 214k|3026 | 0.000000e+00 | 6.878000e+03 | Inf
334.79/334.80 o 6852
334.79/334.80 c * 326s|420314 |344206 |866478 | 2.1 | 454M| 683 | - |1800 |6224 |1800 | 238 | 96k| 214k|3029 | 0.000000e+00 | 6.852000e+03 | Inf
334.79/334.82 o 6846
334.79/334.82 c * 326s|420331 |343945 |866556 | 2.1 | 453M| 683 | - |1800 |6235 |1800 | 238 | 96k| 214k|3029 | 0.000000e+00 | 6.846000e+03 | Inf
334.79/334.84 o 6672
334.79/334.84 c * 326s|420332 |335887 |866562 | 2.1 | 432M| 683 | - |1800 |6235 |1800 | 238 | 96k| 214k|3029 | 0.000000e+00 | 6.672000e+03 | Inf
337.59/337.62 o 6669
337.59/337.62 c * 328s|423320 |338292 |876331 | 2.1 | 436M| 683 | - |1800 |6466 |1800 | 243 | 97k| 216k|3046 | 0.000000e+00 | 6.669000e+03 | Inf
337.59/337.62 o 6639
337.59/337.62 c * 328s|423321 |336811 |876332 | 2.1 | 432M| 683 | - |1800 |6466 |1800 | 243 | 97k| 216k|3046 | 0.000000e+00 | 6.639000e+03 | Inf
338.38/338.42 o 6621
338.38/338.42 c * 329s|423992 |336479 |880720 | 2.1 | 431M| 683 | - |1800 |6612 |1800 | 241 | 97k| 216k|3058 | 0.000000e+00 | 6.621000e+03 | Inf
343.19/343.22 c 334s|430000 |341697 |891606 | 2.1 | 438M| 683 | 0 |1800 |6461 |1800 | 220 | 99k| 219k|3121 | 0.000000e+00 | 6.621000e+03 | Inf
351.08/351.17 c 342s|440000 |350260 |908524 | 2.1 | 450M| 683 | 0 |1800 |5617 |1800 | 212 | 101k| 224k|3167 | 0.000000e+00 | 6.621000e+03 | Inf
359.48/359.57 c 350s|450000 |358665 |931432 | 2.1 | 462M| 683 | 0 |1800 |6275 |1800 | 240 | 103k| 230k|3231 | 0.000000e+00 | 6.621000e+03 | Inf
367.89/367.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.89/367.95 c 358s|460000 |367185 |953104 | 2.1 | 474M| 683 | 0 |1800 |5790 |1800 | 203 | 106k| 235k|3270 | 0.000000e+00 | 6.621000e+03 | Inf
375.89/375.96 c 366s|470000 |375858 |972585 | 2.1 | 486M| 683 | 0 |1800 |5493 |1800 | 201 | 109k| 240k|3318 | 0.000000e+00 | 6.621000e+03 | Inf
383.79/383.88 c 373s|480000 |384608 |991516 | 2.1 | 498M| 683 | 0 |1800 |5853 |1800 | 211 | 111k| 245k|3383 | 0.000000e+00 | 6.621000e+03 | Inf
389.39/389.48 o 6586
389.39/389.48 c * 379s|486793 |388387 | 1009k| 2.1 | 501M| 683 | - |1800 |6417 |1800 | 243 | 113k| 249k|3421 | 0.000000e+00 | 6.586000e+03 | Inf
392.08/392.13 c 381s|490000 |391106 | 1016k| 2.1 | 505M| 683 | 0 |1800 |6572 |1800 | 203 | 114k| 251k|3435 | 0.000000e+00 | 6.586000e+03 | Inf
397.78/397.88 o 6584
397.78/397.88 c * 387s|497283 |397268 | 1026k| 2.1 | 514M| 683 | - |1800 |7178 |1800 | 217 | 115k| 255k|3450 | 0.000000e+00 | 6.584000e+03 | Inf
397.78/397.88 o 6578
397.78/397.88 c * 387s|497284 |396885 | 1026k| 2.1 | 514M| 683 | - |1800 |7178 |1800 | 217 | 115k| 255k|3450 | 0.000000e+00 | 6.578000e+03 | Inf
400.08/400.11 c 389s|500000 |399229 | 1031k| 2.1 | 517M| 683 | 0 |1800 |7386 |1800 | 206 | 116k| 256k|3460 | 0.000000e+00 | 6.578000e+03 | Inf
407.48/407.50 o 6554
407.48/407.50 c * 396s|509097 |405504 | 1049k| 2.1 | 524M| 683 | - |1800 |7144 |1800 | 228 | 118k| 261k|3488 | 0.000000e+00 | 6.554000e+03 | Inf
407.48/407.52 o 6493
407.48/407.52 c * 396s|509100 |401732 | 1049k| 2.1 | 516M| 683 | - |1800 |7144 |1800 | 230 | 118k| 261k|3488 | 0.000000e+00 | 6.493000e+03 | Inf
407.48/407.54 o 6419
407.48/407.54 c * 396s|509102 |396967 | 1049k| 2.1 | 505M| 683 | - |1800 |7144 |1800 | 230 | 118k| 261k|3488 | 0.000000e+00 | 6.419000e+03 | Inf
407.48/407.56 o 6313
407.48/407.56 c * 396s|509103 |390118 | 1049k| 2.1 | 490M| 683 | - |1800 |7144 |1800 | 230 | 118k| 261k|3488 | 0.000000e+00 | 6.313000e+03 | Inf
408.29/408.37 c 397s|510000 |390884 | 1051k| 2.1 | 491M| 683 | 0 |1800 |7019 |1800 | 219 | 118k| 261k|3493 | 0.000000e+00 | 6.313000e+03 | Inf
416.48/416.59 c 405s|520000 |399411 | 1069k| 2.1 | 503M| 683 | 0 |1800 |6644 |1800 | 201 | 121k| 267k|3525 | 0.000000e+00 | 6.313000e+03 | Inf
425.08/425.13 c 414s|530000 |407805 | 1096k| 2.1 | 516M| 683 | 0 |1800 |7161 |1800 | 205 | 124k| 272k|3613 | 0.000000e+00 | 6.313000e+03 | Inf
433.18/433.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.18/433.27 c 422s|540000 |416310 | 1117k| 2.1 | 528M| 683 | 0 |1800 |5629 |1800 | 216 | 126k| 278k|3643 | 0.000000e+00 | 6.313000e+03 | Inf
441.18/441.27 c 429s|550000 |424557 | 1132k| 2.1 | 541M| 683 | 0 |1800 |5723 |1800 | 206 | 128k| 283k|3677 | 0.000000e+00 | 6.313000e+03 | Inf
449.89/449.93 c 438s|560000 |432729 | 1161k| 2.1 | 554M| 683 | 0 |1800 |6436 |1800 | 208 | 130k| 290k|3723 | 0.000000e+00 | 6.313000e+03 | Inf
457.89/457.97 c 446s|570000 |441383 | 1182k| 2.1 | 566M| 683 | 0 |1800 |6200 |1800 | 204 | 133k| 295k|3801 | 0.000000e+00 | 6.313000e+03 | Inf
462.38/462.49 o 6104
462.38/462.49 c * 450s|575682 |431736 | 1191k| 2.1 | 543M| 683 | - |1800 |6414 |1800 | 229 | 134k| 298k|3812 | 0.000000e+00 | 6.104000e+03 | Inf
462.48/462.51 o 5995
462.48/462.51 c * 450s|575683 |424246 | 1191k| 2.1 | 526M| 683 | - |1800 |6414 |1800 | 229 | 134k| 298k|3812 | 0.000000e+00 | 5.995000e+03 | Inf
466.18/466.28 c 454s|580000 |427827 | 1203k| 2.1 | 531M| 683 | 0 |1800 |6456 |1800 | 224 | 135k| 300k|3831 | 0.000000e+00 | 5.995000e+03 | Inf
474.79/474.80 c 462s|590000 |436284 | 1223k| 2.1 | 543M| 683 | 0 |1800 |5294 |1800 | 208 | 138k| 306k|3860 | 0.000000e+00 | 5.995000e+03 | Inf
483.09/483.17 c 470s|600000 |444873 | 1242k| 2.1 | 556M| 683 | 0 |1800 |6595 |1800 | 219 | 140k| 311k|3891 | 0.000000e+00 | 5.995000e+03 | Inf
492.08/492.13 c 478s|610000 |453300 | 1270k| 2.1 | 569M| 683 | - |1800 |6572 | 0 | 0 | 143k| 316k|3959 | 0.000000e+00 | 5.995000e+03 | Inf
500.68/500.70 c 486s|620000 |461552 | 1293k| 2.1 | 581M| 683 | 0 |1800 |6137 |1800 | 187 | 146k| 322k|3992 | 0.000000e+00 | 5.995000e+03 | Inf
508.98/509.09 c 494s|630000 |469867 | 1316k| 2.1 | 594M| 683 | 0 |1800 |6624 |1800 | 204 | 148k| 328k|4031 | 0.000000e+00 | 5.995000e+03 | Inf
517.99/518.01 c 503s|640000 |478118 | 1346k| 2.1 | 606M| 683 | - |1800 |7118 | 0 | 0 | 151k| 334k|4085 | 0.000000e+00 | 5.995000e+03 | Inf
526.19/526.29 c 511s|650000 |486739 | 1370k| 2.1 | 618M| 683 | 0 |1800 |6472 |1800 | 216 | 153k| 339k|4127 | 0.000000e+00 | 5.995000e+03 | Inf
535.99/536.00 c 520s|660000 |495011 | 1429k| 2.2 | 631M| 683 | 0 |1800 |6716 |1800 | 228 | 156k| 345k|4209 | 0.000000e+00 | 5.995000e+03 | Inf
544.98/545.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.98/545.03 c 528s|670000 |503270 | 1463k| 2.2 | 644M| 683 | 0 |1800 |6287 |1800 | 243 | 159k| 351k|4305 | 0.000000e+00 | 5.995000e+03 | Inf
553.19/553.21 c 536s|680000 |511604 | 1482k| 2.2 | 656M| 683 | - |1800 |6910 | 0 | 0 | 161k| 357k|4337 | 0.000000e+00 | 5.995000e+03 | Inf
561.49/561.51 c 544s|690000 |520060 | 1501k| 2.2 | 668M| 683 | 0 |1800 |6975 |1800 | 218 | 164k| 362k|4366 | 0.000000e+00 | 5.995000e+03 | Inf
569.98/570.05 c 552s|700000 |528365 | 1524k| 2.2 | 680M| 683 | 0 |1800 |6176 |1800 | 200 | 166k| 367k|4389 | 0.000000e+00 | 5.995000e+03 | Inf
578.18/578.28 c 560s|710000 |536677 | 1545k| 2.2 | 692M| 683 | 0 |1800 |6397 |1800 | 203 | 168k| 372k|4416 | 0.000000e+00 | 5.995000e+03 | Inf
586.79/586.87 c 568s|720000 |545013 | 1567k| 2.2 | 705M| 683 | 0 |1800 |6446 |1800 | 228 | 171k| 378k|4473 | 0.000000e+00 | 5.995000e+03 | Inf
594.88/595.00 c 575s|730000 |553435 | 1588k| 2.2 | 717M| 683 | 0 |1800 |6693 |1800 | 226 | 173k| 383k|4485 | 0.000000e+00 | 5.995000e+03 | Inf
603.29/603.36 c 583s|740000 |561663 | 1606k| 2.2 | 730M| 683 | 0 |1800 |7455 |1800 | 216 | 175k| 390k|4520 | 0.000000e+00 | 5.995000e+03 | Inf
611.88/611.93 c 591s|750000 |570083 | 1633k| 2.2 | 742M| 683 | 0 |1800 |6480 |1800 | 205 | 177k| 395k|4556 | 0.000000e+00 | 5.995000e+03 | Inf
620.38/620.41 c 599s|760000 |578353 | 1653k| 2.2 | 755M| 683 | 0 |1800 |6571 |1800 | 212 | 179k| 400k|4586 | 0.000000e+00 | 5.995000e+03 | Inf
628.88/628.91 c 607s|770000 |586796 | 1683k| 2.2 | 767M| 683 | 0 |1800 |6758 |1800 | 206 | 182k| 405k|4611 | 0.000000e+00 | 5.995000e+03 | Inf
637.68/637.71 c 616s|780000 |594998 | 1709k| 2.2 | 779M| 683 | 0 |1800 |7142 |1800 | 237 | 184k| 411k|4666 | 0.000000e+00 | 5.995000e+03 | Inf
645.88/645.96 c 624s|790000 |603362 | 1729k| 2.2 | 792M| 683 | 0 |1800 |7152 |1800 | 229 | 186k| 417k|4691 | 0.000000e+00 | 5.995000e+03 | Inf
654.58/654.64 c 632s|800000 |611645 | 1756k| 2.2 | 804M| 683 | 0 |1800 |6966 |1800 | 211 | 189k| 422k|4741 | 0.000000e+00 | 5.995000e+03 | Inf
662.98/663.08 c 640s|810000 |620099 | 1779k| 2.2 | 816M| 683 | 0 |1800 |6550 |1800 | 210 | 191k| 427k|4768 | 0.000000e+00 | 5.995000e+03 | Inf
671.38/671.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.38/671.41 c 648s|820000 |628446 | 1797k| 2.2 | 828M| 683 | - |1800 |6581 |1800 | 216 | 194k| 433k|4786 | 0.000000e+00 | 5.995000e+03 | Inf
679.68/679.76 c 655s|830000 |636733 | 1814k| 2.2 | 840M| 683 | 0 |1800 |6914 |1800 | 201 | 196k| 438k|4841 | 0.000000e+00 | 5.995000e+03 | Inf
687.98/688.05 c 663s|840000 |645162 | 1836k| 2.2 | 852M| 683 | 0 |1800 |7131 |1800 | 195 | 198k| 443k|4859 | 0.000000e+00 | 5.995000e+03 | Inf
696.29/696.32 c 671s|850000 |653437 | 1858k| 2.2 | 864M| 683 | 0 |1800 |6992 |1800 | 217 | 200k| 449k|4881 | 0.000000e+00 | 5.995000e+03 | Inf
704.68/704.73 c 679s|860000 |661823 | 1885k| 2.2 | 877M| 683 | 0 |1800 |7419 |1800 | 207 | 202k| 454k|4925 | 0.000000e+00 | 5.995000e+03 | Inf
713.08/713.19 c 687s|870000 |669938 | 1906k| 2.2 | 889M| 683 | 0 |1800 |7292 |1800 | 211 | 204k| 460k|4962 | 0.000000e+00 | 5.995000e+03 | Inf
717.08/717.15 o 5991
717.08/717.15 c * 691s|874624 |673465 | 1915k| 2.2 | 893M| 683 | - |1800 |6830 |1800 | 216 | 206k| 463k|4984 | 0.000000e+00 | 5.991000e+03 | Inf
717.08/717.17 o 5977
717.08/717.17 c * 691s|874627 |672236 | 1915k| 2.2 | 891M| 683 | - |1800 |6840 |1800 | 216 | 206k| 463k|4984 | 0.000000e+00 | 5.977000e+03 | Inf
721.48/721.59 c 695s|880000 |676849 | 1924k| 2.2 | 897M| 683 | 0 |1800 |6768 |1800 | 207 | 207k| 466k|4989 | 0.000000e+00 | 5.977000e+03 | Inf
730.48/730.57 c 703s|890000 |685342 | 1949k| 2.2 | 911M| 683 | - |1800 |8347 |1800 | 215 | 210k| 472k|5003 | 0.000000e+00 | 5.977000e+03 | Inf
739.38/739.40 c 712s|900000 |693738 | 1976k| 2.2 | 923M| 683 | 0 |1800 |7804 |1800 | 213 | 213k| 478k|5064 | 0.000000e+00 | 5.977000e+03 | Inf
748.78/748.81 c 721s|910000 |702059 | 2022k| 2.2 | 935M| 683 | 0 |1800 |6869 |1800 | 208 | 216k| 483k|5133 | 0.000000e+00 | 5.977000e+03 | Inf
756.98/757.06 c 728s|920000 |710270 | 2038k| 2.2 | 948M| 683 | 0 |1800 |8546 |1800 | 213 | 218k| 489k|5144 | 0.000000e+00 | 5.977000e+03 | Inf
765.59/765.62 c 737s|930000 |718675 | 2061k| 2.2 | 960M| 683 | 0 |1800 |7328 |1800 | 205 | 220k| 495k|5171 | 0.000000e+00 | 5.977000e+03 | Inf
773.98/774.07 c 745s|940000 |726956 | 2082k| 2.2 | 972M| 683 | 0 |1800 |7148 |1800 | 210 | 222k| 501k|5215 | 0.000000e+00 | 5.977000e+03 | Inf
782.18/782.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.18/782.29 c 752s|950000 |735203 | 2100k| 2.2 | 984M| 683 | 0 |1800 |6598 |1800 | 220 | 225k| 506k|5231 | 0.000000e+00 | 5.977000e+03 | Inf
790.78/790.89 c 761s|960000 |743719 | 2123k| 2.2 | 996M| 683 | 0 |1800 |6876 |1800 | 211 | 227k| 511k|5252 | 0.000000e+00 | 5.977000e+03 | Inf
799.47/799.60 c 769s|970000 |752164 | 2150k| 2.2 |1009M| 683 | 0 |1800 |6773 |1800 | 204 | 230k| 516k|5279 | 0.000000e+00 | 5.977000e+03 | Inf
807.98/808.07 c 777s|980000 |760514 | 2171k| 2.2 |1021M| 683 | 0 |1800 |7518 |1800 | 211 | 232k| 522k|5326 | 0.000000e+00 | 5.977000e+03 | Inf
816.08/816.17 c 784s|990000 |768808 | 2189k| 2.2 |1034M| 683 | - |1800 |7922 | 0 | 0 | 234k| 528k|5367 | 0.000000e+00 | 5.977000e+03 | Inf
824.48/824.51 c 792s| 1000k|777069 | 2209k| 2.2 |1046M| 683 | 0 |1800 |7960 |1800 | 216 | 237k| 534k|5376 | 0.000000e+00 | 5.977000e+03 | Inf
828.29/828.35 o 5967
828.29/828.35 c * 796s| 1004k|779800 | 2220k| 2.2 |1049M| 683 | - |1800 |7733 |1800 | 224 | 238k| 536k|5390 | 0.000000e+00 | 5.967000e+03 | Inf
828.29/828.39 o 5870
828.29/828.39 c * 796s| 1004k|769468 | 2220k| 2.2 |1028M| 683 | - |1800 |7733 |1800 | 224 | 238k| 536k|5390 | 0.000000e+00 | 5.870000e+03 | Inf
828.47/828.54 o 5836
828.47/828.54 c * 796s| 1004k|765641 | 2220k| 2.2 |1021M| 683 | - |1800 |7776 |1800 | 237 | 238k| 536k|5394 | 0.000000e+00 | 5.836000e+03 | Inf
828.47/828.58 o 5739
828.47/828.58 c * 796s| 1004k|754138 | 2220k| 2.2 | 998M| 683 | - |1800 |7776 |1800 | 237 | 238k| 536k|5394 | 0.000000e+00 | 5.739000e+03 | Inf
833.08/833.12 c 800s| 1010k|758688 | 2230k| 2.2 |1005M| 683 | 0 |1800 |8153 |1800 | 210 | 239k| 539k|5404 | 0.000000e+00 | 5.739000e+03 | Inf
841.68/841.73 c 808s| 1020k|766962 | 2251k| 2.2 |1017M| 683 | 0 |1800 |7954 |1800 | 208 | 241k| 545k|5444 | 0.000000e+00 | 5.739000e+03 | Inf
850.68/850.74 c 817s| 1030k|775140 | 2274k| 2.2 |1030M| 683 | 0 |1800 |8359 |1800 | 231 | 244k| 551k|5462 | 0.000000e+00 | 5.739000e+03 | Inf
859.27/859.30 c 825s| 1040k|783489 | 2292k| 2.2 |1042M| 683 | 0 |1800 |8269 |1800 | 211 | 246k| 557k|5483 | 0.000000e+00 | 5.739000e+03 | Inf
868.07/868.19 c 833s| 1050k|791748 | 2322k| 2.2 |1054M| 683 | 0 |1800 |7361 |1800 | 211 | 248k| 562k|5516 | 0.000000e+00 | 5.739000e+03 | Inf
876.98/877.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.98/877.06 c 842s| 1060k|799878 | 2347k| 2.2 |1067M| 683 | 0 |1800 |7568 |1800 | 226 | 251k| 569k|5559 | 0.000000e+00 | 5.739000e+03 | Inf
885.37/885.42 c 850s| 1070k|808201 | 2367k| 2.2 |1079M| 683 | 0 |1800 |7583 |1800 | 214 | 253k| 574k|5566 | 0.000000e+00 | 5.739000e+03 | Inf
893.67/893.76 c 857s| 1080k|816398 | 2386k| 2.2 |1092M| 683 | 0 |1800 |6861 |1800 | 223 | 255k| 579k|5601 | 0.000000e+00 | 5.739000e+03 | Inf
901.97/902.03 c 865s| 1090k|824563 | 2404k| 2.2 |1104M| 683 | 0 |1800 |7634 |1800 | 218 | 257k| 585k|5610 | 0.000000e+00 | 5.739000e+03 | Inf
910.37/910.45 c 873s| 1100k|832903 | 2425k| 2.2 |1116M| 683 | 0 |1800 |6995 |1800 | 222 | 260k| 590k|5647 | 0.000000e+00 | 5.739000e+03 | Inf
918.77/918.83 c 881s| 1110k|841206 | 2448k| 2.2 |1129M| 683 | 0 |1800 |7322 |1800 | 198 | 262k| 595k|5694 | 0.000000e+00 | 5.739000e+03 | Inf
927.47/927.59 c 889s| 1120k|849500 | 2478k| 2.2 |1142M| 683 | 0 |1800 |7633 |1800 | 201 | 264k| 601k|5733 | 0.000000e+00 | 5.739000e+03 | Inf
936.08/936.16 c 897s| 1130k|857967 | 2500k| 2.2 |1154M| 683 | 0 |1800 |7263 |1800 | 216 | 267k| 606k|5747 | 0.000000e+00 | 5.739000e+03 | Inf
944.57/944.67 c 905s| 1140k|866522 | 2524k| 2.2 |1166M| 683 | 0 |1800 |6916 |1800 | 212 | 269k| 610k|5783 | 0.000000e+00 | 5.739000e+03 | Inf
952.66/952.76 c 913s| 1150k|874980 | 2540k| 2.2 |1178M| 683 | 0 |1800 |7209 |1800 | 199 | 271k| 615k|5793 | 0.000000e+00 | 5.739000e+03 | Inf
958.77/958.84 o 5644
958.77/958.84 c * 919s| 1156k|867551 | 2561k| 2.2 |1162M| 683 | - |1800 |7818 |1800 | 218 | 273k| 619k|5823 | 0.000000e+00 | 5.644000e+03 | Inf
958.77/958.88 o 5570
958.77/958.88 c * 919s| 1156k|856635 | 2561k| 2.2 |1141M| 683 | - |1800 |7818 |1800 | 218 | 273k| 619k|5823 | 0.000000e+00 | 5.570000e+03 | Inf
961.86/961.93 c 922s| 1160k|859390 | 2568k| 2.2 |1145M| 683 | 0 |1800 |7897 |1800 | 215 | 274k| 621k|5825 | 0.000000e+00 | 5.570000e+03 | Inf
970.36/970.42 c 930s| 1170k|867602 | 2586k| 2.2 |1157M| 683 | 0 |1800 |7073 |1800 | 204 | 277k| 626k|5857 | 0.000000e+00 | 5.570000e+03 | Inf
972.76/972.80 o 5480
972.76/972.80 c * 933s| 1172k|856577 | 2589k| 2.2 |1135M| 683 | - |1800 |6855 |1800 | 228 | 277k| 628k|5864 | 0.000000e+00 | 5.480000e+03 | Inf
972.76/972.83 o 5447
972.76/972.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.76/972.83 c * 933s| 1172k|851708 | 2589k| 2.2 |1126M| 683 | - |1800 |6855 |1800 | 228 | 277k| 628k|5864 | 0.000000e+00 | 5.447000e+03 | Inf
978.97/979.03 c 939s| 1180k|857679 | 2605k| 2.2 |1135M| 683 | 0 |1800 |6274 |1800 | 217 | 279k| 632k|5877 | 0.000000e+00 | 5.447000e+03 | Inf
987.66/987.71 c 947s| 1190k|865877 | 2626k| 2.2 |1148M| 683 | 0 |1800 |6167 |1800 | 201 | 281k| 637k|5888 | 0.000000e+00 | 5.447000e+03 | Inf
996.16/996.20 c 955s| 1200k|874268 | 2647k| 2.2 |1160M| 683 | 0 |1800 |6175 |1800 | 208 | 284k| 642k|5916 | 0.000000e+00 | 5.447000e+03 | Inf
1004.66/1004.75 c 964s| 1210k|882690 | 2670k| 2.2 |1173M| 683 | 0 |1800 |6417 |1800 | 197 | 286k| 647k|5949 | 0.000000e+00 | 5.447000e+03 | Inf
1014.36/1014.49 c 973s| 1220k|891212 | 2727k| 2.2 |1186M| 683 | 0 |1800 |7424 |1800 | 234 | 290k| 652k|5993 | 0.000000e+00 | 5.447000e+03 | Inf
1022.66/1022.79 c 981s| 1230k|899591 | 2748k| 2.2 |1198M| 683 | 0 |1800 |6400 |1800 | 208 | 292k| 657k|6019 | 0.000000e+00 | 5.447000e+03 | Inf
1031.36/1031.44 c 990s| 1240k|907850 | 2768k| 2.2 |1211M| 683 | 0 |1800 |6521 |1800 | 219 | 294k| 663k|6049 | 0.000000e+00 | 5.447000e+03 | Inf
1039.56/1039.64 c 998s| 1250k|916125 | 2784k| 2.2 |1223M| 683 | 0 |1800 |7467 |1800 | 233 | 296k| 668k|6084 | 0.000000e+00 | 5.447000e+03 | Inf
1044.87/1044.97 o 5392
1044.87/1044.97 c *1003s| 1256k|912760 | 2796k| 2.2 |1216M| 683 | - |1800 |7019 |1800 | 224 | 298k| 672k|6089 | 0.000000e+00 | 5.392000e+03 | Inf
1048.36/1048.42 c 1006s| 1260k|915917 | 2808k| 2.2 |1220M| 683 | 0 |1800 |6710 |1800 | 205 | 299k| 673k|6096 | 0.000000e+00 | 5.392000e+03 | Inf
1056.96/1057.03 c 1015s| 1270k|924485 | 2830k| 2.2 |1233M| 683 | 0 |1800 |6992 |1800 | 201 | 301k| 678k|6133 | 0.000000e+00 | 5.392000e+03 | Inf
1065.16/1065.22 c 1023s| 1280k|932786 | 2848k| 2.2 |1246M| 683 | 0 |1800 |6887 |1800 | 227 | 303k| 684k|6149 | 0.000000e+00 | 5.392000e+03 | Inf
1073.66/1073.73 c 1031s| 1290k|941029 | 2867k| 2.2 |1258M| 683 | 0 |1800 |7381 |1800 | 220 | 305k| 689k|6163 | 0.000000e+00 | 5.392000e+03 | Inf
1081.86/1081.96 c 1039s| 1300k|949198 | 2884k| 2.2 |1271M| 683 | 0 |1800 |6922 |1800 | 214 | 308k| 695k|6183 | 0.000000e+00 | 5.392000e+03 | Inf
1090.46/1090.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.46/1090.56 c 1047s| 1310k|957343 | 2903k| 2.2 |1284M| 683 | 0 |1800 |6964 |1800 | 205 | 310k| 700k|6212 | 0.000000e+00 | 5.392000e+03 | Inf
1099.16/1099.21 c 1056s| 1320k|965389 | 2925k| 2.2 |1296M| 683 | 0 |1800 |6758 |1800 | 199 | 312k| 706k|6230 | 0.000000e+00 | 5.392000e+03 | Inf
1107.15/1107.28 c 1063s| 1330k|973747 | 2943k| 2.2 |1309M| 683 | 0 |1800 |6472 |1800 | 226 | 314k| 711k|6250 | 0.000000e+00 | 5.392000e+03 | Inf
1116.75/1116.87 c 1073s| 1340k|982135 | 2994k| 2.2 |1321M| 683 | 0 |1800 |6539 |1800 | 221 | 317k| 716k|6303 | 0.000000e+00 | 5.392000e+03 | Inf
1126.16/1126.21 c 1082s| 1350k|990434 | 3039k| 2.3 |1334M| 683 | 0 |1800 |6315 |1800 | 227 | 320k| 722k|6365 | 0.000000e+00 | 5.392000e+03 | Inf
1134.65/1134.79 c 1090s| 1360k|998835 | 3069k| 2.3 |1346M| 683 | 0 |1800 |6488 |1800 | 208 | 322k| 727k|6376 | 0.000000e+00 | 5.392000e+03 | Inf
1137.56/1137.64 o 5385
1137.56/1137.64 c *1093s| 1363k| 1000k| 3083k| 2.3 |1348M| 683 | - |1800 |6439 |1800 | 219 | 323k| 728k|6387 | 0.000000e+00 | 5.385000e+03 | Inf
1137.56/1137.68 o 5310
1137.56/1137.68 c *1093s| 1363k|987936 | 3083k| 2.3 |1322M| 683 | - |1800 |6439 |1800 | 219 | 323k| 728k|6387 | 0.000000e+00 | 5.310000e+03 | Inf
1143.75/1143.82 c 1099s| 1370k|993658 | 3102k| 2.3 |1331M| 683 | 0 |1800 |6567 |1800 | 205 | 325k| 732k|6416 | 0.000000e+00 | 5.310000e+03 | Inf
1152.85/1152.97 c 1108s| 1380k| 1001k| 3135k| 2.3 |1343M| 683 | 0 |1800 |6660 |1800 | 220 | 327k| 737k|6456 | 0.000000e+00 | 5.310000e+03 | Inf
1161.36/1161.45 c 1116s| 1390k| 1010k| 3155k| 2.3 |1356M| 683 | 0 |1800 |6525 |1800 | 213 | 330k| 743k|6488 | 0.000000e+00 | 5.310000e+03 | Inf
1170.45/1170.57 c 1125s| 1400k| 1018k| 3191k| 2.3 |1369M| 683 | 0 |1800 |6400 |1800 | 235 | 333k| 748k|6526 | 0.000000e+00 | 5.310000e+03 | Inf
1179.35/1179.49 c 1134s| 1410k| 1026k| 3225k| 2.3 |1381M| 683 | 0 |1800 |6757 |1800 | 232 | 335k| 754k|6554 | 0.000000e+00 | 5.310000e+03 | Inf
1187.55/1187.68 c 1142s| 1420k| 1034k| 3241k| 2.3 |1394M| 683 | 0 |1800 |6921 |1800 | 222 | 337k| 758k|6577 | 0.000000e+00 | 5.310000e+03 | Inf
1195.96/1196.07 c 1150s| 1430k| 1042k| 3261k| 2.3 |1405M| 683 | 0 |1800 |6617 |1800 | 214 | 339k| 763k|6594 | 0.000000e+00 | 5.310000e+03 | Inf
1204.25/1204.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.25/1204.35 c 1158s| 1440k| 1051k| 3281k| 2.3 |1418M| 683 | 0 |1800 |6251 |1800 | 202 | 341k| 769k|6623 | 0.000000e+00 | 5.310000e+03 | Inf
1212.45/1212.53 c 1166s| 1450k| 1059k| 3299k| 2.3 |1430M| 683 | 0 |1800 |6629 |1800 | 212 | 343k| 774k|6634 | 0.000000e+00 | 5.310000e+03 | Inf
1220.75/1220.83 c 1174s| 1460k| 1067k| 3318k| 2.3 |1442M| 683 | 0 |1800 |6382 |1800 | 205 | 345k| 779k|6650 | 0.000000e+00 | 5.310000e+03 | Inf
1229.05/1229.14 c 1182s| 1470k| 1075k| 3336k| 2.3 |1454M| 683 | 0 |1800 |6609 |1800 | 224 | 348k| 784k|6673 | 0.000000e+00 | 5.310000e+03 | Inf
1237.65/1237.77 c 1190s| 1480k| 1083k| 3361k| 2.3 |1466M| 683 | 0 |1800 |6778 |1800 | 223 | 350k| 790k|6704 | 0.000000e+00 | 5.310000e+03 | Inf
1246.16/1246.25 c 1199s| 1490k| 1092k| 3383k| 2.3 |1479M| 683 | 0 |1800 |6638 |1800 | 221 | 352k| 796k|6728 | 0.000000e+00 | 5.310000e+03 | Inf
1247.95/1248.07 o 5239
1247.95/1248.07 c *1200s| 1491k| 1080k| 3394k| 2.3 |1453M| 683 | - |1800 |6590 |1800 | 219 | 353k| 796k|6729 | 0.000000e+00 | 5.239000e+03 | Inf
1254.96/1255.08 c 1207s| 1500k| 1087k| 3409k| 2.3 |1463M| 683 | 0 |1800 |6819 |1800 | 204 | 355k| 801k|6755 | 0.000000e+00 | 5.239000e+03 | Inf
1263.55/1263.68 c 1216s| 1510k| 1095k| 3434k| 2.3 |1476M| 683 | 0 |1800 |6806 |1800 | 208 | 357k| 806k|6784 | 0.000000e+00 | 5.239000e+03 | Inf
1272.34/1272.41 c 1224s| 1520k| 1103k| 3460k| 2.3 |1489M| 683 | 0 |1800 |7547 |1800 | 220 | 359k| 812k|6804 | 0.000000e+00 | 5.239000e+03 | Inf
1277.25/1277.32 o 5174
1277.25/1277.32 c *1229s| 1525k| 1096k| 3473k| 2.3 |1468M| 683 | - |1800 |7244 |1800 | 229 | 361k| 814k|6807 | 0.000000e+00 | 5.174000e+03 | Inf
1280.85/1280.97 c 1233s| 1530k| 1099k| 3480k| 2.3 |1473M| 683 | 0 |1800 |7236 |1800 | 216 | 361k| 817k|6819 | 0.000000e+00 | 5.174000e+03 | Inf
1289.54/1289.66 c 1241s| 1540k| 1108k| 3500k| 2.3 |1486M| 683 | 0 |1800 |6776 |1800 | 215 | 364k| 822k|6845 | 0.000000e+00 | 5.174000e+03 | Inf
1297.85/1297.98 c 1249s| 1550k| 1116k| 3517k| 2.3 |1499M| 683 | 0 |1800 |7119 |1800 | 202 | 366k| 827k|6863 | 0.000000e+00 | 5.174000e+03 | Inf
1306.25/1306.36 c 1257s| 1560k| 1124k| 3535k| 2.3 |1511M| 683 | 0 |1800 |6607 |1800 | 205 | 368k| 832k|6883 | 0.000000e+00 | 5.174000e+03 | Inf
1314.94/1315.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.94/1315.00 c 1266s| 1570k| 1132k| 3556k| 2.3 |1523M| 683 | 0 |1800 |6490 |1800 | 211 | 371k| 837k|6903 | 0.000000e+00 | 5.174000e+03 | Inf
1323.55/1323.66 c 1274s| 1580k| 1140k| 3577k| 2.3 |1536M| 683 | 0 |1800 |6007 |1800 | 209 | 374k| 842k|6933 | 0.000000e+00 | 5.174000e+03 | Inf
1332.25/1332.40 c 1283s| 1590k| 1148k| 3600k| 2.3 |1549M| 683 | 0 |1800 |6711 |1800 | 213 | 377k| 848k|6963 | 0.000000e+00 | 5.174000e+03 | Inf
1340.75/1340.87 c 1291s| 1600k| 1157k| 3622k| 2.3 |1561M| 683 | 0 |1800 |6503 |1800 | 222 | 379k| 853k|6979 | 0.000000e+00 | 5.174000e+03 | Inf
1349.55/1349.64 c 1299s| 1610k| 1165k| 3645k| 2.3 |1575M| 683 | 0 |1800 |7395 |1800 | 220 | 382k| 859k|7003 | 0.000000e+00 | 5.174000e+03 | Inf
1357.95/1358.07 c 1308s| 1620k| 1173k| 3664k| 2.3 |1587M| 683 | 0 |1800 |6409 |1800 | 204 | 384k| 864k|7026 | 0.000000e+00 | 5.174000e+03 | Inf
1366.75/1366.89 c 1316s| 1630k| 1181k| 3689k| 2.3 |1600M| 683 | 0 |1800 |7022 |1800 | 213 | 387k| 869k|7061 | 0.000000e+00 | 5.174000e+03 | Inf
1375.55/1375.61 c 1325s| 1640k| 1190k| 3712k| 2.3 |1614M| 683 | 0 |1800 |6650 |1800 | 221 | 390k| 875k|7088 | 0.000000e+00 | 5.174000e+03 | Inf
1384.14/1384.23 c 1333s| 1650k| 1197k| 3735k| 2.3 |1627M| 683 | 0 |1800 |7072 |1800 | 221 | 392k| 881k|7120 | 0.000000e+00 | 5.174000e+03 | Inf
1392.94/1393.03 c 1342s| 1660k| 1205k| 3767k| 2.3 |1639M| 683 | 0 |1800 |7067 |1800 | 233 | 395k| 887k|7144 | 0.000000e+00 | 5.174000e+03 | Inf
1401.74/1401.81 c 1350s| 1670k| 1213k| 3799k| 2.3 |1651M| 683 | 0 |1800 |7104 |1800 | 202 | 397k| 892k|7169 | 0.000000e+00 | 5.174000e+03 | Inf
1410.25/1410.38 c 1359s| 1680k| 1222k| 3822k| 2.3 |1663M| 683 | 0 |1800 |7279 |1800 | 218 | 399k| 897k|7197 | 0.000000e+00 | 5.174000e+03 | Inf
1418.95/1419.07 c 1367s| 1690k| 1230k| 3846k| 2.3 |1676M| 683 | 0 |1800 |7167 |1800 | 228 | 402k| 902k|7224 | 0.000000e+00 | 5.174000e+03 | Inf
1428.34/1428.48 c 1376s| 1700k| 1238k| 3895k| 2.3 |1688M| 683 | 0 |1800 |6902 |1800 | 201 | 405k| 908k|7242 | 0.000000e+00 | 5.174000e+03 | Inf
1433.44/1433.53 o 5156
1433.44/1433.53 c *1381s| 1705k| 1239k| 3923k| 2.3 |1687M| 683 | - |1800 |7668 |1800 | 216 | 406k| 911k|7274 | 0.000000e+00 | 5.156000e+03 | Inf
1438.54/1438.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.54/1438.69 c 1386s| 1710k| 1243k| 3952k| 2.3 |1693M| 683 | 0 |1800 |7841 |1800 | 207 | 408k| 915k|7304 | 0.000000e+00 | 5.156000e+03 | Inf
1447.34/1447.50 c 1395s| 1720k| 1251k| 3979k| 2.3 |1705M| 683 | 0 |1800 |6625 |1800 | 223 | 411k| 920k|7339 | 0.000000e+00 | 5.156000e+03 | Inf
1447.44/1447.57 o 5094
1447.44/1447.57 c *1395s| 1720k| 1237k| 3979k| 2.3 |1672M| 683 | - |1800 |6632 |1800 | 228 | 411k| 920k|7339 | 0.000000e+00 | 5.094000e+03 | Inf
1447.54/1447.61 o 5056
1447.54/1447.61 c *1395s| 1720k| 1228k| 3979k| 2.3 |1650M| 683 | - |1800 |6632 |1800 | 228 | 411k| 920k|7339 | 0.000000e+00 | 5.056000e+03 | Inf
1456.63/1456.79 c 1404s| 1730k| 1236k| 4007k| 2.3 |1663M| 683 | 0 |1800 |7024 |1800 | 209 | 413k| 926k|7381 | 0.000000e+00 | 5.056000e+03 | Inf
1465.33/1465.47 c 1412s| 1740k| 1244k| 4025k| 2.3 |1675M| 683 | 0 |1800 |6601 |1800 | 226 | 416k| 932k|7391 | 0.000000e+00 | 5.056000e+03 | Inf
1474.84/1474.91 c 1421s| 1750k| 1253k| 4073k| 2.3 |1688M| 683 | 0 |1800 |6548 |1800 | 208 | 418k| 936k|7418 | 0.000000e+00 | 5.056000e+03 | Inf
1483.44/1483.54 c 1430s| 1760k| 1261k| 4094k| 2.3 |1701M| 683 | 0 |1800 |7381 |1800 | 207 | 420k| 942k|7454 | 0.000000e+00 | 5.056000e+03 | Inf
1492.34/1492.41 c 1438s| 1770k| 1269k| 4122k| 2.3 |1714M| 683 | 0 |1800 |7998 |1800 | 209 | 423k| 948k|7472 | 0.000000e+00 | 5.056000e+03 | Inf
1499.94/1500.06 o 4976
1499.94/1500.06 c *1446s| 1778k| 1255k| 4142k| 2.3 |1674M| 683 | - |1800 |7891 |1800 | 231 | 425k| 952k|7500 | 0.000000e+00 | 4.976000e+03 | Inf
1500.34/1500.45 o 4810
1500.34/1500.45 c *1446s| 1778k| 1210k| 4142k| 2.3 |1575M| 683 | - |1800 |7884 |1800 | 220 | 425k| 953k|7500 | 0.000000e+00 | 4.810000e+03 | Inf
1500.43/1500.55 o 4782
1500.43/1500.55 c *1446s| 1778k| 1202k| 4142k| 2.3 |1558M| 683 | - |1800 |7874 |1800 | 221 | 425k| 953k|7500 | 0.000000e+00 | 4.782000e+03 | Inf
1500.53/1500.67 o 4704
1500.53/1500.67 c *1446s| 1778k| 1180k| 4143k| 2.3 |1512M| 683 | - |1800 |7874 |1800 | 221 | 425k| 953k|7500 | 0.000000e+00 | 4.704000e+03 | Inf
1500.73/1500.81 o 4662
1500.73/1500.81 c *1446s| 1778k| 1168k| 4143k| 2.3 |1488M| 683 | - |1800 |7873 |1800 | 218 | 425k| 953k|7500 | 0.000000e+00 | 4.662000e+03 | Inf
1501.93/1502.01 c 1448s| 1780k| 1169k| 4147k| 2.3 |1490M| 683 | 0 |1800 |8004 |1800 | 229 | 425k| 953k|7514 | 0.000000e+00 | 4.662000e+03 | Inf
1510.93/1511.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.93/1511.05 c 1456s| 1790k| 1177k| 4169k| 2.3 |1503M| 683 | - |1800 |7351 | 0 | 0 | 428k| 959k|7525 | 0.000000e+00 | 4.662000e+03 | Inf
1520.33/1520.42 c 1465s| 1800k| 1185k| 4193k| 2.3 |1516M| 683 | 0 |1800 |6958 |1800 | 220 | 431k| 964k|7551 | 0.000000e+00 | 4.662000e+03 | Inf
1529.13/1529.26 c 1473s| 1810k| 1193k| 4215k| 2.3 |1529M| 683 | 0 |1800 |7112 |1800 | 216 | 433k| 969k|7573 | 0.000000e+00 | 4.662000e+03 | Inf
1537.83/1537.96 c 1482s| 1820k| 1201k| 4233k| 2.3 |1542M| 683 | 0 |1800 |6767 |1800 | 217 | 435k| 974k|7579 | 0.000000e+00 | 4.662000e+03 | Inf
1547.03/1547.19 c 1490s| 1830k| 1209k| 4258k| 2.3 |1555M| 683 | 0 |1800 |6673 |1800 | 226 | 437k| 980k|7606 | 0.000000e+00 | 4.662000e+03 | Inf
1555.93/1556.07 c 1499s| 1840k| 1217k| 4279k| 2.3 |1569M| 683 | 0 |1800 |6851 |1800 | 217 | 440k| 985k|7627 | 0.000000e+00 | 4.662000e+03 | Inf
1564.83/1564.92 c 1507s| 1850k| 1225k| 4305k| 2.3 |1582M| 683 | 0 |1800 |6683 |1800 | 225 | 442k| 990k|7655 | 0.000000e+00 | 4.662000e+03 | Inf
1573.93/1574.08 c 1516s| 1860k| 1233k| 4329k| 2.3 |1595M| 683 | 0 |1800 |6930 |1800 | 211 | 445k| 995k|7668 | 0.000000e+00 | 4.662000e+03 | Inf
1583.63/1583.79 c 1525s| 1870k| 1241k| 4356k| 2.3 |1608M| 683 | 0 |1800 |7449 |1800 | 206 | 448k|1001k|7695 | 0.000000e+00 | 4.662000e+03 | Inf
1593.83/1593.93 c 1534s| 1880k| 1249k| 4404k| 2.3 |1621M| 683 | 0 |1800 |6315 |1800 | 210 | 451k|1007k|7739 | 0.000000e+00 | 4.662000e+03 | Inf
1602.73/1602.86 c 1543s| 1890k| 1257k| 4431k| 2.3 |1634M| 683 | 0 |1800 |6416 |1800 | 222 | 453k|1012k|7758 | 0.000000e+00 | 4.662000e+03 | Inf
1611.83/1611.90 c 1551s| 1900k| 1265k| 4459k| 2.3 |1647M| 683 | 0 |1800 |6868 |1800 | 200 | 456k|1017k|7774 | 0.000000e+00 | 4.662000e+03 | Inf
1621.23/1621.33 c 1560s| 1910k| 1274k| 4498k| 2.4 |1660M| 683 | 0 |1800 |6067 |1800 | 216 | 458k|1022k|7826 | 0.000000e+00 | 4.662000e+03 | Inf
1630.53/1630.66 c 1569s| 1920k| 1282k| 4525k| 2.4 |1674M| 683 | 0 |1800 |6503 |1800 | 225 | 461k|1027k|7843 | 0.000000e+00 | 4.662000e+03 | Inf
1639.53/1639.61 c 1577s| 1930k| 1289k| 4547k| 2.4 |1686M| 683 | 0 |1800 |6459 |1800 | 231 | 464k|1033k|7867 | 0.000000e+00 | 4.662000e+03 | Inf
1648.22/1648.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1648.22/1648.31 c 1586s| 1940k| 1297k| 4568k| 2.4 |1699M| 683 | 0 |1800 |6512 |1800 | 217 | 466k|1038k|7879 | 0.000000e+00 | 4.662000e+03 | Inf
1656.82/1656.95 c 1594s| 1950k| 1306k| 4587k| 2.4 |1711M| 683 | 0 |1800 |5560 |1800 | 219 | 468k|1043k|7905 | 0.000000e+00 | 4.662000e+03 | Inf
1666.03/1666.16 c 1602s| 1960k| 1314k| 4616k| 2.4 |1724M| 683 | 0 |1800 |6399 |1800 | 208 | 471k|1049k|7955 | 0.000000e+00 | 4.662000e+03 | Inf
1674.93/1675.07 c 1611s| 1970k| 1322k| 4639k| 2.4 |1738M| 683 | 0 |1800 |7002 |1800 | 227 | 474k|1054k|7961 | 0.000000e+00 | 4.662000e+03 | Inf
1684.52/1684.60 c 1620s| 1980k| 1330k| 4676k| 2.4 |1751M| 683 | 0 |1800 |6726 |1800 | 211 | 477k|1059k|7994 | 0.000000e+00 | 4.662000e+03 | Inf
1693.03/1693.17 c 1628s| 1990k| 1338k| 4693k| 2.4 |1764M| 683 | 0 |1800 |6699 |1800 | 205 | 479k|1065k|8004 | 0.000000e+00 | 4.662000e+03 | Inf
1702.83/1702.96 c 1637s| 2000k| 1346k| 4739k| 2.4 |1777M| 683 | 0 |1800 |7113 |1800 | 204 | 483k|1070k|8024 | 0.000000e+00 | 4.662000e+03 | Inf
1711.72/1711.81 c 1645s| 2010k| 1354k| 4763k| 2.4 |1790M| 683 | 0 |1800 |6446 |1800 | 222 | 485k|1075k|8053 | 0.000000e+00 | 4.662000e+03 | Inf
1720.52/1720.64 c 1654s| 2020k| 1362k| 4791k| 2.4 |1802M| 683 | 0 |1800 |6101 |1800 | 207 | 488k|1080k|8081 | 0.000000e+00 | 4.662000e+03 | Inf
1729.22/1729.37 c 1662s| 2030k| 1370k| 4814k| 2.4 |1815M| 683 | 0 |1800 |6744 |1800 | 222 | 490k|1085k|8098 | 0.000000e+00 | 4.662000e+03 | Inf
1738.12/1738.27 c 1670s| 2040k| 1378k| 4837k| 2.4 |1828M| 683 | 0 |1800 |6791 |1800 | 216 | 493k|1091k|8121 | 0.000000e+00 | 4.662000e+03 | Inf
1747.62/1747.73 c 1679s| 2050k| 1386k| 4870k| 2.4 |1841M| 683 | 0 |1800 |7020 |1800 | 216 | 496k|1096k|8146 | 0.000000e+00 | 4.662000e+03 | Inf
1756.22/1756.39 o 4649
1756.22/1756.39 c *1687s| 2058k| 1389k| 4916k| 2.4 |1846M| 683 | - |1800 |7866 |1800 | 222 | 499k|1101k|8176 | 0.000000e+00 | 4.649000e+03 | Inf
1756.32/1756.44 o 4616
1756.32/1756.44 c *1687s| 2058k| 1380k| 4916k| 2.4 |1826M| 683 | - |1800 |7866 |1800 | 222 | 499k|1101k|8176 | 0.000000e+00 | 4.616000e+03 | Inf
1757.42/1757.59 c 1689s| 2060k| 1381k| 4920k| 2.4 |1828M| 683 | 0 |1800 |7793 |1800 | 226 | 499k|1102k|8179 | 0.000000e+00 | 4.616000e+03 | Inf
1767.02/1767.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.02/1767.14 c 1698s| 2070k| 1389k| 4957k| 2.4 |1841M| 683 | 0 |1800 |7350 |1800 | 229 | 502k|1107k|8208 | 0.000000e+00 | 4.616000e+03 | Inf
1776.12/1776.21 c 1706s| 2080k| 1397k| 4993k| 2.4 |1854M| 683 | 0 |1800 |7268 |1800 | 226 | 504k|1112k|8223 | 0.000000e+00 | 4.616000e+03 | Inf
1786.12/1786.23 c 1716s| 2090k| 1405k| 5038k| 2.4 |1868M| 683 | 0 |1800 |7766 |1800 | 227 | 507k|1118k|8275 | 0.000000e+00 | 4.616000e+03 | Inf
1795.51/1795.60 c 1724s| 2100k| 1412k| 5067k| 2.4 |1882M| 683 | - |1800 |8147 |1800 | 211 | 510k|1125k|8314 | 0.000000e+00 | 4.616000e+03 | Inf
1800.02/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.10 c
1800.02/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.10 c Solving Time (sec) : 1728.57
1800.02/1800.10 c Solving Nodes : 2104656
1800.02/1800.10 c Primal Bound : +4.61600000000000e+03 (154 solutions)
1800.02/1800.10 c Dual Bound : +0.00000000000000e+00
1800.02/1800.10 c Gap : infinite
1800.02/1800.11 s SATISFIABLE
1800.02/1800.11 v x200 -x199 -x198 x197 x196 -x195 -x194 x193 x192 -x191 -x190 x189 x188 -x187 x186 -x185 x184 -x183 -x182 x181 x180 -x179 -x178
1800.02/1800.11 v x177 -x176 x175 -x174 x173 -x172 x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 -x162 x161 x160 -x159 -x158 x157 -x156 x155
1800.02/1800.11 v -x154 x153 x152 -x151 x150 -x149 x148 -x147 -x146 x145 x144 -x143 -x142 x141 x140 -x139 -x138 x137 x136 -x135 -x134 x133 -x132
1800.02/1800.11 v x131 -x130 x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 -x118 x117 -x116 x115 x114 -x113 -x112 x111 -x110 x109
1800.02/1800.11 v x108 -x107 -x106 x105 x104 -x103 x102 -x101 x100 -x99 -x98 x97 x96 -x95 x94 -x93 -x92 x91 -x90 x89 x88 -x87 -x86 x85 x84
1800.02/1800.11 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 -x72 x71 -x70 x69 -x68 x67 x66 -x65 -x64 x63 -x62 x61 -x60 x59 x58 -x57 -x56
1800.02/1800.11 v x55 -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 x28
1800.02/1800.11 v -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 -x1
1800.02/1800.11 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.11 c Solving Time : 1728.57
1800.02/1800.11 c Original Problem :
1800.02/1800.11 c Problem name : HOME/instance-2700417-1278535534.wbo
1800.02/1800.11 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.02/1800.11 c Constraints : 1801 initial, 1801 maximal
1800.02/1800.11 c Presolved Problem :
1800.02/1800.11 c Problem name : t_HOME/instance-2700417-1278535534.wbo
1800.02/1800.11 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.02/1800.11 c Constraints : 1700 initial, 8913 maximal
1800.02/1800.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.11 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.11 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.11 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.11 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.11 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.11 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.11 c linear : 0.02 0 100 0 850 0 101 0 0
1800.02/1800.11 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.11 c root node : - 0 - - 0 - - - -
1800.02/1800.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.11 c integral : 0 0 0 2182940 0 0 35 0 0 24676
1800.02/1800.11 c indicator : 850 0 4209844 2170569 0 4573 36648995 0 0 0
1800.02/1800.11 c linear : 850 6 4205150 2170539 0 34151 3114555 512250 0 0
1800.02/1800.11 c logicor : 0+ 0 2631967 0 0 2364 1501945 0 0 0
1800.02/1800.11 c countsols : 0 0 0 1943051 0 0 0 0 0 0
1800.02/1800.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.11 c integral : 7.71 0.00 0.00 7.71 0.00
1800.02/1800.11 c indicator : 189.12 0.02 69.96 119.14 0.00
1800.02/1800.11 c linear : 107.78 0.00 49.57 58.21 0.00
1800.02/1800.11 c logicor : 48.73 0.00 48.73 0.00 0.00
1800.02/1800.11 c countsols : 0.29 0.00 0.00 0.29 0.00
1800.02/1800.11 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.11 c vbounds : 0.62 2 0 0
1800.02/1800.11 c rootredcost : 0.58 55 0 0
1800.02/1800.11 c pseudoobj : 104.75 4366531 156887 29305616
1800.02/1800.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.11 c propagation : 11.38 193402 193364 946115 29.3 344900 3.9 -
1800.02/1800.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.11 c pseudo solution : 0.12 782 782 4093 23.0 1700 4.1 -
1800.02/1800.11 c applied globally : - - - 1127650 20.5 - - -
1800.02/1800.11 c applied locally : - - - 0 0.0 - - -
1800.02/1800.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.11 c cut pool : 0.00 3 - - 20 - (maximal pool size: 52)
1800.02/1800.11 c redcost : 85.36 2235394 0 6666212 0 0
1800.02/1800.11 c impliedbounds : 0.00 4 0 0 0 0
1800.02/1800.11 c intobj : 0.00 0 0 0 0 0
1800.02/1800.11 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.11 c gomory : 0.03 4 0 0 53 0
1800.02/1800.11 c strongcg : 0.00 4 0 0 0 0
1800.02/1800.11 c cmir : 0.01 4 0 0 0 0
1800.02/1800.11 c flowcover : 0.02 4 0 0 0 0
1800.02/1800.11 c clique : 0.00 1 0 0 0 0
1800.02/1800.11 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.11 c mcf : 0.00 1 0 0 0 0
1800.02/1800.11 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.11 c Pricers : Time Calls Vars
1800.02/1800.11 c problem variables: 0.00 0 0
1800.02/1800.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.11 c relpscost : 7.21 12371 0 35 0 0 24676
1800.02/1800.11 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.11 c inference : 148.15 1942996 0 0 0 0 3885992
1800.02/1800.11 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.11 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.11 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.11 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.11 c random : 0.00 0 0 0 0 0 0
1800.02/1800.11 c Primal Heuristics : Time Calls Found
1800.02/1800.11 c LP solutions : 1.36 - 55
1800.02/1800.11 c pseudo solutions : 0.00 - 0
1800.02/1800.11 c feaspump : 0.00 0 0
1800.02/1800.11 c intshifting : 0.02 2 0
1800.02/1800.11 c oneopt : 0.48 40 0
1800.02/1800.11 c crossover : 1.81 105 2
1800.02/1800.11 c linesearchdiving : 0.51 1015 0
1800.02/1800.11 c guideddiving : 0.49 1015 0
1800.02/1800.11 c coefdiving : 0.38 1015 0
1800.02/1800.11 c pscostdiving : 0.46 1015 0
1800.02/1800.11 c veclendiving : 0.47 1015 0
1800.02/1800.11 c fracdiving : 0.52 1016 0
1800.02/1800.11 c objpscostdiving : 0.48 1015 0
1800.02/1800.11 c rootsoldiving : 0.60 1015 0
1800.02/1800.11 c trivial : 0.01 2 1
1800.02/1800.11 c simplerounding : 0.61 14176 0
1800.02/1800.11 c zirounding : 0.35 1000 0
1800.02/1800.11 c rounding : 0.50 1664 0
1800.02/1800.11 c shifting : 0.40 488 0
1800.02/1800.11 c twoopt : 0.00 0 0
1800.02/1800.11 c fixandinfer : 0.00 0 0
1800.02/1800.11 c intdiving : 0.00 0 0
1800.02/1800.11 c actconsdiving : 0.00 0 0
1800.02/1800.11 c octane : 0.00 0 0
1800.02/1800.11 c rens : 0.01 1 0
1800.02/1800.11 c rins : 0.00 0 0
1800.02/1800.11 c localbranching : 0.00 0 0
1800.02/1800.11 c mutation : 0.00 0 0
1800.02/1800.11 c dins : 0.00 0 0
1800.02/1800.11 c undercover : 0.00 0 0
1800.02/1800.11 c nlp : 0.43 0 0
1800.02/1800.11 c trysol : 0.70 1729 96
1800.02/1800.11 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.11 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.11 c dual LP : 640.87 551184 5078019 9.21 7923.63
1800.02/1800.11 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.11 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.11 c diving/probing LP: 0.05 43 3898 90.65 77960.00
1800.02/1800.11 c strong branching : 7.11 8316 105403 12.67 14824.61
1800.02/1800.11 c (at root node) : - 33 3223 97.67 -
1800.02/1800.11 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.11 c B&B Tree :
1800.02/1800.11 c number of runs : 1
1800.02/1800.11 c nodes : 2104656
1800.02/1800.11 c nodes (total) : 2104656
1800.02/1800.11 c nodes left : 1416532
1800.02/1800.11 c max depth : 683
1800.02/1800.11 c max depth (total): 683
1800.02/1800.11 c backtracks : 63180 (3.0%)
1800.02/1800.11 c delayed cutoffs : 49507
1800.02/1800.11 c repropagations : 289278 (17081425 domain reductions, 49490 cutoffs)
1800.02/1800.11 c avg switch length: 3.00
1800.02/1800.11 c switching time : 119.21
1800.02/1800.11 c Solution :
1800.02/1800.11 c Solutions found : 154 (56 improvements)
1800.02/1800.11 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.02/1800.11 c Primal Bound : +4.61600000000000e+03 (in run 1, after 2058729 nodes, 1687.41 seconds, depth 76, found by <relaxation>)
1800.02/1800.11 c Dual Bound : +0.00000000000000e+00
1800.02/1800.11 c Gap : infinite
1800.02/1800.11 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.11 c Root Iterations : 233
OK 4616
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700417-1278535534/watcher-2700417-1278535534 -o /tmp/evaluation-result-2700417-1278535534/solver-2700417-1278535534 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700417-1278535534.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.98 1.98 1.66 4/176 18639 /proc/meminfo: memFree=28246296/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=10840 CPUtime=0 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 1666 0 0 0 0 0 0 0 25 0 1 0 21767091 11100160 1586 4089446400 4194304 9819077 140734738972208 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18639/statm: 2710 1586 392 1374 0 1331 0 [startup+0.0674899 s] /proc/loadavg: 1.98 1.98 1.66 4/176 18639 /proc/meminfo: memFree=28246296/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=25204 CPUtime=0.06 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6086 0 0 0 6 0 0 0 25 0 1 0 21767091 25808896 4876 4089446400 4194304 9819077 140734738972208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 6301 4876 644 1374 0 4922 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 25204 [startup+0.100481 s] /proc/loadavg: 1.98 1.98 1.66 4/176 18639 /proc/meminfo: memFree=28246296/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=26088 CPUtime=0.09 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6358 0 0 0 9 0 0 0 25 0 1 0 21767091 26714112 5092 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 6522 5092 674 1374 0 5143 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26088 [startup+0.300449 s] /proc/loadavg: 1.98 1.98 1.66 4/176 18639 /proc/meminfo: memFree=28246296/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=27572 CPUtime=0.29 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 11595 0 0 0 28 1 0 0 25 0 1 0 21767091 28233728 5220 4089446400 4194304 9819077 140734738972208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 6893 5220 700 1374 0 5514 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27572 [startup+0.700382 s] /proc/loadavg: 1.98 1.98 1.66 4/176 18639 /proc/meminfo: memFree=28246296/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=26496 CPUtime=0.69 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 17942 0 0 0 67 2 0 0 25 0 1 0 21767091 27131904 5248 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 6624 5248 702 1374 0 5245 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26496 [startup+1.50025 s] /proc/loadavg: 1.98 1.98 1.66 3/177 18640 /proc/meminfo: memFree=28226792/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=29936 CPUtime=1.49 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 36813 0 0 0 142 7 0 0 25 0 1 0 21767091 30654464 6269 4089446400 4194304 9819077 140734738972208 18446744073709551615 6162144 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 7484 6269 703 1374 0 6105 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29936 [startup+3.10098 s] /proc/loadavg: 1.98 1.98 1.66 3/177 18640 /proc/meminfo: memFree=28212928/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=32152 CPUtime=3.09 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 43770 0 0 0 299 10 0 0 25 0 1 0 21767091 32923648 6962 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 8038 6962 707 1374 0 6659 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32152 [startup+6.30044 s] /proc/loadavg: 2.06 1.99 1.66 3/177 18641 /proc/meminfo: memFree=28214188/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=38024 CPUtime=6.29 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 54410 0 0 0 612 17 0 0 25 0 1 0 21767091 38936576 8196 4089446400 4194304 9819077 140734738972208 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 9506 8196 707 1374 0 8127 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38024 [startup+12.7004 s] /proc/loadavg: 2.06 1.99 1.66 3/177 18641 /proc/meminfo: memFree=28194356/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=51060 CPUtime=12.69 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 79667 0 0 0 1236 33 0 0 25 0 1 0 21767091 52285440 11328 4089446400 4194304 9819077 140734738972208 18446744073709551615 6590664 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 12765 11328 707 1374 0 11386 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51060 [startup+25.5002 s] /proc/loadavg: 2.04 1.99 1.67 3/177 18641 /proc/meminfo: memFree=28163988/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=72680 CPUtime=25.49 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 139071 0 0 0 2478 71 0 0 25 0 1 0 21767091 74424320 16734 4089446400 4194304 9819077 140734738972208 18446744073709551615 4965861 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 18170 16734 707 1374 0 16791 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72680 [startup+51.1009 s] /proc/loadavg: 2.10 2.01 1.68 3/177 18641 /proc/meminfo: memFree=28102764/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=115400 CPUtime=51.09 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 245666 0 0 0 4966 143 0 0 25 0 1 0 21767091 118169600 27312 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 28850 27312 707 1374 0 27471 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 115400 [startup+102.306 s] /proc/loadavg: 2.04 2.00 1.70 3/177 18643 /proc/meminfo: memFree=27987404/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=200968 CPUtime=102.29 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 452299 0 0 0 9946 283 0 0 25 0 1 0 21767091 205791232 47759 4089446400 4194304 9819077 140734738972208 18446744073709551615 6513072 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 50242 47759 707 1374 0 48863 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 200968 [startup+162.301 s] /proc/loadavg: 1.96 1.98 1.71 3/177 18673 /proc/meminfo: memFree=29261208/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=295896 CPUtime=162.28 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 689748 0 0 0 15785 443 0 0 25 0 1 0 21767091 302997504 70609 4089446400 4194304 9819077 140734738972208 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 73974 70609 707 1374 0 72595 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 295896 [startup+222.301 s] /proc/loadavg: 1.98 1.98 1.72 3/177 18674 /proc/meminfo: memFree=28848208/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=392552 CPUtime=222.28 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 918948 0 0 0 21623 605 0 0 25 0 1 0 21767091 401973248 92523 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 98138 92523 707 1374 0 96759 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 392552 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.74 3/177 18675 /proc/meminfo: memFree=28469188/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=461012 CPUtime=282.29 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 1163285 0 0 0 27460 769 0 0 25 0 1 0 21767091 472076288 109103 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 115253 109103 707 1374 0 113874 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 461012 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.75 3/177 18677 /proc/meminfo: memFree=28079880/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=540684 CPUtime=342.29 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 1393997 0 0 0 33295 934 0 0 25 0 1 0 21767091 553660416 128146 4089446400 4194304 9819077 140734738972208 18446744073709551615 4225326 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 135171 128146 707 1374 0 133792 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 540684 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.76 3/177 18679 /proc/meminfo: memFree=27724564/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=617536 CPUtime=402.28 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 1617071 0 0 0 39136 1092 0 0 25 0 1 0 21767091 632356864 146735 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 154384 146735 707 1374 0 153005 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 617536 [startup+462.3 s] /proc/loadavg: 2.04 2.00 1.78 3/177 18681 /proc/meminfo: memFree=27437064/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=674360 CPUtime=462.28 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 1829217 0 0 0 44986 1242 0 0 25 0 1 0 21767091 690544640 160761 4089446400 4194304 9819077 140734738972208 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 168809 160766 707 1374 0 167430 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 674360 [startup+522.301 s] /proc/loadavg: 2.32 2.11 1.83 3/195 18727 /proc/meminfo: memFree=28798492/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=733072 CPUtime=522.29 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 2038490 0 0 0 50687 1542 0 0 25 0 1 0 21767091 750665728 172426 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18639/statm: 183268 172426 707 1374 0 181889 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 733072 [startup+582.301 s] /proc/loadavg: 2.11 2.09 1.83 3/195 18728 /proc/meminfo: memFree=28697500/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=815564 CPUtime=582.28 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 2253914 0 0 0 56346 1882 0 0 25 0 1 0 21767091 835137536 191932 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18639/statm: 203891 191932 707 1374 0 202512 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 815564 [startup+642.301 s] /proc/loadavg: 2.11 2.09 1.85 3/195 18730 /proc/meminfo: memFree=28593908/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=904916 CPUtime=642.28 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 2456753 0 0 0 62011 2217 0 0 25 0 1 0 21767091 926633984 213096 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18639/statm: 226229 213096 707 1374 0 224850 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 904916 [startup+702.301 s] ################ # More data... # ################ /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 3912145 0 0 0 101969 4257 0 0 25 0 1 0 21767091 1449234432 333255 4089446400 4194304 9819077 140734738972208 18446744073709551615 6590530 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 353773 333253 707 1374 0 352394 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 1415268 [startup+1122.3 s] /proc/loadavg: 2.31 2.11 1.93 3/195 18752 /proc/meminfo: memFree=27979552/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1512384 CPUtime=1122.25 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 4125495 0 0 0 107797 4428 0 0 25 0 1 0 21767091 1548681216 352996 4089446400 4194304 9819077 140734738972208 18446744073709551615 5957708 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 378096 352996 707 1374 0 376717 0 Current children cumulated CPU time (s) 1122.25 Current children cumulated vsize (KiB) 1512384 [startup+1182.3 s] /proc/loadavg: 2.11 2.09 1.93 3/195 18753 /proc/meminfo: memFree=27918864/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1577596 CPUtime=1182.26 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 4356159 0 0 0 113641 4585 0 0 25 0 1 0 21767091 1615458304 368259 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 394399 368259 707 1374 0 393020 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 1577596 [startup+1242.3 s] /proc/loadavg: 2.36 2.17 1.96 3/195 18755 /proc/meminfo: memFree=27837472/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1660060 CPUtime=1242.25 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 4552452 0 0 0 119488 4737 0 0 25 0 1 0 21767091 1699901440 388301 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 415015 388301 707 1374 0 413636 0 Current children cumulated CPU time (s) 1242.25 Current children cumulated vsize (KiB) 1660060 [startup+1302.3 s] /proc/loadavg: 2.15 2.15 1.97 3/195 18757 /proc/meminfo: memFree=27778156/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1712916 CPUtime=1302.25 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 4765181 0 0 0 125336 4889 0 0 25 0 1 0 21767091 1754025984 400696 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 428229 400696 707 1374 0 426850 0 Current children cumulated CPU time (s) 1302.25 Current children cumulated vsize (KiB) 1712916 [startup+1362.3 s] /proc/loadavg: 2.43 2.23 2.00 3/195 18759 /proc/meminfo: memFree=27685216/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1798904 CPUtime=1362.25 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 4970067 0 0 0 131181 5044 0 0 25 0 1 0 21767091 1842077696 421324 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 449726 421324 707 1374 0 448347 0 Current children cumulated CPU time (s) 1362.25 Current children cumulated vsize (KiB) 1798904 [startup+1422.31 s] /proc/loadavg: 2.14 2.18 2.00 3/195 18760 /proc/meminfo: memFree=27589440/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1892032 CPUtime=1422.25 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 5184014 0 0 0 137027 5198 0 0 25 0 1 0 21767091 1937440768 442700 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 473008 442700 707 1374 0 471629 0 Current children cumulated CPU time (s) 1422.25 Current children cumulated vsize (KiB) 1892032 [startup+1482.3 s] /proc/loadavg: 2.06 2.15 2.00 3/195 18761 /proc/meminfo: memFree=27533328/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1943484 CPUtime=1482.24 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 5425922 0 0 0 142866 5358 0 0 25 0 1 0 21767091 1990127616 454137 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18639/statm: 485871 454137 707 1374 0 484492 0 Current children cumulated CPU time (s) 1482.24 Current children cumulated vsize (KiB) 1943484 [startup+1542.3 s] /proc/loadavg: 2.02 2.12 2.00 3/195 18763 /proc/meminfo: memFree=27505980/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1969676 CPUtime=1542.23 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 5617020 0 0 0 148571 5652 0 0 25 0 1 0 21767091 2016948224 460036 4089446400 4194304 9819077 140734738972208 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18639/statm: 492419 460036 707 1374 0 491040 0 Current children cumulated CPU time (s) 1542.23 Current children cumulated vsize (KiB) 1969676 [startup+1602.3 s] /proc/loadavg: 2.00 2.09 2.00 3/195 18765 /proc/meminfo: memFree=27500096/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=1975828 CPUtime=1602.23 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 5807081 0 0 0 154228 5995 0 0 25 0 1 0 21767091 2023247872 461499 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18639/statm: 493957 461499 707 1374 0 492578 0 Current children cumulated CPU time (s) 1602.23 Current children cumulated vsize (KiB) 1975828 [startup+1662.3 s] /proc/loadavg: 2.00 2.08 2.00 3/195 18767 /proc/meminfo: memFree=27459000/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=2018820 CPUtime=1662.22 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6003671 0 0 0 159880 6342 0 0 25 0 1 0 21767091 2067271680 471705 4089446400 4194304 9819077 140734738972208 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18639/statm: 504705 471705 707 1374 0 503326 0 Current children cumulated CPU time (s) 1662.22 Current children cumulated vsize (KiB) 2018820 [startup+1722.3 s] /proc/loadavg: 2.00 2.06 2.00 3/195 18768 /proc/meminfo: memFree=27396820/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=2084864 CPUtime=1722.22 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6220958 0 0 0 165531 6691 0 0 25 0 1 0 21767091 2134900736 487713 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18639/statm: 521216 487713 707 1374 0 519837 0 Current children cumulated CPU time (s) 1722.22 Current children cumulated vsize (KiB) 2084864 [startup+1782.3 s] /proc/loadavg: 2.00 2.05 2.00 3/195 18769 /proc/meminfo: memFree=27342836/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=2138652 CPUtime=1782.21 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6445678 0 0 0 171183 7038 0 0 25 0 1 0 21767091 2189979648 500796 4089446400 4194304 9819077 140734738972208 18446744073709551615 6389087 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18639/statm: 534619 500794 707 1374 0 533240 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 2138652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.04 2.00 3/195 18770 /proc/meminfo: memFree=27323468/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=2156700 CPUtime=1800.02 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6508830 0 0 0 172858 7144 0 0 25 0 1 0 21767091 2208460800 505190 4089446400 4194304 9819077 140734738972208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/18639/statm: 539175 505190 707 1374 0 537796 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2156700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -18639 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.04 2.00 3/196 18771 /proc/meminfo: memFree=27323088/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=2156700 CPUtime=1801.32 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6508840 0 0 0 172988 7144 0 0 25 0 1 0 21767091 2208460800 505193 4089446400 4194304 9819077 140734738972208 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18639/statm: 539175 505193 710 1374 0 537796 0 Current children cumulated CPU time (s) 1801.32 Current children cumulated vsize (KiB) 2156700 [startup+1801.81 s] /proc/loadavg: 2.00 2.04 2.00 3/196 18771 /proc/meminfo: memFree=27323084/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=2156700 CPUtime=1801.72 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6508840 0 0 0 173028 7144 0 0 25 0 1 0 21767091 2208460800 505193 4089446400 4194304 9819077 140734738972208 18446744073709551615 4212731 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18639/statm: 539175 505193 710 1374 0 537796 0 Current children cumulated CPU time (s) 1801.72 Current children cumulated vsize (KiB) 2156700 [startup+1802 s] /proc/loadavg: 2.00 2.04 2.00 3/196 18771 /proc/meminfo: memFree=27323084/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=2156700 CPUtime=1801.92 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6508840 0 0 0 173048 7144 0 0 25 0 1 0 21767091 2208460800 505193 4089446400 4194304 9819077 140734738972208 18446744073709551615 6179984 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18639/statm: 539175 505193 710 1374 0 537796 0 Current children cumulated CPU time (s) 1801.92 Current children cumulated vsize (KiB) 2156700 [startup+1802.1 s] /proc/loadavg: 2.00 2.04 2.00 3/196 18771 /proc/meminfo: memFree=27323084/32951132 swapFree=67111528/67111528 [pid=18639] ppid=18637 vsize=2156700 CPUtime=1802.02 /proc/18639/stat : 18639 (pbscip.linux.x8) R 18637 18639 17444 0 -1 4202496 6508840 0 0 0 173058 7144 0 0 25 0 1 0 21767091 2208460800 505193 4089446400 4194304 9819077 140734738972208 18446744073709551615 6179953 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/18639/statm: 539175 505193 710 1374 0 537796 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2156700 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.19 CPU time (s): 1802.11 CPU user time (s): 1730.59 CPU system time (s): 71.5221 CPU usage (%): 99.9958 Max. virtual memory (cumulated for all children) (KiB): 2156700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1730.59 system time used= 71.5221 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6508840 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= 1 involuntary context switches= 12358 runsolver used 2.36064 second user time and 5.86911 second system time The end
Begin job on node129 at 2010-07-07 22:45:34 IDJOB=2700417 IDBENCH=79426 IDSOLVER=1205 FILE ID=node129/2700417-1278535534 PBS_JOBID= 11239220 Free space on /tmp= 73788 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh09_wcsp.wbo 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-2700417-1278535534/watcher-2700417-1278535534 -o /tmp/evaluation-result-2700417-1278535534/solver-2700417-1278535534 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700417-1278535534.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d RANDOM SEED=2091474812 node129.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.836 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.67 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.836 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 : 5332.83 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.836 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.836 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.75 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.836 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 : 5311.72 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.836 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.82 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.836 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.836 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 28246824 kB Buffers: 138892 kB Cached: 2886136 kB SwapCached: 0 kB Active: 2698892 kB Inactive: 1864716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 28246824 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6220 kB Writeback: 0 kB AnonPages: 1538564 kB Mapped: 15472 kB Slab: 75892 kB PageTables: 7480 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1681108 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73784 MiB End job on node129 at 2010-07-07 23:15:36