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.14 | 1802.1 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo |
| MD5SUM | cbb94832f8cf89251c53c05bd4717107 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 144.401 |
| 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 | 1788 |
| 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 | 89002 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 89001 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 707 |
| 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-2694159-1277908436.wbo>
0.02/0.03 c original problem has 3807 variables (2019 bin, 0 int, 0 impl, 1788 cont) and 4496 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/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.02/0.05 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.02/0.09 c (round 2) 0 del vars, 71 del conss, 1788 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.09/0.10 c (round 3) 54 del vars, 152 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.09/0.11 c (round 4) 126 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.09/0.12 c (round 5) 144 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.09/0.18 c (0.1s) probing: 101/1947 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (6 rounds):
0.09/0.18 c 144 deleted vars, 170 deleted constraints, 1806 tightened bounds, 0 added holes, 81 changed sides, 0 changed coefficients
0.09/0.18 c 1928 implications, 11 cliques
0.09/0.18 c presolved problem has 3663 variables (1947 bin, 0 int, 0 impl, 1716 cont) and 4326 constraints
0.09/0.18 c 1716 constraints of type <indicator>
0.09/0.18 c 11 constraints of type <setppc>
0.09/0.18 c 1716 constraints of type <linear>
0.09/0.18 c 883 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.11
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3663 |4326 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.89/2.91 c 2.7s| 10000 | 9529 | 0 | 0.0 | 17M|1895 | - |3663 |4972 | 0 | 0 | 0 | 897 | 0 | 0.000000e+00 | -- | Inf
4.49/4.50 o 381
4.49/4.50 c * 4.2s| 17159 | 16670 | 0 | 0.0 | 20M|1895 | - |3663 |4899 | 0 | 0 | 0 | 912 | 0 | 0.000000e+00 | 3.810000e+02 | Inf
4.49/4.50 o 367
4.49/4.50 c * 4.2s| 17166 | 16669 | 0 | 0.0 | 20M|1895 | - |3663 |4899 | 0 | 0 | 0 | 912 | 0 | 0.000000e+00 | 3.670000e+02 | Inf
5.19/5.29 c 4.9s| 20000 | 19055 | 0 | 0.0 | 23M|1895 | - |3663 |5327 | 0 | 0 | 0 |2312 | 0 | 0.000000e+00 | 3.670000e+02 | Inf
8.69/8.71 c 8.1s| 30000 | 26570 | 0 | 0.0 | 33M|1895 | - |3663 |6478 | 0 | 0 | 0 |9559 | 0 | 0.000000e+00 | 3.670000e+02 | Inf
12.99/13.03 c 12.1s| 40000 | 33586 | 0 | 0.0 | 41M|1895 | - |3663 |7066 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
16.40/16.46 c 15.4s| 50000 | 43506 | 0 | 0.0 | 44M|1895 | - |3663 |6118 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
19.88/19.93 c 18.8s| 60000 | 53456 | 0 | 0.0 | 48M|1895 | - |3663 |5374 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
23.29/23.30 c 22.1s| 70000 | 63403 | 0 | 0.0 | 52M|1895 | - |3663 |4917 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
26.59/26.65 c 25.4s| 80000 | 73359 | 0 | 0.0 | 56M|1895 | - |3663 |4706 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
29.60/29.64 c 28.2s| 90000 | 83315 | 0 | 0.0 | 60M|1895 | - |3663 |4592 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
32.39/32.48 c 31.0s|100000 | 93292 | 0 | 0.0 | 64M|1895 | - |3663 |4549 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
35.19/35.22 c 33.6s|110000 |103227 | 0 | 0.0 | 68M|1895 | - |3663 |4517 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
37.79/37.86 c 36.2s|120000 |113188 | 0 | 0.0 | 72M|1895 | - |3663 |4492 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.670000e+02 | Inf
39.60/39.62 o 267
39.60/39.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.60/39.62 c *37.9s|127096 |100788 | 0 | 0.0 | 70M|1895 | - |3663 |4502 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.670000e+02 | Inf
39.78/39.82 o 233
39.78/39.82 c *38.1s|127904 | 88749 | 0 | 0.0 | 67M|1895 | - |3663 |4577 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
39.78/39.89 o 199
39.78/39.89 c *38.2s|128093 | 76661 | 0 | 0.0 | 63M|1895 | - |3663 |4614 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
39.99/40.04 o 166
39.99/40.04 c *38.3s|128557 | 67926 | 0 | 0.0 | 57M|1895 | - |3663 |4736 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.660000e+02 | Inf
40.29/40.39 o 164
40.29/40.39 c *38.6s|129703 | 68760 | 0 | 0.0 | 58M|1895 | - |3663 |5144 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
40.39/40.40 o 163
40.39/40.40 c *38.7s|129733 | 68597 | 0 | 0.0 | 58M|1895 | - |3663 |5164 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
40.39/40.43 o 139
40.39/40.43 c *38.7s|129776 | 64481 | 0 | 0.0 | 56M|1895 | - |3663 |5203 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
40.39/40.47 o 130
40.39/40.47 c *38.7s|129831 | 62796 | 0 | 0.0 | 55M|1895 | - |3663 |5250 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
40.49/40.55 c 38.8s|130000 | 62881 | 0 | 0.0 | 56M|1895 | - |3663 |5520 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
43.69/43.76 c 41.9s|140000 | 71216 | 0 | 0.0 | 64M|1895 | - |3663 |6356 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
47.49/47.53 c 45.5s|150000 | 78621 | 0 | 0.0 | 74M|1895 | - |3663 |8485 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
51.78/51.84 c 49.7s|160000 | 85569 | 0 | 0.0 | 83M|1895 | - |3663 |9975 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
56.59/56.66 c 54.4s|170000 | 92116 | 0 | 0.0 | 92M|1895 | - |3663 | 10k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
61.60/61.69 c 59.3s|180000 | 98561 | 0 | 0.0 | 101M|1895 | - |3663 | 10k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
66.89/66.97 c 64.5s|190000 |104730 | 0 | 0.0 | 110M|1895 | - |3663 | 11k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
72.50/72.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.50/72.51 c 69.9s|200000 |110469 | 0 | 0.0 | 119M|1895 | - |3663 | 10k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
78.09/78.17 c 75.5s|210000 |116187 | 0 | 0.0 | 129M|1895 | - |3663 | 12k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
84.69/84.76 c 82.0s|220000 |121089 | 0 | 0.0 | 138M|1895 | - |3663 | 12k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
92.19/92.22 c 89.3s|230000 |124963 | 0 | 0.0 | 147M|1895 | - |3663 | 14k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
100.40/100.48 o 113
100.40/100.48 c *97.5s|238611 |123335 | 0 | 0.0 | 151M|1895 | - |3663 | 12k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
101.20/101.28 c 98.2s|240000 |124622 | 0 | 0.0 | 152M|1895 | - |3663 | 10k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
101.49/101.53 o 97
101.49/101.53 c *98.5s|240458 |121759 | 0 | 0.0 | 150M|1895 | - |3663 | 10k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
101.49/101.54 o 85
101.49/101.54 c *98.5s|240459 |115905 | 0 | 0.0 | 147M|1895 | - |3663 | 10k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
101.59/101.64 o 82
101.59/101.64 c *98.6s|240614 |115814 | 0 | 0.0 | 146M|1895 | - |3663 | 10k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 8.200000e+01 | Inf
101.59/101.68 o 74
101.59/101.68 c *98.6s|240689 |115326 | 0 | 0.0 | 145M|1895 | - |3663 | 10k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
101.59/101.68 o 64
101.59/101.68 c *98.6s|240690 |114105 | 0 | 0.0 | 144M|1895 | - |3663 | 10k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
101.69/101.73 o 63
101.69/101.73 c *98.7s|240754 |114004 | 0 | 0.0 | 144M|1895 | - |3663 | 10k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
101.79/101.82 o 33
101.79/101.82 c *98.7s|240945 |109050 | 0 | 0.0 | 141M|1895 | - |3663 |9916 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
101.79/101.85 o 29
101.79/101.85 c *98.8s|241025 |108680 | 0 | 0.0 | 141M|1895 | - |3663 |9844 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
101.79/101.86 o 12
101.79/101.86 c *98.8s|241026 |106059 | 0 | 0.0 | 141M|1895 | - |3663 |9844 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
107.09/107.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.09/107.16 c 104s|250000 |113646 | 0 | 0.0 | 176M|1895 | - |3663 |6708 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
113.20/113.26 c 110s|260000 |121396 | 0 | 0.0 | 187M|1895 | - |3663 |8332 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
121.59/121.67 c 118s|270000 |128067 | 0 | 0.0 | 199M|1895 | - |3663 | 10k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
133.20/133.22 c 130s|280000 |133711 | 0 | 0.0 | 218M|1895 | - |3663 | 10k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
142.49/142.56 c 139s|290000 |140380 | 0 | 0.0 | 251M|1895 | - |3663 |9312 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
148.99/149.00 c 145s|300000 |147155 | 0 | 0.0 | 269M|1895 | - |3663 |9615 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
155.39/155.43 c 151s|310000 |154452 | 0 | 0.0 | 303M|1895 | - |3663 |9606 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
161.49/161.56 c 157s|320000 |161814 | 0 | 0.0 | 325M|1895 | - |3663 | 10k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
168.30/168.31 c 164s|330000 |169168 | 0 | 0.0 | 349M|1895 | - |3663 | 11k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
177.00/177.10 c 173s|340000 |175051 | 0 | 0.0 | 362M|1895 | - |3663 | 14k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
187.19/187.26 c 183s|350000 |180498 | 0 | 0.0 | 391M|1895 | - |3663 | 11k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
194.60/194.62 c 190s|360000 |188333 | 0 | 0.0 | 436M|1895 | - |3663 | 13k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
203.29/203.35 c 198s|370000 |194245 | 0 | 0.0 | 461M|1895 | - |3663 | 12k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
210.69/210.79 c 206s|380000 |201871 | 0 | 0.0 | 508M|1895 | - |3663 | 14k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
217.59/217.65 c 212s|390000 |208376 | 0 | 0.0 | 522M|1895 | - |3663 |9868 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
221.99/222.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.99/222.06 c 217s|400000 |215760 | 0 | 0.0 | 532M|1895 | - |3663 | 11k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
226.20/226.21 c 221s|410000 |223552 | 0 | 0.0 | 539M|1895 | - |3663 | 10k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
228.29/228.38 o 10
228.29/228.38 c * 223s|414562 |224660 | 0 | 0.0 | 535M|1895 | - |3663 | 10k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
230.79/230.89 c 225s|420000 |228674 | 0 | 0.0 | 540M|1895 | - |3663 | 10k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
234.80/234.86 c 229s|430000 |236606 | 0 | 0.0 | 548M|1895 | - |3663 | 10k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
239.20/239.21 c 233s|440000 |244147 | 0 | 0.0 | 557M|1895 | - |3663 | 11k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
244.40/244.46 c 238s|450000 |250762 | 0 | 0.0 | 566M|1895 | - |3663 | 11k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
244.70/244.73 o 8
244.70/244.73 c * 239s|450731 |249774 | 0 | 0.0 | 562M|1895 | - |3663 | 10k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
248.10/248.12 c 242s|460000 |257504 | 0 | 0.0 | 569M|1895 | - |3663 | 10k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
252.20/252.25 c 246s|470000 |265168 | 0 | 0.0 | 578M|1895 | - |3663 | 11k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
257.09/257.17 c 251s|480000 |271865 | 0 | 0.0 | 587M|1895 | - |3663 | 11k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
262.19/262.29 c 256s|490000 |278116 | 0 | 0.0 | 595M|1895 | - |3663 | 13k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
266.39/266.40 c 260s|500000 |285999 | 0 | 0.0 | 602M|1895 | - |3663 | 12k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
270.99/271.07 c 264s|510000 |293051 | 0 | 0.0 | 610M|1895 | - |3663 | 11k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
275.89/275.93 c 269s|520000 |299901 | 0 | 0.0 | 617M|1895 | - |3663 | 11k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
279.79/279.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.79/279.83 c 273s|530000 |307860 | 0 | 0.0 | 625M|1895 | - |3663 | 11k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
285.60/285.61 c 278s|540000 |313893 | 0 | 0.0 | 631M|1895 | - |3663 |9220 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
289.10/289.10 c 282s|550000 |322173 | 0 | 0.0 | 639M|1895 | - |3663 |6281 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
292.20/292.26 c 285s|560000 |330566 | 0 | 0.0 | 646M|1895 | - |3663 |6481 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
295.69/295.71 c 288s|570000 |338621 | 0 | 0.0 | 653M|1895 | - |3663 |6790 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
301.60/301.61 c 294s|580000 |344053 | 0 | 0.0 | 663M|1895 | - |3663 |8310 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
308.09/308.10 c 300s|590000 |349050 | 0 | 0.0 | 672M|1895 | - |3663 |9160 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
315.10/315.17 c 307s|600000 |353604 | 0 | 0.0 | 681M|1895 | - |3663 |9526 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
322.40/322.40 c 314s|610000 |357938 | 0 | 0.0 | 689M|1895 | - |3663 | 10k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
330.30/330.36 c 322s|620000 |361857 | 0 | 0.0 | 698M|1895 | - |3663 | 10k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
338.20/338.26 c 330s|630000 |365800 | 0 | 0.0 | 707M|1895 | - |3663 | 11k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
346.40/346.42 c 338s|640000 |369683 | 0 | 0.0 | 715M|1895 | - |3663 | 11k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
354.69/354.79 c 346s|650000 |373391 | 0 | 0.0 | 723M|1895 | - |3663 | 12k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
363.30/363.39 c 354s|660000 |376975 | 0 | 0.0 | 732M|1895 | - |3663 | 13k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
372.30/372.32 c 363s|670000 |380420 | 0 | 0.0 | 740M|1895 | - |3663 | 13k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
381.30/381.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.30/381.38 c 372s|680000 |383781 | 0 | 0.0 | 748M|1895 | - |3663 | 13k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
390.41/390.44 c 381s|690000 |387221 | 0 | 0.0 | 757M|1895 | - |3663 | 14k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
399.80/399.88 c 390s|700000 |390533 | 0 | 0.0 | 765M|1895 | - |3663 | 14k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
409.30/409.34 c 400s|710000 |393830 | 0 | 0.0 | 773M|1895 | - |3663 | 15k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
418.59/418.69 c 409s|720000 |397254 | 0 | 0.0 | 781M|1895 | - |3663 | 15k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
427.70/427.74 c 418s|730000 |400907 | 0 | 0.0 | 789M|1895 | - |3663 | 15k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
437.20/437.26 c 427s|740000 |404271 | 0 | 0.0 | 797M|1895 | - |3663 | 15k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
447.20/447.28 c 437s|750000 |407358 | 0 | 0.0 | 805M|1895 | - |3663 | 16k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
457.80/457.80 c 447s|760000 |410078 | 0 | 0.0 | 812M|1895 | - |3663 | 16k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
469.40/469.46 c 459s|770000 |412055 | 0 | 0.0 | 819M|1895 | - |3663 | 18k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
482.00/482.00 c 471s|780000 |413727 | 0 | 0.0 | 826M|1895 | - |3663 | 19k| 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
495.60/495.67 c 485s|790000 |414802 | 0 | 0.0 | 832M|1895 | - |3663 | 19k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
509.40/509.42 c 498s|800000 |414850 | 0 | 0.0 | 835M|1895 | - |3663 | 15k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
524.20/524.28 c 513s|810000 |410288 | 0 | 0.0 | 824M|1895 | - |3663 |7899 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
528.20/528.28 c 517s|820000 |418269 | 0 | 0.0 | 831M|1895 | - |3663 |4645 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
531.80/531.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.80/531.88 c 520s|830000 |426376 | 0 | 0.0 | 838M|1895 | - |3663 |4411 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
535.61/535.67 c 524s|840000 |434233 | 0 | 0.0 | 846M|1895 | - |3663 |4682 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
539.70/539.77 c 528s|850000 |441842 | 0 | 0.0 | 854M|1895 | - |3663 |5078 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
543.90/543.91 c 532s|860000 |449474 | 0 | 0.0 | 862M|1895 | - |3663 |5457 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
548.20/548.22 c 536s|870000 |456954 | 0 | 0.0 | 870M|1895 | - |3663 |5648 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
552.40/552.48 c 540s|880000 |464452 | 0 | 0.0 | 878M|1895 | - |3663 |5955 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
557.10/557.11 c 545s|890000 |471578 | 0 | 0.0 | 886M|1895 | - |3663 |6060 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
561.90/561.99 c 549s|900000 |478443 | 0 | 0.0 | 894M|1895 | - |3663 |6780 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
566.80/566.80 c 554s|910000 |485386 | 0 | 0.0 | 903M|1895 | - |3663 |7053 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
572.11/572.10 c 559s|920000 |491945 | 0 | 0.0 | 912M|1895 | - |3663 |7337 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
577.60/577.63 c 565s|930000 |498266 | 0 | 0.0 | 921M|1895 | - |3663 |7971 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
583.61/583.66 c 571s|940000 |504178 | 0 | 0.0 | 930M|1895 | - |3663 |8457 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
590.11/590.15 c 577s|950000 |509747 | 0 | 0.0 | 940M|1895 | - |3663 |8992 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
597.00/597.01 c 584s|960000 |515114 | 0 | 0.0 | 950M|1895 | - |3663 |9476 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
604.20/604.21 c 591s|970000 |520136 | 0 | 0.0 | 959M|1895 | - |3663 | 10k| 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
611.70/611.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.70/611.76 c 598s|980000 |524997 | 0 | 0.0 | 969M|1895 | - |3663 | 10k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
619.41/619.48 c 606s|990000 |529863 | 0 | 0.0 | 978M|1895 | - |3663 | 11k| 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
627.91/627.99 c 614s| 1000k|534205 | 0 | 0.0 | 987M|1895 | - |3663 | 12k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
637.91/637.94 c 624s| 1010k|537675 | 0 | 0.0 | 997M|1895 | - |3663 | 13k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
649.02/649.09 c 635s| 1020k|540246 | 0 | 0.0 |1007M|1895 | - |3663 | 14k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
658.71/658.79 c 644s| 1030k|544234 | 0 | 0.0 |1014M|1895 | - |3663 |7249 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
663.80/663.87 c 649s| 1040k|551160 | 0 | 0.0 |1023M|1895 | - |3663 |6896 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
668.50/668.50 c 653s| 1050k|558476 | 0 | 0.0 |1031M|1895 | - |3663 |7560 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
673.21/673.25 c 658s| 1060k|565646 | 0 | 0.0 |1040M|1895 | - |3663 |8327 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
678.40/678.40 c 662s| 1070k|572518 | 0 | 0.0 |1050M|1895 | - |3663 |9186 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
683.51/683.59 c 667s| 1080k|579257 | 0 | 0.0 |1059M|1895 | - |3663 |9754 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
689.40/689.46 c 673s| 1090k|585448 | 0 | 0.0 |1068M|1895 | - |3663 | 11k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
695.60/695.63 c 678s| 1100k|591443 | 0 | 0.0 |1078M|1895 | - |3663 | 12k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
702.81/702.88 c 685s| 1110k|596641 | 0 | 0.0 |1088M|1895 | - |3663 | 13k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
711.41/711.46 c 694s| 1120k|601067 | 0 | 0.0 |1098M|1895 | - |3663 | 14k| 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
719.70/719.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.70/719.74 c 701s| 1130k|605630 | 0 | 0.0 |1106M|1895 | - |3663 | 10k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
726.31/726.38 c 708s| 1140k|611205 | 0 | 0.0 |1114M|1895 | - |3663 |8990 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
732.20/732.23 c 713s| 1150k|617386 | 0 | 0.0 |1123M|1895 | - |3663 |8621 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
737.50/737.53 c 718s| 1160k|623924 | 0 | 0.0 |1132M|1895 | - |3663 |8676 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
742.91/742.90 c 723s| 1170k|630563 | 0 | 0.0 |1140M|1895 | - |3663 |8630 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
748.20/748.24 c 728s| 1180k|637229 | 0 | 0.0 |1149M|1895 | - |3663 |8738 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
753.30/753.36 c 733s| 1190k|644045 | 0 | 0.0 |1159M|1895 | - |3663 |8758 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
758.61/758.64 c 738s| 1200k|650752 | 0 | 0.0 |1168M|1895 | - |3663 |8990 | 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
764.11/764.19 c 743s| 1210k|657239 | 0 | 0.0 |1177M|1895 | - |3663 |9198 | 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
769.71/769.73 c 748s| 1220k|663808 | 0 | 0.0 |1187M|1895 | - |3663 |9277 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
775.21/775.24 c 753s| 1230k|670341 | 0 | 0.0 |1197M|1895 | - |3663 |9608 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
780.91/780.91 c 758s| 1240k|676797 | 0 | 0.0 |1206M|1895 | - |3663 |9906 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
786.41/786.48 c 764s| 1250k|683290 | 0 | 0.0 |1215M|1895 | - |3663 | 10k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
791.81/791.88 c 769s| 1260k|689959 | 0 | 0.0 |1223M|1895 | - |3663 | 10k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
797.81/797.89 c 774s| 1270k|696194 | 0 | 0.0 |1232M|1895 | - |3663 | 10k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
803.71/803.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.71/803.71 c 780s| 1280k|702609 | 0 | 0.0 |1240M|1895 | - |3663 | 11k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
809.80/809.84 c 786s| 1290k|708775 | 0 | 0.0 |1248M|1895 | - |3663 | 11k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
816.00/816.04 c 791s| 1300k|714924 | 0 | 0.0 |1257M|1895 | - |3663 | 12k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
822.21/822.23 c 797s| 1310k|721034 | 0 | 0.0 |1265M|1895 | - |3663 | 12k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
828.91/828.96 c 804s| 1320k|726748 | 0 | 0.0 |1274M|1895 | - |3663 | 13k| 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
836.31/836.38 c 811s| 1330k|731970 | 0 | 0.0 |1283M|1895 | - |3663 | 15k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
845.11/845.17 c 819s| 1340k|736417 | 0 | 0.0 |1291M|1895 | - |3663 | 17k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
855.91/855.98 c 829s| 1350k|739430 | 0 | 0.0 |1299M|1895 | - |3663 | 20k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
864.52/864.53 c 838s| 1360k|744576 | 0 | 0.0 |1304M|1895 | - |3663 | 11k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
868.71/868.74 c 841s| 1370k|752592 | 0 | 0.0 |1312M|1895 | - |3663 | 11k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
873.01/873.06 c 845s| 1380k|760449 | 0 | 0.0 |1320M|1895 | - |3663 | 12k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
877.51/877.57 c 850s| 1390k|768156 | 0 | 0.0 |1328M|1895 | - |3663 | 12k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
882.41/882.42 c 854s| 1400k|775673 | 0 | 0.0 |1337M|1895 | - |3663 | 13k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
887.51/887.54 c 859s| 1410k|783008 | 0 | 0.0 |1346M|1895 | - |3663 | 14k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
893.12/893.14 c 864s| 1420k|789906 | 0 | 0.0 |1355M|1895 | - |3663 | 15k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
898.81/898.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.81/898.82 c 870s| 1430k|796799 | 0 | 0.0 |1364M|1895 | - |3663 | 15k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
905.32/905.34 c 876s| 1440k|802994 | 0 | 0.0 |1374M|1895 | - |3663 | 16k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
912.11/912.19 c 882s| 1450k|808952 | 0 | 0.0 |1383M|1895 | - |3663 | 17k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
920.91/920.93 c 890s| 1460k|813629 | 0 | 0.0 |1393M|1895 | - |3663 | 20k| 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
930.82/930.83 c 900s| 1470k|817540 | 0 | 0.0 |1402M|1895 | - |3663 | 23k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
936.51/936.59 c 905s| 1480k|824993 | 0 | 0.0 |1408M|1895 | - |3663 | 14k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
941.21/941.26 c 910s| 1490k|832986 | 0 | 0.0 |1418M|1895 | - |3663 | 14k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
945.92/945.96 c 914s| 1500k|840795 | 0 | 0.0 |1428M|1895 | - |3663 | 15k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
950.81/950.84 c 919s| 1510k|848423 | 0 | 0.0 |1439M|1895 | - |3663 | 15k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
955.92/955.92 c 923s| 1520k|855903 | 0 | 0.0 |1449M|1895 | - |3663 | 16k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
961.22/961.27 c 928s| 1530k|863165 | 0 | 0.0 |1458M|1895 | - |3663 | 16k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
966.82/966.82 c 934s| 1540k|870218 | 0 | 0.0 |1468M|1895 | - |3663 | 17k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
972.71/972.77 c 939s| 1550k|876996 | 0 | 0.0 |1478M|1895 | - |3663 | 17k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
978.71/978.75 c 945s| 1560k|883694 | 0 | 0.0 |1487M|1895 | - |3663 | 18k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
986.01/986.04 c 952s| 1570k|889473 | 0 | 0.0 |1497M|1895 | - |3663 | 19k| 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
995.62/995.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.62/995.63 c 961s| 1580k|893683 | 0 | 0.0 |1506M|1895 | - |3663 | 21k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1008.42/1008.41 c 973s| 1590k|896122 | 0 | 0.0 |1514M|1895 | - |3663 | 22k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1014.12/1014.17 c 979s| 1600k|904108 | 0 | 0.0 |1524M|1895 | - |3663 | 18k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1019.31/1019.31 c 983s| 1610k|911948 | 0 | 0.0 |1535M|1895 | - |3663 | 18k| 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1024.51/1024.54 c 988s| 1620k|919604 | 0 | 0.0 |1546M|1895 | - |3663 | 18k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1030.02/1030.05 c 993s| 1630k|927004 | 0 | 0.0 |1558M|1895 | - |3663 | 18k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1036.02/1036.09 c 999s| 1640k|933974 | 0 | 0.0 |1570M|1895 | - |3663 | 19k| 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1042.82/1042.87 c 1005s| 1650k|940400 | 0 | 0.0 |1583M|1895 | - |3663 | 20k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1050.52/1050.59 c 1013s| 1660k|946228 | 0 | 0.0 |1596M|1895 | - |3663 | 21k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1058.81/1058.81 c 1021s| 1670k|951690 | 0 | 0.0 |1609M|1895 | - |3663 | 22k| 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1068.52/1068.53 c 1030s| 1680k|956143 | 0 | 0.0 |1622M|1895 | - |3663 | 24k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1078.61/1078.65 c 1039s| 1690k|960590 | 0 | 0.0 |1634M|1895 | - |3663 | 25k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1086.92/1086.92 c 1047s| 1700k|966769 | 0 | 0.0 |1644M|1895 | - |3663 | 22k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1093.32/1093.37 c 1053s| 1710k|973951 | 0 | 0.0 |1654M|1895 | - |3663 | 19k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1098.92/1098.98 c 1059s| 1720k|981475 | 0 | 0.0 |1664M|1895 | - |3663 | 19k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1104.51/1104.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.51/1104.57 c 1064s| 1730k|988926 | 0 | 0.0 |1676M|1895 | - |3663 | 19k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1110.61/1110.66 c 1070s| 1740k|995894 | 0 | 0.0 |1688M|1895 | - |3663 | 19k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1117.41/1117.45 c 1076s| 1750k| 1002k| 0 | 0.0 |1702M|1895 | - |3663 | 20k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1124.71/1124.77 c 1083s| 1760k| 1008k| 0 | 0.0 |1715M|1895 | - |3663 | 21k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1132.93/1132.97 c 1091s| 1770k| 1013k| 0 | 0.0 |1729M|1895 | - |3663 | 22k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1142.12/1142.16 c 1100s| 1780k| 1018k| 0 | 0.0 |1742M|1895 | - |3663 | 23k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1151.52/1151.59 c 1108s| 1790k| 1023k| 0 | 0.0 |1753M|1895 | - |3663 | 23k| 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1159.61/1159.65 c 1116s| 1800k| 1029k| 0 | 0.0 |1762M|1895 | - |3663 | 20k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1165.92/1165.94 c 1122s| 1810k| 1036k| 0 | 0.0 |1769M|1895 | - |3663 | 16k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1171.02/1171.06 c 1127s| 1820k| 1043k| 0 | 0.0 |1778M|1895 | - |3663 | 16k| 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1176.12/1176.15 c 1132s| 1830k| 1051k| 0 | 0.0 |1786M|1895 | - |3663 | 16k| 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1181.22/1181.27 c 1136s| 1840k| 1058k| 0 | 0.0 |1795M|1895 | - |3663 | 16k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1186.72/1186.76 c 1142s| 1850k| 1065k| 0 | 0.0 |1804M|1895 | - |3663 | 16k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1191.82/1191.88 c 1146s| 1860k| 1072k| 0 | 0.0 |1812M|1895 | - |3663 | 17k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1197.32/1197.31 c 1151s| 1870k| 1079k| 0 | 0.0 |1821M|1895 | - |3663 | 17k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1202.72/1202.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.72/1202.71 c 1156s| 1880k| 1086k| 0 | 0.0 |1830M|1895 | - |3663 | 17k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1208.62/1208.65 c 1162s| 1890k| 1093k| 0 | 0.0 |1839M|1895 | - |3663 | 17k| 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1214.51/1214.53 c 1168s| 1900k| 1100k| 0 | 0.0 |1849M|1895 | - |3663 | 17k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1220.61/1220.64 c 1173s| 1910k| 1106k| 0 | 0.0 |1857M|1895 | - |3663 | 17k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1226.82/1226.89 c 1179s| 1920k| 1112k| 0 | 0.0 |1866M|1895 | - |3663 | 18k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1233.92/1233.94 c 1186s| 1930k| 1118k| 0 | 0.0 |1876M|1895 | - |3663 | 18k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1240.73/1240.79 c 1192s| 1940k| 1124k| 0 | 0.0 |1885M|1895 | - |3663 | 19k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1248.22/1248.24 c 1200s| 1950k| 1129k| 0 | 0.0 |1894M|1895 | - |3663 | 19k| 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1255.72/1255.77 c 1207s| 1960k| 1135k| 0 | 0.0 |1903M|1895 | - |3663 | 20k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1264.02/1264.01 c 1215s| 1970k| 1140k| 0 | 0.0 |1912M|1895 | - |3663 | 20k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1272.82/1272.85 c 1223s| 1980k| 1144k| 0 | 0.0 |1920M|1895 | - |3663 | 21k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1282.52/1282.56 c 1232s| 1990k| 1148k| 0 | 0.0 |1929M|1895 | - |3663 | 22k| 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1290.72/1290.70 c 1240s| 2000k| 1153k| 0 | 0.0 |1934M|1895 | - |3663 | 17k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1295.32/1295.33 c 1244s| 2010k| 1161k| 0 | 0.0 |1943M|1895 | - |3663 | 16k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1300.13/1300.11 c 1249s| 2020k| 1169k| 0 | 0.0 |1951M|1895 | - |3663 | 16k| 0 | 0 | 0 |1423k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1304.92/1304.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.92/1304.93 c 1253s| 2030k| 1177k| 0 | 0.0 |1959M|1895 | - |3663 | 16k| 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1309.82/1309.80 c 1258s| 2040k| 1184k| 0 | 0.0 |1967M|1895 | - |3663 | 17k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1314.83/1314.87 c 1263s| 2050k| 1192k| 0 | 0.0 |1976M|1895 | - |3663 | 17k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1319.93/1319.97 c 1267s| 2060k| 1199k| 0 | 0.0 |1984M|1895 | - |3663 | 17k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1325.53/1325.55 c 1273s| 2070k| 1206k| 0 | 0.0 |1993M|1895 | - |3663 | 17k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1330.93/1330.94 c 1278s| 2080k| 1213k| 0 | 0.0 |2001M|1895 | - |3663 | 17k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1336.73/1336.78 c 1283s| 2090k| 1220k| 0 | 0.0 |2010M|1895 | - |3663 | 18k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1342.22/1342.21 c 1288s| 2100k| 1227k| 0 | 0.0 |2018M|1895 | - |3663 | 18k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1347.72/1347.76 c 1293s| 2110k| 1234k| 0 | 0.0 |2027M|1895 | - |3663 | 18k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1354.03/1354.08 c 1299s| 2120k| 1240k| 0 | 0.0 |2036M|1895 | - |3663 | 19k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1360.42/1360.40 c 1305s| 2130k| 1247k| 0 | 0.0 |2045M|1895 | - |3663 | 19k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1367.33/1367.34 c 1312s| 2140k| 1252k| 0 | 0.0 |2054M|1895 | - |3663 | 20k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1373.72/1373.79 c 1318s| 2150k| 1259k| 0 | 0.0 |2064M|1895 | - |3663 | 20k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1380.82/1380.86 c 1325s| 2160k| 1264k| 0 | 0.0 |2073M|1895 | - |3663 | 20k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1388.03/1388.06 c 1332s| 2170k| 1270k| 0 | 0.0 |2081M|1895 | - |3663 | 21k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1393.92/1393.90 o 5
1393.92/1393.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.92/1393.90 c *1337s| 2176k| 1225k| 0 | 0.0 |1958M|1895 | - |3663 | 21k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1397.12/1397.16 c 1340s| 2180k| 1226k| 0 | 0.0 |1962M|1895 | - |3663 | 22k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1408.72/1408.73 c 1351s| 2190k| 1229k| 0 | 0.0 |1971M|1895 | - |3663 | 24k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1417.52/1417.50 c 1360s| 2200k| 1235k| 0 | 0.0 |1976M|1895 | - |3663 | 18k| 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1423.02/1423.00 c 1365s| 2210k| 1242k| 0 | 0.0 |1984M|1895 | - |3663 | 18k| 0 | 0 | 0 |1532k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1428.73/1428.73 c 1370s| 2220k| 1249k| 0 | 0.0 |1992M|1895 | - |3663 | 19k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1434.72/1434.76 c 1376s| 2230k| 1256k| 0 | 0.0 |2000M|1895 | - |3663 | 20k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1441.43/1441.47 c 1382s| 2240k| 1263k| 0 | 0.0 |2007M|1895 | - |3663 | 20k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1449.13/1449.11 c 1390s| 2250k| 1269k| 0 | 0.0 |2015M|1895 | - |3663 | 21k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1457.33/1457.39 c 1398s| 2260k| 1274k| 0 | 0.0 |2023M|1895 | - |3663 | 22k| 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1468.73/1468.70 c 1408s| 2270k| 1277k| 0 | 0.0 |2031M|1895 | - |3663 | 23k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1478.23/1478.30 c 1418s| 2280k| 1282k| 0 | 0.0 |2036M|1895 | - |3663 | 19k| 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1484.02/1484.09 c 1423s| 2290k| 1289k| 0 | 0.0 |2044M|1895 | - |3663 | 19k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1490.73/1490.73 c 1429s| 2300k| 1296k| 0 | 0.0 |2053M|1895 | - |3663 | 20k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1498.03/1498.05 c 1436s| 2310k| 1302k| 0 | 0.0 |2061M|1895 | - |3663 | 21k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1505.83/1505.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.83/1505.86 c 1444s| 2320k| 1308k| 0 | 0.0 |2070M|1895 | - |3663 | 21k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1514.93/1514.91 c 1453s| 2330k| 1313k| 0 | 0.0 |2077M|1895 | - |3663 | 22k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1525.23/1525.21 c 1462s| 2340k| 1317k| 0 | 0.0 |2085M|1895 | - |3663 | 23k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1537.23/1537.26 c 1474s| 2350k| 1320k| 0 | 0.0 |2092M|1895 | - |3663 | 24k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1548.53/1548.55 c 1485s| 2360k| 1324k| 0 | 0.0 |2097M|1895 | - |3663 | 19k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1554.43/1554.40 c 1490s| 2370k| 1331k| 0 | 0.0 |2105M|1895 | - |3663 | 20k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1561.13/1561.12 c 1497s| 2380k| 1337k| 0 | 0.0 |2113M|1895 | - |3663 | 20k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1569.13/1569.10 c 1504s| 2390k| 1343k| 0 | 0.0 |2122M|1895 | - |3663 | 22k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1577.93/1577.98 c 1513s| 2400k| 1348k| 0 | 0.0 |2130M|1895 | - |3663 | 23k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1588.53/1588.58 c 1523s| 2410k| 1352k| 0 | 0.0 |2139M|1895 | - |3663 | 24k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1602.43/1602.49 c 1537s| 2420k| 1354k| 0 | 0.0 |2146M|1895 | - |3663 | 26k| 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1609.03/1609.05 c 1543s| 2430k| 1361k| 0 | 0.0 |2151M|1895 | - |3663 | 19k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1614.84/1614.88 c 1548s| 2440k| 1368k| 0 | 0.0 |2159M|1895 | - |3663 | 19k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1620.83/1620.86 c 1554s| 2450k| 1375k| 0 | 0.0 |2168M|1895 | - |3663 | 20k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1627.42/1627.44 c 1560s| 2460k| 1382k| 0 | 0.0 |2176M|1895 | - |3663 | 20k| 0 | 0 | 0 |1711k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1634.33/1634.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.33/1634.36 c 1567s| 2470k| 1388k| 0 | 0.0 |2185M|1895 | - |3663 | 21k| 0 | 0 | 0 |1717k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1642.13/1642.16 c 1574s| 2480k| 1394k| 0 | 0.0 |2194M|1895 | - |3663 | 22k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1650.63/1650.65 c 1582s| 2490k| 1399k| 0 | 0.0 |2203M|1895 | - |3663 | 22k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1660.03/1660.00 c 1591s| 2500k| 1404k| 0 | 0.0 |2212M|1895 | - |3663 | 23k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1670.53/1670.54 c 1602s| 2510k| 1408k| 0 | 0.0 |2220M|1895 | - |3663 | 24k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1683.13/1683.18 c 1614s| 2520k| 1410k| 0 | 0.0 |2228M|1895 | - |3663 | 25k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1699.54/1699.53 c 1630s| 2530k| 1411k| 0 | 0.0 |2227M|1895 | - |3663 | 10k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1704.04/1704.08 c 1634s| 2540k| 1418k| 0 | 0.0 |2235M|1895 | - |3663 |6553 | 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1709.03/1709.00 c 1638s| 2550k| 1425k| 0 | 0.0 |2242M|1895 | - |3663 |5923 | 0 | 0 | 0 |1790k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1713.54/1713.55 c 1643s| 2560k| 1432k| 0 | 0.0 |2250M|1895 | - |3663 |5434 | 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1718.03/1718.03 c 1647s| 2570k| 1439k| 0 | 0.0 |2258M|1895 | - |3663 |6326 | 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1723.23/1723.21 c 1652s| 2580k| 1445k| 0 | 0.0 |2265M|1895 | - |3663 |5681 | 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1728.03/1728.03 c 1656s| 2590k| 1452k| 0 | 0.0 |2273M|1895 | - |3663 |6099 | 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1732.84/1732.83 c 1660s| 2600k| 1458k| 0 | 0.0 |2281M|1895 | - |3663 |6986 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1736.53/1736.57 c 1664s| 2610k| 1466k| 0 | 0.0 |2289M|1895 | - |3663 |5976 | 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1740.73/1740.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.73/1740.77 c 1668s| 2620k| 1473k| 0 | 0.0 |2297M|1895 | - |3663 |6542 | 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1745.53/1745.55 c 1672s| 2630k| 1480k| 0 | 0.0 |2305M|1895 | - |3663 |6908 | 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1750.84/1750.80 c 1677s| 2640k| 1487k| 0 | 0.0 |2313M|1895 | - |3663 |7346 | 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1755.74/1755.78 c 1682s| 2650k| 1493k| 0 | 0.0 |2320M|1895 | - |3663 |6471 | 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1760.23/1760.20 c 1686s| 2660k| 1500k| 0 | 0.0 |2328M|1895 | - |3663 |7518 | 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1764.04/1764.06 c 1689s| 2670k| 1508k| 0 | 0.0 |2336M|1895 | - |3663 |7492 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1768.23/1768.27 c 1693s| 2680k| 1515k| 0 | 0.0 |2343M|1895 | - |3663 |7107 | 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1772.53/1772.51 c 1697s| 2690k| 1522k| 0 | 0.0 |2350M|1895 | - |3663 |6500 | 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1776.14/1776.17 c 1701s| 2700k| 1530k| 0 | 0.0 |2358M|1895 | - |3663 |7159 | 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1780.54/1780.56 c 1705s| 2710k| 1537k| 0 | 0.0 |2366M|1895 | - |3663 |7689 | 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1784.93/1784.93 c 1709s| 2720k| 1544k| 0 | 0.0 |2373M|1895 | - |3663 |7462 | 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1789.23/1789.23 c 1713s| 2730k| 1552k| 0 | 0.0 |2380M|1895 | - |3663 |6583 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1792.94/1792.99 c 1716s| 2740k| 1559k| 0 | 0.0 |2388M|1895 | - |3663 |7248 | 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1798.44/1798.42 c 1721s| 2750k| 1565k| 0 | 0.0 |2397M|1895 | - |3663 |9720 | 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1722.56
1800.04/1800.00 c Solving Nodes : 2754355
1800.04/1800.00 c Primal Bound : +5.00000000000000e+00 (23 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 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.04 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.04 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.04 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.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.04 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.04 v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55
1800.04/1800.04 v -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.04 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.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1722.56
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2694159-1277908436.wbo
1800.04/1800.04 c Variables : 3807 (2019 binary, 0 integer, 0 implicit integer, 1788 continuous)
1800.04/1800.04 c Constraints : 4496 initial, 4496 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2694159-1277908436.wbo
1800.04/1800.04 c Variables : 3663 (1947 binary, 0 integer, 0 implicit integer, 1716 continuous)
1800.04/1800.04 c Constraints : 4326 initial, 28553 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.07 0 0 0 1806 0 98 81 0
1800.04/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1583 - - 3166 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 1716 0 6462770 0 2053037 337 5201578 0 0 0
1800.04/1800.04 c setppc : 11 0 7969380 0 2370253 62832 4440140 0 0 0
1800.04/1800.04 c linear : 1716 0 7907527 0 2370460 321339 34814182 0 0 0
1800.04/1800.04 c logicor : 883+ 0 4883636 0 2370475 233791 7939518 0 0 0
1800.04/1800.04 c bounddisjunction : 0+ 0 44131 0 0 0 301 0 0 0
1800.04/1800.04 c countsols : 0 0 0 0 2370473 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c indicator : 28.56 0.00 12.87 0.00 15.69
1800.04/1800.04 c setppc : 29.30 0.00 26.15 0.00 3.15
1800.04/1800.04 c linear : 301.59 0.00 300.44 0.00 1.15
1800.04/1800.04 c logicor : 434.46 0.00 359.98 0.00 74.48
1800.04/1800.04 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1800.04/1800.04 c countsols : 0.17 0.00 0.00 0.00 0.17
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.76 2 0 0
1800.04/1800.04 c rootredcost : 0.57 0 0 0
1800.04/1800.04 c pseudoobj : 264.22 7975601 5005 5016860
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 46.68 622967 622877 3020464 23.7 164949 10.8 -
1800.04/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.01 67 67 265 23.4 123 8.6 -
1800.04/1800.04 c applied globally : - - - 1896965 20.7 - - -
1800.04/1800.04 c applied locally : - - - 17 210.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.04 c redcost : 0.00 0 0 0 0 0
1800.04/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.00 0 0 0 0 0
1800.04/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.04 c cmir : 0.00 0 0 0 0 0
1800.04/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.04 c clique : 0.00 0 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 0 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 50.61 2370450 0 0 0 0 4740900
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.00 - 0
1800.04/1800.04 c pseudo solutions : 0.26 - 23
1800.04/1800.04 c oneopt : 0.42 0 0
1800.04/1800.04 c trivial : 0.01 2 0
1800.04/1800.04 c simplerounding : 0.00 0 0
1800.04/1800.04 c zirounding : 0.00 0 0
1800.04/1800.04 c rounding : 0.00 0 0
1800.04/1800.04 c shifting : 0.00 0 0
1800.04/1800.04 c intshifting : 0.00 0 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c feaspump : 0.00 0 0
1800.04/1800.04 c coefdiving : 0.00 0 0
1800.04/1800.04 c pscostdiving : 0.00 0 0
1800.04/1800.04 c fracdiving : 0.00 0 0
1800.04/1800.04 c veclendiving : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c objpscostdiving : 0.00 0 0
1800.04/1800.04 c rootsoldiving : 0.00 0 0
1800.04/1800.04 c linesearchdiving : 0.00 0 0
1800.04/1800.04 c guideddiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.00 0 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c crossover : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.33 0 0
1800.04/1800.04 c trysol : 0.29 1 0
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.04 c (at root node) : - 0 0 0.00 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 2754355
1800.04/1800.04 c nodes (total) : 2754355
1800.04/1800.04 c nodes left : 1569441
1800.04/1800.04 c max depth : 1895
1800.04/1800.04 c max depth (total): 1895
1800.04/1800.04 c backtracks : 340547 (12.4%)
1800.04/1800.04 c delayed cutoffs : 280316
1800.04/1800.04 c repropagations : 1383793 (16016307 domain reductions, 239489 cutoffs)
1800.04/1800.04 c avg switch length: 27.53
1800.04/1800.04 c switching time : 489.07
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 23 (23 improvements)
1800.04/1800.04 c First Solution : +3.81000000000000e+02 (in run 1, after 17159 nodes, 4.15 seconds, depth 1212, found by <relaxation>)
1800.04/1800.04 c Primal Bound : +5.00000000000000e+00 (in run 1, after 2176925 nodes, 1336.98 seconds, depth 812, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 0
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694159-1277908436/watcher-2694159-1277908436 -o /tmp/evaluation-result-2694159-1277908436/solver-2694159-1277908436 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694159-1277908436.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.01 2.00 3/178 12604 /proc/meminfo: memFree=31185824/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=8260 CPUtime=0 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 1545 0 0 0 0 0 0 0 21 0 1 0 132140315 8458240 1468 4089446400 4194304 7136930 140734100406304 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12604/statm: 2065 1468 275 719 0 1344 0 [startup+0.0316981 s] /proc/loadavg: 2.04 2.01 2.00 3/178 12604 /proc/meminfo: memFree=31185824/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=14880 CPUtime=0.02 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 3213 0 0 0 2 0 0 0 21 0 1 0 132140315 15237120 3136 4089446400 4194304 7136930 140734100406304 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12604/statm: 3720 3136 275 719 0 2999 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14880 [startup+0.100597 s] /proc/loadavg: 2.04 2.01 2.00 3/178 12604 /proc/meminfo: memFree=31185824/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=27700 CPUtime=0.09 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 7350 0 0 0 8 1 0 0 21 0 1 0 132140315 28364800 6148 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12604/statm: 6925 6148 354 719 0 6204 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27700 [startup+0.30056 s] /proc/loadavg: 2.04 2.01 2.00 3/178 12604 /proc/meminfo: memFree=31185824/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=29528 CPUtime=0.29 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 10169 0 0 0 26 3 0 0 21 0 1 0 132140315 30236672 6654 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12604/statm: 7382 6654 391 719 0 6661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29528 [startup+0.700488 s] /proc/loadavg: 2.04 2.01 2.00 3/178 12604 /proc/meminfo: memFree=31185824/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=31616 CPUtime=0.69 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 10692 0 0 0 64 5 0 0 22 0 1 0 132140315 32374784 7177 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12604/statm: 7904 7177 395 719 0 7183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31616 [startup+1.50035 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12605 /proc/meminfo: memFree=31154816/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=34032 CPUtime=1.49 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 11302 0 0 0 137 12 0 0 25 0 1 0 132140315 34848768 7787 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12604/statm: 8508 7787 395 719 0 7787 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34032 [startup+3.10106 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12605 /proc/meminfo: memFree=31149856/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=36328 CPUtime=3.09 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 11897 0 0 0 288 21 0 0 25 0 1 0 132140315 37199872 8382 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12604/statm: 9082 8382 395 719 0 8361 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36328 [startup+6.30049 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12605 /proc/meminfo: memFree=31133396/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=46392 CPUtime=6.29 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 14450 0 0 0 582 47 0 0 25 0 1 0 132140315 47505408 10935 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12604/statm: 11598 10935 395 719 0 10877 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46392 [startup+12.7003 s] /proc/loadavg: 2.03 2.01 2.00 3/179 12605 /proc/meminfo: memFree=31095156/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=65388 CPUtime=12.69 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 19204 0 0 0 1184 85 0 0 25 0 1 0 132140315 66957312 15689 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12604/statm: 16347 15689 395 719 0 15626 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65388 [startup+25.5002 s] /proc/loadavg: 2.03 2.01 2.00 3/179 12632 /proc/meminfo: memFree=31328036/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=82880 CPUtime=25.49 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 23173 0 0 0 2424 125 0 0 25 0 1 0 132140315 84869120 19658 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 20720 19658 395 719 0 19999 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82880 [startup+51.1006 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12633 /proc/meminfo: memFree=31200148/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=131988 CPUtime=51.09 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 35552 0 0 0 4901 208 0 0 25 0 1 0 132140315 135155712 32037 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 32997 32037 396 719 0 32276 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 131988 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12634 /proc/meminfo: memFree=30969080/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=211324 CPUtime=102.3 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 54968 0 0 0 9924 306 0 0 25 0 1 0 132140315 216395776 51453 4089446400 4194304 7136930 140734100406304 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 52831 51453 396 719 0 52110 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 211324 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12636 /proc/meminfo: memFree=30628732/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=419168 CPUtime=162.29 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 99755 0 0 0 15811 418 0 0 25 0 1 0 132140315 429228032 96240 4089446400 4194304 7136930 140734100406304 18446744073709551615 4925518 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 104792 96240 398 719 0 104071 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 419168 [startup+222.301 s] /proc/loadavg: 2.53 2.14 2.04 4/200 12703 /proc/meminfo: memFree=30641248/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=667136 CPUtime=222.3 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 153388 0 0 0 21681 549 0 0 25 0 1 0 132140315 683147264 149873 4089446400 4194304 7136930 140734100406304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 166784 149873 398 719 0 166063 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 667136 [startup+282.3 s] /proc/loadavg: 2.82 2.29 2.10 4/200 12705 /proc/meminfo: memFree=30513192/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=776496 CPUtime=282.3 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 181054 0 0 0 27506 724 0 0 25 0 1 0 132140315 795131904 177539 4089446400 4194304 7136930 140734100406304 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 194124 177539 398 719 0 193403 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 776496 [startup+342.301 s] /proc/loadavg: 2.85 2.40 2.15 4/200 12706 /proc/meminfo: memFree=30417984/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=860760 CPUtime=342.3 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 202300 0 0 0 33369 861 0 0 25 0 1 0 132140315 881418240 198785 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 215190 198785 398 719 0 214469 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 860760 [startup+402.301 s] /proc/loadavg: 2.87 2.49 2.19 3/200 12708 /proc/meminfo: memFree=30351316/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=923884 CPUtime=402.3 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 217928 0 0 0 39268 962 0 0 25 0 1 0 132140315 946057216 214413 4089446400 4194304 7136930 140734100406304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 230971 214413 398 719 0 230250 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 923884 [startup+462.3 s] /proc/loadavg: 2.89 2.57 2.24 4/200 12710 /proc/meminfo: memFree=30288120/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=975464 CPUtime=462.3 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 230895 0 0 0 45174 1056 0 0 25 0 1 0 132140315 998875136 227380 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 243866 227380 398 719 0 243145 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 975464 [startup+522.3 s] /proc/loadavg: 2.91 2.63 2.28 4/200 12711 /proc/meminfo: memFree=30259500/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=998076 CPUtime=522.3 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 236583 0 0 0 51091 1139 0 0 25 0 1 0 132140315 1022029824 233068 4089446400 4194304 7136930 140734100406304 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 249519 233068 398 719 0 248798 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 998076 [startup+582.301 s] /proc/loadavg: 2.84 2.66 2.31 4/200 12713 /proc/meminfo: memFree=30153144/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=1111316 CPUtime=582.3 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 261810 0 0 0 56919 1311 0 0 25 0 1 0 132140315 1137987584 258295 4089446400 4194304 7136930 140734100406304 18446744073709551615 4210595 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 277829 258295 398 719 0 277108 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1111316 [startup+642.301 s] /proc/loadavg: 2.70 2.66 2.33 4/200 12714 /proc/meminfo: memFree=30074316/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=1184668 CPUtime=642.31 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 280110 0 0 0 62795 1436 0 0 25 0 1 0 132140315 1213100032 276595 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12604/statm: 296167 276595 398 719 0 295446 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1184668 [startup+702.3 s] ################ # More data... # ################ /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 432418 0 0 0 96728 3504 0 0 25 0 1 0 132140315 1873412096 428903 4089446400 4194304 7136930 140734100406304 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 457376 428903 398 719 0 456655 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1829504 [startup+1062.3 s] /proc/loadavg: 2.00 2.18 2.22 3/179 12754 /proc/meminfo: memFree=29617516/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=1928536 CPUtime=1062.31 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 457369 0 0 0 102384 3847 0 0 25 0 1 0 132140315 1974820864 453854 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 482134 453854 398 719 0 481413 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1928536 [startup+1122.3 s] /proc/loadavg: 2.00 2.15 2.20 3/179 12755 /proc/meminfo: memFree=29507708/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2053700 CPUtime=1122.32 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 483791 0 0 0 108064 4168 0 0 25 0 1 0 132140315 2102988800 480276 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 513425 480276 398 719 0 512704 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 2053700 [startup+1182.3 s] /proc/loadavg: 2.00 2.12 2.19 3/179 12757 /proc/meminfo: memFree=29425420/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2136876 CPUtime=1182.32 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 504748 0 0 0 113732 4500 0 0 25 0 1 0 132140315 2188161024 501233 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 534219 501233 398 719 0 533498 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 2136876 [startup+1242.3 s] /proc/loadavg: 2.00 2.09 2.17 3/179 12758 /proc/meminfo: memFree=29336032/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2224224 CPUtime=1242.32 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 526834 0 0 0 119392 4840 0 0 25 0 1 0 132140315 2277605376 523319 4089446400 4194304 7136930 140734100406304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 556056 523319 398 719 0 555335 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2224224 [startup+1302.3 s] /proc/loadavg: 2.00 2.07 2.16 3/179 12760 /proc/meminfo: memFree=29268996/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2287420 CPUtime=1302.32 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 543215 0 0 0 125078 5154 0 0 25 0 1 0 132140315 2342318080 539700 4089446400 4194304 7136930 140734100406304 18446744073709551615 4925951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 571855 539700 398 719 0 571134 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2287420 [startup+1362.3 s] /proc/loadavg: 2.00 2.06 2.15 3/179 12762 /proc/meminfo: memFree=29176776/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2379012 CPUtime=1362.32 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 566381 0 0 0 130720 5512 0 0 25 0 1 0 132140315 2436108288 562866 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 594753 562866 398 719 0 594032 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2379012 [startup+1422.31 s] /proc/loadavg: 2.00 2.05 2.14 3/179 12763 /proc/meminfo: memFree=29140508/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2413064 CPUtime=1422.33 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 575225 0 0 0 136428 5805 0 0 25 0 1 0 132140315 2470977536 571710 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 603266 571710 398 719 0 602545 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2413064 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.13 3/179 12765 /proc/meminfo: memFree=29114272/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2438812 CPUtime=1482.32 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 581725 0 0 0 142150 6082 0 0 25 0 1 0 132140315 2497343488 578210 4089446400 4194304 7136930 140734100406304 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 609703 578210 398 719 0 608982 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2438812 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.11 3/179 12766 /proc/meminfo: memFree=29068332/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2484308 CPUtime=1542.33 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 593240 0 0 0 147894 6339 0 0 25 0 1 0 132140315 2543931392 589725 4089446400 4194304 7136930 140734100406304 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 621077 589725 398 719 0 620356 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2484308 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.10 3/179 12768 /proc/meminfo: memFree=29019020/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2534196 CPUtime=1602.33 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 605766 0 0 0 153641 6592 0 0 25 0 1 0 132140315 2595016704 602251 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 633549 602251 398 719 0 632828 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2534196 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.09 3/179 12806 /proc/meminfo: memFree=28906244/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2594416 CPUtime=1662.33 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 620996 0 0 0 159360 6873 0 0 25 0 1 0 132140315 2656681984 617481 4089446400 4194304 7136930 140734100406304 18446744073709551615 4926261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 648604 617481 398 719 0 647883 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2594416 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.08 3/179 12807 /proc/meminfo: memFree=28706360/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2640912 CPUtime=1722.34 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 632822 0 0 0 165071 7163 0 0 25 0 1 0 132140315 2704293888 629307 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 660228 629307 398 719 0 659507 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2640912 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12836 /proc/meminfo: memFree=28719636/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2741088 CPUtime=1782.33 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 658249 0 0 0 170622 7611 0 0 25 0 1 0 132140315 2806874112 654734 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 685272 654734 398 719 0 684551 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2741088 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.08 3/179 12837 /proc/meminfo: memFree=28638012/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2775332 CPUtime=1800.04 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 666880 0 0 0 172258 7746 0 0 25 0 1 0 132140315 2841939968 663365 4089446400 4194304 7136930 140734100406304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12604/statm: 693833 663365 398 719 0 693112 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2775332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12604 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.08 3/180 12838 /proc/meminfo: memFree=28636268/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2775332 CPUtime=1801.43 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 666895 0 0 0 172397 7746 0 0 25 0 1 0 132140315 2841939968 663380 4089446400 4194304 7136930 140734100406304 18446744073709551615 4212575 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12604/statm: 693833 663380 403 719 0 693112 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 2775332 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.08 3/180 12838 /proc/meminfo: memFree=28633548/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2775332 CPUtime=1801.84 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 666895 0 0 0 172438 7746 0 0 25 0 1 0 132140315 2841939968 663380 4089446400 4194304 7136930 140734100406304 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12604/statm: 693833 663380 403 719 0 693112 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2775332 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.08 3/180 12838 /proc/meminfo: memFree=28633548/32950904 swapFree=67111528/67111528 [pid=12604] ppid=12602 vsize=2775332 CPUtime=1802.03 /proc/12604/stat : 12604 (pbscip.linux.x8) R 12602 12604 11938 0 -1 4202496 666895 0 0 0 172457 7746 0 0 25 0 1 0 132140315 2841939968 663380 4089446400 4194304 7136930 140734100406304 18446744073709551615 5003642 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12604/statm: 693833 663380 403 719 0 693112 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 2775332 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.1 CPU time (s): 1802.14 CPU user time (s): 1724.58 CPU system time (s): 77.5602 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2775332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.58 system time used= 77.5602 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 666895 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= 1415 runsolver used 3.2765 second user time and 5.68214 second system time The end
Begin job on node121 at 2010-06-30 16:33:56 IDJOB=2694159 IDBENCH=78958 IDSOLVER=1206 FILE ID=node121/2694159-1277908436 PBS_JOBID= 11197220 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694159-1277908436/watcher-2694159-1277908436 -o /tmp/evaluation-result-2694159-1277908436/solver-2694159-1277908436 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694159-1277908436.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cbb94832f8cf89251c53c05bd4717107 RANDOM SEED=156252837 node121.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.876 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.75 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.23 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.876 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.75 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.876 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.82 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.876 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.876 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: 32950904 kB MemFree: 31186600 kB Buffers: 191456 kB Cached: 1100792 kB SwapCached: 0 kB Active: 831684 kB Inactive: 787516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31186600 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 327560 kB Mapped: 15276 kB Slab: 80452 kB PageTables: 5092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 472696 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node121 at 2010-06-30 17:03:58