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.15 | 1802.1 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo |
| MD5SUM | 78d8e4512631586bbdc844ad983c3b47 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 274.2 |
| 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 | 135280 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 135279 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 687 |
| 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-2693637-1277927942.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 135279
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.352790e+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.352790e+05 | Inf
3.30/3.38 c 3.1s| 10000 | 9538 | 0 | 0.0 | 24M|2816 | - |5645 |7001 | 0 | 0 | 0 |1591 | 0 | 0.000000e+00 | 1.352790e+05 | Inf
3.69/3.79 o 525
3.69/3.79 c * 3.5s| 11419 | 6612 | 0 | 0.0 | 24M|2816 | - |5645 |7012 | 0 | 0 | 0 |1604 | 0 | 0.000000e+00 | 5.250000e+02 | Inf
3.69/3.79 o 487
3.69/3.79 c * 3.5s| 11420 | 6194 | 0 | 0.0 | 23M|2816 | - |5645 |7012 | 0 | 0 | 0 |1604 | 0 | 0.000000e+00 | 4.870000e+02 | Inf
3.79/3.86 o 427
3.79/3.86 c * 3.6s| 11570 | 6309 | 0 | 0.0 | 24M|2816 | - |5645 |7037 | 0 | 0 | 0 |1636 | 0 | 0.000000e+00 | 4.270000e+02 | Inf
3.99/4.06 o 397
3.99/4.06 c * 3.8s| 12064 | 6652 | 0 | 0.0 | 24M|2816 | - |5645 |7107 | 0 | 0 | 0 |1716 | 0 | 0.000000e+00 | 3.970000e+02 | Inf
3.99/4.06 o 351
3.99/4.06 c * 3.8s| 12065 | 6421 | 0 | 0.0 | 24M|2816 | - |5645 |7107 | 0 | 0 | 0 |1716 | 0 | 0.000000e+00 | 3.510000e+02 | Inf
4.09/4.10 o 317
4.09/4.10 c * 3.8s| 12183 | 6386 | 0 | 0.0 | 24M|2816 | - |5645 |7112 | 0 | 0 | 0 |1724 | 0 | 0.000000e+00 | 3.170000e+02 | Inf
4.09/4.11 o 313
4.09/4.11 c * 3.8s| 12184 | 6382 | 0 | 0.0 | 24M|2816 | - |5645 |7112 | 0 | 0 | 0 |1724 | 0 | 0.000000e+00 | 3.130000e+02 | Inf
6.69/6.76 c 6.3s| 20000 | 12985 | 0 | 0.0 | 33M|2816 | - |5645 |7910 | 0 | 0 | 0 |7283 | 0 | 0.000000e+00 | 3.130000e+02 | Inf
10.90/10.94 c 10.2s| 30000 | 20325 | 0 | 0.0 | 45M|2816 | - |5645 |9385 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
15.09/15.11 o 283
15.09/15.11 c *14.2s| 36608 | 24679 | 0 | 0.0 | 51M|2816 | - |5645 |8896 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.830000e+02 | Inf
15.29/15.38 o 278
15.29/15.38 c *14.5s| 37088 | 25091 | 0 | 0.0 | 51M|2816 | - |5645 |8757 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.780000e+02 | Inf
15.29/15.38 o 249
15.29/15.38 c *14.5s| 37089 | 24996 | 0 | 0.0 | 51M|2816 | - |5645 |8757 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
15.49/15.55 o 235
15.49/15.55 c *14.6s| 37351 | 25119 | 0 | 0.0 | 52M|2816 | - |5645 |8656 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 2.350000e+02 | Inf
15.89/15.99 o 229
15.89/15.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.89/15.99 c *15.0s| 38017 | 25711 | 0 | 0.0 | 52M|2816 | - |5645 |8473 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.290000e+02 | Inf
16.19/16.21 o 214
16.19/16.21 c *15.2s| 38392 | 25977 | 0 | 0.0 | 52M|2816 | - |5645 |8389 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
16.19/16.21 o 201
16.19/16.21 c *15.2s| 38393 | 25818 | 0 | 0.0 | 52M|2816 | - |5645 |8389 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
16.90/16.91 o 193
16.90/16.91 c *15.9s| 39616 | 26785 | 0 | 0.0 | 54M|2816 | - |5645 |8250 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
17.09/17.16 c 16.2s| 40000 | 27153 | 0 | 0.0 | 54M|2816 | - |5645 |8191 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
17.89/17.94 o 190
17.89/17.94 c *16.9s| 41223 | 28260 | 0 | 0.0 | 56M|2816 | - |5645 |8207 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.900000e+02 | Inf
18.29/18.34 o 169
18.29/18.34 c *17.3s| 41769 | 28541 | 0 | 0.0 | 56M|2816 | - |5645 |8229 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
18.29/18.35 o 150
18.29/18.35 c *17.3s| 41770 | 28143 | 0 | 0.0 | 55M|2816 | - |5645 |8229 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
20.29/20.38 o 145
20.29/20.38 c *19.2s| 44501 | 30432 | 0 | 0.0 | 61M|2816 | - |5645 |8084 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
20.29/20.38 o 133
20.29/20.38 c *19.2s| 44502 | 30139 | 0 | 0.0 | 60M|2816 | - |5645 |8084 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
20.39/20.43 o 110
20.39/20.43 c *19.3s| 44561 | 29562 | 0 | 0.0 | 58M|2816 | - |5645 |8059 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
20.90/20.97 o 109
20.90/20.97 c *19.8s| 45316 | 30249 | 0 | 0.0 | 59M|2816 | - |5645 |7929 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
23.60/23.68 o 103
23.60/23.68 c *22.4s| 48435 | 32709 | 0 | 0.0 | 66M|2816 | - |5645 |8479 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
23.69/23.79 o 93
23.69/23.79 c *22.5s| 48574 | 32047 | 0 | 0.0 | 64M|2816 | - |5645 |8322 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
23.80/23.83 o 90
23.80/23.83 c *22.6s| 48615 | 31918 | 0 | 0.0 | 64M|2816 | - |5645 |8309 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
23.80/23.83 o 84
23.80/23.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.80/23.83 c *22.6s| 48616 | 31197 | 0 | 0.0 | 63M|2816 | - |5645 |8309 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
24.69/24.77 c 23.5s| 50000 | 32425 | 0 | 0.0 | 67M|2816 | - |5645 |8148 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
30.39/30.44 o 58
30.39/30.44 c *28.8s| 58470 | 37436 | 0 | 0.0 | 75M|2816 | - |5645 |7736 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
31.29/31.34 c 29.7s| 60000 | 38729 | 0 | 0.0 | 77M|2816 | - |5645 |8095 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
32.99/33.08 o 42
32.99/33.08 c *31.3s| 62909 | 39896 | 0 | 0.0 | 76M|2816 | - |5645 |7157 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
33.90/33.92 o 40
33.90/33.92 c *32.1s| 64793 | 41241 | 0 | 0.0 | 78M|2816 | - |5645 |7468 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
36.69/36.77 c 34.8s| 70000 | 45608 | 0 | 0.0 | 83M|2816 | - |5645 |7323 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
40.89/40.96 c 38.7s| 80000 | 53978 | 0 | 0.0 | 93M|2816 | - |5645 |7433 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
41.09/41.10 o 31
41.09/41.10 c *38.8s| 80321 | 53303 | 0 | 0.0 | 91M|2816 | - |5645 |7624 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
44.59/44.64 c 42.1s| 90000 | 61365 | 0 | 0.0 | 100M|2816 | - |5645 |7608 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
49.00/49.00 c 46.2s|100000 | 69209 | 0 | 0.0 | 111M|2816 | - |5645 |6773 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
53.80/53.81 c 50.7s|110000 | 76497 | 0 | 0.0 | 122M|2816 | - |5645 |7466 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
58.79/58.85 c 55.5s|120000 | 83557 | 0 | 0.0 | 133M|2816 | - |5645 |7751 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
64.10/64.16 c 60.5s|130000 | 90378 | 0 | 0.0 | 145M|2816 | - |5645 |8519 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
69.49/69.50 c 65.6s|140000 | 97151 | 0 | 0.0 | 156M|2816 | - |5645 |9145 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
75.19/75.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.19/75.26 c 71.1s|150000 |103552 | 0 | 0.0 | 167M|2816 | - |5645 |9283 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
81.30/81.36 c 76.9s|160000 |109596 | 0 | 0.0 | 179M|2816 | - |5645 | 10k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
88.00/88.04 c 83.2s|170000 |115238 | 0 | 0.0 | 191M|2816 | - |5645 | 10k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
95.09/95.15 c 90.0s|180000 |120430 | 0 | 0.0 | 203M|2816 | - |5645 | 11k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
102.70/102.78 c 97.3s|190000 |125181 | 0 | 0.0 | 214M|2816 | - |5645 | 11k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
111.79/111.88 c 106s|200000 |128836 | 0 | 0.0 | 225M|2816 | - |5645 | 13k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
121.29/121.33 c 115s|210000 |132999 | 0 | 0.0 | 231M|2816 | - |5645 |5924 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
123.10/123.16 o 29
123.10/123.16 c * 117s|213855 |136177 | 0 | 0.0 | 235M|2816 | - |5645 |5276 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
123.60/123.61 o 26
123.60/123.61 c * 117s|214701 |136644 | 0 | 0.0 | 235M|2816 | - |5645 |5305 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
126.30/126.31 c 120s|220000 |141288 | 0 | 0.0 | 241M|2816 | - |5645 |5516 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
128.70/128.74 o 23
128.70/128.74 c * 122s|224860 |144888 | 0 | 0.0 | 245M|2816 | - |5645 |5772 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
131.09/131.14 o 19
131.09/131.14 c * 124s|229402 |148348 | 0 | 0.0 | 249M|2816 | - |5645 |6080 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
131.49/131.53 c 125s|230000 |148848 | 0 | 0.0 | 250M|2816 | - |5645 |6216 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
131.79/131.86 o 15
131.79/131.86 c * 125s|230556 |148520 | 0 | 0.0 | 248M|2816 | - |5645 |6259 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
132.59/132.67 o 6
132.59/132.67 c * 126s|231955 |148486 | 0 | 0.0 | 247M|2816 | - |5645 |6446 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
137.40/137.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.40/137.50 c 131s|240000 |154653 | 0 | 0.0 | 258M|2816 | - |5645 |7578 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
145.39/145.45 c 138s|250000 |161008 | 0 | 0.0 | 270M|2816 | - |5645 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
152.29/152.37 c 145s|260000 |167390 | 0 | 0.0 | 282M|2816 | - |5645 |8262 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
159.40/159.41 c 151s|270000 |173217 | 0 | 0.0 | 294M|2816 | - |5645 |9326 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
164.90/164.98 c 157s|280000 |180722 | 0 | 0.0 | 307M|2816 | - |5645 | 10k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
167.29/167.34 o 5
167.29/167.34 c * 159s|282197 |180993 | 0 | 0.0 | 309M|2816 | - |5645 | 11k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
171.19/171.20 c 163s|290000 |186842 | 0 | 0.0 | 316M|2816 | - |5645 |9997 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
177.59/177.61 c 169s|300000 |192985 | 0 | 0.0 | 326M|2816 | - |5645 | 10k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
184.09/184.17 c 175s|310000 |199459 | 0 | 0.0 | 338M|2816 | - |5645 | 13k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
189.19/189.28 c 180s|320000 |206894 | 0 | 0.0 | 348M|2816 | - |5645 | 12k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
195.49/195.55 c 186s|330000 |213409 | 0 | 0.0 | 359M|2816 | - |5645 | 10k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
201.00/201.06 c 191s|340000 |221217 | 0 | 0.0 | 371M|2816 | - |5645 | 12k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
209.80/209.82 c 199s|350000 |227113 | 0 | 0.0 | 383M|2816 | - |5645 | 15k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
216.49/216.52 c 206s|360000 |233356 | 0 | 0.0 | 392M|2816 | - |5645 | 12k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
222.90/222.93 c 212s|370000 |240042 | 0 | 0.0 | 404M|2816 | - |5645 | 12k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
229.80/229.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.80/229.84 c 218s|380000 |246538 | 0 | 0.0 | 417M|2816 | - |5645 | 16k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
234.69/234.70 c 223s|390000 |254792 | 0 | 0.0 | 427M|2816 | - |5645 | 14k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
240.99/241.08 c 229s|400000 |262061 | 0 | 0.0 | 438M|2816 | - |5645 | 16k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
249.00/249.03 c 237s|410000 |268139 | 0 | 0.0 | 447M|2816 | - |5645 | 15k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
255.40/255.46 c 243s|420000 |274897 | 0 | 0.0 | 459M|2816 | - |5645 | 18k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
261.00/261.07 c 248s|430000 |282482 | 0 | 0.0 | 469M|2816 | - |5645 | 17k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
268.19/268.26 c 255s|440000 |289235 | 0 | 0.0 | 486M|2816 | - |5645 | 17k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
275.00/275.06 c 262s|450000 |295902 | 0 | 0.0 | 501M|2816 | - |5645 | 14k| 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
279.20/279.23 c 265s|460000 |304188 | 0 | 0.0 | 510M|2816 | - |5645 | 14k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
283.99/284.00 c 270s|470000 |311938 | 0 | 0.0 | 520M|2816 | - |5645 | 14k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
289.39/289.48 c 275s|480000 |319029 | 0 | 0.0 | 530M|2816 | - |5645 | 15k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
295.30/295.38 c 281s|490000 |325619 | 0 | 0.0 | 540M|2816 | - |5645 | 15k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
301.99/302.00 c 287s|500000 |331463 | 0 | 0.0 | 549M|2816 | - |5645 | 15k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
307.49/307.57 c 292s|510000 |338381 | 0 | 0.0 | 560M|2816 | - |5645 | 16k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
312.80/312.89 c 297s|520000 |345703 | 0 | 0.0 | 569M|2816 | - |5645 | 16k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
318.20/318.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.20/318.25 c 302s|530000 |353027 | 0 | 0.0 | 578M|2816 | - |5645 | 15k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
324.10/324.11 c 308s|540000 |359893 | 0 | 0.0 | 588M|2816 | - |5645 | 15k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
329.60/329.65 c 313s|550000 |367131 | 0 | 0.0 | 597M|2816 | - |5645 | 14k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
334.50/334.53 c 318s|560000 |374890 | 0 | 0.0 | 606M|2816 | - |5645 | 14k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
340.80/340.88 c 324s|570000 |381442 | 0 | 0.0 | 616M|2816 | - |5645 | 16k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
346.70/346.72 c 329s|580000 |388386 | 0 | 0.0 | 624M|2816 | - |5645 | 14k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
351.60/351.62 c 334s|590000 |396144 | 0 | 0.0 | 634M|2816 | - |5645 | 14k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
357.29/357.35 c 339s|600000 |403087 | 0 | 0.0 | 643M|2816 | - |5645 | 15k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
363.60/363.65 c 345s|610000 |409613 | 0 | 0.0 | 652M|2816 | - |5645 | 14k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
369.40/369.40 c 351s|620000 |416529 | 0 | 0.0 | 661M|2816 | - |5645 | 14k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
375.00/375.01 c 356s|630000 |423544 | 0 | 0.0 | 671M|2816 | - |5645 | 15k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
380.51/380.54 c 361s|640000 |430541 | 0 | 0.0 | 677M|2816 | - |5645 |5551 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
384.20/384.25 c 365s|650000 |438567 | 0 | 0.0 | 687M|2816 | - |5645 |5160 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
387.70/387.77 c 368s|660000 |446719 | 0 | 0.0 | 696M|2816 | - |5645 |5013 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
391.30/391.33 c 371s|670000 |454809 | 0 | 0.0 | 706M|2816 | - |5645 |5036 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
397.90/397.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.90/397.94 c 378s|680000 |460193 | 0 | 0.0 | 717M|2816 | - |5645 |7812 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
405.00/405.00 c 384s|690000 |465222 | 0 | 0.0 | 728M|2816 | - |5645 |7729 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
412.10/412.19 c 391s|700000 |470058 | 0 | 0.0 | 739M|2816 | - |5645 |8011 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
419.80/419.80 c 398s|710000 |474636 | 0 | 0.0 | 751M|2816 | - |5645 |7988 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
427.30/427.33 c 406s|720000 |479198 | 0 | 0.0 | 761M|2816 | - |5645 |8203 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
434.90/434.97 c 413s|730000 |483672 | 0 | 0.0 | 773M|2816 | - |5645 |8708 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
442.80/442.80 c 421s|740000 |487953 | 0 | 0.0 | 784M|2816 | - |5645 |8877 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
451.01/451.02 c 428s|750000 |491940 | 0 | 0.0 | 795M|2816 | - |5645 |9375 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
459.20/459.24 c 436s|760000 |495964 | 0 | 0.0 | 806M|2816 | - |5645 |9448 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
467.51/467.54 c 444s|770000 |499936 | 0 | 0.0 | 817M|2816 | - |5645 |9570 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
475.60/475.63 c 452s|780000 |504115 | 0 | 0.0 | 828M|2816 | - |5645 |9741 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
484.01/484.09 c 460s|790000 |507853 | 0 | 0.0 | 838M|2816 | - |5645 | 10k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
492.81/492.81 c 469s|800000 |511430 | 0 | 0.0 | 848M|2816 | - |5645 | 10k| 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
501.40/501.50 c 477s|810000 |515086 | 0 | 0.0 | 858M|2816 | - |5645 | 10k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
509.80/509.80 c 485s|820000 |519112 | 0 | 0.0 | 867M|2816 | - |5645 | 10k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
517.90/517.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.90/517.94 c 493s|830000 |523275 | 0 | 0.0 | 878M|2816 | - |5645 | 11k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
526.70/526.78 c 501s|840000 |526808 | 0 | 0.0 | 887M|2816 | - |5645 | 11k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
536.00/536.07 c 510s|850000 |530118 | 0 | 0.0 | 897M|2816 | - |5645 | 11k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
545.40/545.49 c 519s|860000 |533278 | 0 | 0.0 | 906M|2816 | - |5645 | 11k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
555.30/555.32 c 529s|870000 |536241 | 0 | 0.0 | 915M|2816 | - |5645 | 12k| 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
565.30/565.40 c 539s|880000 |539028 | 0 | 0.0 | 924M|2816 | - |5645 | 12k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
575.90/575.92 c 549s|890000 |541475 | 0 | 0.0 | 933M|2816 | - |5645 | 13k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
586.60/586.61 c 559s|900000 |543886 | 0 | 0.0 | 942M|2816 | - |5645 | 13k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
597.71/597.73 c 570s|910000 |546063 | 0 | 0.0 | 951M|2816 | - |5645 | 13k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
610.00/610.04 c 582s|920000 |547344 | 0 | 0.0 | 958M|2816 | - |5645 | 14k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
622.20/622.27 c 594s|930000 |548886 | 0 | 0.0 | 966M|2816 | - |5645 | 14k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
636.20/636.22 c 607s|940000 |547665 | 0 | 0.0 | 970M|2816 | - |5645 | 14k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
652.01/652.04 c 623s|950000 |543146 | 0 | 0.0 | 967M|2816 | - |5645 | 16k| 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
659.10/659.19 c 629s|960000 |548225 | 0 | 0.0 | 966M|2816 | - |5645 |4474 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
663.11/663.12 c 633s|970000 |556213 | 0 | 0.0 | 976M|2816 | - |5645 |4348 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
667.00/667.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.00/667.07 c 637s|980000 |564143 | 0 | 0.0 | 987M|2816 | - |5645 |4288 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
671.02/671.05 c 641s|990000 |571988 | 0 | 0.0 | 997M|2816 | - |5645 |4426 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
675.11/675.11 c 644s| 1000k|579775 | 0 | 0.0 |1007M|2816 | - |5645 |4545 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
679.21/679.26 c 648s| 1010k|587485 | 0 | 0.0 |1017M|2816 | - |5645 |4751 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
683.61/683.61 c 652s| 1020k|594982 | 0 | 0.0 |1028M|2816 | - |5645 |4894 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
688.01/688.08 c 656s| 1030k|602403 | 0 | 0.0 |1039M|2816 | - |5645 |5036 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
692.71/692.71 c 661s| 1040k|609659 | 0 | 0.0 |1049M|2816 | - |5645 |5214 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
697.31/697.31 c 665s| 1050k|616939 | 0 | 0.0 |1060M|2816 | - |5645 |5435 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
702.11/702.10 c 670s| 1060k|624034 | 0 | 0.0 |1071M|2816 | - |5645 |5577 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
706.81/706.87 c 674s| 1070k|631155 | 0 | 0.0 |1081M|2816 | - |5645 |5734 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
711.80/711.84 c 679s| 1080k|638041 | 0 | 0.0 |1092M|2816 | - |5645 |6096 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
716.90/716.97 c 684s| 1090k|644827 | 0 | 0.0 |1103M|2816 | - |5645 |6341 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
721.91/721.99 o 4
721.91/721.99 c * 688s| 1099k|650252 | 0 | 0.0 |1109M|2816 | - |5645 |6521 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
722.11/722.10 c 688s| 1100k|650373 | 0 | 0.0 |1109M|2816 | - |5645 |6511 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
728.11/728.17 c 694s| 1110k|656902 | 0 | 0.0 |1122M|2816 | - |5645 |6690 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
733.91/733.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.91/733.98 c 700s| 1120k|663287 | 0 | 0.0 |1134M|2816 | - |5645 |7081 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
740.41/740.48 c 706s| 1130k|669085 | 0 | 0.0 |1145M|2816 | - |5645 |7822 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
746.91/746.98 c 712s| 1140k|674935 | 0 | 0.0 |1157M|2816 | - |5645 |8364 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
753.91/753.99 c 718s| 1150k|680331 | 0 | 0.0 |1168M|2816 | - |5645 |8594 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
760.81/760.89 c 725s| 1160k|685760 | 0 | 0.0 |1179M|2816 | - |5645 |9045 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
768.41/768.46 c 732s| 1170k|690560 | 0 | 0.0 |1189M|2816 | - |5645 |9582 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
776.21/776.28 c 740s| 1180k|695191 | 0 | 0.0 |1199M|2816 | - |5645 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
784.71/784.73 c 748s| 1190k|699194 | 0 | 0.0 |1209M|2816 | - |5645 | 11k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
793.61/793.69 c 757s| 1200k|703030 | 0 | 0.0 |1218M|2816 | - |5645 | 12k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
803.81/803.80 c 766s| 1210k|705962 | 0 | 0.0 |1226M|2816 | - |5645 | 14k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
815.91/815.94 c 778s| 1220k|707720 | 0 | 0.0 |1232M|2816 | - |5645 | 11k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
820.21/820.28 c 782s| 1230k|715667 | 0 | 0.0 |1240M|2816 | - |5645 |6661 | 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
824.61/824.69 c 786s| 1240k|723299 | 0 | 0.0 |1250M|2816 | - |5645 |6724 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
830.01/830.03 c 791s| 1250k|730203 | 0 | 0.0 |1260M|2816 | - |5645 |7771 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
835.91/836.00 c 797s| 1260k|736588 | 0 | 0.0 |1270M|2816 | - |5645 |8713 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
842.71/842.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.71/842.72 c 804s| 1270k|742353 | 0 | 0.0 |1281M|2816 | - |5645 |9818 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
850.41/850.43 c 811s| 1280k|747397 | 0 | 0.0 |1291M|2816 | - |5645 | 11k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
859.41/859.45 c 820s| 1290k|751420 | 0 | 0.0 |1301M|2816 | - |5645 | 12k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
870.61/870.62 c 830s| 1300k|754001 | 0 | 0.0 |1310M|2816 | - |5645 | 15k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
879.22/879.29 c 839s| 1310k|758804 | 0 | 0.0 |1316M|2816 | - |5645 |7486 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
883.71/883.79 c 843s| 1320k|766411 | 0 | 0.0 |1326M|2816 | - |5645 |7201 | 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
888.52/888.52 c 848s| 1330k|773715 | 0 | 0.0 |1336M|2816 | - |5645 |7587 | 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
893.92/893.92 c 853s| 1340k|780494 | 0 | 0.0 |1346M|2816 | - |5645 |8234 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
899.91/899.98 c 858s| 1350k|786690 | 0 | 0.0 |1357M|2816 | - |5645 |9204 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
907.31/907.36 c 866s| 1360k|791940 | 0 | 0.0 |1368M|2816 | - |5645 | 10k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
915.92/915.95 c 874s| 1370k|796308 | 0 | 0.0 |1379M|2816 | - |5645 | 12k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
927.12/927.19 c 885s| 1380k|798902 | 0 | 0.0 |1388M|2816 | - |5645 | 16k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
933.41/933.44 c 891s| 1390k|805540 | 0 | 0.0 |1394M|2816 | - |5645 |8304 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
937.91/937.99 c 895s| 1400k|813117 | 0 | 0.0 |1404M|2816 | - |5645 |7648 | 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
942.81/942.82 c 899s| 1410k|820394 | 0 | 0.0 |1414M|2816 | - |5645 |8340 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
948.01/948.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.01/948.07 c 904s| 1420k|827289 | 0 | 0.0 |1424M|2816 | - |5645 |9149 | 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
954.32/954.39 c 910s| 1430k|833392 | 0 | 0.0 |1434M|2816 | - |5645 |8928 | 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
961.21/961.22 c 917s| 1440k|838765 | 0 | 0.0 |1446M|2816 | - |5645 | 10k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
969.81/969.89 c 925s| 1450k|842776 | 0 | 0.0 |1456M|2816 | - |5645 | 13k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
981.12/981.15 c 936s| 1460k|845141 | 0 | 0.0 |1465M|2816 | - |5645 | 17k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
986.31/986.30 c 941s| 1470k|852732 | 0 | 0.0 |1471M|2816 | - |5645 |8706 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
991.02/991.05 c 946s| 1480k|860177 | 0 | 0.0 |1481M|2816 | - |5645 |8272 | 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
996.01/996.08 c 950s| 1490k|867250 | 0 | 0.0 |1491M|2816 | - |5645 |8753 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1001.51/1001.52 c 956s| 1500k|873958 | 0 | 0.0 |1501M|2816 | - |5645 |9416 | 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1007.71/1007.70 c 962s| 1510k|880132 | 0 | 0.0 |1512M|2816 | - |5645 | 10k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1015.42/1015.45 c 969s| 1520k|885145 | 0 | 0.0 |1523M|2816 | - |5645 | 12k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1024.51/1024.52 c 978s| 1530k|889200 | 0 | 0.0 |1533M|2816 | - |5645 | 14k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1036.22/1036.28 c 989s| 1540k|891587 | 0 | 0.0 |1541M|2816 | - |5645 | 15k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1041.32/1041.32 c 994s| 1550k|899152 | 0 | 0.0 |1549M|2816 | - |5645 |8901 | 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1046.13/1046.17 c 998s| 1560k|906461 | 0 | 0.0 |1559M|2816 | - |5645 |8939 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1051.52/1051.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.52/1051.52 c 1004s| 1570k|913342 | 0 | 0.0 |1569M|2816 | - |5645 |9984 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1057.22/1057.24 c 1009s| 1580k|919999 | 0 | 0.0 |1580M|2816 | - |5645 | 11k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1063.52/1063.59 c 1015s| 1590k|926199 | 0 | 0.0 |1590M|2816 | - |5645 | 12k| 0 | 0 | 0 |1337k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1071.32/1071.32 c 1022s| 1600k|931386 | 0 | 0.0 |1601M|2816 | - |5645 | 14k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1080.61/1080.65 c 1031s| 1610k|935318 | 0 | 0.0 |1611M|2816 | - |5645 | 16k| 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1090.92/1090.98 c 1041s| 1620k|939022 | 0 | 0.0 |1616M|2816 | - |5645 |9771 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1095.32/1095.34 c 1046s| 1630k|946931 | 0 | 0.0 |1625M|2816 | - |5645 |7979 | 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1099.62/1099.69 c 1050s| 1640k|954696 | 0 | 0.0 |1635M|2816 | - |5645 |7765 | 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1104.32/1104.31 c 1054s| 1650k|962207 | 0 | 0.0 |1645M|2816 | - |5645 |8213 | 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1109.12/1109.16 c 1059s| 1660k|969504 | 0 | 0.0 |1654M|2816 | - |5645 |8502 | 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1114.12/1114.16 c 1063s| 1670k|976690 | 0 | 0.0 |1664M|2816 | - |5645 |8817 | 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1119.42/1119.40 c 1068s| 1680k|983666 | 0 | 0.0 |1674M|2816 | - |5645 |9268 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1124.72/1124.70 c 1073s| 1690k|990582 | 0 | 0.0 |1684M|2816 | - |5645 |9312 | 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1130.42/1130.42 c 1079s| 1700k|997141 | 0 | 0.0 |1694M|2816 | - |5645 | 10k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1136.52/1136.51 c 1084s| 1710k| 1003k| 0 | 0.0 |1704M|2816 | - |5645 | 10k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1143.62/1143.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.62/1143.61 c 1091s| 1720k| 1009k| 0 | 0.0 |1715M|2816 | - |5645 | 11k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1151.22/1151.20 c 1098s| 1730k| 1014k| 0 | 0.0 |1725M|2816 | - |5645 | 12k| 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1159.32/1159.39 c 1106s| 1740k| 1019k| 0 | 0.0 |1735M|2816 | - |5645 | 13k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1168.12/1168.17 c 1115s| 1750k| 1023k| 0 | 0.0 |1745M|2816 | - |5645 | 14k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1177.72/1177.75 c 1124s| 1760k| 1028k| 0 | 0.0 |1754M|2816 | - |5645 | 15k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1189.93/1189.93 c 1136s| 1770k| 1030k| 0 | 0.0 |1763M|2816 | - |5645 | 18k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1201.62/1201.67 c 1147s| 1780k| 1033k| 0 | 0.0 |1767M|2816 | - |5645 | 11k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1206.13/1206.12 c 1151s| 1790k| 1041k| 0 | 0.0 |1776M|2816 | - |5645 |9140 | 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1210.62/1210.65 c 1155s| 1800k| 1049k| 0 | 0.0 |1785M|2816 | - |5645 |9261 | 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1215.82/1215.84 c 1160s| 1810k| 1056k| 0 | 0.0 |1796M|2816 | - |5645 | 10k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1221.12/1221.17 c 1165s| 1820k| 1062k| 0 | 0.0 |1806M|2816 | - |5645 | 11k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1227.52/1227.53 c 1171s| 1830k| 1069k| 0 | 0.0 |1816M|2816 | - |5645 | 10k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1234.42/1234.40 c 1178s| 1840k| 1074k| 0 | 0.0 |1826M|2816 | - |5645 | 12k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1242.62/1242.67 o 3
1242.62/1242.67 c *1186s| 1849k| 1073k| 0 | 0.0 |1826M|2816 | - |5645 | 14k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1242.92/1242.90 c 1186s| 1850k| 1073k| 0 | 0.0 |1826M|2816 | - |5645 | 14k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1255.42/1255.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.42/1255.49 c 1198s| 1860k| 1076k| 0 | 0.0 |1834M|2816 | - |5645 | 15k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1259.83/1259.89 c 1202s| 1870k| 1084k| 0 | 0.0 |1842M|2816 | - |5645 |9212 | 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1264.43/1264.45 c 1206s| 1880k| 1091k| 0 | 0.0 |1852M|2816 | - |5645 |9124 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1269.52/1269.54 c 1211s| 1890k| 1098k| 0 | 0.0 |1862M|2816 | - |5645 | 10k| 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1275.02/1275.05 c 1216s| 1900k| 1105k| 0 | 0.0 |1872M|2816 | - |5645 | 10k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1281.32/1281.37 c 1222s| 1910k| 1111k| 0 | 0.0 |1883M|2816 | - |5645 | 12k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1288.82/1288.82 c 1229s| 1920k| 1117k| 0 | 0.0 |1893M|2816 | - |5645 | 13k| 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1297.72/1297.79 c 1238s| 1930k| 1121k| 0 | 0.0 |1903M|2816 | - |5645 | 15k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1310.32/1310.38 c 1250s| 1940k| 1122k| 0 | 0.0 |1910M|2816 | - |5645 | 18k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1315.03/1315.03 c 1254s| 1950k| 1130k| 0 | 0.0 |1917M|2816 | - |5645 | 10k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1319.32/1319.30 c 1258s| 1960k| 1138k| 0 | 0.0 |1926M|2816 | - |5645 |9784 | 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1324.03/1324.00 c 1263s| 1970k| 1146k| 0 | 0.0 |1935M|2816 | - |5645 |9978 | 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1329.13/1329.16 c 1268s| 1980k| 1153k| 0 | 0.0 |1945M|2816 | - |5645 | 10k| 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1334.62/1334.69 c 1273s| 1990k| 1160k| 0 | 0.0 |1955M|2816 | - |5645 | 10k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1340.43/1340.42 c 1278s| 2000k| 1166k| 0 | 0.0 |1966M|2816 | - |5645 | 11k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1346.33/1346.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.33/1346.32 c 1284s| 2010k| 1173k| 0 | 0.0 |1975M|2816 | - |5645 | 11k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1352.53/1352.56 c 1290s| 2020k| 1179k| 0 | 0.0 |1985M|2816 | - |5645 | 12k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1359.23/1359.24 c 1296s| 2030k| 1185k| 0 | 0.0 |1995M|2816 | - |5645 | 12k| 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1365.92/1365.97 c 1303s| 2040k| 1191k| 0 | 0.0 |2005M|2816 | - |5645 | 13k| 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1373.02/1373.00 c 1309s| 2050k| 1197k| 0 | 0.0 |2014M|2816 | - |5645 | 13k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1380.32/1380.31 c 1316s| 2060k| 1202k| 0 | 0.0 |2024M|2816 | - |5645 | 13k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1388.33/1388.30 c 1324s| 2070k| 1207k| 0 | 0.0 |2033M|2816 | - |5645 | 15k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1397.03/1397.05 c 1332s| 2080k| 1212k| 0 | 0.0 |2043M|2816 | - |5645 | 16k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1407.13/1407.18 c 1342s| 2090k| 1216k| 0 | 0.0 |2053M|2816 | - |5645 | 18k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1420.03/1420.08 c 1354s| 2100k| 1218k| 0 | 0.0 |2058M|2816 | - |5645 | 14k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1424.83/1424.87 c 1359s| 2110k| 1226k| 0 | 0.0 |2066M|2816 | - |5645 | 11k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1429.63/1429.65 c 1363s| 2120k| 1233k| 0 | 0.0 |2076M|2816 | - |5645 | 10k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1434.53/1434.50 c 1368s| 2130k| 1241k| 0 | 0.0 |2085M|2816 | - |5645 | 11k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1440.13/1440.17 c 1373s| 2140k| 1247k| 0 | 0.0 |2096M|2816 | - |5645 | 12k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1446.63/1446.63 c 1379s| 2150k| 1254k| 0 | 0.0 |2106M|2816 | - |5645 | 13k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1454.32/1454.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.32/1454.30 c 1387s| 2160k| 1259k| 0 | 0.0 |2117M|2816 | - |5645 | 15k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1463.43/1463.49 c 1396s| 2170k| 1263k| 0 | 0.0 |2127M|2816 | - |5645 | 17k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1474.83/1474.84 c 1407s| 2180k| 1266k| 0 | 0.0 |2133M|2816 | - |5645 | 15k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1479.53/1479.51 c 1411s| 2190k| 1274k| 0 | 0.0 |2142M|2816 | - |5645 | 10k| 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1484.13/1484.11 c 1415s| 2200k| 1281k| 0 | 0.0 |2152M|2816 | - |5645 | 11k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1489.33/1489.38 c 1420s| 2210k| 1289k| 0 | 0.0 |2163M|2816 | - |5645 | 12k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1495.63/1495.62 c 1426s| 2220k| 1295k| 0 | 0.0 |2174M|2816 | - |5645 | 13k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1502.64/1502.68 c 1433s| 2230k| 1302k| 0 | 0.0 |2184M|2816 | - |5645 | 14k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1511.03/1511.04 c 1442s| 2240k| 1307k| 0 | 0.0 |2194M|2816 | - |5645 | 16k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1521.63/1521.64 c 1452s| 2250k| 1311k| 0 | 0.0 |2205M|2816 | - |5645 | 18k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1534.33/1534.35 c 1465s| 2260k| 1315k| 0 | 0.0 |2210M|2816 | - |5645 | 14k| 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1540.04/1540.05 c 1470s| 2270k| 1322k| 0 | 0.0 |2220M|2816 | - |5645 | 12k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1546.04/1546.06 c 1476s| 2280k| 1330k| 0 | 0.0 |2230M|2816 | - |5645 | 12k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1552.14/1552.14 c 1482s| 2290k| 1337k| 0 | 0.0 |2241M|2816 | - |5645 | 13k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1555.73/1555.72 o 2
1555.73/1555.72 c *1486s| 2294k| 1298k| 0 | 0.0 |2190M|2816 | - |5645 | 13k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1559.43/1559.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1559.43/1559.44 c 1489s| 2300k| 1302k| 0 | 0.0 |2195M|2816 | - |5645 | 14k| 0 | 0 | 0 |1892k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1568.04/1568.06 c 1498s| 2310k| 1307k| 0 | 0.0 |2207M|2816 | - |5645 | 15k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1578.93/1578.98 c 1509s| 2320k| 1312k| 0 | 0.0 |2218M|2816 | - |5645 | 17k| 0 | 0 | 0 |1910k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.23/1593.22 c 1523s| 2330k| 1315k| 0 | 0.0 |2228M|2816 | - |5645 | 21k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.33/1605.38 c 1535s| 2340k| 1320k| 0 | 0.0 |2235M|2816 | - |5645 | 16k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1611.83/1611.80 c 1541s| 2350k| 1328k| 0 | 0.0 |2246M|2816 | - |5645 | 14k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1618.14/1618.18 c 1547s| 2360k| 1336k| 0 | 0.0 |2257M|2816 | - |5645 | 14k| 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1624.64/1624.70 c 1554s| 2370k| 1343k| 0 | 0.0 |2268M|2816 | - |5645 | 14k| 0 | 0 | 0 |1945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1631.24/1631.23 c 1560s| 2380k| 1350k| 0 | 0.0 |2280M|2816 | - |5645 | 14k| 0 | 0 | 0 |1949k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1637.94/1637.92 c 1567s| 2390k| 1358k| 0 | 0.0 |2292M|2816 | - |5645 | 14k| 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1644.73/1644.73 c 1573s| 2400k| 1365k| 0 | 0.0 |2303M|2816 | - |5645 | 14k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1651.93/1651.91 c 1581s| 2410k| 1372k| 0 | 0.0 |2316M|2816 | - |5645 | 14k| 0 | 0 | 0 |1966k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1659.04/1659.07 c 1588s| 2420k| 1378k| 0 | 0.0 |2327M|2816 | - |5645 | 14k| 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.34/1666.34 c 1595s| 2430k| 1385k| 0 | 0.0 |2339M|2816 | - |5645 | 14k| 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.84/1673.84 c 1602s| 2440k| 1392k| 0 | 0.0 |2351M|2816 | - |5645 | 14k| 0 | 0 | 0 |1983k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1681.54/1681.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.54/1681.55 c 1610s| 2450k| 1398k| 0 | 0.0 |2362M|2816 | - |5645 | 15k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1689.64/1689.64 c 1618s| 2460k| 1405k| 0 | 0.0 |2374M|2816 | - |5645 | 15k| 0 | 0 | 0 |1995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1698.23/1698.25 c 1626s| 2470k| 1410k| 0 | 0.0 |2386M|2816 | - |5645 | 15k| 0 | 0 | 0 |2003k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1707.93/1707.97 c 1636s| 2480k| 1416k| 0 | 0.0 |2399M|2816 | - |5645 | 16k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1718.14/1718.10 c 1646s| 2490k| 1421k| 0 | 0.0 |2412M|2816 | - |5645 | 17k| 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1728.43/1728.44 c 1656s| 2500k| 1427k| 0 | 0.0 |2425M|2816 | - |5645 | 18k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1739.24/1739.21 c 1667s| 2510k| 1432k| 0 | 0.0 |2437M|2816 | - |5645 | 18k| 0 | 0 | 0 |2039k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1750.94/1750.94 c 1678s| 2520k| 1436k| 0 | 0.0 |2449M|2816 | - |5645 | 18k| 0 | 0 | 0 |2049k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.25/1763.21 c 1690s| 2530k| 1441k| 0 | 0.0 |2461M|2816 | - |5645 | 19k| 0 | 0 | 0 |2060k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1774.94/1774.92 c 1702s| 2540k| 1446k| 0 | 0.0 |2473M|2816 | - |5645 | 19k| 0 | 0 | 0 |2070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1786.94/1786.91 c 1714s| 2550k| 1450k| 0 | 0.0 |2483M|2816 | - |5645 | 19k| 0 | 0 | 0 |2081k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1798.64/1798.63 c 1725s| 2560k| 1455k| 0 | 0.0 |2492M|2816 | - |5645 | 17k| 0 | 0 | 0 |2091k| 0 | 0.000000e+00 | 2.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) : 1726.83
1800.04/1800.00 c Solving Nodes : 2561242
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (43 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.08 s SATISFIABLE
1800.04/1800.08 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.08 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.08 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.08 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.08 v -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.04/1800.08 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.08 v -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.08 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 -x54
1800.04/1800.08 v -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.08 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 -x2
1800.04/1800.08 v -x1
1800.04/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.08 c Solving Time : 1726.83
1800.04/1800.08 c Original Problem :
1800.04/1800.08 c Problem name : HOME/instance-2693637-1277927942.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.08 c Presolved Problem :
1800.04/1800.08 c Problem name : t_HOME/instance-2693637-1277927942.wbo
1800.04/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.08 c Constraints : 5414 initial, 23290 maximal
1800.04/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.08 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.04/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.08 c root node : - 2591 - - 5182 - - - -
1800.04/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.08 c indicator : 2707 0 6175922 0 1804639 93 2451969 0 0 0
1800.04/1800.08 c linear : 2707 0 7918324 0 2185254 545643 45183448 0 0 0
1800.04/1800.08 c logicor : 0+ 0 3699085 0 0 69320 2165436 0 0 0
1800.04/1800.08 c bounddisjunction : 0+ 0 22890 0 0 0 17 0 0 0
1800.04/1800.08 c countsols : 0 0 0 0 2185278 0 0 0 0 0
1800.04/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.08 c indicator : 18.98 0.00 7.97 0.00 11.01
1800.04/1800.08 c linear : 443.08 0.00 441.82 0.00 1.26
1800.04/1800.08 c logicor : 250.00 0.00 250.00 0.00 0.00
1800.04/1800.08 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.08 c countsols : 0.03 0.00 0.00 0.00 0.03
1800.04/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.08 c vbounds : 0.32 2 0 0
1800.04/1800.08 c rootredcost : 0.27 0 0 0
1800.04/1800.08 c pseudoobj : 395.75 7920412 1925 2423347
1800.04/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.08 c propagation : 35.08 616888 616880 2956341 21.2 285053 11.8 -
1800.04/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.08 c pseudo solution : 0.00 121 121 450 28.1 345 9.6 -
1800.04/1800.08 c applied globally : - - - 2093019 19.0 - - -
1800.04/1800.08 c applied locally : - - - 0 0.0 - - -
1800.04/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.08 c redcost : 0.00 0 0 0 0 0
1800.04/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.08 c intobj : 0.00 0 0 0 0 0
1800.04/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.08 c gomory : 0.00 0 0 0 0 0
1800.04/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.08 c cmir : 0.00 0 0 0 0 0
1800.04/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.08 c clique : 0.00 0 0 0 0 0
1800.04/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.08 c mcf : 0.00 0 0 0 0 0
1800.04/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.08 c Pricers : Time Calls Vars
1800.04/1800.08 c problem variables: 0.00 0 0
1800.04/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.08 c inference : 41.58 2185238 0 0 0 0 4370476
1800.04/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.08 c random : 0.00 0 0 0 0 0 0
1800.04/1800.08 c Primal Heuristics : Time Calls Found
1800.04/1800.08 c LP solutions : 0.00 - 0
1800.04/1800.08 c pseudo solutions : 0.25 - 40
1800.04/1800.08 c oneopt : 0.12 0 0
1800.04/1800.08 c trivial : 0.08 2 2
1800.04/1800.08 c simplerounding : 0.00 0 0
1800.04/1800.08 c zirounding : 0.00 0 0
1800.04/1800.08 c rounding : 0.00 0 0
1800.04/1800.08 c shifting : 0.00 0 0
1800.04/1800.08 c intshifting : 0.00 0 0
1800.04/1800.08 c twoopt : 0.00 0 0
1800.04/1800.08 c fixandinfer : 0.00 0 0
1800.04/1800.08 c feaspump : 0.00 0 0
1800.04/1800.08 c coefdiving : 0.00 0 0
1800.04/1800.08 c pscostdiving : 0.00 0 0
1800.04/1800.08 c fracdiving : 0.00 0 0
1800.04/1800.08 c veclendiving : 0.00 0 0
1800.04/1800.08 c intdiving : 0.00 0 0
1800.04/1800.08 c actconsdiving : 0.00 0 0
1800.04/1800.08 c objpscostdiving : 0.00 0 0
1800.04/1800.08 c rootsoldiving : 0.00 0 0
1800.04/1800.08 c linesearchdiving : 0.00 0 0
1800.04/1800.08 c guideddiving : 0.00 0 0
1800.04/1800.08 c octane : 0.00 0 0
1800.04/1800.08 c rens : 0.00 0 0
1800.04/1800.08 c rins : 0.00 0 0
1800.04/1800.08 c localbranching : 0.00 0 0
1800.04/1800.08 c mutation : 0.00 0 0
1800.04/1800.08 c crossover : 0.00 0 0
1800.04/1800.08 c dins : 0.00 0 0
1800.04/1800.08 c undercover : 0.00 0 0
1800.04/1800.08 c nlp : 0.08 0 0
1800.04/1800.08 c trysol : 0.11 1 1
1800.04/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.08 c (at root node) : - 0 0 0.00 -
1800.04/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.08 c B&B Tree :
1800.04/1800.08 c number of runs : 1
1800.04/1800.08 c nodes : 2561242
1800.04/1800.08 c nodes (total) : 2561242
1800.04/1800.08 c nodes left : 1455828
1800.04/1800.08 c max depth : 2816
1800.04/1800.08 c max depth (total): 2816
1800.04/1800.08 c backtracks : 331806 (13.0%)
1800.04/1800.08 c delayed cutoffs : 286371
1800.04/1800.08 c repropagations : 1334847 (15589646 domain reductions, 241138 cutoffs)
1800.04/1800.08 c avg switch length: 39.10
1800.04/1800.08 c switching time : 486.04
1800.04/1800.08 c Solution :
1800.04/1800.08 c Solutions found : 43 (41 improvements)
1800.04/1800.08 c First Solution : +1.35279000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 2294967 nodes, 1485.46 seconds, depth 1754, found by <relaxation>)
1800.04/1800.08 c Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Gap : infinite
1800.04/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.08 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693637-1277927942/watcher-2693637-1277927942 -o /tmp/evaluation-result-2693637-1277927942/solver-2693637-1277927942 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693637-1277927942.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 2.03 3/178 19324 /proc/meminfo: memFree=30482248/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=7852 CPUtime=0 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 1454 0 0 0 0 0 0 0 25 0 1 0 134089698 8040448 1376 4089446400 4194304 7136930 140733349763920 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/19324/statm: 1963 1381 275 719 0 1242 0 [startup+0.0502031 s] /proc/loadavg: 1.92 1.98 2.03 3/178 19324 /proc/meminfo: memFree=30482248/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=27628 CPUtime=0.04 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 6757 0 0 0 4 0 0 0 25 0 1 0 134089698 28291072 6325 4089446400 4194304 7136930 140733349763920 18446744073709551615 6327079 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 6907 6333 289 719 0 6186 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 27628 [startup+0.101195 s] /proc/loadavg: 1.92 1.98 2.03 3/178 19324 /proc/meminfo: memFree=30482248/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=33676 CPUtime=0.09 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 7968 0 0 0 9 0 0 0 25 0 1 0 134089698 34484224 7536 4089446400 4194304 7136930 140733349763920 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 8419 7536 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.301158 s] /proc/loadavg: 1.92 1.98 2.03 3/178 19324 /proc/meminfo: memFree=30482248/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=36496 CPUtime=0.29 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 9240 0 0 0 27 2 0 0 25 0 1 0 134089698 37371904 8294 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 9124 8294 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.701079 s] /proc/loadavg: 1.92 1.98 2.03 3/178 19324 /proc/meminfo: memFree=30482248/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=37636 CPUtime=0.69 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 9517 0 0 0 65 4 0 0 25 0 1 0 134089698 38539264 8571 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 9409 8571 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50095 s] /proc/loadavg: 1.92 1.98 2.03 3/179 19325 /proc/meminfo: memFree=30447680/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=42772 CPUtime=1.49 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 10798 0 0 0 139 10 0 0 25 0 1 0 134089698 43798528 9852 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 10693 9852 390 719 0 9972 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42772 [startup+3.10061 s] /proc/loadavg: 1.92 1.98 2.03 3/179 19325 /proc/meminfo: memFree=30442968/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=45508 CPUtime=3.09 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 11504 0 0 0 291 18 0 0 25 0 1 0 134089698 46600192 10558 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 11377 10558 390 719 0 10656 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45508 [startup+6.30105 s] /proc/loadavg: 1.93 1.98 2.03 3/179 19325 /proc/meminfo: memFree=30435592/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=56488 CPUtime=6.29 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 14134 0 0 0 591 38 0 0 25 0 1 0 134089698 57843712 13188 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 14122 13188 391 719 0 13401 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56488 [startup+12.7009 s] /proc/loadavg: 1.93 1.98 2.03 3/179 19325 /proc/meminfo: memFree=30410740/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=77784 CPUtime=12.69 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 19382 0 0 0 1193 76 0 0 25 0 1 0 134089698 79650816 18436 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 19446 18436 391 719 0 18725 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77784 [startup+25.5005 s] /proc/loadavg: 1.95 1.98 2.03 3/179 19326 /proc/meminfo: memFree=30365784/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=125628 CPUtime=25.5 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 30990 0 0 0 2420 130 0 0 25 0 1 0 134089698 128643072 30044 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 31407 30044 393 719 0 30686 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 125628 [startup+51.1009 s] /proc/loadavg: 1.96 1.98 2.02 3/179 19327 /proc/meminfo: memFree=30298780/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=193760 CPUtime=51.09 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 47329 0 0 0 4820 289 0 0 25 0 1 0 134089698 198410240 46383 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 48440 46383 393 719 0 47719 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 193760 [startup+102.307 s] /proc/loadavg: 1.98 1.98 2.02 3/179 19328 /proc/meminfo: memFree=30186516/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=304232 CPUtime=102.3 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 74954 0 0 0 9692 538 0 0 25 0 1 0 134089698 311533568 74008 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 76058 74008 393 719 0 75337 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 304232 [startup+162.301 s] /proc/loadavg: 1.99 1.98 2.01 3/179 19338 /proc/meminfo: memFree=30081320/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=411828 CPUtime=162.29 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 100842 0 0 0 15416 813 0 0 25 0 1 0 134089698 421711872 99896 4089446400 4194304 7136930 140733349763920 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/19324/statm: 102957 99896 393 719 0 102236 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 411828 [startup+222.301 s] /proc/loadavg: 1.99 1.98 2.01 3/179 19340 /proc/meminfo: memFree=29971888/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=526000 CPUtime=222.29 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 128175 0 0 0 21131 1098 0 0 25 0 1 0 134089698 538624000 127229 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/19324/statm: 131500 127229 393 719 0 130779 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 526000 [startup+282.301 s] /proc/loadavg: 1.99 1.98 2.00 3/179 19342 /proc/meminfo: memFree=29858008/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=643204 CPUtime=282.29 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 156404 0 0 0 26831 1398 0 0 25 0 1 0 134089698 658640896 155458 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/19324/statm: 160801 155458 393 719 0 160080 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 643204 [startup+342.301 s] /proc/loadavg: 1.92 1.97 1.99 3/197 19389 /proc/meminfo: memFree=30194348/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=750184 CPUtime=342.3 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 183469 0 0 0 32511 1719 0 0 25 0 1 0 134089698 768188416 182523 4089446400 4194304 7136930 140733349763920 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/19324/statm: 187546 182523 393 719 0 186825 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 750184 [startup+402.301 s] /proc/loadavg: 1.97 1.97 1.99 3/197 19391 /proc/meminfo: memFree=30087584/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=864108 CPUtime=402.3 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 210052 0 0 0 38172 2058 0 0 25 0 1 0 134089698 884846592 209106 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/19324/statm: 216027 209106 393 719 0 215306 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 864108 [startup+462.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 19392 /proc/meminfo: memFree=29997612/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=951668 CPUtime=462.3 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 231985 0 0 0 43926 2304 0 0 25 0 1 0 134089698 974508032 231039 4089446400 4194304 7136930 140733349763920 18446744073709551615 4210611 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/19324/statm: 237917 231039 393 719 0 237196 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 951668 [startup+522.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 19394 /proc/meminfo: memFree=29923016/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=1026120 CPUtime=522.3 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 250602 0 0 0 49706 2524 0 0 25 0 1 0 134089698 1050746880 249656 4089446400 4194304 7136930 140733349763920 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 256530 249656 393 719 0 255809 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1026120 [startup+582.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 19396 /proc/meminfo: memFree=29853508/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=1094260 CPUtime=582.3 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 267659 0 0 0 55495 2735 0 0 25 0 1 0 134089698 1120522240 266713 4089446400 4194304 7136930 140733349763920 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 273565 266713 393 719 0 272844 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1094260 [startup+642.301 s] /proc/loadavg: 1.99 1.97 1.99 3/197 19397 /proc/meminfo: memFree=29820208/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=1127288 CPUtime=642.31 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 275846 0 0 0 61321 2910 0 0 25 0 1 0 134089698 1154342912 274900 4089446400 4194304 7136930 140733349763920 18446744073709551615 4924325 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 281822 274900 393 719 0 281101 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1127288 [startup+702.301 s] ################ # More data... # ################ /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 408575 0 0 0 95638 4594 0 0 25 0 1 0 134089698 1694121984 407629 4089446400 4194304 7136930 140733349763920 18446744073709551615 4661200 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 413604 407629 393 719 0 412883 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1654416 [startup+1062.3 s] /proc/loadavg: 2.07 1.99 2.00 3/197 19408 /proc/meminfo: memFree=29203316/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=1737636 CPUtime=1062.31 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 429474 0 0 0 101384 4847 0 0 25 0 1 0 134089698 1779339264 428528 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 434409 428528 393 719 0 433688 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1737636 [startup+1122.3 s] /proc/loadavg: 2.02 1.99 2.00 3/197 19410 /proc/meminfo: memFree=29105280/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=1850108 CPUtime=1122.32 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 453613 0 0 0 107098 5134 0 0 25 0 1 0 134089698 1894510592 452667 4089446400 4194304 7136930 140733349763920 18446744073709551615 4223090 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 462527 452667 393 719 0 461806 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1850108 [startup+1182.3 s] /proc/loadavg: 2.01 1.99 2.00 3/197 19412 /proc/meminfo: memFree=29032792/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=1920564 CPUtime=1182.32 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 471498 0 0 0 112817 5415 0 0 25 0 1 0 134089698 1966657536 470552 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 480141 470552 393 719 0 479420 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1920564 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 2.00 3/197 19413 /proc/meminfo: memFree=28944692/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2009340 CPUtime=1242.32 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 493651 0 0 0 118530 5702 0 0 25 0 1 0 134089698 2057564160 492705 4089446400 4194304 7136930 140733349763920 18446744073709551615 4221551 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 502335 492705 393 719 0 501614 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2009340 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 2.00 3/197 19415 /proc/meminfo: memFree=28876924/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2075492 CPUtime=1302.33 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 510273 0 0 0 124230 6003 0 0 25 0 1 0 134089698 2125303808 509327 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 518873 509327 393 719 0 518152 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2075492 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 2.00 3/197 19416 /proc/meminfo: memFree=28789180/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2162252 CPUtime=1362.32 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 532358 0 0 0 129908 6324 0 0 25 0 1 0 134089698 2214146048 531412 4089446400 4194304 7136930 140733349763920 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 540563 531412 393 719 0 539842 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2162252 [startup+1422.31 s] /proc/loadavg: 2.06 2.02 2.01 3/197 19418 /proc/meminfo: memFree=28721152/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2229136 CPUtime=1422.33 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 549037 0 0 0 135656 6577 0 0 25 0 1 0 134089698 2282635264 548091 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 557284 548091 393 719 0 556563 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2229136 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 19420 /proc/meminfo: memFree=28638252/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2311180 CPUtime=1482.33 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 569927 0 0 0 141355 6878 0 0 25 0 1 0 134089698 2366648320 568981 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/19324/statm: 577795 568981 393 719 0 577074 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2311180 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 4/179 19449 /proc/meminfo: memFree=28470468/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2386328 CPUtime=1542.34 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 588746 0 0 0 147245 6989 0 0 25 0 1 0 134089698 2443599872 587800 4089446400 4194304 7136930 140733349763920 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19324/statm: 596582 587800 393 719 0 595861 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2386328 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19451 /proc/meminfo: memFree=28330160/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2418732 CPUtime=1602.33 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 596497 0 0 0 153167 7066 0 0 25 0 1 0 134089698 2476781568 595551 4089446400 4194304 7136930 140733349763920 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19324/statm: 604683 595551 393 719 0 603962 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2418732 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19452 /proc/meminfo: memFree=27944076/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2509048 CPUtime=1662.33 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 619149 0 0 0 159079 7154 0 0 25 0 1 0 134089698 2569265152 618203 4089446400 4194304 7136930 140733349763920 18446744073709551615 5955627 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19324/statm: 627262 618203 393 719 0 626541 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2509048 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19454 /proc/meminfo: memFree=27700840/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2581224 CPUtime=1722.33 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 637573 0 0 0 165003 7230 0 0 25 0 1 0 134089698 2643173376 636627 4089446400 4194304 7136930 140733349763920 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19324/statm: 645306 636627 393 719 0 644585 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2581224 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19456 /proc/meminfo: memFree=27506604/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2646872 CPUtime=1782.34 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 653857 0 0 0 170936 7298 0 0 25 0 1 0 134089698 2710396928 652911 4089446400 4194304 7136930 140733349763920 18446744073709551615 4925492 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19324/statm: 661718 652911 393 719 0 660997 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2646872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 4/179 19456 /proc/meminfo: memFree=27456980/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2660692 CPUtime=1800.04 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 657384 0 0 0 172685 7319 0 0 25 0 1 0 134089698 2724548608 656438 4089446400 4194304 7136930 140733349763920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/19324/statm: 665173 656438 393 719 0 664452 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2660692 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -19324 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 4/180 19457 /proc/meminfo: memFree=27456600/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2660692 CPUtime=1801.44 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 657403 0 0 0 172825 7319 0 0 25 0 1 0 134089698 2724548608 656457 4089446400 4194304 7136930 140733349763920 18446744073709551615 6165657 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19324/statm: 665173 656457 399 719 0 664452 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2660692 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 4/180 19457 /proc/meminfo: memFree=27452012/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2660692 CPUtime=1801.85 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 657403 0 0 0 172866 7319 0 0 25 0 1 0 134089698 2724548608 656457 4089446400 4194304 7136930 140733349763920 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19324/statm: 665173 656457 399 719 0 664452 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2660692 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 4/180 19457 /proc/meminfo: memFree=27452012/32951124 swapFree=67111528/67111528 [pid=19324] ppid=19322 vsize=2660692 CPUtime=1802.04 /proc/19324/stat : 19324 (pbscip.linux.x8) R 19322 19324 18726 0 -1 4202496 657403 0 0 0 172885 7319 0 0 25 0 1 0 134089698 2724548608 656457 4089446400 4194304 7136930 140733349763920 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/19324/statm: 665173 656457 399 719 0 664452 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2660692 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.15 CPU user time (s): 1728.86 CPU system time (s): 73.2879 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2660692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1728.86 system time used= 73.2879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 657403 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 12282 runsolver used 2.87556 second user time and 5.67314 second system time The end
Begin job on node139 at 2010-06-30 21:59:02 IDJOB=2693637 IDBENCH=79283 IDSOLVER=1206 FILE ID=node139/2693637-1277927942 PBS_JOBID= 11197355 Free space on /tmp= 74120 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.1900550720--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-2693637-1277927942/watcher-2693637-1277927942 -o /tmp/evaluation-result-2693637-1277927942/solver-2693637-1277927942 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693637-1277927942.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 78d8e4512631586bbdc844ad983c3b47 RANDOM SEED=1817863137 node139.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 : 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.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.78 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.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.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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30482652 kB Buffers: 216352 kB Cached: 1481868 kB SwapCached: 0 kB Active: 1303104 kB Inactive: 1017320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30482652 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3164 kB Writeback: 0 kB AnonPages: 622180 kB Mapped: 16912 kB Slab: 84008 kB PageTables: 6088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 772124 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= 74120 MiB End job on node139 at 2010-06-30 22:29:04