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.27 | 1800.24 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo |
| MD5SUM | 9ffea189547a7afa9054418ab91a7dbf |
| 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 | 15 |
| Best CPU time to get the best result obtained on this benchmark | 0.047992 |
| 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 | 1314 |
| 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-2693981-1277898975.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.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.59/1.67 c 1.4s| 10000 | 6505 | 0 | 0.0 |7135k| 183 | - | 295 |4542 | 0 | 0 | 0 |9952 | 0 | 0.000000e+00 | -- | Inf
3.39/3.45 c 2.9s| 20000 | 13103 | 0 | 0.0 | 10M| 183 | - | 295 |2998 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
6.69/6.78 c 5.9s| 30000 | 16610 | 0 | 0.0 | 16M| 183 | - | 295 |8578 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
11.79/11.85 c 10.6s| 40000 | 17555 | 0 | 0.0 | 21M| 183 | - | 295 | 12k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
12.29/12.32 o 579
12.29/12.32 c *11.0s| 42414 | 19452 | 0 | 0.0 | 20M| 183 | - | 295 |7508 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 5.790000e+02 | Inf
12.40/12.41 o 531
12.40/12.41 c *11.1s| 43150 | 20114 | 0 | 0.0 | 19M| 183 | - | 295 |4184 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 5.310000e+02 | Inf
12.40/12.42 o 491
12.40/12.42 c *11.1s| 43249 | 20201 | 0 | 0.0 | 19M| 183 | - | 295 |3951 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 4.910000e+02 | Inf
12.60/12.61 o 409
12.60/12.61 c *11.2s| 45053 | 21754 | 0 | 0.0 | 19M| 183 | - | 295 |1409 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 4.090000e+02 | Inf
12.60/12.61 o 372
12.60/12.61 c *11.2s| 45054 | 21753 | 0 | 0.0 | 19M| 183 | - | 295 |1409 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 3.720000e+02 | Inf
13.00/13.10 c 11.6s| 50000 | 25985 | 0 | 0.0 | 21M| 183 | - | 295 |1501 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 3.720000e+02 | Inf
14.09/14.15 c 12.4s| 60000 | 34414 | 0 | 0.0 | 24M| 183 | - | 295 |1683 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.720000e+02 | Inf
14.09/14.20 o 333
14.09/14.20 c *12.4s| 60399 | 34733 | 0 | 0.0 | 25M| 183 | - | 295 |1723 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
15.30/15.31 c 13.2s| 70000 | 42468 | 0 | 0.0 | 28M| 183 | - | 295 |1415 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
16.40/16.48 c 14.1s| 80000 | 50477 | 0 | 0.0 | 32M| 183 | - | 295 |1646 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 3.330000e+02 | Inf
17.60/17.63 o 253
17.60/17.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.60/17.63 c *15.0s| 89131 | 57547 | 0 | 0.0 | 36M| 183 | - | 295 |2361 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
17.69/17.75 c 15.1s| 90000 | 58208 | 0 | 0.0 | 36M| 183 | - | 295 |2409 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
19.09/19.14 c 16.2s|100000 | 65731 | 0 | 0.0 | 40M| 183 | - | 295 |2815 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
20.80/20.89 c 17.6s|110000 | 72465 | 0 | 0.0 | 44M| 183 | - | 295 |3664 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
24.80/24.82 c 21.2s|120000 | 74578 | 0 | 0.0 | 49M| 183 | - | 295 |9136 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
32.40/32.42 c 28.4s|130000 | 72406 | 0 | 0.0 | 52M| 183 | - | 295 | 17k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
38.29/38.38 c 34.0s|140000 | 74691 | 0 | 0.0 | 47M| 183 | - | 295 |1035 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
39.60/39.68 c 35.0s|150000 | 82373 | 0 | 0.0 | 51M| 183 | - | 295 |1601 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
40.99/41.05 c 36.1s|160000 | 89982 | 0 | 0.0 | 55M| 183 | - | 295 |1990 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
41.80/41.84 o 240
41.80/41.84 c *36.7s|165577 | 94140 | 0 | 0.0 | 58M| 183 | - | 295 |2197 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 2.400000e+02 | Inf
42.49/42.51 c 37.2s|170000 | 97367 | 0 | 0.0 | 60M| 183 | - | 295 |2393 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 2.400000e+02 | Inf
44.00/44.04 c 38.5s|180000 |104695 | 0 | 0.0 | 64M| 183 | - | 295 |2727 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 2.400000e+02 | Inf
45.49/45.59 c 39.8s|190000 |112051 | 0 | 0.0 | 68M| 183 | - | 295 |2962 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.400000e+02 | Inf
47.09/47.12 c 41.0s|200000 |119449 | 0 | 0.0 | 72M| 183 | - | 295 |3263 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 2.400000e+02 | Inf
47.79/47.85 o 179
47.79/47.85 c *41.6s|204568 |122487 | 0 | 0.0 | 73M| 183 | - | 295 |3357 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
48.69/48.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.69/48.72 c 42.3s|210000 |126410 | 0 | 0.0 | 76M| 183 | - | 295 |3490 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
50.19/50.29 c 43.5s|220000 |133836 | 0 | 0.0 | 80M| 183 | - | 295 |3312 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
50.69/50.76 o 133
50.69/50.76 c *43.9s|222777 |134328 | 0 | 0.0 | 80M| 183 | - | 295 |3412 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
51.89/51.99 c 45.0s|230000 |139454 | 0 | 0.0 | 83M| 183 | - | 295 |3483 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
53.59/53.65 c 46.3s|240000 |146570 | 0 | 0.0 | 87M| 183 | - | 295 |2968 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
55.19/55.28 c 47.6s|250000 |153662 | 0 | 0.0 | 92M| 183 | - | 295 |2823 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
56.89/56.93 c 49.0s|260000 |160653 | 0 | 0.0 | 96M| 183 | - | 295 |2457 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
58.49/58.59 c 50.3s|270000 |167507 | 0 | 0.0 | 101M| 183 | - | 295 |2447 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
60.29/60.39 c 51.9s|280000 |174043 | 0 | 0.0 | 105M| 183 | - | 295 |2220 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
62.09/62.16 c 53.3s|290000 |180559 | 0 | 0.0 | 110M| 183 | - | 295 |2176 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
63.89/63.95 c 54.8s|300000 |187041 | 0 | 0.0 | 114M| 183 | - | 295 |2486 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
65.69/65.76 c 56.4s|310000 |193553 | 0 | 0.0 | 119M| 183 | - | 295 |2325 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
67.70/67.71 c 58.0s|320000 |199641 | 0 | 0.0 | 123M| 183 | - | 295 |2749 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
69.49/69.59 c 59.6s|330000 |206029 | 0 | 0.0 | 127M| 183 | - | 295 |2849 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
71.50/71.52 c 61.2s|340000 |212277 | 0 | 0.0 | 132M| 183 | - | 295 |2950 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
73.49/73.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.49/73.52 c 62.9s|350000 |218375 | 0 | 0.0 | 136M| 183 | - | 295 |3386 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
75.49/75.58 c 64.6s|360000 |224439 | 0 | 0.0 | 141M| 183 | - | 295 |3571 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
77.69/77.75 c 66.5s|370000 |230228 | 0 | 0.0 | 145M| 183 | - | 295 |3818 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
79.89/79.94 c 68.3s|380000 |236064 | 0 | 0.0 | 149M| 183 | - | 295 |4324 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
82.19/82.21 c 70.2s|390000 |241892 | 0 | 0.0 | 153M| 183 | - | 295 |4350 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
84.70/84.75 c 72.5s|400000 |247115 | 0 | 0.0 | 157M| 183 | - | 295 |4778 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
87.49/87.58 c 74.9s|410000 |251839 | 0 | 0.0 | 162M| 183 | - | 295 |5279 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
90.49/90.50 c 77.5s|420000 |256502 | 0 | 0.0 | 166M| 183 | - | 295 |5441 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
93.49/93.58 c 80.3s|430000 |260915 | 0 | 0.0 | 170M| 183 | - | 295 |5762 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
96.99/97.07 c 83.4s|440000 |264516 | 0 | 0.0 | 173M| 183 | - | 295 |6312 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
100.79/100.87 c 86.8s|450000 |267685 | 0 | 0.0 | 177M| 183 | - | 295 |7000 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
104.80/104.89 c 90.5s|460000 |270641 | 0 | 0.0 | 181M| 183 | - | 295 |8451 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
109.70/109.75 c 95.0s|470000 |272379 | 0 | 0.0 | 184M| 183 | - | 295 | 11k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
114.20/114.21 c 99.1s|480000 |274514 | 0 | 0.0 | 180M| 183 | - | 295 |2426 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
115.70/115.77 c 100s|490000 |281587 | 0 | 0.0 | 184M| 183 | - | 295 |1745 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
117.40/117.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.40/117.48 c 102s|500000 |288314 | 0 | 0.0 | 188M| 183 | - | 295 |2162 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
119.19/119.21 c 103s|510000 |295058 | 0 | 0.0 | 192M| 183 | - | 295 |2538 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 1.330000e+02 | Large
120.90/120.97 c 105s|520000 |301864 | 0 | 0.0 | 197M| 183 | - | 295 |2607 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 1.330000e+02 | Large
122.79/122.87 c 106s|530000 |308293 | 0 | 0.0 | 202M| 183 | - | 295 |2951 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 1.330000e+02 | Large
124.70/124.79 c 108s|540000 |314799 | 0 | 0.0 | 206M| 183 | - | 295 |2963 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 1.330000e+02 | Large
126.69/126.75 c 109s|550000 |321187 | 0 | 0.0 | 211M| 183 | - | 295 |3148 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 1.330000e+02 | Large
128.69/128.70 c 111s|560000 |327627 | 0 | 0.0 | 216M| 183 | - | 295 |3416 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 1.330000e+02 | Large
130.70/130.75 c 113s|570000 |333841 | 0 | 0.0 | 220M| 183 | - | 295 |3608 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 1.330000e+02 | Large
132.79/132.85 c 115s|580000 |339994 | 0 | 0.0 | 225M| 183 | - | 295 |3864 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 1.330000e+02 | Large
134.99/135.04 c 116s|590000 |346047 | 0 | 0.0 | 230M| 183 | - | 295 |3920 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 1.330000e+02 | Large
137.09/137.14 c 118s|600000 |352246 | 0 | 0.0 | 234M| 183 | - | 295 |3884 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 1.330000e+02 | Large
139.19/139.27 c 120s|610000 |358385 | 0 | 0.0 | 239M| 183 | - | 295 |4189 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 1.330000e+02 | Large
141.30/141.36 c 122s|620000 |364571 | 0 | 0.0 | 243M| 183 | - | 295 |4780 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | 1.330000e+02 | Large
143.69/143.71 c 124s|630000 |370329 | 0 | 0.0 | 248M| 183 | - | 295 |4729 | 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | 1.330000e+02 | Large
145.99/146.00 c 126s|640000 |376160 | 0 | 0.0 | 253M| 183 | - | 295 |4674 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 1.330000e+02 | Large
148.19/148.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.19/148.28 c 128s|650000 |382052 | 0 | 0.0 | 257M| 183 | - | 295 |4639 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 1.330000e+02 | Large
148.40/148.46 o 123
148.40/148.46 c * 128s|650794 |380871 | 0 | 0.0 | 255M| 183 | - | 295 |4643 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 1.230000e+02 | Large
150.49/150.57 c 130s|660000 |386290 | 0 | 0.0 | 260M| 183 | - | 295 |5169 | 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 1.230000e+02 | Large
152.99/153.00 c 132s|670000 |391904 | 0 | 0.0 | 264M| 183 | - | 295 |5035 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 1.230000e+02 | Large
155.39/155.45 c 134s|680000 |397512 | 0 | 0.0 | 269M| 183 | - | 295 |4878 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | 1.230000e+02 | Large
157.69/157.73 c 136s|690000 |403398 | 0 | 0.0 | 274M| 183 | - | 295 |4924 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 1.230000e+02 | Large
160.09/160.13 c 138s|700000 |409000 | 0 | 0.0 | 279M| 183 | - | 295 |4757 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 1.230000e+02 | Large
162.40/162.43 c 140s|710000 |414813 | 0 | 0.0 | 284M| 183 | - | 295 |4511 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 1.230000e+02 | Large
164.79/164.90 c 142s|720000 |420120 | 0 | 0.0 | 288M| 183 | - | 295 |4525 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 1.230000e+02 | Large
167.20/167.26 c 144s|730000 |425609 | 0 | 0.0 | 293M| 183 | - | 295 |4398 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 1.230000e+02 | Large
169.49/169.56 c 146s|740000 |431196 | 0 | 0.0 | 297M| 183 | - | 295 |3945 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 1.230000e+02 | Large
171.99/172.00 c 148s|750000 |436397 | 0 | 0.0 | 302M| 183 | - | 295 |4237 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 1.230000e+02 | Large
174.39/174.45 c 150s|760000 |441500 | 0 | 0.0 | 307M| 183 | - | 295 |4227 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 1.230000e+02 | Large
176.79/176.88 c 153s|770000 |446774 | 0 | 0.0 | 311M| 183 | - | 295 |3938 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 1.230000e+02 | Large
177.79/177.81 o 109
177.79/177.81 c * 153s|773514 |445966 | 0 | 0.0 | 311M| 183 | - | 295 |4128 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 1.090000e+02 | Large
179.49/179.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.49/179.50 c 155s|780000 |449127 | 0 | 0.0 | 314M| 183 | - | 295 |3902 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 1.090000e+02 | Large
181.99/182.08 c 157s|790000 |453886 | 0 | 0.0 | 318M| 183 | - | 295 |3970 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 1.090000e+02 | Large
184.59/184.69 c 159s|800000 |458571 | 0 | 0.0 | 323M| 183 | - | 295 |3893 | 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | 1.090000e+02 | Large
187.30/187.34 c 162s|810000 |463184 | 0 | 0.0 | 328M| 183 | - | 295 |3818 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 1.090000e+02 | Large
188.49/188.58 o 104
188.49/188.58 c * 163s|814789 |464340 | 0 | 0.0 | 329M| 183 | - | 295 |4090 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 1.040000e+02 | Large
189.90/189.97 c 164s|820000 |466772 | 0 | 0.0 | 331M| 183 | - | 295 |4209 | 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 1.040000e+02 | Large
192.59/192.63 c 166s|830000 |471311 | 0 | 0.0 | 336M| 183 | - | 295 |4230 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | 1.040000e+02 | Large
195.40/195.40 c 169s|840000 |475724 | 0 | 0.0 | 341M| 183 | - | 295 |3975 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 1.040000e+02 | Large
198.20/198.25 c 171s|850000 |479955 | 0 | 0.0 | 345M| 183 | - | 295 |3826 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 1.040000e+02 | Large
201.09/201.12 c 174s|860000 |484053 | 0 | 0.0 | 350M| 183 | - | 295 |4260 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 1.040000e+02 | Large
203.80/203.83 c 176s|870000 |488573 | 0 | 0.0 | 355M| 183 | - | 295 |4539 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | 1.040000e+02 | Large
206.59/206.66 c 179s|880000 |492935 | 0 | 0.0 | 359M| 183 | - | 295 |4144 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 1.040000e+02 | Large
209.59/209.64 c 181s|890000 |496874 | 0 | 0.0 | 364M| 183 | - | 295 |4393 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.040000e+02 | Large
212.59/212.64 c 184s|900000 |500791 | 0 | 0.0 | 369M| 183 | - | 295 |4788 | 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 1.040000e+02 | Large
215.50/215.57 c 187s|910000 |505132 | 0 | 0.0 | 373M| 183 | - | 295 |4928 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 1.040000e+02 | Large
218.60/218.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.60/218.69 c 189s|920000 |509084 | 0 | 0.0 | 378M| 183 | - | 295 |4634 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 1.040000e+02 | Large
221.79/221.82 c 192s|930000 |512969 | 0 | 0.0 | 383M| 183 | - | 295 |4963 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 1.040000e+02 | Large
224.89/224.96 c 195s|940000 |516855 | 0 | 0.0 | 387M| 183 | - | 295 |5347 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 1.040000e+02 | Large
228.09/228.13 c 198s|950000 |520757 | 0 | 0.0 | 392M| 183 | - | 295 |5569 | 0 | 0 | 0 | 509k| 0 | 1.000000e+00 | 1.040000e+02 | Large
231.40/231.49 c 201s|960000 |524346 | 0 | 0.0 | 396M| 183 | - | 295 |5272 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 1.040000e+02 | Large
234.90/234.97 c 204s|970000 |527797 | 0 | 0.0 | 401M| 183 | - | 295 |5521 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 1.040000e+02 | Large
238.40/238.43 c 207s|980000 |531361 | 0 | 0.0 | 405M| 183 | - | 295 |5997 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 1.040000e+02 | Large
242.00/242.02 c 210s|990000 |534770 | 0 | 0.0 | 410M| 183 | - | 295 |6679 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 1.040000e+02 | Large
245.79/245.80 c 214s| 1000k|537958 | 0 | 0.0 | 414M| 183 | - | 295 |7241 | 0 | 0 | 0 | 546k| 0 | 1.000000e+00 | 1.040000e+02 | Large
249.70/249.75 c 217s| 1010k|541010 | 0 | 0.0 | 419M| 183 | - | 295 |7622 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 1.040000e+02 | Large
253.80/253.86 c 221s| 1020k|543903 | 0 | 0.0 | 423M| 183 | - | 295 |7745 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 1.040000e+02 | Large
257.99/258.02 c 225s| 1030k|546816 | 0 | 0.0 | 427M| 183 | - | 295 |7867 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 1.040000e+02 | Large
262.30/262.32 c 229s| 1040k|549539 | 0 | 0.0 | 431M| 183 | - | 295 |7787 | 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 1.040000e+02 | Large
266.60/266.61 c 233s| 1050k|552201 | 0 | 0.0 | 436M| 183 | - | 295 |8025 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 1.040000e+02 | Large
271.09/271.10 c 237s| 1060k|554743 | 0 | 0.0 | 440M| 183 | - | 295 |8303 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 1.040000e+02 | Large
275.80/275.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.80/275.87 c 241s| 1070k|556900 | 0 | 0.0 | 444M| 183 | - | 295 |8765 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 1.040000e+02 | Large
280.50/280.54 c 245s| 1080k|559334 | 0 | 0.0 | 448M| 183 | - | 295 |9288 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 1.040000e+02 | Large
285.60/285.68 c 250s| 1090k|561150 | 0 | 0.0 | 452M| 183 | - | 295 |9666 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 1.040000e+02 | Large
290.79/290.87 c 255s| 1100k|562959 | 0 | 0.0 | 455M| 183 | - | 295 | 10k| 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | 1.040000e+02 | Large
296.40/296.40 c 260s| 1110k|564553 | 0 | 0.0 | 459M| 183 | - | 295 | 10k| 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 1.040000e+02 | Large
301.89/301.97 c 265s| 1120k|566296 | 0 | 0.0 | 462M| 183 | - | 295 | 11k| 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 1.040000e+02 | Large
308.49/308.58 c 271s| 1130k|566467 | 0 | 0.0 | 465M| 183 | - | 295 | 12k| 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 1.040000e+02 | Large
316.20/316.27 c 279s| 1140k|565826 | 0 | 0.0 | 467M| 183 | - | 295 | 15k| 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 1.040000e+02 | Large
325.60/325.61 c 287s| 1150k|564424 | 0 | 0.0 | 469M| 183 | - | 295 | 21k| 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 1.040000e+02 | Large
330.50/330.54 c 292s| 1160k|568808 | 0 | 0.0 | 470M| 183 | - | 295 |8322 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 1.040000e+02 | Large
333.69/333.70 c 295s| 1170k|574166 | 0 | 0.0 | 473M| 183 | - | 295 |5090 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 1.040000e+02 | Large
336.30/336.32 c 297s| 1180k|579855 | 0 | 0.0 | 477M| 183 | - | 295 |3138 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 1.040000e+02 | Large
338.80/338.85 c 299s| 1190k|584762 | 0 | 0.0 | 481M| 183 | - | 295 |2682 | 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 1.040000e+02 | Large
341.69/341.72 c 302s| 1200k|589118 | 0 | 0.0 | 486M| 183 | - | 295 |3120 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 1.040000e+02 | Large
344.59/344.65 c 304s| 1210k|593325 | 0 | 0.0 | 490M| 183 | - | 295 |3492 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 1.040000e+02 | Large
347.90/347.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.90/347.96 c 307s| 1220k|596786 | 0 | 0.0 | 494M| 183 | - | 295 |4131 | 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 1.040000e+02 | Large
351.29/351.38 c 310s| 1230k|600168 | 0 | 0.0 | 498M| 183 | - | 295 |4423 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 1.040000e+02 | Large
354.90/354.93 c 314s| 1240k|603297 | 0 | 0.0 | 503M| 183 | - | 295 |4930 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 1.040000e+02 | Large
358.69/358.77 c 317s| 1250k|606143 | 0 | 0.0 | 507M| 183 | - | 295 |5251 | 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 1.040000e+02 | Large
362.70/362.70 c 321s| 1260k|608862 | 0 | 0.0 | 511M| 183 | - | 295 |5438 | 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 1.040000e+02 | Large
366.80/366.82 c 324s| 1270k|611357 | 0 | 0.0 | 515M| 183 | - | 295 |5938 | 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 1.040000e+02 | Large
370.70/370.74 c 328s| 1280k|614322 | 0 | 0.0 | 519M| 183 | - | 295 |6323 | 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 1.040000e+02 | Large
374.80/374.83 c 332s| 1290k|617061 | 0 | 0.0 | 523M| 183 | - | 295 |6567 | 0 | 0 | 0 | 791k| 0 | 1.000000e+00 | 1.040000e+02 | Large
378.70/378.75 c 335s| 1300k|619992 | 0 | 0.0 | 528M| 183 | - | 295 |7398 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 1.040000e+02 | Large
382.81/382.83 c 339s| 1310k|623034 | 0 | 0.0 | 532M| 183 | - | 295 |7214 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 1.040000e+02 | Large
386.89/386.93 c 343s| 1320k|626024 | 0 | 0.0 | 537M| 183 | - | 295 |7077 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 1.040000e+02 | Large
391.00/391.02 c 346s| 1330k|628948 | 0 | 0.0 | 541M| 183 | - | 295 |7119 | 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 1.040000e+02 | Large
394.99/395.09 c 350s| 1340k|631805 | 0 | 0.0 | 546M| 183 | - | 295 |7673 | 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 1.040000e+02 | Large
399.31/399.36 c 354s| 1350k|634429 | 0 | 0.0 | 550M| 183 | - | 295 |7844 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 1.040000e+02 | Large
403.70/403.74 c 358s| 1360k|636959 | 0 | 0.0 | 553M| 183 | - | 295 |7579 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 1.040000e+02 | Large
407.69/407.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.69/407.75 c 362s| 1370k|640030 | 0 | 0.0 | 558M| 183 | - | 295 |8102 | 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 1.040000e+02 | Large
412.20/412.21 c 366s| 1380k|642505 | 0 | 0.0 | 562M| 183 | - | 295 |8074 | 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 1.040000e+02 | Large
412.50/412.55 o 82
412.50/412.55 c * 366s| 1380k|592592 | 0 | 0.0 | 502M| 183 | - | 295 |8137 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
416.69/416.78 c 370s| 1390k|593021 | 0 | 0.0 | 505M| 183 | - | 295 |3461 | 0 | 0 | 0 | 851k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
421.31/421.30 c 374s| 1400k|593490 | 0 | 0.0 | 508M| 183 | - | 295 |4433 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
426.20/426.21 c 378s| 1410k|593908 | 0 | 0.0 | 512M| 183 | - | 295 |5508 | 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 8.200000e+01 |8100.00%
430.50/430.59 o 75
430.50/430.59 c * 382s| 1418k|590165 | 0 | 0.0 | 509M| 183 | - | 295 |6436 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 7.500000e+01 |7400.00%
431.60/431.64 c 383s| 1420k|590178 | 0 | 0.0 | 510M| 183 | - | 295 |6420 | 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | 7.500000e+01 |7400.00%
437.60/437.67 c 389s| 1430k|589714 | 0 | 0.0 | 515M| 183 | - | 295 |6069 | 0 | 0 | 0 | 889k| 0 | 1.000000e+00 | 7.500000e+01 |7400.00%
439.39/439.43 o 65
439.39/439.43 c * 391s| 1433k|561664 | 0 | 0.0 | 482M| 183 | - | 295 |6598 | 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
443.70/443.79 c 394s| 1440k|559576 | 0 | 0.0 | 483M| 183 | - | 295 |2186 | 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
449.30/449.32 c 399s| 1450k|556344 | 0 | 0.0 | 485M| 183 | - | 295 |3144 | 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
455.19/455.25 c 405s| 1460k|552587 | 0 | 0.0 | 486M| 183 | - | 295 |4054 | 0 | 0 | 0 | 915k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
461.50/461.52 c 410s| 1470k|548866 | 0 | 0.0 | 487M| 183 | - | 295 |4467 | 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
462.20/462.24 o 60
462.20/462.24 c * 411s| 1470k|530423 | 0 | 0.0 | 470M| 183 | - | 295 |3790 | 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
468.10/468.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.10/468.16 c 416s| 1480k|525693 | 0 | 0.0 | 470M| 183 | - | 295 |4197 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
474.90/474.99 c 423s| 1490k|520391 | 0 | 0.0 | 470M| 183 | - | 295 |4079 | 0 | 0 | 0 | 946k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
481.80/481.82 c 429s| 1500k|514843 | 0 | 0.0 | 470M| 183 | - | 295 |4832 | 0 | 0 | 0 | 957k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
488.90/488.90 c 436s| 1510k|509198 | 0 | 0.0 | 469M| 183 | - | 295 |4932 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
496.00/496.02 c 442s| 1520k|503930 | 0 | 0.0 | 468M| 183 | - | 295 |5078 | 0 | 0 | 0 | 981k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
503.89/503.97 c 449s| 1530k|497224 | 0 | 0.0 | 466M| 183 | - | 295 |6080 | 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
511.41/511.49 c 456s| 1540k|491482 | 0 | 0.0 | 465M| 183 | - | 295 |6268 | 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
519.40/519.47 c 464s| 1550k|485993 | 0 | 0.0 | 463M| 183 | - | 295 |6131 | 0 | 0 | 0 |1022k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
527.80/527.87 c 472s| 1560k|479701 | 0 | 0.0 | 461M| 183 | - | 295 |7241 | 0 | 0 | 0 |1037k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
536.70/536.71 c 480s| 1570k|474012 | 0 | 0.0 | 459M| 183 | - | 295 |7939 | 0 | 0 | 0 |1053k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
546.20/546.22 c 489s| 1580k|467057 | 0 | 0.0 | 456M| 183 | - | 295 |9012 | 0 | 0 | 0 |1071k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
556.70/556.70 c 499s| 1590k|459804 | 0 | 0.0 | 452M| 183 | - | 295 | 10k| 0 | 0 | 0 |1089k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
567.80/567.85 c 509s| 1600k|451961 | 0 | 0.0 | 448M| 183 | - | 295 | 12k| 0 | 0 | 0 |1109k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
577.29/577.33 c 518s| 1610k|447169 | 0 | 0.0 | 442M| 183 | - | 295 |5114 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
583.01/583.08 c 523s| 1620k|445090 | 0 | 0.0 | 442M| 183 | - | 295 |3939 | 0 | 0 | 0 |1133k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
585.80/585.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.80/585.81 c 526s| 1630k|450557 | 0 | 0.0 | 447M| 183 | - | 295 |5793 | 0 | 0 | 0 |1140k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
589.50/589.55 c 529s| 1640k|454417 | 0 | 0.0 | 451M| 183 | - | 295 |6756 | 0 | 0 | 0 |1149k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
594.60/594.67 c 534s| 1650k|455741 | 0 | 0.0 | 454M| 183 | - | 295 |6630 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
596.80/596.82 c 536s| 1660k|461522 | 0 | 0.0 | 457M| 183 | - | 295 |3394 | 0 | 0 | 0 |1165k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
604.60/604.65 c 543s| 1670k|452911 | 0 | 0.0 | 456M| 183 | - | 295 |2278 | 0 | 0 | 0 |1177k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
613.40/613.48 c 551s| 1680k|440795 | 0 | 0.0 | 452M| 183 | - | 295 |4615 | 0 | 0 | 0 |1189k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
623.70/623.70 c 560s| 1690k|428232 | 0 | 0.0 | 447M| 183 | - | 295 |6787 | 0 | 0 | 0 |1201k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
634.30/634.37 c 570s| 1700k|417138 | 0 | 0.0 | 442M| 183 | - | 295 |8336 | 0 | 0 | 0 |1213k| 0 | 1.000000e+00 | 6.000000e+01 |5900.00%
642.50/642.55 o 58
642.50/642.55 c * 578s| 1707k|408460 | 0 | 0.0 | 436M| 183 | - | 295 |9735 | 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
645.20/645.24 c 580s| 1710k|406052 | 0 | 0.0 | 435M| 183 | - | 295 | 10k| 0 | 0 | 0 |1225k| 0 | 1.000000e+00 | 5.800000e+01 |5700.00%
655.40/655.48 o 42
655.40/655.48 c * 590s| 1719k|320061 | 0 | 0.0 | 347M| 183 | - | 295 |8255 | 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
656.80/656.87 c 591s| 1720k|318628 | 0 | 0.0 | 346M| 183 | - | 295 |6555 | 0 | 0 | 0 |1238k| 0 | 1.000000e+00 | 4.200000e+01 |4100.00%
661.70/661.72 o 16
661.70/661.72 c * 595s| 1723k|195604 | 0 | 0.0 | 211M| 183 | - | 295 |8092 | 0 | 0 | 0 |1246k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
676.10/676.19 c 609s| 1730k|174467 | 0 | 0.0 | 191M| 183 | - | 295 | 11k| 0 | 0 | 0 |1270k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
692.60/692.64 c 625s| 1740k|156546 | 0 | 0.0 | 166M| 183 | - | 295 | 10k| 0 | 0 | 0 |1297k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
699.70/699.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.70/699.75 c 631s| 1750k|156795 | 0 | 0.0 | 169M| 183 | - | 295 | 14k| 0 | 0 | 0 |1313k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
710.50/710.56 c 642s| 1760k|153430 | 0 | 0.0 | 168M| 183 | - | 295 | 16k| 0 | 0 | 0 |1331k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
722.10/722.12 c 653s| 1770k|148986 | 0 | 0.0 | 159M| 183 | - | 295 |8119 | 0 | 0 | 0 |1348k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
725.51/725.57 c 656s| 1780k|153336 | 0 | 0.0 | 162M| 183 | - | 295 |7327 | 0 | 0 | 0 |1357k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
730.90/730.90 c 661s| 1790k|154383 | 0 | 0.0 | 163M| 183 | - | 295 | 10k| 0 | 0 | 0 |1371k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
740.00/740.02 c 669s| 1800k|147622 | 0 | 0.0 | 152M| 183 | - | 295 | 17k| 0 | 0 | 0 |1393k| 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
759.01/759.08 c 688s| 1810k|141627 | 0 | 0.0 | 153M| 183 | - | 295 | 33k| 0 | 0 | 0 |1418k| 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
776.20/776.27 c 705s| 1820k|141439 | 0 | 0.0 | 148M| 183 | - | 295 | 21k| 0 | 0 | 0 |1434k| 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
788.60/788.68 c 717s| 1830k|141624 | 0 | 0.0 | 150M| 183 | - | 295 | 22k| 0 | 0 | 0 |1452k| 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
803.50/803.51 c 731s| 1840k|140351 | 0 | 0.0 | 152M| 183 | - | 295 | 27k| 0 | 0 | 0 |1471k| 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
813.30/813.32 c 741s| 1850k|143602 | 0 | 0.0 | 150M| 183 | - | 295 | 18k| 0 | 0 | 0 |1483k| 0 | 3.000000e+00 | 1.600000e+01 | 433.33%
820.00/820.09 c 747s| 1860k|144753 | 0 | 0.0 | 145M| 183 | - | 295 | 10k| 0 | 0 | 0 |1494k| 0 | 4.000000e+00 | 1.600000e+01 | 300.00%
832.80/832.82 c 759s| 1870k|140886 | 0 | 0.0 | 147M| 183 | - | 295 | 23k| 0 | 0 | 0 |1518k| 0 | 4.000000e+00 | 1.600000e+01 | 300.00%
850.01/850.04 c 776s| 1880k|139131 | 0 | 0.0 | 145M| 183 | - | 295 | 26k| 0 | 0 | 0 |1538k| 0 | 4.000000e+00 | 1.600000e+01 | 300.00%
856.61/856.66 c 782s| 1890k|145096 | 0 | 0.0 | 148M| 183 | - | 295 | 22k| 0 | 0 | 0 |1547k| 0 | 4.000000e+00 | 1.600000e+01 | 300.00%
865.21/865.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
865.21/865.26 c 790s| 1900k|149047 | 0 | 0.0 | 152M| 183 | - | 295 | 24k| 0 | 0 | 0 |1558k| 0 | 4.000000e+00 | 1.600000e+01 | 300.00%
877.81/877.81 c 803s| 1910k|149882 | 0 | 0.0 | 155M| 183 | - | 295 | 25k| 0 | 0 | 0 |1575k| 0 | 4.000000e+00 | 1.600000e+01 | 300.00%
883.21/883.28 c 808s| 1920k|155801 | 0 | 0.0 | 155M| 183 | - | 295 | 11k| 0 | 0 | 0 |1582k| 0 | 4.000000e+00 | 1.600000e+01 | 300.00%
887.01/887.07 c 811s| 1930k|161293 | 0 | 0.0 | 158M| 183 | - | 295 | 10k| 0 | 0 | 0 |1591k| 0 | 4.000000e+00 | 1.600000e+01 | 300.00%
892.11/892.17 o 15
892.11/892.17 c * 816s| 1933k|155627 | 0 | 0.0 | 155M| 183 | - | 295 |7863 | 0 | 0 | 0 |1599k| 0 | 4.000000e+00 | 1.500000e+01 | 275.00%
902.51/902.56 c 826s| 1940k|141189 | 0 | 0.0 | 148M| 183 | - | 295 |8382 | 0 | 0 | 0 |1613k| 0 | 4.000000e+00 | 1.500000e+01 | 275.00%
918.00/918.03 c 841s| 1950k|124146 | 0 | 0.0 | 135M| 183 | - | 295 | 10k| 0 | 0 | 0 |1634k| 0 | 5.000000e+00 | 1.500000e+01 | 200.00%
932.71/932.80 c 855s| 1960k|113853 | 0 | 0.0 | 127M| 183 | - | 295 | 13k| 0 | 0 | 0 |1654k| 0 | 5.000000e+00 | 1.500000e+01 | 200.00%
946.90/946.93 c 869s| 1970k|105822 | 0 | 0.0 | 119M| 183 | - | 295 | 16k| 0 | 0 | 0 |1672k| 0 | 5.000000e+00 | 1.500000e+01 | 200.00%
955.40/955.45 c 877s| 1980k|106340 | 0 | 0.0 | 118M| 183 | - | 295 | 16k| 0 | 0 | 0 |1685k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
964.01/964.08 c 885s| 1990k|109199 | 0 | 0.0 | 124M| 183 | - | 295 | 23k| 0 | 0 | 0 |1699k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
977.00/977.07 c 898s| 2000k|110465 | 0 | 0.0 | 129M| 183 | - | 295 | 30k| 0 | 0 | 0 |1716k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
995.70/995.72 c 916s| 2010k|109250 | 0 | 0.0 | 131M| 183 | - | 295 | 34k| 0 | 0 | 0 |1736k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1020.50/1020.57 c 940s| 2020k|104858 | 0 | 0.0 | 130M| 183 | - | 295 | 37k| 0 | 0 | 0 |1758k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1028.51/1028.56 c 948s| 2030k|110204 | 0 | 0.0 | 128M| 183 | - | 295 | 14k| 0 | 0 | 0 |1767k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1034.40/1034.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.40/1034.43 c 954s| 2040k|114106 | 0 | 0.0 | 132M| 183 | - | 295 | 15k| 0 | 0 | 0 |1779k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1041.81/1041.86 c 961s| 2050k|116469 | 0 | 0.0 | 136M| 183 | - | 295 | 15k| 0 | 0 | 0 |1793k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1048.51/1048.50 c 967s| 2060k|119992 | 0 | 0.0 | 139M| 183 | - | 295 | 13k| 0 | 0 | 0 |1805k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1054.61/1054.61 c 973s| 2070k|123329 | 0 | 0.0 | 143M| 183 | - | 295 | 14k| 0 | 0 | 0 |1816k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1063.81/1063.81 c 982s| 2080k|123376 | 0 | 0.0 | 144M| 183 | - | 295 | 14k| 0 | 0 | 0 |1833k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1071.70/1071.71 c 989s| 2090k|124269 | 0 | 0.0 | 142M| 183 | - | 295 | 12k| 0 | 0 | 0 |1845k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1079.90/1079.92 c 997s| 2100k|124342 | 0 | 0.0 | 141M| 183 | - | 295 | 16k| 0 | 0 | 0 |1859k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1090.40/1090.45 c 1007s| 2110k|122926 | 0 | 0.0 | 139M| 183 | - | 295 | 18k| 0 | 0 | 0 |1874k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1101.81/1101.81 c 1018s| 2120k|119073 | 0 | 0.0 | 134M| 183 | - | 295 | 16k| 0 | 0 | 0 |1892k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1122.02/1122.05 c 1038s| 2130k|114340 | 0 | 0.0 | 136M| 183 | - | 295 | 34k| 0 | 0 | 0 |1917k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1147.90/1147.99 c 1063s| 2140k|110927 | 0 | 0.0 | 128M| 183 | - | 295 | 25k| 0 | 0 | 0 |1938k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1161.20/1161.26 c 1076s| 2150k|111970 | 0 | 0.0 | 130M| 183 | - | 295 | 24k| 0 | 0 | 0 |1954k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1176.21/1176.26 c 1091s| 2160k|111766 | 0 | 0.0 | 133M| 183 | - | 295 | 28k| 0 | 0 | 0 |1972k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1196.82/1196.86 c 1111s| 2170k|109174 | 0 | 0.0 | 133M| 183 | - | 295 | 31k| 0 | 0 | 0 |1992k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1214.41/1214.48 c 1128s| 2180k|108776 | 0 | 0.0 | 131M| 183 | - | 295 | 24k| 0 | 0 | 0 |2010k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1228.81/1228.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.81/1228.88 c 1142s| 2190k|108694 | 0 | 0.0 | 133M| 183 | - | 295 | 26k| 0 | 0 | 0 |2027k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1245.61/1245.60 c 1159s| 2200k|106742 | 0 | 0.0 | 134M| 183 | - | 295 | 31k| 0 | 0 | 0 |2046k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1264.61/1264.69 c 1178s| 2210k|105530 | 0 | 0.0 | 131M| 183 | - | 295 | 27k| 0 | 0 | 0 |2064k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1274.21/1274.26 c 1187s| 2220k|110025 | 0 | 0.0 | 133M| 183 | - | 295 | 24k| 0 | 0 | 0 |2075k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1284.61/1284.70 c 1197s| 2230k|112707 | 0 | 0.0 | 136M| 183 | - | 295 | 24k| 0 | 0 | 0 |2089k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1297.71/1297.76 c 1210s| 2240k|112777 | 0 | 0.0 | 138M| 183 | - | 295 | 25k| 0 | 0 | 0 |2105k| 0 | 6.000000e+00 | 1.500000e+01 | 150.00%
1314.61/1314.62 c 1226s| 2250k|109794 | 0 | 0.0 | 138M| 183 | - | 295 | 25k| 0 | 0 | 0 |2123k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1324.21/1324.28 c 1235s| 2260k|112793 | 0 | 0.0 | 137M| 183 | - | 295 | 20k| 0 | 0 | 0 |2133k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1336.61/1336.68 c 1247s| 2270k|107401 | 0 | 0.0 | 132M| 183 | - | 295 | 12k| 0 | 0 | 0 |2150k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1348.41/1348.47 c 1259s| 2280k|103558 | 0 | 0.0 | 131M| 183 | - | 295 | 19k| 0 | 0 | 0 |2170k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1369.21/1369.28 c 1279s| 2290k| 98400 | 0 | 0.0 | 131M| 183 | - | 295 | 32k| 0 | 0 | 0 |2194k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1401.61/1401.61 c 1311s| 2300k| 91047 | 0 | 0.0 | 125M| 183 | - | 295 | 32k| 0 | 0 | 0 |2219k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1428.11/1428.14 c 1337s| 2310k| 85750 | 0 | 0.0 | 121M| 183 | - | 295 | 42k| 0 | 0 | 0 |2242k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1447.32/1447.33 c 1356s| 2320k| 87974 | 0 | 0.0 | 123M| 183 | - | 295 | 39k| 0 | 0 | 0 |2257k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1467.51/1467.54 c 1376s| 2330k| 88877 | 0 | 0.0 | 125M| 183 | - | 295 | 39k| 0 | 0 | 0 |2274k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1492.72/1492.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.72/1492.74 c 1400s| 2340k| 86687 | 0 | 0.0 | 126M| 183 | - | 295 | 39k| 0 | 0 | 0 |2294k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1520.22/1520.23 c 1427s| 2350k| 82138 | 0 | 0.0 | 123M| 183 | - | 295 | 41k| 0 | 0 | 0 |2316k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1541.51/1541.56 c 1448s| 2360k| 81645 | 0 | 0.0 | 119M| 183 | - | 295 | 36k| 0 | 0 | 0 |2331k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1554.12/1554.11 c 1461s| 2370k| 85788 | 0 | 0.0 | 122M| 183 | - | 295 | 34k| 0 | 0 | 0 |2343k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1572.51/1572.50 c 1479s| 2380k| 84901 | 0 | 0.0 | 121M| 183 | - | 295 | 32k| 0 | 0 | 0 |2360k| 0 | 7.000000e+00 | 1.500000e+01 | 114.29%
1594.42/1594.43 c 1500s| 2390k| 81430 | 0 | 0.0 | 114M| 183 | - | 295 | 28k| 0 | 0 | 0 |2380k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1605.41/1605.47 c 1511s| 2400k| 82847 | 0 | 0.0 | 112M| 183 | - | 295 | 16k| 0 | 0 | 0 |2395k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1618.22/1618.28 c 1523s| 2410k| 80269 | 0 | 0.0 | 109M| 183 | - | 295 | 22k| 0 | 0 | 0 |2415k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1641.01/1641.05 c 1546s| 2420k| 75908 | 0 | 0.0 | 112M| 183 | - | 295 | 39k| 0 | 0 | 0 |2440k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1679.73/1679.71 c 1584s| 2430k| 66860 | 0 | 0.0 | 106M| 183 | - | 295 | 54k| 0 | 0 | 0 |2468k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1706.52/1706.56 c 1610s| 2440k| 67123 | 0 | 0.0 | 102M| 183 | - | 295 | 46k| 0 | 0 | 0 |2486k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1730.62/1730.68 c 1634s| 2450k| 67276 | 0 | 0.0 | 104M| 183 | - | 295 | 45k| 0 | 0 | 0 |2506k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1760.12/1760.10 c 1663s| 2460k| 65044 | 0 | 0.0 | 104M| 183 | - | 295 | 48k| 0 | 0 | 0 |2528k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1795.82/1795.81 c 1698s| 2470k| 58747 | 0 | 0.0 | 93M| 183 | - | 295 | 39k| 0 | 0 | 0 |2551k| 0 | 8.000000e+00 | 1.500000e+01 | 87.50%
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1702.43
1800.02/1800.00 c Solving Nodes : 2473253
1800.02/1800.00 c Primal Bound : +1.50000000000000e+01 (21 solutions)
1800.02/1800.00 c Dual Bound : +8.00000000000000e+00
1800.02/1800.00 c Gap : 87.50 %
1800.02/1800.00 s SATISFIABLE
1800.02/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.02/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.02/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.02/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.02/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
1800.02/1800.00 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.02/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.02/1800.00 v -x4 -x3 -x2 -x1
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time : 1702.43
1800.02/1800.00 c Original Problem :
1800.02/1800.00 c Problem name : HOME/instance-2693981-1277898975.wbo
1800.02/1800.00 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.02/1800.00 c Constraints : 166 initial, 166 maximal
1800.02/1800.00 c Presolved Problem :
1800.02/1800.00 c Problem name : t_HOME/instance-2693981-1277898975.wbo
1800.02/1800.00 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1800.02/1800.00 c Constraints : 159 initial, 56074 maximal
1800.02/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.02/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.02/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c linear : 0.00 0 0 0 63 0 6 1 0
1800.02/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.00 c root node : - 22 - - 44 - - - -
1800.02/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.00 c indicator : 63 0 7601764 0 1668381 23623 3732869 0 0 0
1800.02/1800.00 c knapsack : 1 0 7784665 0 1706966 119701 34825113 0 0 0
1800.02/1800.00 c setppc : 23 0 7664837 0 1706949 341664 4382924 0 0 0
1800.02/1800.00 c linear : 63 0 7323272 0 1706959 416107 7052110 0 0 0
1800.02/1800.00 c logicor : 9+ 0 3326532 0 1706806 133715 1814697 0 0 0
1800.02/1800.00 c bounddisjunction : 0+ 0 370587 0 0 3 47186 0 0 0
1800.02/1800.00 c countsols : 0 0 0 0 1706980 0 0 0 0 0
1800.02/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.00 c indicator : 5.36 0.00 3.30 0.00 2.06
1800.02/1800.00 c knapsack : 211.16 0.00 207.81 0.00 3.35
1800.02/1800.00 c setppc : 20.55 0.00 16.33 0.00 4.22
1800.02/1800.00 c linear : 71.61 0.00 71.55 0.00 0.06
1800.02/1800.00 c logicor : 655.44 0.00 654.27 0.00 1.17
1800.02/1800.00 c bounddisjunction : 2.45 0.00 2.45 0.00 0.00
1800.02/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.00 c vbounds : 0.00 2 0 0
1800.02/1800.00 c rootredcost : 0.00 0 0 0
1800.02/1800.00 c pseudoobj : 15.48 7826496 18366 3617286
1800.02/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.00 c propagation : 27.69 1029556 1029275 4805950 19.2 188135 13.9 -
1800.02/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.00 c pseudo solution : 0.00 261 261 945 14.7 38 11.1 -
1800.02/1800.00 c applied globally : - - - 2530758 15.6 - - -
1800.02/1800.00 c applied locally : - - - 22880 35.7 - - -
1800.02/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.00 c redcost : 0.00 0 0 0 0 0
1800.02/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.00 c intobj : 0.00 0 0 0 0 0
1800.02/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.00 c gomory : 0.00 0 0 0 0 0
1800.02/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.00 c cmir : 0.00 0 0 0 0 0
1800.02/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.00 c clique : 0.00 0 0 0 0 0
1800.02/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.00 c mcf : 0.00 0 0 0 0 0
1800.02/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.00 c Pricers : Time Calls Vars
1800.02/1800.00 c problem variables: 0.00 0 0
1800.02/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.00 c inference : 15.11 1706959 0 0 0 0 3413918
1800.02/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.00 c random : 0.00 0 0 0 0 0 0
1800.02/1800.00 c Primal Heuristics : Time Calls Found
1800.02/1800.00 c LP solutions : 0.00 - 0
1800.02/1800.00 c pseudo solutions : 0.71 - 21
1800.02/1800.00 c oneopt : 0.03 0 0
1800.02/1800.00 c trivial : 0.00 2 0
1800.02/1800.00 c simplerounding : 0.00 0 0
1800.02/1800.00 c zirounding : 0.00 0 0
1800.02/1800.00 c rounding : 0.00 0 0
1800.02/1800.00 c shifting : 0.00 0 0
1800.02/1800.00 c intshifting : 0.00 0 0
1800.02/1800.00 c twoopt : 0.00 0 0
1800.02/1800.00 c fixandinfer : 0.00 0 0
1800.02/1800.00 c feaspump : 0.00 0 0
1800.02/1800.00 c coefdiving : 0.00 0 0
1800.02/1800.00 c pscostdiving : 0.00 0 0
1800.02/1800.00 c fracdiving : 0.00 0 0
1800.02/1800.00 c veclendiving : 0.00 0 0
1800.02/1800.00 c intdiving : 0.00 0 0
1800.02/1800.00 c actconsdiving : 0.00 0 0
1800.02/1800.00 c objpscostdiving : 0.00 0 0
1800.02/1800.00 c rootsoldiving : 0.00 0 0
1800.02/1800.00 c linesearchdiving : 0.00 0 0
1800.02/1800.00 c guideddiving : 0.00 0 0
1800.02/1800.00 c octane : 0.00 0 0
1800.02/1800.00 c rens : 0.00 0 0
1800.02/1800.00 c rins : 0.00 0 0
1800.02/1800.00 c localbranching : 0.00 0 0
1800.02/1800.00 c mutation : 0.00 0 0
1800.02/1800.00 c crossover : 0.00 0 0
1800.02/1800.00 c dins : 0.00 0 0
1800.02/1800.00 c undercover : 0.00 0 0
1800.02/1800.00 c nlp : 0.00 0 0
1800.02/1800.00 c trysol : 0.00 1 0
1800.02/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.00 c (at root node) : - 0 0 0.00 -
1800.02/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.00 c B&B Tree :
1800.02/1800.00 c number of runs : 1
1800.02/1800.00 c nodes : 2473253
1800.02/1800.00 c nodes (total) : 2473253
1800.02/1800.00 c nodes left : 60660
1800.02/1800.00 c max depth : 183
1800.02/1800.00 c max depth (total): 183
1800.02/1800.00 c backtracks : 857993 (34.7%)
1800.02/1800.00 c delayed cutoffs : 576720
1800.02/1800.00 c repropagations : 3382385 (12776023 domain reductions, 287167 cutoffs)
1800.02/1800.00 c avg switch length: 27.61
1800.02/1800.00 c switching time : 529.49
1800.02/1800.00 c Solution :
1800.02/1800.00 c Solutions found : 21 (21 improvements)
1800.02/1800.00 c First Solution : +5.79000000000000e+02 (in run 1, after 42414 nodes, 11.00 seconds, depth 89, found by <relaxation>)
1800.02/1800.00 c Primal Bound : +1.50000000000000e+01 (in run 1, after 1933872 nodes, 816.18 seconds, depth 43, found by <relaxation>)
1800.02/1800.00 c Dual Bound : +8.00000000000000e+00
1800.02/1800.00 c Gap : 87.50 %
1800.02/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Root Iterations : 0
1800.22/1800.23 c Time complete: 1800.25.
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693981-1277898975/watcher-2693981-1277898975 -o /tmp/evaluation-result-2693981-1277898975/solver-2693981-1277898975 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693981-1277898975.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.00 1.99 3/178 23202 /proc/meminfo: memFree=30008744/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=8252 CPUtime=0 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 1545 0 0 0 0 0 0 0 21 0 1 0 163537071 8450048 1467 4089446400 4194304 7136930 140736631400848 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/23202/statm: 2063 1467 275 719 0 1342 0 [startup+0.0920401 s] /proc/loadavg: 1.92 2.00 1.99 3/178 23202 /proc/meminfo: memFree=30008744/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=13012 CPUtime=0.08 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 5042 0 0 0 7 1 0 0 21 0 1 0 163537071 13324288 2555 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 3253 2555 404 719 0 2532 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13012 [startup+0.101047 s] /proc/loadavg: 1.92 2.00 1.99 3/178 23202 /proc/meminfo: memFree=30008744/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=13180 CPUtime=0.09 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 5066 0 0 0 7 2 0 0 21 0 1 0 163537071 13496320 2579 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 3295 2579 404 719 0 2574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13180 [startup+0.300999 s] /proc/loadavg: 1.92 2.00 1.99 3/178 23202 /proc/meminfo: memFree=30008744/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=14352 CPUtime=0.29 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 5389 0 0 0 22 7 0 0 21 0 1 0 163537071 14696448 2902 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 3588 2902 404 719 0 2867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14352 [startup+0.700936 s] /proc/loadavg: 1.92 2.00 1.99 3/178 23202 /proc/meminfo: memFree=30008744/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=17208 CPUtime=0.69 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 6087 0 0 0 54 15 0 0 22 0 1 0 163537071 17620992 3600 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 4302 3600 404 719 0 3581 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17208 [startup+1.50081 s] /proc/loadavg: 1.92 2.00 1.99 4/179 23203 /proc/meminfo: memFree=29993360/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=20576 CPUtime=1.49 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 6960 0 0 0 121 28 0 0 25 0 1 0 163537071 21069824 4473 4089446400 4194304 7136930 140736631400848 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 5144 4473 404 719 0 4423 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20576 [startup+3.10053 s] /proc/loadavg: 1.92 2.00 1.99 3/179 23203 /proc/meminfo: memFree=29988076/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=25088 CPUtime=3.09 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 8089 0 0 0 256 53 0 0 25 0 1 0 163537071 25690112 5602 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 6272 5602 404 719 0 5551 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25088 [startup+6.301 s] /proc/loadavg: 1.93 2.00 1.99 3/179 23203 /proc/meminfo: memFree=29976548/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=32000 CPUtime=6.29 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 9845 0 0 0 545 84 0 0 25 0 1 0 163537071 32768000 7358 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 8000 7358 404 719 0 7279 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32000 [startup+12.7009 s] /proc/loadavg: 1.93 2.00 1.99 3/179 23203 /proc/meminfo: memFree=29960800/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=40668 CPUtime=12.69 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 12025 0 0 0 1128 141 0 0 25 0 1 0 163537071 41644032 9538 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 10167 9538 404 719 0 9446 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40668 [startup+25.5008 s] /proc/loadavg: 1.95 2.00 1.99 3/179 23203 /proc/meminfo: memFree=29914812/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=75256 CPUtime=25.49 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 20300 0 0 0 2180 369 0 0 25 0 1 0 163537071 77062144 17813 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 18814 17813 405 719 0 18093 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 75256 [startup+51.1005 s] /proc/loadavg: 1.96 2.00 1.99 3/179 23205 /proc/meminfo: memFree=29851664/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=112936 CPUtime=51.09 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 29911 0 0 0 4422 687 0 0 25 0 1 0 163537071 115646464 27424 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 28234 27424 405 719 0 27513 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 112936 [startup+102.306 s] /proc/loadavg: 1.98 2.00 1.99 3/179 23205 /proc/meminfo: memFree=29682468/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=233284 CPUtime=102.29 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 59160 0 0 0 8816 1413 0 0 25 0 1 0 163537071 238882816 56673 4089446400 4194304 7136930 140736631400848 18446744073709551615 5950928 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 58321 56673 407 719 0 57600 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 233284 [startup+162.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23207 /proc/meminfo: memFree=29511264/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=356280 CPUtime=162.29 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 90138 0 0 0 13995 2234 0 0 25 0 1 0 163537071 364830720 87651 4089446400 4194304 7136930 140736631400848 18446744073709551615 4925518 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 89070 87651 407 719 0 88349 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 356280 [startup+222.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23209 /proc/meminfo: memFree=29343640/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=481196 CPUtime=222.29 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 118981 0 0 0 19254 2975 0 0 25 0 1 0 163537071 492744704 116494 4089446400 4194304 7136930 140736631400848 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 120299 116494 407 719 0 119578 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 481196 [startup+282.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23211 /proc/meminfo: memFree=29220676/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=544716 CPUtime=282.29 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 134868 0 0 0 24700 3529 0 0 25 0 1 0 163537071 557789184 132381 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 136179 132381 407 719 0 135458 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 544716 [startup+342.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23222 /proc/meminfo: memFree=29127076/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=586372 CPUtime=342.3 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 145116 0 0 0 30235 3995 0 0 25 0 1 0 163537071 600444928 142629 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 146593 142629 407 719 0 145872 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 586372 [startup+402.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23222 /proc/meminfo: memFree=29000808/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=660312 CPUtime=402.3 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 163123 0 0 0 35669 4561 0 0 25 0 1 0 163537071 676159488 160636 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 165078 160636 407 719 0 164357 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 660312 [startup+462.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23224 /proc/meminfo: memFree=28928824/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=668104 CPUtime=462.3 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 165064 0 0 0 41110 5120 0 0 25 0 1 0 163537071 684138496 162577 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 167026 162577 407 719 0 166305 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 668104 [startup+522.301 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23226 /proc/meminfo: memFree=28868264/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=670152 CPUtime=522.3 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 165577 0 0 0 46648 5582 0 0 25 0 1 0 163537071 686235648 163090 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 167538 163090 407 719 0 166817 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 670152 [startup+582.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 23228 /proc/meminfo: memFree=28810680/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=671308 CPUtime=582.3 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 165835 0 0 0 52262 5968 0 0 25 0 1 0 163537071 687419392 163348 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 167827 163348 407 719 0 167106 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 671308 [startup+642.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 23230 /proc/meminfo: memFree=28748120/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=675216 CPUtime=642.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 166814 0 0 0 57744 6487 0 0 25 0 1 0 163537071 691421184 164327 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 168804 164327 407 719 0 168083 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 675216 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 23264 /proc/meminfo: memFree=30596892/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=679548 CPUtime=882.3 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 167786 0 0 0 80690 7540 0 0 25 0 1 0 163537071 695857152 165299 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 169887 165299 407 719 0 169166 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 679548 [startup+942.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 23293 /proc/meminfo: memFree=30565520/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=679548 CPUtime=942.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 167786 0 0 0 86429 7802 0 0 25 0 1 0 163537071 695857152 165299 4089446400 4194304 7136930 140736631400848 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 169887 165299 407 719 0 169166 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 679548 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23293 /proc/meminfo: memFree=30509048/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=680260 CPUtime=1002.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 167887 0 0 0 92248 7983 0 0 25 0 1 0 163537071 696586240 165400 4089446400 4194304 7136930 140736631400848 18446744073709551615 5950944 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170065 165400 407 719 0 169344 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 680260 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23295 /proc/meminfo: memFree=30472164/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=680320 CPUtime=1062.3 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 167921 0 0 0 98025 8205 0 0 25 0 1 0 163537071 696647680 165434 4089446400 4194304 7136930 140736631400848 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170080 165434 407 719 0 169359 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 680320 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23297 /proc/meminfo: memFree=30468272/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=680776 CPUtime=1122.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 167994 0 0 0 103821 8410 0 0 25 0 1 0 163537071 697114624 165507 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170194 165507 407 719 0 169473 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 680776 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 23299 /proc/meminfo: memFree=30450612/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=681400 CPUtime=1182.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168149 0 0 0 109696 8535 0 0 25 0 1 0 163537071 697753600 165662 4089446400 4194304 7136930 140736631400848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170350 165662 407 719 0 169629 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 681400 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 23301 /proc/meminfo: memFree=30442016/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=681400 CPUtime=1242.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168165 0 0 0 115561 8670 0 0 25 0 1 0 163537071 697753600 165678 4089446400 4194304 7136930 140736631400848 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170350 165678 407 719 0 169629 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 681400 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23301 /proc/meminfo: memFree=30431176/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=681400 CPUtime=1302.32 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168174 0 0 0 121398 8834 0 0 25 0 1 0 163537071 697753600 165687 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170350 165687 407 719 0 169629 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 681400 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23303 /proc/meminfo: memFree=30423696/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=680376 CPUtime=1362.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168174 0 0 0 127209 9022 0 0 25 0 1 0 163537071 696705024 165431 4089446400 4194304 7136930 140736631400848 18446744073709551615 4209998 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170094 165431 407 719 0 169373 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 680376 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23305 /proc/meminfo: memFree=30422668/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=681120 CPUtime=1422.32 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168313 0 0 0 133113 9119 0 0 25 0 1 0 163537071 697466880 165570 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170280 165570 407 719 0 169559 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 681120 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 23307 /proc/meminfo: memFree=30417908/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=682900 CPUtime=1482.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168517 0 0 0 139013 9218 0 0 25 0 1 0 163537071 699289600 165774 4089446400 4194304 7136930 140736631400848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170725 165774 407 719 0 170004 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 682900 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 23309 /proc/meminfo: memFree=30416244/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=683344 CPUtime=1542.31 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168645 0 0 0 144915 9316 0 0 25 0 1 0 163537071 699744256 165902 4089446400 4194304 7136930 140736631400848 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170836 165902 407 719 0 170115 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 683344 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23309 /proc/meminfo: memFree=30415064/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=683344 CPUtime=1602.32 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168645 0 0 0 150779 9453 0 0 25 0 1 0 163537071 699744256 165902 4089446400 4194304 7136930 140736631400848 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170836 165902 407 719 0 170115 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 683344 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23311 /proc/meminfo: memFree=30406336/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=682392 CPUtime=1662.32 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168694 0 0 0 156663 9569 0 0 25 0 1 0 163537071 698769408 165695 4089446400 4194304 7136930 140736631400848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170598 165695 407 719 0 169877 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 682392 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23313 /proc/meminfo: memFree=30396624/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=683468 CPUtime=1722.32 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168866 0 0 0 162580 9652 0 0 25 0 1 0 163537071 699871232 165867 4089446400 4194304 7136930 140736631400848 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170867 165867 407 719 0 170146 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 683468 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23315 /proc/meminfo: memFree=30369172/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=683468 CPUtime=1782.32 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168888 0 0 0 168496 9736 0 0 25 0 1 0 163537071 699871232 165889 4089446400 4194304 7136930 140736631400848 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170867 165889 407 719 0 170146 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 683468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23315 /proc/meminfo: memFree=30368916/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=683468 CPUtime=1800.02 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168909 0 0 0 170242 9760 0 0 25 0 1 0 163537071 699871232 165910 4089446400 4194304 7136930 140736631400848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23202/statm: 170867 165910 407 719 0 170146 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 683468 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.00 2.00 2.00 3/179 23315 /proc/meminfo: memFree=30368916/32951124 swapFree=67111528/67111528 [pid=23202] ppid=23200 vsize=639908 CPUtime=1800.22 /proc/23202/stat : 23202 (pbscip.linux.x8) R 23200 23202 20735 0 -1 4202496 168914 0 0 0 170262 9760 0 0 25 0 1 0 163537071 655265792 155025 4089446400 4194304 7136930 140736631400848 18446744073709551615 5003440 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23202/statm: 159977 155025 412 719 0 159256 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 639908 Child status: 0 Real time (s): 1800.24 CPU time (s): 1800.27 CPU user time (s): 1702.64 CPU system time (s): 97.6282 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 683468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1702.64 system time used= 97.6282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 168921 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= 4022 runsolver used 3.07853 second user time and 6.01309 second system time The end
Begin job on node118 at 2010-06-30 13:56:15 IDJOB=2693981 IDBENCH=78851 IDSOLVER=1206 FILE ID=node118/2693981-1277898975 PBS_JOBID= 11197117 Free space on /tmp= 74208 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.1111224059--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-2693981-1277898975/watcher-2693981-1277898975 -o /tmp/evaluation-result-2693981-1277898975/solver-2693981-1277898975 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693981-1277898975.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ffea189547a7afa9054418ab91a7dbf RANDOM SEED=1931058382 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.83 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.791 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.791 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.83 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30009148 kB Buffers: 181944 kB Cached: 1298036 kB SwapCached: 0 kB Active: 1788432 kB Inactive: 1008968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30009148 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3404 kB Writeback: 0 kB AnonPages: 1317968 kB Mapped: 15492 kB Slab: 78756 kB PageTables: 6900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1462436 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node118 at 2010-06-30 14:26:17