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.08 | 1802.04 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo |
| MD5SUM | 8285b15ee2c0064deae9a0e09e679565 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 742 |
| Best CPU time to get the best result obtained on this benchmark | 6.06408 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 1000 |
| Number of soft constraints | 900 |
| Number of constraints which are clauses | 900 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 444855 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 444854 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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-2700046-1278533923.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.02/0.02 c presolving:
0.02/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.02/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.02/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 1100 implications, 0 cliques
0.02/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.02/0.06 c 900 constraints of type <indicator>
0.02/0.06 c 900 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 1.2.1.2
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1799.99
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 3420
0.02/0.06 c
0.02/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c lp/solvefreq = -1
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.06 o 444854
0.02/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.06 c t 0.0s| 1 | 0 | 0 | - |6452k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.02/0.06 c 0.0s| 1 | 2 | 0 | - |6404k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.39/0.44 o 13891
0.39/0.44 c * 0.4s| 2998 | 2674 | 0 | 0.0 |8066k| 906 | - |1900 |1898 | 0 | 0 | 0 | 98 | 0 | 0.000000e+00 | 1.389100e+04 | Inf
0.49/0.55 o 11856
0.49/0.55 c * 0.5s| 3580 | 2934 | 0 | 0.0 |8176k| 906 | - |1900 |1899 | 0 | 0 | 0 | 100 | 0 | 1.000000e+00 | 1.185600e+04 | Large
0.49/0.55 o 11549
0.49/0.55 c * 0.5s| 3581 | 2894 | 0 | 0.0 |8223k| 906 | - |1900 |1899 | 0 | 0 | 0 | 100 | 0 | 1.000000e+00 | 1.154900e+04 | Large
1.10/1.14 o 11254
1.10/1.14 c * 1.0s| 6616 | 5666 | 0 | 0.0 | 10M| 906 | - |1900 |2899 | 0 | 0 | 0 |1100 | 0 | 1.000000e+00 | 1.125400e+04 | Large
1.49/1.53 o 11244
1.49/1.53 c * 1.3s| 8244 | 7087 | 0 | 0.0 | 11M| 906 | - |1900 |3964 | 0 | 0 | 0 |2184 | 0 | 1.000000e+00 | 1.124400e+04 | Large
1.49/1.57 o 11209
1.49/1.57 c * 1.3s| 8410 | 7225 | 0 | 0.0 | 11M| 906 | - |1900 |4050 | 0 | 0 | 0 |2274 | 0 | 1.000000e+00 | 1.120900e+04 | Large
1.79/1.82 o 11156
1.79/1.82 c * 1.6s| 9494 | 8190 | 0 | 0.0 | 12M| 906 | - |1900 |4368 | 0 | 0 | 0 |2784 | 0 | 1.000000e+00 | 1.115600e+04 | Large
1.79/1.82 o 11069
1.79/1.82 c * 1.6s| 9495 | 8156 | 0 | 0.0 | 12M| 906 | - |1900 |4368 | 0 | 0 | 0 |2784 | 0 | 1.000000e+00 | 1.106900e+04 | Large
1.89/1.91 o 10949
1.89/1.91 c * 1.7s| 9897 | 8457 | 0 | 0.0 | 12M| 906 | - |1900 |4334 | 0 | 0 | 0 |3004 | 0 | 1.000000e+00 | 1.094900e+04 | Large
1.89/1.91 o 10935
1.89/1.91 c * 1.7s| 9898 | 8448 | 0 | 0.0 | 12M| 906 | - |1900 |4334 | 0 | 0 | 0 |3004 | 0 | 1.000000e+00 | 1.093500e+04 | Large
1.89/1.94 c 1.7s| 10000 | 8536 | 0 | 0.0 | 12M| 906 | - |1900 |4305 | 0 | 0 | 0 |3064 | 0 | 1.000000e+00 | 1.093500e+04 | Large
1.99/2.07 o 10871
1.99/2.07 c * 1.8s| 10529 | 8967 | 0 | 0.0 | 13M| 906 | - |1900 |4289 | 0 | 0 | 0 |3404 | 0 | 1.000000e+00 | 1.087100e+04 | Large
2.09/2.20 o 10493
2.09/2.20 c * 1.9s| 11104 | 9267 | 0 | 0.0 | 13M| 906 | - |1900 |4278 | 0 | 0 | 0 |3704 | 0 | 1.000000e+00 | 1.049300e+04 | Large
2.09/2.20 o 10406
2.09/2.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.09/2.20 c * 1.9s| 11105 | 9195 | 0 | 0.0 | 13M| 906 | - |1900 |4278 | 0 | 0 | 0 |3704 | 0 | 1.000000e+00 | 1.040600e+04 | Large
2.49/2.51 o 10208
2.49/2.51 c * 2.2s| 12397 | 10163 | 0 | 0.0 | 13M| 906 | - |1900 |4048 | 0 | 0 | 0 |4534 | 0 | 1.000000e+00 | 1.020800e+04 | Large
2.69/2.77 o 10094
2.69/2.77 c * 2.4s| 13500 | 11002 | 0 | 0.0 | 14M| 906 | - |1900 |4233 | 0 | 0 | 0 |5224 | 0 | 1.000000e+00 | 1.009400e+04 | Large
3.59/3.60 o 10010
3.59/3.60 c * 3.2s| 16963 | 13953 | 0 | 0.0 | 16M| 906 | - |1900 |4714 | 0 | 0 | 0 |7422 | 0 | 1.000000e+00 | 1.001000e+04 | Large
3.59/3.60 o 9813
3.59/3.60 c * 3.2s| 16964 | 13654 | 0 | 0.0 | 16M| 906 | - |1900 |4714 | 0 | 0 | 0 |7422 | 0 | 1.000000e+00 | 9.813000e+03 | Large
4.29/4.33 c 3.8s| 20000 | 16329 | 0 | 0.0 | 18M| 906 | - |1900 |4994 | 0 | 0 | 0 |9498 | 0 | 1.000000e+00 | 9.813000e+03 | Large
5.19/5.22 o 9776
5.19/5.22 c * 4.6s| 23692 | 19558 | 0 | 0.0 | 20M| 906 | - |1900 |5259 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 9.776000e+03 | Large
5.19/5.22 o 9326
5.19/5.22 c * 4.6s| 23695 | 18889 | 0 | 0.0 | 20M| 906 | - |1900 |5268 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 9.326000e+03 | Large
5.69/5.72 o 8916
5.69/5.72 c * 5.0s| 25699 | 20103 | 0 | 0.0 | 20M| 906 | - |1900 |5337 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 8.916000e+03 | Large
5.69/5.72 o 8829
5.69/5.72 c * 5.0s| 25700 | 19980 | 0 | 0.0 | 20M| 906 | - |1900 |5337 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 8.829000e+03 | Large
6.79/6.83 c 6.1s| 30000 | 23638 | 0 | 0.0 | 23M| 906 | - |1900 |6190 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 8.829000e+03 | Large
7.99/8.00 o 8751
7.99/8.00 c * 7.1s| 34536 | 27370 | 0 | 0.0 | 25M| 906 | - |1900 |6723 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 8.751000e+03 | Large
9.39/9.46 c 8.4s| 40000 | 32063 | 0 | 0.0 | 29M| 906 | - |1900 |6900 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 8.751000e+03 | Large
10.09/10.10 o 8698
10.09/10.10 c * 9.0s| 42497 | 34157 | 0 | 0.0 | 30M| 906 | - |1900 |6864 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 8.698000e+03 | Large
11.59/11.64 o 8669
11.59/11.64 c *10.4s| 48496 | 39268 | 0 | 0.0 | 34M| 906 | - |1900 |7964 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 8.669000e+03 | Large
11.99/12.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.99/12.02 c 10.7s| 50000 | 40562 | 0 | 0.0 | 35M| 906 | - |1900 |8303 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | 8.669000e+03 | Large
12.90/12.96 o 8642
12.90/12.96 c *11.6s| 53584 | 43591 | 0 | 0.0 | 37M| 906 | - |1900 |8916 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 8.642000e+03 | Large
13.29/13.32 o 8609
13.29/13.32 c *11.9s| 54970 | 44694 | 0 | 0.0 | 38M| 906 | - |1900 |9340 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 8.609000e+03 | Large
13.29/13.32 o 8595
13.29/13.32 c *11.9s| 54971 | 44663 | 0 | 0.0 | 38M| 906 | - |1900 |9340 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 8.595000e+03 | Large
13.59/13.65 o 8437
13.59/13.65 c *12.2s| 56132 | 45243 | 0 | 0.0 | 38M| 906 | - |1900 |9142 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 8.437000e+03 | Large
14.59/14.70 c 13.2s| 60000 | 48624 | 0 | 0.0 | 40M| 906 | - |1900 |8128 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 8.437000e+03 | Large
17.39/17.41 c 15.6s| 70000 | 57270 | 0 | 0.0 | 46M| 906 | - |1900 |8698 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 8.437000e+03 | Large
17.39/17.48 o 8298
17.39/17.48 c *15.7s| 70266 | 57117 | 0 | 0.0 | 46M| 906 | - |1900 |8757 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 8.298000e+03 | Large
20.09/20.12 o 8154
20.09/20.12 c *18.1s| 79779 | 64893 | 0 | 0.0 | 51M| 906 | - |1900 |9530 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 8.154000e+03 | Large
20.09/20.13 o 7783
20.09/20.13 c *18.1s| 79780 | 63514 | 0 | 0.0 | 49M| 906 | - |1900 |9530 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 7.783000e+03 | Large
20.09/20.19 c 18.1s| 80000 | 63702 | 0 | 0.0 | 49M| 906 | - |1900 |9555 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 7.783000e+03 | Large
20.59/20.68 o 7651
20.59/20.68 c *18.6s| 81751 | 64489 | 0 | 0.0 | 49M| 906 | - |1900 | 10k| 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 7.651000e+03 | Large
23.10/23.16 c 20.8s| 90000 | 71319 | 0 | 0.0 | 55M| 906 | - |1900 | 11k| 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 7.651000e+03 | Large
26.19/26.26 c 23.6s|100000 | 79565 | 0 | 0.0 | 62M| 906 | - |1900 | 12k| 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 7.651000e+03 | Large
29.19/29.28 c 26.4s|110000 | 88039 | 0 | 0.0 | 68M| 906 | - |1900 | 12k| 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 7.651000e+03 | Large
30.59/30.63 o 7529
30.59/30.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.59/30.63 c *27.6s|114587 | 91193 | 0 | 0.0 | 69M| 906 | - |1900 | 13k| 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 7.529000e+03 | Large
30.70/30.77 o 7332
30.70/30.77 c *27.7s|115058 | 90146 | 0 | 0.0 | 67M| 906 | - |1900 | 13k| 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 7.332000e+03 | Large
32.19/32.29 c 29.1s|120000 | 94311 | 0 | 0.0 | 71M| 906 | - |1900 | 14k| 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 7.332000e+03 | Large
35.40/35.45 c 32.0s|130000 |102454 | 0 | 0.0 | 78M| 906 | - |1900 | 17k| 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 7.332000e+03 | Large
38.69/38.76 c 35.0s|140000 |110840 | 0 | 0.0 | 82M| 906 | - |1900 | 13k| 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 7.332000e+03 | Large
41.90/41.93 c 38.0s|150000 |119294 | 0 | 0.0 | 88M| 906 | - |1900 | 14k| 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 7.332000e+03 | Large
42.39/42.44 o 7203
42.39/42.44 c *38.4s|151670 |119534 | 0 | 0.0 | 88M| 906 | - |1900 | 14k| 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 7.203000e+03 | Large
42.39/42.45 o 6913
42.39/42.45 c *38.4s|151673 |116876 | 0 | 0.0 | 85M| 906 | - |1900 | 14k| 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 6.913000e+03 | Large
45.29/45.38 c 41.1s|160000 |123636 | 0 | 0.0 | 90M| 906 | - |1900 | 16k| 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 6.913000e+03 | Large
47.20/47.28 o 6868
47.20/47.28 c *42.9s|165203 |127469 | 0 | 0.0 | 94M| 906 | - |1900 | 16k| 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 6.868000e+03 | Large
48.89/48.94 c 44.5s|170000 |131434 | 0 | 0.0 | 96M| 906 | - |1900 | 17k| 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 6.868000e+03 | Large
52.59/52.67 c 47.9s|180000 |139583 | 0 | 0.0 | 103M| 906 | - |1900 | 18k| 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 6.868000e+03 | Large
56.39/56.45 c 51.4s|190000 |147662 | 0 | 0.0 | 110M| 906 | - |1900 | 19k| 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 6.868000e+03 | Large
57.60/57.63 o 6864
57.60/57.63 c *52.5s|193042 |150024 | 0 | 0.0 | 112M| 906 | - |1900 | 20k| 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 6.864000e+03 | Large
57.60/57.63 o 6859
57.60/57.63 c *52.5s|193043 |149970 | 0 | 0.0 | 112M| 906 | - |1900 | 20k| 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 6.859000e+03 | Large
60.40/60.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.40/60.44 c 55.1s|200000 |155556 | 0 | 0.0 | 117M| 906 | - |1900 | 22k| 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 6.859000e+03 | Large
60.59/60.67 o 6631
60.59/60.67 c *55.3s|200520 |152987 | 0 | 0.0 | 112M| 906 | - |1900 | 22k| 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 6.631000e+03 | Large
64.80/64.81 c 59.1s|210000 |160735 | 0 | 0.0 | 118M| 906 | - |1900 | 20k| 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 6.631000e+03 | Large
68.60/68.64 c 62.7s|220000 |169084 | 0 | 0.0 | 124M| 906 | - |1900 | 19k| 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 6.631000e+03 | Large
72.40/72.49 c 66.3s|230000 |177353 | 0 | 0.0 | 130M| 906 | - |1900 | 20k| 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 6.631000e+03 | Large
76.49/76.59 c 70.1s|240000 |185502 | 0 | 0.0 | 137M| 906 | - |1900 | 22k| 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 6.631000e+03 | Large
80.60/80.63 c 73.8s|250000 |193651 | 0 | 0.0 | 143M| 906 | - |1900 | 24k| 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 6.631000e+03 | Large
81.19/81.27 o 6612
81.19/81.27 c *74.5s|251469 |194525 | 0 | 0.0 | 144M| 906 | - |1900 | 25k| 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 6.612000e+03 | Large
82.09/82.11 o 6592
82.09/82.11 c *75.2s|253520 |195851 | 0 | 0.0 | 145M| 906 | - |1900 | 26k| 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 6.592000e+03 | Large
82.09/82.11 o 6429
82.09/82.11 c *75.2s|253521 |193259 | 0 | 0.0 | 142M| 906 | - |1900 | 26k| 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 6.429000e+03 | Large
84.19/84.27 o 6403
84.19/84.27 c *77.2s|258283 |196565 | 0 | 0.0 | 144M| 906 | - |1900 | 27k| 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 6.403000e+03 | Large
84.99/85.01 c 77.9s|260000 |197968 | 0 | 0.0 | 145M| 906 | - |1900 | 27k| 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 6.403000e+03 | Large
88.69/88.74 o 6354
88.69/88.74 c *81.4s|268334 |203666 | 0 | 0.0 | 149M| 906 | - |1900 | 29k| 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 6.354000e+03 | Large
88.69/88.75 o 6267
88.69/88.75 c *81.4s|268335 |201900 | 0 | 0.0 | 147M| 906 | - |1900 | 29k| 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 6.267000e+03 | Large
89.39/89.43 c 82.1s|270000 |203182 | 0 | 0.0 | 148M| 906 | - |1900 | 30k| 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 6.267000e+03 | Large
94.09/94.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.09/94.19 c 86.5s|280000 |211301 | 0 | 0.0 | 152M| 906 | - |1900 | 21k| 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 6.267000e+03 | Large
98.20/98.25 c 90.3s|290000 |219568 | 0 | 0.0 | 158M| 906 | - |1900 | 21k| 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 6.267000e+03 | Large
102.30/102.35 c 94.2s|300000 |227843 | 0 | 0.0 | 165M| 906 | - |1900 | 21k| 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 6.267000e+03 | Large
106.70/106.75 c 98.3s|310000 |235937 | 0 | 0.0 | 172M| 906 | - |1900 | 22k| 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 6.267000e+03 | Large
111.19/111.27 c 103s|320000 |244102 | 0 | 0.0 | 178M| 906 | - |1900 | 24k| 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 6.267000e+03 | Large
115.69/115.70 c 107s|330000 |252221 | 0 | 0.0 | 185M| 906 | - |1900 | 24k| 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | 6.267000e+03 | Large
120.49/120.57 c 111s|340000 |260282 | 0 | 0.0 | 192M| 906 | - |1900 | 26k| 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 6.267000e+03 | Large
125.60/125.67 c 116s|350000 |268247 | 0 | 0.0 | 198M| 906 | - |1900 | 27k| 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 6.267000e+03 | Large
130.49/130.54 c 121s|360000 |276241 | 0 | 0.0 | 205M| 906 | - |1900 | 29k| 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 6.267000e+03 | Large
135.50/135.58 o 6235
135.50/135.58 c * 126s|368944 |282413 | 0 | 0.0 | 210M| 906 | - |1900 | 30k| 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 6.235000e+03 | Large
135.59/135.61 o 6222
135.59/135.61 c * 126s|368995 |282182 | 0 | 0.0 | 210M| 906 | - |1900 | 30k| 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 6.222000e+03 | Large
135.59/135.62 o 6173
135.59/135.62 c * 126s|368996 |281057 | 0 | 0.0 | 208M| 906 | - |1900 | 30k| 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 6.173000e+03 | Large
136.19/136.20 c 126s|370000 |281825 | 0 | 0.0 | 209M| 906 | - |1900 | 30k| 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 6.173000e+03 | Large
141.39/141.40 o 6083
141.39/141.40 c * 131s|378958 |286379 | 0 | 0.0 | 212M| 906 | - |1900 | 31k| 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | 6.083000e+03 | Large
141.90/141.99 c 132s|380000 |287184 | 0 | 0.0 | 212M| 906 | - |1900 | 31k| 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 6.083000e+03 | Large
147.99/148.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.99/148.01 c 137s|390000 |294856 | 0 | 0.0 | 220M| 906 | - |1900 | 33k| 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 6.083000e+03 | Large
154.39/154.41 c 144s|400000 |302384 | 0 | 0.0 | 227M| 906 | - |1900 | 35k| 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 6.083000e+03 | Large
158.40/158.47 o 6054
158.40/158.47 c * 147s|406277 |306235 | 0 | 0.0 | 230M| 906 | - |1900 | 38k| 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 6.054000e+03 | Large
160.89/160.93 c 150s|410000 |309016 | 0 | 0.0 | 233M| 906 | - |1900 | 39k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 6.054000e+03 | Large
162.80/162.86 o 6051
162.80/162.86 c * 152s|412974 |311268 | 0 | 0.0 | 235M| 906 | - |1900 | 40k| 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 6.051000e+03 | Large
167.70/167.71 c 156s|420000 |316869 | 0 | 0.0 | 237M| 906 | - |1900 | 31k| 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | 6.051000e+03 | Large
173.20/173.24 c 162s|430000 |325133 | 0 | 0.0 | 243M| 906 | - |1900 | 31k| 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 6.051000e+03 | Large
178.79/178.81 c 167s|440000 |333275 | 0 | 0.0 | 250M| 906 | - |1900 | 32k| 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | 6.051000e+03 | Large
184.70/184.76 c 172s|450000 |341325 | 0 | 0.0 | 257M| 906 | - |1900 | 34k| 0 | 0 | 0 | 450k| 0 | 1.000000e+00 | 6.051000e+03 | Large
190.49/190.59 c 178s|460000 |349291 | 0 | 0.0 | 263M| 906 | - |1900 | 35k| 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 6.051000e+03 | Large
196.69/196.70 c 184s|470000 |357418 | 0 | 0.0 | 270M| 906 | - |1900 | 37k| 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 6.051000e+03 | Large
199.10/199.19 o 6002
199.10/199.19 c * 186s|474020 |359189 | 0 | 0.0 | 270M| 906 | - |1900 | 38k| 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 6.002000e+03 | Large
199.10/199.20 o 5915
199.10/199.20 c * 186s|474021 |356400 | 0 | 0.0 | 266M| 906 | - |1900 | 38k| 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 5.915000e+03 | Large
199.40/199.46 o 5891
199.40/199.46 c * 187s|474456 |355880 | 0 | 0.0 | 265M| 906 | - |1900 | 38k| 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 5.891000e+03 | Large
202.89/202.91 c 190s|480000 |360242 | 0 | 0.0 | 268M| 906 | - |1900 | 39k| 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 5.891000e+03 | Large
208.00/208.02 o 5784
208.00/208.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.00/208.02 c * 195s|487593 |362378 | 0 | 0.0 | 268M| 906 | - |1900 | 41k| 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 5.784000e+03 | Large
208.00/208.03 o 5697
208.00/208.03 c * 195s|487594 |359400 | 0 | 0.0 | 265M| 906 | - |1900 | 41k| 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 5.697000e+03 | Large
209.50/209.58 c 196s|490000 |361259 | 0 | 0.0 | 266M| 906 | - |1900 | 41k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 5.697000e+03 | Large
216.19/216.26 c 203s|500000 |369036 | 0 | 0.0 | 273M| 906 | - |1900 | 43k| 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | 5.697000e+03 | Large
223.31/223.32 c 209s|510000 |376590 | 0 | 0.0 | 280M| 906 | - |1900 | 45k| 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 5.697000e+03 | Large
227.70/227.78 o 5637
227.70/227.78 c * 214s|516346 |378975 | 0 | 0.0 | 281M| 906 | - |1900 | 47k| 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 5.637000e+03 | Large
230.50/230.55 c 216s|520000 |381636 | 0 | 0.0 | 284M| 906 | - |1900 | 47k| 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 5.637000e+03 | Large
233.10/233.12 o 5403
233.10/233.12 c * 219s|523541 |374279 | 0 | 0.0 | 272M| 906 | - |1900 | 49k| 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 5.403000e+03 | Large
233.10/233.12 o 5398
233.10/233.12 c * 219s|523542 |374090 | 0 | 0.0 | 272M| 906 | - |1900 | 49k| 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 5.398000e+03 | Large
238.19/238.23 c 224s|530000 |378777 | 0 | 0.0 | 276M| 906 | - |1900 | 50k| 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 5.398000e+03 | Large
245.30/245.39 c 231s|540000 |386254 | 0 | 0.0 | 283M| 906 | - |1900 | 53k| 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 5.398000e+03 | Large
252.79/252.84 c 238s|550000 |394246 | 0 | 0.0 | 285M| 906 | - |1900 | 39k| 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 5.398000e+03 | Large
257.40/257.47 o 5387
257.40/257.47 c * 242s|556716 |399078 | 0 | 0.0 | 288M| 906 | - |1900 | 39k| 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 5.387000e+03 | Large
257.40/257.47 o 5378
257.40/257.47 c * 242s|556718 |398647 | 0 | 0.0 | 287M| 906 | - |1900 | 39k| 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 5.378000e+03 | Large
259.69/259.74 c 244s|560000 |401305 | 0 | 0.0 | 289M| 906 | - |1900 | 38k| 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 5.378000e+03 | Large
266.11/266.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.11/266.12 c 251s|570000 |409370 | 0 | 0.0 | 296M| 906 | - |1900 | 39k| 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 5.378000e+03 | Large
272.39/272.45 c 257s|580000 |417527 | 0 | 0.0 | 303M| 906 | - |1900 | 38k| 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 5.378000e+03 | Large
279.30/279.38 c 263s|590000 |425444 | 0 | 0.0 | 310M| 906 | - |1900 | 39k| 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 5.378000e+03 | Large
286.49/286.54 c 270s|600000 |433351 | 0 | 0.0 | 316M| 906 | - |1900 | 40k| 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 5.378000e+03 | Large
293.60/293.67 c 277s|610000 |441174 | 0 | 0.0 | 323M| 906 | - |1900 | 41k| 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 5.378000e+03 | Large
301.09/301.10 c 284s|620000 |449052 | 0 | 0.0 | 329M| 906 | - |1900 | 42k| 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | 5.378000e+03 | Large
302.10/302.19 o 5239
302.10/302.19 c * 285s|621735 |442346 | 0 | 0.0 | 318M| 906 | - |1900 | 42k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 5.239000e+03 | Large
302.19/302.21 o 5190
302.19/302.21 c * 285s|621736 |439117 | 0 | 0.0 | 313M| 906 | - |1900 | 42k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 5.190000e+03 | Large
308.70/308.72 c 292s|630000 |445520 | 0 | 0.0 | 318M| 906 | - |1900 | 44k| 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 5.190000e+03 | Large
316.99/317.09 c 300s|640000 |453157 | 0 | 0.0 | 325M| 906 | - |1900 | 44k| 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 5.190000e+03 | Large
325.00/325.01 c 307s|650000 |460882 | 0 | 0.0 | 331M| 906 | - |1900 | 46k| 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 5.190000e+03 | Large
333.10/333.14 c 315s|660000 |468533 | 0 | 0.0 | 338M| 906 | - |1900 | 47k| 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 5.190000e+03 | Large
341.80/341.82 c 324s|670000 |476169 | 0 | 0.0 | 345M| 906 | - |1900 | 48k| 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 5.190000e+03 | Large
350.39/350.46 c 332s|680000 |483712 | 0 | 0.0 | 351M| 906 | - |1900 | 47k| 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 5.190000e+03 | Large
359.29/359.37 c 340s|690000 |491172 | 0 | 0.0 | 359M| 906 | - |1900 | 49k| 0 | 0 | 0 | 729k| 0 | 1.000000e+00 | 5.190000e+03 | Large
368.70/368.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.70/368.72 c 350s|700000 |498591 | 0 | 0.0 | 365M| 906 | - |1900 | 50k| 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 5.190000e+03 | Large
378.20/378.21 c 359s|710000 |505810 | 0 | 0.0 | 372M| 906 | - |1900 | 52k| 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 5.190000e+03 | Large
388.00/388.09 c 368s|720000 |513206 | 0 | 0.0 | 379M| 906 | - |1900 | 54k| 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 5.190000e+03 | Large
394.00/394.06 o 5169
394.00/394.06 c * 374s|725634 |515839 | 0 | 0.0 | 382M| 906 | - |1900 | 55k| 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 5.169000e+03 | Large
398.39/398.40 c 378s|730000 |518970 | 0 | 0.0 | 385M| 906 | - |1900 | 56k| 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 5.169000e+03 | Large
409.11/409.19 c 389s|740000 |526239 | 0 | 0.0 | 392M| 906 | - |1900 | 58k| 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 5.169000e+03 | Large
420.30/420.30 c 400s|750000 |533312 | 0 | 0.0 | 399M| 906 | - |1900 | 61k| 0 | 0 | 0 | 812k| 0 | 1.000000e+00 | 5.169000e+03 | Large
425.00/425.00 o 5025
425.00/425.00 c * 404s|754048 |525063 | 0 | 0.0 | 387M| 906 | - |1900 | 62k| 0 | 0 | 0 | 818k| 0 | 1.000000e+00 | 5.025000e+03 | Large
432.31/432.38 c 411s|760000 |529192 | 0 | 0.0 | 392M| 906 | - |1900 | 65k| 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 5.025000e+03 | Large
444.90/444.98 c 424s|770000 |536264 | 0 | 0.0 | 399M| 906 | - |1900 | 67k| 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 5.025000e+03 | Large
458.30/458.36 c 437s|780000 |543241 | 0 | 0.0 | 406M| 906 | - |1900 | 70k| 0 | 0 | 0 | 858k| 0 | 1.000000e+00 | 5.025000e+03 | Large
461.50/461.52 o 4944
461.50/461.52 c * 440s|782523 |538682 | 0 | 0.0 | 400M| 906 | - |1900 | 71k| 0 | 0 | 0 | 862k| 0 | 1.000000e+00 | 4.944000e+03 | Large
472.10/472.12 c 450s|790000 |543746 | 0 | 0.0 | 406M| 906 | - |1900 | 73k| 0 | 0 | 0 | 874k| 0 | 1.000000e+00 | 4.944000e+03 | Large
486.11/486.12 c 464s|800000 |550575 | 0 | 0.0 | 415M| 906 | - |1900 | 77k| 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 4.944000e+03 | Large
499.31/499.31 c 477s|810000 |558026 | 0 | 0.0 | 417M| 906 | - |1900 | 62k| 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 4.944000e+03 | Large
510.00/510.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.00/510.01 c 487s|820000 |565792 | 0 | 0.0 | 424M| 906 | - |1900 | 61k| 0 | 0 | 0 | 915k| 0 | 1.000000e+00 | 4.944000e+03 | Large
520.50/520.60 c 498s|830000 |573557 | 0 | 0.0 | 431M| 906 | - |1900 | 62k| 0 | 0 | 0 | 927k| 0 | 1.000000e+00 | 4.944000e+03 | Large
531.10/531.14 c 508s|840000 |581211 | 0 | 0.0 | 437M| 906 | - |1900 | 62k| 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 4.944000e+03 | Large
542.21/542.28 c 519s|850000 |588855 | 0 | 0.0 | 444M| 906 | - |1900 | 64k| 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 4.944000e+03 | Large
553.81/553.83 c 530s|860000 |596385 | 0 | 0.0 | 452M| 906 | - |1900 | 66k| 0 | 0 | 0 | 962k| 0 | 1.000000e+00 | 4.944000e+03 | Large
565.00/565.03 c 541s|870000 |603930 | 0 | 0.0 | 459M| 906 | - |1900 | 68k| 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 4.944000e+03 | Large
577.00/577.03 c 553s|880000 |611298 | 0 | 0.0 | 466M| 906 | - |1900 | 70k| 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 4.944000e+03 | Large
590.00/590.04 c 565s|890000 |618644 | 0 | 0.0 | 473M| 906 | - |1900 | 71k| 0 | 0 | 0 |1000k| 0 | 1.000000e+00 | 4.944000e+03 | Large
601.90/601.94 c 577s|900000 |626290 | 0 | 0.0 | 479M| 906 | - |1900 | 73k| 0 | 0 | 0 |1012k| 0 | 1.000000e+00 | 4.944000e+03 | Large
614.40/614.47 c 589s|910000 |633576 | 0 | 0.0 | 487M| 906 | - |1900 | 75k| 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 4.944000e+03 | Large
627.21/627.23 c 602s|920000 |640947 | 0 | 0.0 | 493M| 906 | - |1900 | 77k| 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 4.944000e+03 | Large
640.01/640.09 c 614s|930000 |648261 | 0 | 0.0 | 501M| 906 | - |1900 | 79k| 0 | 0 | 0 |1053k| 0 | 1.000000e+00 | 4.944000e+03 | Large
652.01/652.05 c 626s|940000 |655436 | 0 | 0.0 | 508M| 906 | - |1900 | 82k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 4.944000e+03 | Large
666.00/666.03 c 640s|950000 |662582 | 0 | 0.0 | 515M| 906 | - |1900 | 84k| 0 | 0 | 0 |1082k| 0 | 1.000000e+00 | 4.944000e+03 | Large
679.51/679.56 c 653s|960000 |669575 | 0 | 0.0 | 522M| 906 | - |1900 | 86k| 0 | 0 | 0 |1097k| 0 | 1.000000e+00 | 4.944000e+03 | Large
692.91/692.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.91/692.96 c 666s|970000 |676523 | 0 | 0.0 | 529M| 906 | - |1900 | 89k| 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 4.944000e+03 | Large
707.51/707.57 c 680s|980000 |683473 | 0 | 0.0 | 536M| 906 | - |1900 | 92k| 0 | 0 | 0 |1128k| 0 | 1.000000e+00 | 4.944000e+03 | Large
720.31/720.36 c 693s|990000 |690525 | 0 | 0.0 | 543M| 906 | - |1900 | 95k| 0 | 0 | 0 |1143k| 0 | 1.000000e+00 | 4.944000e+03 | Large
721.51/721.52 o 4681
721.51/721.52 c * 694s|990786 |667435 | 0 | 0.0 | 515M| 906 | - |1900 | 95k| 0 | 0 | 0 |1145k| 0 | 1.000000e+00 | 4.681000e+03 | Large
734.81/734.82 c 707s| 1000k|674042 | 0 | 0.0 | 517M| 906 | - |1900 | 80k| 0 | 0 | 0 |1158k| 0 | 1.000000e+00 | 4.681000e+03 | Large
746.01/746.02 c 718s| 1010k|682020 | 0 | 0.0 | 521M| 906 | - |1900 | 74k| 0 | 0 | 0 |1167k| 0 | 1.000000e+00 | 4.681000e+03 | Large
757.51/757.59 c 729s| 1020k|689774 | 0 | 0.0 | 528M| 906 | - |1900 | 72k| 0 | 0 | 0 |1177k| 0 | 1.000000e+00 | 4.681000e+03 | Large
769.10/769.18 c 740s| 1030k|697459 | 0 | 0.0 | 534M| 906 | - |1900 | 72k| 0 | 0 | 0 |1188k| 0 | 1.000000e+00 | 4.681000e+03 | Large
781.51/781.53 c 752s| 1040k|704882 | 0 | 0.0 | 541M| 906 | - |1900 | 72k| 0 | 0 | 0 |1199k| 0 | 1.000000e+00 | 4.681000e+03 | Large
794.01/794.00 c 765s| 1050k|712445 | 0 | 0.0 | 547M| 906 | - |1900 | 68k| 0 | 0 | 0 |1210k| 0 | 1.000000e+00 | 4.681000e+03 | Large
805.71/805.77 c 776s| 1060k|719871 | 0 | 0.0 | 554M| 906 | - |1900 | 68k| 0 | 0 | 0 |1221k| 0 | 1.000000e+00 | 4.681000e+03 | Large
818.01/818.01 c 788s| 1070k|727404 | 0 | 0.0 | 561M| 906 | - |1900 | 70k| 0 | 0 | 0 |1233k| 0 | 1.000000e+00 | 4.681000e+03 | Large
830.71/830.76 c 801s| 1080k|734850 | 0 | 0.0 | 568M| 906 | - |1900 | 70k| 0 | 0 | 0 |1245k| 0 | 1.000000e+00 | 4.681000e+03 | Large
843.62/843.69 c 813s| 1090k|742268 | 0 | 0.0 | 575M| 906 | - |1900 | 72k| 0 | 0 | 0 |1257k| 0 | 1.000000e+00 | 4.681000e+03 | Large
855.72/855.80 c 825s| 1100k|749837 | 0 | 0.0 | 582M| 906 | - |1900 | 73k| 0 | 0 | 0 |1268k| 0 | 1.000000e+00 | 4.681000e+03 | Large
869.51/869.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.51/869.59 c 839s| 1110k|757266 | 0 | 0.0 | 589M| 906 | - |1900 | 75k| 0 | 0 | 0 |1281k| 0 | 1.000000e+00 | 4.681000e+03 | Large
883.22/883.22 c 852s| 1120k|764676 | 0 | 0.0 | 596M| 906 | - |1900 | 76k| 0 | 0 | 0 |1293k| 0 | 1.000000e+00 | 4.681000e+03 | Large
897.62/897.63 c 866s| 1130k|772006 | 0 | 0.0 | 603M| 906 | - |1900 | 78k| 0 | 0 | 0 |1306k| 0 | 1.000000e+00 | 4.681000e+03 | Large
912.01/912.08 c 880s| 1140k|779128 | 0 | 0.0 | 610M| 906 | - |1900 | 79k| 0 | 0 | 0 |1319k| 0 | 1.000000e+00 | 4.681000e+03 | Large
926.41/926.46 c 894s| 1150k|786430 | 0 | 0.0 | 617M| 906 | - |1900 | 81k| 0 | 0 | 0 |1332k| 0 | 1.000000e+00 | 4.681000e+03 | Large
942.21/942.29 c 910s| 1160k|793726 | 0 | 0.0 | 624M| 906 | - |1900 | 83k| 0 | 0 | 0 |1345k| 0 | 1.000000e+00 | 4.681000e+03 | Large
956.92/956.97 c 924s| 1170k|801152 | 0 | 0.0 | 631M| 906 | - |1900 | 84k| 0 | 0 | 0 |1357k| 0 | 1.000000e+00 | 4.681000e+03 | Large
972.91/972.90 c 940s| 1180k|808554 | 0 | 0.0 | 637M| 906 | - |1900 | 84k| 0 | 0 | 0 |1369k| 0 | 1.000000e+00 | 4.681000e+03 | Large
988.51/988.53 c 955s| 1190k|815809 | 0 | 0.0 | 645M| 906 | - |1900 | 87k| 0 | 0 | 0 |1382k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1005.01/1005.08 c 971s| 1200k|823076 | 0 | 0.0 | 652M| 906 | - |1900 | 88k| 0 | 0 | 0 |1395k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1021.62/1021.68 c 988s| 1210k|830347 | 0 | 0.0 | 658M| 906 | - |1900 | 89k| 0 | 0 | 0 |1408k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1038.71/1038.77 c 1005s| 1220k|837567 | 0 | 0.0 | 666M| 906 | - |1900 | 91k| 0 | 0 | 0 |1421k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1056.11/1056.16 c 1022s| 1230k|844831 | 0 | 0.0 | 672M| 906 | - |1900 | 92k| 0 | 0 | 0 |1434k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1072.21/1072.20 c 1037s| 1240k|852039 | 0 | 0.0 | 679M| 906 | - |1900 | 94k| 0 | 0 | 0 |1448k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1089.61/1089.67 c 1055s| 1250k|859324 | 0 | 0.0 | 686M| 906 | - |1900 | 95k| 0 | 0 | 0 |1461k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1108.22/1108.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.22/1108.20 c 1073s| 1260k|866533 | 0 | 0.0 | 693M| 906 | - |1900 | 97k| 0 | 0 | 0 |1474k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1126.32/1126.39 c 1091s| 1270k|873767 | 0 | 0.0 | 700M| 906 | - |1900 | 98k| 0 | 0 | 0 |1488k| 0 | 1.000000e+00 | 4.681000e+03 | Large
1137.21/1137.28 o 4591
1137.21/1137.28 c *1101s| 1275k|867788 | 0 | 0.0 | 691M| 906 | - |1900 | 99k| 0 | 0 | 0 |1495k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1145.22/1145.28 c 1109s| 1280k|870662 | 0 | 0.0 | 694M| 906 | - |1900 | 100k| 0 | 0 | 0 |1501k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1163.72/1163.71 c 1127s| 1290k|877630 | 0 | 0.0 | 701M| 906 | - |1900 | 102k| 0 | 0 | 0 |1515k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1183.62/1183.61 c 1147s| 1300k|884689 | 0 | 0.0 | 708M| 906 | - |1900 | 104k| 0 | 0 | 0 |1530k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1202.92/1202.94 c 1166s| 1310k|891655 | 0 | 0.0 | 715M| 906 | - |1900 | 106k| 0 | 0 | 0 |1544k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1223.12/1223.18 c 1186s| 1320k|898710 | 0 | 0.0 | 722M| 906 | - |1900 | 107k| 0 | 0 | 0 |1557k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1243.72/1243.76 c 1206s| 1330k|905652 | 0 | 0.0 | 729M| 906 | - |1900 | 109k| 0 | 0 | 0 |1571k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1264.32/1264.32 c 1227s| 1340k|912677 | 0 | 0.0 | 736M| 906 | - |1900 | 111k| 0 | 0 | 0 |1586k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1285.72/1285.74 c 1248s| 1350k|919620 | 0 | 0.0 | 743M| 906 | - |1900 | 113k| 0 | 0 | 0 |1601k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1307.12/1307.14 c 1269s| 1360k|926555 | 0 | 0.0 | 750M| 906 | - |1900 | 115k| 0 | 0 | 0 |1616k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1329.62/1329.67 c 1291s| 1370k|933453 | 0 | 0.0 | 757M| 906 | - |1900 | 117k| 0 | 0 | 0 |1631k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1351.43/1351.40 c 1312s| 1380k|940325 | 0 | 0.0 | 765M| 906 | - |1900 | 121k| 0 | 0 | 0 |1646k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1374.42/1374.43 c 1335s| 1390k|947462 | 0 | 0.0 | 771M| 906 | - |1900 | 123k| 0 | 0 | 0 |1660k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1396.53/1396.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.53/1396.53 c 1357s| 1400k|954470 | 0 | 0.0 | 779M| 906 | - |1900 | 126k| 0 | 0 | 0 |1675k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1419.32/1419.31 c 1379s| 1410k|961454 | 0 | 0.0 | 786M| 906 | - |1900 | 129k| 0 | 0 | 0 |1691k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1442.42/1442.46 c 1402s| 1420k|968295 | 0 | 0.0 | 793M| 906 | - |1900 | 132k| 0 | 0 | 0 |1706k| 0 | 1.000000e+00 | 4.591000e+03 | Large
1444.23/1444.28 o 4581
1444.23/1444.28 c *1404s| 1420k|967560 | 0 | 0.0 | 792M| 906 | - |1900 | 132k| 0 | 0 | 0 |1708k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1465.13/1465.13 c 1425s| 1430k|974383 | 0 | 0.0 | 792M| 906 | - |1900 | 109k| 0 | 0 | 0 |1719k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1482.22/1482.24 c 1442s| 1440k|981947 | 0 | 0.0 | 799M| 906 | - |1900 | 109k| 0 | 0 | 0 |1731k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1501.32/1501.33 c 1460s| 1450k|989368 | 0 | 0.0 | 806M| 906 | - |1900 | 110k| 0 | 0 | 0 |1743k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1520.13/1520.13 c 1479s| 1460k|996749 | 0 | 0.0 | 814M| 906 | - |1900 | 111k| 0 | 0 | 0 |1755k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1538.32/1538.38 c 1497s| 1470k| 1004k| 0 | 0.0 | 821M| 906 | - |1900 | 113k| 0 | 0 | 0 |1767k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1558.03/1558.05 c 1516s| 1480k| 1011k| 0 | 0.0 | 828M| 906 | - |1900 | 115k| 0 | 0 | 0 |1779k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1578.13/1578.18 c 1536s| 1490k| 1018k| 0 | 0.0 | 835M| 906 | - |1900 | 117k| 0 | 0 | 0 |1791k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1597.72/1597.70 c 1555s| 1500k| 1026k| 0 | 0.0 | 843M| 906 | - |1900 | 119k| 0 | 0 | 0 |1804k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1618.43/1618.48 c 1576s| 1510k| 1033k| 0 | 0.0 | 850M| 906 | - |1900 | 121k| 0 | 0 | 0 |1817k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1638.03/1638.07 c 1595s| 1520k| 1040k| 0 | 0.0 | 857M| 906 | - |1900 | 123k| 0 | 0 | 0 |1830k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1659.43/1659.48 c 1616s| 1530k| 1047k| 0 | 0.0 | 865M| 906 | - |1900 | 125k| 0 | 0 | 0 |1842k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1680.53/1680.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.53/1680.57 c 1637s| 1540k| 1055k| 0 | 0.0 | 872M| 906 | - |1900 | 127k| 0 | 0 | 0 |1855k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1703.13/1703.12 c 1659s| 1550k| 1062k| 0 | 0.0 | 880M| 906 | - |1900 | 129k| 0 | 0 | 0 |1869k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1726.53/1726.58 c 1682s| 1560k| 1069k| 0 | 0.0 | 887M| 906 | - |1900 | 131k| 0 | 0 | 0 |1883k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1750.04/1750.08 c 1706s| 1570k| 1076k| 0 | 0.0 | 895M| 906 | - |1900 | 133k| 0 | 0 | 0 |1897k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1773.63/1773.60 c 1729s| 1580k| 1083k| 0 | 0.0 | 902M| 906 | - |1900 | 136k| 0 | 0 | 0 |1911k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1794.83/1794.89 c 1750s| 1590k| 1090k| 0 | 0.0 | 909M| 906 | - |1900 | 138k| 0 | 0 | 0 |1925k| 0 | 1.000000e+00 | 4.581000e+03 | Large
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.02 c
1800.03/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.02 c Solving Time (sec) : 1754.85
1800.03/1800.02 c Solving Nodes : 1592320
1800.03/1800.02 c Primal Bound : +4.58100000000000e+03 (72 solutions)
1800.03/1800.02 c Dual Bound : +1.00000000000000e+00
1800.03/1800.02 c Gap : 458000.00 %
1800.03/1800.03 s SATISFIABLE
1800.03/1800.03 v -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 x186 -x185 -x184 x183 -x182 x181 x180 -x179 -x178
1800.03/1800.03 v x177 x176 -x175 x174 -x173 x172 -x171 -x170 x169 x168 -x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 x156 -x155
1800.03/1800.03 v -x154 x153 -x152 x151 -x150 x149 x148 -x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 x138 -x137 -x136 x135 -x134 x133 -x132
1800.03/1800.03 v x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 -x120 x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 x110 -x109
1800.03/1800.03 v -x108 x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 -x94 x93 x92 -x91 x90 -x89 -x88 x87 x86 -x85 x84
1800.03/1800.03 v -x83 x82 -x81 -x80 x79 -x78 x77 -x76 x75 x74 -x73 -x72 x71 x70 -x69 -x68 x67 x66 -x65 x64 -x63 x62 -x61 -x60 x59 -x58 x57 -x56
1800.03/1800.03 v x55 x54 -x53 -x52 x51 x50 -x49 -x48 x47 -x46 x45 -x44 x43 x42 -x41 -x40 x39 -x38 x37 -x36 x35 x34 -x33 -x32 x31 x30 -x29 -x28
1800.03/1800.03 v 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 x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1754.85
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2700046-1278533923.wbo
1800.03/1800.03 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.03/1800.03 c Constraints : 1901 initial, 1901 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2700046-1278533923.wbo
1800.03/1800.03 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.03/1800.03 c Constraints : 1800 initial, 138678 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.01 0 100 0 900 0 101 0 0
1800.03/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c root node : - 0 - - 0 - - - -
1800.03/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 900 0 3355344 0 1442738 2543 21454414 0 0 0
1800.03/1800.03 c linear : 900 0 3352748 0 1442707 30378 3338575 0 0 0
1800.03/1800.03 c logicor : 0+ 0 2400942 0 0 6214 1832212 0 0 0
1800.03/1800.03 c countsols : 0 0 0 0 1442752 0 0 0 0 0
1800.03/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.03 c indicator : 99.45 0.00 44.85 0.00 54.60
1800.03/1800.03 c linear : 83.78 0.00 83.34 0.00 0.44
1800.03/1800.03 c logicor : 704.05 0.00 704.05 0.00 0.00
1800.03/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.03 c vbounds : 0.01 2 0 0
1800.03/1800.03 c rootredcost : 0.01 0 0 0
1800.03/1800.03 c pseudoobj : 90.88 3539420 184171 21186802
1800.03/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.03 c propagation : 14.69 220763 220763 1600600 31.9 794412 3.7 -
1800.03/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c pseudo solution : 0.32 2150 2150 16556 29.3 9429 3.9 -
1800.03/1800.03 c applied globally : - - - 1928485 18.8 - - -
1800.03/1800.03 c applied locally : - - - 1 116.0 - - -
1800.03/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.03 c redcost : 0.00 0 0 0 0 0
1800.03/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.03 c intobj : 0.00 0 0 0 0 0
1800.03/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.03 c gomory : 0.00 0 0 0 0 0
1800.03/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.03 c cmir : 0.00 0 0 0 0 0
1800.03/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.03 c clique : 0.00 0 0 0 0 0
1800.03/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.03 c mcf : 0.00 0 0 0 0 0
1800.03/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.03 c Pricers : Time Calls Vars
1800.03/1800.03 c problem variables: 0.00 0 0
1800.03/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c inference : 92.62 1442682 0 0 0 0 2885364
1800.03/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c random : 0.00 0 0 0 0 0 0
1800.03/1800.03 c Primal Heuristics : Time Calls Found
1800.03/1800.03 c LP solutions : 0.00 - 0
1800.03/1800.03 c pseudo solutions : 0.38 - 70
1800.03/1800.03 c oneopt : 0.02 0 0
1800.03/1800.03 c trivial : 0.00 2 1
1800.03/1800.03 c simplerounding : 0.00 0 0
1800.03/1800.03 c zirounding : 0.00 0 0
1800.03/1800.03 c rounding : 0.00 0 0
1800.03/1800.03 c shifting : 0.00 0 0
1800.03/1800.03 c intshifting : 0.00 0 0
1800.03/1800.03 c twoopt : 0.00 0 0
1800.03/1800.03 c fixandinfer : 0.00 0 0
1800.03/1800.03 c feaspump : 0.00 0 0
1800.03/1800.03 c coefdiving : 0.00 0 0
1800.03/1800.03 c pscostdiving : 0.00 0 0
1800.03/1800.03 c fracdiving : 0.00 0 0
1800.03/1800.03 c veclendiving : 0.00 0 0
1800.03/1800.03 c intdiving : 0.00 0 0
1800.03/1800.03 c actconsdiving : 0.00 0 0
1800.03/1800.03 c objpscostdiving : 0.00 0 0
1800.03/1800.03 c rootsoldiving : 0.00 0 0
1800.03/1800.03 c linesearchdiving : 0.00 0 0
1800.03/1800.03 c guideddiving : 0.00 0 0
1800.03/1800.03 c octane : 0.00 0 0
1800.03/1800.03 c rens : 0.00 0 0
1800.03/1800.03 c rins : 0.00 0 0
1800.03/1800.03 c localbranching : 0.00 0 0
1800.03/1800.03 c mutation : 0.00 0 0
1800.03/1800.03 c crossover : 0.00 0 0
1800.03/1800.03 c dins : 0.00 0 0
1800.03/1800.03 c undercover : 0.00 0 0
1800.03/1800.03 c nlp : 0.01 0 0
1800.03/1800.03 c trysol : 0.01 1 1
1800.03/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.03 c (at root node) : - 0 0 0.00 -
1800.03/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.03 c B&B Tree :
1800.03/1800.03 c number of runs : 1
1800.03/1800.03 c nodes : 1592320
1800.03/1800.03 c nodes (total) : 1592320
1800.03/1800.03 c nodes left : 1091943
1800.03/1800.03 c max depth : 906
1800.03/1800.03 c max depth (total): 906
1800.03/1800.03 c backtracks : 81463 (5.1%)
1800.03/1800.03 c delayed cutoffs : 75917
1800.03/1800.03 c repropagations : 229944 (14081730 domain reductions, 75888 cutoffs)
1800.03/1800.03 c avg switch length: 3.86
1800.03/1800.03 c switching time : 435.42
1800.03/1800.03 c Solution :
1800.03/1800.03 c Solutions found : 72 (71 improvements)
1800.03/1800.03 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.03/1800.03 c Primal Bound : +4.58100000000000e+03 (in run 1, after 1420694 nodes, 1404.12 seconds, depth 274, found by <relaxation>)
1800.03/1800.03 c Dual Bound : +1.00000000000000e+00
1800.03/1800.03 c Gap : 458000.00 %
1800.03/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Root Iterations : 0
OK 4580
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700046-1278533923/watcher-2700046-1278533923 -o /tmp/evaluation-result-2700046-1278533923/solver-2700046-1278533923 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700046-1278533923.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.43 0.49 0.17 3/178 20222 /proc/meminfo: memFree=29695868/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=8276 CPUtime=0 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 1548 0 0 0 0 0 0 0 20 0 1 0 21605205 8474624 1470 4089446400 4194304 7136930 140736827022464 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20222/statm: 2069 1470 275 719 0 1348 0 [startup+0.0241011 s] /proc/loadavg: 1.43 0.49 0.17 3/178 20222 /proc/meminfo: memFree=29695868/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=16580 CPUtime=0.02 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 4013 0 0 0 2 0 0 0 21 0 1 0 21605205 16977920 3581 4089446400 4194304 7136930 140736827022464 18446744073709551615 4561337 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 4145 3581 306 719 0 3424 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16580 [startup+0.101089 s] /proc/loadavg: 1.43 0.49 0.17 3/178 20222 /proc/meminfo: memFree=29695868/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=20592 CPUtime=0.09 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 5631 0 0 0 8 1 0 0 18 0 1 0 21605205 21086208 4428 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 5148 4428 387 719 0 4427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20592 [startup+0.301052 s] /proc/loadavg: 1.43 0.49 0.17 3/178 20222 /proc/meminfo: memFree=29695868/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=21896 CPUtime=0.29 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 5944 0 0 0 25 4 0 0 18 0 1 0 21605205 22421504 4741 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 5474 4741 393 719 0 4753 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21896 [startup+0.700983 s] /proc/loadavg: 1.43 0.49 0.17 3/178 20222 /proc/meminfo: memFree=29695868/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=23480 CPUtime=0.69 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 6352 0 0 0 60 9 0 0 18 0 1 0 21605205 24043520 5149 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 5870 5149 394 719 0 5149 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23480 [startup+1.50084 s] /proc/loadavg: 1.47 0.51 0.18 3/179 20224 /proc/meminfo: memFree=29674756/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=27536 CPUtime=1.49 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 7372 0 0 0 129 20 0 0 19 0 1 0 21605205 28196864 6169 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 6884 6169 394 719 0 6163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27536 [startup+3.10056 s] /proc/loadavg: 1.47 0.51 0.18 3/179 20224 /proc/meminfo: memFree=29667316/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=34560 CPUtime=3.09 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 9067 0 0 0 273 36 0 0 25 0 1 0 21605205 35389440 7864 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 8640 7864 394 719 0 7919 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34560 [startup+6.301 s] /proc/loadavg: 1.52 0.54 0.19 3/179 20225 /proc/meminfo: memFree=29650940/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=45096 CPUtime=6.3 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 11740 0 0 0 558 72 0 0 25 0 1 0 21605205 46178304 10537 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 11274 10537 394 719 0 10553 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 45096 [startup+12.7009 s] /proc/loadavg: 1.55 0.56 0.20 3/179 20225 /proc/meminfo: memFree=29623656/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=63856 CPUtime=12.69 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 16377 0 0 0 1134 135 0 0 25 0 1 0 21605205 65388544 15174 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 15964 15174 394 719 0 15243 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63856 [startup+25.5006 s] /proc/loadavg: 1.65 0.63 0.23 3/179 20225 /proc/meminfo: memFree=29578428/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=96780 CPUtime=25.49 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 23937 0 0 0 2292 257 0 0 25 0 1 0 21605205 99102720 22734 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 24195 22734 394 719 0 23474 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 96780 [startup+51.1011 s] /proc/loadavg: 1.77 0.74 0.27 3/179 20225 /proc/meminfo: memFree=29504748/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=144196 CPUtime=51.1 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 35581 0 0 0 4646 464 0 0 25 0 1 0 21605205 147656704 34378 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 36049 34378 394 719 0 35328 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 144196 [startup+102.306 s] /proc/loadavg: 1.90 0.93 0.36 3/179 20227 /proc/meminfo: memFree=29367552/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=221084 CPUtime=102.3 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 53372 0 0 0 9415 815 0 0 25 0 1 0 21605205 226390016 52169 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 55271 52169 394 719 0 54550 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 221084 [startup+162.301 s] /proc/loadavg: 1.96 1.12 0.46 3/179 20229 /proc/meminfo: memFree=29218560/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=298448 CPUtime=162.29 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 72045 0 0 0 15106 1123 0 0 25 0 1 0 21605205 305610752 70842 4089446400 4194304 7136930 140736827022464 18446744073709551615 5955601 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/20222/statm: 74612 70842 394 719 0 73891 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 298448 [startup+222.301 s] /proc/loadavg: 1.98 1.28 0.55 3/179 20231 /proc/meminfo: memFree=29082100/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=357480 CPUtime=222.29 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 86139 0 0 0 20849 1380 0 0 25 0 1 0 21605205 366059520 84936 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 89370 84936 394 719 0 88649 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 357480 [startup+282.301 s] /proc/loadavg: 1.99 1.41 0.64 3/179 20231 /proc/meminfo: memFree=28969816/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=399580 CPUtime=282.3 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 96125 0 0 0 26614 1616 0 0 25 0 1 0 21605205 409169920 94922 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 99895 94922 394 719 0 99174 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 399580 [startup+342.301 s] /proc/loadavg: 1.99 1.51 0.72 3/179 20233 /proc/meminfo: memFree=28854680/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=442400 CPUtime=342.29 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 104805 0 0 0 32397 1832 0 0 25 0 1 0 21605205 453017600 103602 4089446400 4194304 7136930 140736827022464 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 110600 103602 394 719 0 109879 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 442400 [startup+402.3 s] /proc/loadavg: 1.99 1.60 0.80 3/179 20235 /proc/meminfo: memFree=28736076/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=484292 CPUtime=402.3 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 114829 0 0 0 38215 2015 0 0 25 0 1 0 21605205 495915008 113626 4089446400 4194304 7136930 140736827022464 18446744073709551615 4678634 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 121073 113626 394 719 0 120352 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 484292 [startup+462.301 s] /proc/loadavg: 1.99 1.67 0.87 3/179 20237 /proc/meminfo: memFree=28621072/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=513744 CPUtime=462.3 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 121577 0 0 0 44073 2157 0 0 25 0 1 0 21605205 526073856 120374 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 128436 120374 394 719 0 127715 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 513744 [startup+522.3 s] /proc/loadavg: 1.99 1.73 0.94 3/179 20239 /proc/meminfo: memFree=28508040/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=542188 CPUtime=522.3 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 128411 0 0 0 49925 2305 0 0 25 0 1 0 21605205 555200512 127208 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 135547 127208 394 719 0 134826 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 542188 [startup+582.301 s] /proc/loadavg: 1.99 1.77 1.00 3/179 20239 /proc/meminfo: memFree=28383492/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=577752 CPUtime=582.31 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 137112 0 0 0 55772 2459 0 0 25 0 1 0 21605205 591618048 135909 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 144438 135909 394 719 0 143717 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 577752 [startup+642.3 s] /proc/loadavg: 1.99 1.81 1.06 3/179 20241 /proc/meminfo: memFree=28262040/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=612792 CPUtime=642.31 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 145418 0 0 0 61638 2593 0 0 25 0 1 0 21605205 627499008 144215 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 153198 144215 394 719 0 152477 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 612792 [startup+702.301 s] ################ # More data... # ################ /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 185539 0 0 0 96868 3363 0 0 25 0 1 0 21605205 801611776 184336 4089446400 4194304 7136930 140736827022464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 195706 184336 394 719 0 194985 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 782824 [startup+1062.3 s] /proc/loadavg: 2.00 1.95 1.39 3/179 20253 /proc/meminfo: memFree=27782732/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=809744 CPUtime=1062.31 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 191799 0 0 0 102770 3461 0 0 25 0 1 0 21605205 829177856 190596 4089446400 4194304 7136930 140736827022464 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 202436 190596 394 719 0 201715 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 809744 [startup+1122.3 s] /proc/loadavg: 2.00 1.96 1.43 3/179 20255 /proc/meminfo: memFree=27727984/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=833680 CPUtime=1122.32 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 197448 0 0 0 108669 3563 0 0 25 0 1 0 21605205 853688320 196245 4089446400 4194304 7136930 140736827022464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 208420 196245 394 719 0 207699 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 833680 [startup+1182.3 s] /proc/loadavg: 2.06 1.98 1.47 3/179 20255 /proc/meminfo: memFree=27656876/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=851568 CPUtime=1182.31 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 201432 0 0 0 114573 3658 0 0 25 0 1 0 21605205 872005632 200229 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 212892 200229 394 719 0 212171 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 851568 [startup+1242.3 s] /proc/loadavg: 2.02 1.98 1.50 3/179 20257 /proc/meminfo: memFree=27566436/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=871868 CPUtime=1242.32 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 206359 0 0 0 120485 3747 0 0 25 0 1 0 21605205 892792832 205156 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 217967 205156 394 719 0 217246 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 871868 [startup+1302.3 s] /proc/loadavg: 2.01 1.98 1.52 3/179 20259 /proc/meminfo: memFree=27486656/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=891600 CPUtime=1302.33 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 211273 0 0 0 126402 3831 0 0 25 0 1 0 21605205 912998400 210070 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 222900 210070 394 719 0 222179 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 891600 [startup+1362.3 s] /proc/loadavg: 2.00 1.98 1.55 3/179 20261 /proc/meminfo: memFree=27389128/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=914536 CPUtime=1362.33 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 216658 0 0 0 132322 3911 0 0 25 0 1 0 21605205 936484864 215455 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 228634 215455 394 719 0 227913 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 914536 [startup+1422.31 s] /proc/loadavg: 2.08 1.99 1.58 3/179 20263 /proc/meminfo: memFree=27295576/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=935420 CPUtime=1422.32 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 221887 0 0 0 138241 3991 0 0 25 0 1 0 21605205 957870080 220684 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 233855 220684 394 719 0 233134 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 935420 [startup+1482.3 s] /proc/loadavg: 2.03 1.99 1.60 3/179 20263 /proc/meminfo: memFree=27213056/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=956092 CPUtime=1482.32 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 226543 0 0 0 144158 4074 0 0 25 0 1 0 21605205 979038208 225340 4089446400 4194304 7136930 140736827022464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 239023 225340 394 719 0 238302 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 956092 [startup+1542.3 s] /proc/loadavg: 2.01 1.99 1.63 3/179 20265 /proc/meminfo: memFree=27112436/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=996752 CPUtime=1542.32 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 232295 0 0 0 150059 4173 0 0 25 0 1 0 21605205 1020674048 231092 4089446400 4194304 7136930 140736827022464 18446744073709551615 5000303 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 249188 231092 394 719 0 248467 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 996752 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.65 3/179 20267 /proc/meminfo: memFree=27032524/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=1021360 CPUtime=1602.33 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 238143 0 0 0 155974 4259 0 0 25 0 1 0 21605205 1045872640 236940 4089446400 4194304 7136930 140736827022464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 255340 236940 394 719 0 254619 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1021360 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.67 3/179 20269 /proc/meminfo: memFree=26958460/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=1048536 CPUtime=1662.33 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 244137 0 0 0 161889 4344 0 0 25 0 1 0 21605205 1073700864 242934 4089446400 4194304 7136930 140736827022464 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 262134 242934 394 719 0 261413 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1048536 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.68 3/179 20271 /proc/meminfo: memFree=26879188/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=1070580 CPUtime=1722.33 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 249361 0 0 0 167813 4420 0 0 25 0 1 0 21605205 1096273920 248158 4089446400 4194304 7136930 140736827022464 18446744073709551615 5004476 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 267645 248158 394 719 0 266924 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1070580 [startup+1782.3 s] /proc/loadavg: 2.02 2.00 1.71 3/179 20716 /proc/meminfo: memFree=28692084/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=1088324 CPUtime=1782.33 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 253214 0 0 0 173738 4495 0 0 25 0 1 0 21605205 1114443776 252011 4089446400 4194304 7136930 140736827022464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 272081 252011 394 719 0 271360 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1088324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.00 1.71 3/179 20718 /proc/meminfo: memFree=28649200/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=1094832 CPUtime=1800.03 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 254957 0 0 0 175484 4519 0 0 25 0 1 0 21605205 1121107968 253754 4089446400 4194304 7136930 140736827022464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/20222/statm: 273708 253754 394 719 0 272987 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1094832 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -20222 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.00 1.71 3/180 20719 /proc/meminfo: memFree=28647716/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=1095044 CPUtime=1801.43 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 254979 0 0 0 175624 4519 0 0 25 0 1 0 21605205 1121325056 253776 4089446400 4194304 7136930 140736827022464 18446744073709551615 4212294 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/20222/statm: 273761 253776 400 719 0 273040 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 1095044 [startup+1801.81 s] /proc/loadavg: 2.01 2.00 1.71 3/180 20719 /proc/meminfo: memFree=28651436/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=1082660 CPUtime=1801.83 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 254979 0 0 0 175664 4519 0 0 25 0 1 0 21605205 1108643840 250680 4089446400 4194304 7136930 140736827022464 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/20222/statm: 270665 250680 400 719 0 269944 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 1082660 [startup+1802 s] /proc/loadavg: 2.01 2.00 1.71 3/180 20719 /proc/meminfo: memFree=28651436/32951124 swapFree=67111528/67111528 [pid=20222] ppid=20220 vsize=970488 CPUtime=1802.03 /proc/20222/stat : 20222 (pbscip.linux.x8) R 20220 20222 19739 0 -1 4202496 254979 0 0 0 175683 4520 0 0 25 0 1 0 21605205 993779712 222639 4089446400 4194304 7136930 140736827022464 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/20222/statm: 242622 222639 400 719 0 241901 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 970488 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.04 CPU time (s): 1802.08 CPU user time (s): 1756.85 CPU system time (s): 45.2341 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1095044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1756.85 system time used= 45.2341 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 254979 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= 3 involuntary context switches= 2802 runsolver used 2.90756 second user time and 6.93895 second system time The end
Begin job on node144 at 2010-07-07 22:18:43 IDJOB=2700046 IDBENCH=79395 IDSOLVER=1206 FILE ID=node144/2700046-1278533923 PBS_JOBID= 11239190 Free space on /tmp= 73736 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh305_wcsp.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-2700046-1278533923/watcher-2700046-1278533923 -o /tmp/evaluation-result-2700046-1278533923/solver-2700046-1278533923 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700046-1278533923.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8285b15ee2c0064deae9a0e09e679565 RANDOM SEED=374595457 node144.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.825 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.825 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.825 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.74 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.825 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.78 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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 : 5269.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29696520 kB Buffers: 145248 kB Cached: 2797796 kB SwapCached: 0 kB Active: 889672 kB Inactive: 2205564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29696520 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 152436 kB Mapped: 16996 kB Slab: 96212 kB PageTables: 4976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 291656 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= 73732 MiB End job on node144 at 2010-07-07 22:48:45