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.8 | 1800.74 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo |
| MD5SUM | 86727f41c04b3a3cda96c180ef39a0ad |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.202968 |
| 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 | 101 |
| 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 | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1248 |
| 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-2694094-1277922988.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 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 o 4943
0.00/0.00 c feasible solution found by trivial heuristic, objective value 4.943000e+03
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, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c t 0.0s| 1 | 2 | 0 | - |1124k| 0 | - | 371 | 202 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
1.49/1.54 c 1.3s| 10000 | 6968 | 0 | 0.0 |8075k| 171 | - | 371 |5880 | 0 | 0 | 0 |9266 | 0 | 0.000000e+00 | 4.943000e+03 | Inf
1.49/1.56 o 766
1.49/1.56 c * 1.3s| 10414 | 7380 | 0 | 0.0 |8215k| 179 | - | 371 |5874 | 0 | 0 | 0 |9266 | 0 | 0.000000e+00 | 7.660000e+02 | Inf
3.30/3.35 c 2.9s| 20000 | 13694 | 0 | 0.0 | 12M| 193 | - | 371 |6899 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
6.29/6.34 c 5.7s| 30000 | 17707 | 0 | 0.0 | 18M| 193 | - | 371 | 11k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
9.99/10.07 c 9.2s| 40000 | 21174 | 0 | 0.0 | 22M| 193 | - | 371 | 11k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
10.49/10.59 c 9.6s| 50000 | 31162 | 0 | 0.0 | 22M| 193 | - | 371 |1024 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
11.00/11.05 c 9.8s| 60000 | 41136 | 0 | 0.0 | 25M| 193 | - | 371 | 934 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
11.49/11.52 c 10.2s| 70000 | 51098 | 0 | 0.0 | 28M| 193 | - | 371 | 924 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
11.89/11.98 c 10.4s| 80000 | 61047 | 0 | 0.0 | 31M| 193 | - | 371 | 936 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
12.39/12.44 c 10.7s| 90000 | 71013 | 0 | 0.0 | 34M| 193 | - | 371 | 969 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
12.79/12.89 c 11.0s|100000 | 80996 | 0 | 0.0 | 37M| 193 | - | 371 | 958 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
13.29/13.35 c 11.3s|110000 | 90958 | 0 | 0.0 | 40M| 193 | - | 371 |1019 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
13.79/13.80 c 11.6s|120000 |100906 | 0 | 0.0 | 43M| 197 | - | 371 |1087 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
14.19/14.25 c 11.8s|130000 |110860 | 0 | 0.0 | 46M| 197 | - | 371 |1178 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
14.69/14.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.69/14.71 c 12.1s|140000 |120825 | 0 | 0.0 | 49M| 197 | - | 371 |1232 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
15.09/15.16 c 12.4s|150000 |130782 | 0 | 0.0 | 52M| 197 | - | 371 |1305 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
15.59/15.60 c 12.7s|160000 |140759 | 0 | 0.0 | 55M| 197 | - | 371 |1322 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
16.59/16.68 c 13.6s|170000 |148470 | 0 | 0.0 | 60M| 197 | - | 371 |5262 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
20.69/20.71 c 17.3s|180000 |150365 | 0 | 0.0 | 66M| 197 | - | 371 | 13k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
25.99/26.01 c 22.3s|190000 |151909 | 0 | 0.0 | 71M| 197 | - | 371 | 19k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
32.89/32.92 c 28.9s|200000 |152875 | 0 | 0.0 | 75M| 197 | - | 371 | 25k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
39.60/39.65 c 35.4s|210000 |156164 | 0 | 0.0 | 74M| 197 | - | 371 | 17k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
40.19/40.26 c 35.9s|220000 |166141 | 0 | 0.0 | 72M| 197 | - | 371 |1309 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
40.70/40.74 c 36.2s|230000 |176112 | 0 | 0.0 | 75M| 197 | - | 371 | 967 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
41.19/41.21 c 36.5s|240000 |186093 | 0 | 0.0 | 78M| 197 | - | 371 | 884 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
41.59/41.68 c 36.8s|250000 |196053 | 0 | 0.0 | 81M| 197 | - | 371 | 890 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 7.660000e+02 | Inf
41.89/41.90 o 215
41.89/41.90 c *37.0s|254671 |190530 | 0 | 0.0 | 79M| 197 | - | 371 | 858 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
42.19/42.23 c 37.2s|260000 |195659 | 0 | 0.0 | 81M| 197 | - | 371 |1007 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
42.90/42.91 c 37.7s|270000 |205185 | 0 | 0.0 | 85M| 197 | - | 371 |1220 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.150000e+02 | Inf
43.20/43.22 o 49
43.20/43.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.20/43.22 c *38.0s|273146 | 80965 | 0 | 0.0 | 47M| 197 | - | 371 |1264 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
43.20/43.22 o 47
43.20/43.22 c *38.0s|273205 | 79720 | 0 | 0.0 | 46M| 197 | - | 371 |1281 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
44.00/44.02 c 38.6s|280000 | 84884 | 0 | 0.0 | 50M| 197 | - | 371 |2117 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
45.29/45.34 c 39.7s|290000 | 92520 | 0 | 0.0 | 54M| 197 | - | 371 |3471 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
46.79/46.83 c 41.0s|300000 |100015 | 0 | 0.0 | 59M| 197 | - | 371 |4881 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
48.50/48.56 c 42.5s|310000 |107316 | 0 | 0.0 | 64M| 197 | - | 371 |5902 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
50.50/50.56 c 44.2s|320000 |114268 | 0 | 0.0 | 68M| 197 | - | 371 |5608 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
52.49/52.55 c 46.0s|330000 |121199 | 0 | 0.0 | 73M| 197 | - | 371 |7889 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
54.79/54.86 c 48.1s|340000 |127827 | 0 | 0.0 | 78M| 197 | - | 371 |8589 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
57.39/57.43 c 50.4s|350000 |134091 | 0 | 0.0 | 82M| 197 | - | 371 |8887 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
60.79/60.89 c 53.6s|360000 |139020 | 0 | 0.0 | 88M| 197 | - | 371 | 10k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
64.99/65.04 c 57.5s|370000 |143237 | 0 | 0.0 | 95M| 197 | - | 371 | 12k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
70.09/70.14 c 62.2s|380000 |146224 | 0 | 0.0 | 102M| 197 | - | 371 | 13k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
76.79/76.84 c 68.5s|390000 |146680 | 0 | 0.0 | 109M| 197 | - | 371 | 15k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
81.69/81.73 c 73.1s|400000 |149404 | 0 | 0.0 | 112M| 197 | - | 371 |6272 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
83.60/83.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.60/83.62 c 74.8s|410000 |156551 | 0 | 0.0 | 117M| 197 | - | 371 |8929 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
89.39/89.43 c 80.3s|420000 |156920 | 0 | 0.0 | 122M| 197 | - | 371 | 19k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
101.29/101.31 c 91.9s|430000 |154768 | 0 | 0.0 | 125M| 197 | - | 371 | 29k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
118.49/118.50 c 109s|440000 |151414 | 0 | 0.0 | 124M| 197 | - | 371 | 35k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
126.60/126.61 c 117s|450000 |156421 | 0 | 0.0 | 120M| 197 | - | 371 | 11k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
130.19/130.27 c 120s|460000 |162576 | 0 | 0.0 | 125M| 197 | - | 371 | 11k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
133.70/133.73 c 123s|470000 |168728 | 0 | 0.0 | 129M| 197 | - | 371 | 10k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
136.79/136.84 c 126s|480000 |175106 | 0 | 0.0 | 133M| 197 | - | 371 | 10k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
139.79/139.80 c 129s|490000 |181588 | 0 | 0.0 | 137M| 197 | - | 371 | 10k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
142.70/142.79 c 132s|500000 |188000 | 0 | 0.0 | 142M| 197 | - | 371 | 10k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
145.80/145.86 c 134s|510000 |194284 | 0 | 0.0 | 146M| 197 | - | 371 | 10k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
148.79/148.89 c 137s|520000 |200600 | 0 | 0.0 | 150M| 197 | - | 371 | 11k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
151.99/152.03 c 140s|530000 |206818 | 0 | 0.0 | 154M| 197 | - | 371 | 11k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
155.20/155.21 c 143s|540000 |213023 | 0 | 0.0 | 158M| 197 | - | 371 | 11k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
158.70/158.75 c 146s|550000 |218773 | 0 | 0.0 | 163M| 197 | - | 371 | 11k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
162.00/162.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.00/162.08 c 149s|560000 |224738 | 0 | 0.0 | 167M| 197 | - | 371 | 12k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
165.59/165.63 c 153s|570000 |230550 | 0 | 0.0 | 171M| 197 | - | 371 | 12k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
169.09/169.19 c 156s|580000 |236379 | 0 | 0.0 | 176M| 197 | - | 371 | 13k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
172.79/172.82 c 159s|590000 |242294 | 0 | 0.0 | 180M| 197 | - | 371 | 13k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
176.70/176.77 c 163s|600000 |247741 | 0 | 0.0 | 184M| 197 | - | 371 | 13k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
180.50/180.57 c 167s|610000 |253305 | 0 | 0.0 | 188M| 197 | - | 371 | 14k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
184.10/184.12 c 170s|620000 |259178 | 0 | 0.0 | 192M| 197 | - | 371 | 14k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
188.40/188.43 c 174s|630000 |264354 | 0 | 0.0 | 196M| 197 | - | 371 | 14k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
192.70/192.77 c 178s|640000 |269520 | 0 | 0.0 | 200M| 197 | - | 371 | 15k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
197.00/197.01 c 182s|650000 |274759 | 0 | 0.0 | 205M| 197 | - | 371 | 15k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
201.40/201.45 c 186s|660000 |279906 | 0 | 0.0 | 209M| 197 | - | 371 | 16k| 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
206.20/206.20 c 191s|670000 |284767 | 0 | 0.0 | 213M| 197 | - | 371 | 16k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
211.00/211.01 c 195s|680000 |289450 | 0 | 0.0 | 218M| 197 | - | 371 | 17k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
215.60/215.69 c 200s|690000 |294513 | 0 | 0.0 | 222M| 197 | - | 371 | 17k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
221.01/221.09 c 205s|700000 |298890 | 0 | 0.0 | 227M| 197 | - | 371 | 18k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
226.30/226.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.30/226.38 c 210s|710000 |303329 | 0 | 0.0 | 231M| 197 | - | 371 | 19k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
231.70/231.72 c 215s|720000 |307937 | 0 | 0.0 | 235M| 197 | - | 371 | 18k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
237.61/237.69 c 221s|730000 |312136 | 0 | 0.0 | 240M| 197 | - | 371 | 19k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
244.10/244.10 c 227s|740000 |315863 | 0 | 0.0 | 244M| 197 | - | 371 | 20k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
250.81/250.84 c 233s|750000 |319405 | 0 | 0.0 | 249M| 197 | - | 371 | 22k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
257.80/257.88 c 240s|760000 |322923 | 0 | 0.0 | 253M| 197 | - | 371 | 22k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
265.19/265.22 c 247s|770000 |326218 | 0 | 0.0 | 257M| 197 | - | 371 | 23k| 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
272.81/272.87 c 254s|780000 |329320 | 0 | 0.0 | 261M| 197 | - | 371 | 23k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
282.00/282.07 c 263s|790000 |331356 | 0 | 0.0 | 265M| 197 | - | 371 | 25k| 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
292.61/292.69 c 273s|800000 |332530 | 0 | 0.0 | 269M| 197 | - | 371 | 27k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
306.10/306.18 c 286s|810000 |331931 | 0 | 0.0 | 272M| 197 | - | 371 | 29k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
316.90/316.93 c 297s|820000 |333494 | 0 | 0.0 | 269M| 197 | - | 371 | 15k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
319.50/319.57 c 299s|830000 |340827 | 0 | 0.0 | 272M| 197 | - | 371 | 11k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
322.10/322.13 c 302s|840000 |347931 | 0 | 0.0 | 276M| 197 | - | 371 | 12k| 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
325.10/325.13 c 304s|850000 |354476 | 0 | 0.0 | 280M| 197 | - | 371 | 12k| 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
328.40/328.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.40/328.40 c 307s|860000 |360690 | 0 | 0.0 | 284M| 197 | - | 371 | 14k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
332.21/332.25 c 311s|870000 |366347 | 0 | 0.0 | 289M| 197 | - | 371 | 15k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
336.61/336.67 c 315s|880000 |371393 | 0 | 0.0 | 293M| 197 | - | 371 | 17k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
342.40/342.46 c 321s|890000 |375196 | 0 | 0.0 | 298M| 197 | - | 371 | 19k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
348.90/348.90 c 327s|900000 |378757 | 0 | 0.0 | 301M| 197 | - | 371 | 16k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
351.00/351.09 c 329s|910000 |386782 | 0 | 0.0 | 303M| 197 | - | 371 |9218 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
353.90/353.98 c 331s|920000 |392938 | 0 | 0.0 | 307M| 197 | - | 371 | 10k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
357.00/357.00 c 334s|930000 |398212 | 0 | 0.0 | 308M| 197 | - | 371 |7465 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 4.700000e+01 | Inf
362.40/362.43 c 339s|940000 |401405 | 0 | 0.0 | 309M| 197 | - | 371 |5793 | 0 | 0 | 0 | 991k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
366.10/366.13 c 343s|950000 |405275 | 0 | 0.0 | 313M| 197 | - | 371 |3980 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 4.700000e+01 |4600.00%
367.70/367.74 o 46
367.70/367.74 c * 344s|954612 |405743 | 0 | 0.0 | 314M| 197 | - | 371 |6473 | 0 | 0 | 0 |1018k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
369.61/369.69 c 346s|960000 |407617 | 0 | 0.0 | 316M| 197 | - | 371 |5230 | 0 | 0 | 0 |1028k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
373.31/373.37 c 349s|970000 |411245 | 0 | 0.0 | 320M| 197 | - | 371 |4123 | 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
377.10/377.13 c 353s|980000 |414764 | 0 | 0.0 | 326M| 197 | - | 371 |7770 | 0 | 0 | 0 |1065k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
381.20/381.29 c 356s|990000 |418533 | 0 | 0.0 | 330M| 197 | - | 371 |8873 | 0 | 0 | 0 |1083k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
385.70/385.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.70/385.77 c 361s| 1000k|422115 | 0 | 0.0 | 335M| 197 | - | 371 |8957 | 0 | 0 | 0 |1100k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
390.70/390.71 c 365s| 1010k|425486 | 0 | 0.0 | 340M| 197 | - | 371 | 10k| 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
395.20/395.26 c 370s| 1020k|429061 | 0 | 0.0 | 345M| 197 | - | 371 | 12k| 0 | 0 | 0 |1136k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
400.10/400.11 c 374s| 1030k|432724 | 0 | 0.0 | 349M| 197 | - | 371 | 11k| 0 | 0 | 0 |1153k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
405.21/405.26 c 379s| 1040k|436216 | 0 | 0.0 | 353M| 197 | - | 371 | 14k| 0 | 0 | 0 |1171k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
410.60/410.60 c 384s| 1050k|439152 | 0 | 0.0 | 357M| 197 | - | 371 | 14k| 0 | 0 | 0 |1191k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
416.70/416.74 c 390s| 1060k|441835 | 0 | 0.0 | 360M| 197 | - | 371 | 11k| 0 | 0 | 0 |1211k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
422.71/422.76 c 396s| 1070k|444582 | 0 | 0.0 | 365M| 197 | - | 371 | 17k| 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
429.10/429.18 c 402s| 1080k|447053 | 0 | 0.0 | 368M| 197 | - | 371 | 15k| 0 | 0 | 0 |1252k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
435.70/435.75 c 408s| 1090k|449796 | 0 | 0.0 | 373M| 197 | - | 371 | 18k| 0 | 0 | 0 |1272k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
442.40/442.46 c 414s| 1100k|451970 | 0 | 0.0 | 376M| 197 | - | 371 | 16k| 0 | 0 | 0 |1293k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
449.11/449.17 c 421s| 1110k|455017 | 0 | 0.0 | 380M| 197 | - | 371 | 17k| 0 | 0 | 0 |1311k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
456.31/456.35 c 428s| 1120k|456814 | 0 | 0.0 | 383M| 197 | - | 371 | 17k| 0 | 0 | 0 |1333k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
463.21/463.27 c 434s| 1130k|460097 | 0 | 0.0 | 388M| 197 | - | 371 | 18k| 0 | 0 | 0 |1351k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
470.61/470.67 c 441s| 1140k|462124 | 0 | 0.0 | 391M| 197 | - | 371 | 19k| 0 | 0 | 0 |1372k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
478.90/478.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.90/478.92 c 449s| 1150k|464510 | 0 | 0.0 | 394M| 197 | - | 371 | 17k| 0 | 0 | 0 |1392k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
487.00/487.01 c 457s| 1160k|466076 | 0 | 0.0 | 399M| 197 | - | 371 | 21k| 0 | 0 | 0 |1414k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
496.20/496.26 c 466s| 1170k|468038 | 0 | 0.0 | 402M| 197 | - | 371 | 17k| 0 | 0 | 0 |1435k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
505.01/505.07 c 475s| 1180k|468997 | 0 | 0.0 | 406M| 197 | - | 371 | 21k| 0 | 0 | 0 |1459k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
513.91/513.98 c 483s| 1190k|471668 | 0 | 0.0 | 410M| 197 | - | 371 | 22k| 0 | 0 | 0 |1477k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
523.21/523.28 c 492s| 1200k|472754 | 0 | 0.0 | 413M| 197 | - | 371 | 23k| 0 | 0 | 0 |1500k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
533.21/533.27 c 502s| 1210k|474806 | 0 | 0.0 | 417M| 197 | - | 371 | 23k| 0 | 0 | 0 |1520k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
543.21/543.26 c 511s| 1220k|475465 | 0 | 0.0 | 420M| 197 | - | 371 | 23k| 0 | 0 | 0 |1543k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
553.21/553.30 c 521s| 1230k|477629 | 0 | 0.0 | 423M| 197 | - | 371 | 22k| 0 | 0 | 0 |1562k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
564.71/564.72 c 532s| 1240k|477651 | 0 | 0.0 | 427M| 197 | - | 371 | 25k| 0 | 0 | 0 |1587k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
575.61/575.69 c 543s| 1250k|479221 | 0 | 0.0 | 429M| 197 | - | 371 | 22k| 0 | 0 | 0 |1607k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
587.51/587.53 c 554s| 1260k|479506 | 0 | 0.0 | 433M| 197 | - | 371 | 28k| 0 | 0 | 0 |1630k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
599.52/599.57 c 566s| 1270k|480290 | 0 | 0.0 | 436M| 197 | - | 371 | 25k| 0 | 0 | 0 |1652k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
611.41/611.46 c 578s| 1280k|481395 | 0 | 0.0 | 440M| 197 | - | 371 | 29k| 0 | 0 | 0 |1674k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
624.41/624.48 c 590s| 1290k|481269 | 0 | 0.0 | 442M| 197 | - | 371 | 28k| 0 | 0 | 0 |1698k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
637.21/637.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.21/637.24 c 603s| 1300k|481829 | 0 | 0.0 | 445M| 197 | - | 371 | 26k| 0 | 0 | 0 |1720k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
650.61/650.61 c 616s| 1310k|481881 | 0 | 0.0 | 448M| 197 | - | 371 | 29k| 0 | 0 | 0 |1743k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
664.71/664.77 c 630s| 1320k|481087 | 0 | 0.0 | 450M| 197 | - | 371 | 29k| 0 | 0 | 0 |1767k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
678.72/678.75 c 643s| 1330k|480887 | 0 | 0.0 | 452M| 197 | - | 371 | 29k| 0 | 0 | 0 |1791k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
693.02/693.09 c 657s| 1340k|480353 | 0 | 0.0 | 455M| 197 | - | 371 | 29k| 0 | 0 | 0 |1815k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
708.11/708.10 c 672s| 1350k|479595 | 0 | 0.0 | 457M| 197 | - | 371 | 30k| 0 | 0 | 0 |1839k| 0 | 1.000000e+00 | 4.600000e+01 |4500.00%
715.71/715.73 o 33
715.71/715.73 c * 679s| 1354k|421805 | 0 | 0.0 | 381M| 197 | - | 371 | 30k| 0 | 0 | 0 |1851k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
727.81/727.80 c 691s| 1360k|419170 | 0 | 0.0 | 384M| 197 | - | 371 | 27k| 0 | 0 | 0 |1869k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
748.82/748.85 c 712s| 1370k|412605 | 0 | 0.0 | 382M| 197 | - | 371 | 27k| 0 | 0 | 0 |1901k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
768.52/768.52 c 731s| 1380k|406168 | 0 | 0.0 | 371M| 197 | - | 371 | 16k| 0 | 0 | 0 |1929k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
772.32/772.33 c 735s| 1390k|412128 | 0 | 0.0 | 373M| 197 | - | 371 |8282 | 0 | 0 | 0 |1942k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
776.22/776.23 c 738s| 1400k|417190 | 0 | 0.0 | 378M| 197 | - | 371 |8602 | 0 | 0 | 0 |1958k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
780.32/780.39 c 742s| 1410k|421989 | 0 | 0.0 | 383M| 197 | - | 371 |9247 | 0 | 0 | 0 |1974k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
785.02/785.06 c 746s| 1420k|426199 | 0 | 0.0 | 388M| 197 | - | 371 | 10k| 0 | 0 | 0 |1991k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
790.22/790.24 c 751s| 1430k|430147 | 0 | 0.0 | 393M| 197 | - | 371 | 11k| 0 | 0 | 0 |2009k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
795.72/795.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.72/795.79 c 757s| 1440k|433672 | 0 | 0.0 | 398M| 197 | - | 371 | 11k| 0 | 0 | 0 |2028k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
801.51/801.51 c 762s| 1450k|436842 | 0 | 0.0 | 402M| 197 | - | 371 | 11k| 0 | 0 | 0 |2047k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
807.52/807.53 c 768s| 1460k|439510 | 0 | 0.0 | 407M| 197 | - | 371 | 12k| 0 | 0 | 0 |2067k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
813.92/813.94 c 774s| 1470k|441927 | 0 | 0.0 | 411M| 197 | - | 371 | 11k| 0 | 0 | 0 |2088k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
821.32/821.32 c 781s| 1480k|443073 | 0 | 0.0 | 415M| 197 | - | 371 | 12k| 0 | 0 | 0 |2110k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
829.51/829.55 c 789s| 1490k|443295 | 0 | 0.0 | 419M| 197 | - | 371 | 13k| 0 | 0 | 0 |2134k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
838.02/838.00 c 797s| 1500k|443275 | 0 | 0.0 | 422M| 197 | - | 371 | 13k| 0 | 0 | 0 |2158k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
847.51/847.54 c 806s| 1510k|442357 | 0 | 0.0 | 426M| 197 | - | 371 | 15k| 0 | 0 | 0 |2183k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
857.62/857.67 c 816s| 1520k|440643 | 0 | 0.0 | 425M| 197 | - | 371 | 14k| 0 | 0 | 0 |2206k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
860.62/860.67 c 819s| 1530k|447779 | 0 | 0.0 | 428M| 197 | - | 371 |7934 | 0 | 0 | 0 |2214k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
861.23/861.27 o 26
861.23/861.27 c * 819s| 1531k|425172 | 0 | 0.0 | 399M| 197 | - | 371 |8124 | 0 | 0 | 0 |2216k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
863.62/863.66 c 821s| 1540k|430400 | 0 | 0.0 | 403M| 197 | - | 371 |8097 | 0 | 0 | 0 |2224k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
866.83/866.81 c 824s| 1550k|436558 | 0 | 0.0 | 408M| 197 | - | 371 |9293 | 0 | 0 | 0 |2235k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
870.32/870.36 c 828s| 1560k|442231 | 0 | 0.0 | 413M| 197 | - | 371 |9082 | 0 | 0 | 0 |2246k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
874.72/874.73 c 832s| 1570k|446662 | 0 | 0.0 | 419M| 197 | - | 371 |9677 | 0 | 0 | 0 |2261k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
879.92/879.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.92/879.94 c 837s| 1580k|449701 | 0 | 0.0 | 424M| 197 | - | 371 | 10k| 0 | 0 | 0 |2278k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
886.82/886.85 c 843s| 1590k|450117 | 0 | 0.0 | 428M| 197 | - | 371 | 10k| 0 | 0 | 0 |2299k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
892.92/892.91 c 849s| 1600k|449926 | 0 | 0.0 | 428M| 197 | - | 371 |4877 | 0 | 0 | 0 |2317k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
895.82/895.81 c 851s| 1610k|455207 | 0 | 0.0 | 432M| 197 | - | 371 |5711 | 0 | 0 | 0 |2329k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
898.63/898.67 c 854s| 1620k|460649 | 0 | 0.0 | 435M| 197 | - | 371 |5928 | 0 | 0 | 0 |2340k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
901.22/901.26 c 856s| 1630k|466826 | 0 | 0.0 | 440M| 197 | - | 371 |7731 | 0 | 0 | 0 |2352k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
904.62/904.63 c 859s| 1640k|471848 | 0 | 0.0 | 444M| 197 | - | 371 |5327 | 0 | 0 | 0 |2366k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
908.63/908.65 c 863s| 1650k|475385 | 0 | 0.0 | 449M| 197 | - | 371 |7559 | 0 | 0 | 0 |2383k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
913.82/913.83 c 868s| 1660k|477790 | 0 | 0.0 | 453M| 197 | - | 371 |9463 | 0 | 0 | 0 |2401k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
920.02/920.05 c 874s| 1670k|479275 | 0 | 0.0 | 458M| 197 | - | 371 | 11k| 0 | 0 | 0 |2420k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
928.42/928.40 c 882s| 1680k|476947 | 0 | 0.0 | 460M| 197 | - | 371 | 11k| 0 | 0 | 0 |2444k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
938.63/938.62 c 892s| 1690k|472393 | 0 | 0.0 | 459M| 197 | - | 371 | 15k| 0 | 0 | 0 |2476k| 0 | 1.000000e+00 | 2.600000e+01 |2500.00%
939.22/939.24 o 24
939.22/939.24 c * 892s| 1690k|454522 | 0 | 0.0 | 434M| 197 | - | 371 | 16k| 0 | 0 | 0 |2477k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
954.83/954.86 c 907s| 1700k|449991 | 0 | 0.0 | 436M| 197 | - | 371 | 17k| 0 | 0 | 0 |2512k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
973.53/973.55 c 926s| 1710k|444128 | 0 | 0.0 | 436M| 197 | - | 371 | 19k| 0 | 0 | 0 |2549k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
995.62/995.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.62/995.69 c 947s| 1720k|437055 | 0 | 0.0 | 435M| 197 | - | 371 | 23k| 0 | 0 | 0 |2587k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1019.32/1019.30 c 970s| 1730k|429685 | 0 | 0.0 | 433M| 197 | - | 371 | 24k| 0 | 0 | 0 |2625k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1044.22/1044.27 c 995s| 1740k|421602 | 0 | 0.0 | 431M| 197 | - | 371 | 28k| 0 | 0 | 0 |2663k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1073.43/1073.46 c 1024s| 1750k|412000 | 0 | 0.0 | 428M| 197 | - | 371 | 28k| 0 | 0 | 0 |2703k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1105.63/1105.62 c 1055s| 1760k|401611 | 0 | 0.0 | 424M| 197 | - | 371 | 32k| 0 | 0 | 0 |2743k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1142.23/1142.22 c 1091s| 1770k|390335 | 0 | 0.0 | 419M| 197 | - | 371 | 35k| 0 | 0 | 0 |2784k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1185.23/1185.25 c 1134s| 1780k|376025 | 0 | 0.0 | 408M| 197 | - | 371 | 39k| 0 | 0 | 0 |2826k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1230.73/1230.78 c 1179s| 1790k|356480 | 0 | 0.0 | 381M| 197 | - | 371 | 35k| 0 | 0 | 0 |2869k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1250.53/1250.52 c 1198s| 1800k|355027 | 0 | 0.0 | 376M| 197 | - | 371 | 27k| 0 | 0 | 0 |2895k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1267.03/1267.00 c 1214s| 1810k|355879 | 0 | 0.0 | 379M| 197 | - | 371 | 31k| 0 | 0 | 0 |2919k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1286.33/1286.31 c 1233s| 1820k|355702 | 0 | 0.0 | 382M| 197 | - | 371 | 34k| 0 | 0 | 0 |2944k| 0 | 1.000000e+00 | 2.400000e+01 |2300.00%
1296.14/1296.19 o 14
1296.14/1296.19 c *1243s| 1824k|279611 | 0 | 0.0 | 306M| 197 | - | 371 | 36k| 0 | 0 | 0 |2955k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1312.13/1312.16 c 1259s| 1830k|277555 | 0 | 0.0 | 307M| 197 | - | 371 | 35k| 0 | 0 | 0 |2971k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1338.74/1338.73 c 1285s| 1840k|274099 | 0 | 0.0 | 309M| 197 | - | 371 | 38k| 0 | 0 | 0 |3000k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1367.34/1367.33 c 1313s| 1850k|269827 | 0 | 0.0 | 308M| 197 | - | 371 | 36k| 0 | 0 | 0 |3029k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1395.54/1395.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.54/1395.51 c 1341s| 1860k|265245 | 0 | 0.0 | 306M| 197 | - | 371 | 34k| 0 | 0 | 0 |3058k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1423.04/1423.02 c 1368s| 1870k|259330 | 0 | 0.0 | 302M| 197 | - | 371 | 31k| 0 | 0 | 0 |3089k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1450.34/1450.37 c 1395s| 1880k|251760 | 0 | 0.0 | 297M| 197 | - | 371 | 32k| 0 | 0 | 0 |3121k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1477.53/1477.52 c 1421s| 1890k|243117 | 0 | 0.0 | 285M| 197 | - | 371 | 29k| 0 | 0 | 0 |3150k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1486.24/1486.23 c 1430s| 1900k|247491 | 0 | 0.0 | 285M| 197 | - | 371 | 15k| 0 | 0 | 0 |3164k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1493.64/1493.63 c 1437s| 1910k|250881 | 0 | 0.0 | 290M| 197 | - | 371 | 16k| 0 | 0 | 0 |3180k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1501.74/1501.73 c 1445s| 1920k|253686 | 0 | 0.0 | 294M| 197 | - | 371 | 17k| 0 | 0 | 0 |3196k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1510.84/1510.90 c 1454s| 1930k|255333 | 0 | 0.0 | 298M| 197 | - | 371 | 18k| 0 | 0 | 0 |3214k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1520.74/1520.76 c 1463s| 1940k|256616 | 0 | 0.0 | 301M| 197 | - | 371 | 18k| 0 | 0 | 0 |3232k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1531.44/1531.45 c 1474s| 1950k|257345 | 0 | 0.0 | 304M| 197 | - | 371 | 19k| 0 | 0 | 0 |3252k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1542.74/1542.72 c 1484s| 1960k|257655 | 0 | 0.0 | 306M| 197 | - | 371 | 20k| 0 | 0 | 0 |3271k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1555.25/1555.22 c 1497s| 1970k|257365 | 0 | 0.0 | 307M| 197 | - | 371 | 22k| 0 | 0 | 0 |3292k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1570.25/1570.26 c 1511s| 1980k|255805 | 0 | 0.0 | 306M| 197 | - | 371 | 24k| 0 | 0 | 0 |3315k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1586.94/1586.98 c 1528s| 1990k|253042 | 0 | 0.0 | 303M| 197 | - | 371 | 25k| 0 | 0 | 0 |3341k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1608.34/1608.34 c 1549s| 2000k|247616 | 0 | 0.0 | 292M| 197 | - | 371 | 18k| 0 | 0 | 0 |3367k| 0 | 1.000000e+00 | 1.400000e+01 |1300.00%
1613.24/1613.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.24/1613.25 c 1553s| 2010k|253258 | 0 | 0.0 | 293M| 197 | - | 371 | 11k| 0 | 0 | 0 |3379k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1618.55/1618.56 c 1558s| 2020k|257814 | 0 | 0.0 | 298M| 197 | - | 371 | 12k| 0 | 0 | 0 |3394k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1624.55/1624.57 c 1564s| 2030k|261527 | 0 | 0.0 | 302M| 197 | - | 371 | 13k| 0 | 0 | 0 |3409k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1630.64/1630.61 c 1570s| 2040k|265206 | 0 | 0.0 | 306M| 197 | - | 371 | 13k| 0 | 0 | 0 |3424k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1636.44/1636.49 c 1575s| 2050k|269257 | 0 | 0.0 | 310M| 197 | - | 371 | 14k| 0 | 0 | 0 |3440k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1642.54/1642.50 c 1581s| 2060k|273498 | 0 | 0.0 | 314M| 197 | - | 371 | 15k| 0 | 0 | 0 |3455k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1648.64/1648.69 c 1587s| 2070k|277615 | 0 | 0.0 | 318M| 197 | - | 371 | 16k| 0 | 0 | 0 |3470k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1655.74/1655.75 c 1594s| 2080k|281369 | 0 | 0.0 | 323M| 197 | - | 371 | 19k| 0 | 0 | 0 |3486k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1664.45/1664.40 c 1602s| 2090k|284233 | 0 | 0.0 | 328M| 197 | - | 371 | 22k| 0 | 0 | 0 |3504k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1675.04/1675.07 c 1613s| 2100k|285688 | 0 | 0.0 | 333M| 197 | - | 371 | 28k| 0 | 0 | 0 |3526k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1682.75/1682.79 c 1620s| 2110k|290406 | 0 | 0.0 | 331M| 197 | - | 371 | 11k| 0 | 0 | 0 |3540k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1688.25/1688.20 c 1625s| 2120k|294337 | 0 | 0.0 | 334M| 197 | - | 371 | 10k| 0 | 0 | 0 |3555k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1694.85/1694.87 c 1632s| 2130k|296569 | 0 | 0.0 | 338M| 197 | - | 371 | 12k| 0 | 0 | 0 |3573k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1703.04/1703.07 c 1639s| 2140k|297352 | 0 | 0.0 | 340M| 197 | - | 371 | 13k| 0 | 0 | 0 |3593k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1713.05/1713.07 c 1649s| 2150k|296827 | 0 | 0.0 | 342M| 197 | - | 371 | 15k| 0 | 0 | 0 |3614k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1725.45/1725.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.45/1725.40 c 1661s| 2160k|294611 | 0 | 0.0 | 341M| 197 | - | 371 | 17k| 0 | 0 | 0 |3637k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1739.75/1739.78 c 1675s| 2170k|290937 | 0 | 0.0 | 340M| 197 | - | 371 | 19k| 0 | 0 | 0 |3662k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1756.85/1756.81 c 1692s| 2180k|283590 | 0 | 0.0 | 331M| 197 | - | 371 | 18k| 0 | 0 | 0 |3689k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1765.25/1765.24 c 1700s| 2190k|284411 | 0 | 0.0 | 332M| 197 | - | 371 | 15k| 0 | 0 | 0 |3709k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
1777.55/1777.58 c 1712s| 2200k|280747 | 0 | 0.0 | 332M| 197 | - | 371 | 22k| 0 | 0 | 0 |3735k| 0 | 2.000000e+00 | 1.400000e+01 | 600.00%
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) : 1733.74
1800.05/1800.00 c Solving Nodes : 2208108
1800.05/1800.00 c Primal Bound : +1.40000000000000e+01 (12 solutions)
1800.05/1800.00 c Dual Bound : +2.00000000000000e+00
1800.05/1800.00 c Gap : 600.00 %
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 : 1733.74
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2694094-1277922988.wbo
1800.05/1800.00 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1800.05/1800.00 c Constraints : 203 initial, 203 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2694094-1277922988.wbo
1800.05/1800.00 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
1800.05/1800.00 c Constraints : 202 initial, 39749 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 0 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.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 101 0 1 0 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 : - 0 - - 0 - - - -
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 : 101 0 5922428 0 1558313 8127 2922903 0 0 0
1800.05/1800.00 c linear : 101 0 6282355 0 1629738 737644 34585802 0 0 0
1800.05/1800.00 c logicor : 0+ 0 2861231 0 0 91680 1288687 0 0 0
1800.05/1800.00 c bounddisjunction : 0+ 0 339462 0 0 2 9959 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1629747 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 : 4.02 0.00 2.42 0.00 1.60
1800.05/1800.00 c linear : 174.67 0.00 174.50 0.00 0.17
1800.05/1800.00 c logicor : 746.59 0.00 746.59 0.00 0.00
1800.05/1800.00 c bounddisjunction : 3.52 0.00 3.52 0.00 0.00
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.00 2 0 0
1800.05/1800.00 c rootredcost : 0.00 0 0 0
1800.05/1800.00 c pseudoobj : 19.78 6300562 10269 2719061
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 51.48 839595 839393 4794680 25.3 596181 14.1 -
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.00 112 112 357 16.1 79 14.3 -
1800.05/1800.00 c applied globally : - - - 3702857 18.0 - - -
1800.05/1800.00 c applied locally : - - - 59179 36.9 - - -
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 : 13.45 1629738 0 0 0 0 3259476
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 : 0.49 - 9
1800.05/1800.00 c oneopt : 0.07 0 0
1800.05/1800.00 c trivial : 0.00 2 2
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.00 0 0
1800.05/1800.00 c trysol : 0.01 1 1
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 : 2208108
1800.05/1800.00 c nodes (total) : 2208108
1800.05/1800.00 c nodes left : 273533
1800.05/1800.00 c max depth : 197
1800.05/1800.00 c max depth (total): 197
1800.05/1800.00 c backtracks : 659880 (29.9%)
1800.05/1800.00 c delayed cutoffs : 462287
1800.05/1800.00 c repropagations : 2454972 (11549812 domain reductions, 269473 cutoffs)
1800.05/1800.00 c avg switch length: 22.54
1800.05/1800.00 c switching time : 565.61
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 12 (10 improvements)
1800.05/1800.00 c First Solution : +4.94300000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.05/1800.00 c Primal Bound : +1.40000000000000e+01 (in run 1, after 1824531 nodes, 1242.73 seconds, depth 75, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +2.00000000000000e+00
1800.05/1800.00 c Gap : 600.00 %
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1800.75/1800.73 c Time complete: 1800.78.
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694094-1277922988/watcher-2694094-1277922988 -o /tmp/evaluation-result-2694094-1277922988/solver-2694094-1277922988 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694094-1277922988.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.01 2.00 2.00 3/178 12332 /proc/meminfo: memFree=29934740/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=8252 CPUtime=0 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 1546 0 0 0 0 0 0 0 24 0 1 0 133596156 8450048 1469 4089446400 4194304 7136930 140737064931008 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12332/statm: 2063 1469 275 719 0 1342 0 [startup+0.068272 s] /proc/loadavg: 2.01 2.00 2.00 3/178 12332 /proc/meminfo: memFree=29934740/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=13512 CPUtime=0.06 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 3345 0 0 0 4 2 0 0 18 0 1 0 133596156 13836288 2658 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 3378 2658 390 719 0 2657 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13512 [startup+0.100264 s] /proc/loadavg: 2.01 2.00 2.00 3/178 12332 /proc/meminfo: memFree=29934740/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=13780 CPUtime=0.08 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 3418 0 0 0 6 2 0 0 18 0 1 0 133596156 14110720 2731 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 3445 2731 390 719 0 2724 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13780 [startup+0.300229 s] /proc/loadavg: 2.01 2.00 2.00 3/178 12332 /proc/meminfo: memFree=29934740/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=16584 CPUtime=0.29 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 4124 0 0 0 23 6 0 0 18 0 1 0 133596156 16982016 3437 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 4146 3437 390 719 0 3425 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16584 [startup+0.700153 s] /proc/loadavg: 2.01 2.00 2.00 3/178 12332 /proc/meminfo: memFree=29934740/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=19688 CPUtime=0.69 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 4915 0 0 0 58 11 0 0 18 0 1 0 133596156 20160512 4228 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 4922 4228 390 719 0 4201 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19688 [startup+1.50101 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12333 /proc/meminfo: memFree=29916008/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=21760 CPUtime=1.49 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 5410 0 0 0 129 20 0 0 20 0 1 0 133596156 22282240 4723 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 5440 4723 390 719 0 4719 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21760 [startup+3.10071 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12333 /proc/meminfo: memFree=29907576/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=28008 CPUtime=3.09 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 7017 0 0 0 270 39 0 0 25 0 1 0 133596156 28680192 6330 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 7002 6330 390 719 0 6281 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28008 [startup+6.30012 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12333 /proc/meminfo: memFree=29892092/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=37096 CPUtime=6.29 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 9271 0 0 0 565 64 0 0 25 0 1 0 133596156 37986304 8584 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 9274 8584 390 719 0 8553 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37096 [startup+12.7009 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12333 /proc/meminfo: memFree=29851036/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=59048 CPUtime=12.69 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 14480 0 0 0 1088 181 0 0 25 0 1 0 133596156 60465152 13793 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 14762 13793 390 719 0 14041 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59048 [startup+25.5006 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12333 /proc/meminfo: memFree=29772512/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=97136 CPUtime=25.49 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 24194 0 0 0 2184 365 0 0 25 0 1 0 133596156 99467264 23507 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 24284 23507 390 719 0 23563 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 97136 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12334 /proc/meminfo: memFree=29683180/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=136516 CPUtime=51.09 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 33169 0 0 0 4468 641 0 0 25 0 1 0 133596156 139792384 32482 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 34129 32482 393 719 0 33408 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 136516 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12335 /proc/meminfo: memFree=29547112/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=181980 CPUtime=102.3 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 44292 0 0 0 9289 941 0 0 25 0 1 0 133596156 186347520 43605 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 45495 43605 393 719 0 44774 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 181980 [startup+162.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12337 /proc/meminfo: memFree=29395292/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=228508 CPUtime=162.3 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 55871 0 0 0 14961 1269 0 0 25 0 1 0 133596156 233992192 55184 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 57127 55184 393 719 0 56406 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 228508 [startup+222.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12339 /proc/meminfo: memFree=29204404/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=297256 CPUtime=222.29 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 73284 0 0 0 20589 1640 0 0 25 0 1 0 133596156 304390144 72597 4089446400 4194304 7136930 140737064931008 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 74314 72597 393 719 0 73593 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 297256 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12340 /proc/meminfo: memFree=29059396/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=344328 CPUtime=282.3 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 85076 0 0 0 26334 1896 0 0 25 0 1 0 133596156 352591872 84389 4089446400 4194304 7136930 140737064931008 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 86082 84389 393 719 0 85361 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 344328 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12342 /proc/meminfo: memFree=28906316/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=375188 CPUtime=342.3 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 92890 0 0 0 32046 2184 0 0 25 0 1 0 133596156 384192512 92203 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 93797 92203 393 719 0 93076 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 375188 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12343 /proc/meminfo: memFree=28740972/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=430432 CPUtime=402.3 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 106822 0 0 0 37616 2614 0 0 25 0 1 0 133596156 440762368 106135 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 107608 106135 393 719 0 106887 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 430432 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12345 /proc/meminfo: memFree=28663036/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=473536 CPUtime=462.31 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 115753 0 0 0 43337 2894 0 0 25 0 1 0 133596156 484900864 115066 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 118384 115066 393 719 0 117663 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 473536 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12346 /proc/meminfo: memFree=28577532/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=504768 CPUtime=522.3 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 123556 0 0 0 49115 3115 0 0 25 0 1 0 133596156 516882432 122869 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 126192 122869 393 719 0 125471 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 504768 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12348 /proc/meminfo: memFree=28489308/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=524300 CPUtime=582.31 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 128388 0 0 0 54938 3293 0 0 25 0 1 0 133596156 536883200 127701 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 131075 127701 393 719 0 130354 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 524300 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12350 /proc/meminfo: memFree=28398100/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=546148 CPUtime=642.31 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 133793 0 0 0 60773 3458 0 0 25 0 1 0 133596156 559255552 133106 4089446400 4194304 7136930 140737064931008 18446744073709551615 4210345 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 136537 133106 393 719 0 135816 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 546148 [startup+702.3 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12359 /proc/meminfo: memFree=27996256/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=605128 CPUtime=1002.32 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 148257 0 0 0 95382 4850 0 0 25 0 1 0 133596156 619651072 147570 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 151282 147570 393 719 0 150561 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 605128 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12361 /proc/meminfo: memFree=27915860/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=605964 CPUtime=1062.33 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 148481 0 0 0 101269 4964 0 0 25 0 1 0 133596156 620507136 147794 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 151491 147794 393 719 0 150770 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 605964 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12363 /proc/meminfo: memFree=27848364/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=608664 CPUtime=1122.33 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149100 0 0 0 107178 5055 0 0 25 0 1 0 133596156 623271936 148413 4089446400 4194304 7136930 140737064931008 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152166 148413 393 719 0 151445 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 608664 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12364 /proc/meminfo: memFree=27756452/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=609280 CPUtime=1182.33 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149222 0 0 0 113094 5139 0 0 25 0 1 0 133596156 623902720 148535 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152320 148535 393 719 0 151599 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 609280 [startup+1242.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12366 /proc/meminfo: memFree=27671720/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=609280 CPUtime=1242.34 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149232 0 0 0 118998 5236 0 0 25 0 1 0 133596156 623902720 148545 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152320 148545 393 719 0 151599 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 609280 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12367 /proc/meminfo: memFree=27595028/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=609760 CPUtime=1302.34 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149321 0 0 0 124892 5342 0 0 25 0 1 0 133596156 624394240 148634 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152440 148634 393 719 0 151719 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 609760 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12369 /proc/meminfo: memFree=27501004/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=610156 CPUtime=1362.33 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149382 0 0 0 130801 5432 0 0 25 0 1 0 133596156 624799744 148695 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152539 148695 393 719 0 151818 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 610156 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12444 /proc/meminfo: memFree=29900544/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=610156 CPUtime=1422.34 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149408 0 0 0 136708 5526 0 0 25 0 1 0 133596156 624799744 148721 4089446400 4194304 7136930 140737064931008 18446744073709551615 5957371 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152539 148721 393 719 0 151818 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 610156 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12454 /proc/meminfo: memFree=29879016/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=610156 CPUtime=1482.34 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149419 0 0 0 142603 5631 0 0 25 0 1 0 133596156 624799744 148732 4089446400 4194304 7136930 140737064931008 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152539 148732 393 719 0 151818 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 610156 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12456 /proc/meminfo: memFree=29872132/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=610156 CPUtime=1542.34 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149426 0 0 0 148407 5827 0 0 25 0 1 0 133596156 624799744 148739 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152539 148739 393 719 0 151818 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 610156 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12457 /proc/meminfo: memFree=29856336/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=610156 CPUtime=1602.35 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149431 0 0 0 154267 5968 0 0 25 0 1 0 133596156 624799744 148744 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152539 148744 393 719 0 151818 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 610156 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12459 /proc/meminfo: memFree=29855652/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=610156 CPUtime=1662.34 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149431 0 0 0 160013 6221 0 0 25 0 1 0 133596156 624799744 148744 4089446400 4194304 7136930 140737064931008 18446744073709551615 4212288 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152539 148744 393 719 0 151818 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 610156 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12461 /proc/meminfo: memFree=29844560/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=610156 CPUtime=1722.35 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149448 0 0 0 165804 6431 0 0 25 0 1 0 133596156 624799744 148761 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152539 148761 393 719 0 151818 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 610156 [startup+1782.3 s] /proc/loadavg: 2.05 2.01 2.00 3/197 12462 /proc/meminfo: memFree=29838808/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=610156 CPUtime=1782.34 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149460 0 0 0 171634 6600 0 0 25 0 1 0 133596156 624799744 148773 4089446400 4194304 7136930 140737064931008 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152539 148773 393 719 0 151818 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 610156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.01 2.00 3/197 12463 /proc/meminfo: memFree=29836936/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=611924 CPUtime=1800.05 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149923 0 0 0 173374 6631 0 0 25 0 1 0 133596156 626610176 149236 4089446400 4194304 7136930 140737064931008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12332/statm: 152981 149236 393 719 0 152260 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 611924 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.04 2.01 2.00 3/197 12463 /proc/meminfo: memFree=29836936/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=611924 CPUtime=1800.25 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149931 0 0 0 173394 6631 0 0 25 0 1 0 133596156 626610176 149244 4089446400 4194304 7136930 140737064931008 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12332/statm: 152981 149244 399 719 0 152260 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 611924 [startup+1800.6 s] /proc/loadavg: 2.04 2.01 2.00 3/198 12464 /proc/meminfo: memFree=29836928/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=611924 CPUtime=1800.65 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149931 0 0 0 173434 6631 0 0 25 0 1 0 133596156 626610176 149244 4089446400 4194304 7136930 140737064931008 18446744073709551615 6166241 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12332/statm: 152981 149244 399 719 0 152260 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (KiB) 611924 [startup+1800.71 s] /proc/loadavg: 2.04 2.01 2.00 3/198 12464 /proc/meminfo: memFree=29836928/32951124 swapFree=67111528/67111528 [pid=12332] ppid=12330 vsize=558664 CPUtime=1800.75 /proc/12332/stat : 12332 (pbscip.linux.x8) R 12330 12332 11289 0 -1 4202496 149931 0 0 0 173444 6631 0 0 25 0 1 0 133596156 572071936 135930 4089446400 4194304 7136930 140737064931008 18446744073709551615 4997782 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12332/statm: 139666 135930 399 719 0 138945 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (KiB) 558664 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.8 CPU user time (s): 1734.46 CPU system time (s): 66.3389 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 611924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1734.46 system time used= 66.3389 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 149938 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= 3821 runsolver used 3.51546 second user time and 5.99009 second system time The end
Begin job on node105 at 2010-06-30 20:36:28 IDJOB=2694094 IDBENCH=79195 IDSOLVER=1206 FILE ID=node105/2694094-1277922988 PBS_JOBID= 11197291 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217392--soft-0-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-2694094-1277922988/watcher-2694094-1277922988 -o /tmp/evaluation-result-2694094-1277922988/solver-2694094-1277922988 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694094-1277922988.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 86727f41c04b3a3cda96c180ef39a0ad RANDOM SEED=785314163 node105.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.840 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.68 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.840 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 : 5226.15 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.840 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.82 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.840 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.840 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.94 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.840 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.70 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.840 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.840 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: 32951124 kB MemFree: 29935640 kB Buffers: 205780 kB Cached: 1819492 kB SwapCached: 0 kB Active: 1320480 kB Inactive: 1548140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29935640 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3264 kB Writeback: 0 kB AnonPages: 843472 kB Mapped: 15080 kB Slab: 80732 kB PageTables: 6692 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 990008 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= 74208 MiB End job on node105 at 2010-06-30 21:06:30