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.09 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553812--soft-33-100-0.wbo |
| MD5SUM | b8c059b75f42fac4cec7408dc4fcfe67 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 262.865 |
| 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 | 1802 |
| 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 | 91108 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91107 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2694059-1277903178.wbo>
0.02/0.03 c original problem has 3835 variables (2033 bin, 0 int, 0 impl, 1802 cont) and 4510 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.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.02/0.09 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.10 c (round 3) 53 del vars, 138 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 1950 impls, 9 clqs
0.09/0.12 c (round 4) 114 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.13 c (round 5) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 1950 impls, 9 clqs
0.09/0.18 c (0.1s) probing: 101/1972 (5.1%) - 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 122 deleted vars, 146 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.18 c 1950 implications, 9 cliques
0.09/0.18 c presolved problem has 3713 variables (1972 bin, 0 int, 0 impl, 1741 cont) and 4364 constraints
0.09/0.18 c 1741 constraints of type <indicator>
0.09/0.18 c 9 constraints of type <setppc>
0.09/0.18 c 1741 constraints of type <linear>
0.09/0.18 c 873 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.13
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.97
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.19 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.19 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3713 |4364 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.42 o 478
1.39/1.42 c * 1.3s| 4731 | 4159 | 0 | 0.0 | 15M|1912 | - |3713 |4867 | 0 | 0 | 0 | 669 | 0 | 0.000000e+00 | 4.780000e+02 | Inf
2.38/2.40 o 323
2.38/2.40 c * 2.3s| 7782 | 5672 | 0 | 0.0 | 16M|1912 | - |3713 |4786 | 0 | 0 | 0 | 704 | 0 | 0.000000e+00 | 3.230000e+02 | Inf
2.99/3.01 c 2.9s| 10000 | 7630 | 0 | 0.0 | 18M|1912 | - |3713 |5379 | 0 | 0 | 0 |1854 | 0 | 0.000000e+00 | 3.230000e+02 | Inf
6.09/6.12 c 5.9s| 20000 | 15942 | 0 | 0.0 | 27M|1912 | - |3713 |6355 | 0 | 0 | 0 |8408 | 0 | 0.000000e+00 | 3.230000e+02 | Inf
8.98/9.08 o 302
8.98/9.08 c * 8.8s| 26989 | 20071 | 0 | 0.0 | 34M|1912 | - |3713 |8413 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.020000e+02 | Inf
8.98/9.08 o 283
8.98/9.08 c * 8.8s| 26990 | 20060 | 0 | 0.0 | 34M|1912 | - |3713 |8413 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.830000e+02 | Inf
9.29/9.32 o 262
9.29/9.32 c * 9.0s| 27607 | 20438 | 0 | 0.0 | 35M|1912 | - |3713 |8319 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.620000e+02 | Inf
9.29/9.32 o 243
9.29/9.32 c * 9.0s| 27608 | 20347 | 0 | 0.0 | 35M|1912 | - |3713 |8319 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.430000e+02 | Inf
9.29/9.39 o 239
9.29/9.39 c * 9.1s| 27747 | 20310 | 0 | 0.0 | 35M|1912 | - |3713 |8257 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.390000e+02 | Inf
9.39/9.40 o 224
9.39/9.40 c * 9.1s| 27751 | 20300 | 0 | 0.0 | 35M|1912 | - |3713 |8257 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
9.69/9.79 o 210
9.69/9.79 c * 9.5s| 28560 | 20875 | 0 | 0.0 | 35M|1912 | - |3713 |7570 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
9.79/9.88 o 206
9.79/9.88 c * 9.6s| 28743 | 21036 | 0 | 0.0 | 35M|1912 | - |3713 |7451 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.060000e+02 | Inf
9.89/9.94 o 187
9.89/9.94 c * 9.6s| 28868 | 20937 | 0 | 0.0 | 35M|1912 | - |3713 |7386 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.870000e+02 | Inf
9.89/9.94 o 176
9.89/9.94 c * 9.6s| 28869 | 20814 | 0 | 0.0 | 35M|1912 | - |3713 |7386 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
10.48/10.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.48/10.55 c 10.2s| 30000 | 21874 | 0 | 0.0 | 36M|1912 | - |3713 |6732 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
10.99/11.02 o 169
10.99/11.02 c *10.7s| 30940 | 22693 | 0 | 0.0 | 37M|1912 | - |3713 |6619 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.690000e+02 | Inf
10.99/11.08 o 155
10.99/11.08 c *10.8s| 31089 | 22774 | 0 | 0.0 | 37M|1912 | - |3713 |6602 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
11.99/12.09 o 128
11.99/12.09 c *11.7s| 33044 | 24390 | 0 | 0.0 | 38M|1912 | - |3713 |6424 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.280000e+02 | Inf
12.89/12.90 o 119
12.89/12.90 c *12.5s| 34670 | 25640 | 0 | 0.0 | 40M|1912 | - |3713 |6228 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
13.09/13.13 o 96
13.09/13.13 c *12.8s| 35165 | 25564 | 0 | 0.0 | 40M|1912 | - |3713 |6132 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
13.09/13.13 o 78
13.09/13.13 c *12.8s| 35166 | 24472 | 0 | 0.0 | 38M|1912 | - |3713 |6132 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
13.99/14.04 o 68
13.99/14.04 c *13.6s| 36759 | 25295 | 0 | 0.0 | 40M|1912 | - |3713 |5629 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
14.69/14.78 o 67
14.69/14.78 c *14.4s| 38079 | 26449 | 0 | 0.0 | 41M|1912 | - |3713 |5443 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 6.700000e+01 | Inf
14.69/14.78 o 51
14.69/14.78 c *14.4s| 38080 | 25750 | 0 | 0.0 | 40M|1912 | - |3713 |5443 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
15.59/15.60 c 15.2s| 40000 | 27415 | 0 | 0.0 | 42M|1912 | - |3713 |5635 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
18.39/18.44 o 44
18.39/18.44 c *17.9s| 47058 | 32951 | 0 | 0.0 | 48M|1912 | - |3713 |5892 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
18.39/18.44 o 27
18.39/18.44 c *17.9s| 47059 | 32167 | 0 | 0.0 | 46M|1912 | - |3713 |5892 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
19.39/19.47 c 18.9s| 50000 | 34733 | 0 | 0.0 | 49M|1912 | - |3713 |6054 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
22.79/22.82 c 22.2s| 60000 | 43187 | 0 | 0.0 | 57M|1912 | - |3713 |6978 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
26.29/26.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.29/26.37 c 25.6s| 70000 | 51506 | 0 | 0.0 | 65M|1912 | - |3713 |6443 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
30.09/30.12 c 29.3s| 80000 | 59541 | 0 | 0.0 | 73M|1912 | - |3713 |6827 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
33.79/33.89 c 33.0s| 90000 | 67475 | 0 | 0.0 | 82M|1912 | - |3713 |7264 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
37.89/37.96 c 36.9s|100000 | 75098 | 0 | 0.0 | 91M|1912 | - |3713 |7966 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
41.99/42.07 c 41.0s|110000 | 82708 | 0 | 0.0 | 99M|1912 | - |3713 |8289 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
46.39/46.40 c 45.2s|120000 | 90033 | 0 | 0.0 | 107M|1912 | - |3713 |8496 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
50.89/50.93 c 49.6s|130000 | 97153 | 0 | 0.0 | 116M|1912 | - |3713 |8954 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
55.49/55.56 c 54.1s|140000 |104152 | 0 | 0.0 | 124M|1912 | - |3713 |9471 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
60.59/60.64 c 59.1s|150000 |110789 | 0 | 0.0 | 132M|1912 | - |3713 |9531 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
66.29/66.32 c 64.7s|160000 |116805 | 0 | 0.0 | 141M|1912 | - |3713 |9916 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
72.29/72.35 c 70.6s|170000 |122534 | 0 | 0.0 | 150M|1912 | - |3713 | 10k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
79.20/79.28 c 77.4s|180000 |127460 | 0 | 0.0 | 159M|1912 | - |3713 | 11k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
88.20/88.21 c 86.2s|190000 |130688 | 0 | 0.0 | 168M|1912 | - |3713 | 13k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
94.39/94.48 c 92.3s|200000 |137342 | 0 | 0.0 | 174M|1912 | - |3713 |5285 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
98.29/98.39 o 21
98.29/98.39 c *96.2s|209000 |143899 | 0 | 0.0 | 180M|1912 | - |3713 |5721 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
98.79/98.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.79/98.88 c 96.6s|210000 |144732 | 0 | 0.0 | 181M|1912 | - |3713 |5765 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
103.50/103.59 c 101s|220000 |152857 | 0 | 0.0 | 190M|1912 | - |3713 |6743 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
109.49/109.59 c 107s|230000 |159930 | 0 | 0.0 | 203M|1912 | - |3713 |8615 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
114.80/114.84 c 112s|240000 |167520 | 0 | 0.0 | 213M|1912 | - |3713 |7219 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
115.40/115.41 o 20
115.40/115.41 c * 113s|241273 |168164 | 0 | 0.0 | 211M|1912 | - |3713 |7377 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
120.19/120.22 c 118s|250000 |174390 | 0 | 0.0 | 220M|1912 | - |3713 |9700 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
124.39/124.46 c 122s|260000 |182743 | 0 | 0.0 | 229M|1912 | - |3713 |6637 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
125.60/125.61 o 16
125.60/125.61 c * 123s|262919 |184471 | 0 | 0.0 | 229M|1912 | - |3713 |6588 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
128.70/128.73 c 126s|270000 |189984 | 0 | 0.0 | 236M|1912 | - |3713 |7047 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
133.80/133.85 c 131s|280000 |196754 | 0 | 0.0 | 245M|1912 | - |3713 |8686 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
137.69/137.72 c 135s|290000 |205046 | 0 | 0.0 | 253M|1912 | - |3713 |7349 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
141.99/142.07 c 139s|300000 |212626 | 0 | 0.0 | 261M|1912 | - |3713 |7130 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
146.30/146.39 c 143s|310000 |220149 | 0 | 0.0 | 270M|1912 | - |3713 |8484 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
150.30/150.38 c 147s|320000 |228223 | 0 | 0.0 | 279M|1912 | - |3713 |7826 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
154.70/154.71 c 151s|330000 |235862 | 0 | 0.0 | 287M|1912 | - |3713 |7370 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
158.99/159.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.99/159.06 c 155s|340000 |243363 | 0 | 0.0 | 295M|1912 | - |3713 |8104 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
162.90/162.95 c 159s|350000 |251408 | 0 | 0.0 | 304M|1912 | - |3713 |8562 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
167.10/167.13 c 163s|360000 |259169 | 0 | 0.0 | 312M|1912 | - |3713 |8162 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
171.50/171.50 c 168s|370000 |266651 | 0 | 0.0 | 320M|1912 | - |3713 |8135 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
174.80/174.85 o 15
174.80/174.85 c * 171s|377821 |272428 | 0 | 0.0 | 327M|1912 | - |3713 |9610 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
176.09/176.11 c 172s|380000 |273708 | 0 | 0.0 | 329M|1912 | - |3713 | 10k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
180.09/180.12 c 176s|390000 |281732 | 0 | 0.0 | 337M|1912 | - |3713 |9231 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
184.39/184.40 c 180s|400000 |289337 | 0 | 0.0 | 345M|1912 | - |3713 |9021 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
188.90/188.90 c 184s|410000 |296727 | 0 | 0.0 | 353M|1912 | - |3713 |8606 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
193.30/193.35 c 189s|420000 |304133 | 0 | 0.0 | 361M|1912 | - |3713 |8589 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
197.10/197.16 c 192s|430000 |312361 | 0 | 0.0 | 370M|1912 | - |3713 |8864 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
201.39/201.45 c 197s|440000 |319887 | 0 | 0.0 | 378M|1912 | - |3713 | 10k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
206.81/206.81 c 202s|450000 |326085 | 0 | 0.0 | 385M|1912 | - |3713 |9573 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
210.40/210.44 c 205s|460000 |334420 | 0 | 0.0 | 393M|1912 | - |3713 |9064 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
214.60/214.63 c 210s|470000 |341882 | 0 | 0.0 | 401M|1912 | - |3713 | 10k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
220.19/220.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.19/220.21 c 215s|480000 |348129 | 0 | 0.0 | 409M|1912 | - |3713 |9708 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
223.89/223.93 c 219s|490000 |356224 | 0 | 0.0 | 416M|1912 | - |3713 |9360 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
227.99/228.09 c 223s|500000 |363812 | 0 | 0.0 | 424M|1912 | - |3713 |9914 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
233.21/233.22 c 228s|510000 |370383 | 0 | 0.0 | 433M|1912 | - |3713 | 11k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
238.19/238.29 c 233s|520000 |377289 | 0 | 0.0 | 440M|1912 | - |3713 |9525 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
242.49/242.51 c 237s|530000 |385037 | 0 | 0.0 | 448M|1912 | - |3713 | 10k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
248.40/248.44 c 243s|540000 |391315 | 0 | 0.0 | 455M|1912 | - |3713 |7147 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
251.90/251.99 c 246s|550000 |399780 | 0 | 0.0 | 463M|1912 | - |3713 |5559 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
255.30/255.37 c 249s|560000 |408184 | 0 | 0.0 | 470M|1912 | - |3713 |5244 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
259.40/259.40 c 253s|570000 |415731 | 0 | 0.0 | 479M|1912 | - |3713 |6444 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
263.59/263.66 c 257s|580000 |423109 | 0 | 0.0 | 487M|1912 | - |3713 |7046 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
267.90/267.98 c 262s|590000 |430461 | 0 | 0.0 | 495M|1912 | - |3713 |7828 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
272.60/272.67 c 266s|600000 |437519 | 0 | 0.0 | 504M|1912 | - |3713 |8087 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
277.50/277.53 c 271s|610000 |444365 | 0 | 0.0 | 512M|1912 | - |3713 |8566 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
282.20/282.28 c 276s|620000 |451167 | 0 | 0.0 | 521M|1912 | - |3713 |8861 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
286.90/286.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.90/286.95 c 280s|630000 |458016 | 0 | 0.0 | 530M|1912 | - |3713 |9083 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
291.90/291.93 c 285s|640000 |464637 | 0 | 0.0 | 538M|1912 | - |3713 |9775 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
296.91/296.92 c 289s|650000 |471187 | 0 | 0.0 | 547M|1912 | - |3713 | 10k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
301.90/301.90 c 294s|660000 |477828 | 0 | 0.0 | 555M|1912 | - |3713 | 10k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
306.59/306.61 c 298s|670000 |484651 | 0 | 0.0 | 564M|1912 | - |3713 | 10k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
311.60/311.64 c 303s|680000 |491228 | 0 | 0.0 | 572M|1912 | - |3713 | 10k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
316.81/316.84 c 308s|690000 |497726 | 0 | 0.0 | 580M|1912 | - |3713 | 10k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
322.10/322.11 c 313s|700000 |504085 | 0 | 0.0 | 589M|1912 | - |3713 | 11k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
327.20/327.27 c 318s|710000 |510686 | 0 | 0.0 | 597M|1912 | - |3713 | 10k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
332.99/333.03 c 323s|720000 |516617 | 0 | 0.0 | 605M|1912 | - |3713 | 11k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
338.50/338.50 c 328s|730000 |522964 | 0 | 0.0 | 613M|1912 | - |3713 | 10k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
344.50/344.51 c 334s|740000 |528803 | 0 | 0.0 | 622M|1912 | - |3713 | 11k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
350.10/350.13 c 339s|750000 |535156 | 0 | 0.0 | 630M|1912 | - |3713 | 11k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
356.20/356.30 c 345s|760000 |540837 | 0 | 0.0 | 639M|1912 | - |3713 | 12k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
362.20/362.25 c 351s|770000 |546956 | 0 | 0.0 | 647M|1912 | - |3713 | 11k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
369.00/369.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.00/369.02 c 357s|780000 |552319 | 0 | 0.0 | 656M|1912 | - |3713 | 13k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
375.30/375.39 c 363s|790000 |558258 | 0 | 0.0 | 664M|1912 | - |3713 | 12k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
382.00/382.07 c 369s|800000 |563620 | 0 | 0.0 | 673M|1912 | - |3713 | 13k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
388.00/388.08 c 375s|810000 |569766 | 0 | 0.0 | 681M|1912 | - |3713 | 13k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
395.00/395.03 c 382s|820000 |574958 | 0 | 0.0 | 689M|1912 | - |3713 | 14k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
401.41/401.46 c 388s|830000 |580813 | 0 | 0.0 | 697M|1912 | - |3713 | 13k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
408.80/408.81 c 395s|840000 |585694 | 0 | 0.0 | 705M|1912 | - |3713 | 14k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
415.30/415.40 c 401s|850000 |591468 | 0 | 0.0 | 714M|1912 | - |3713 | 13k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
422.80/422.80 c 408s|860000 |596401 | 0 | 0.0 | 721M|1912 | - |3713 | 14k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
429.70/429.74 c 415s|870000 |601891 | 0 | 0.0 | 730M|1912 | - |3713 | 14k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
437.41/437.45 c 422s|880000 |606592 | 0 | 0.0 | 738M|1912 | - |3713 | 14k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
444.20/444.27 c 428s|890000 |612201 | 0 | 0.0 | 746M|1912 | - |3713 | 14k| 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
452.30/452.39 c 436s|900000 |616578 | 0 | 0.0 | 754M|1912 | - |3713 | 15k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
459.81/459.82 c 443s|910000 |621684 | 0 | 0.0 | 761M|1912 | - |3713 | 14k| 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
467.90/467.96 c 451s|920000 |626126 | 0 | 0.0 | 769M|1912 | - |3713 | 14k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
475.80/475.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.80/475.87 c 459s|930000 |630835 | 0 | 0.0 | 776M|1912 | - |3713 | 13k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
484.31/484.37 c 467s|940000 |634928 | 0 | 0.0 | 784M|1912 | - |3713 | 14k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
493.30/493.31 c 475s|950000 |638783 | 0 | 0.0 | 792M|1912 | - |3713 | 15k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
502.11/502.14 c 484s|960000 |642817 | 0 | 0.0 | 799M|1912 | - |3713 | 14k| 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
511.61/511.67 c 493s|970000 |646270 | 0 | 0.0 | 807M|1912 | - |3713 | 15k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
521.61/521.60 c 503s|980000 |649591 | 0 | 0.0 | 814M|1912 | - |3713 | 15k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
531.70/531.76 c 512s|990000 |652668 | 0 | 0.0 | 822M|1912 | - |3713 | 16k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
542.00/542.03 c 522s| 1000k|655700 | 0 | 0.0 | 829M|1912 | - |3713 | 16k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
552.80/552.89 c 533s| 1010k|658468 | 0 | 0.0 | 836M|1912 | - |3713 | 16k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
564.11/564.20 c 544s| 1020k|660883 | 0 | 0.0 | 844M|1912 | - |3713 | 17k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
576.01/576.02 c 555s| 1030k|663174 | 0 | 0.0 | 851M|1912 | - |3713 | 18k| 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
589.52/589.54 c 568s| 1040k|664333 | 0 | 0.0 | 857M|1912 | - |3713 | 19k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
603.40/603.43 c 581s| 1050k|665537 | 0 | 0.0 | 862M|1912 | - |3713 | 20k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
618.31/618.37 c 596s| 1060k|666158 | 0 | 0.0 | 868M|1912 | - |3713 | 21k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
636.11/636.18 c 613s| 1070k|665166 | 0 | 0.0 | 871M|1912 | - |3713 | 23k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
649.90/649.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.90/649.95 c 627s| 1080k|667529 | 0 | 0.0 | 868M|1912 | - |3713 |5292 | 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
653.61/653.69 c 630s| 1090k|675767 | 0 | 0.0 | 877M|1912 | - |3713 |4950 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
657.51/657.51 c 633s| 1100k|683888 | 0 | 0.0 | 885M|1912 | - |3713 |5340 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
661.31/661.36 c 637s| 1110k|691955 | 0 | 0.0 | 894M|1912 | - |3713 |5484 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
665.21/665.27 c 641s| 1120k|699908 | 0 | 0.0 | 902M|1912 | - |3713 |5769 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
669.21/669.25 c 644s| 1130k|707783 | 0 | 0.0 | 910M|1912 | - |3713 |6121 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
673.31/673.38 c 648s| 1140k|715462 | 0 | 0.0 | 919M|1912 | - |3713 |6161 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
677.41/677.47 c 652s| 1150k|723176 | 0 | 0.0 | 927M|1912 | - |3713 |6378 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
681.61/681.67 c 656s| 1160k|730773 | 0 | 0.0 | 935M|1912 | - |3713 |6434 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
685.91/685.99 c 659s| 1170k|738227 | 0 | 0.0 | 944M|1912 | - |3713 |6617 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
690.41/690.42 c 664s| 1180k|745619 | 0 | 0.0 | 952M|1912 | - |3713 |6899 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
695.01/695.04 c 668s| 1190k|752897 | 0 | 0.0 | 961M|1912 | - |3713 |7577 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
699.71/699.73 c 672s| 1200k|760111 | 0 | 0.0 | 970M|1912 | - |3713 |7944 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
704.51/704.50 c 677s| 1210k|767200 | 0 | 0.0 | 978M|1912 | - |3713 |8234 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
709.42/709.44 c 681s| 1220k|774163 | 0 | 0.0 | 987M|1912 | - |3713 |8529 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
714.71/714.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.71/714.76 c 686s| 1230k|780888 | 0 | 0.0 | 996M|1912 | - |3713 |8994 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
720.31/720.31 c 691s| 1240k|787395 | 0 | 0.0 |1006M|1912 | - |3713 |9396 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
726.11/726.13 c 697s| 1250k|793759 | 0 | 0.0 |1015M|1912 | - |3713 | 10k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
731.81/731.80 c 702s| 1260k|800312 | 0 | 0.0 |1024M|1912 | - |3713 | 10k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
737.71/737.72 c 707s| 1270k|806689 | 0 | 0.0 |1033M|1912 | - |3713 | 10k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
743.81/743.80 c 713s| 1280k|813011 | 0 | 0.0 |1043M|1912 | - |3713 | 10k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
750.32/750.39 c 719s| 1290k|818786 | 0 | 0.0 |1052M|1912 | - |3713 | 11k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
757.11/757.16 c 726s| 1300k|824622 | 0 | 0.0 |1062M|1912 | - |3713 | 11k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
764.52/764.58 c 733s| 1310k|829919 | 0 | 0.0 |1072M|1912 | - |3713 | 12k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
772.72/772.78 c 740s| 1320k|834652 | 0 | 0.0 |1082M|1912 | - |3713 | 13k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
782.02/782.02 c 749s| 1330k|838849 | 0 | 0.0 |1092M|1912 | - |3713 | 14k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
792.11/792.15 c 759s| 1340k|842596 | 0 | 0.0 |1102M|1912 | - |3713 | 15k| 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
799.31/799.36 o 14
799.31/799.36 c * 766s| 1346k|843204 | 0 | 0.0 |1102M|1912 | - |3713 | 17k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
803.91/803.92 c 770s| 1350k|844336 | 0 | 0.0 |1103M|1912 | - |3713 | 14k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
807.91/807.96 c 774s| 1360k|852582 | 0 | 0.0 |1110M|1912 | - |3713 |7198 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
812.01/812.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.01/812.05 c 777s| 1370k|860535 | 0 | 0.0 |1119M|1912 | - |3713 |7819 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
816.22/816.29 c 781s| 1380k|868298 | 0 | 0.0 |1128M|1912 | - |3713 |8229 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
820.51/820.55 c 785s| 1390k|875866 | 0 | 0.0 |1136M|1912 | - |3713 |8716 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
825.02/825.03 c 789s| 1400k|883181 | 0 | 0.0 |1145M|1912 | - |3713 |9233 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
829.92/829.91 c 794s| 1410k|890160 | 0 | 0.0 |1153M|1912 | - |3713 | 10k| 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
835.02/835.09 c 799s| 1420k|896982 | 0 | 0.0 |1162M|1912 | - |3713 | 10k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
840.71/840.77 c 804s| 1430k|903425 | 0 | 0.0 |1171M|1912 | - |3713 | 11k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
846.81/846.81 c 810s| 1440k|909571 | 0 | 0.0 |1180M|1912 | - |3713 | 12k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
853.42/853.49 c 816s| 1450k|915327 | 0 | 0.0 |1190M|1912 | - |3713 | 13k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
860.62/860.66 c 823s| 1460k|920702 | 0 | 0.0 |1200M|1912 | - |3713 | 14k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
869.12/869.18 c 831s| 1470k|925026 | 0 | 0.0 |1210M|1912 | - |3713 | 16k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
873.61/873.66 o 13
873.61/873.66 c * 835s| 1473k|915942 | 0 | 0.0 |1188M|1912 | - |3713 | 18k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
876.91/876.91 c 838s| 1480k|920981 | 0 | 0.0 |1190M|1912 | - |3713 |9671 | 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
880.81/880.88 c 842s| 1490k|929105 | 0 | 0.0 |1198M|1912 | - |3713 |9820 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
885.22/885.24 c 846s| 1500k|936885 | 0 | 0.0 |1207M|1912 | - |3713 | 10k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
889.82/889.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.82/889.90 c 850s| 1510k|944443 | 0 | 0.0 |1215M|1912 | - |3713 | 11k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
894.92/894.92 c 855s| 1520k|951750 | 0 | 0.0 |1223M|1912 | - |3713 | 13k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
900.41/900.44 c 860s| 1530k|958788 | 0 | 0.0 |1232M|1912 | - |3713 | 13k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
906.22/906.23 c 865s| 1540k|965780 | 0 | 0.0 |1241M|1912 | - |3713 | 13k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
912.11/912.10 c 871s| 1550k|972634 | 0 | 0.0 |1250M|1912 | - |3713 | 13k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
917.91/917.91 c 876s| 1560k|979439 | 0 | 0.0 |1259M|1912 | - |3713 | 14k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
924.21/924.21 c 882s| 1570k|985991 | 0 | 0.0 |1267M|1912 | - |3713 | 14k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
930.71/930.79 c 888s| 1580k|992328 | 0 | 0.0 |1276M|1912 | - |3713 | 15k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
937.42/937.43 c 894s| 1590k|998779 | 0 | 0.0 |1285M|1912 | - |3713 | 15k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
944.02/944.00 c 901s| 1600k| 1005k| 0 | 0.0 |1294M|1912 | - |3713 | 15k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
950.61/950.68 c 907s| 1610k| 1011k| 0 | 0.0 |1302M|1912 | - |3713 | 16k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
957.52/957.55 c 913s| 1620k| 1017k| 0 | 0.0 |1310M|1912 | - |3713 | 16k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
964.32/964.35 c 920s| 1630k| 1024k| 0 | 0.0 |1319M|1912 | - |3713 | 17k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
971.62/971.68 c 927s| 1640k| 1030k| 0 | 0.0 |1328M|1912 | - |3713 | 18k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
979.52/979.56 c 934s| 1650k| 1036k| 0 | 0.0 |1338M|1912 | - |3713 | 20k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
988.52/988.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.52/988.52 c 943s| 1660k| 1041k| 0 | 0.0 |1347M|1912 | - |3713 | 23k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1001.82/1001.88 c 956s| 1670k| 1043k| 0 | 0.0 |1356M|1912 | - |3713 | 27k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1007.52/1007.54 c 961s| 1680k| 1052k| 0 | 0.0 |1362M|1912 | - |3713 | 15k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1012.32/1012.38 c 965s| 1690k| 1059k| 0 | 0.0 |1371M|1912 | - |3713 | 14k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1017.32/1017.35 c 970s| 1700k| 1067k| 0 | 0.0 |1380M|1912 | - |3713 | 15k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1022.82/1022.84 c 975s| 1710k| 1074k| 0 | 0.0 |1390M|1912 | - |3713 | 16k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1028.82/1028.89 c 981s| 1720k| 1081k| 0 | 0.0 |1401M|1912 | - |3713 | 17k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1035.52/1035.55 c 987s| 1730k| 1088k| 0 | 0.0 |1412M|1912 | - |3713 | 19k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1042.42/1042.49 c 994s| 1740k| 1095k| 0 | 0.0 |1423M|1912 | - |3713 | 20k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1050.62/1050.63 c 1001s| 1750k| 1100k| 0 | 0.0 |1434M|1912 | - |3713 | 22k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1060.62/1060.63 c 1011s| 1760k| 1105k| 0 | 0.0 |1446M|1912 | - |3713 | 23k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1071.62/1071.65 c 1021s| 1770k| 1110k| 0 | 0.0 |1454M|1912 | - |3713 | 19k| 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1076.42/1076.49 c 1026s| 1780k| 1118k| 0 | 0.0 |1462M|1912 | - |3713 | 16k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1081.32/1081.36 c 1030s| 1790k| 1126k| 0 | 0.0 |1472M|1912 | - |3713 | 17k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1086.73/1086.77 c 1035s| 1800k| 1133k| 0 | 0.0 |1482M|1912 | - |3713 | 18k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1092.63/1092.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.63/1092.62 c 1041s| 1810k| 1140k| 0 | 0.0 |1492M|1912 | - |3713 | 19k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1098.83/1098.84 c 1047s| 1820k| 1147k| 0 | 0.0 |1503M|1912 | - |3713 | 20k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1105.53/1105.58 c 1053s| 1830k| 1154k| 0 | 0.0 |1513M|1912 | - |3713 | 21k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1112.73/1112.78 c 1060s| 1840k| 1160k| 0 | 0.0 |1524M|1912 | - |3713 | 23k| 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1120.72/1120.77 c 1067s| 1850k| 1166k| 0 | 0.0 |1534M|1912 | - |3713 | 24k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1130.12/1130.17 c 1076s| 1860k| 1171k| 0 | 0.0 |1545M|1912 | - |3713 | 26k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
1133.32/1133.32 o 8
1133.32/1133.32 c *1079s| 1862k| 1165k| 0 | 0.0 |1520M|1912 | - |3713 | 27k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1142.72/1142.72 c 1088s| 1870k| 1167k| 0 | 0.0 |1529M|1912 | - |3713 | 26k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1149.83/1149.82 c 1095s| 1880k| 1175k| 0 | 0.0 |1537M|1912 | - |3713 | 18k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1155.23/1155.23 c 1100s| 1890k| 1182k| 0 | 0.0 |1546M|1912 | - |3713 | 18k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1160.53/1160.56 c 1105s| 1900k| 1190k| 0 | 0.0 |1554M|1912 | - |3713 | 19k| 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1166.33/1166.32 c 1111s| 1910k| 1197k| 0 | 0.0 |1564M|1912 | - |3713 | 21k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1172.63/1172.61 c 1116s| 1920k| 1204k| 0 | 0.0 |1573M|1912 | - |3713 | 22k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1179.33/1179.33 c 1123s| 1930k| 1210k| 0 | 0.0 |1582M|1912 | - |3713 | 24k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1187.32/1187.39 c 1130s| 1940k| 1216k| 0 | 0.0 |1592M|1912 | - |3713 | 26k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1196.73/1196.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.73/1196.79 c 1139s| 1950k| 1221k| 0 | 0.0 |1601M|1912 | - |3713 | 28k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1208.03/1208.09 c 1150s| 1960k| 1225k| 0 | 0.0 |1611M|1912 | - |3713 | 31k| 0 | 0 | 0 |1543k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1218.32/1218.36 c 1160s| 1970k| 1231k| 0 | 0.0 |1617M|1912 | - |3713 | 21k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1223.83/1223.80 c 1165s| 1980k| 1239k| 0 | 0.0 |1628M|1912 | - |3713 | 21k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1229.63/1229.61 c 1171s| 1990k| 1247k| 0 | 0.0 |1639M|1912 | - |3713 | 21k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1235.63/1235.63 c 1176s| 2000k| 1254k| 0 | 0.0 |1651M|1912 | - |3713 | 22k| 0 | 0 | 0 |1565k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1242.33/1242.40 c 1183s| 2010k| 1261k| 0 | 0.0 |1662M|1912 | - |3713 | 23k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1249.93/1249.93 c 1190s| 2020k| 1268k| 0 | 0.0 |1674M|1912 | - |3713 | 25k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1258.33/1258.36 c 1198s| 2030k| 1274k| 0 | 0.0 |1687M|1912 | - |3713 | 27k| 0 | 0 | 0 |1586k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1268.33/1268.35 c 1207s| 2040k| 1279k| 0 | 0.0 |1701M|1912 | - |3713 | 28k| 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1280.63/1280.68 c 1219s| 2050k| 1283k| 0 | 0.0 |1714M|1912 | - |3713 | 30k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1289.93/1289.99 c 1228s| 2060k| 1289k| 0 | 0.0 |1722M|1912 | - |3713 | 21k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1295.53/1295.52 c 1233s| 2070k| 1297k| 0 | 0.0 |1732M|1912 | - |3713 | 22k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1301.53/1301.55 c 1239s| 2080k| 1305k| 0 | 0.0 |1743M|1912 | - |3713 | 23k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1308.03/1308.03 c 1245s| 2090k| 1312k| 0 | 0.0 |1754M|1912 | - |3713 | 25k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1315.13/1315.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.13/1315.16 c 1252s| 2100k| 1319k| 0 | 0.0 |1765M|1912 | - |3713 | 26k| 0 | 0 | 0 |1636k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1322.73/1322.70 c 1259s| 2110k| 1326k| 0 | 0.0 |1776M|1912 | - |3713 | 27k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1331.53/1331.54 c 1267s| 2120k| 1332k| 0 | 0.0 |1788M|1912 | - |3713 | 28k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1341.73/1341.71 c 1277s| 2130k| 1337k| 0 | 0.0 |1800M|1912 | - |3713 | 29k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1354.34/1354.34 c 1289s| 2140k| 1340k| 0 | 0.0 |1811M|1912 | - |3713 | 32k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1363.13/1363.17 c 1298s| 2150k| 1347k| 0 | 0.0 |1818M|1912 | - |3713 | 24k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1368.63/1368.60 c 1303s| 2160k| 1355k| 0 | 0.0 |1826M|1912 | - |3713 | 25k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1374.73/1374.71 c 1309s| 2170k| 1362k| 0 | 0.0 |1835M|1912 | - |3713 | 27k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1381.43/1381.47 c 1315s| 2180k| 1369k| 0 | 0.0 |1843M|1912 | - |3713 | 29k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1389.34/1389.38 c 1322s| 2190k| 1376k| 0 | 0.0 |1852M|1912 | - |3713 | 30k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1398.03/1398.03 c 1331s| 2200k| 1382k| 0 | 0.0 |1861M|1912 | - |3713 | 32k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1407.94/1407.91 c 1340s| 2210k| 1388k| 0 | 0.0 |1869M|1912 | - |3713 | 33k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1419.63/1419.65 c 1351s| 2220k| 1392k| 0 | 0.0 |1878M|1912 | - |3713 | 36k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1431.64/1431.69 c 1363s| 2230k| 1397k| 0 | 0.0 |1884M|1912 | - |3713 | 29k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1438.03/1438.03 c 1369s| 2240k| 1405k| 0 | 0.0 |1893M|1912 | - |3713 | 28k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1444.63/1444.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.63/1444.68 c 1375s| 2250k| 1413k| 0 | 0.0 |1903M|1912 | - |3713 | 28k| 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1452.14/1452.19 c 1383s| 2260k| 1420k| 0 | 0.0 |1914M|1912 | - |3713 | 30k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1460.84/1460.81 c 1391s| 2270k| 1426k| 0 | 0.0 |1925M|1912 | - |3713 | 32k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1469.93/1469.99 c 1399s| 2280k| 1432k| 0 | 0.0 |1936M|1912 | - |3713 | 34k| 0 | 0 | 0 |1775k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1480.73/1480.77 c 1410s| 2290k| 1438k| 0 | 0.0 |1947M|1912 | - |3713 | 35k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1494.53/1494.54 c 1423s| 2300k| 1441k| 0 | 0.0 |1958M|1912 | - |3713 | 38k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1506.34/1506.32 c 1434s| 2310k| 1447k| 0 | 0.0 |1964M|1912 | - |3713 | 30k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1512.74/1512.78 c 1441s| 2320k| 1455k| 0 | 0.0 |1973M|1912 | - |3713 | 30k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1520.04/1520.00 c 1447s| 2330k| 1462k| 0 | 0.0 |1982M|1912 | - |3713 | 31k| 0 | 0 | 0 |1815k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1528.04/1528.07 c 1455s| 2340k| 1469k| 0 | 0.0 |1992M|1912 | - |3713 | 33k| 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1536.94/1536.99 c 1464s| 2350k| 1476k| 0 | 0.0 |2003M|1912 | - |3713 | 35k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1547.23/1547.21 c 1473s| 2360k| 1481k| 0 | 0.0 |2013M|1912 | - |3713 | 37k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1558.93/1558.96 c 1485s| 2370k| 1487k| 0 | 0.0 |2020M|1912 | - |3713 | 31k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1568.54/1568.56 c 1494s| 2380k| 1492k| 0 | 0.0 |2027M|1912 | - |3713 | 28k| 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1576.54/1576.53 c 1501s| 2390k| 1498k| 0 | 0.0 |2034M|1912 | - |3713 | 28k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1583.73/1583.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.73/1583.80 c 1508s| 2400k| 1505k| 0 | 0.0 |2042M|1912 | - |3713 | 28k| 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1591.34/1591.31 c 1515s| 2410k| 1511k| 0 | 0.0 |2050M|1912 | - |3713 | 29k| 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1599.24/1599.26 c 1523s| 2420k| 1518k| 0 | 0.0 |2058M|1912 | - |3713 | 30k| 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1607.94/1607.98 c 1531s| 2430k| 1523k| 0 | 0.0 |2066M|1912 | - |3713 | 31k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1617.53/1617.58 c 1540s| 2440k| 1529k| 0 | 0.0 |2073M|1912 | - |3713 | 31k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1629.54/1629.50 c 1552s| 2450k| 1532k| 0 | 0.0 |2079M|1912 | - |3713 | 29k| 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1635.44/1635.44 c 1557s| 2460k| 1540k| 0 | 0.0 |2086M|1912 | - |3713 | 27k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
1635.54/1635.59 o 7
1635.54/1635.59 c *1558s| 2460k| 1536k| 0 | 0.0 |2077M|1912 | - |3713 | 27k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1641.94/1641.90 c 1564s| 2470k| 1544k| 0 | 0.0 |2085M|1912 | - |3713 | 28k| 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1649.04/1649.04 c 1570s| 2480k| 1551k| 0 | 0.0 |2093M|1912 | - |3713 | 29k| 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1657.14/1657.13 c 1578s| 2490k| 1557k| 0 | 0.0 |2101M|1912 | - |3713 | 30k| 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1666.14/1666.16 c 1587s| 2500k| 1562k| 0 | 0.0 |2110M|1912 | - |3713 | 32k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1678.04/1678.07 c 1598s| 2510k| 1566k| 0 | 0.0 |2117M|1912 | - |3713 | 34k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1688.94/1688.90 c 1608s| 2520k| 1571k| 0 | 0.0 |2122M|1912 | - |3713 | 28k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1694.84/1694.85 c 1614s| 2530k| 1579k| 0 | 0.0 |2130M|1912 | - |3713 | 28k| 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1701.24/1701.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.24/1701.28 c 1620s| 2540k| 1586k| 0 | 0.0 |2137M|1912 | - |3713 | 29k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1708.24/1708.23 c 1627s| 2550k| 1594k| 0 | 0.0 |2145M|1912 | - |3713 | 29k| 0 | 0 | 0 |1963k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1715.34/1715.39 c 1634s| 2560k| 1601k| 0 | 0.0 |2153M|1912 | - |3713 | 29k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1722.74/1722.77 c 1641s| 2570k| 1607k| 0 | 0.0 |2161M|1912 | - |3713 | 29k| 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1730.35/1730.37 c 1648s| 2580k| 1614k| 0 | 0.0 |2169M|1912 | - |3713 | 29k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1738.44/1738.44 c 1655s| 2590k| 1620k| 0 | 0.0 |2177M|1912 | - |3713 | 30k| 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1746.75/1746.75 c 1663s| 2600k| 1627k| 0 | 0.0 |2185M|1912 | - |3713 | 30k| 0 | 0 | 0 |1991k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1755.24/1755.29 c 1672s| 2610k| 1633k| 0 | 0.0 |2192M|1912 | - |3713 | 31k| 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1764.35/1764.33 c 1680s| 2620k| 1638k| 0 | 0.0 |2200M|1912 | - |3713 | 31k| 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1774.04/1774.06 c 1690s| 2630k| 1644k| 0 | 0.0 |2207M|1912 | - |3713 | 32k| 0 | 0 | 0 |2012k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1783.84/1783.85 c 1699s| 2640k| 1649k| 0 | 0.0 |2215M|1912 | - |3713 | 33k| 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1794.55/1794.52 c 1709s| 2650k| 1654k| 0 | 0.0 |2222M|1912 | - |3713 | 34k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1714.40
1800.05/1800.00 c Solving Nodes : 2654633
1800.05/1800.00 c Primal Bound : +7.00000000000000e+00 (31 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.04 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/1800.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105
1800.05/1800.04 v -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
1800.05/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.05/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.05/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.05/1800.04 v -x1
1800.05/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.04 c Solving Time : 1714.40
1800.05/1800.04 c Original Problem :
1800.05/1800.04 c Problem name : HOME/instance-2694059-1277903178.wbo
1800.05/1800.04 c Variables : 3835 (2033 binary, 0 integer, 0 implicit integer, 1802 continuous)
1800.05/1800.04 c Constraints : 4510 initial, 4510 maximal
1800.05/1800.04 c Presolved Problem :
1800.05/1800.04 c Problem name : t_HOME/instance-2694059-1277903178.wbo
1800.05/1800.04 c Variables : 3713 (1972 binary, 0 integer, 0 implicit integer, 1741 continuous)
1800.05/1800.04 c Constraints : 4364 initial, 40919 maximal
1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.04 c trivial : 0.00 61 0 0 0 0 0 0 0
1800.05/1800.04 c dualfix : 0.00 61 0 0 0 0 0 0 0
1800.05/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c probing : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 61 0 0
1800.05/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c linear : 0.05 0 0 0 1810 0 85 67 0
1800.05/1800.04 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c root node : - 1616 - - 3232 - - - -
1800.05/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 1741 0 5540135 0 1696175 223 3307279 0 0 0
1800.05/1800.04 c setppc : 9 0 7786964 0 2298492 17760 2714052 0 0 0
1800.05/1800.04 c linear : 1741 0 7780117 0 2300901 335973 34722894 0 0 0
1800.05/1800.04 c logicor : 873+ 0 4835790 0 2300922 216647 7330218 0 0 0
1800.05/1800.04 c bounddisjunction : 0+ 0 62152 0 0 0 470 0 0 0
1800.05/1800.04 c countsols : 0 0 0 0 2300919 0 0 0 0 0
1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.04 c indicator : 24.82 0.00 10.85 0.00 13.97
1800.05/1800.04 c setppc : 16.17 0.00 13.49 0.00 2.68
1800.05/1800.04 c linear : 278.79 0.00 277.31 0.00 1.48
1800.05/1800.04 c logicor : 445.73 0.00 386.98 0.00 58.75
1800.05/1800.04 c bounddisjunction : 0.08 0.00 0.08 0.00 0.00
1800.05/1800.04 c countsols : 0.11 0.00 0.00 0.00 0.11
1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.04 c vbounds : 0.32 2 0 0
1800.05/1800.04 c rootredcost : 0.38 0 0 0
1800.05/1800.04 c pseudoobj : 285.24 7801991 3947 3199850
1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.04 c propagation : 33.54 574327 574308 2864984 23.2 292013 10.0 -
1800.05/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c pseudo solution : 0.03 82 82 350 19.9 148 9.7 -
1800.05/1800.04 c applied globally : - - - 2034113 19.5 - - -
1800.05/1800.04 c applied locally : - - - 0 0.0 - - -
1800.05/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.04 c redcost : 0.00 0 0 0 0 0
1800.05/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.04 c intobj : 0.00 0 0 0 0 0
1800.05/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.04 c gomory : 0.00 0 0 0 0 0
1800.05/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.04 c cmir : 0.00 0 0 0 0 0
1800.05/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.04 c clique : 0.00 0 0 0 0 0
1800.05/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.04 c mcf : 0.00 0 0 0 0 0
1800.05/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.04 c Pricers : Time Calls Vars
1800.05/1800.04 c problem variables: 0.00 0 0
1800.05/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c inference : 48.75 2300888 0 0 0 0 4601776
1800.05/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c random : 0.00 0 0 0 0 0 0
1800.05/1800.04 c Primal Heuristics : Time Calls Found
1800.05/1800.04 c LP solutions : 0.00 - 0
1800.05/1800.04 c pseudo solutions : 0.18 - 31
1800.05/1800.04 c oneopt : 0.15 0 0
1800.05/1800.04 c trivial : 0.02 2 0
1800.05/1800.04 c simplerounding : 0.00 0 0
1800.05/1800.04 c zirounding : 0.00 0 0
1800.05/1800.04 c rounding : 0.00 0 0
1800.05/1800.04 c shifting : 0.00 0 0
1800.05/1800.04 c intshifting : 0.00 0 0
1800.05/1800.04 c twoopt : 0.00 0 0
1800.05/1800.04 c fixandinfer : 0.00 0 0
1800.05/1800.04 c feaspump : 0.00 0 0
1800.05/1800.04 c coefdiving : 0.00 0 0
1800.05/1800.04 c pscostdiving : 0.00 0 0
1800.05/1800.04 c fracdiving : 0.00 0 0
1800.05/1800.04 c veclendiving : 0.00 0 0
1800.05/1800.04 c intdiving : 0.00 0 0
1800.05/1800.04 c actconsdiving : 0.00 0 0
1800.05/1800.04 c objpscostdiving : 0.00 0 0
1800.05/1800.04 c rootsoldiving : 0.00 0 0
1800.05/1800.04 c linesearchdiving : 0.00 0 0
1800.05/1800.04 c guideddiving : 0.00 0 0
1800.05/1800.04 c octane : 0.00 0 0
1800.05/1800.04 c rens : 0.00 0 0
1800.05/1800.04 c rins : 0.00 0 0
1800.05/1800.04 c localbranching : 0.00 0 0
1800.05/1800.04 c mutation : 0.00 0 0
1800.05/1800.04 c crossover : 0.00 0 0
1800.05/1800.04 c dins : 0.00 0 0
1800.05/1800.04 c undercover : 0.00 0 0
1800.05/1800.04 c nlp : 0.16 0 0
1800.05/1800.04 c trysol : 0.15 1 0
1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.04 c (at root node) : - 0 0 0.00 -
1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.04 c B&B Tree :
1800.05/1800.04 c number of runs : 1
1800.05/1800.04 c nodes : 2654633
1800.05/1800.04 c nodes (total) : 2654633
1800.05/1800.04 c nodes left : 1656163
1800.05/1800.04 c max depth : 1912
1800.05/1800.04 c max depth (total): 1912
1800.05/1800.04 c backtracks : 314861 (11.9%)
1800.05/1800.04 c delayed cutoffs : 258358
1800.05/1800.04 c repropagations : 1302148 (14903429 domain reductions, 220918 cutoffs)
1800.05/1800.04 c avg switch length: 24.09
1800.05/1800.04 c switching time : 489.67
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 31 (31 improvements)
1800.05/1800.04 c First Solution : +4.78000000000000e+02 (in run 1, after 4731 nodes, 1.34 seconds, depth 880, found by <relaxation>)
1800.05/1800.04 c Primal Bound : +7.00000000000000e+00 (in run 1, after 2460191 nodes, 1557.56 seconds, depth 1224, found by <relaxation>)
1800.05/1800.04 c Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Gap : infinite
1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Root Iterations : 0
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694059-1277903178/watcher-2694059-1277903178 -o /tmp/evaluation-result-2694059-1277903178/solver-2694059-1277903178 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694059-1277903178.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.92 2.84 2.46 4/196 9777 /proc/meminfo: memFree=31288828/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=8264 CPUtime=0 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 1548 0 0 0 0 0 0 0 25 0 1 0 131615310 8462336 1470 4089446400 4194304 7136930 140734807538736 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9777/statm: 2066 1470 275 719 0 1345 0 [startup+0.0301441 s] /proc/loadavg: 2.92 2.84 2.46 4/196 9777 /proc/meminfo: memFree=31288828/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=14184 CPUtime=0.02 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 3047 0 0 0 2 0 0 0 25 0 1 0 131615310 14524416 2969 4089446400 4194304 7136930 140734807538736 18446744073709551615 4441427 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9777/statm: 3546 2969 275 719 0 2825 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14184 [startup+0.10113 s] /proc/loadavg: 2.92 2.84 2.46 4/196 9777 /proc/meminfo: memFree=31288828/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=28728 CPUtime=0.09 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 7348 0 0 0 9 0 0 0 25 0 1 0 131615310 29417472 6402 4089446400 4194304 7136930 140734807538736 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 7182 6402 354 719 0 6461 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28728 [startup+0.301094 s] /proc/loadavg: 2.92 2.84 2.46 4/196 9777 /proc/meminfo: memFree=31288828/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=29608 CPUtime=0.28 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 10162 0 0 0 28 0 0 0 18 0 1 0 131615310 30318592 6646 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 7402 6646 391 719 0 6681 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 29608 [startup+0.701011 s] /proc/loadavg: 2.92 2.84 2.46 4/196 9777 /proc/meminfo: memFree=31288828/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=31556 CPUtime=0.69 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 10666 0 0 0 67 2 0 0 18 0 1 0 131615310 32313344 7150 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 7889 7150 395 719 0 7168 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31556 [startup+1.50087 s] /proc/loadavg: 2.92 2.84 2.46 3/197 9778 /proc/meminfo: memFree=31260176/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=33712 CPUtime=1.49 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 11201 0 0 0 145 4 0 0 19 0 1 0 131615310 34521088 7685 4089446400 4194304 7136930 140734807538736 18446744073709551615 4827084 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 8428 7685 395 719 0 7707 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33712 [startup+3.10215 s] /proc/loadavg: 2.92 2.84 2.46 3/197 9778 /proc/meminfo: memFree=31258164/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=37340 CPUtime=3.09 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 12123 0 0 0 301 8 0 0 24 0 1 0 131615310 38236160 8607 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 9335 8607 396 719 0 8614 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37340 [startup+6.30099 s] /proc/loadavg: 2.93 2.84 2.47 3/197 9778 /proc/meminfo: memFree=31245392/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=50680 CPUtime=6.29 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 15467 0 0 0 611 18 0 0 25 0 1 0 131615310 51896320 11951 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 12670 11951 396 719 0 11949 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50680 [startup+12.7008 s] /proc/loadavg: 2.85 2.83 2.46 3/197 9778 /proc/meminfo: memFree=31222772/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=70628 CPUtime=12.69 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 20382 0 0 0 1236 33 0 0 25 0 1 0 131615310 72323072 16866 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 17657 16866 396 719 0 16936 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 70628 [startup+25.5005 s] /proc/loadavg: 2.66 2.79 2.45 3/197 9778 /proc/meminfo: memFree=31184740/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=106908 CPUtime=25.49 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 29307 0 0 0 2480 69 0 0 25 0 1 0 131615310 109473792 25791 4089446400 4194304 7136930 140734807538736 18446744073709551615 4979019 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 26727 25791 398 719 0 26006 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 106908 [startup+51.1008 s] /proc/loadavg: 2.44 2.72 2.44 3/197 9779 /proc/meminfo: memFree=31122332/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=169204 CPUtime=51.09 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 44469 0 0 0 4980 129 0 0 25 0 1 0 131615310 173264896 40953 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 42301 40953 398 719 0 41580 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 169204 [startup+102.307 s] /proc/loadavg: 2.19 2.61 2.42 3/197 9780 /proc/meminfo: memFree=31029912/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=253772 CPUtime=102.29 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 65481 0 0 0 10001 228 0 0 25 0 1 0 131615310 259862528 61965 4089446400 4194304 7136930 140734807538736 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 63443 61965 398 719 0 62722 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 253772 [startup+162.301 s] /proc/loadavg: 2.07 2.50 2.39 3/197 9782 /proc/meminfo: memFree=30898916/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=387660 CPUtime=162.29 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 97271 0 0 0 15857 372 0 0 25 0 1 0 131615310 396963840 93755 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 96915 93755 398 719 0 96194 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 387660 [startup+222.301 s] /proc/loadavg: 2.02 2.40 2.36 3/197 9784 /proc/meminfo: memFree=30772628/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=506992 CPUtime=222.3 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 127439 0 0 0 21710 520 0 0 25 0 1 0 131615310 519159808 123923 4089446400 4194304 7136930 140734807538736 18446744073709551615 4455357 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9777/statm: 126748 123923 398 719 0 126027 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 506992 [startup+282.301 s] /proc/loadavg: 2.01 2.33 2.34 3/179 9815 /proc/meminfo: memFree=31239080/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=623424 CPUtime=282.3 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 156832 0 0 0 27554 676 0 0 25 0 1 0 131615310 638386176 153316 4089446400 4194304 7136930 140734807538736 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 155856 153316 398 719 0 155135 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 623424 [startup+342.301 s] /proc/loadavg: 2.00 2.26 2.31 3/179 9817 /proc/meminfo: memFree=30985140/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=724524 CPUtime=342.3 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 180348 0 0 0 33181 1049 0 0 25 0 1 0 131615310 741912576 176832 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 181131 176832 398 719 0 180410 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 724524 [startup+402.301 s] /proc/loadavg: 2.00 2.21 2.29 3/179 9818 /proc/meminfo: memFree=30781084/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=810988 CPUtime=402.3 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 201970 0 0 0 38860 1370 0 0 25 0 1 0 131615310 830451712 198454 4089446400 4194304 7136930 140734807538736 18446744073709551615 4999916 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 202747 198454 398 719 0 202026 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 810988 [startup+462.301 s] /proc/loadavg: 2.00 2.17 2.27 3/179 9820 /proc/meminfo: memFree=30615852/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=877088 CPUtime=462.3 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 218551 0 0 0 44573 1657 0 0 25 0 1 0 131615310 898138112 215035 4089446400 4194304 7136930 140734807538736 18446744073709551615 4947556 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 219272 215035 398 719 0 218551 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 877088 [startup+522.301 s] /proc/loadavg: 2.00 2.14 2.25 3/179 9822 /proc/meminfo: memFree=30501836/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=932376 CPUtime=522.31 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 232508 0 0 0 50323 1908 0 0 25 0 1 0 131615310 954753024 228992 4089446400 4194304 7136930 140734807538736 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 233094 228992 398 719 0 232373 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 932376 [startup+582.301 s] /proc/loadavg: 2.00 2.11 2.23 3/179 9823 /proc/meminfo: memFree=30433960/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=968476 CPUtime=582.31 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 241547 0 0 0 56101 2130 0 0 25 0 1 0 131615310 991719424 238031 4089446400 4194304 7136930 140734807538736 18446744073709551615 6121974 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 242119 238031 398 719 0 241398 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 968476 [startup+642.3 s] /proc/loadavg: 2.00 2.09 2.21 3/179 9825 /proc/meminfo: memFree=30286468/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=991872 CPUtime=642.32 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 247391 0 0 0 61924 2308 0 0 25 0 1 0 131615310 1015676928 243875 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 247968 243875 398 719 0 247247 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 991872 [startup+702.3 s] ################ # More data... # ################ /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 373313 0 0 0 95605 4627 0 0 25 0 1 0 131615310 1555062784 369797 4089446400 4194304 7136930 140734807538736 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 379654 369797 398 719 0 378933 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1518616 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.13 3/179 9836 /proc/meminfo: memFree=29016052/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=1612288 CPUtime=1062.32 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 396737 0 0 0 101242 4990 0 0 25 0 1 0 131615310 1650982912 393221 4089446400 4194304 7136930 140734807538736 18446744073709551615 5952228 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 403072 393221 398 719 0 402351 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1612288 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.11 3/179 9838 /proc/meminfo: memFree=28872528/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=1696816 CPUtime=1122.32 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 418219 0 0 0 106886 5346 0 0 25 0 1 0 131615310 1737539584 414703 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 424204 414703 398 719 0 423483 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1696816 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.10 3/179 9839 /proc/meminfo: memFree=28756284/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=1758616 CPUtime=1182.32 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 433854 0 0 0 112567 5665 0 0 25 0 1 0 131615310 1800822784 430338 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 439654 430338 398 719 0 438933 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1758616 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 9841 /proc/meminfo: memFree=28633952/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=1829440 CPUtime=1242.33 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 451068 0 0 0 118266 5967 0 0 25 0 1 0 131615310 1873346560 447552 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 457360 447552 398 719 0 456639 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1829440 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 9842 /proc/meminfo: memFree=28492156/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=1924960 CPUtime=1302.33 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 473824 0 0 0 123963 6270 0 0 25 0 1 0 131615310 1971159040 470308 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 481240 470308 398 719 0 480519 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1924960 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 9844 /proc/meminfo: memFree=28370460/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2001444 CPUtime=1362.33 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 492880 0 0 0 129685 6548 0 0 25 0 1 0 131615310 2049478656 489364 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 500361 489364 398 719 0 499640 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2001444 [startup+1422.31 s] /proc/loadavg: 2.04 2.01 2.08 3/179 9846 /proc/meminfo: memFree=28281004/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2058744 CPUtime=1422.34 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 507443 0 0 0 135408 6826 0 0 25 0 1 0 131615310 2108153856 503927 4089446400 4194304 7136930 140734807538736 18446744073709551615 4923501 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 514686 503927 398 719 0 513965 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2058744 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.07 3/179 9847 /proc/meminfo: memFree=28185468/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2130256 CPUtime=1482.34 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 525256 0 0 0 141134 7100 0 0 25 0 1 0 131615310 2181382144 521740 4089446400 4194304 7136930 140734807538736 18446744073709551615 4221247 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 532564 521740 398 719 0 531843 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2130256 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 9852 /proc/meminfo: memFree=28103644/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2187856 CPUtime=1542.34 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 539574 0 0 0 146877 7357 0 0 25 0 1 0 131615310 2240364544 536058 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 546964 536058 398 719 0 546243 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2187856 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 9853 /proc/meminfo: memFree=28023376/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2244556 CPUtime=1602.34 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 553757 0 0 0 152593 7641 0 0 25 0 1 0 131615310 2298425344 550241 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 561139 550241 398 719 0 560418 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2244556 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 9855 /proc/meminfo: memFree=27958360/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2289328 CPUtime=1662.34 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 565101 0 0 0 158296 7938 0 0 25 0 1 0 131615310 2344271872 561585 4089446400 4194304 7136930 140734807538736 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 572332 561585 398 719 0 571611 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2289328 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 9857 /proc/meminfo: memFree=27885904/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2343952 CPUtime=1722.34 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 578935 0 0 0 164011 8223 0 0 25 0 1 0 131615310 2400206848 575419 4089446400 4194304 7136930 140734807538736 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 585988 575419 398 719 0 585267 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2343952 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 9858 /proc/meminfo: memFree=27819644/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2394240 CPUtime=1782.34 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 591746 0 0 0 169741 8493 0 0 25 0 1 0 131615310 2451701760 588230 4089446400 4194304 7136930 140734807538736 18446744073709551615 4999916 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 598560 588230 398 719 0 597839 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2394240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.04 3/179 9859 /proc/meminfo: memFree=27806112/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2404328 CPUtime=1800.05 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 594284 0 0 0 171443 8562 0 0 25 0 1 0 131615310 2462031872 590768 4089446400 4194304 7136930 140734807538736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/9777/statm: 601082 590768 398 719 0 600361 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2404328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9777 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.04 3/180 9860 /proc/meminfo: memFree=27806104/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2404328 CPUtime=1801.44 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 594289 0 0 0 171582 8562 0 0 19 0 1 0 131615310 2462031872 590773 4089446400 4194304 7136930 140734807538736 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/9777/statm: 601082 590773 403 719 0 600361 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2404328 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.04 3/180 9860 /proc/meminfo: memFree=27806220/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2404328 CPUtime=1801.85 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 594289 0 0 0 171623 8562 0 0 20 0 1 0 131615310 2462031872 590773 4089446400 4194304 7136930 140734807538736 18446744073709551615 4615441 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/9777/statm: 601082 590773 403 719 0 600361 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2404328 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.04 3/180 9860 /proc/meminfo: memFree=27806220/32951124 swapFree=67111528/67111528 [pid=9777] ppid=9775 vsize=2404328 CPUtime=1802.04 /proc/9777/stat : 9777 (pbscip.linux.x8) R 9775 9777 8515 0 -1 4202496 594289 0 0 0 171642 8562 0 0 21 0 1 0 131615310 2462031872 590773 4089446400 4194304 7136930 140734807538736 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/9777/statm: 601082 590773 403 719 0 600361 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2404328 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1716.43 CPU system time (s): 85.706 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2404328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.43 system time used= 85.706 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 594289 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= 5 involuntary context switches= 1538 runsolver used 3.54246 second user time and 6.22205 second system time The end
Begin job on node104 at 2010-06-30 15:06:18 IDJOB=2694059 IDBENCH=78908 IDSOLVER=1206 FILE ID=node104/2694059-1277903178 PBS_JOBID= 11197176 Free space on /tmp= 74212 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.1900553812--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-2694059-1277903178/watcher-2694059-1277903178 -o /tmp/evaluation-result-2694059-1277903178/solver-2694059-1277903178 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694059-1277903178.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b8c059b75f42fac4cec7408dc4fcfe67 RANDOM SEED=1632645448 node104.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.839 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.67 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.839 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.12 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.839 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.839 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.84 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.839 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.74 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.839 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.83 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.839 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.839 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31289356 kB Buffers: 181296 kB Cached: 695200 kB SwapCached: 0 kB Active: 989040 kB Inactive: 532472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31289356 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3184 kB Writeback: 0 kB AnonPages: 644212 kB Mapped: 20296 kB Slab: 76644 kB PageTables: 5880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658732 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 node104 at 2010-06-30 15:36:20