Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1801.17 | 1801.13 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo |
| MD5SUM | a7711a7b19a36d7c95277483b0aa560c |
| 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 | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.111982 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 2925 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 2924 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1228 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693887-1277896473.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.46 c 1.4s| 10000 | 7446 | 0 | 0.0 |6733k| 183 | - | 295 |3654 | 0 | 0 | 0 |7704 | 0 | 0.000000e+00 | -- | Inf
3.40/3.46 o 628
3.40/3.46 c * 3.3s| 17061 | 10826 | 0 | 0.0 | 10M| 183 | - | 295 |6042 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 6.280000e+02 | Inf
3.49/3.59 o 590
3.49/3.59 c * 3.4s| 18414 | 12098 | 0 | 0.0 | 10M| 183 | - | 295 |4707 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 5.900000e+02 | Inf
3.59/3.60 o 511
3.59/3.60 c * 3.4s| 18430 | 12112 | 0 | 0.0 | 10M| 183 | - | 295 |4699 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 5.110000e+02 | Inf
3.70/3.75 o 333
3.70/3.75 c * 3.5s| 19947 | 13493 | 0 | 0.0 | 10M| 183 | - | 295 |2676 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
3.70/3.76 c 3.5s| 20000 | 13543 | 0 | 0.0 | 10M| 183 | - | 295 |2629 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
5.69/5.75 c 5.5s| 30000 | 20016 | 0 | 0.0 | 15M| 183 | - | 295 |5239 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
8.80/8.89 c 8.5s| 40000 | 24966 | 0 | 0.0 | 20M| 183 | - | 295 |7658 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
12.69/12.72 c 12.2s| 50000 | 28975 | 0 | 0.0 | 25M| 183 | - | 295 |9954 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
16.99/17.08 c 16.4s| 60000 | 32159 | 0 | 0.0 | 30M| 183 | - | 295 | 13k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
22.00/22.05 c 21.3s| 70000 | 35042 | 0 | 0.0 | 30M| 183 | - | 295 |4526 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
22.89/22.97 c 22.2s| 80000 | 44015 | 0 | 0.0 | 33M| 183 | - | 295 |1752 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
23.10/23.13 o 321
23.10/23.13 c *22.3s| 81690 | 45508 | 0 | 0.0 | 34M| 183 | - | 295 |1789 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.210000e+02 | Inf
23.49/23.57 o 318
23.49/23.57 c *22.7s| 86011 | 49246 | 0 | 0.0 | 35M| 183 | - | 295 |1837 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.180000e+02 | Inf
23.89/23.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.89/23.99 c 23.1s| 90000 | 52668 | 0 | 0.0 | 37M| 183 | - | 295 |1721 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 3.180000e+02 | Inf
24.10/24.11 o 265
24.10/24.11 c *23.2s| 91179 | 53682 | 0 | 0.0 | 37M| 183 | - | 295 |1680 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
24.99/25.02 c 24.1s|100000 | 61238 | 0 | 0.0 | 40M| 183 | - | 295 |1315 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
25.99/26.09 c 25.1s|110000 | 69608 | 0 | 0.0 | 44M| 183 | - | 295 |1277 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.650000e+02 | Inf
27.19/27.20 o 199
27.19/27.20 c *26.1s|119980 | 77775 | 0 | 0.0 | 48M| 183 | - | 295 |1540 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
27.19/27.20 c 26.1s|120000 | 77788 | 0 | 0.0 | 48M| 183 | - | 295 |1539 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
28.39/28.44 c 27.3s|130000 | 85729 | 0 | 0.0 | 52M| 183 | - | 295 |1922 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
29.79/29.87 c 28.6s|140000 | 93236 | 0 | 0.0 | 56M| 183 | - | 295 |2700 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
31.39/31.47 c 30.1s|150000 |100412 | 0 | 0.0 | 61M| 183 | - | 295 |3457 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
33.69/33.79 c 32.3s|160000 |106236 | 0 | 0.0 | 66M| 183 | - | 295 |6053 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
38.29/38.30 c 36.7s|170000 |108098 | 0 | 0.0 | 70M| 183 | - | 295 |9855 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
43.79/43.88 c 42.2s|180000 |109662 | 0 | 0.0 | 74M| 183 | - | 295 | 13k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
50.49/50.50 c 48.7s|190000 |110403 | 0 | 0.0 | 77M| 183 | - | 295 | 14k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
57.99/58.03 c 56.1s|200000 |110344 | 0 | 0.0 | 80M| 183 | - | 295 | 16k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
66.99/67.04 c 65.0s|210000 |109283 | 0 | 0.0 | 82M| 183 | - | 295 | 20k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
77.19/77.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.19/77.20 c 75.0s|220000 |108141 | 0 | 0.0 | 81M| 183 | - | 295 | 18k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
78.59/78.68 c 76.4s|230000 |116630 | 0 | 0.0 | 80M| 183 | - | 295 |2248 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
79.89/79.91 c 77.5s|240000 |124823 | 0 | 0.0 | 84M| 183 | - | 295 |2314 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
80.09/80.10 o 197
80.09/80.10 c *77.7s|241590 |126128 | 0 | 0.0 | 85M| 183 | - | 295 |2394 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
81.09/81.16 c 78.7s|250000 |132983 | 0 | 0.0 | 88M| 183 | - | 295 |2619 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
82.40/82.42 c 79.8s|260000 |141153 | 0 | 0.0 | 92M| 183 | - | 295 |2939 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
83.60/83.68 c 81.0s|270000 |149320 | 0 | 0.0 | 96M| 183 | - | 295 |3052 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
84.60/84.65 o 193
84.60/84.65 c *81.9s|277651 |155580 | 0 | 0.0 | 99M| 183 | - | 295 |3194 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
84.89/84.97 c 82.2s|280000 |157462 | 0 | 0.0 | 100M| 183 | - | 295 |3213 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
86.19/86.27 c 83.5s|290000 |165570 | 0 | 0.0 | 103M| 183 | - | 295 |3327 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
87.59/87.63 c 84.8s|300000 |173539 | 0 | 0.0 | 107M| 183 | - | 295 |3508 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
87.79/87.88 o 145
87.79/87.88 c *85.0s|302062 |174140 | 0 | 0.0 | 107M| 183 | - | 295 |3485 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
88.89/89.00 c 86.0s|310000 |180372 | 0 | 0.0 | 111M| 183 | - | 295 |3699 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
90.39/90.44 c 87.4s|320000 |188213 | 0 | 0.0 | 115M| 183 | - | 295 |3793 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
91.89/91.93 c 88.8s|330000 |195928 | 0 | 0.0 | 119M| 183 | - | 295 |3789 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
93.39/93.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.39/93.43 c 90.2s|340000 |203580 | 0 | 0.0 | 123M| 183 | - | 295 |3768 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
94.89/94.93 c 91.7s|350000 |211298 | 0 | 0.0 | 128M| 183 | - | 295 |3860 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
95.79/95.86 o 140
95.79/95.86 c *92.5s|356069 |215674 | 0 | 0.0 | 130M| 183 | - | 295 |3882 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
96.39/96.45 c 93.1s|360000 |218738 | 0 | 0.0 | 132M| 183 | - | 295 |3710 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
97.99/98.03 c 94.6s|370000 |226277 | 0 | 0.0 | 136M| 183 | - | 295 |3540 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
99.59/99.66 c 96.1s|380000 |233640 | 0 | 0.0 | 141M| 183 | - | 295 |3694 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
101.20/101.28 c 97.7s|390000 |241043 | 0 | 0.0 | 146M| 183 | - | 295 |3520 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
102.89/102.90 c 99.2s|400000 |248417 | 0 | 0.0 | 150M| 183 | - | 295 |3391 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
104.50/104.54 c 101s|410000 |255732 | 0 | 0.0 | 155M| 183 | - | 295 |3448 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
106.09/106.17 c 102s|420000 |263048 | 0 | 0.0 | 160M| 183 | - | 295 |3371 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
107.80/107.84 c 104s|430000 |270290 | 0 | 0.0 | 164M| 183 | - | 295 |3306 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
109.39/109.47 c 105s|440000 |277591 | 0 | 0.0 | 169M| 183 | - | 295 |3384 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
111.00/111.06 c 107s|450000 |285036 | 0 | 0.0 | 173M| 183 | - | 295 |3302 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
112.79/112.80 c 109s|460000 |292158 | 0 | 0.0 | 178M| 183 | - | 295 |3084 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
114.49/114.55 c 110s|470000 |299203 | 0 | 0.0 | 183M| 183 | - | 295 |3192 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
116.29/116.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.29/116.30 c 112s|480000 |306194 | 0 | 0.0 | 187M| 183 | - | 295 |3440 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
117.99/118.08 c 114s|490000 |313134 | 0 | 0.0 | 192M| 183 | - | 295 |3752 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
119.79/119.82 c 115s|500000 |320192 | 0 | 0.0 | 197M| 183 | - | 295 |3665 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
121.50/121.56 c 117s|510000 |327325 | 0 | 0.0 | 202M| 183 | - | 295 |3491 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
123.39/123.41 c 119s|520000 |334123 | 0 | 0.0 | 206M| 183 | - | 295 |3380 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
125.19/125.25 c 120s|530000 |340973 | 0 | 0.0 | 211M| 183 | - | 295 |3544 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
126.99/127.07 c 122s|540000 |347796 | 0 | 0.0 | 216M| 183 | - | 295 |3916 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
128.90/128.93 c 124s|550000 |354531 | 0 | 0.0 | 221M| 183 | - | 295 |3898 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
130.80/130.83 c 126s|560000 |361316 | 0 | 0.0 | 225M| 183 | - | 295 |3873 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
132.79/132.86 c 128s|570000 |367702 | 0 | 0.0 | 230M| 183 | - | 295 |3760 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
134.80/134.80 c 129s|580000 |374303 | 0 | 0.0 | 235M| 183 | - | 295 |4080 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
136.80/136.85 c 131s|590000 |380733 | 0 | 0.0 | 240M| 183 | - | 295 |4086 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
138.89/138.92 c 133s|600000 |387096 | 0 | 0.0 | 244M| 183 | - | 295 |4504 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
141.00/141.04 c 135s|610000 |393414 | 0 | 0.0 | 249M| 183 | - | 295 |4544 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
143.19/143.20 c 137s|620000 |399620 | 0 | 0.0 | 254M| 183 | - | 295 |4940 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
145.39/145.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.39/145.41 c 140s|630000 |405807 | 0 | 0.0 | 258M| 183 | - | 295 |5021 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
147.70/147.70 c 142s|640000 |411878 | 0 | 0.0 | 263M| 183 | - | 295 |5135 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
150.00/150.08 c 144s|650000 |417766 | 0 | 0.0 | 267M| 183 | - | 295 |5176 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
152.39/152.47 c 146s|660000 |423658 | 0 | 0.0 | 272M| 183 | - | 295 |5523 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
154.90/154.98 c 149s|670000 |429520 | 0 | 0.0 | 276M| 183 | - | 295 |6069 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
156.99/157.04 o 135
156.99/157.04 c * 151s|678104 |433754 | 0 | 0.0 | 279M| 183 | - | 295 |6223 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
157.49/157.60 c 151s|680000 |434640 | 0 | 0.0 | 280M| 183 | - | 295 |6445 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
160.30/160.31 c 154s|690000 |440161 | 0 | 0.0 | 285M| 183 | - | 295 |6686 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
163.10/163.14 c 157s|700000 |445450 | 0 | 0.0 | 289M| 183 | - | 295 |7042 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
166.00/166.07 c 159s|710000 |450702 | 0 | 0.0 | 293M| 183 | - | 295 |7520 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
169.10/169.14 c 162s|720000 |455763 | 0 | 0.0 | 297M| 183 | - | 295 |7995 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
172.39/172.44 c 166s|730000 |460530 | 0 | 0.0 | 301M| 183 | - | 295 |8765 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
173.09/173.14 o 125
173.09/173.14 c * 166s|732382 |460298 | 0 | 0.0 | 301M| 183 | - | 295 |8810 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
175.80/175.82 c 169s|740000 |463828 | 0 | 0.0 | 304M| 183 | - | 295 |9432 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
179.40/179.49 c 172s|750000 |468266 | 0 | 0.0 | 308M| 183 | - | 295 | 10k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
183.50/183.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.50/183.55 c 176s|760000 |472258 | 0 | 0.0 | 312M| 183 | - | 295 | 11k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
188.49/188.51 c 181s|770000 |475162 | 0 | 0.0 | 316M| 183 | - | 295 | 13k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
193.69/193.71 c 186s|780000 |477770 | 0 | 0.0 | 318M| 183 | - | 295 |9905 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
204.50/204.57 c 197s|790000 |474032 | 0 | 0.0 | 319M| 183 | - | 295 | 22k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
223.20/223.25 c 216s|800000 |466878 | 0 | 0.0 | 312M| 183 | - | 295 | 26k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
229.29/229.37 c 222s|810000 |471931 | 0 | 0.0 | 306M| 183 | - | 295 |3552 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
231.01/231.03 c 223s|820000 |479555 | 0 | 0.0 | 311M| 183 | - | 295 |3129 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
232.69/232.79 c 225s|830000 |486913 | 0 | 0.0 | 316M| 183 | - | 295 |3421 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
234.49/234.52 c 226s|840000 |494330 | 0 | 0.0 | 321M| 183 | - | 295 |3549 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
236.19/236.25 c 228s|850000 |501699 | 0 | 0.0 | 325M| 183 | - | 295 |3928 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
238.00/238.02 c 230s|860000 |509018 | 0 | 0.0 | 330M| 183 | - | 295 |4109 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
239.80/239.83 c 231s|870000 |516275 | 0 | 0.0 | 334M| 183 | - | 295 |4323 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
241.70/241.70 c 233s|880000 |523409 | 0 | 0.0 | 339M| 183 | - | 295 |4206 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
243.59/243.60 c 235s|890000 |530516 | 0 | 0.0 | 343M| 183 | - | 295 |4324 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
245.31/245.37 c 237s|900000 |537786 | 0 | 0.0 | 348M| 183 | - | 295 |4810 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
247.20/247.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.20/247.29 c 239s|910000 |544915 | 0 | 0.0 | 352M| 183 | - | 295 |4690 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
249.20/249.23 c 240s|920000 |551961 | 0 | 0.0 | 356M| 183 | - | 295 |4707 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
251.10/251.12 c 242s|930000 |559037 | 0 | 0.0 | 361M| 183 | - | 295 |4820 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
253.10/253.16 c 244s|940000 |565926 | 0 | 0.0 | 366M| 183 | - | 295 |5053 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
254.99/255.03 c 246s|950000 |573075 | 0 | 0.0 | 370M| 183 | - | 295 |5241 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
256.99/257.07 c 248s|960000 |580029 | 0 | 0.0 | 374M| 183 | - | 295 |5194 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
259.00/259.03 c 250s|970000 |587079 | 0 | 0.0 | 379M| 183 | - | 295 |5386 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
261.00/261.08 c 252s|980000 |594054 | 0 | 0.0 | 383M| 183 | - | 295 |5328 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
263.10/263.12 c 254s|990000 |600918 | 0 | 0.0 | 387M| 183 | - | 295 |5421 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
265.20/265.24 c 256s| 1000k|607751 | 0 | 0.0 | 391M| 183 | - | 295 |5733 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
267.30/267.39 c 258s| 1010k|614543 | 0 | 0.0 | 396M| 183 | - | 295 |5706 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
269.50/269.55 c 260s| 1020k|621285 | 0 | 0.0 | 400M| 183 | - | 295 |6012 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
271.70/271.71 c 262s| 1030k|628092 | 0 | 0.0 | 404M| 183 | - | 295 |5930 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
273.70/273.77 c 264s| 1040k|635044 | 0 | 0.0 | 409M| 183 | - | 295 |6198 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
276.00/276.07 c 266s| 1050k|641690 | 0 | 0.0 | 413M| 183 | - | 295 |6225 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
278.20/278.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.20/278.25 c 268s| 1060k|648491 | 0 | 0.0 | 417M| 183 | - | 295 |6221 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
280.40/280.50 c 270s| 1070k|655193 | 0 | 0.0 | 422M| 183 | - | 295 |6343 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
282.70/282.73 c 272s| 1080k|661888 | 0 | 0.0 | 426M| 183 | - | 295 |6121 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
284.90/284.91 c 275s| 1090k|668645 | 0 | 0.0 | 430M| 183 | - | 295 |6454 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
287.19/287.25 c 277s| 1100k|675159 | 0 | 0.0 | 435M| 183 | - | 295 |6243 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
289.30/289.31 c 279s| 1110k|682219 | 0 | 0.0 | 439M| 183 | - | 295 |6308 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
291.59/291.60 c 281s| 1120k|688834 | 0 | 0.0 | 443M| 183 | - | 295 |6369 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
293.89/293.98 c 283s| 1130k|695347 | 0 | 0.0 | 447M| 183 | - | 295 |6307 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
296.19/296.25 c 285s| 1140k|701966 | 0 | 0.0 | 452M| 183 | - | 295 |6320 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
298.49/298.59 c 288s| 1150k|708517 | 0 | 0.0 | 456M| 183 | - | 295 |6372 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
300.80/300.82 c 290s| 1160k|715257 | 0 | 0.0 | 460M| 183 | - | 295 |6245 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
303.00/303.08 c 292s| 1170k|721879 | 0 | 0.0 | 465M| 183 | - | 295 |6348 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
305.50/305.57 c 294s| 1180k|728163 | 0 | 0.0 | 469M| 183 | - | 295 |6322 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
307.70/307.77 c 297s| 1190k|734910 | 0 | 0.0 | 474M| 183 | - | 295 |6367 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
310.00/310.06 c 299s| 1200k|741433 | 0 | 0.0 | 478M| 183 | - | 295 |6440 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
312.50/312.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.50/312.53 c 301s| 1210k|747701 | 0 | 0.0 | 482M| 183 | - | 295 |6539 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
314.00/314.06 o 114
314.00/314.06 c * 303s| 1216k|747747 | 0 | 0.0 | 480M| 183 | - | 295 |6578 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
314.80/314.84 c 303s| 1220k|749755 | 0 | 0.0 | 482M| 183 | - | 295 |6529 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
317.10/317.18 c 306s| 1230k|756215 | 0 | 0.0 | 486M| 183 | - | 295 |6762 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
319.90/319.97 c 308s| 1240k|762047 | 0 | 0.0 | 491M| 183 | - | 295 |6687 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
322.30/322.36 c 311s| 1250k|768481 | 0 | 0.0 | 495M| 183 | - | 295 |6536 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
324.70/324.78 c 313s| 1260k|774850 | 0 | 0.0 | 500M| 183 | - | 295 |6668 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
327.50/327.51 c 316s| 1270k|780633 | 0 | 0.0 | 505M| 183 | - | 295 |6486 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
329.79/329.87 c 318s| 1280k|787090 | 0 | 0.0 | 509M| 183 | - | 295 |6587 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
332.30/332.35 c 320s| 1290k|793289 | 0 | 0.0 | 514M| 183 | - | 295 |6828 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
335.00/335.09 c 323s| 1300k|799080 | 0 | 0.0 | 518M| 183 | - | 295 |6524 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
337.40/337.45 c 325s| 1310k|805482 | 0 | 0.0 | 523M| 183 | - | 295 |6482 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
339.91/339.91 c 327s| 1320k|811780 | 0 | 0.0 | 528M| 183 | - | 295 |6386 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
341.90/341.97 o 85
341.90/341.97 c * 329s| 1326k|775402 | 0 | 0.0 | 491M| 183 | - | 295 |6289 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
342.90/342.99 c 330s| 1330k|776972 | 0 | 0.0 | 491M| 183 | - | 295 |4439 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
345.59/345.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.59/345.64 c 333s| 1340k|782566 | 0 | 0.0 | 496M| 183 | - | 295 |1030 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
348.00/348.02 c 335s| 1350k|788086 | 0 | 0.0 | 502M| 183 | - | 295 |1113 | 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
350.70/350.72 c 338s| 1360k|792968 | 0 | 0.0 | 507M| 183 | - | 295 |2320 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
353.11/353.19 c 340s| 1370k|798278 | 0 | 0.0 | 513M| 183 | - | 295 |2842 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
355.70/355.80 c 343s| 1380k|803139 | 0 | 0.0 | 518M| 183 | - | 295 |2811 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
358.40/358.41 c 345s| 1390k|808260 | 0 | 0.0 | 524M| 183 | - | 295 |3376 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
360.89/360.95 c 348s| 1400k|813665 | 0 | 0.0 | 530M| 183 | - | 295 |2793 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
363.79/363.84 c 350s| 1410k|817812 | 0 | 0.0 | 535M| 183 | - | 295 |3644 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
366.39/366.45 c 353s| 1420k|822886 | 0 | 0.0 | 540M| 183 | - | 295 |3618 | 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
369.00/369.04 c 355s| 1430k|827951 | 0 | 0.0 | 545M| 183 | - | 295 |2686 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
371.71/371.72 c 358s| 1440k|832563 | 0 | 0.0 | 551M| 183 | - | 295 |3655 | 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
374.20/374.29 c 360s| 1450k|837704 | 0 | 0.0 | 556M| 183 | - | 295 |3674 | 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
376.89/376.94 c 363s| 1460k|842600 | 0 | 0.0 | 561M| 183 | - | 295 |3295 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 8.500000e+01 |8400.00%
377.49/377.56 o 82
377.49/377.56 c * 364s| 1462k|835993 | 0 | 0.0 | 555M| 183 | - | 295 |3575 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
379.70/379.71 c 366s| 1470k|839461 | 0 | 0.0 | 559M| 183 | - | 295 |2542 | 0 | 0 | 0 | 771k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
382.30/382.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.30/382.39 c 368s| 1480k|844307 | 0 | 0.0 | 564M| 183 | - | 295 |1277 | 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
385.19/385.24 c 371s| 1490k|848638 | 0 | 0.0 | 569M| 183 | - | 295 |1531 | 0 | 0 | 0 | 782k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
388.00/388.03 c 373s| 1500k|852975 | 0 | 0.0 | 575M| 183 | - | 295 |2413 | 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
390.40/390.44 c 376s| 1510k|858143 | 0 | 0.0 | 580M| 183 | - | 295 |2721 | 0 | 0 | 0 | 793k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
393.00/393.09 c 378s| 1520k|862447 | 0 | 0.0 | 585M| 183 | - | 295 |3055 | 0 | 0 | 0 | 798k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
395.79/395.85 c 381s| 1530k|866892 | 0 | 0.0 | 591M| 183 | - | 295 |3323 | 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
398.30/398.38 c 383s| 1540k|872031 | 0 | 0.0 | 596M| 183 | - | 295 |2488 | 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
401.41/401.48 c 386s| 1550k|876146 | 0 | 0.0 | 600M| 183 | - | 295 |1309 | 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
404.10/404.18 c 389s| 1560k|880817 | 0 | 0.0 | 606M| 183 | - | 295 |1958 | 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
406.70/406.71 c 391s| 1570k|885720 | 0 | 0.0 | 611M| 183 | - | 295 |2124 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
409.60/409.67 c 394s| 1580k|889368 | 0 | 0.0 | 616M| 183 | - | 295 |3381 | 0 | 0 | 0 | 832k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
412.40/412.49 c 397s| 1590k|893845 | 0 | 0.0 | 621M| 183 | - | 295 |3730 | 0 | 0 | 0 | 838k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
415.20/415.27 c 400s| 1600k|898479 | 0 | 0.0 | 626M| 183 | - | 295 |2677 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
418.30/418.36 c 403s| 1610k|902081 | 0 | 0.0 | 631M| 183 | - | 295 |3777 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
421.31/421.33 c 405s| 1620k|906426 | 0 | 0.0 | 636M| 183 | - | 295 |3806 | 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
424.19/424.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.19/424.25 c 408s| 1630k|910565 | 0 | 0.0 | 640M| 183 | - | 295 |3184 | 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
427.30/427.37 c 411s| 1640k|914342 | 0 | 0.0 | 645M| 183 | - | 295 |3991 | 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
430.20/430.29 c 414s| 1650k|918772 | 0 | 0.0 | 650M| 183 | - | 295 |4013 | 0 | 0 | 0 | 874k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
433.50/433.53 c 417s| 1660k|922197 | 0 | 0.0 | 655M| 183 | - | 295 |3879 | 0 | 0 | 0 | 880k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
436.61/436.61 c 420s| 1670k|926323 | 0 | 0.0 | 660M| 183 | - | 295 |4035 | 0 | 0 | 0 | 887k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
439.50/439.52 c 423s| 1680k|930931 | 0 | 0.0 | 664M| 183 | - | 295 |2689 | 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
439.60/439.69 o 78
439.60/439.69 c * 423s| 1680k|919352 | 0 | 0.0 | 654M| 183 | - | 295 |2748 | 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
443.20/443.25 c 427s| 1690k|921986 | 0 | 0.0 | 657M| 183 | - | 295 |1212 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
446.40/446.45 c 430s| 1700k|925631 | 0 | 0.0 | 662M| 183 | - | 295 |1603 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
450.00/450.02 c 433s| 1710k|928370 | 0 | 0.0 | 667M| 183 | - | 295 |2680 | 0 | 0 | 0 | 915k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
453.10/453.15 c 436s| 1720k|932082 | 0 | 0.0 | 671M| 183 | - | 295 |3773 | 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
456.30/456.34 c 439s| 1730k|935574 | 0 | 0.0 | 675M| 183 | - | 295 |3301 | 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
459.60/459.68 c 442s| 1740k|938833 | 0 | 0.0 | 680M| 183 | - | 295 |4041 | 0 | 0 | 0 | 936k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
462.80/462.82 c 445s| 1750k|942762 | 0 | 0.0 | 684M| 183 | - | 295 |2709 | 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
466.20/466.26 c 449s| 1760k|945649 | 0 | 0.0 | 688M| 183 | - | 295 |4177 | 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
469.30/469.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.30/469.38 c 452s| 1770k|949748 | 0 | 0.0 | 692M| 183 | - | 295 |3948 | 0 | 0 | 0 | 957k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
472.91/472.93 c 455s| 1780k|952434 | 0 | 0.0 | 696M| 183 | - | 295 |4158 | 0 | 0 | 0 | 965k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
476.10/476.12 c 458s| 1790k|956387 | 0 | 0.0 | 700M| 183 | - | 295 |4500 | 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
479.71/479.70 c 462s| 1800k|959165 | 0 | 0.0 | 704M| 183 | - | 295 |4177 | 0 | 0 | 0 | 980k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
483.00/483.04 c 465s| 1810k|962920 | 0 | 0.0 | 708M| 183 | - | 295 |4576 | 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
486.30/486.37 c 468s| 1820k|966318 | 0 | 0.0 | 712M| 183 | - | 295 |3885 | 0 | 0 | 0 | 995k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
490.00/490.04 c 472s| 1830k|969464 | 0 | 0.0 | 717M| 183 | - | 295 |4980 | 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
493.20/493.21 c 475s| 1840k|973765 | 0 | 0.0 | 720M| 183 | - | 295 |3357 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
496.81/496.89 c 478s| 1850k|976505 | 0 | 0.0 | 724M| 183 | - | 295 |5074 | 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
500.11/500.16 c 481s| 1860k|980728 | 0 | 0.0 | 728M| 183 | - | 295 |3945 | 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
503.90/503.97 c 485s| 1870k|983283 | 0 | 0.0 | 732M| 183 | - | 295 |5655 | 0 | 0 | 0 |1035k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
507.31/507.36 c 488s| 1880k|987364 | 0 | 0.0 | 736M| 183 | - | 295 |5133 | 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
511.21/511.24 c 492s| 1890k|989878 | 0 | 0.0 | 740M| 183 | - | 295 |5749 | 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
514.81/514.84 c 496s| 1900k|993540 | 0 | 0.0 | 744M| 183 | - | 295 |5338 | 0 | 0 | 0 |1060k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
518.80/518.84 c 500s| 1910k|996078 | 0 | 0.0 | 748M| 183 | - | 295 |6477 | 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
522.41/522.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.41/522.43 c 503s| 1920k| 1000k| 0 | 0.0 | 752M| 183 | - | 295 |5786 | 0 | 0 | 0 |1077k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
526.50/526.55 c 507s| 1930k| 1002k| 0 | 0.0 | 755M| 183 | - | 295 |6688 | 0 | 0 | 0 |1087k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
530.21/530.29 c 511s| 1940k| 1006k| 0 | 0.0 | 759M| 183 | - | 295 |4819 | 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
534.40/534.47 c 515s| 1950k| 1008k| 0 | 0.0 | 763M| 183 | - | 295 |7125 | 0 | 0 | 0 |1105k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
538.50/538.51 c 519s| 1960k| 1011k| 0 | 0.0 | 766M| 183 | - | 295 |5529 | 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
542.80/542.85 c 523s| 1970k| 1014k| 0 | 0.0 | 770M| 183 | - | 295 |7496 | 0 | 0 | 0 |1124k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
547.00/547.06 c 527s| 1980k| 1016k| 0 | 0.0 | 773M| 183 | - | 295 |6896 | 0 | 0 | 0 |1133k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
551.11/551.18 c 531s| 1990k| 1020k| 0 | 0.0 | 777M| 183 | - | 295 |7382 | 0 | 0 | 0 |1143k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
555.60/555.65 c 535s| 2000k| 1022k| 0 | 0.0 | 780M| 183 | - | 295 |7996 | 0 | 0 | 0 |1154k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
560.10/560.14 c 540s| 2010k| 1025k| 0 | 0.0 | 783M| 183 | - | 295 |7442 | 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
564.50/564.55 c 544s| 2020k| 1028k| 0 | 0.0 | 787M| 183 | - | 295 |8391 | 0 | 0 | 0 |1174k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
569.41/569.41 c 549s| 2030k| 1030k| 0 | 0.0 | 790M| 183 | - | 295 |8693 | 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
574.31/574.39 c 554s| 2040k| 1032k| 0 | 0.0 | 793M| 183 | - | 295 |8602 | 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
579.10/579.14 c 558s| 2050k| 1034k| 0 | 0.0 | 796M| 183 | - | 295 |7131 | 0 | 0 | 0 |1207k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
583.90/583.92 c 563s| 2060k| 1037k| 0 | 0.0 | 800M| 183 | - | 295 |9065 | 0 | 0 | 0 |1219k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
588.90/588.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
588.90/588.99 c 568s| 2070k| 1039k| 0 | 0.0 | 803M| 183 | - | 295 |9569 | 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
594.20/594.28 c 573s| 2080k| 1041k| 0 | 0.0 | 806M| 183 | - | 295 | 10k| 0 | 0 | 0 |1243k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
599.71/599.75 c 578s| 2090k| 1042k| 0 | 0.0 | 809M| 183 | - | 295 | 10k| 0 | 0 | 0 |1256k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
605.10/605.18 c 584s| 2100k| 1044k| 0 | 0.0 | 812M| 183 | - | 295 | 10k| 0 | 0 | 0 |1269k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
611.21/611.20 c 590s| 2110k| 1045k| 0 | 0.0 | 814M| 183 | - | 295 |9868 | 0 | 0 | 0 |1283k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
617.30/617.33 c 596s| 2120k| 1047k| 0 | 0.0 | 817M| 183 | - | 295 | 11k| 0 | 0 | 0 |1297k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
623.50/623.58 c 602s| 2130k| 1048k| 0 | 0.0 | 820M| 183 | - | 295 | 11k| 0 | 0 | 0 |1311k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
631.00/631.05 c 609s| 2140k| 1048k| 0 | 0.0 | 823M| 183 | - | 295 | 13k| 0 | 0 | 0 |1327k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
639.01/639.08 c 617s| 2150k| 1049k| 0 | 0.0 | 825M| 183 | - | 295 | 15k| 0 | 0 | 0 |1343k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
647.91/647.91 c 626s| 2160k| 1049k| 0 | 0.0 | 828M| 183 | - | 295 | 17k| 0 | 0 | 0 |1360k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
658.11/658.17 c 636s| 2170k| 1048k| 0 | 0.0 | 830M| 183 | - | 295 | 20k| 0 | 0 | 0 |1377k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
665.10/665.18 c 643s| 2180k| 1049k| 0 | 0.0 | 830M| 183 | - | 295 |8812 | 0 | 0 | 0 |1386k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
667.21/667.20 c 644s| 2190k| 1057k| 0 | 0.0 | 832M| 183 | - | 295 |3763 | 0 | 0 | 0 |1390k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
670.40/670.44 c 648s| 2200k| 1061k| 0 | 0.0 | 836M| 183 | - | 295 |7017 | 0 | 0 | 0 |1400k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
673.90/673.97 c 651s| 2210k| 1065k| 0 | 0.0 | 839M| 183 | - | 295 |2540 | 0 | 0 | 0 |1406k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
676.81/676.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.81/676.89 c 654s| 2220k| 1069k| 0 | 0.0 | 844M| 183 | - | 295 |3287 | 0 | 0 | 0 |1411k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
679.91/679.97 c 657s| 2230k| 1073k| 0 | 0.0 | 849M| 183 | - | 295 |3624 | 0 | 0 | 0 |1415k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
683.50/683.53 c 660s| 2240k| 1077k| 0 | 0.0 | 854M| 183 | - | 295 |3931 | 0 | 0 | 0 |1421k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
687.31/687.38 c 664s| 2250k| 1080k| 0 | 0.0 | 859M| 183 | - | 295 |4321 | 0 | 0 | 0 |1426k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
691.31/691.32 c 668s| 2260k| 1083k| 0 | 0.0 | 863M| 183 | - | 295 |4661 | 0 | 0 | 0 |1432k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
695.01/695.09 c 671s| 2270k| 1086k| 0 | 0.0 | 867M| 183 | - | 295 |4909 | 0 | 0 | 0 |1437k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
698.81/698.82 c 675s| 2280k| 1089k| 0 | 0.0 | 872M| 183 | - | 295 |4888 | 0 | 0 | 0 |1442k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
702.30/702.38 c 679s| 2290k| 1093k| 0 | 0.0 | 876M| 183 | - | 295 |4851 | 0 | 0 | 0 |1447k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
705.91/705.91 c 682s| 2300k| 1097k| 0 | 0.0 | 880M| 183 | - | 295 |5509 | 0 | 0 | 0 |1452k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
709.70/709.72 c 686s| 2310k| 1100k| 0 | 0.0 | 885M| 183 | - | 295 |5169 | 0 | 0 | 0 |1457k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
713.21/713.23 c 689s| 2320k| 1104k| 0 | 0.0 | 889M| 183 | - | 295 |5982 | 0 | 0 | 0 |1462k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
717.22/717.27 c 693s| 2330k| 1107k| 0 | 0.0 | 893M| 183 | - | 295 |5598 | 0 | 0 | 0 |1467k| 0 | 1.000000e+00 | 7.800000e+01 |7700.00%
717.70/717.80 o 73
717.70/717.80 c * 693s| 2331k| 1100k| 0 | 0.0 | 883M| 183 | - | 295 |5731 | 0 | 0 | 0 |1468k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
720.91/720.90 c 696s| 2340k| 1103k| 0 | 0.0 | 886M| 183 | - | 295 |2352 | 0 | 0 | 0 |1472k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
724.61/724.66 c 700s| 2350k| 1106k| 0 | 0.0 | 890M| 183 | - | 295 |2447 | 0 | 0 | 0 |1477k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
727.91/727.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.91/727.91 c 703s| 2360k| 1110k| 0 | 0.0 | 895M| 183 | - | 295 |4108 | 0 | 0 | 0 |1481k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
731.41/731.47 c 707s| 2370k| 1113k| 0 | 0.0 | 899M| 183 | - | 295 |3982 | 0 | 0 | 0 |1486k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
734.81/734.82 c 710s| 2380k| 1117k| 0 | 0.0 | 903M| 183 | - | 295 |4744 | 0 | 0 | 0 |1491k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
738.21/738.24 c 713s| 2390k| 1121k| 0 | 0.0 | 908M| 183 | - | 295 |5201 | 0 | 0 | 0 |1495k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
742.11/742.16 c 717s| 2400k| 1124k| 0 | 0.0 | 912M| 183 | - | 295 |4977 | 0 | 0 | 0 |1500k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
745.61/745.65 c 720s| 2410k| 1127k| 0 | 0.0 | 916M| 183 | - | 295 |5684 | 0 | 0 | 0 |1505k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
749.01/749.09 c 724s| 2420k| 1131k| 0 | 0.0 | 921M| 183 | - | 295 |5608 | 0 | 0 | 0 |1509k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
753.01/753.00 c 727s| 2430k| 1134k| 0 | 0.0 | 924M| 183 | - | 295 |5461 | 0 | 0 | 0 |1515k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
756.51/756.54 c 731s| 2440k| 1138k| 0 | 0.0 | 929M| 183 | - | 295 |5811 | 0 | 0 | 0 |1519k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
760.31/760.34 c 735s| 2450k| 1142k| 0 | 0.0 | 933M| 183 | - | 295 |4903 | 0 | 0 | 0 |1524k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
764.21/764.21 c 738s| 2460k| 1145k| 0 | 0.0 | 936M| 183 | - | 295 |5541 | 0 | 0 | 0 |1529k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
767.61/767.68 c 742s| 2470k| 1148k| 0 | 0.0 | 941M| 183 | - | 295 |6085 | 0 | 0 | 0 |1533k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
771.61/771.67 c 746s| 2480k| 1152k| 0 | 0.0 | 945M| 183 | - | 295 |5819 | 0 | 0 | 0 |1538k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
775.61/775.65 c 749s| 2490k| 1154k| 0 | 0.0 | 949M| 183 | - | 295 |5638 | 0 | 0 | 0 |1544k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
779.41/779.43 c 753s| 2500k| 1158k| 0 | 0.0 | 953M| 183 | - | 295 |6063 | 0 | 0 | 0 |1549k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
783.22/783.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.22/783.24 c 757s| 2510k| 1161k| 0 | 0.0 | 957M| 183 | - | 295 |5970 | 0 | 0 | 0 |1553k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
787.41/787.43 c 761s| 2520k| 1163k| 0 | 0.0 | 960M| 183 | - | 295 |5436 | 0 | 0 | 0 |1559k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
791.11/791.12 c 764s| 2530k| 1167k| 0 | 0.0 | 964M| 183 | - | 295 |6049 | 0 | 0 | 0 |1564k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
795.01/795.02 c 768s| 2540k| 1170k| 0 | 0.0 | 969M| 183 | - | 295 |6324 | 0 | 0 | 0 |1569k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
799.01/799.08 c 772s| 2550k| 1173k| 0 | 0.0 | 972M| 183 | - | 295 |5410 | 0 | 0 | 0 |1574k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
803.01/803.06 c 776s| 2560k| 1176k| 0 | 0.0 | 975M| 183 | - | 295 |2417 | 0 | 0 | 0 |1579k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
806.70/806.75 c 779s| 2570k| 1178k| 0 | 0.0 | 979M| 183 | - | 295 |2827 | 0 | 0 | 0 |1584k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
810.21/810.26 c 783s| 2580k| 1181k| 0 | 0.0 | 983M| 183 | - | 295 |3016 | 0 | 0 | 0 |1589k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
814.01/814.01 c 786s| 2590k| 1184k| 0 | 0.0 | 986M| 183 | - | 295 |3745 | 0 | 0 | 0 |1595k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
817.61/817.61 c 790s| 2600k| 1186k| 0 | 0.0 | 990M| 183 | - | 295 |4686 | 0 | 0 | 0 |1600k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
821.11/821.14 c 793s| 2610k| 1189k| 0 | 0.0 | 994M| 183 | - | 295 |5077 | 0 | 0 | 0 |1605k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
825.21/825.21 c 797s| 2620k| 1192k| 0 | 0.0 | 997M| 183 | - | 295 |4284 | 0 | 0 | 0 |1610k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
829.32/829.32 c 801s| 2630k| 1194k| 0 | 0.0 |1002M| 183 | - | 295 |5323 | 0 | 0 | 0 |1616k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
833.31/833.32 c 805s| 2640k| 1196k| 0 | 0.0 |1006M| 183 | - | 295 |5676 | 0 | 0 | 0 |1622k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
837.61/837.64 c 809s| 2650k| 1199k| 0 | 0.0 |1009M| 183 | - | 295 |3900 | 0 | 0 | 0 |1627k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
841.61/841.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.61/841.62 c 813s| 2660k| 1201k| 0 | 0.0 |1013M| 183 | - | 295 |4933 | 0 | 0 | 0 |1633k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
845.71/845.71 c 817s| 2670k| 1203k| 0 | 0.0 |1017M| 183 | - | 295 |5503 | 0 | 0 | 0 |1638k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
849.71/849.73 c 821s| 2680k| 1206k| 0 | 0.0 |1020M| 183 | - | 295 |5628 | 0 | 0 | 0 |1644k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
853.91/853.98 c 825s| 2690k| 1208k| 0 | 0.0 |1024M| 183 | - | 295 |4786 | 0 | 0 | 0 |1649k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
854.91/854.92 o 54
854.91/854.92 c * 826s| 2691k| 1035k| 0 | 0.0 | 829M| 183 | - | 295 |4823 | 0 | 0 | 0 |1650k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
859.71/859.78 c 831s| 2700k| 1034k| 0 | 0.0 | 832M| 183 | - | 295 |1318 | 0 | 0 | 0 |1658k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
864.62/864.65 c 836s| 2710k| 1033k| 0 | 0.0 | 836M| 183 | - | 295 |1450 | 0 | 0 | 0 |1666k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
869.71/869.75 c 840s| 2720k| 1032k| 0 | 0.0 | 839M| 183 | - | 295 |2191 | 0 | 0 | 0 |1674k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
874.11/874.17 c 845s| 2730k| 1031k| 0 | 0.0 | 842M| 183 | - | 295 |1691 | 0 | 0 | 0 |1681k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
879.41/879.42 c 850s| 2740k| 1029k| 0 | 0.0 | 843M| 183 | - | 295 |1785 | 0 | 0 | 0 |1689k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
884.91/884.90 c 855s| 2750k| 1028k| 0 | 0.0 | 847M| 183 | - | 295 |2690 | 0 | 0 | 0 |1697k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
890.71/890.72 c 861s| 2760k| 1025k| 0 | 0.0 | 848M| 183 | - | 295 |4291 | 0 | 0 | 0 |1705k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
896.21/896.21 c 866s| 2770k| 1024k| 0 | 0.0 | 851M| 183 | - | 295 |5645 | 0 | 0 | 0 |1712k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
902.51/902.53 c 872s| 2780k| 1021k| 0 | 0.0 | 852M| 183 | - | 295 |5878 | 0 | 0 | 0 |1720k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
908.41/908.46 c 878s| 2790k| 1020k| 0 | 0.0 | 855M| 183 | - | 295 |6561 | 0 | 0 | 0 |1728k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
914.91/914.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.91/914.99 c 884s| 2800k| 1017k| 0 | 0.0 | 855M| 183 | - | 295 |6162 | 0 | 0 | 0 |1736k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
920.81/920.84 c 890s| 2810k| 1017k| 0 | 0.0 | 857M| 183 | - | 295 |5838 | 0 | 0 | 0 |1743k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
927.12/927.18 c 896s| 2820k| 1014k| 0 | 0.0 | 858M| 183 | - | 295 |6092 | 0 | 0 | 0 |1751k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
933.01/933.01 c 902s| 2830k| 1014k| 0 | 0.0 | 860M| 183 | - | 295 |6677 | 0 | 0 | 0 |1759k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
936.51/936.53 o 48
936.51/936.53 c * 905s| 2835k| 1005k| 0 | 0.0 | 852M| 183 | - | 295 |6006 | 0 | 0 | 0 |1764k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
939.61/939.62 c 908s| 2840k| 1004k| 0 | 0.0 | 853M| 183 | - | 295 |7185 | 0 | 0 | 0 |1768k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
946.31/946.34 c 915s| 2850k| 1003k| 0 | 0.0 | 857M| 183 | - | 295 |4890 | 0 | 0 | 0 |1776k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
953.11/953.16 c 921s| 2860k| 1000k| 0 | 0.0 | 857M| 183 | - | 295 |7390 | 0 | 0 | 0 |1785k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
959.52/959.51 c 928s| 2870k|999748 | 0 | 0.0 | 858M| 183 | - | 295 |5345 | 0 | 0 | 0 |1794k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
966.21/966.22 c 934s| 2880k|996945 | 0 | 0.0 | 859M| 183 | - | 295 |7688 | 0 | 0 | 0 |1803k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
972.61/972.69 c 941s| 2890k|995782 | 0 | 0.0 | 859M| 183 | - | 295 |6073 | 0 | 0 | 0 |1812k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
979.12/979.16 c 947s| 2900k|994330 | 0 | 0.0 | 860M| 183 | - | 295 |8394 | 0 | 0 | 0 |1821k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
986.11/986.15 c 954s| 2910k|991994 | 0 | 0.0 | 860M| 183 | - | 295 |7118 | 0 | 0 | 0 |1831k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
992.92/992.97 c 960s| 2920k|991313 | 0 | 0.0 | 862M| 183 | - | 295 |9100 | 0 | 0 | 0 |1840k| 0 | 1.000000e+00 | 4.800000e+01 |4700.00%
996.92/996.96 o 45
996.92/996.96 c * 964s| 2925k|966135 | 0 | 0.0 | 838M| 183 | - | 295 |6096 | 0 | 0 | 0 |1845k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1000.31/1000.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.31/1000.34 c 968s| 2930k|964540 | 0 | 0.0 | 839M| 183 | - | 295 |7243 | 0 | 0 | 0 |1850k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1007.32/1007.39 c 974s| 2940k|964226 | 0 | 0.0 | 841M| 183 | - | 295 |5179 | 0 | 0 | 0 |1860k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1014.81/1014.80 c 982s| 2950k|960619 | 0 | 0.0 | 840M| 183 | - | 295 |8108 | 0 | 0 | 0 |1871k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1022.22/1022.23 c 989s| 2960k|958386 | 0 | 0.0 | 839M| 183 | - | 295 |6451 | 0 | 0 | 0 |1882k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1029.22/1029.24 c 996s| 2970k|957235 | 0 | 0.0 | 841M| 183 | - | 295 |8979 | 0 | 0 | 0 |1892k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1037.32/1037.31 c 1004s| 2980k|953963 | 0 | 0.0 | 840M| 183 | - | 295 |8516 | 0 | 0 | 0 |1903k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1045.02/1045.03 c 1011s| 2990k|952557 | 0 | 0.0 | 841M| 183 | - | 295 |7184 | 0 | 0 | 0 |1914k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1053.12/1053.19 c 1019s| 3000k|949984 | 0 | 0.0 | 842M| 183 | - | 295 |9608 | 0 | 0 | 0 |1925k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1060.91/1061.00 c 1027s| 3010k|947567 | 0 | 0.0 | 841M| 183 | - | 295 |9038 | 0 | 0 | 0 |1936k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1069.02/1069.09 c 1035s| 3020k|946650 | 0 | 0.0 | 842M| 183 | - | 295 |7395 | 0 | 0 | 0 |1947k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1077.42/1077.44 c 1043s| 3030k|943824 | 0 | 0.0 | 843M| 183 | - | 295 | 10k| 0 | 0 | 0 |1959k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1085.92/1085.98 c 1052s| 3040k|941156 | 0 | 0.0 | 842M| 183 | - | 295 |9874 | 0 | 0 | 0 |1970k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1094.81/1094.82 c 1060s| 3050k|939475 | 0 | 0.0 | 842M| 183 | - | 295 |8155 | 0 | 0 | 0 |1982k| 0 | 1.000000e+00 | 4.500000e+01 |4400.00%
1096.91/1096.98 o 36
1096.91/1096.98 c *1062s| 3052k|876502 | 0 | 0.0 | 767M| 183 | - | 295 |9062 | 0 | 0 | 0 |1985k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1104.92/1104.90 c 1070s| 3060k|874807 | 0 | 0.0 | 771M| 183 | - | 295 | 10k| 0 | 0 | 0 |1995k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1115.32/1115.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.32/1115.37 c 1080s| 3070k|870344 | 0 | 0.0 | 770M| 183 | - | 295 | 11k| 0 | 0 | 0 |2010k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1125.91/1125.95 c 1091s| 3080k|865940 | 0 | 0.0 | 770M| 183 | - | 295 | 11k| 0 | 0 | 0 |2024k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1136.82/1136.83 c 1102s| 3090k|861540 | 0 | 0.0 | 768M| 183 | - | 295 | 11k| 0 | 0 | 0 |2039k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1147.82/1147.84 c 1112s| 3100k|857343 | 0 | 0.0 | 767M| 183 | - | 295 | 11k| 0 | 0 | 0 |2053k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1159.42/1159.49 c 1124s| 3110k|853252 | 0 | 0.0 | 766M| 183 | - | 295 | 11k| 0 | 0 | 0 |2068k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1171.62/1171.61 c 1136s| 3120k|849041 | 0 | 0.0 | 766M| 183 | - | 295 | 12k| 0 | 0 | 0 |2082k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1184.01/1184.07 c 1148s| 3130k|844804 | 0 | 0.0 | 765M| 183 | - | 295 | 12k| 0 | 0 | 0 |2097k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1196.62/1196.62 c 1161s| 3140k|840564 | 0 | 0.0 | 764M| 183 | - | 295 | 12k| 0 | 0 | 0 |2112k| 0 | 1.000000e+00 | 3.600000e+01 |3500.00%
1198.22/1198.24 o 29
1198.22/1198.24 c *1162s| 3141k|804243 | 0 | 0.0 | 732M| 183 | - | 295 | 12k| 0 | 0 | 0 |2114k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1209.32/1209.38 o 12
1209.32/1209.38 c *1173s| 3148k|639033 | 0 | 0.0 | 606M| 183 | - | 295 | 12k| 0 | 0 | 0 |2127k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1211.72/1211.77 c 1175s| 3150k|637395 | 0 | 0.0 | 606M| 183 | - | 295 | 11k| 0 | 0 | 0 |2130k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1229.83/1229.88 c 1193s| 3160k|627677 | 0 | 0.0 | 607M| 183 | - | 295 | 11k| 0 | 0 | 0 |2153k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1248.12/1248.15 c 1211s| 3170k|615738 | 0 | 0.0 | 602M| 183 | - | 295 | 16k| 0 | 0 | 0 |2177k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1266.72/1266.76 c 1230s| 3180k|604765 | 0 | 0.0 | 597M| 183 | - | 295 | 16k| 0 | 0 | 0 |2201k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1288.82/1288.87 c 1252s| 3190k|592949 | 0 | 0.0 | 592M| 183 | - | 295 | 18k| 0 | 0 | 0 |2226k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1310.32/1310.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.32/1310.32 c 1273s| 3200k|582185 | 0 | 0.0 | 589M| 183 | - | 295 | 19k| 0 | 0 | 0 |2251k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1333.63/1333.66 c 1296s| 3210k|570225 | 0 | 0.0 | 583M| 183 | - | 295 | 19k| 0 | 0 | 0 |2277k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1356.82/1356.85 c 1319s| 3220k|558703 | 0 | 0.0 | 577M| 183 | - | 295 | 19k| 0 | 0 | 0 |2304k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1378.62/1378.68 c 1341s| 3230k|546293 | 0 | 0.0 | 567M| 183 | - | 295 | 22k| 0 | 0 | 0 |2330k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1393.43/1393.40 c 1355s| 3240k|538137 | 0 | 0.0 | 555M| 183 | - | 295 |7261 | 0 | 0 | 0 |2346k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1397.03/1397.01 c 1358s| 3250k|542858 | 0 | 0.0 | 560M| 183 | - | 295 |8622 | 0 | 0 | 0 |2356k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1402.13/1402.16 c 1364s| 3260k|545625 | 0 | 0.0 | 565M| 183 | - | 295 | 10k| 0 | 0 | 0 |2367k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1410.13/1410.18 c 1371s| 3270k|545090 | 0 | 0.0 | 569M| 183 | - | 295 | 14k| 0 | 0 | 0 |2382k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1415.73/1415.72 c 1377s| 3280k|546348 | 0 | 0.0 | 568M| 183 | - | 295 |6986 | 0 | 0 | 0 |2394k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1433.23/1433.21 c 1394s| 3290k|527419 | 0 | 0.0 | 557M| 183 | - | 295 | 14k| 0 | 0 | 0 |2423k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1474.12/1474.11 c 1435s| 3300k|491488 | 0 | 0.0 | 540M| 183 | - | 295 | 22k| 0 | 0 | 0 |2461k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1529.93/1529.96 c 1490s| 3310k|449081 | 0 | 0.0 | 515M| 183 | - | 295 | 27k| 0 | 0 | 0 |2498k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1586.92/1586.99 c 1547s| 3320k|410161 | 0 | 0.0 | 486M| 183 | - | 295 | 29k| 0 | 0 | 0 |2535k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1642.83/1642.85 c 1602s| 3330k|377602 | 0 | 0.0 | 457M| 183 | - | 295 | 31k| 0 | 0 | 0 |2570k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1696.24/1696.24 c 1655s| 3340k|351634 | 0 | 0.0 | 432M| 183 | - | 295 | 35k| 0 | 0 | 0 |2603k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1753.74/1753.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.74/1753.78 c 1713s| 3350k|329678 | 0 | 0.0 | 410M| 183 | - | 295 | 39k| 0 | 0 | 0 |2635k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1758.64
1800.04/1800.01 c Solving Nodes : 3357679
1800.04/1800.01 c Primal Bound : +1.20000000000000e+01 (25 solutions)
1800.04/1800.01 c Dual Bound : +1.00000000000000e+00
1800.04/1800.01 c Gap : 1100.00 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.04/1800.01 v -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127
1800.04/1800.01 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106
1800.04/1800.01 v -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.04/1800.01 v -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
1800.04/1800.01 v -x56 -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
1800.04/1800.01 v -x30 -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
1800.04/1800.01 v -x4 -x3 -x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1758.64
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2693887-1277896473.wbo
1800.04/1800.01 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.04/1800.01 c Constraints : 166 initial, 166 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2693887-1277896473.wbo
1800.04/1800.01 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1800.04/1800.01 c Constraints : 159 initial, 42174 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.00 0 0 0 63 0 6 1 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 27 - - 54 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 63 0 9444832 0 2428036 31834 5891302 0 0 0
1800.04/1800.01 c knapsack : 1 0 9929097 0 2524490 154308 37333975 0 0 0
1800.04/1800.01 c setppc : 23 0 9774229 0 2524366 285425 4514810 0 0 0
1800.04/1800.01 c linear : 63 0 9489329 0 2524479 581105 9281335 0 0 0
1800.04/1800.01 c logicor : 9+ 0 4614531 0 2524389 161407 2690328 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 416883 0 0 14 45189 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 2524504 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 13.35 0.00 8.91 0.00 4.44
1800.04/1800.01 c knapsack : 275.97 0.00 269.69 0.00 6.28
1800.04/1800.01 c setppc : 26.73 0.00 20.01 0.00 6.72
1800.04/1800.01 c linear : 96.45 0.00 95.40 0.00 1.05
1800.04/1800.01 c logicor : 533.86 0.00 531.12 0.00 2.74
1800.04/1800.01 c bounddisjunction : 10.58 0.00 10.58 0.00 0.00
1800.04/1800.01 c countsols : 0.40 0.00 0.00 0.00 0.40
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 2.13 2 0 0
1800.04/1800.01 c rootredcost : 2.27 0 0 0
1800.04/1800.01 c pseudoobj : 29.42 9983328 22550 5279696
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 34.95 1204806 1204755 5814726 20.3 206487 13.7 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.05 509 509 1757 15.7 94 14.3 -
1800.04/1800.01 c applied globally : - - - 2615213 15.9 - - -
1800.04/1800.01 c applied locally : - - - 44435 36.7 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 23.75 2524479 0 0 0 0 5048958
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 1.30 - 25
1800.04/1800.01 c oneopt : 1.13 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.72 0 0
1800.04/1800.01 c trysol : 0.66 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 3357679
1800.04/1800.01 c nodes (total) : 3357679
1800.04/1800.01 c nodes left : 313711
1800.04/1800.01 c max depth : 183
1800.04/1800.01 c max depth (total): 183
1800.04/1800.01 c backtracks : 1003908 (29.9%)
1800.04/1800.01 c delayed cutoffs : 839307
1800.04/1800.01 c repropagations : 3990997 (17461459 domain reductions, 403977 cutoffs)
1800.04/1800.01 c avg switch length: 26.34
1800.04/1800.01 c switching time : 542.04
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 25 (25 improvements)
1800.04/1800.01 c First Solution : +6.28000000000000e+02 (in run 1, after 17061 nodes, 3.28 seconds, depth 104, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +1.20000000000000e+01 (in run 1, after 3148926 nodes, 1172.74 seconds, depth 56, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +1.00000000000000e+00
1800.04/1800.01 c Gap : 1100.00 %
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
1801.13/1801.13 c Time complete: 1801.17.
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693887-1277896473/watcher-2693887-1277896473 -o /tmp/evaluation-result-2693887-1277896473/solver-2693887-1277896473 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693887-1277896473.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: 2.00 2.00 2.00 4/178 13077 /proc/meminfo: memFree=31066372/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=8252 CPUtime=0 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 1540 0 0 0 0 0 0 0 25 0 1 0 130941858 8450048 1463 4089446400 4194304 7136930 140734185162960 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/13077/statm: 2063 1467 275 719 0 1342 0 [startup+0.03172 s] /proc/loadavg: 2.00 2.00 2.00 4/178 13077 /proc/meminfo: memFree=31066372/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=12344 CPUtime=0.02 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 4854 0 0 0 2 0 0 0 25 0 1 0 130941858 12640256 2368 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13077/statm: 3086 2368 400 719 0 2365 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12344 [startup+0.10071 s] /proc/loadavg: 2.00 2.00 2.00 4/178 13077 /proc/meminfo: memFree=31066372/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=13008 CPUtime=0.09 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 5033 0 0 0 8 1 0 0 25 0 1 0 130941858 13320192 2547 4089446400 4194304 7136930 140734185162960 18446744073709551615 4948388 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13077/statm: 3252 2547 404 719 0 2531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13008 [startup+0.300674 s] /proc/loadavg: 2.00 2.00 2.00 4/178 13077 /proc/meminfo: memFree=31066372/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=14244 CPUtime=0.29 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 5337 0 0 0 27 2 0 0 25 0 1 0 130941858 14585856 2851 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13077/statm: 3561 2851 404 719 0 2840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14244 [startup+0.700602 s] /proc/loadavg: 2.00 2.00 2.00 4/178 13077 /proc/meminfo: memFree=31066372/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=16684 CPUtime=0.69 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 5958 0 0 0 64 5 0 0 25 0 1 0 130941858 17084416 3472 4089446400 4194304 7136930 140734185162960 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13077/statm: 4171 3472 404 719 0 3450 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16684 [startup+1.50046 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13078 /proc/meminfo: memFree=31052352/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=20652 CPUtime=1.49 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 6982 0 0 0 139 10 0 0 25 0 1 0 130941858 21147648 4496 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13077/statm: 5163 4496 404 719 0 4442 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20652 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13078 /proc/meminfo: memFree=31048136/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=24644 CPUtime=3.09 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 7980 0 0 0 293 16 0 0 25 0 1 0 130941858 25235456 5494 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13077/statm: 6161 5494 404 719 0 5440 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24644 [startup+6.30063 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13078 /proc/meminfo: memFree=31039592/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=32504 CPUtime=6.29 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 9974 0 0 0 598 31 0 0 25 0 1 0 130941858 33284096 7488 4089446400 4194304 7136930 140734185162960 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13077/statm: 8126 7488 404 719 0 7405 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32504 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13078 /proc/meminfo: memFree=31026656/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=43708 CPUtime=12.69 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 12790 0 0 0 1217 52 0 0 25 0 1 0 130941858 44756992 10304 4089446400 4194304 7136930 140734185162960 18446744073709551615 4854033 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13077/statm: 10927 10304 404 719 0 10206 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43708 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13078 /proc/meminfo: memFree=31002416/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=68476 CPUtime=25.49 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 19083 0 0 0 2452 97 0 0 25 0 1 0 130941858 70119424 16597 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 17119 16597 405 719 0 16398 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68476 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13079 /proc/meminfo: memFree=30959716/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=111044 CPUtime=51.09 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 29342 0 0 0 4926 183 0 0 25 0 1 0 130941858 113709056 26856 4089446400 4194304 7136930 140734185162960 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 27761 26856 407 719 0 27040 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 111044 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13080 /proc/meminfo: memFree=30876236/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=197088 CPUtime=102.3 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 50220 0 0 0 9865 365 0 0 25 0 1 0 130941858 201818112 47734 4089446400 4194304 7136930 140734185162960 18446744073709551615 6166614 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 49272 47734 407 719 0 48551 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 197088 [startup+162.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 13082 /proc/meminfo: memFree=30721676/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=349640 CPUtime=162.3 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 88911 0 0 0 15582 648 0 0 25 0 1 0 130941858 358031360 86425 4089446400 4194304 7136930 140734185162960 18446744073709551615 4999847 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 87410 86425 407 719 0 86689 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 349640 [startup+222.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13084 /proc/meminfo: memFree=30680092/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=397612 CPUtime=222.29 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 98873 0 0 0 21461 768 0 0 25 0 1 0 130941858 407154688 96387 4089446400 4194304 7136930 140734185162960 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 99403 96387 407 719 0 98682 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 397612 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13086 /proc/meminfo: memFree=30560376/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=518012 CPUtime=282.29 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 129188 0 0 0 27207 1022 0 0 25 0 1 0 130941858 530444288 126702 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 129503 126702 407 719 0 128782 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 518012 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13087 /proc/meminfo: memFree=30444996/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=630356 CPUtime=342.3 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 157499 0 0 0 32978 1252 0 0 25 0 1 0 130941858 645484544 155013 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 157589 155013 407 719 0 156868 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 630356 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13088 /proc/meminfo: memFree=30375128/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=700512 CPUtime=402.3 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 174775 0 0 0 38707 1523 0 0 25 0 1 0 130941858 717324288 172289 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 175128 172289 407 719 0 174407 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 700512 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13090 /proc/meminfo: memFree=30288020/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=785772 CPUtime=462.3 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 196470 0 0 0 44480 1750 0 0 25 0 1 0 130941858 804630528 193984 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 196443 193984 407 719 0 195722 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 785772 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13092 /proc/meminfo: memFree=30207116/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=866068 CPUtime=522.3 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 212725 0 0 0 50292 1938 0 0 25 0 1 0 130941858 886853632 210239 4089446400 4194304 7136930 140734185162960 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 216517 210239 407 719 0 215796 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 866068 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13094 /proc/meminfo: memFree=30123104/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=917452 CPUtime=582.3 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 225515 0 0 0 56131 2099 0 0 25 0 1 0 130941858 939470848 223029 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 229363 223029 407 719 0 228642 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 917452 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13095 /proc/meminfo: memFree=30077668/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=950164 CPUtime=642.31 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 233726 0 0 0 62006 2225 0 0 25 0 1 0 130941858 972967936 231240 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 237541 231240 407 719 0 236820 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 950164 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13104 /proc/meminfo: memFree=29802340/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1148368 CPUtime=1002.32 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 283460 0 0 0 96951 3281 0 0 25 0 1 0 130941858 1175928832 280974 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 287092 280974 407 719 0 286371 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1148368 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13109 /proc/meminfo: memFree=29778836/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1151060 CPUtime=1062.31 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 284133 0 0 0 102827 3404 0 0 25 0 1 0 130941858 1178685440 281647 4089446400 4194304 7136930 140734185162960 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 287765 281647 407 719 0 287044 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1151060 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13160 /proc/meminfo: memFree=30042972/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1153108 CPUtime=1122.32 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 284648 0 0 0 108726 3506 0 0 25 0 1 0 130941858 1180782592 282162 4089446400 4194304 7136930 140734185162960 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288277 282162 407 719 0 287556 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1153108 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13162 /proc/meminfo: memFree=29888908/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1153264 CPUtime=1182.32 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 284667 0 0 0 114641 3591 0 0 25 0 1 0 130941858 1180942336 282181 4089446400 4194304 7136930 140734185162960 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288316 282181 407 719 0 287595 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1153264 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13163 /proc/meminfo: memFree=29736692/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1153264 CPUtime=1242.32 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 284667 0 0 0 120561 3671 0 0 25 0 1 0 130941858 1180942336 282181 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288316 282181 407 719 0 287595 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1153264 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13164 /proc/meminfo: memFree=29590312/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1153264 CPUtime=1302.33 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 284670 0 0 0 126495 3738 0 0 25 0 1 0 130941858 1180942336 282184 4089446400 4194304 7136930 140734185162960 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288316 282184 407 719 0 287595 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1153264 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13193 /proc/meminfo: memFree=30031468/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1153264 CPUtime=1362.32 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 284678 0 0 0 132433 3799 0 0 25 0 1 0 130941858 1180942336 282192 4089446400 4194304 7136930 140734185162960 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288316 282192 407 719 0 287595 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1153264 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13249 /proc/meminfo: memFree=30184312/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1153448 CPUtime=1422.33 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 284735 0 0 0 138323 3910 0 0 25 0 1 0 130941858 1181130752 282249 4089446400 4194304 7136930 140734185162960 18446744073709551615 4210610 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288362 282249 407 719 0 287641 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1153448 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13278 /proc/meminfo: memFree=30048592/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1155096 CPUtime=1482.33 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 284950 0 0 0 144267 3966 0 0 25 0 1 0 130941858 1182818304 282464 4089446400 4194304 7136930 140734185162960 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288774 282464 407 719 0 288053 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1155096 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13324 /proc/meminfo: memFree=30036156/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1155732 CPUtime=1542.33 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285081 0 0 0 150230 4003 0 0 25 0 1 0 130941858 1183469568 282595 4089446400 4194304 7136930 140734185162960 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288933 282595 407 719 0 288212 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1155732 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 13325 /proc/meminfo: memFree=29983512/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1155732 CPUtime=1602.33 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285147 0 0 0 156197 4036 0 0 25 0 1 0 130941858 1183469568 282661 4089446400 4194304 7136930 140734185162960 18446744073709551615 4221902 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 288933 282661 407 719 0 288212 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1155732 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 13327 /proc/meminfo: memFree=29977276/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1156556 CPUtime=1662.33 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285260 0 0 0 162161 4072 0 0 25 0 1 0 130941858 1184313344 282774 4089446400 4194304 7136930 140734185162960 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 289139 282774 407 719 0 288418 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1156556 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13329 /proc/meminfo: memFree=29951572/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1157420 CPUtime=1722.33 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285400 0 0 0 168131 4102 0 0 25 0 1 0 130941858 1185198080 282914 4089446400 4194304 7136930 140734185162960 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 289355 282914 407 719 0 288634 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1157420 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13331 /proc/meminfo: memFree=29936672/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1157708 CPUtime=1782.33 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285498 0 0 0 174102 4131 0 0 25 0 1 0 130941858 1185492992 283012 4089446400 4194304 7136930 140734185162960 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 289427 283012 407 719 0 288706 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1157708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13331 /proc/meminfo: memFree=29932692/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1158584 CPUtime=1800.04 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285673 0 0 0 175864 4140 0 0 25 0 1 0 130941858 1186390016 283187 4089446400 4194304 7136930 140734185162960 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13077/statm: 289646 283187 407 719 0 288925 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1158584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.00 3/198 13332 /proc/meminfo: memFree=29932808/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1157680 CPUtime=1800.64 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285706 0 0 0 175924 4140 0 0 25 0 1 0 130941858 1185464320 282964 4089446400 4194304 7136930 140734185162960 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13077/statm: 289420 282964 412 719 0 288699 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 1157680 [startup+1801 s] /proc/loadavg: 2.00 2.00 2.00 3/198 13332 /proc/meminfo: memFree=29932808/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=1153752 CPUtime=1801.03 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285706 0 0 0 175963 4140 0 0 25 0 1 0 130941858 1181442048 281983 4089446400 4194304 7136930 140734185162960 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13077/statm: 288438 281983 412 719 0 287717 0 Current children cumulated CPU time (s) 1801.03 Current children cumulated vsize (KiB) 1153752 [startup+1801.1 s] /proc/loadavg: 2.00 2.00 2.00 3/198 13332 /proc/meminfo: memFree=29932808/32951124 swapFree=67111528/67111528 [pid=13077] ppid=13075 vsize=802724 CPUtime=1801.13 /proc/13077/stat : 13077 (pbscip.linux.x8) R 13075 13077 11728 0 -1 4202496 285706 0 0 0 175971 4142 0 0 25 0 1 0 130941858 821989376 194167 4089446400 4194304 7136930 140734185162960 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13077/statm: 200486 193972 412 719 0 199765 0 Current children cumulated CPU time (s) 1801.13 Current children cumulated vsize (KiB) 802724 Child status: 0 Real time (s): 1801.13 CPU time (s): 1801.17 CPU user time (s): 1759.72 CPU system time (s): 41.4507 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1158584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1759.72 system time used= 41.4507 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285713 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= 1891 runsolver used 3.15652 second user time and 6.21705 second system time The end
Begin job on node144 at 2010-06-30 13:14:33 IDJOB=2693887 IDBENCH=78785 IDSOLVER=1206 FILE ID=node144/2693887-1277896473 PBS_JOBID= 11197066 Free space on /tmp= 74176 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693887-1277896473/watcher-2693887-1277896473 -o /tmp/evaluation-result-2693887-1277896473/solver-2693887-1277896473 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693887-1277896473.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7711a7b19a36d7c95277483b0aa560c RANDOM SEED=543104498 node144.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.848 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.69 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.848 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.848 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.848 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.82 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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 : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31067016 kB Buffers: 179532 kB Cached: 1245132 kB SwapCached: 0 kB Active: 820220 kB Inactive: 920768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31067016 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 316728 kB Mapped: 16284 kB Slab: 79400 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 460096 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74176 MiB End job on node144 at 2010-06-30 13:44:35