Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.08 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-66-100-0.wbo |
| MD5SUM | 95aa4a8f0430d7fc4dd41a3f578cfb3e |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 267.837 |
| 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 | 937 |
| 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 | 46894 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46893 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 661 |
| 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-2693580-1277911754.wbo>
0.00/0.02 c original problem has 2105 variables (1168 bin, 0 int, 0 impl, 937 cont) and 3645 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.00/0.04 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.05/0.07 c (round 2) 0 del vars, 113 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 1151 impls, 14 clqs
0.05/0.09 c (round 3) 49 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.10 c (round 4) 98 del vars, 162 del conss, 937 chg bounds, 49 chg sides, 0 chg coeffs, 1707 upgd conss, 1151 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1119 (9.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 98 deleted vars, 162 deleted constraints, 937 tightened bounds, 0 added holes, 49 changed sides, 0 changed coefficients
0.09/0.14 c 1151 implications, 14 cliques
0.09/0.14 c presolved problem has 2007 variables (1119 bin, 0 int, 0 impl, 888 cont) and 3483 constraints
0.09/0.14 c 888 constraints of type <indicator>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 888 constraints of type <linear>
0.09/0.14 c 1693 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 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.14 c 0.1s| 1 | 2 | 0 | - |7684k| 0 | - |2007 |3483 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.17 o 604
1.10/1.17 c * 1.1s| 4232 | 3760 | 0 | 0.0 | 10M|1076 | - |2007 |4066 | 0 | 0 | 0 | 959 | 0 | 0.000000e+00 | 6.040000e+02 | Inf
1.10/1.17 o 602
1.10/1.17 c * 1.1s| 4233 | 3759 | 0 | 0.0 | 10M|1076 | - |2007 |4066 | 0 | 0 | 0 | 959 | 0 | 0.000000e+00 | 6.020000e+02 | Inf
1.19/1.24 o 423
1.19/1.24 c * 1.2s| 4515 | 4036 | 0 | 0.0 | 10M|1076 | - |2007 |4073 | 0 | 0 | 0 | 974 | 0 | 0.000000e+00 | 4.230000e+02 | Inf
1.19/1.24 o 379
1.19/1.24 c * 1.2s| 4525 | 4042 | 0 | 0.0 | 10M|1076 | - |2007 |4073 | 0 | 0 | 0 | 974 | 0 | 0.000000e+00 | 3.790000e+02 | Inf
2.69/2.70 c 2.6s| 10000 | 8711 | 0 | 0.0 | 14M|1076 | - |2007 |4713 | 0 | 0 | 0 |3468 | 0 | 0.000000e+00 | 3.790000e+02 | Inf
5.59/5.66 c 5.5s| 20000 | 16605 | 0 | 0.0 | 21M|1076 | - |2007 |5301 | 0 | 0 | 0 |9143 | 0 | 0.000000e+00 | 3.790000e+02 | Inf
10.09/10.16 c 9.8s| 30000 | 22187 | 0 | 0.0 | 29M|1076 | - |2007 |6308 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.790000e+02 | Inf
10.09/10.17 o 210
10.09/10.17 c * 9.8s| 30020 | 22174 | 0 | 0.0 | 29M|1076 | - |2007 |6308 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.100000e+02 | Inf
10.09/10.17 o 202
10.09/10.17 c * 9.8s| 30021 | 22160 | 0 | 0.0 | 29M|1076 | - |2007 |6308 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
10.29/10.36 o 199
10.29/10.36 c *10.0s| 30554 | 22663 | 0 | 0.0 | 29M|1076 | - |2007 |6024 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
11.00/11.03 o 175
11.00/11.03 c *10.7s| 32476 | 24113 | 0 | 0.0 | 30M|1076 | - |2007 |5364 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
11.29/11.30 o 168
11.29/11.30 c *10.9s| 33195 | 24773 | 0 | 0.0 | 30M|1076 | - |2007 |5268 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.680000e+02 | Inf
11.39/11.43 o 144
11.39/11.43 c *11.1s| 33569 | 24940 | 0 | 0.0 | 31M|1076 | - |2007 |5250 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
11.39/11.44 o 138
11.39/11.44 c *11.1s| 33580 | 24939 | 0 | 0.0 | 31M|1076 | - |2007 |5259 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
11.39/11.44 o 120
11.39/11.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.39/11.44 c *11.1s| 33585 | 24869 | 0 | 0.0 | 31M|1076 | - |2007 |5259 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
11.39/11.44 o 84
11.39/11.44 c *11.1s| 33586 | 24352 | 0 | 0.0 | 30M|1076 | - |2007 |5259 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
11.59/11.65 o 69
11.59/11.65 c *11.3s| 34106 | 24431 | 0 | 0.0 | 31M|1076 | - |2007 |5329 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
11.69/11.70 o 50
11.69/11.70 c *11.3s| 34257 | 24326 | 0 | 0.0 | 31M|1076 | - |2007 |5316 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
11.69/11.73 o 31
11.69/11.73 c *11.3s| 34322 | 23917 | 0 | 0.0 | 31M|1076 | - |2007 |5302 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
13.69/13.76 c 13.3s| 40000 | 28696 | 0 | 0.0 | 42M|1076 | - |2007 |4969 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
16.79/16.85 c 16.3s| 50000 | 36923 | 0 | 0.0 | 52M|1076 | - |2007 |6164 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
19.80/19.81 c 19.2s| 60000 | 44944 | 0 | 0.0 | 59M|1076 | - |2007 |6785 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
23.19/23.27 c 22.5s| 70000 | 52383 | 0 | 0.0 | 66M|1076 | - |2007 |7195 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
26.79/26.80 c 25.9s| 80000 | 59689 | 0 | 0.0 | 73M|1076 | - |2007 |7581 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
30.49/30.51 c 29.6s| 90000 | 66826 | 0 | 0.0 | 79M|1076 | - |2007 |7853 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
34.39/34.47 c 33.4s|100000 | 73551 | 0 | 0.0 | 87M|1076 | - |2007 |8289 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
38.19/38.24 c 37.1s|110000 | 80065 | 0 | 0.0 | 94M|1076 | - |2007 |8364 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
42.28/42.31 c 41.0s|120000 | 86166 | 0 | 0.0 | 101M|1076 | - |2007 |8823 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
46.39/46.43 c 45.1s|130000 | 92206 | 0 | 0.0 | 109M|1076 | - |2007 |9331 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
50.69/50.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.69/50.78 c 49.3s|140000 | 97960 | 0 | 0.0 | 117M|1076 | - |2007 |9686 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
55.39/55.42 c 53.9s|150000 |103375 | 0 | 0.0 | 125M|1076 | - |2007 | 10k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
59.89/59.92 c 58.3s|160000 |108912 | 0 | 0.0 | 132M|1076 | - |2007 |9587 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
64.80/64.82 c 63.1s|170000 |113694 | 0 | 0.0 | 139M|1076 | - |2007 |9133 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
71.29/71.31 c 69.4s|180000 |113724 | 0 | 0.0 | 140M|1076 | - |2007 |6749 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
74.49/74.54 c 72.6s|190000 |122316 | 0 | 0.0 | 148M|1076 | - |2007 |6091 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
77.79/77.84 c 75.8s|200000 |130804 | 0 | 0.0 | 157M|1076 | - |2007 |7307 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
79.39/79.45 o 28
79.39/79.45 c *77.3s|204635 |134406 | 0 | 0.0 | 159M|1076 | - |2007 |7844 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
81.58/81.66 c 79.5s|210000 |138583 | 0 | 0.0 | 165M|1076 | - |2007 |8468 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
84.19/84.20 o 9
84.19/84.20 c *82.0s|215533 |137459 | 0 | 0.0 | 158M|1076 | - |2007 |9138 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
86.99/87.03 c 84.8s|220000 |139997 | 0 | 0.0 | 164M|1076 | - |2007 |8805 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
92.19/92.29 c 89.9s|230000 |146225 | 0 | 0.0 | 173M|1076 | - |2007 |8896 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
97.19/97.25 c 94.7s|240000 |152397 | 0 | 0.0 | 181M|1076 | - |2007 |7031 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
101.29/101.34 c 98.7s|250000 |159170 | 0 | 0.0 | 189M|1076 | - |2007 |9540 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
104.99/105.04 c 102s|260000 |166675 | 0 | 0.0 | 197M|1076 | - |2007 |8931 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
109.09/109.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.09/109.15 c 106s|270000 |173580 | 0 | 0.0 | 205M|1076 | - |2007 |9188 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
113.39/113.44 c 111s|280000 |180146 | 0 | 0.0 | 212M|1076 | - |2007 |8503 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
117.49/117.54 c 114s|290000 |186519 | 0 | 0.0 | 220M|1076 | - |2007 | 12k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
120.79/120.81 c 118s|300000 |194280 | 0 | 0.0 | 227M|1076 | - |2007 |9963 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
124.30/124.38 c 121s|310000 |201445 | 0 | 0.0 | 234M|1076 | - |2007 |9730 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
128.09/128.19 c 125s|320000 |208648 | 0 | 0.0 | 242M|1076 | - |2007 |7362 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
131.59/131.61 c 128s|330000 |216013 | 0 | 0.0 | 251M|1076 | - |2007 |8856 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
135.29/135.34 c 132s|340000 |222847 | 0 | 0.0 | 259M|1076 | - |2007 |9783 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
139.20/139.21 c 136s|350000 |229599 | 0 | 0.0 | 265M|1076 | - |2007 | 10k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
143.19/143.29 c 140s|360000 |236139 | 0 | 0.0 | 273M|1076 | - |2007 | 10k| 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
147.40/147.43 c 144s|370000 |242627 | 0 | 0.0 | 280M|1076 | - |2007 | 11k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
151.80/151.88 c 148s|380000 |248883 | 0 | 0.0 | 287M|1076 | - |2007 | 11k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
156.39/156.44 c 152s|390000 |254999 | 0 | 0.0 | 294M|1076 | - |2007 | 11k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
161.19/161.21 c 157s|400000 |260956 | 0 | 0.0 | 301M|1076 | - |2007 | 11k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
166.00/166.07 c 162s|410000 |266881 | 0 | 0.0 | 308M|1076 | - |2007 | 12k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
170.90/170.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.90/170.99 c 167s|420000 |272674 | 0 | 0.0 | 315M|1076 | - |2007 | 12k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
176.19/176.28 c 172s|430000 |278135 | 0 | 0.0 | 322M|1076 | - |2007 | 13k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
181.80/181.80 c 177s|440000 |283581 | 0 | 0.0 | 329M|1076 | - |2007 | 13k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
187.20/187.24 c 183s|450000 |289110 | 0 | 0.0 | 337M|1076 | - |2007 | 13k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
192.80/192.83 c 188s|460000 |294318 | 0 | 0.0 | 344M|1076 | - |2007 | 14k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
198.89/198.93 c 194s|470000 |299208 | 0 | 0.0 | 351M|1076 | - |2007 | 14k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
205.09/205.12 c 200s|480000 |304119 | 0 | 0.0 | 358M|1076 | - |2007 | 14k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
211.59/211.68 c 207s|490000 |308527 | 0 | 0.0 | 365M|1076 | - |2007 | 14k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
218.00/218.04 c 213s|500000 |313208 | 0 | 0.0 | 372M|1076 | - |2007 | 13k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
224.89/224.95 c 220s|510000 |317346 | 0 | 0.0 | 379M|1076 | - |2007 | 14k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
232.00/232.02 c 227s|520000 |321072 | 0 | 0.0 | 386M|1076 | - |2007 | 14k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
238.80/238.84 c 233s|530000 |325170 | 0 | 0.0 | 393M|1076 | - |2007 | 13k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
246.30/246.37 c 241s|540000 |328644 | 0 | 0.0 | 399M|1076 | - |2007 | 14k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
253.89/253.98 c 248s|550000 |331987 | 0 | 0.0 | 406M|1076 | - |2007 | 15k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
261.19/261.20 c 255s|560000 |335741 | 0 | 0.0 | 413M|1076 | - |2007 | 14k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
269.10/269.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.10/269.10 c 263s|570000 |338945 | 0 | 0.0 | 419M|1076 | - |2007 | 14k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
276.90/276.97 c 271s|580000 |341918 | 0 | 0.0 | 426M|1076 | - |2007 | 15k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
284.59/284.63 c 278s|590000 |344882 | 0 | 0.0 | 433M|1076 | - |2007 | 15k| 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
292.90/292.92 c 286s|600000 |347424 | 0 | 0.0 | 440M|1076 | - |2007 | 15k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
301.50/301.55 c 295s|610000 |349406 | 0 | 0.0 | 446M|1076 | - |2007 | 15k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
310.20/310.21 c 304s|620000 |351452 | 0 | 0.0 | 452M|1076 | - |2007 | 16k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
320.20/320.27 c 313s|630000 |353136 | 0 | 0.0 | 458M|1076 | - |2007 | 16k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
330.69/330.76 c 324s|640000 |354434 | 0 | 0.0 | 464M|1076 | - |2007 | 17k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
341.40/341.43 c 334s|650000 |355386 | 0 | 0.0 | 470M|1076 | - |2007 | 17k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
353.00/353.04 c 346s|660000 |355296 | 0 | 0.0 | 473M|1076 | - |2007 | 16k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
365.10/365.12 c 358s|670000 |354819 | 0 | 0.0 | 477M|1076 | - |2007 | 16k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
377.60/377.64 c 370s|680000 |353896 | 0 | 0.0 | 480M|1076 | - |2007 | 16k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
390.30/390.38 c 383s|690000 |353037 | 0 | 0.0 | 483M|1076 | - |2007 | 18k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
404.19/404.27 c 397s|700000 |352207 | 0 | 0.0 | 485M|1076 | - |2007 | 18k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
419.10/419.20 c 411s|710000 |350461 | 0 | 0.0 | 485M|1076 | - |2007 | 17k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
423.90/423.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.90/423.98 c 416s|720000 |358370 | 0 | 0.0 | 488M|1076 | - |2007 |7956 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
426.99/427.00 o 5
426.99/427.00 c * 419s|727134 |363742 | 0 | 0.0 | 492M|1076 | - |2007 |7811 | 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
428.20/428.23 c 420s|730000 |366027 | 0 | 0.0 | 494M|1076 | - |2007 |7749 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
432.89/432.92 c 425s|740000 |373641 | 0 | 0.0 | 503M|1076 | - |2007 |8522 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
437.81/437.81 c 429s|750000 |381147 | 0 | 0.0 | 511M|1076 | - |2007 |8762 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
442.99/443.04 c 435s|760000 |388379 | 0 | 0.0 | 519M|1076 | - |2007 |9053 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
448.10/448.19 c 440s|770000 |395638 | 0 | 0.0 | 528M|1076 | - |2007 |9097 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
453.80/453.80 c 445s|780000 |402556 | 0 | 0.0 | 536M|1076 | - |2007 |9275 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
459.29/459.37 c 451s|790000 |409490 | 0 | 0.0 | 545M|1076 | - |2007 |9662 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
465.30/465.35 c 456s|800000 |416131 | 0 | 0.0 | 553M|1076 | - |2007 | 10k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
471.29/471.34 c 462s|810000 |422785 | 0 | 0.0 | 562M|1076 | - |2007 | 10k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
477.40/477.45 c 468s|820000 |429339 | 0 | 0.0 | 570M|1076 | - |2007 | 10k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
483.80/483.82 c 475s|830000 |435765 | 0 | 0.0 | 579M|1076 | - |2007 | 10k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
490.79/490.80 c 481s|840000 |441705 | 0 | 0.0 | 588M|1076 | - |2007 | 11k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
491.70/491.76 o 2
491.70/491.76 c * 482s|841282 |433536 | 0 | 0.0 | 577M|1076 | - |2007 | 11k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
497.69/497.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.69/497.76 c 488s|850000 |438490 | 0 | 0.0 | 583M|1076 | - |2007 |4936 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
502.40/502.45 c 493s|860000 |444365 | 0 | 0.0 | 590M|1076 | - |2007 |5710 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
507.40/507.47 c 498s|870000 |449613 | 0 | 0.0 | 597M|1076 | - |2007 |5894 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
512.89/512.90 c 503s|880000 |454213 | 0 | 0.0 | 604M|1076 | - |2007 |6208 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
518.50/518.59 c 508s|890000 |458621 | 0 | 0.0 | 611M|1076 | - |2007 |6409 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
524.61/524.61 c 514s|900000 |462403 | 0 | 0.0 | 618M|1076 | - |2007 |6818 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
531.20/531.28 c 521s|910000 |465375 | 0 | 0.0 | 624M|1076 | - |2007 |7516 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
538.29/538.39 c 528s|920000 |467968 | 0 | 0.0 | 629M|1076 | - |2007 |7448 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
545.50/545.57 c 535s|930000 |470130 | 0 | 0.0 | 634M|1076 | - |2007 |6717 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
550.59/550.62 c 540s|940000 |475126 | 0 | 0.0 | 638M|1076 | - |2007 |5632 | 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
554.60/554.61 c 544s|950000 |481697 | 0 | 0.0 | 644M|1076 | - |2007 |5807 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
558.50/558.50 c 547s|960000 |488417 | 0 | 0.0 | 650M|1076 | - |2007 |6338 | 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
562.50/562.55 c 551s|970000 |494901 | 0 | 0.0 | 657M|1076 | - |2007 |7412 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
567.20/567.24 c 556s|980000 |500717 | 0 | 0.0 | 663M|1076 | - |2007 |8662 | 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
572.69/572.79 c 561s|990000 |505558 | 0 | 0.0 | 671M|1076 | - |2007 | 10k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
580.60/580.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.60/580.69 c 569s| 1000k|508132 | 0 | 0.0 | 677M|1076 | - |2007 | 13k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
585.90/585.90 c 574s| 1010k|514233 | 0 | 0.0 | 680M|1076 | - |2007 |5665 | 0 | 0 | 0 |1203k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
589.20/589.28 c 577s| 1020k|521903 | 0 | 0.0 | 686M|1076 | - |2007 |5645 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
592.70/592.75 c 581s| 1030k|529402 | 0 | 0.0 | 693M|1076 | - |2007 |6373 | 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
596.60/596.63 c 584s| 1040k|536367 | 0 | 0.0 | 699M|1076 | - |2007 |7335 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.80/600.83 c 589s| 1050k|542942 | 0 | 0.0 | 706M|1076 | - |2007 |8145 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
605.40/605.45 c 593s| 1060k|548967 | 0 | 0.0 | 713M|1076 | - |2007 |8981 | 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
611.09/611.15 c 599s| 1070k|553857 | 0 | 0.0 | 720M|1076 | - |2007 | 10k| 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
618.40/618.44 c 606s| 1080k|557026 | 0 | 0.0 | 727M|1076 | - |2007 | 11k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
624.10/624.13 c 611s| 1090k|562331 | 0 | 0.0 | 731M|1076 | - |2007 |6084 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
627.50/627.56 c 615s| 1100k|569937 | 0 | 0.0 | 737M|1076 | - |2007 |5788 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
631.00/631.04 c 618s| 1110k|577396 | 0 | 0.0 | 743M|1076 | - |2007 |6398 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
634.90/634.90 c 622s| 1120k|584295 | 0 | 0.0 | 750M|1076 | - |2007 |7382 | 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
639.30/639.36 c 626s| 1130k|590477 | 0 | 0.0 | 757M|1076 | - |2007 |8511 | 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
644.40/644.42 c 631s| 1140k|595996 | 0 | 0.0 | 764M|1076 | - |2007 |9142 | 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
650.01/650.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.01/650.10 c 637s| 1150k|600776 | 0 | 0.0 | 771M|1076 | - |2007 |8550 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
655.70/655.76 c 642s| 1160k|605579 | 0 | 0.0 | 777M|1076 | - |2007 |7603 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
660.50/660.54 c 647s| 1170k|611419 | 0 | 0.0 | 783M|1076 | - |2007 |6643 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
664.60/664.61 c 651s| 1180k|617992 | 0 | 0.0 | 789M|1076 | - |2007 |6449 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
668.50/668.56 c 655s| 1190k|624678 | 0 | 0.0 | 795M|1076 | - |2007 |6821 | 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
672.99/673.09 c 659s| 1200k|630718 | 0 | 0.0 | 802M|1076 | - |2007 |7419 | 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
677.90/677.97 c 664s| 1210k|636241 | 0 | 0.0 | 809M|1076 | - |2007 |8397 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
683.50/683.54 c 669s| 1220k|640955 | 0 | 0.0 | 816M|1076 | - |2007 |9379 | 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.40/690.49 c 676s| 1230k|644282 | 0 | 0.0 | 823M|1076 | - |2007 | 10k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
696.80/696.84 c 682s| 1240k|648659 | 0 | 0.0 | 827M|1076 | - |2007 |5923 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
700.10/700.13 c 685s| 1250k|656433 | 0 | 0.0 | 833M|1076 | - |2007 |5567 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
703.30/703.39 c 688s| 1260k|664083 | 0 | 0.0 | 839M|1076 | - |2007 |6050 | 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
706.80/706.84 c 692s| 1270k|671539 | 0 | 0.0 | 846M|1076 | - |2007 |6520 | 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
710.50/710.55 c 695s| 1280k|678650 | 0 | 0.0 | 852M|1076 | - |2007 |6907 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
714.30/714.38 c 699s| 1290k|685512 | 0 | 0.0 | 859M|1076 | - |2007 |7384 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
718.50/718.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.50/718.59 c 703s| 1300k|691919 | 0 | 0.0 | 866M|1076 | - |2007 |7977 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
723.30/723.33 c 708s| 1310k|697636 | 0 | 0.0 | 872M|1076 | - |2007 |8646 | 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
729.00/729.02 c 713s| 1320k|702085 | 0 | 0.0 | 879M|1076 | - |2007 | 10k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
736.60/736.61 c 721s| 1330k|704662 | 0 | 0.0 | 883M|1076 | - |2007 |8191 | 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
739.90/739.91 c 724s| 1340k|712517 | 0 | 0.0 | 889M|1076 | - |2007 |5172 | 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
743.20/743.22 c 727s| 1350k|720205 | 0 | 0.0 | 895M|1076 | - |2007 |5774 | 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
746.70/746.73 c 731s| 1360k|727569 | 0 | 0.0 | 902M|1076 | - |2007 |6393 | 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
750.30/750.36 c 734s| 1370k|734744 | 0 | 0.0 | 908M|1076 | - |2007 |6826 | 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
754.20/754.23 c 738s| 1380k|741567 | 0 | 0.0 | 915M|1076 | - |2007 |7389 | 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
758.40/758.49 c 742s| 1390k|747966 | 0 | 0.0 | 921M|1076 | - |2007 |7769 | 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
763.10/763.20 c 747s| 1400k|753737 | 0 | 0.0 | 928M|1076 | - |2007 |8342 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.10/769.14 c 752s| 1410k|757863 | 0 | 0.0 | 934M|1076 | - |2007 |9196 | 0 | 0 | 0 |1444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
775.80/775.89 c 759s| 1420k|761450 | 0 | 0.0 | 938M|1076 | - |2007 |6093 | 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
779.21/779.29 c 762s| 1430k|769083 | 0 | 0.0 | 944M|1076 | - |2007 |5497 | 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
782.70/782.75 c 766s| 1440k|776469 | 0 | 0.0 | 951M|1076 | - |2007 |6018 | 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
786.30/786.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.30/786.31 c 769s| 1450k|783676 | 0 | 0.0 | 958M|1076 | - |2007 |6427 | 0 | 0 | 0 |1466k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
790.00/790.05 c 773s| 1460k|790682 | 0 | 0.0 | 964M|1076 | - |2007 |6780 | 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.21/794.27 c 777s| 1470k|796978 | 0 | 0.0 | 971M|1076 | - |2007 |7323 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
799.20/799.21 c 782s| 1480k|802242 | 0 | 0.0 | 979M|1076 | - |2007 |8355 | 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
805.01/805.04 c 787s| 1490k|806572 | 0 | 0.0 | 986M|1076 | - |2007 |9090 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
812.71/812.72 c 795s| 1500k|808825 | 0 | 0.0 | 991M|1076 | - |2007 |9899 | 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
817.70/817.73 c 799s| 1510k|814331 | 0 | 0.0 | 997M|1076 | - |2007 |7271 | 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.70/822.75 c 804s| 1520k|819275 | 0 | 0.0 |1004M|1076 | - |2007 |7959 | 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
827.90/827.96 c 809s| 1530k|824130 | 0 | 0.0 |1011M|1076 | - |2007 |8168 | 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
833.30/833.31 c 814s| 1540k|828782 | 0 | 0.0 |1018M|1076 | - |2007 |8782 | 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
838.89/838.97 c 819s| 1550k|833094 | 0 | 0.0 |1025M|1076 | - |2007 |9304 | 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
845.00/845.04 c 825s| 1560k|837077 | 0 | 0.0 |1031M|1076 | - |2007 |9766 | 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
850.69/850.79 c 830s| 1570k|841531 | 0 | 0.0 |1038M|1076 | - |2007 |9001 | 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
857.49/857.52 c 837s| 1580k|844724 | 0 | 0.0 |1045M|1076 | - |2007 | 10k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.30/864.34 c 843s| 1590k|848032 | 0 | 0.0 |1051M|1076 | - |2007 | 10k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.79/870.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.79/870.89 c 849s| 1600k|851809 | 0 | 0.0 |1058M|1076 | - |2007 | 10k| 0 | 0 | 0 |1589k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
878.19/878.26 c 856s| 1610k|854538 | 0 | 0.0 |1064M|1076 | - |2007 | 10k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
884.99/885.05 c 863s| 1620k|857951 | 0 | 0.0 |1071M|1076 | - |2007 | 10k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
891.89/892.00 c 869s| 1630k|861096 | 0 | 0.0 |1076M|1076 | - |2007 | 10k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.29/899.31 c 876s| 1640k|864133 | 0 | 0.0 |1083M|1076 | - |2007 | 10k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.00/906.03 c 883s| 1650k|867811 | 0 | 0.0 |1089M|1076 | - |2007 | 10k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
913.90/913.91 c 890s| 1660k|869871 | 0 | 0.0 |1094M|1076 | - |2007 | 10k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
921.00/921.05 c 897s| 1670k|873047 | 0 | 0.0 |1101M|1076 | - |2007 | 11k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
928.69/928.78 c 904s| 1680k|875076 | 0 | 0.0 |1105M|1076 | - |2007 |9426 | 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
936.00/936.06 c 911s| 1690k|877890 | 0 | 0.0 |1112M|1076 | - |2007 | 10k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
943.80/943.84 c 918s| 1700k|880560 | 0 | 0.0 |1117M|1076 | - |2007 |8550 | 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
951.69/951.78 c 926s| 1710k|882136 | 0 | 0.0 |1122M|1076 | - |2007 | 10k| 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
959.30/959.32 c 933s| 1720k|884811 | 0 | 0.0 |1129M|1076 | - |2007 | 11k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
967.20/967.23 c 941s| 1730k|887582 | 0 | 0.0 |1134M|1076 | - |2007 |8466 | 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
975.30/975.36 c 948s| 1740k|888945 | 0 | 0.0 |1139M|1076 | - |2007 | 10k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
983.50/983.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.50/983.51 c 956s| 1750k|891037 | 0 | 0.0 |1145M|1076 | - |2007 | 11k| 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
991.69/991.74 c 964s| 1760k|893510 | 0 | 0.0 |1150M|1076 | - |2007 |8631 | 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.30/1000.31 c 972s| 1770k|894400 | 0 | 0.0 |1154M|1076 | - |2007 | 10k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1008.70/1008.74 c 980s| 1780k|896311 | 0 | 0.0 |1160M|1076 | - |2007 | 12k| 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1017.40/1017.41 c 989s| 1790k|898526 | 0 | 0.0 |1166M|1076 | - |2007 |8572 | 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1026.40/1026.43 c 997s| 1800k|899150 | 0 | 0.0 |1169M|1076 | - |2007 | 11k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1035.20/1035.29 c 1006s| 1810k|900880 | 0 | 0.0 |1175M|1076 | - |2007 | 12k| 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1044.09/1044.15 c 1014s| 1820k|902840 | 0 | 0.0 |1180M|1076 | - |2007 |8288 | 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1054.09/1054.20 c 1024s| 1830k|902559 | 0 | 0.0 |1182M|1076 | - |2007 | 11k| 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1063.50/1063.52 c 1033s| 1840k|904034 | 0 | 0.0 |1188M|1076 | - |2007 | 12k| 0 | 0 | 0 |1873k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.40/1072.45 c 1041s| 1850k|905916 | 0 | 0.0 |1193M|1076 | - |2007 |8183 | 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1083.30/1083.34 c 1052s| 1860k|905392 | 0 | 0.0 |1196M|1076 | - |2007 | 12k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1092.90/1092.99 c 1061s| 1870k|907050 | 0 | 0.0 |1201M|1076 | - |2007 | 12k| 0 | 0 | 0 |1915k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1102.00/1102.06 c 1070s| 1880k|908279 | 0 | 0.0 |1205M|1076 | - |2007 |9769 | 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.21/1113.23 c 1080s| 1890k|907910 | 0 | 0.0 |1209M|1076 | - |2007 | 12k| 0 | 0 | 0 |1945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1123.11/1123.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.11/1123.11 c 1090s| 1900k|909221 | 0 | 0.0 |1215M|1076 | - |2007 | 12k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1132.90/1132.98 c 1099s| 1910k|909391 | 0 | 0.0 |1217M|1076 | - |2007 | 11k| 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.90/1143.95 c 1110s| 1920k|909523 | 0 | 0.0 |1222M|1076 | - |2007 | 12k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1154.10/1154.13 c 1120s| 1930k|910147 | 0 | 0.0 |1225M|1076 | - |2007 |9652 | 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1165.90/1165.94 c 1131s| 1940k|908997 | 0 | 0.0 |1227M|1076 | - |2007 | 12k| 0 | 0 | 0 |2021k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1176.50/1176.54 c 1141s| 1950k|909999 | 0 | 0.0 |1233M|1076 | - |2007 |9944 | 0 | 0 | 0 |2036k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1188.10/1188.16 c 1152s| 1960k|908605 | 0 | 0.0 |1234M|1076 | - |2007 | 12k| 0 | 0 | 0 |2054k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1199.20/1199.21 c 1163s| 1970k|909247 | 0 | 0.0 |1239M|1076 | - |2007 | 11k| 0 | 0 | 0 |2069k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1211.30/1211.30 c 1175s| 1980k|907642 | 0 | 0.0 |1239M|1076 | - |2007 | 13k| 0 | 0 | 0 |2087k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1222.70/1222.72 c 1186s| 1990k|908281 | 0 | 0.0 |1244M|1076 | - |2007 | 10k| 0 | 0 | 0 |2102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1235.00/1235.00 c 1198s| 2000k|906645 | 0 | 0.0 |1245M|1076 | - |2007 | 13k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.50/1246.54 c 1209s| 2010k|906609 | 0 | 0.0 |1247M|1076 | - |2007 | 11k| 0 | 0 | 0 |2137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1259.00/1259.05 c 1221s| 2020k|905800 | 0 | 0.0 |1250M|1076 | - |2007 | 13k| 0 | 0 | 0 |2155k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1272.00/1272.02 c 1233s| 2030k|904204 | 0 | 0.0 |1250M|1076 | - |2007 | 13k| 0 | 0 | 0 |2174k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.11/1285.11 c 1246s| 2040k|902693 | 0 | 0.0 |1251M|1076 | - |2007 | 13k| 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.20/1298.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.20/1298.29 c 1259s| 2050k|901285 | 0 | 0.0 |1251M|1076 | - |2007 | 13k| 0 | 0 | 0 |2211k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1312.00/1312.09 c 1272s| 2060k|899384 | 0 | 0.0 |1252M|1076 | - |2007 | 14k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1326.40/1326.46 c 1286s| 2070k|897340 | 0 | 0.0 |1252M|1076 | - |2007 | 15k| 0 | 0 | 0 |2251k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.10/1341.18 c 1300s| 2080k|894980 | 0 | 0.0 |1250M|1076 | - |2007 | 14k| 0 | 0 | 0 |2272k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1355.41/1355.45 c 1314s| 2090k|892473 | 0 | 0.0 |1248M|1076 | - |2007 | 14k| 0 | 0 | 0 |2293k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1370.30/1370.37 c 1328s| 2100k|889565 | 0 | 0.0 |1245M|1076 | - |2007 | 13k| 0 | 0 | 0 |2315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1385.70/1385.76 c 1343s| 2110k|886000 | 0 | 0.0 |1242M|1076 | - |2007 | 14k| 0 | 0 | 0 |2338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1396.20/1396.22 c 1353s| 2120k|886784 | 0 | 0.0 |1237M|1076 | - |2007 |6614 | 0 | 0 | 0 |2352k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1400.10/1400.15 c 1357s| 2130k|893588 | 0 | 0.0 |1243M|1076 | - |2007 |6022 | 0 | 0 | 0 |2357k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1404.21/1404.25 c 1360s| 2140k|900124 | 0 | 0.0 |1250M|1076 | - |2007 |5975 | 0 | 0 | 0 |2362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1408.20/1408.29 c 1364s| 2150k|906693 | 0 | 0.0 |1257M|1076 | - |2007 |6301 | 0 | 0 | 0 |2367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1412.31/1412.38 c 1368s| 2160k|913139 | 0 | 0.0 |1264M|1076 | - |2007 |6463 | 0 | 0 | 0 |2373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1416.51/1416.50 c 1372s| 2170k|919512 | 0 | 0.0 |1271M|1076 | - |2007 |6621 | 0 | 0 | 0 |2378k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1420.91/1420.93 c 1376s| 2180k|925565 | 0 | 0.0 |1277M|1076 | - |2007 |6861 | 0 | 0 | 0 |2384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1425.31/1425.33 c 1380s| 2190k|931660 | 0 | 0.0 |1284M|1076 | - |2007 |6490 | 0 | 0 | 0 |2390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1429.60/1429.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.60/1429.60 c 1384s| 2200k|937806 | 0 | 0.0 |1291M|1076 | - |2007 |6841 | 0 | 0 | 0 |2396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1434.11/1434.15 c 1388s| 2210k|943629 | 0 | 0.0 |1298M|1076 | - |2007 |7134 | 0 | 0 | 0 |2402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1438.61/1438.60 c 1392s| 2220k|949581 | 0 | 0.0 |1305M|1076 | - |2007 |6709 | 0 | 0 | 0 |2408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1443.41/1443.41 c 1396s| 2230k|955001 | 0 | 0.0 |1311M|1076 | - |2007 |7234 | 0 | 0 | 0 |2415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1448.21/1448.27 c 1401s| 2240k|960354 | 0 | 0.0 |1318M|1076 | - |2007 |7264 | 0 | 0 | 0 |2421k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.01/1453.02 c 1405s| 2250k|965904 | 0 | 0.0 |1325M|1076 | - |2007 |7379 | 0 | 0 | 0 |2428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1458.00/1458.01 c 1410s| 2260k|971019 | 0 | 0.0 |1332M|1076 | - |2007 |7693 | 0 | 0 | 0 |2435k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1462.81/1462.89 c 1414s| 2270k|976373 | 0 | 0.0 |1338M|1076 | - |2007 |7491 | 0 | 0 | 0 |2442k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1468.11/1468.10 c 1419s| 2280k|981249 | 0 | 0.0 |1345M|1076 | - |2007 |7639 | 0 | 0 | 0 |2449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1473.21/1473.29 c 1424s| 2290k|986274 | 0 | 0.0 |1352M|1076 | - |2007 |7707 | 0 | 0 | 0 |2456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1478.42/1478.48 c 1429s| 2300k|991272 | 0 | 0.0 |1359M|1076 | - |2007 |7358 | 0 | 0 | 0 |2464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1484.11/1484.11 c 1434s| 2310k|995649 | 0 | 0.0 |1365M|1076 | - |2007 |8018 | 0 | 0 | 0 |2472k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.41/1489.43 c 1439s| 2320k| 1000k| 0 | 0.0 |1372M|1076 | - |2007 |7750 | 0 | 0 | 0 |2479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1495.01/1495.00 c 1444s| 2330k| 1004k| 0 | 0.0 |1379M|1076 | - |2007 |8233 | 0 | 0 | 0 |2487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1500.21/1500.25 c 1449s| 2340k| 1009k| 0 | 0.0 |1385M|1076 | - |2007 |8038 | 0 | 0 | 0 |2495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1505.61/1505.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.61/1505.62 c 1454s| 2350k| 1014k| 0 | 0.0 |1392M|1076 | - |2007 |7361 | 0 | 0 | 0 |2502k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1511.71/1511.76 c 1460s| 2360k| 1018k| 0 | 0.0 |1398M|1076 | - |2007 |8447 | 0 | 0 | 0 |2511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.31/1517.37 c 1465s| 2370k| 1023k| 0 | 0.0 |1405M|1076 | - |2007 |7807 | 0 | 0 | 0 |2519k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1523.31/1523.39 c 1471s| 2380k| 1026k| 0 | 0.0 |1411M|1076 | - |2007 |8888 | 0 | 0 | 0 |2528k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1529.11/1529.15 c 1476s| 2390k| 1031k| 0 | 0.0 |1418M|1076 | - |2007 |8376 | 0 | 0 | 0 |2536k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1534.61/1534.62 c 1481s| 2400k| 1035k| 0 | 0.0 |1425M|1076 | - |2007 |7805 | 0 | 0 | 0 |2544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1541.12/1541.16 c 1488s| 2410k| 1039k| 0 | 0.0 |1431M|1076 | - |2007 |9262 | 0 | 0 | 0 |2553k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1547.01/1547.09 c 1493s| 2420k| 1043k| 0 | 0.0 |1437M|1076 | - |2007 |8277 | 0 | 0 | 0 |2562k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1553.01/1553.03 c 1499s| 2430k| 1047k| 0 | 0.0 |1444M|1076 | - |2007 |8592 | 0 | 0 | 0 |2571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1559.60/1559.69 c 1505s| 2440k| 1050k| 0 | 0.0 |1450M|1076 | - |2007 |9103 | 0 | 0 | 0 |2580k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.61/1565.60 c 1511s| 2450k| 1055k| 0 | 0.0 |1456M|1076 | - |2007 |8274 | 0 | 0 | 0 |2588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1572.40/1572.45 c 1517s| 2460k| 1058k| 0 | 0.0 |1462M|1076 | - |2007 |9606 | 0 | 0 | 0 |2598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.30/1579.39 c 1524s| 2470k| 1061k| 0 | 0.0 |1468M|1076 | - |2007 |9076 | 0 | 0 | 0 |2608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1585.61/1585.60 c 1529s| 2480k| 1065k| 0 | 0.0 |1475M|1076 | - |2007 |8175 | 0 | 0 | 0 |2617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.00/1593.06 c 1537s| 2490k| 1068k| 0 | 0.0 |1480M|1076 | - |2007 | 10k| 0 | 0 | 0 |2628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1599.90/1600.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.90/1600.00 c 1543s| 2500k| 1071k| 0 | 0.0 |1486M|1076 | - |2007 |8838 | 0 | 0 | 0 |2637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1606.50/1606.50 c 1549s| 2510k| 1075k| 0 | 0.0 |1493M|1076 | - |2007 |8725 | 0 | 0 | 0 |2646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1614.40/1614.40 c 1557s| 2520k| 1077k| 0 | 0.0 |1498M|1076 | - |2007 | 10k| 0 | 0 | 0 |2657k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1621.10/1621.14 c 1563s| 2530k| 1081k| 0 | 0.0 |1504M|1076 | - |2007 |8937 | 0 | 0 | 0 |2667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.60/1627.63 c 1569s| 2540k| 1084k| 0 | 0.0 |1510M|1076 | - |2007 |8940 | 0 | 0 | 0 |2676k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1635.80/1635.81 c 1577s| 2550k| 1086k| 0 | 0.0 |1515M|1076 | - |2007 | 10k| 0 | 0 | 0 |2688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1642.50/1642.53 c 1583s| 2560k| 1090k| 0 | 0.0 |1521M|1076 | - |2007 |9367 | 0 | 0 | 0 |2697k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1649.80/1649.81 c 1590s| 2570k| 1093k| 0 | 0.0 |1526M|1076 | - |2007 | 10k| 0 | 0 | 0 |2707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1657.70/1657.72 c 1598s| 2580k| 1095k| 0 | 0.0 |1532M|1076 | - |2007 |9677 | 0 | 0 | 0 |2718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.80/1664.81 c 1604s| 2590k| 1098k| 0 | 0.0 |1538M|1076 | - |2007 |9585 | 0 | 0 | 0 |2728k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.60/1673.69 c 1613s| 2600k| 1100k| 0 | 0.0 |1542M|1076 | - |2007 | 11k| 0 | 0 | 0 |2740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1681.50/1681.51 c 1620s| 2610k| 1103k| 0 | 0.0 |1548M|1076 | - |2007 | 10k| 0 | 0 | 0 |2751k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1689.10/1689.11 c 1628s| 2620k| 1106k| 0 | 0.0 |1554M|1076 | - |2007 | 11k| 0 | 0 | 0 |2761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1698.40/1698.41 c 1636s| 2630k| 1107k| 0 | 0.0 |1558M|1076 | - |2007 | 10k| 0 | 0 | 0 |2773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.11/1706.12 c 1644s| 2640k| 1110k| 0 | 0.0 |1564M|1076 | - |2007 | 11k| 0 | 0 | 0 |2784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1715.61/1715.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.61/1715.68 c 1653s| 2650k| 1111k| 0 | 0.0 |1568M|1076 | - |2007 | 11k| 0 | 0 | 0 |2797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1724.10/1724.13 c 1661s| 2660k| 1114k| 0 | 0.0 |1574M|1076 | - |2007 | 11k| 0 | 0 | 0 |2808k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1734.00/1734.01 c 1671s| 2670k| 1115k| 0 | 0.0 |1577M|1076 | - |2007 | 12k| 0 | 0 | 0 |2821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1742.80/1742.88 c 1679s| 2680k| 1117k| 0 | 0.0 |1583M|1076 | - |2007 | 11k| 0 | 0 | 0 |2833k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1752.31/1752.31 c 1688s| 2690k| 1119k| 0 | 0.0 |1586M|1076 | - |2007 | 12k| 0 | 0 | 0 |2845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1761.51/1761.50 c 1697s| 2700k| 1121k| 0 | 0.0 |1592M|1076 | - |2007 | 12k| 0 | 0 | 0 |2857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1771.61/1771.65 c 1707s| 2710k| 1122k| 0 | 0.0 |1595M|1076 | - |2007 | 13k| 0 | 0 | 0 |2871k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1780.91/1780.93 c 1716s| 2720k| 1124k| 0 | 0.0 |1601M|1076 | - |2007 | 13k| 0 | 0 | 0 |2882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1791.81/1791.84 c 1726s| 2730k| 1125k| 0 | 0.0 |1604M|1076 | - |2007 | 14k| 0 | 0 | 0 |2896k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1733.92
1800.01/1800.00 c Solving Nodes : 2738632
1800.01/1800.00 c Primal Bound : +2.00000000000000e+00 (20 solutions)
1800.01/1800.00 c Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Gap : infinite
1800.01/1800.01 s SATISFIABLE
1800.01/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.01/1800.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.01/1800.01 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.01/1800.01 v -x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.01/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.01/1800.01 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.01/1800.01 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.01/1800.01 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.01/1800.01 v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.01/1800.01 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.01/1800.01 v -x1
1800.01/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.01 c Solving Time : 1733.92
1800.01/1800.01 c Original Problem :
1800.01/1800.01 c Problem name : HOME/instance-2693580-1277911754.wbo
1800.01/1800.01 c Variables : 2105 (1168 binary, 0 integer, 0 implicit integer, 937 continuous)
1800.01/1800.01 c Constraints : 3645 initial, 3645 maximal
1800.01/1800.01 c Presolved Problem :
1800.01/1800.01 c Problem name : t_HOME/instance-2693580-1277911754.wbo
1800.01/1800.01 c Variables : 2007 (1119 binary, 0 integer, 0 implicit integer, 888 continuous)
1800.01/1800.01 c Constraints : 3483 initial, 19261 maximal
1800.01/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.01 c trivial : 0.00 49 0 0 0 0 0 0 0
1800.01/1800.01 c dualfix : 0.00 49 0 0 0 0 0 0 0
1800.01/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.01 c indicator : 0.00 0 0 0 0 0 49 0 0
1800.01/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c linear : 0.05 0 0 0 937 0 113 49 0
1800.01/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c root node : - 879 - - 1758 - - - -
1800.01/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c indicator : 888 0 4527094 0 1265013 26 683587 0 0 0
1800.01/1800.01 c setppc : 14 0 8833309 0 2151130 181963 7089710 0 0 0
1800.01/1800.01 c linear : 888 0 8652446 0 2151313 404146 37241685 0 0 0
1800.01/1800.01 c logicor : 1693+ 0 6609759 0 2151323 346803 19648993 0 0 0
1800.01/1800.01 c bounddisjunction : 0+ 0 503515 0 0 3 242 0 0 0
1800.01/1800.01 c countsols : 0 0 0 0 2151323 0 0 0 0 0
1800.01/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c indicator : 3.40 0.00 1.79 0.00 1.61
1800.01/1800.01 c setppc : 38.63 0.00 34.29 0.00 4.34
1800.01/1800.01 c linear : 212.99 0.00 211.32 0.00 1.67
1800.01/1800.01 c logicor : 567.52 0.00 467.17 0.00 100.35
1800.01/1800.01 c bounddisjunction : 1.92 0.00 1.92 0.00 0.00
1800.01/1800.01 c countsols : 0.21 0.00 0.00 0.00 0.21
1800.01/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.01 c vbounds : 1.07 2 0 0
1800.01/1800.01 c rootredcost : 1.12 0 0 0
1800.01/1800.01 c pseudoobj : 148.57 8834525 248 678492
1800.01/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.01 c propagation : 42.49 933163 933114 4686367 22.2 250421 10.3 -
1800.01/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c pseudo solution : 0.00 12 12 49 24.9 15 10.5 -
1800.01/1800.01 c applied globally : - - - 2907221 20.0 - - -
1800.01/1800.01 c applied locally : - - - 14 123.1 - - -
1800.01/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.01 c redcost : 0.00 0 0 0 0 0
1800.01/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.01 c intobj : 0.00 0 0 0 0 0
1800.01/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.01 c gomory : 0.00 0 0 0 0 0
1800.01/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.01 c cmir : 0.00 0 0 0 0 0
1800.01/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.01 c clique : 0.00 0 0 0 0 0
1800.01/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.01 c mcf : 0.00 0 0 0 0 0
1800.01/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.01 c Pricers : Time Calls Vars
1800.01/1800.01 c problem variables: 0.00 0 0
1800.01/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 28.48 2151303 0 0 0 0 4302606
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 0
1800.01/1800.01 c pseudo solutions : 0.06 - 20
1800.01/1800.01 c oneopt : 0.59 0 0
1800.01/1800.01 c trivial : 0.00 2 0
1800.01/1800.01 c simplerounding : 0.00 0 0
1800.01/1800.01 c zirounding : 0.00 0 0
1800.01/1800.01 c rounding : 0.00 0 0
1800.01/1800.01 c shifting : 0.00 0 0
1800.01/1800.01 c intshifting : 0.00 0 0
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c feaspump : 0.00 0 0
1800.01/1800.01 c coefdiving : 0.00 0 0
1800.01/1800.01 c pscostdiving : 0.00 0 0
1800.01/1800.01 c fracdiving : 0.00 0 0
1800.01/1800.01 c veclendiving : 0.00 0 0
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c objpscostdiving : 0.00 0 0
1800.01/1800.01 c rootsoldiving : 0.00 0 0
1800.01/1800.01 c linesearchdiving : 0.00 0 0
1800.01/1800.01 c guideddiving : 0.00 0 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.00 0 0
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c crossover : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c undercover : 0.00 0 0
1800.01/1800.01 c nlp : 0.38 0 0
1800.01/1800.01 c trysol : 0.34 1 0
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.01 c (at root node) : - 0 0 0.00 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 2738632
1800.01/1800.01 c nodes (total) : 2738632
1800.01/1800.01 c nodes left : 1127301
1800.01/1800.01 c max depth : 1076
1800.01/1800.01 c max depth (total): 1076
1800.01/1800.01 c backtracks : 544192 (19.9%)
1800.01/1800.01 c delayed cutoffs : 419643
1800.01/1800.01 c repropagations : 1770407 (19192867 domain reductions, 345892 cutoffs)
1800.01/1800.01 c avg switch length: 25.06
1800.01/1800.01 c switching time : 559.71
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 20 (20 improvements)
1800.01/1800.01 c First Solution : +6.04000000000000e+02 (in run 1, after 4232 nodes, 1.10 seconds, depth 445, found by <relaxation>)
1800.01/1800.01 c Primal Bound : +2.00000000000000e+00 (in run 1, after 841282 nodes, 482.31 seconds, depth 78, found by <relaxation>)
1800.01/1800.01 c Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693580-1277911754/watcher-2693580-1277911754 -o /tmp/evaluation-result-2693580-1277911754/solver-2693580-1277911754 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693580-1277911754.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.01 1.99 4/182 13900 /proc/meminfo: memFree=31243608/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=8296 CPUtime=0 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 1555 0 0 0 0 0 0 0 25 0 1 0 132471510 8495104 1477 4089446400 4194304 7136930 140735534321008 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13900/statm: 2074 1482 275 719 0 1353 0 [startup+0.0626979 s] /proc/loadavg: 1.93 2.01 1.99 4/182 13900 /proc/meminfo: memFree=31243608/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=21316 CPUtime=0.05 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 5497 0 0 0 5 0 0 0 25 0 1 0 132471510 21827584 4551 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13900/statm: 5329 4551 348 719 0 4608 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 21316 [startup+0.100693 s] /proc/loadavg: 1.93 2.01 1.99 4/182 13900 /proc/meminfo: memFree=31243608/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=22060 CPUtime=0.09 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 7249 0 0 0 9 0 0 0 25 0 1 0 132471510 22589440 4761 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13900/statm: 5515 4761 360 719 0 4794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22060 [startup+0.300661 s] /proc/loadavg: 1.93 2.01 1.99 4/182 13900 /proc/meminfo: memFree=31243608/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=24164 CPUtime=0.29 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 8579 0 0 0 28 1 0 0 25 0 1 0 132471510 24743936 5320 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13900/statm: 6041 5320 391 719 0 5320 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24164 [startup+0.700587 s] /proc/loadavg: 1.93 2.01 1.99 4/182 13900 /proc/meminfo: memFree=31243608/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=26360 CPUtime=0.69 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 9124 0 0 0 67 2 0 0 25 0 1 0 132471510 26992640 5865 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/13900/statm: 6590 5865 395 719 0 5869 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26360 [startup+1.50045 s] /proc/loadavg: 1.93 2.01 1.99 3/183 13901 /proc/meminfo: memFree=31220660/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=27900 CPUtime=1.49 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 9530 0 0 0 145 4 0 0 25 0 1 0 132471510 28569600 6271 4089446400 4194304 7136930 140735534321008 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 6975 6271 396 719 0 6254 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27900 [startup+3.10016 s] /proc/loadavg: 1.93 2.01 1.99 3/183 13901 /proc/meminfo: memFree=31216940/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=33620 CPUtime=3.09 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 10963 0 0 0 300 9 0 0 25 0 1 0 132471510 34426880 7704 4089446400 4194304 7136930 140735534321008 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 8405 7704 396 719 0 7684 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33620 [startup+6.30059 s] /proc/loadavg: 1.94 2.01 1.99 3/183 13901 /proc/meminfo: memFree=31206776/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=42936 CPUtime=6.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 13333 0 0 0 611 19 0 0 25 0 1 0 132471510 43966464 10074 4089446400 4194304 7136930 140735534321008 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 10734 10074 396 719 0 10013 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 42936 [startup+12.7004 s] /proc/loadavg: 1.94 2.01 1.99 3/183 13901 /proc/meminfo: memFree=31189152/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=64748 CPUtime=12.68 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 18493 0 0 0 1230 38 0 0 25 0 1 0 132471510 66301952 15234 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 16187 15234 398 719 0 15466 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64748 [startup+25.5002 s] /proc/loadavg: 1.96 2.01 1.99 3/183 13902 /proc/meminfo: memFree=31147780/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=102400 CPUtime=25.49 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 27796 0 0 0 2468 81 0 0 25 0 1 0 132471510 104857600 24537 4089446400 4194304 7136930 140735534321008 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 25600 24537 398 719 0 24879 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 102400 [startup+51.1006 s] /proc/loadavg: 1.97 2.01 1.99 3/183 13903 /proc/meminfo: memFree=31092988/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=159236 CPUtime=51.09 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 41587 0 0 0 4966 143 0 0 25 0 1 0 132471510 163057664 38328 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13900/statm: 39809 38328 398 719 0 39088 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 159236 [startup+102.307 s] /proc/loadavg: 1.98 2.00 1.99 3/183 13904 /proc/meminfo: memFree=30993628/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=261364 CPUtime=102.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 65826 0 0 0 9967 263 0 0 25 0 1 0 132471510 267636736 62567 4089446400 4194304 7136930 140735534321008 18446744073709551615 4431706 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13900/statm: 65341 62567 398 719 0 64620 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 261364 [startup+162.301 s] /proc/loadavg: 2.03 2.02 2.00 3/183 13908 /proc/meminfo: memFree=30862692/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=395252 CPUtime=162.29 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 98229 0 0 0 15813 416 0 0 25 0 1 0 132471510 404738048 94970 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13900/statm: 98813 94970 398 719 0 98092 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 395252 [startup+222.301 s] /proc/loadavg: 2.01 2.01 2.00 3/183 13910 /proc/meminfo: memFree=30790640/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=466064 CPUtime=222.29 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 116110 0 0 0 21701 528 0 0 25 0 1 0 132471510 477249536 112851 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13900/statm: 116516 112851 398 719 0 115795 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 466064 [startup+282.3 s] /proc/loadavg: 2.05 2.02 2.00 3/183 13912 /proc/meminfo: memFree=30728464/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=528380 CPUtime=282.29 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 131719 0 0 0 27606 623 0 0 25 0 1 0 132471510 541061120 128460 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13900/statm: 132095 128460 398 719 0 131374 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 528380 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.00 3/183 13914 /proc/meminfo: memFree=30683288/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=571672 CPUtime=342.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 142453 0 0 0 33526 704 0 0 25 0 1 0 132471510 585392128 139194 4089446400 4194304 7136930 140735534321008 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 142918 139194 398 719 0 142197 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 571672 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/183 13915 /proc/meminfo: memFree=30664148/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=590512 CPUtime=402.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 147150 0 0 0 39459 771 0 0 25 0 1 0 132471510 604684288 143891 4089446400 4194304 7136930 140735534321008 18446744073709551615 4221538 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 147628 143891 398 719 0 146907 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 590512 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13916 /proc/meminfo: memFree=30595412/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=658024 CPUtime=462.29 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 164134 0 0 0 45347 882 0 0 25 0 1 0 132471510 673816576 160875 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 164506 160875 398 719 0 163785 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 658024 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13918 /proc/meminfo: memFree=30526044/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=738644 CPUtime=522.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 182329 0 0 0 51212 1018 0 0 25 0 1 0 132471510 756371456 179070 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 184661 179070 398 719 0 183940 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 738644 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13920 /proc/meminfo: memFree=30455684/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=804352 CPUtime=582.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 198710 0 0 0 57065 1165 0 0 25 0 1 0 132471510 823656448 195451 4089446400 4194304 7136930 140735534321008 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 201088 195451 398 719 0 200367 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 804352 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 13922 /proc/meminfo: memFree=30366364/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=891676 CPUtime=642.31 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 220737 0 0 0 62901 1330 0 0 25 0 1 0 132471510 913076224 217478 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/13900/statm: 222919 217478 398 719 0 222198 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 891676 [startup+702.301 s] ################ # More data... # ################ /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 318416 0 0 0 97414 2815 0 0 25 0 1 0 132471510 1309220864 315157 4089446400 4194304 7136930 140735534321008 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 319634 315157 398 719 0 318913 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 1278536 [startup+1062.3 s] /proc/loadavg: 2.16 2.08 2.01 3/201 13999 /proc/meminfo: memFree=29962556/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1317548 CPUtime=1062.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 328211 0 0 0 103155 3075 0 0 25 0 1 0 132471510 1349169152 324952 4089446400 4194304 7136930 140735534321008 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 329387 324952 398 719 0 328666 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1317548 [startup+1122.3 s] /proc/loadavg: 2.22 2.09 2.02 3/201 14001 /proc/meminfo: memFree=29933348/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1344884 CPUtime=1122.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 335006 0 0 0 108911 3319 0 0 25 0 1 0 132471510 1377161216 331747 4089446400 4194304 7136930 140735534321008 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 336221 331747 398 719 0 335500 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1344884 [startup+1182.3 s] /proc/loadavg: 2.08 2.08 2.01 3/201 14003 /proc/meminfo: memFree=29920880/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1356304 CPUtime=1182.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 337948 0 0 0 114671 3559 0 0 25 0 1 0 132471510 1388855296 334689 4089446400 4194304 7136930 140735534321008 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 339076 334689 398 719 0 338355 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1356304 [startup+1242.3 s] /proc/loadavg: 2.10 2.07 2.01 3/201 14005 /proc/meminfo: memFree=29905060/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1371724 CPUtime=1242.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 341848 0 0 0 120459 3771 0 0 25 0 1 0 132471510 1404645376 338589 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 342931 338589 398 719 0 342210 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1371724 [startup+1302.3 s] /proc/loadavg: 2.07 2.07 2.01 3/201 14006 /proc/meminfo: memFree=29898284/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1377872 CPUtime=1302.31 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 343408 0 0 0 126248 3983 0 0 25 0 1 0 132471510 1410940928 340149 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 344468 340149 398 719 0 343747 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1377872 [startup+1362.3 s] /proc/loadavg: 2.02 2.06 2.01 3/201 14007 /proc/meminfo: memFree=29895260/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1380756 CPUtime=1362.31 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 344141 0 0 0 132046 4185 0 0 25 0 1 0 132471510 1413894144 340882 4089446400 4194304 7136930 140735534321008 18446744073709551615 4431726 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 345189 340882 398 719 0 344468 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1380756 [startup+1422.31 s] /proc/loadavg: 2.01 2.04 2.00 3/201 14009 /proc/meminfo: memFree=29870260/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1405416 CPUtime=1422.31 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 350379 0 0 0 137706 4525 0 0 25 0 1 0 132471510 1439145984 347120 4089446400 4194304 7136930 140735534321008 18446744073709551615 4923119 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 351354 347120 398 719 0 350633 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1405416 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/201 14011 /proc/meminfo: memFree=29789756/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1501344 CPUtime=1482.31 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 370523 0 0 0 143254 4977 0 0 25 0 1 0 132471510 1537376256 367264 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 375336 367264 398 719 0 374615 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1501344 [startup+1542.3 s] /proc/loadavg: 2.06 2.04 2.00 3/201 14013 /proc/meminfo: memFree=29719768/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1570356 CPUtime=1542.31 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 387717 0 0 0 148868 5363 0 0 25 0 1 0 132471510 1608044544 384458 4089446400 4194304 7136930 140735534321008 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/13900/statm: 392589 384458 398 719 0 391868 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1570356 [startup+1602.3 s] /proc/loadavg: 2.02 2.03 2.00 3/201 14014 /proc/meminfo: memFree=29662416/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1628068 CPUtime=1602.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 402270 0 0 0 154529 5701 0 0 25 0 1 0 132471510 1667141632 399011 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13900/statm: 407017 399011 398 719 0 406296 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 1628068 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 3/201 14015 /proc/meminfo: memFree=29615972/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1673208 CPUtime=1662.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 413672 0 0 0 160208 6022 0 0 25 0 1 0 132471510 1713364992 410413 4089446400 4194304 7136930 140735534321008 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13900/statm: 418302 410413 398 719 0 417581 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 1673208 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/201 14017 /proc/meminfo: memFree=29577228/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1712632 CPUtime=1722.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 423605 0 0 0 165937 6293 0 0 25 0 1 0 132471510 1753735168 420346 4089446400 4194304 7136930 140735534321008 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13900/statm: 428158 420346 398 719 0 427437 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 1712632 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/201 14019 /proc/meminfo: memFree=29550856/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1736476 CPUtime=1782.3 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 429572 0 0 0 171691 6539 0 0 25 0 1 0 132471510 1778151424 426313 4089446400 4194304 7136930 140735534321008 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13900/statm: 434119 426313 398 719 0 433398 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 1736476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.03 2.00 3/201 14019 /proc/meminfo: memFree=29542536/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1744552 CPUtime=1800.01 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 431615 0 0 0 173394 6607 0 0 25 0 1 0 132471510 1786421248 428356 4089446400 4194304 7136930 140735534321008 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/13900/statm: 436138 428356 398 719 0 435417 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1744552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13900 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.07 2.03 2.00 3/202 14020 /proc/meminfo: memFree=29542528/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1744712 CPUtime=1801.4 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 431625 0 0 0 173533 6607 0 0 25 0 1 0 132471510 1786585088 428366 4089446400 4194304 7136930 140735534321008 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13900/statm: 436178 428366 403 719 0 435457 0 Current children cumulated CPU time (s) 1801.4 Current children cumulated vsize (KiB) 1744712 [startup+1801.81 s] /proc/loadavg: 2.07 2.03 2.00 3/202 14020 /proc/meminfo: memFree=29542404/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1744712 CPUtime=1801.81 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 431625 0 0 0 173574 6607 0 0 25 0 1 0 132471510 1786585088 428366 4089446400 4194304 7136930 140735534321008 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13900/statm: 436178 428366 403 719 0 435457 0 Current children cumulated CPU time (s) 1801.81 Current children cumulated vsize (KiB) 1744712 [startup+1802 s] /proc/loadavg: 2.07 2.03 2.00 3/202 14020 /proc/meminfo: memFree=29542404/32951124 swapFree=67111528/67111528 [pid=13900] ppid=13898 vsize=1744712 CPUtime=1802 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13138 0 -1 4202496 431625 0 0 0 173593 6607 0 0 25 0 1 0 132471510 1786585088 428366 4089446400 4194304 7136930 140735534321008 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/13900/statm: 436178 428366 403 719 0 435457 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 1744712 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.08 CPU user time (s): 1735.94 CPU system time (s): 66.1349 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1744712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1735.94 system time used= 66.1349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 431625 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= 10857 runsolver used 2.98555 second user time and 6.86796 second system time The end
Begin job on node132 at 2010-06-30 17:29:14 IDJOB=2693580 IDBENCH=78990 IDSOLVER=1206 FILE ID=node132/2693580-1277911754 PBS_JOBID= 11197250 Free space on /tmp= 74136 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.1900577940--soft-66-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-2693580-1277911754/watcher-2693580-1277911754 -o /tmp/evaluation-result-2693580-1277911754/solver-2693580-1277911754 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693580-1277911754.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 95aa4a8f0430d7fc4dd41a3f578cfb3e RANDOM SEED=1338587130 node132.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.810 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.62 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.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.810 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.810 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31244012 kB Buffers: 191616 kB Cached: 1216804 kB SwapCached: 0 kB Active: 696716 kB Inactive: 867236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31244012 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3128 kB Writeback: 0 kB AnonPages: 155628 kB Mapped: 16936 kB Slab: 81196 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 306244 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node132 at 2010-06-30 17:59:16