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) | 1800.34 | 1800.29 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo |
| MD5SUM | 4d45122e251aca3cc1eaa7c8fe64e1aa |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 0.230964 |
| 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 | 1265 |
| 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-2693869-1277896226.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.00 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.01
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.49/1.51 c 1.4s| 10000 | 7142 | 0 | 0.0 |6729k| 183 | - | 295 |3898 | 0 | 0 | 0 |7108 | 0 | 0.000000e+00 | -- | Inf
3.20/3.28 o 637
3.20/3.28 c * 3.1s| 18483 | 12417 | 0 | 0.0 | 10M| 183 | - | 295 |4067 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 6.370000e+02 | Inf
3.39/3.44 c 3.2s| 20000 | 13769 | 0 | 0.0 | 10M| 183 | - | 295 |2516 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 6.370000e+02 | Inf
5.79/5.82 c 5.5s| 30000 | 19343 | 0 | 0.0 | 15M| 183 | - | 295 |7266 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 6.370000e+02 | Inf
9.59/9.65 c 9.2s| 40000 | 23786 | 0 | 0.0 | 20M| 183 | - | 295 | 10k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 6.370000e+02 | Inf
13.79/13.87 c 13.3s| 50000 | 27504 | 0 | 0.0 | 24M| 183 | - | 295 | 11k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 6.370000e+02 | Inf
18.99/19.04 c 18.4s| 60000 | 29732 | 0 | 0.0 | 29M| 183 | - | 295 | 16k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 6.370000e+02 | Inf
21.69/21.70 o 499
21.69/21.70 c *21.0s| 65442 | 32019 | 0 | 0.0 | 27M| 183 | - | 295 |4748 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 4.990000e+02 | Inf
21.90/22.00 o 455
21.90/22.00 c *21.3s| 67771 | 34043 | 0 | 0.0 | 28M| 183 | - | 295 |2386 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 4.550000e+02 | Inf
21.90/22.00 o 396
21.90/22.00 c *21.3s| 67772 | 34042 | 0 | 0.0 | 28M| 183 | - | 295 |2386 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.960000e+02 | Inf
22.19/22.26 c 21.5s| 70000 | 35984 | 0 | 0.0 | 28M| 183 | - | 295 |2062 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.960000e+02 | Inf
22.89/23.00 o 390
22.89/23.00 c *22.2s| 76717 | 41726 | 0 | 0.0 | 31M| 183 | - | 295 |2240 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 3.900000e+02 | Inf
23.29/23.36 c 22.5s| 80000 | 44517 | 0 | 0.0 | 32M| 183 | - | 295 |2132 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.900000e+02 | Inf
23.39/23.45 o 389
23.39/23.45 c *22.6s| 80814 | 45180 | 0 | 0.0 | 32M| 183 | - | 295 |2107 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.890000e+02 | Inf
23.69/23.80 o 306
23.69/23.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.69/23.80 c *22.9s| 83795 | 47675 | 0 | 0.0 | 33M| 183 | - | 295 |1921 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.060000e+02 | Inf
24.40/24.43 o 262
24.40/24.43 c *23.5s| 88841 | 51845 | 0 | 0.0 | 35M| 183 | - | 295 |1557 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
24.50/24.57 c 23.6s| 90000 | 52819 | 0 | 0.0 | 35M| 183 | - | 295 |1475 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
25.79/25.86 c 24.8s|100000 | 60895 | 0 | 0.0 | 39M| 183 | - | 295 |1544 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
26.30/26.40 o 254
26.30/26.40 c *25.3s|104001 | 64049 | 0 | 0.0 | 41M| 183 | - | 295 |1664 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
27.19/27.23 c 26.1s|110000 | 68675 | 0 | 0.0 | 43M| 183 | - | 295 |1814 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
28.69/28.75 c 27.5s|120000 | 76179 | 0 | 0.0 | 47M| 183 | - | 295 |2285 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.540000e+02 | Inf
29.19/29.28 o 146
29.19/29.28 c *28.0s|123262 | 78143 | 0 | 0.0 | 48M| 183 | - | 295 |2476 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
30.39/30.43 c 29.1s|130000 | 82720 | 0 | 0.0 | 51M| 183 | - | 295 |3072 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
33.40/33.41 c 32.0s|140000 | 87365 | 0 | 0.0 | 56M| 183 | - | 295 |6033 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
40.29/40.33 c 38.8s|150000 | 87277 | 0 | 0.0 | 61M| 183 | - | 295 | 14k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
50.39/50.43 c 48.7s|160000 | 85414 | 0 | 0.0 | 63M| 183 | - | 295 | 17k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
61.79/61.89 c 60.1s|170000 | 82594 | 0 | 0.0 | 64M| 183 | - | 295 | 18k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
74.90/74.91 c 72.9s|180000 | 78276 | 0 | 0.0 | 64M| 183 | - | 295 | 23k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
80.39/80.42 c 78.3s|190000 | 82860 | 0 | 0.0 | 59M| 183 | - | 295 |2618 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
82.20/82.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.20/82.28 c 80.1s|200000 | 89954 | 0 | 0.0 | 64M| 183 | - | 295 |3406 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
84.10/84.16 c 81.9s|210000 | 97110 | 0 | 0.0 | 68M| 183 | - | 295 |4173 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
86.20/86.20 c 83.8s|220000 |104264 | 0 | 0.0 | 73M| 183 | - | 295 |4809 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.460000e+02 | Inf
87.10/87.15 o 144
87.10/87.15 c *84.7s|224678 |107638 | 0 | 0.0 | 75M| 183 | - | 295 |5104 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
88.20/88.23 c 85.8s|230000 |111478 | 0 | 0.0 | 77M| 183 | - | 295 |5335 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
90.10/90.15 c 87.6s|240000 |118704 | 0 | 0.0 | 82M| 183 | - | 295 |5770 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
92.20/92.28 c 89.6s|250000 |125926 | 0 | 0.0 | 87M| 183 | - | 295 |6128 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
94.50/94.50 c 91.7s|260000 |133096 | 0 | 0.0 | 91M| 183 | - | 295 |6447 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
96.59/96.63 c 93.8s|270000 |140119 | 0 | 0.0 | 95M| 183 | - | 295 |5979 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
98.90/98.94 c 96.0s|280000 |147001 | 0 | 0.0 | 100M| 183 | - | 295 |5876 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
101.10/101.20 c 98.1s|290000 |153991 | 0 | 0.0 | 105M| 183 | - | 295 |5512 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
103.30/103.30 c 100s|300000 |160833 | 0 | 0.0 | 109M| 183 | - | 295 |5189 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
105.50/105.57 c 102s|310000 |167679 | 0 | 0.0 | 113M| 183 | - | 295 |4944 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
107.89/107.95 c 105s|320000 |174245 | 0 | 0.0 | 118M| 183 | - | 295 |4981 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
110.09/110.12 c 107s|330000 |180939 | 0 | 0.0 | 122M| 183 | - | 295 |4392 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
112.50/112.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.50/112.53 c 109s|340000 |187270 | 0 | 0.0 | 127M| 183 | - | 295 |4447 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
114.80/114.84 c 111s|350000 |193734 | 0 | 0.0 | 131M| 183 | - | 295 |4228 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
116.99/117.04 c 113s|360000 |200211 | 0 | 0.0 | 135M| 183 | - | 295 |4109 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
119.50/119.54 c 116s|370000 |206355 | 0 | 0.0 | 140M| 183 | - | 295 |4472 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
121.89/121.96 c 118s|380000 |212557 | 0 | 0.0 | 144M| 183 | - | 295 |4396 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
124.39/124.44 c 120s|390000 |218534 | 0 | 0.0 | 149M| 183 | - | 295 |4675 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
127.00/127.06 c 123s|400000 |224495 | 0 | 0.0 | 153M| 183 | - | 295 |4918 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
129.39/129.49 c 125s|410000 |230497 | 0 | 0.0 | 158M| 183 | - | 295 |4986 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
132.10/132.12 c 128s|420000 |236481 | 0 | 0.0 | 162M| 183 | - | 295 |5153 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
134.80/134.80 c 130s|430000 |242244 | 0 | 0.0 | 167M| 183 | - | 295 |5548 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
137.51/137.56 c 133s|440000 |247940 | 0 | 0.0 | 171M| 183 | - | 295 |5528 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
140.40/140.45 c 136s|450000 |253505 | 0 | 0.0 | 176M| 183 | - | 295 |5751 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
143.20/143.20 c 138s|460000 |259157 | 0 | 0.0 | 180M| 183 | - | 295 |6091 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
146.30/146.35 c 141s|470000 |264412 | 0 | 0.0 | 185M| 183 | - | 295 |6215 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
149.40/149.50 c 144s|480000 |269343 | 0 | 0.0 | 189M| 183 | - | 295 |5893 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
152.90/152.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.90/152.93 c 148s|490000 |274037 | 0 | 0.0 | 193M| 183 | - | 295 |6632 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
156.50/156.55 c 151s|500000 |278209 | 0 | 0.0 | 198M| 183 | - | 295 |7115 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
160.69/160.70 c 155s|510000 |281766 | 0 | 0.0 | 202M| 183 | - | 295 |7669 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
165.20/165.24 c 160s|520000 |284809 | 0 | 0.0 | 206M| 183 | - | 295 |8480 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
170.20/170.20 c 165s|530000 |287248 | 0 | 0.0 | 210M| 183 | - | 295 |9144 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
176.30/176.39 c 171s|540000 |288134 | 0 | 0.0 | 213M| 183 | - | 295 | 12k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
185.81/185.85 c 180s|550000 |284986 | 0 | 0.0 | 208M| 183 | - | 295 | 17k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
192.29/192.39 c 186s|560000 |288221 | 0 | 0.0 | 203M| 183 | - | 295 |5252 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
194.90/194.99 c 189s|570000 |294073 | 0 | 0.0 | 207M| 183 | - | 295 |5010 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
197.80/197.89 c 192s|580000 |299760 | 0 | 0.0 | 211M| 183 | - | 295 |6102 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
200.70/200.75 c 194s|590000 |305595 | 0 | 0.0 | 215M| 183 | - | 295 |6894 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
203.70/203.75 c 197s|600000 |311456 | 0 | 0.0 | 219M| 183 | - | 295 |7631 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
206.81/206.87 c 200s|610000 |317381 | 0 | 0.0 | 223M| 183 | - | 295 |8368 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
210.10/210.12 c 203s|620000 |323201 | 0 | 0.0 | 228M| 183 | - | 295 |9037 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
213.10/213.19 c 206s|630000 |329288 | 0 | 0.0 | 232M| 183 | - | 295 |9526 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 1.440000e+02 | Large
216.10/216.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.10/216.20 c 209s|640000 |335386 | 0 | 0.0 | 237M| 183 | - | 295 | 10k| 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 1.440000e+02 | Large
219.50/219.54 c 212s|650000 |341289 | 0 | 0.0 | 241M| 183 | - | 295 | 10k| 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 1.440000e+02 | Large
222.50/222.59 c 215s|660000 |347320 | 0 | 0.0 | 246M| 183 | - | 295 | 11k| 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 1.440000e+02 | Large
225.80/225.85 c 219s|670000 |353471 | 0 | 0.0 | 251M| 183 | - | 295 | 11k| 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 1.440000e+02 | Large
228.71/228.80 c 221s|680000 |359799 | 0 | 0.0 | 256M| 183 | - | 295 | 11k| 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 1.440000e+02 | Large
232.20/232.29 c 225s|690000 |365689 | 0 | 0.0 | 261M| 183 | - | 295 | 12k| 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 1.440000e+02 | Large
235.50/235.58 c 228s|700000 |371495 | 0 | 0.0 | 265M| 183 | - | 295 | 12k| 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 1.440000e+02 | Large
238.61/238.70 c 231s|710000 |377944 | 0 | 0.0 | 270M| 183 | - | 295 | 12k| 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 1.440000e+02 | Large
242.01/242.07 c 234s|720000 |383831 | 0 | 0.0 | 275M| 183 | - | 295 | 12k| 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 1.440000e+02 | Large
245.70/245.73 c 238s|730000 |389570 | 0 | 0.0 | 279M| 183 | - | 295 | 13k| 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.440000e+02 | Large
248.70/248.79 c 241s|740000 |395982 | 0 | 0.0 | 284M| 183 | - | 295 | 12k| 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 1.440000e+02 | Large
252.30/252.37 c 244s|750000 |401764 | 0 | 0.0 | 289M| 183 | - | 295 | 13k| 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 1.440000e+02 | Large
255.50/255.58 c 247s|760000 |407931 | 0 | 0.0 | 294M| 183 | - | 295 | 13k| 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 1.440000e+02 | Large
259.10/259.19 c 251s|770000 |413573 | 0 | 0.0 | 298M| 183 | - | 295 | 13k| 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 1.440000e+02 | Large
262.40/262.46 c 254s|780000 |419719 | 0 | 0.0 | 303M| 183 | - | 295 | 13k| 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 1.440000e+02 | Large
266.11/266.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.11/266.15 c 258s|790000 |425244 | 0 | 0.0 | 308M| 183 | - | 295 | 13k| 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | 1.440000e+02 | Large
269.70/269.73 c 261s|800000 |431011 | 0 | 0.0 | 313M| 183 | - | 295 | 13k| 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 1.440000e+02 | Large
273.30/273.31 c 265s|810000 |436617 | 0 | 0.0 | 317M| 183 | - | 295 | 13k| 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 1.440000e+02 | Large
276.90/276.92 c 268s|820000 |442428 | 0 | 0.0 | 322M| 183 | - | 295 | 13k| 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 1.440000e+02 | Large
280.51/280.53 c 272s|830000 |447954 | 0 | 0.0 | 327M| 183 | - | 295 | 13k| 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 1.440000e+02 | Large
284.10/284.10 c 275s|840000 |453875 | 0 | 0.0 | 331M| 183 | - | 295 | 12k| 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | 1.440000e+02 | Large
287.60/287.61 c 278s|850000 |459418 | 0 | 0.0 | 336M| 183 | - | 295 | 13k| 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 1.440000e+02 | Large
291.30/291.32 c 282s|860000 |465094 | 0 | 0.0 | 341M| 183 | - | 295 | 12k| 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 1.440000e+02 | Large
295.00/295.01 c 286s|870000 |470277 | 0 | 0.0 | 345M| 183 | - | 295 | 12k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 1.440000e+02 | Large
298.70/298.73 c 289s|880000 |475766 | 0 | 0.0 | 350M| 183 | - | 295 | 11k| 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 1.440000e+02 | Large
302.41/302.48 c 293s|890000 |480908 | 0 | 0.0 | 355M| 183 | - | 295 | 12k| 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 1.440000e+02 | Large
306.21/306.20 c 296s|900000 |486216 | 0 | 0.0 | 359M| 183 | - | 295 | 11k| 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | 1.440000e+02 | Large
310.21/310.21 c 300s|910000 |491092 | 0 | 0.0 | 364M| 183 | - | 295 | 11k| 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 1.440000e+02 | Large
313.60/313.69 c 304s|920000 |496646 | 0 | 0.0 | 368M| 183 | - | 295 | 11k| 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 1.440000e+02 | Large
317.61/317.61 c 308s|930000 |501643 | 0 | 0.0 | 373M| 183 | - | 295 | 11k| 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 1.440000e+02 | Large
321.30/321.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.30/321.30 c 311s|940000 |506888 | 0 | 0.0 | 378M| 183 | - | 295 | 11k| 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 1.440000e+02 | Large
322.41/322.40 o 106
322.41/322.40 c * 312s|943113 |501919 | 0 | 0.0 | 372M| 183 | - | 295 | 11k| 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 1.060000e+02 | Large
325.51/325.60 c 315s|950000 |504444 | 0 | 0.0 | 375M| 183 | - | 295 | 11k| 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.060000e+02 | Large
329.91/329.93 c 320s|960000 |509192 | 0 | 0.0 | 380M| 183 | - | 295 | 11k| 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 1.060000e+02 | Large
334.60/334.62 c 324s|970000 |512962 | 0 | 0.0 | 385M| 183 | - | 295 | 10k| 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 1.060000e+02 | Large
338.60/338.68 c 328s|980000 |517500 | 0 | 0.0 | 390M| 183 | - | 295 | 11k| 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 1.060000e+02 | Large
343.41/343.41 c 333s|990000 |521410 | 0 | 0.0 | 395M| 183 | - | 295 | 10k| 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 1.060000e+02 | Large
347.40/347.48 c 337s| 1000k|525788 | 0 | 0.0 | 400M| 183 | - | 295 | 11k| 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 1.060000e+02 | Large
352.02/352.06 c 341s| 1010k|529842 | 0 | 0.0 | 405M| 183 | - | 295 | 10k| 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 1.060000e+02 | Large
357.00/357.09 c 346s| 1020k|533441 | 0 | 0.0 | 410M| 183 | - | 295 | 11k| 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 1.060000e+02 | Large
361.81/361.85 c 351s| 1030k|537158 | 0 | 0.0 | 415M| 183 | - | 295 | 11k| 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 1.060000e+02 | Large
367.11/367.11 c 356s| 1040k|540401 | 0 | 0.0 | 421M| 183 | - | 295 | 11k| 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 1.060000e+02 | Large
372.21/372.26 c 361s| 1050k|543813 | 0 | 0.0 | 426M| 183 | - | 295 | 12k| 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 1.060000e+02 | Large
377.40/377.46 c 366s| 1060k|547582 | 0 | 0.0 | 431M| 183 | - | 295 | 12k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 1.060000e+02 | Large
382.81/382.86 c 371s| 1070k|550982 | 0 | 0.0 | 436M| 183 | - | 295 | 12k| 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 1.060000e+02 | Large
388.10/388.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.10/388.14 c 376s| 1080k|554459 | 0 | 0.0 | 441M| 183 | - | 295 | 12k| 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 1.060000e+02 | Large
393.50/393.58 c 382s| 1090k|558040 | 0 | 0.0 | 446M| 183 | - | 295 | 13k| 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 1.060000e+02 | Large
399.32/399.33 c 387s| 1100k|561186 | 0 | 0.0 | 451M| 183 | - | 295 | 13k| 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 1.060000e+02 | Large
405.21/405.24 c 393s| 1110k|564144 | 0 | 0.0 | 456M| 183 | - | 295 | 14k| 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 1.060000e+02 | Large
410.91/410.99 c 399s| 1120k|567737 | 0 | 0.0 | 461M| 183 | - | 295 | 14k| 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 1.060000e+02 | Large
417.31/417.34 c 405s| 1130k|570493 | 0 | 0.0 | 466M| 183 | - | 295 | 14k| 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 1.060000e+02 | Large
423.61/423.65 c 411s| 1140k|573443 | 0 | 0.0 | 470M| 183 | - | 295 | 15k| 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 1.060000e+02 | Large
430.12/430.11 c 417s| 1150k|576444 | 0 | 0.0 | 475M| 183 | - | 295 | 15k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 1.060000e+02 | Large
436.62/436.69 c 424s| 1160k|579557 | 0 | 0.0 | 480M| 183 | - | 295 | 15k| 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 1.060000e+02 | Large
443.51/443.59 c 431s| 1170k|582221 | 0 | 0.0 | 485M| 183 | - | 295 | 16k| 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 1.060000e+02 | Large
450.61/450.60 c 438s| 1180k|584875 | 0 | 0.0 | 489M| 183 | - | 295 | 16k| 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 1.060000e+02 | Large
457.21/457.26 c 444s| 1190k|587931 | 0 | 0.0 | 494M| 183 | - | 295 | 16k| 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 1.060000e+02 | Large
464.11/464.16 c 451s| 1200k|591136 | 0 | 0.0 | 498M| 183 | - | 295 | 17k| 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 1.060000e+02 | Large
471.51/471.58 c 458s| 1210k|593659 | 0 | 0.0 | 503M| 183 | - | 295 | 17k| 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 1.060000e+02 | Large
479.01/479.09 c 465s| 1220k|596153 | 0 | 0.0 | 507M| 183 | - | 295 | 17k| 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 1.060000e+02 | Large
486.81/486.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.81/486.82 c 473s| 1230k|598596 | 0 | 0.0 | 511M| 183 | - | 295 | 17k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 1.060000e+02 | Large
494.41/494.46 c 481s| 1240k|600942 | 0 | 0.0 | 515M| 183 | - | 295 | 18k| 0 | 0 | 0 | 791k| 0 | 1.000000e+00 | 1.060000e+02 | Large
502.51/502.58 c 489s| 1250k|603009 | 0 | 0.0 | 519M| 183 | - | 295 | 18k| 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 1.060000e+02 | Large
510.81/510.83 c 497s| 1260k|605004 | 0 | 0.0 | 523M| 183 | - | 295 | 18k| 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 1.060000e+02 | Large
519.11/519.15 c 505s| 1270k|607040 | 0 | 0.0 | 527M| 183 | - | 295 | 18k| 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 1.060000e+02 | Large
527.71/527.76 c 513s| 1280k|608776 | 0 | 0.0 | 531M| 183 | - | 295 | 18k| 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 1.060000e+02 | Large
536.91/536.90 c 522s| 1290k|609924 | 0 | 0.0 | 534M| 183 | - | 295 | 19k| 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 1.060000e+02 | Large
546.71/546.79 c 532s| 1300k|610785 | 0 | 0.0 | 537M| 183 | - | 295 | 20k| 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 1.060000e+02 | Large
557.31/557.31 c 542s| 1310k|611009 | 0 | 0.0 | 540M| 183 | - | 295 | 21k| 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 1.060000e+02 | Large
568.91/568.96 c 554s| 1320k|610729 | 0 | 0.0 | 542M| 183 | - | 295 | 22k| 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 1.060000e+02 | Large
581.42/581.41 c 566s| 1330k|610070 | 0 | 0.0 | 544M| 183 | - | 295 | 22k| 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 1.060000e+02 | Large
585.22/585.23 o 104
585.22/585.23 c * 570s| 1332k|609142 | 0 | 0.0 | 544M| 183 | - | 295 | 22k| 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 1.040000e+02 | Large
595.21/595.23 c 580s| 1340k|607874 | 0 | 0.0 | 544M| 183 | - | 295 | 22k| 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 1.040000e+02 | Large
605.22/605.29 c 590s| 1350k|609287 | 0 | 0.0 | 547M| 183 | - | 295 | 21k| 0 | 0 | 0 | 949k| 0 | 1.000000e+00 | 1.040000e+02 | Large
611.41/611.45 c 596s| 1360k|614180 | 0 | 0.0 | 548M| 183 | - | 295 | 10k| 0 | 0 | 0 | 957k| 0 | 1.000000e+00 | 1.040000e+02 | Large
615.51/615.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.51/615.53 c 600s| 1370k|618916 | 0 | 0.0 | 551M| 183 | - | 295 |5991 | 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 1.040000e+02 | Large
619.81/619.86 c 604s| 1380k|622417 | 0 | 0.0 | 556M| 183 | - | 295 |6940 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 1.040000e+02 | Large
623.82/623.81 c 608s| 1390k|626959 | 0 | 0.0 | 561M| 183 | - | 295 |8395 | 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 1.040000e+02 | Large
627.91/627.99 c 612s| 1400k|631501 | 0 | 0.0 | 565M| 183 | - | 295 |9421 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 1.040000e+02 | Large
632.21/632.26 c 616s| 1410k|636441 | 0 | 0.0 | 570M| 183 | - | 295 | 10k| 0 | 0 | 0 | 984k| 0 | 1.000000e+00 | 1.040000e+02 | Large
636.71/636.75 c 620s| 1420k|641090 | 0 | 0.0 | 575M| 183 | - | 295 | 11k| 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 1.040000e+02 | Large
641.41/641.47 c 625s| 1430k|645732 | 0 | 0.0 | 580M| 183 | - | 295 | 12k| 0 | 0 | 0 | 993k| 0 | 1.000000e+00 | 1.040000e+02 | Large
646.52/646.51 c 630s| 1440k|650177 | 0 | 0.0 | 585M| 183 | - | 295 | 13k| 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 1.040000e+02 | Large
651.91/651.95 c 635s| 1450k|654538 | 0 | 0.0 | 590M| 183 | - | 295 | 14k| 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 1.040000e+02 | Large
657.31/657.33 c 641s| 1460k|658831 | 0 | 0.0 | 594M| 183 | - | 295 | 15k| 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 1.040000e+02 | Large
663.22/663.26 c 646s| 1470k|662889 | 0 | 0.0 | 599M| 183 | - | 295 | 15k| 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 1.040000e+02 | Large
669.11/669.18 c 652s| 1480k|666826 | 0 | 0.0 | 604M| 183 | - | 295 | 16k| 0 | 0 | 0 |1019k| 0 | 1.000000e+00 | 1.040000e+02 | Large
675.42/675.48 c 658s| 1490k|670651 | 0 | 0.0 | 608M| 183 | - | 295 | 17k| 0 | 0 | 0 |1024k| 0 | 1.000000e+00 | 1.040000e+02 | Large
681.62/681.65 c 664s| 1500k|674864 | 0 | 0.0 | 613M| 183 | - | 295 | 18k| 0 | 0 | 0 |1030k| 0 | 1.000000e+00 | 1.040000e+02 | Large
688.52/688.55 c 671s| 1510k|678446 | 0 | 0.0 | 618M| 183 | - | 295 | 18k| 0 | 0 | 0 |1035k| 0 | 1.000000e+00 | 1.040000e+02 | Large
695.61/695.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.61/695.61 c 678s| 1520k|681966 | 0 | 0.0 | 622M| 183 | - | 295 | 19k| 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 1.040000e+02 | Large
702.32/702.37 c 685s| 1530k|686047 | 0 | 0.0 | 627M| 183 | - | 295 | 20k| 0 | 0 | 0 |1046k| 0 | 1.000000e+00 | 1.040000e+02 | Large
709.82/709.80 c 692s| 1540k|689568 | 0 | 0.0 | 632M| 183 | - | 295 | 21k| 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 1.040000e+02 | Large
716.72/716.70 c 699s| 1550k|693657 | 0 | 0.0 | 637M| 183 | - | 295 | 22k| 0 | 0 | 0 |1057k| 0 | 1.000000e+00 | 1.040000e+02 | Large
724.62/724.65 c 707s| 1560k|696896 | 0 | 0.0 | 641M| 183 | - | 295 | 21k| 0 | 0 | 0 |1063k| 0 | 1.000000e+00 | 1.040000e+02 | Large
731.42/731.46 c 713s| 1570k|700971 | 0 | 0.0 | 645M| 183 | - | 295 | 22k| 0 | 0 | 0 |1068k| 0 | 1.000000e+00 | 1.040000e+02 | Large
739.23/739.24 c 721s| 1580k|704393 | 0 | 0.0 | 650M| 183 | - | 295 | 22k| 0 | 0 | 0 |1074k| 0 | 1.000000e+00 | 1.040000e+02 | Large
748.22/748.23 c 730s| 1590k|707547 | 0 | 0.0 | 654M| 183 | - | 295 | 23k| 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 1.040000e+02 | Large
756.52/756.51 c 738s| 1600k|710988 | 0 | 0.0 | 659M| 183 | - | 295 | 23k| 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 1.040000e+02 | Large
765.83/765.81 c 747s| 1610k|713955 | 0 | 0.0 | 664M| 183 | - | 295 | 24k| 0 | 0 | 0 |1092k| 0 | 1.000000e+00 | 1.040000e+02 | Large
774.42/774.40 c 755s| 1620k|717521 | 0 | 0.0 | 668M| 183 | - | 295 | 24k| 0 | 0 | 0 |1098k| 0 | 1.000000e+00 | 1.040000e+02 | Large
783.92/783.91 c 764s| 1630k|720483 | 0 | 0.0 | 673M| 183 | - | 295 | 25k| 0 | 0 | 0 |1104k| 0 | 1.000000e+00 | 1.040000e+02 | Large
792.52/792.55 c 772s| 1640k|724049 | 0 | 0.0 | 678M| 183 | - | 295 | 25k| 0 | 0 | 0 |1109k| 0 | 1.000000e+00 | 1.040000e+02 | Large
802.22/802.21 c 782s| 1650k|726901 | 0 | 0.0 | 682M| 183 | - | 295 | 25k| 0 | 0 | 0 |1116k| 0 | 1.000000e+00 | 1.040000e+02 | Large
811.22/811.29 c 790s| 1660k|730171 | 0 | 0.0 | 687M| 183 | - | 295 | 26k| 0 | 0 | 0 |1122k| 0 | 1.000000e+00 | 1.040000e+02 | Large
821.22/821.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.22/821.23 c 800s| 1670k|733082 | 0 | 0.0 | 691M| 183 | - | 295 | 26k| 0 | 0 | 0 |1128k| 0 | 1.000000e+00 | 1.040000e+02 | Large
830.92/830.99 c 809s| 1680k|736218 | 0 | 0.0 | 696M| 183 | - | 295 | 27k| 0 | 0 | 0 |1134k| 0 | 1.000000e+00 | 1.040000e+02 | Large
840.32/840.36 o 95
840.32/840.36 c * 818s| 1688k|708773 | 0 | 0.0 | 663M| 183 | - | 295 | 27k| 0 | 0 | 0 |1139k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
842.12/842.13 c 820s| 1690k|709016 | 0 | 0.0 | 659M| 183 | - | 295 | 11k| 0 | 0 | 0 |1140k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
847.32/847.34 c 824s| 1700k|711038 | 0 | 0.0 | 662M| 183 | - | 295 |2990 | 0 | 0 | 0 |1146k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
851.52/851.54 c 828s| 1710k|713186 | 0 | 0.0 | 665M| 183 | - | 295 |1318 | 0 | 0 | 0 |1153k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
855.52/855.52 c 831s| 1720k|715424 | 0 | 0.0 | 670M| 183 | - | 295 |2332 | 0 | 0 | 0 |1159k| 0 | 1.000000e+00 | 9.500000e+01 |9400.00%
859.53/859.56 o 87
859.53/859.56 c * 835s| 1729k|704580 | 0 | 0.0 | 659M| 183 | - | 295 |3594 | 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
859.62/859.62 c 835s| 1730k|704633 | 0 | 0.0 | 659M| 183 | - | 295 |3669 | 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
863.62/863.67 c 839s| 1740k|706109 | 0 | 0.0 | 663M| 183 | - | 295 |1441 | 0 | 0 | 0 |1173k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
867.93/867.96 c 842s| 1750k|707060 | 0 | 0.0 | 667M| 183 | - | 295 |4693 | 0 | 0 | 0 |1181k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
873.23/873.27 c 847s| 1760k|708398 | 0 | 0.0 | 672M| 183 | - | 295 |6385 | 0 | 0 | 0 |1188k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
878.73/878.79 c 852s| 1770k|709159 | 0 | 0.0 | 676M| 183 | - | 295 |8337 | 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
885.12/885.11 c 858s| 1780k|710108 | 0 | 0.0 | 679M| 183 | - | 295 |7089 | 0 | 0 | 0 |1204k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
891.12/891.18 c 864s| 1790k|710925 | 0 | 0.0 | 683M| 183 | - | 295 |9235 | 0 | 0 | 0 |1211k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
898.02/898.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.02/898.04 c 870s| 1800k|711046 | 0 | 0.0 | 686M| 183 | - | 295 |9138 | 0 | 0 | 0 |1220k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
905.12/905.12 c 877s| 1810k|711839 | 0 | 0.0 | 691M| 183 | - | 295 |9813 | 0 | 0 | 0 |1228k| 0 | 1.000000e+00 | 8.700000e+01 |8600.00%
908.72/908.71 o 64
908.72/908.71 c * 880s| 1814k|624750 | 0 | 0.0 | 581M| 183 | - | 295 |9440 | 0 | 0 | 0 |1233k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
913.52/913.53 c 884s| 1820k|622298 | 0 | 0.0 | 583M| 183 | - | 295 |1966 | 0 | 0 | 0 |1240k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
921.02/921.05 c 891s| 1830k|616662 | 0 | 0.0 | 585M| 183 | - | 295 |4364 | 0 | 0 | 0 |1252k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
929.43/929.41 c 899s| 1840k|610776 | 0 | 0.0 | 585M| 183 | - | 295 |8364 | 0 | 0 | 0 |1264k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
939.12/939.14 c 908s| 1850k|604259 | 0 | 0.0 | 582M| 183 | - | 295 |5971 | 0 | 0 | 0 |1276k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
947.62/947.69 c 916s| 1860k|599139 | 0 | 0.0 | 581M| 183 | - | 295 |6352 | 0 | 0 | 0 |1290k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
956.42/956.40 c 924s| 1870k|594407 | 0 | 0.0 | 581M| 183 | - | 295 |8648 | 0 | 0 | 0 |1303k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
965.92/965.97 c 933s| 1880k|589314 | 0 | 0.0 | 580M| 183 | - | 295 |8757 | 0 | 0 | 0 |1317k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
976.42/976.41 c 943s| 1890k|584558 | 0 | 0.0 | 579M| 183 | - | 295 |9447 | 0 | 0 | 0 |1332k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
987.21/987.28 c 953s| 1900k|580123 | 0 | 0.0 | 578M| 183 | - | 295 | 11k| 0 | 0 | 0 |1347k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
998.82/998.81 c 964s| 1910k|575158 | 0 | 0.0 | 576M| 183 | - | 295 | 11k| 0 | 0 | 0 |1362k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1010.82/1010.87 c 976s| 1920k|570322 | 0 | 0.0 | 575M| 183 | - | 295 | 12k| 0 | 0 | 0 |1379k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1023.31/1023.33 c 988s| 1930k|565197 | 0 | 0.0 | 574M| 183 | - | 295 | 12k| 0 | 0 | 0 |1395k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1036.12/1036.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.12/1036.15 c 1000s| 1940k|559575 | 0 | 0.0 | 571M| 183 | - | 295 | 13k| 0 | 0 | 0 |1413k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1050.52/1050.56 c 1014s| 1950k|552826 | 0 | 0.0 | 567M| 183 | - | 295 | 12k| 0 | 0 | 0 |1432k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1064.52/1064.53 c 1027s| 1960k|545573 | 0 | 0.0 | 561M| 183 | - | 295 | 12k| 0 | 0 | 0 |1452k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1078.72/1078.79 c 1041s| 1970k|537707 | 0 | 0.0 | 552M| 183 | - | 295 | 13k| 0 | 0 | 0 |1474k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1090.22/1090.21 c 1052s| 1980k|531895 | 0 | 0.0 | 548M| 183 | - | 295 | 11k| 0 | 0 | 0 |1488k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1095.02/1095.05 c 1056s| 1990k|534831 | 0 | 0.0 | 549M| 183 | - | 295 |4331 | 0 | 0 | 0 |1498k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1098.92/1098.92 c 1060s| 2000k|538390 | 0 | 0.0 | 553M| 183 | - | 295 |6812 | 0 | 0 | 0 |1509k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1103.52/1103.57 c 1064s| 2010k|541497 | 0 | 0.0 | 555M| 183 | - | 295 |3405 | 0 | 0 | 0 |1520k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1108.82/1108.89 c 1069s| 2020k|539835 | 0 | 0.0 | 556M| 183 | - | 295 |8079 | 0 | 0 | 0 |1530k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1117.72/1117.70 c 1077s| 2030k|535218 | 0 | 0.0 | 555M| 183 | - | 295 |8237 | 0 | 0 | 0 |1540k| 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
1123.73/1123.71 o 57
1123.73/1123.71 c *1083s| 2035k|505074 | 0 | 0.0 | 525M| 183 | - | 295 | 10k| 0 | 0 | 0 |1545k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1127.82/1127.86 c 1086s| 2040k|502735 | 0 | 0.0 | 524M| 183 | - | 295 |3564 | 0 | 0 | 0 |1551k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1131.02/1131.01 o 44
1131.02/1131.01 c *1089s| 2043k|442647 | 0 | 0.0 | 460M| 183 | - | 295 |3193 | 0 | 0 | 0 |1555k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1139.63/1139.63 c 1097s| 2050k|433259 | 0 | 0.0 | 460M| 183 | - | 295 |7795 | 0 | 0 | 0 |1567k| 0 | 1.000000e+00 | 4.400000e+01 |4300.00%
1150.33/1150.35 o 35
1150.33/1150.35 c *1107s| 2057k|396148 | 0 | 0.0 | 416M| 183 | - | 295 |8821 | 0 | 0 | 0 |1580k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1155.52/1155.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.52/1155.56 c 1112s| 2060k|391001 | 0 | 0.0 | 415M| 183 | - | 295 |9062 | 0 | 0 | 0 |1587k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1176.73/1176.70 c 1132s| 2070k|369345 | 0 | 0.0 | 405M| 183 | - | 295 | 12k| 0 | 0 | 0 |1611k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1202.83/1202.89 c 1157s| 2080k|343905 | 0 | 0.0 | 390M| 183 | - | 295 | 14k| 0 | 0 | 0 |1637k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1228.63/1228.63 c 1182s| 2090k|317452 | 0 | 0.0 | 367M| 183 | - | 295 | 14k| 0 | 0 | 0 |1663k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1252.83/1252.82 c 1205s| 2100k|293986 | 0 | 0.0 | 340M| 183 | - | 295 | 14k| 0 | 0 | 0 |1689k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1276.62/1276.66 c 1228s| 2110k|275278 | 0 | 0.0 | 313M| 183 | - | 295 | 14k| 0 | 0 | 0 |1714k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1291.63/1291.65 c 1243s| 2120k|265473 | 0 | 0.0 | 298M| 183 | - | 295 |6584 | 0 | 0 | 0 |1733k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1297.23/1297.22 c 1248s| 2130k|267273 | 0 | 0.0 | 301M| 183 | - | 295 | 10k| 0 | 0 | 0 |1746k| 0 | 1.000000e+00 | 3.500000e+01 |3400.00%
1299.93/1299.95 o 15
1299.93/1299.95 c *1251s| 2133k|205574 | 0 | 0.0 | 241M| 183 | - | 295 | 11k| 0 | 0 | 0 |1751k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
1307.83/1307.82 c 1258s| 2140k|203060 | 0 | 0.0 | 242M| 183 | - | 295 | 13k| 0 | 0 | 0 |1765k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
1317.03/1317.03 c 1267s| 2150k|202371 | 0 | 0.0 | 240M| 183 | - | 295 |6822 | 0 | 0 | 0 |1780k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
1322.23/1322.22 c 1272s| 2160k|204695 | 0 | 0.0 | 245M| 183 | - | 295 | 11k| 0 | 0 | 0 |1791k| 0 | 1.000000e+00 | 1.500000e+01 |1400.00%
1331.23/1331.24 o 12
1331.23/1331.24 c *1280s| 2168k|172583 | 0 | 0.0 | 207M| 183 | - | 295 | 12k| 0 | 0 | 0 |1805k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1336.63/1336.66 c 1285s| 2170k|161898 | 0 | 0.0 | 186M| 183 | - | 295 | 15k| 0 | 0 | 0 |1812k| 0 | 1.000000e+00 | 1.200000e+01 |1100.00%
1357.93/1357.91 c 1306s| 2180k|152109 | 0 | 0.0 | 177M| 183 | - | 295 | 27k| 0 | 0 | 0 |1840k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
1378.83/1378.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.83/1378.85 c 1326s| 2190k|149875 | 0 | 0.0 | 175M| 183 | - | 295 | 26k| 0 | 0 | 0 |1858k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
1395.53/1395.56 c 1343s| 2200k|149561 | 0 | 0.0 | 177M| 183 | - | 295 | 28k| 0 | 0 | 0 |1875k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
1412.13/1412.18 c 1359s| 2210k|149430 | 0 | 0.0 | 180M| 183 | - | 295 | 37k| 0 | 0 | 0 |1892k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
1427.54/1427.58 c 1374s| 2220k|150429 | 0 | 0.0 | 172M| 183 | - | 295 | 17k| 0 | 0 | 0 |1903k| 0 | 3.000000e+00 | 1.200000e+01 | 300.00%
1441.34/1441.37 c 1387s| 2230k|145029 | 0 | 0.0 | 165M| 183 | - | 295 | 24k| 0 | 0 | 0 |1923k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1460.74/1460.76 c 1406s| 2240k|142526 | 0 | 0.0 | 168M| 183 | - | 295 | 36k| 0 | 0 | 0 |1943k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1477.04/1477.07 c 1422s| 2250k|145872 | 0 | 0.0 | 166M| 183 | - | 295 | 27k| 0 | 0 | 0 |1954k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1490.04/1490.05 c 1435s| 2260k|149092 | 0 | 0.0 | 170M| 183 | - | 295 | 27k| 0 | 0 | 0 |1966k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1505.04/1505.00 c 1449s| 2270k|151428 | 0 | 0.0 | 171M| 183 | - | 295 | 23k| 0 | 0 | 0 |1978k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1517.44/1517.42 c 1461s| 2280k|150184 | 0 | 0.0 | 168M| 183 | - | 295 | 13k| 0 | 0 | 0 |1991k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1539.33/1539.32 c 1482s| 2290k|131033 | 0 | 0.0 | 157M| 183 | - | 295 | 15k| 0 | 0 | 0 |2014k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1563.34/1563.34 c 1505s| 2300k|103872 | 0 | 0.0 | 135M| 183 | - | 295 | 10k| 0 | 0 | 0 |2039k| 0 | 4.000000e+00 | 1.200000e+01 | 200.00%
1574.14/1574.14 o 11
1574.14/1574.14 c *1516s| 2306k| 88604 | 0 | 0.0 | 119M| 183 | - | 295 | 10k| 0 | 0 | 0 |2053k| 0 | 4.000000e+00 | 1.100000e+01 | 175.00%
1578.55/1578.59 c 1520s| 2310k| 83776 | 0 | 0.0 | 113M| 183 | - | 295 |9965 | 0 | 0 | 0 |2059k| 0 | 4.000000e+00 | 1.100000e+01 | 175.00%
1590.74/1590.72 c 1532s| 2320k| 74996 | 0 | 0.0 | 105M| 183 | - | 295 | 10k| 0 | 0 | 0 |2077k| 0 | 4.000000e+00 | 1.100000e+01 | 175.00%
1602.94/1602.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.94/1602.98 c 1543s| 2330k| 66901 | 0 | 0.0 | 96M| 183 | - | 295 | 12k| 0 | 0 | 0 |2096k| 0 | 4.000000e+00 | 1.100000e+01 | 175.00%
1610.84/1610.89 c 1551s| 2340k| 67291 | 0 | 0.0 | 92M| 183 | - | 295 | 16k| 0 | 0 | 0 |2111k| 0 | 4.000000e+00 | 1.100000e+01 | 175.00%
1620.84/1620.84 c 1560s| 2350k| 70242 | 0 | 0.0 | 97M| 183 | - | 295 | 22k| 0 | 0 | 0 |2127k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1636.24/1636.20 c 1575s| 2360k| 71377 | 0 | 0.0 | 101M| 183 | - | 295 | 29k| 0 | 0 | 0 |2145k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1657.35/1657.37 c 1596s| 2370k| 70650 | 0 | 0.0 | 105M| 183 | - | 295 | 38k| 0 | 0 | 0 |2163k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1677.34/1677.36 c 1616s| 2380k| 73320 | 0 | 0.0 | 107M| 183 | - | 295 | 36k| 0 | 0 | 0 |2177k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1695.64/1695.60 c 1633s| 2390k| 75834 | 0 | 0.0 | 109M| 183 | - | 295 | 33k| 0 | 0 | 0 |2191k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1710.64/1710.69 c 1648s| 2400k| 80021 | 0 | 0.0 | 112M| 183 | - | 295 | 29k| 0 | 0 | 0 |2202k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1728.45/1728.47 c 1666s| 2410k| 79269 | 0 | 0.0 | 112M| 183 | - | 295 | 26k| 0 | 0 | 0 |2217k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1745.85/1745.83 c 1682s| 2420k| 75955 | 0 | 0.0 | 101M| 183 | - | 295 | 18k| 0 | 0 | 0 |2230k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1758.45/1758.45 c 1695s| 2430k| 74615 | 0 | 0.0 | 98M| 183 | - | 295 | 19k| 0 | 0 | 0 |2244k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1774.25/1774.24 c 1710s| 2440k| 69668 | 0 | 0.0 | 90M| 183 | - | 295 | 16k| 0 | 0 | 0 |2260k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1790.25/1790.22 c 1725s| 2450k| 62076 | 0 | 0.0 | 82M| 183 | - | 295 | 20k| 0 | 0 | 0 |2282k| 0 | 6.000000e+00 | 1.100000e+01 | 83.33%
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1735.02
1800.05/1800.00 c Solving Nodes : 2454287
1800.05/1800.00 c Primal Bound : +1.10000000000000e+01 (22 solutions)
1800.05/1800.00 c Dual Bound : +6.00000000000000e+00
1800.05/1800.00 c Gap : 83.33 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.05/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
1800.05/1800.00 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106
1800.05/1800.00 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.05/1800.00 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 -x56
1800.05/1800.00 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1800.05/1800.00 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.05/1800.00 v -x4 x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1735.02
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693869-1277896226.wbo
1800.05/1800.00 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.05/1800.00 c Constraints : 166 initial, 166 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693869-1277896226.wbo
1800.05/1800.00 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1800.05/1800.00 c Constraints : 159 initial, 41413 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 63 0 6 1 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 23 - - 46 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 63 0 7588032 0 1676232 25791 5125732 0 0 0
1800.05/1800.00 c knapsack : 1 0 7949099 0 1746313 141159 32621253 0 0 0
1800.05/1800.00 c setppc : 23 0 7806330 0 1746069 201192 3885925 0 0 0
1800.05/1800.00 c linear : 63 0 7606733 0 1746301 456042 7642256 0 0 0
1800.05/1800.00 c logicor : 9+ 0 3550909 0 1746253 184579 2698237 0 0 0
1800.05/1800.00 c bounddisjunction : 0+ 0 289928 0 0 2 19819 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1746322 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 10.43 0.00 6.55 0.00 3.88
1800.05/1800.00 c knapsack : 229.04 0.00 224.55 0.00 4.49
1800.05/1800.00 c setppc : 19.88 0.00 15.56 0.00 4.32
1800.05/1800.00 c linear : 82.63 0.00 81.71 0.00 0.92
1800.05/1800.00 c logicor : 635.21 0.00 633.27 0.00 1.94
1800.05/1800.00 c bounddisjunction : 0.74 0.00 0.74 0.00 0.00
1800.05/1800.00 c countsols : 0.24 0.00 0.00 0.00 0.24
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 1.05 2 0 0
1800.05/1800.00 c rootredcost : 0.88 0 0 0
1800.05/1800.00 c pseudoobj : 20.94 7994002 19254 4697090
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 31.30 1002227 1002052 4862180 21.2 218834 13.9 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.01 400 400 1425 16.3 60 14.7 -
1800.05/1800.00 c applied globally : - - - 2252546 16.3 - - -
1800.05/1800.00 c applied locally : - - - 40757 36.2 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 18.55 1746300 0 0 0 0 3492600
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 1.07 - 22
1800.05/1800.00 c oneopt : 0.52 0 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.34 0 0
1800.05/1800.00 c trysol : 0.30 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2454287
1800.05/1800.00 c nodes (total) : 2454287
1800.05/1800.00 c nodes left : 60025
1800.05/1800.00 c max depth : 183
1800.05/1800.00 c max depth (total): 183
1800.05/1800.00 c backtracks : 807805 (32.9%)
1800.05/1800.00 c delayed cutoffs : 639988
1800.05/1800.00 c repropagations : 3367050 (14899051 domain reductions, 320454 cutoffs)
1800.05/1800.00 c avg switch length: 25.73
1800.05/1800.00 c switching time : 527.01
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 22 (22 improvements)
1800.05/1800.00 c First Solution : +6.37000000000000e+02 (in run 1, after 18483 nodes, 3.10 seconds, depth 81, found by <relaxation>)
1800.05/1800.00 c Primal Bound : +1.10000000000000e+01 (in run 1, after 2306872 nodes, 1515.73 seconds, depth 41, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +6.00000000000000e+00
1800.05/1800.00 c Gap : 83.33 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.25/1800.28 c Time complete: 1800.33.
OK 11
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693869-1277896226/watcher-2693869-1277896226 -o /tmp/evaluation-result-2693869-1277896226/solver-2693869-1277896226 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693869-1277896226.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 10527 /proc/meminfo: memFree=30935992/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=8248 CPUtime=0 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 130768236 8445952 1469 4089446400 4194304 7136930 140736466259600 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10527/statm: 2062 1469 275 719 0 1341 0 [startup+0.0323419 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10527 /proc/meminfo: memFree=30935992/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=12340 CPUtime=0.02 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 4857 0 0 0 2 0 0 0 25 0 1 0 130768236 12636160 2370 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 3085 2370 400 719 0 2364 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12340 [startup+0.100331 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10527 /proc/meminfo: memFree=30935992/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=13000 CPUtime=0.09 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 5035 0 0 0 8 1 0 0 25 0 1 0 130768236 13312000 2548 4089446400 4194304 7136930 140736466259600 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 3250 2548 404 719 0 2529 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13000 [startup+0.300292 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10527 /proc/meminfo: memFree=30935992/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=14168 CPUtime=0.29 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 5333 0 0 0 27 2 0 0 25 0 1 0 130768236 14508032 2846 4089446400 4194304 7136930 140736466259600 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 3542 2846 404 719 0 2821 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14168 [startup+0.700299 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10527 /proc/meminfo: memFree=30935992/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=16708 CPUtime=0.69 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 5974 0 0 0 63 6 0 0 25 0 1 0 130768236 17108992 3487 4089446400 4194304 7136930 140736466259600 18446744073709551615 4660933 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 4177 3487 404 719 0 3456 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16708 [startup+1.50114 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10528 /proc/meminfo: memFree=30921848/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=20432 CPUtime=1.49 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 6901 0 0 0 141 8 0 0 25 0 1 0 130768236 20922368 4414 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 5108 4414 404 719 0 4387 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20432 [startup+3.10082 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10528 /proc/meminfo: memFree=30917760/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=24880 CPUtime=3.09 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 8028 0 0 0 293 16 0 0 25 0 1 0 130768236 25477120 5541 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 6220 5541 404 719 0 5499 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24880 [startup+6.30021 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10529 /proc/meminfo: memFree=30908956/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=32728 CPUtime=6.29 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 10029 0 0 0 598 31 0 0 25 0 1 0 130768236 33513472 7542 4089446400 4194304 7136930 140736466259600 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 8182 7542 404 719 0 7461 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32728 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10529 /proc/meminfo: memFree=30899840/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=41252 CPUtime=12.69 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 12159 0 0 0 1221 48 0 0 25 0 1 0 130768236 42242048 9672 4089446400 4194304 7136930 140736466259600 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 10313 9672 404 719 0 9592 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41252 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10529 /proc/meminfo: memFree=30878304/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=63060 CPUtime=25.49 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 17747 0 0 0 2447 102 0 0 25 0 1 0 130768236 64573440 15260 4089446400 4194304 7136930 140736466259600 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 15765 15260 405 719 0 15044 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63060 [startup+51.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10530 /proc/meminfo: memFree=30850460/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=91964 CPUtime=51.09 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 24500 0 0 0 4940 169 0 0 25 0 1 0 130768236 94171136 22013 4089446400 4194304 7136930 140736466259600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 22991 22013 405 719 0 22270 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 91964 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10531 /proc/meminfo: memFree=30791016/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=150452 CPUtime=102.3 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 39190 0 0 0 9919 311 0 0 25 0 1 0 130768236 154062848 36703 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 37613 36703 407 719 0 36892 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 150452 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10533 /proc/meminfo: memFree=30676136/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=268356 CPUtime=162.3 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 67937 0 0 0 15685 545 0 0 25 0 1 0 130768236 274796544 65450 4089446400 4194304 7136930 140736466259600 18446744073709551615 5507175 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 67089 65450 407 719 0 66368 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 268356 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10534 /proc/meminfo: memFree=30623884/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=319248 CPUtime=222.3 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 80799 0 0 0 21516 714 0 0 25 0 1 0 130768236 326909952 78312 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 79812 78312 407 719 0 79091 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 319248 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10536 /proc/meminfo: memFree=30541616/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=401576 CPUtime=282.3 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 101380 0 0 0 27327 903 0 0 25 0 1 0 130768236 411213824 98893 4089446400 4194304 7136930 140736466259600 18446744073709551615 5956317 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 100394 98893 407 719 0 99673 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 401576 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10537 /proc/meminfo: memFree=30463072/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=486356 CPUtime=342.31 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 120696 0 0 0 33158 1073 0 0 25 0 1 0 130768236 498028544 118209 4089446400 4194304 7136930 140736466259600 18446744073709551615 4978178 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 121589 118209 407 719 0 120868 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 486356 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10539 /proc/meminfo: memFree=30391216/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=558024 CPUtime=402.31 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 138481 0 0 0 39011 1220 0 0 25 0 1 0 130768236 571416576 135994 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 139506 135994 407 719 0 138785 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 558024 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10541 /proc/meminfo: memFree=30353460/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=595656 CPUtime=462.31 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 147593 0 0 0 44898 1333 0 0 25 0 1 0 130768236 609951744 145106 4089446400 4194304 7136930 140736466259600 18446744073709551615 4219844 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 148914 145106 407 719 0 148193 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 595656 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10542 /proc/meminfo: memFree=30329236/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=620452 CPUtime=522.31 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 153791 0 0 0 50799 1432 0 0 25 0 1 0 130768236 635342848 151304 4089446400 4194304 7136930 140736466259600 18446744073709551615 5958119 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 155113 151304 407 719 0 154392 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 620452 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10544 /proc/meminfo: memFree=30305764/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=642328 CPUtime=582.31 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 159252 0 0 0 56710 1521 0 0 25 0 1 0 130768236 657743872 156765 4089446400 4194304 7136930 140736466259600 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 160582 156765 407 719 0 159861 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 642328 [startup+642.3 s] /proc/loadavg: 1.96 1.98 1.99 3/179 10573 /proc/meminfo: memFree=31179928/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=683428 CPUtime=642.32 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 169767 0 0 0 62590 1642 0 0 25 0 1 0 130768236 699830272 167280 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10527/statm: 170857 167280 407 719 0 170136 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 683428 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 10778 /proc/meminfo: memFree=30942448/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=812196 CPUtime=882.32 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 201532 0 0 0 85560 2672 0 0 25 0 1 0 130768236 831688704 199045 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10527/statm: 203049 199045 407 719 0 202328 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 812196 [startup+942.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10779 /proc/meminfo: memFree=30906560/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=823188 CPUtime=942.32 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204372 0 0 0 91100 3132 0 0 25 0 1 0 130768236 842944512 201820 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10527/statm: 205797 201820 407 719 0 205076 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 823188 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 10781 /proc/meminfo: memFree=30845736/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=823188 CPUtime=1002.32 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204372 0 0 0 96774 3458 0 0 25 0 1 0 130768236 842944512 201820 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10527/statm: 205797 201820 407 719 0 205076 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 823188 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10783 /proc/meminfo: memFree=30827832/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=823188 CPUtime=1062.32 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204372 0 0 0 102508 3724 0 0 25 0 1 0 130768236 842944512 201820 4089446400 4194304 7136930 140736466259600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 205797 201820 407 719 0 205076 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 823188 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10784 /proc/meminfo: memFree=30751752/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=823344 CPUtime=1122.32 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204411 0 0 0 108126 4106 0 0 25 0 1 0 130768236 843104256 201859 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 205836 201859 407 719 0 205115 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 823344 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10786 /proc/meminfo: memFree=30688344/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=823344 CPUtime=1182.33 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204411 0 0 0 113771 4462 0 0 25 0 1 0 130768236 843104256 201859 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 205836 201859 407 719 0 205115 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 823344 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10787 /proc/meminfo: memFree=30656796/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=823344 CPUtime=1242.32 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204411 0 0 0 119531 4701 0 0 25 0 1 0 130768236 843104256 201859 4089446400 4194304 7136930 140736466259600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 205836 201859 407 719 0 205115 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 823344 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 10789 /proc/meminfo: memFree=30618804/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=823344 CPUtime=1302.33 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204426 0 0 0 125281 4952 0 0 25 0 1 0 130768236 843104256 201874 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 205836 201874 407 719 0 205115 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 823344 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10791 /proc/meminfo: memFree=30574968/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=824684 CPUtime=1362.33 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204670 0 0 0 131030 5203 0 0 25 0 1 0 130768236 844476416 202118 4089446400 4194304 7136930 140736466259600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206171 202118 407 719 0 205450 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 824684 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10792 /proc/meminfo: memFree=30563896/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=825544 CPUtime=1422.33 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204904 0 0 0 136883 5350 0 0 25 0 1 0 130768236 845357056 202352 4089446400 4194304 7136930 140736466259600 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206386 202352 407 719 0 205665 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 825544 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10794 /proc/meminfo: memFree=30562844/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=826028 CPUtime=1482.34 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204959 0 0 0 142716 5518 0 0 25 0 1 0 130768236 845852672 202407 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206507 202407 407 719 0 205786 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 826028 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10795 /proc/meminfo: memFree=30561072/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=826028 CPUtime=1542.33 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204960 0 0 0 148524 5709 0 0 25 0 1 0 130768236 845852672 202408 4089446400 4194304 7136930 140736466259600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206507 202408 407 719 0 205786 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 826028 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10797 /proc/meminfo: memFree=30557816/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=825004 CPUtime=1602.34 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 204960 0 0 0 154255 5979 0 0 25 0 1 0 130768236 844804096 202152 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206251 202152 407 719 0 205530 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 825004 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10799 /proc/meminfo: memFree=30557888/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=825700 CPUtime=1662.34 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 205105 0 0 0 160080 6154 0 0 25 0 1 0 130768236 845516800 202297 4089446400 4194304 7136930 140736466259600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206425 202297 407 719 0 205704 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 825700 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10800 /proc/meminfo: memFree=30557484/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=826252 CPUtime=1722.35 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 205249 0 0 0 165953 6282 0 0 25 0 1 0 130768236 846082048 202441 4089446400 4194304 7136930 140736466259600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206563 202441 407 719 0 205842 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 826252 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 10802 /proc/meminfo: memFree=30557312/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=826252 CPUtime=1782.35 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 205249 0 0 0 171771 6464 0 0 25 0 1 0 130768236 846082048 202441 4089446400 4194304 7136930 140736466259600 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206563 202441 407 719 0 205842 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 826252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.01 2.00 3/179 10802 /proc/meminfo: memFree=30557304/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=826252 CPUtime=1800.05 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 205249 0 0 0 173501 6504 0 0 25 0 1 0 130768236 846082048 202441 4089446400 4194304 7136930 140736466259600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/10527/statm: 206563 202441 407 719 0 205842 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 826252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.02 2.01 2.00 3/179 10802 /proc/meminfo: memFree=30557304/32950928 swapFree=67111528/67111528 [pid=10527] ppid=10525 vsize=822200 CPUtime=1800.25 /proc/10527/stat : 10527 (pbscip.linux.x8) R 10525 10527 8890 0 -1 4202496 205254 0 0 0 173521 6504 0 0 18 0 1 0 130768236 841932800 201434 4089446400 4194304 7136930 140736466259600 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/10527/statm: 205550 201434 412 719 0 204829 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 822200 Child status: 0 Real time (s): 1800.29 CPU time (s): 1800.34 CPU user time (s): 1735.27 CPU system time (s): 65.0761 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 826252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1735.27 system time used= 65.0761 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205261 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= 4 involuntary context switches= 5991 runsolver used 3.19551 second user time and 6.42202 second system time The end
Begin job on node127 at 2010-06-30 13:10:26 IDJOB=2693869 IDBENCH=78775 IDSOLVER=1206 FILE ID=node127/2693869-1277896226 PBS_JOBID= 11197099 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227861--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-2693869-1277896226/watcher-2693869-1277896226 -o /tmp/evaluation-result-2693869-1277896226/solver-2693869-1277896226 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693869-1277896226.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4d45122e251aca3cc1eaa7c8fe64e1aa RANDOM SEED=1051026836 node127.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.828 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.65 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.828 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.75 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.828 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.828 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.72 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.828 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.74 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.828 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.828 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.82 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30936520 kB Buffers: 180572 kB Cached: 713632 kB SwapCached: 0 kB Active: 1386348 kB Inactive: 486540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30936520 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3212 kB Writeback: 0 kB AnonPages: 978528 kB Mapped: 16132 kB Slab: 76436 kB PageTables: 6640 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1144904 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= 74200 MiB End job on node127 at 2010-06-30 13:40:28