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) | 1802.13 | 1802.08 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo |
| MD5SUM | ebe664bdb6d24f27290f0bb7f023aa5a |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 776.621 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 135641 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135640 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-2693723-1277931202.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.09/0.12 o 135640
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.356400e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 2707 implications, 0 cliques
0.09/0.19 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.19 c 2707 constraints of type <indicator>
0.09/0.19 c 2707 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.356400e+05 | Inf
1.89/1.95 o 418
1.89/1.95 c * 1.8s| 6251 | 5874 | 0 | 0.0 | 23M|2816 | - |5645 |6703 | 0 | 0 | 0 |1289 | 0 | 0.000000e+00 | 4.180000e+02 | Inf
2.99/3.03 o 370
2.99/3.03 c * 2.8s| 9684 | 9228 | 0 | 0.0 | 24M|2816 | - |5645 |6792 | 0 | 0 | 0 |1378 | 0 | 0.000000e+00 | 3.700000e+02 | Inf
3.09/3.10 o 219
3.09/3.10 c * 2.8s| 9866 | 6607 | 0 | 0.0 | 24M|2816 | - |5645 |6806 | 0 | 0 | 0 |1394 | 0 | 0.000000e+00 | 2.190000e+02 | Inf
3.09/3.10 o 211
3.09/3.10 c * 2.8s| 9867 | 6570 | 0 | 0.0 | 24M|2816 | - |5645 |6806 | 0 | 0 | 0 |1394 | 0 | 0.000000e+00 | 2.110000e+02 | Inf
3.09/3.14 c 2.9s| 10000 | 6700 | 0 | 0.0 | 24M|2816 | - |5645 |6826 | 0 | 0 | 0 |1414 | 0 | 0.000000e+00 | 2.110000e+02 | Inf
6.89/6.98 c 6.5s| 20000 | 14925 | 0 | 0.0 | 36M|2816 | - |5645 |7887 | 0 | 0 | 0 |9036 | 0 | 0.000000e+00 | 2.110000e+02 | Inf
13.39/13.49 c 12.7s| 30000 | 20616 | 0 | 0.0 | 49M|2816 | - |5645 | 10k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
13.80/13.86 o 209
13.80/13.86 c *13.0s| 30701 | 21276 | 0 | 0.0 | 50M|2816 | - |5645 | 10k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.090000e+02 | Inf
14.19/14.23 o 206
14.19/14.23 c *13.4s| 31313 | 21829 | 0 | 0.0 | 51M|2816 | - |5645 |9992 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.060000e+02 | Inf
14.59/14.67 o 180
14.59/14.67 c *13.8s| 32025 | 22203 | 0 | 0.0 | 51M|2816 | - |5645 |9770 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.800000e+02 | Inf
14.79/14.87 o 179
14.79/14.87 c *14.0s| 32339 | 22494 | 0 | 0.0 | 51M|2816 | - |5645 |9578 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
15.29/15.38 o 157
15.29/15.38 c *14.5s| 33138 | 23014 | 0 | 0.0 | 51M|2816 | - |5645 |9133 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
17.49/17.60 o 143
17.49/17.60 c *16.6s| 36030 | 25515 | 0 | 0.0 | 55M|2816 | - |5645 |9155 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
17.60/17.68 o 134
17.60/17.68 c *16.7s| 36102 | 25507 | 0 | 0.0 | 56M|2816 | - |5645 |9148 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
19.19/19.23 o 125
19.19/19.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.19/19.23 c *18.2s| 38526 | 27572 | 0 | 0.0 | 59M|2816 | - |5645 |8403 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
20.09/20.15 c 19.1s| 40000 | 28879 | 0 | 0.0 | 61M|2816 | - |5645 |8278 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
21.79/21.80 o 119
21.79/21.80 c *20.7s| 42804 | 31355 | 0 | 0.0 | 65M|2816 | - |5645 |8253 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
22.59/22.61 o 109
22.59/22.61 c *21.4s| 44176 | 32399 | 0 | 0.0 | 67M|2816 | - |5645 |8480 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
22.59/22.61 o 106
22.59/22.61 c *21.4s| 44177 | 32355 | 0 | 0.0 | 67M|2816 | - |5645 |8480 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
22.80/22.87 o 87
22.80/22.87 c *21.7s| 44651 | 31716 | 0 | 0.0 | 63M|2816 | - |5645 |8314 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
24.79/24.90 o 51
24.79/24.90 c *23.6s| 47255 | 31725 | 0 | 0.0 | 61M|2816 | - |5645 |8142 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
25.09/25.12 o 46
25.09/25.12 c *23.8s| 47672 | 31646 | 0 | 0.0 | 62M|2816 | - |5645 |7984 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
26.49/26.54 c 25.1s| 50000 | 33636 | 0 | 0.0 | 63M|2816 | - |5645 |6677 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
26.60/26.60 o 45
26.60/26.60 c *25.2s| 50152 | 33684 | 0 | 0.0 | 64M|2816 | - |5645 |6664 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
27.79/27.86 o 42
27.79/27.86 c *26.4s| 52680 | 35539 | 0 | 0.0 | 66M|2816 | - |5645 |7109 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
31.59/31.65 c 30.0s| 60000 | 41500 | 0 | 0.0 | 74M|2816 | - |5645 |7802 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
34.29/34.38 o 29
34.29/34.38 c *32.5s| 66009 | 45532 | 0 | 0.0 | 79M|2816 | - |5645 |7660 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
36.09/36.12 c 34.1s| 70000 | 48832 | 0 | 0.0 | 83M|2816 | - |5645 |7663 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
40.29/40.36 c 38.1s| 80000 | 56894 | 0 | 0.0 | 93M|2816 | - |5645 |7248 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
45.20/45.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.20/45.27 c 42.7s| 90000 | 64200 | 0 | 0.0 | 104M|2816 | - |5645 |7826 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
50.60/50.63 c 47.8s|100000 | 71044 | 0 | 0.0 | 116M|2816 | - |5645 |8210 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
56.39/56.45 c 53.4s|110000 | 77514 | 0 | 0.0 | 127M|2816 | - |5645 |8977 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
62.60/62.69 c 59.4s|120000 | 83596 | 0 | 0.0 | 138M|2816 | - |5645 |9477 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
69.50/69.55 c 65.9s|130000 | 89187 | 0 | 0.0 | 150M|2816 | - |5645 | 10k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
77.09/77.11 c 73.2s|140000 | 94202 | 0 | 0.0 | 162M|2816 | - |5645 | 11k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
85.59/85.64 c 81.5s|150000 | 98531 | 0 | 0.0 | 172M|2816 | - |5645 | 12k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
95.00/95.08 c 90.7s|160000 |102251 | 0 | 0.0 | 183M|2816 | - |5645 | 13k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
106.40/106.42 c 102s|170000 |104463 | 0 | 0.0 | 188M|2816 | - |5645 |9764 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
111.59/111.69 c 107s|180000 |112911 | 0 | 0.0 | 199M|2816 | - |5645 |6400 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
118.29/118.30 c 113s|190000 |120596 | 0 | 0.0 | 213M|2816 | - |5645 |7289 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
126.50/126.59 c 121s|200000 |127073 | 0 | 0.0 | 231M|2816 | - |5645 |9345 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
130.00/130.04 o 28
130.00/130.04 c * 124s|202708 |127561 | 0 | 0.0 | 237M|2816 | - |5645 | 11k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
133.89/133.92 c 128s|210000 |133081 | 0 | 0.0 | 243M|2816 | - |5645 |8353 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
136.80/136.80 o 27
136.80/136.80 c * 131s|215037 |136981 | 0 | 0.0 | 250M|2816 | - |5645 |9211 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
140.50/140.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.50/140.51 c 134s|220000 |140287 | 0 | 0.0 | 257M|2816 | - |5645 | 10k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
142.19/142.21 o 26
142.19/142.21 c * 136s|221595 |140796 | 0 | 0.0 | 259M|2816 | - |5645 | 11k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
145.29/145.35 o 21
145.29/145.35 c * 139s|227218 |144222 | 0 | 0.0 | 258M|2816 | - |5645 |8942 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
146.80/146.85 c 141s|230000 |146485 | 0 | 0.0 | 261M|2816 | - |5645 |9278 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
154.40/154.44 c 148s|240000 |152249 | 0 | 0.0 | 274M|2816 | - |5645 | 11k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
155.99/156.06 o 16
155.99/156.06 c * 149s|243485 |153797 | 0 | 0.0 | 267M|2816 | - |5645 |9811 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
159.59/159.60 c 153s|250000 |158939 | 0 | 0.0 | 275M|2816 | - |5645 | 10k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
166.49/166.59 c 159s|260000 |165187 | 0 | 0.0 | 287M|2816 | - |5645 | 10k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
173.80/173.89 c 166s|270000 |171535 | 0 | 0.0 | 299M|2816 | - |5645 | 15k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
180.09/180.18 c 172s|280000 |178975 | 0 | 0.0 | 313M|2816 | - |5645 | 11k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
188.69/188.79 c 181s|290000 |185010 | 0 | 0.0 | 328M|2816 | - |5645 | 14k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
195.20/195.30 c 187s|300000 |193289 | 0 | 0.0 | 359M|2816 | - |5645 | 13k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
203.00/203.05 c 194s|310000 |200960 | 0 | 0.0 | 398M|2816 | - |5645 | 15k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
211.90/211.90 c 203s|320000 |207819 | 0 | 0.0 | 428M|2816 | - |5645 | 11k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
218.60/218.62 c 209s|330000 |213861 | 0 | 0.0 | 437M|2816 | - |5645 | 12k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
224.60/224.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.60/224.68 c 215s|340000 |220524 | 0 | 0.0 | 446M|2816 | - |5645 | 10k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
230.69/230.78 c 221s|350000 |227028 | 0 | 0.0 | 457M|2816 | - |5645 | 13k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
235.60/235.63 c 225s|360000 |234812 | 0 | 0.0 | 466M|2816 | - |5645 | 11k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
241.59/241.68 c 231s|370000 |241361 | 0 | 0.0 | 475M|2816 | - |5645 | 11k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
246.20/246.22 c 235s|380000 |249462 | 0 | 0.0 | 485M|2816 | - |5645 | 11k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
251.70/251.74 c 240s|390000 |256585 | 0 | 0.0 | 495M|2816 | - |5645 | 12k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
258.30/258.37 c 247s|400000 |262723 | 0 | 0.0 | 503M|2816 | - |5645 | 11k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
264.40/264.45 c 252s|410000 |269260 | 0 | 0.0 | 513M|2816 | - |5645 | 13k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
269.10/269.14 c 257s|420000 |277299 | 0 | 0.0 | 522M|2816 | - |5645 | 11k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
275.29/275.39 c 263s|430000 |283921 | 0 | 0.0 | 533M|2816 | - |5645 | 13k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
282.30/282.32 c 269s|440000 |290106 | 0 | 0.0 | 542M|2816 | - |5645 | 12k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
288.60/288.62 c 275s|450000 |296697 | 0 | 0.0 | 552M|2816 | - |5645 | 12k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
294.81/294.84 c 281s|460000 |303468 | 0 | 0.0 | 563M|2816 | - |5645 | 12k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
301.30/301.30 c 287s|470000 |310006 | 0 | 0.0 | 573M|2816 | - |5645 | 12k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
307.60/307.66 c 294s|480000 |316521 | 0 | 0.0 | 582M|2816 | - |5645 | 12k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
313.40/313.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.40/313.47 c 299s|490000 |323687 | 0 | 0.0 | 592M|2816 | - |5645 | 11k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
319.00/319.00 c 304s|500000 |330875 | 0 | 0.0 | 601M|2816 | - |5645 | 11k| 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
324.30/324.38 c 310s|510000 |338158 | 0 | 0.0 | 611M|2816 | - |5645 | 12k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
330.10/330.13 c 315s|520000 |345011 | 0 | 0.0 | 620M|2816 | - |5645 | 12k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
334.80/334.84 c 319s|530000 |352843 | 0 | 0.0 | 628M|2816 | - |5645 |6037 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
338.60/338.69 c 323s|540000 |361159 | 0 | 0.0 | 637M|2816 | - |5645 |6070 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
342.40/342.46 c 327s|550000 |369315 | 0 | 0.0 | 646M|2816 | - |5645 |5806 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
348.20/348.21 c 332s|560000 |375696 | 0 | 0.0 | 658M|2816 | - |5645 |7352 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
354.30/354.34 c 338s|570000 |381884 | 0 | 0.0 | 669M|2816 | - |5645 |8254 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
360.81/360.82 c 344s|580000 |387760 | 0 | 0.0 | 680M|2816 | - |5645 |8756 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
368.20/368.24 c 351s|590000 |392771 | 0 | 0.0 | 691M|2816 | - |5645 |9559 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
376.11/376.16 c 359s|600000 |397477 | 0 | 0.0 | 702M|2816 | - |5645 | 10k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
384.80/384.87 c 367s|610000 |401585 | 0 | 0.0 | 713M|2816 | - |5645 | 10k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
394.00/394.06 c 376s|620000 |405402 | 0 | 0.0 | 724M|2816 | - |5645 | 10k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
403.71/403.71 c 385s|630000 |408723 | 0 | 0.0 | 734M|2816 | - |5645 | 10k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
413.61/413.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.61/413.64 c 395s|640000 |412002 | 0 | 0.0 | 745M|2816 | - |5645 | 11k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
424.40/424.41 c 405s|650000 |415159 | 0 | 0.0 | 755M|2816 | - |5645 | 12k| 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
435.11/435.12 c 416s|660000 |418446 | 0 | 0.0 | 765M|2816 | - |5645 | 12k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
446.00/446.03 c 426s|670000 |421630 | 0 | 0.0 | 774M|2816 | - |5645 | 12k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
457.50/457.59 c 438s|680000 |424319 | 0 | 0.0 | 784M|2816 | - |5645 | 12k| 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
468.90/468.98 c 449s|690000 |427215 | 0 | 0.0 | 793M|2816 | - |5645 | 12k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
480.80/480.86 c 460s|700000 |429814 | 0 | 0.0 | 802M|2816 | - |5645 | 13k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
492.81/492.88 c 472s|710000 |432355 | 0 | 0.0 | 811M|2816 | - |5645 | 14k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
505.00/505.10 c 484s|720000 |435084 | 0 | 0.0 | 819M|2816 | - |5645 | 13k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
518.81/518.81 c 497s|730000 |436566 | 0 | 0.0 | 827M|2816 | - |5645 | 15k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
532.70/532.70 c 511s|740000 |438300 | 0 | 0.0 | 834M|2816 | - |5645 | 15k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
547.91/547.92 c 526s|750000 |439324 | 0 | 0.0 | 841M|2816 | - |5645 | 16k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
565.11/565.18 c 542s|760000 |439251 | 0 | 0.0 | 847M|2816 | - |5645 | 14k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
582.30/582.37 c 559s|770000 |434367 | 0 | 0.0 | 834M|2816 | - |5645 | 10k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
587.41/587.45 c 564s|780000 |442531 | 0 | 0.0 | 843M|2816 | - |5645 |5651 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
592.10/592.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.10/592.12 c 568s|790000 |450641 | 0 | 0.0 | 853M|2816 | - |5645 |5664 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
597.31/597.39 c 573s|800000 |458296 | 0 | 0.0 | 863M|2816 | - |5645 |6110 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
603.11/603.11 c 579s|810000 |465610 | 0 | 0.0 | 874M|2816 | - |5645 |6562 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
609.01/609.05 c 584s|820000 |472795 | 0 | 0.0 | 884M|2816 | - |5645 |6680 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
615.30/615.31 c 590s|830000 |479702 | 0 | 0.0 | 895M|2816 | - |5645 |7023 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
622.91/622.94 c 597s|840000 |485678 | 0 | 0.0 | 908M|2816 | - |5645 |7394 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
631.71/631.74 c 606s|850000 |490903 | 0 | 0.0 | 922M|2816 | - |5645 |7859 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
640.60/640.69 c 614s|860000 |495963 | 0 | 0.0 | 934M|2816 | - |5645 |8136 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
649.81/649.82 c 623s|870000 |500901 | 0 | 0.0 | 947M|2816 | - |5645 |8138 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
659.31/659.33 c 632s|880000 |505531 | 0 | 0.0 | 960M|2816 | - |5645 |8463 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
668.72/668.75 c 641s|890000 |510185 | 0 | 0.0 | 971M|2816 | - |5645 |7944 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
678.01/678.08 c 650s|900000 |514912 | 0 | 0.0 | 984M|2816 | - |5645 |8518 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
687.42/687.50 o 9
687.42/687.50 c * 659s|909786 |514832 | 0 | 0.0 | 956M|2816 | - |5645 |9177 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
687.81/687.87 c 660s|910000 |514891 | 0 | 0.0 | 957M|2816 | - |5645 |9190 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
701.11/701.10 c 672s|920000 |518337 | 0 | 0.0 | 980M|2816 | - |5645 | 11k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
716.21/716.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.21/716.26 c 687s|930000 |520209 | 0 | 0.0 | 993M|2816 | - |5645 | 14k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
730.21/730.28 c 701s|940000 |522521 | 0 | 0.0 | 998M|2816 | - |5645 | 10k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
735.82/735.81 c 706s|950000 |530092 | 0 | 0.0 |1008M|2816 | - |5645 |9023 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
741.91/741.90 c 712s|960000 |537135 | 0 | 0.0 |1018M|2816 | - |5645 |9627 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
748.51/748.57 c 718s|970000 |543800 | 0 | 0.0 |1028M|2816 | - |5645 | 10k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
755.71/755.74 c 725s|980000 |550024 | 0 | 0.0 |1038M|2816 | - |5645 | 11k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
764.11/764.17 c 733s|990000 |555447 | 0 | 0.0 |1049M|2816 | - |5645 | 12k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
774.22/774.22 c 742s| 1000k|559875 | 0 | 0.0 |1059M|2816 | - |5645 | 14k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
786.71/786.73 c 755s| 1010k|562814 | 0 | 0.0 |1069M|2816 | - |5645 | 16k| 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
804.91/804.98 c 772s| 1020k|562412 | 0 | 0.0 |1076M|2816 | - |5645 | 19k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
812.01/812.04 c 779s| 1030k|569287 | 0 | 0.0 |1081M|2816 | - |5645 |9987 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
817.91/817.94 c 785s| 1040k|576548 | 0 | 0.0 |1091M|2816 | - |5645 | 10k| 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
824.51/824.56 c 791s| 1050k|583295 | 0 | 0.0 |1100M|2816 | - |5645 | 11k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
831.71/831.75 c 798s| 1060k|589602 | 0 | 0.0 |1111M|2816 | - |5645 | 12k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
838.51/838.58 o 8
838.51/838.58 c * 804s| 1068k|593930 | 0 | 0.0 |1117M|2816 | - |5645 | 13k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
840.21/840.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.21/840.25 c 806s| 1070k|594779 | 0 | 0.0 |1118M|2816 | - |5645 | 11k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
849.71/849.70 c 815s| 1080k|599358 | 0 | 0.0 |1128M|2816 | - |5645 | 13k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
861.21/861.26 c 826s| 1090k|602579 | 0 | 0.0 |1138M|2816 | - |5645 | 14k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
877.41/877.42 c 842s| 1100k|602813 | 0 | 0.0 |1145M|2816 | - |5645 | 18k| 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
883.51/883.54 c 848s| 1110k|610122 | 0 | 0.0 |1151M|2816 | - |5645 | 10k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
889.21/889.25 c 853s| 1120k|617329 | 0 | 0.0 |1161M|2816 | - |5645 | 11k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
895.42/895.43 c 859s| 1130k|624176 | 0 | 0.0 |1171M|2816 | - |5645 | 12k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
902.32/902.34 c 865s| 1140k|630484 | 0 | 0.0 |1182M|2816 | - |5645 | 12k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
910.52/910.57 c 873s| 1150k|635884 | 0 | 0.0 |1192M|2816 | - |5645 | 14k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
920.72/920.70 c 883s| 1160k|640075 | 0 | 0.0 |1202M|2816 | - |5645 | 15k| 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
933.62/933.68 c 895s| 1170k|642521 | 0 | 0.0 |1211M|2816 | - |5645 | 17k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
945.62/945.68 c 907s| 1180k|646090 | 0 | 0.0 |1215M|2816 | - |5645 | 12k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
951.31/951.31 c 912s| 1190k|653494 | 0 | 0.0 |1225M|2816 | - |5645 | 11k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
957.51/957.54 c 918s| 1200k|660332 | 0 | 0.0 |1235M|2816 | - |5645 | 12k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
964.42/964.46 c 925s| 1210k|666695 | 0 | 0.0 |1246M|2816 | - |5645 | 13k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
972.22/972.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.22/972.21 c 932s| 1220k|672558 | 0 | 0.0 |1256M|2816 | - |5645 | 14k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
981.31/981.38 c 941s| 1230k|677490 | 0 | 0.0 |1266M|2816 | - |5645 | 16k| 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
992.81/992.84 c 952s| 1240k|680930 | 0 | 0.0 |1276M|2816 | - |5645 | 18k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1008.12/1008.12 c 967s| 1250k|682236 | 0 | 0.0 |1283M|2816 | - |5645 | 20k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1018.32/1018.37 c 976s| 1260k|687415 | 0 | 0.0 |1289M|2816 | - |5645 | 12k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1024.32/1024.33 c 982s| 1270k|694837 | 0 | 0.0 |1299M|2816 | - |5645 | 13k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1030.92/1030.91 c 988s| 1280k|701771 | 0 | 0.0 |1309M|2816 | - |5645 | 13k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1038.22/1038.27 c 995s| 1290k|708204 | 0 | 0.0 |1320M|2816 | - |5645 | 14k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1046.51/1046.52 c 1003s| 1300k|714082 | 0 | 0.0 |1330M|2816 | - |5645 | 15k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1055.82/1055.82 c 1012s| 1310k|719315 | 0 | 0.0 |1341M|2816 | - |5645 | 16k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1066.42/1066.47 c 1022s| 1320k|723785 | 0 | 0.0 |1350M|2816 | - |5645 | 18k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1073.62/1073.63 o 7
1073.62/1073.63 c *1029s| 1325k|724998 | 0 | 0.0 |1350M|2816 | - |5645 | 19k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1079.32/1079.35 c 1035s| 1330k|726212 | 0 | 0.0 |1354M|2816 | - |5645 | 19k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1097.52/1097.54 c 1052s| 1340k|726791 | 0 | 0.0 |1361M|2816 | - |5645 | 21k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1106.02/1106.05 c 1060s| 1350k|733521 | 0 | 0.0 |1370M|2816 | - |5645 | 14k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1112.92/1112.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.92/1112.93 c 1067s| 1360k|740696 | 0 | 0.0 |1383M|2816 | - |5645 | 14k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1120.12/1120.11 c 1074s| 1370k|747620 | 0 | 0.0 |1396M|2816 | - |5645 | 15k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1127.82/1127.83 c 1081s| 1380k|754181 | 0 | 0.0 |1409M|2816 | - |5645 | 15k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1135.72/1135.72 c 1088s| 1390k|760571 | 0 | 0.0 |1422M|2816 | - |5645 | 15k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1144.12/1144.18 c 1097s| 1400k|766561 | 0 | 0.0 |1435M|2816 | - |5645 | 16k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1152.83/1152.89 c 1105s| 1410k|772415 | 0 | 0.0 |1448M|2816 | - |5645 | 16k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1161.92/1161.92 c 1113s| 1420k|778097 | 0 | 0.0 |1462M|2816 | - |5645 | 17k| 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1171.53/1171.54 c 1123s| 1430k|783510 | 0 | 0.0 |1474M|2816 | - |5645 | 17k| 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1181.43/1181.48 c 1132s| 1440k|788727 | 0 | 0.0 |1487M|2816 | - |5645 | 17k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1191.82/1191.88 c 1142s| 1450k|793769 | 0 | 0.0 |1499M|2816 | - |5645 | 18k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1202.52/1202.51 c 1152s| 1460k|798778 | 0 | 0.0 |1510M|2816 | - |5645 | 18k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1213.42/1213.45 c 1163s| 1470k|803748 | 0 | 0.0 |1517M|2816 | - |5645 | 12k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1221.93/1221.97 c 1171s| 1480k|808738 | 0 | 0.0 |1524M|2816 | - |5645 | 14k| 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1231.03/1231.04 c 1180s| 1490k|813499 | 0 | 0.0 |1530M|2816 | - |5645 | 15k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1239.63/1239.68 c 1188s| 1500k|818557 | 0 | 0.0 |1538M|2816 | - |5645 | 15k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1248.93/1248.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.93/1248.94 c 1197s| 1510k|823201 | 0 | 0.0 |1546M|2816 | - |5645 | 15k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1258.52/1258.59 c 1206s| 1520k|827555 | 0 | 0.0 |1554M|2816 | - |5645 | 15k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1268.82/1268.89 c 1216s| 1530k|831494 | 0 | 0.0 |1562M|2816 | - |5645 | 15k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1279.92/1279.95 c 1226s| 1540k|834920 | 0 | 0.0 |1570M|2816 | - |5645 | 16k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1291.43/1291.42 c 1237s| 1550k|837993 | 0 | 0.0 |1578M|2816 | - |5645 | 16k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1301.33/1301.36 c 1247s| 1560k|841943 | 0 | 0.0 |1585M|2816 | - |5645 | 14k| 0 | 0 | 0 |1418k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1308.52/1308.56 c 1254s| 1570k|847951 | 0 | 0.0 |1592M|2816 | - |5645 | 13k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1314.72/1314.79 c 1259s| 1580k|854738 | 0 | 0.0 |1601M|2816 | - |5645 | 13k| 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1321.23/1321.28 c 1266s| 1590k|861304 | 0 | 0.0 |1611M|2816 | - |5645 | 14k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1328.84/1328.85 c 1273s| 1600k|867140 | 0 | 0.0 |1622M|2816 | - |5645 | 15k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1337.53/1337.55 c 1281s| 1610k|872152 | 0 | 0.0 |1632M|2816 | - |5645 | 16k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1347.72/1347.79 c 1291s| 1620k|876190 | 0 | 0.0 |1642M|2816 | - |5645 | 17k| 0 | 0 | 0 |1458k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1361.02/1361.07 c 1304s| 1630k|878259 | 0 | 0.0 |1650M|2816 | - |5645 | 19k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1372.32/1372.39 c 1314s| 1640k|881955 | 0 | 0.0 |1655M|2816 | - |5645 | 13k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1377.93/1377.95 c 1320s| 1650k|889426 | 0 | 0.0 |1664M|2816 | - |5645 | 13k| 0 | 0 | 0 |1485k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1383.92/1383.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.92/1383.97 c 1325s| 1660k|896427 | 0 | 0.0 |1674M|2816 | - |5645 | 13k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1390.73/1390.72 c 1332s| 1670k|902867 | 0 | 0.0 |1684M|2816 | - |5645 | 14k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1398.52/1398.53 c 1339s| 1680k|908531 | 0 | 0.0 |1695M|2816 | - |5645 | 15k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1407.12/1407.12 c 1347s| 1690k|913642 | 0 | 0.0 |1705M|2816 | - |5645 | 16k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1417.63/1417.66 c 1357s| 1700k|917456 | 0 | 0.0 |1715M|2816 | - |5645 | 17k| 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1431.93/1431.98 c 1371s| 1710k|918664 | 0 | 0.0 |1723M|2816 | - |5645 | 20k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1439.73/1439.80 c 1379s| 1720k|924810 | 0 | 0.0 |1728M|2816 | - |5645 | 13k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1445.63/1445.68 c 1384s| 1730k|932028 | 0 | 0.0 |1738M|2816 | - |5645 | 13k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1451.93/1451.91 c 1390s| 1740k|938948 | 0 | 0.0 |1748M|2816 | - |5645 | 13k| 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1458.43/1458.44 c 1396s| 1750k|945631 | 0 | 0.0 |1758M|2816 | - |5645 | 14k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1465.33/1465.35 c 1403s| 1760k|951946 | 0 | 0.0 |1768M|2816 | - |5645 | 14k| 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1472.84/1472.85 c 1410s| 1770k|957899 | 0 | 0.0 |1777M|2816 | - |5645 | 14k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1480.53/1480.59 c 1417s| 1780k|963666 | 0 | 0.0 |1787M|2816 | - |5645 | 15k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1488.93/1488.97 c 1425s| 1790k|969071 | 0 | 0.0 |1797M|2816 | - |5645 | 16k| 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1497.93/1497.90 c 1434s| 1800k|974068 | 0 | 0.0 |1807M|2816 | - |5645 | 16k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1507.33/1507.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.33/1507.30 c 1443s| 1810k|978752 | 0 | 0.0 |1816M|2816 | - |5645 | 16k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1516.73/1516.74 c 1452s| 1820k|983283 | 0 | 0.0 |1825M|2816 | - |5645 | 16k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1527.33/1527.33 c 1462s| 1830k|987202 | 0 | 0.0 |1833M|2816 | - |5645 | 17k| 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1539.23/1539.26 c 1473s| 1840k|990232 | 0 | 0.0 |1841M|2816 | - |5645 | 18k| 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1553.03/1553.08 c 1487s| 1850k|992042 | 0 | 0.0 |1847M|2816 | - |5645 | 20k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1564.43/1564.45 c 1498s| 1860k|995889 | 0 | 0.0 |1852M|2816 | - |5645 | 14k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1570.43/1570.47 c 1503s| 1870k| 1003k| 0 | 0.0 |1862M|2816 | - |5645 | 14k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1577.03/1577.07 c 1509s| 1880k| 1009k| 0 | 0.0 |1872M|2816 | - |5645 | 15k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1584.63/1584.63 c 1517s| 1890k| 1015k| 0 | 0.0 |1881M|2816 | - |5645 | 16k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1593.43/1593.41 c 1525s| 1900k| 1020k| 0 | 0.0 |1891M|2816 | - |5645 | 17k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1604.54/1604.56 c 1536s| 1910k| 1024k| 0 | 0.0 |1900M|2816 | - |5645 | 19k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1618.94/1618.98 c 1550s| 1920k| 1025k| 0 | 0.0 |1908M|2816 | - |5645 | 21k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1627.43/1627.42 c 1558s| 1930k| 1031k| 0 | 0.0 |1913M|2816 | - |5645 | 13k| 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1633.13/1633.13 c 1563s| 1940k| 1038k| 0 | 0.0 |1923M|2816 | - |5645 | 13k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1639.23/1639.20 c 1569s| 1950k| 1045k| 0 | 0.0 |1932M|2816 | - |5645 | 13k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1646.44/1646.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.44/1646.41 c 1576s| 1960k| 1051k| 0 | 0.0 |1942M|2816 | - |5645 | 14k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1654.13/1654.17 c 1583s| 1970k| 1057k| 0 | 0.0 |1952M|2816 | - |5645 | 14k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1663.04/1663.03 c 1591s| 1980k| 1062k| 0 | 0.0 |1962M|2816 | - |5645 | 15k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1672.33/1672.36 c 1600s| 1990k| 1067k| 0 | 0.0 |1973M|2816 | - |5645 | 16k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1682.43/1682.44 c 1610s| 2000k| 1071k| 0 | 0.0 |1982M|2816 | - |5645 | 16k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1693.24/1693.29 c 1620s| 2010k| 1075k| 0 | 0.0 |1992M|2816 | - |5645 | 17k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1706.04/1706.09 c 1633s| 2020k| 1078k| 0 | 0.0 |2000M|2816 | - |5645 | 18k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1721.54/1721.51 c 1648s| 2030k| 1079k| 0 | 0.0 |2007M|2816 | - |5645 | 20k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1730.74/1730.70 c 1656s| 2040k| 1084k| 0 | 0.0 |2012M|2816 | - |5645 | 13k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1736.43/1736.48 c 1662s| 2050k| 1092k| 0 | 0.0 |2021M|2816 | - |5645 | 14k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1742.93/1742.96 c 1668s| 2060k| 1099k| 0 | 0.0 |2031M|2816 | - |5645 | 15k| 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1750.93/1750.91 c 1676s| 2070k| 1105k| 0 | 0.0 |2040M|2816 | - |5645 | 16k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1763.35/1763.39 c 1688s| 2080k| 1108k| 0 | 0.0 |2050M|2816 | - |5645 | 19k| 0 | 0 | 0 |1806k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1775.53/1775.59 c 1699s| 2090k| 1111k| 0 | 0.0 |2056M|2816 | - |5645 | 15k| 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1781.84/1781.83 c 1705s| 2100k| 1118k| 0 | 0.0 |2065M|2816 | - |5645 | 14k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1789.74/1789.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.74/1789.74 c 1713s| 2110k| 1124k| 0 | 0.0 |2075M|2816 | - |5645 | 16k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1722.70
1800.04/1800.00 c Solving Nodes : 2119856
1800.04/1800.00 c Primal Bound : +7.00000000000000e+00 (32 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.09 s SATISFIABLE
1800.04/1800.09 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.09 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.04/1800.09 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.09 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.09 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126
1800.04/1800.09 v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.09 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.09 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55
1800.04/1800.09 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.09 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.04/1800.09 v x2 -x1
1800.04/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.09 c Solving Time : 1722.70
1800.04/1800.09 c Original Problem :
1800.04/1800.09 c Problem name : HOME/instance-2693723-1277931202.wbo
1800.04/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.09 c Presolved Problem :
1800.04/1800.09 c Problem name : t_HOME/instance-2693723-1277931202.wbo
1800.04/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.09 c Constraints : 5414 initial, 22725 maximal
1800.04/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.04/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.09 c root node : - 2537 - - 5074 - - - -
1800.04/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.09 c indicator : 2707 0 5697611 0 1473252 525 4032449 0 0 0
1800.04/1800.09 c linear : 2707 0 7126012 0 1765535 512598 43391875 0 0 0
1800.04/1800.09 c logicor : 0+ 0 3252295 0 0 58458 1782064 0 0 0
1800.04/1800.09 c countsols : 0 0 0 0 1765559 0 0 0 0 0
1800.04/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.09 c indicator : 30.86 0.00 13.78 0.00 17.08
1800.04/1800.09 c linear : 423.16 0.00 422.36 0.00 0.80
1800.04/1800.09 c logicor : 266.54 0.00 266.54 0.00 0.00
1800.04/1800.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.09 c vbounds : 0.00 2 0 0
1800.04/1800.09 c rootredcost : 0.00 0 0 0
1800.04/1800.09 c pseudoobj : 373.74 7134263 7578 3947416
1800.04/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.09 c propagation : 31.23 578634 578633 2600289 18.9 258106 10.9 -
1800.04/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.09 c pseudo solution : 0.10 275 275 1152 20.2 574 9.4 -
1800.04/1800.09 c applied globally : - - - 1833176 16.7 - - -
1800.04/1800.09 c applied locally : - - - 0 0.0 - - -
1800.04/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.09 c redcost : 0.00 0 0 0 0 0
1800.04/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.09 c intobj : 0.00 0 0 0 0 0
1800.04/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.09 c gomory : 0.00 0 0 0 0 0
1800.04/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.09 c cmir : 0.00 0 0 0 0 0
1800.04/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.09 c clique : 0.00 0 0 0 0 0
1800.04/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.09 c mcf : 0.00 0 0 0 0 0
1800.04/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.09 c Pricers : Time Calls Vars
1800.04/1800.09 c problem variables: 0.00 0 0
1800.04/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.09 c inference : 47.08 1765530 0 0 0 0 3531060
1800.04/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.09 c random : 0.00 0 0 0 0 0 0
1800.04/1800.09 c Primal Heuristics : Time Calls Found
1800.04/1800.09 c LP solutions : 0.00 - 0
1800.04/1800.09 c pseudo solutions : 0.10 - 29
1800.04/1800.09 c oneopt : 0.05 0 0
1800.04/1800.09 c trivial : 0.08 2 2
1800.04/1800.09 c simplerounding : 0.00 0 0
1800.04/1800.09 c zirounding : 0.00 0 0
1800.04/1800.09 c rounding : 0.00 0 0
1800.04/1800.09 c shifting : 0.00 0 0
1800.04/1800.09 c intshifting : 0.00 0 0
1800.04/1800.09 c twoopt : 0.00 0 0
1800.04/1800.09 c fixandinfer : 0.00 0 0
1800.04/1800.09 c feaspump : 0.00 0 0
1800.04/1800.09 c coefdiving : 0.00 0 0
1800.04/1800.09 c pscostdiving : 0.00 0 0
1800.04/1800.09 c fracdiving : 0.00 0 0
1800.04/1800.09 c veclendiving : 0.00 0 0
1800.04/1800.09 c intdiving : 0.00 0 0
1800.04/1800.09 c actconsdiving : 0.00 0 0
1800.04/1800.09 c objpscostdiving : 0.00 0 0
1800.04/1800.09 c rootsoldiving : 0.00 0 0
1800.04/1800.09 c linesearchdiving : 0.00 0 0
1800.04/1800.09 c guideddiving : 0.00 0 0
1800.04/1800.09 c octane : 0.00 0 0
1800.04/1800.09 c rens : 0.00 0 0
1800.04/1800.09 c rins : 0.00 0 0
1800.04/1800.09 c localbranching : 0.00 0 0
1800.04/1800.09 c mutation : 0.00 0 0
1800.04/1800.09 c crossover : 0.00 0 0
1800.04/1800.09 c dins : 0.00 0 0
1800.04/1800.09 c undercover : 0.00 0 0
1800.04/1800.09 c nlp : 0.01 0 0
1800.04/1800.09 c trysol : 0.01 1 1
1800.04/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.09 c (at root node) : - 0 0 0.00 -
1800.04/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.09 c B&B Tree :
1800.04/1800.09 c number of runs : 1
1800.04/1800.09 c nodes : 2119856
1800.04/1800.09 c nodes (total) : 2119856
1800.04/1800.09 c nodes left : 1129399
1800.04/1800.09 c max depth : 2816
1800.04/1800.09 c max depth (total): 2816
1800.04/1800.09 c backtracks : 317521 (15.0%)
1800.04/1800.09 c delayed cutoffs : 264173
1800.04/1800.09 c repropagations : 1271770 (16307697 domain reductions, 225137 cutoffs)
1800.04/1800.09 c avg switch length: 41.90
1800.04/1800.09 c switching time : 491.19
1800.04/1800.09 c Solution :
1800.04/1800.09 c Solutions found : 32 (30 improvements)
1800.04/1800.09 c First Solution : +1.35640000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.09 c Primal Bound : +7.00000000000000e+00 (in run 1, after 1325984 nodes, 1029.06 seconds, depth 1069, found by <relaxation>)
1800.04/1800.09 c Dual Bound : +0.00000000000000e+00
1800.04/1800.09 c Gap : infinite
1800.04/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.09 c Root Iterations : 0
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693723-1277931202/watcher-2693723-1277931202 -o /tmp/evaluation-result-2693723-1277931202/solver-2693723-1277931202 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693723-1277931202.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.72 2.33 2.16 4/199 29118 /proc/meminfo: memFree=30405952/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=8596 CPUtime=0 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 1628 0 0 0 0 0 0 0 22 0 1 0 168723749 8802304 1550 4089446400 4194304 7136930 140734088909424 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/29118/statm: 2149 1551 275 719 0 1428 0 [startup+0.0535249 s] /proc/loadavg: 2.72 2.33 2.16 4/199 29118 /proc/meminfo: memFree=30405952/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=30336 CPUtime=0.04 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 7451 0 0 0 4 0 0 0 24 0 1 0 168723749 31064064 7019 4089446400 4194304 7136930 140734088909424 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 7584 7027 295 719 0 6863 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 30336 [startup+0.10052 s] /proc/loadavg: 2.72 2.33 2.16 4/199 29118 /proc/meminfo: memFree=30405952/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=33672 CPUtime=0.09 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 7966 0 0 0 9 0 0 0 24 0 1 0 168723749 34480128 7534 4089446400 4194304 7136930 140734088909424 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.300474 s] /proc/loadavg: 2.72 2.33 2.16 4/199 29118 /proc/meminfo: memFree=30405952/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=36492 CPUtime=0.29 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 9238 0 0 0 27 2 0 0 25 0 1 0 168723749 37367808 8292 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 9123 8292 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700406 s] /proc/loadavg: 2.72 2.33 2.16 4/199 29118 /proc/meminfo: memFree=30405952/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=37632 CPUtime=0.69 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 9515 0 0 0 65 4 0 0 25 0 1 0 168723749 38535168 8569 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 9408 8569 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50027 s] /proc/loadavg: 2.72 2.33 2.16 4/200 29119 /proc/meminfo: memFree=30370976/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=42648 CPUtime=1.49 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 10772 0 0 0 138 11 0 0 25 0 1 0 168723749 43671552 9826 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 10662 9826 390 719 0 9941 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42648 [startup+3.10098 s] /proc/loadavg: 2.72 2.33 2.16 4/200 29119 /proc/meminfo: memFree=30366140/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=45860 CPUtime=3.09 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 11575 0 0 0 287 22 0 0 25 0 1 0 168723749 46960640 10629 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 11465 10629 391 719 0 10744 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45860 [startup+6.30042 s] /proc/loadavg: 2.74 2.34 2.16 4/200 29119 /proc/meminfo: memFree=30354128/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=58632 CPUtime=6.29 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 14685 0 0 0 587 42 0 0 25 0 1 0 168723749 60039168 13739 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 14658 13739 391 719 0 13937 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58632 [startup+12.7003 s] /proc/loadavg: 2.76 2.35 2.17 4/200 29119 /proc/meminfo: memFree=30332384/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=77456 CPUtime=12.69 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 19399 0 0 0 1195 74 0 0 25 0 1 0 168723749 79314944 18453 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 19364 18453 391 719 0 18643 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77456 [startup+25.501 s] /proc/loadavg: 2.81 2.38 2.18 4/200 29119 /proc/meminfo: memFree=30290476/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=119104 CPUtime=25.49 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 29325 0 0 0 2421 128 0 0 25 0 1 0 168723749 121962496 28379 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 29776 28379 391 719 0 29055 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 119104 [startup+51.1005 s] /proc/loadavg: 2.68 2.38 2.19 4/200 29120 /proc/meminfo: memFree=30229616/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=177960 CPUtime=51.09 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 43668 0 0 0 4832 277 0 0 25 0 1 0 168723749 182231040 42722 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 44490 42722 391 719 0 43769 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 177960 [startup+102.306 s] /proc/loadavg: 2.83 2.47 2.23 4/200 29121 /proc/meminfo: memFree=30144136/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=257288 CPUtime=102.3 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 63443 0 0 0 9776 454 0 0 25 0 1 0 168723749 263462912 62497 4089446400 4194304 7136930 140734088909424 18446744073709551615 5950911 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 64322 62497 391 719 0 63601 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 257288 [startup+162.301 s] /proc/loadavg: 2.80 2.52 2.26 4/200 29123 /proc/meminfo: memFree=30008536/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=390312 CPUtime=162.29 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 95151 0 0 0 15537 692 0 0 25 0 1 0 168723749 399679488 94205 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 97578 94205 391 719 0 96857 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 390312 [startup+222.301 s] /proc/loadavg: 2.88 2.59 2.29 3/200 29125 /proc/meminfo: memFree=29847536/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=569864 CPUtime=222.3 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 132811 0 0 0 21264 966 0 0 25 0 1 0 168723749 583540736 131865 4089446400 4194304 7136930 140734088909424 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 142466 131865 391 719 0 141745 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 569864 [startup+282.301 s] /proc/loadavg: 2.91 2.65 2.33 3/200 29126 /proc/meminfo: memFree=29733392/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=675788 CPUtime=282.3 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 159173 0 0 0 26936 1294 0 0 25 0 1 0 168723749 692006912 158227 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 168947 158227 391 719 0 168226 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 675788 [startup+342.301 s] /proc/loadavg: 2.82 2.66 2.35 4/200 29128 /proc/meminfo: memFree=29608204/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=788004 CPUtime=342.3 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 187442 0 0 0 32646 1584 0 0 25 0 1 0 168723749 806916096 186496 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 197001 186496 391 719 0 196280 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 788004 [startup+402.3 s] /proc/loadavg: 2.66 2.65 2.37 4/200 29129 /proc/meminfo: memFree=29510296/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=873148 CPUtime=402.3 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 208922 0 0 0 38408 1822 0 0 25 0 1 0 168723749 894103552 207976 4089446400 4194304 7136930 140734088909424 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 218287 207976 391 719 0 217566 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 873148 [startup+462.301 s] /proc/loadavg: 2.66 2.65 2.38 4/200 29140 /proc/meminfo: memFree=29445860/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=927652 CPUtime=462.3 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 222298 0 0 0 44226 2004 0 0 25 0 1 0 168723749 949915648 221352 4089446400 4194304 7136930 140734088909424 18446744073709551615 5004488 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 231913 221352 391 719 0 231192 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 927652 [startup+522.301 s] /proc/loadavg: 2.93 2.75 2.43 4/200 29142 /proc/meminfo: memFree=29389508/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=976448 CPUtime=522.3 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 234413 0 0 0 50064 2166 0 0 25 0 1 0 168723749 999882752 233467 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 244112 233467 391 719 0 243391 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 976448 [startup+582.3 s] /proc/loadavg: 2.79 2.75 2.45 4/200 29143 /proc/meminfo: memFree=29357312/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=998992 CPUtime=582.3 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 240025 0 0 0 55912 2318 0 0 25 0 1 0 168723749 1022967808 239052 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 249748 239052 391 719 0 249027 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 998992 [startup+642.301 s] /proc/loadavg: 2.62 2.70 2.45 4/200 29145 /proc/meminfo: memFree=29260532/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=1099912 CPUtime=642.31 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 262732 0 0 0 61607 2624 0 0 25 0 1 0 168723749 1126309888 261759 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 274978 261759 391 719 0 274257 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1099912 [startup+702.301 s] ################ # More data... # ################ /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 355492 0 0 0 96096 4136 0 0 25 0 1 0 168723749 1510346752 354519 4089446400 4194304 7136930 140734088909424 18446744073709551615 4221185 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 368737 354519 391 719 0 368016 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1474948 [startup+1062.3 s] /proc/loadavg: 2.04 2.40 2.42 3/179 29232 /proc/meminfo: memFree=28999764/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=1548552 CPUtime=1062.32 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 373602 0 0 0 101822 4410 0 0 25 0 1 0 168723749 1585717248 372629 4089446400 4194304 7136930 140734088909424 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 387138 372629 391 719 0 386417 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1548552 [startup+1122.3 s] /proc/loadavg: 2.01 2.32 2.39 3/179 29234 /proc/meminfo: memFree=28918052/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=1606424 CPUtime=1122.32 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 387850 0 0 0 107580 4652 0 0 25 0 1 0 168723749 1644978176 386877 4089446400 4194304 7136930 140734088909424 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 401606 386877 391 719 0 400885 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1606424 [startup+1182.3 s] /proc/loadavg: 2.00 2.26 2.36 3/179 29235 /proc/meminfo: memFree=28795932/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=1708720 CPUtime=1182.32 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 411503 0 0 0 113298 4934 0 0 25 0 1 0 168723749 1749729280 410530 4089446400 4194304 7136930 140734088909424 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 427180 410530 391 719 0 426459 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1708720 [startup+1242.3 s] /proc/loadavg: 2.00 2.21 2.34 3/179 29240 /proc/meminfo: memFree=28686720/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=1783564 CPUtime=1242.32 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 428731 0 0 0 119034 5198 0 0 25 0 1 0 168723749 1826369536 427758 4089446400 4194304 7136930 140734088909424 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 445891 427758 391 719 0 445170 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1783564 [startup+1302.3 s] /proc/loadavg: 2.00 2.17 2.31 3/179 29241 /proc/meminfo: memFree=28609612/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=1823884 CPUtime=1302.33 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 438874 0 0 0 124771 5462 0 0 25 0 1 0 168723749 1867657216 437901 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 455971 437901 391 719 0 455250 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1823884 [startup+1362.3 s] /proc/loadavg: 2.00 2.14 2.29 3/179 29243 /proc/meminfo: memFree=28510724/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=1887808 CPUtime=1362.33 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 454946 0 0 0 130481 5752 0 0 25 0 1 0 168723749 1933115392 453973 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 471952 453973 391 719 0 471231 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1887808 [startup+1422.31 s] /proc/loadavg: 2.00 2.11 2.27 3/179 29245 /proc/meminfo: memFree=28411920/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=1951224 CPUtime=1422.34 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 470926 0 0 0 136195 6039 0 0 25 0 1 0 168723749 1998053376 469953 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 487806 469953 391 719 0 487085 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1951224 [startup+1482.3 s] /proc/loadavg: 2.03 2.10 2.26 3/179 29246 /proc/meminfo: memFree=28305920/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2023776 CPUtime=1482.33 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 489092 0 0 0 141889 6344 0 0 25 0 1 0 168723749 2072346624 488119 4089446400 4194304 7136930 140734088909424 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 505944 488119 391 719 0 505223 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2023776 [startup+1542.3 s] /proc/loadavg: 2.01 2.08 2.24 3/179 29248 /proc/meminfo: memFree=28216444/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2092436 CPUtime=1542.33 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 502235 0 0 0 147633 6600 0 0 25 0 1 0 168723749 2142654464 501262 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 523109 501262 391 719 0 522388 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2092436 [startup+1602.3 s] /proc/loadavg: 2.00 2.06 2.22 3/179 29249 /proc/meminfo: memFree=28125132/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2146124 CPUtime=1602.34 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 515855 0 0 0 153357 6877 0 0 25 0 1 0 168723749 2197630976 514882 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 536531 514882 391 719 0 535810 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2146124 [startup+1662.3 s] /proc/loadavg: 2.00 2.05 2.20 3/179 29251 /proc/meminfo: memFree=28025252/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2211580 CPUtime=1662.33 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 532319 0 0 0 159081 7152 0 0 25 0 1 0 168723749 2264657920 531346 4089446400 4194304 7136930 140734088909424 18446744073709551615 4212411 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 552895 531346 391 719 0 552174 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2211580 [startup+1722.3 s] /proc/loadavg: 2.00 2.04 2.19 3/179 29253 /proc/meminfo: memFree=27948064/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2255224 CPUtime=1722.34 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 543267 0 0 0 164850 7384 0 0 25 0 1 0 168723749 2309349376 542294 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 563806 542294 391 719 0 563085 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2255224 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.17 3/179 29254 /proc/meminfo: memFree=27858704/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2310504 CPUtime=1782.34 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 557252 0 0 0 170576 7658 0 0 25 0 1 0 168723749 2365956096 556279 4089446400 4194304 7136930 140734088909424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 577626 556279 391 719 0 576905 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2310504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.03 2.17 3/179 29255 /proc/meminfo: memFree=27827040/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2331112 CPUtime=1800.04 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 562393 0 0 0 172273 7731 0 0 25 0 1 0 168723749 2387058688 561420 4089446400 4194304 7136930 140734088909424 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/29118/statm: 582778 561420 391 719 0 582057 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2331112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -29118 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.03 2.17 3/180 29256 /proc/meminfo: memFree=27826908/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2331112 CPUtime=1801.44 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 562415 0 0 0 172413 7731 0 0 19 0 1 0 168723749 2387058688 561442 4089446400 4194304 7136930 140734088909424 18446744073709551615 4212294 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/29118/statm: 582778 561442 397 719 0 582057 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2331112 [startup+1801.81 s] /proc/loadavg: 2.00 2.03 2.17 3/180 29256 /proc/meminfo: memFree=27826040/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2329064 CPUtime=1801.84 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 562415 0 0 0 172453 7731 0 0 20 0 1 0 168723749 2384961536 560930 4089446400 4194304 7136930 140734088909424 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/29118/statm: 582266 560930 397 719 0 581545 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2329064 [startup+1802 s] /proc/loadavg: 2.00 2.03 2.17 3/180 29256 /proc/meminfo: memFree=27826040/32950928 swapFree=67111528/67111528 [pid=29118] ppid=29116 vsize=2328032 CPUtime=1802.04 /proc/29118/stat : 29118 (pbscip.linux.x8) R 29116 29118 27917 0 -1 4202496 562415 0 0 0 172473 7731 0 0 20 0 1 0 168723749 2383904768 560672 4089446400 4194304 7136930 140734088909424 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/29118/statm: 582008 560672 397 719 0 581287 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2328032 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.13 CPU user time (s): 1724.74 CPU system time (s): 77.3892 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2331112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.74 system time used= 77.3892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 562415 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= 1902 runsolver used 3.03554 second user time and 6.27105 second system time The end
Begin job on node112 at 2010-06-30 22:53:22 IDJOB=2693723 IDBENCH=79312 IDSOLVER=1206 FILE ID=node112/2693723-1277931202 PBS_JOBID= 11197354 Free space on /tmp= 74212 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/tsp/normalized-t3002.11tsp11.1900569834--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-2693723-1277931202/watcher-2693723-1277931202 -o /tmp/evaluation-result-2693723-1277931202/solver-2693723-1277931202 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693723-1277931202.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ebe664bdb6d24f27290f0bb7f023aa5a RANDOM SEED=1517902738 node112.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.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 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.827 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.73 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.827 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.82 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30406356 kB Buffers: 213172 kB Cached: 1894828 kB SwapCached: 0 kB Active: 820516 kB Inactive: 1578696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30406356 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 291028 kB Mapped: 20308 kB Slab: 82080 kB PageTables: 5568 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1645292 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 node112 at 2010-06-30 23:23:25