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.1 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo |
| MD5SUM | 5d7330038698be4d7397c9bceea53fdc |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 292.568 |
| 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 | 733 |
| 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-2694191-1277910124.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.00/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.08/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.09
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.15 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.15 c 0.1s| 1 | 2 | 0 | - |7684k| 0 | - |2007 |3483 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.05 o 322
1.00/1.05 c * 1.0s| 3615 | 3158 | 0 | 0.0 |9995k|1076 | - |2007 |3974 | 0 | 0 | 0 | 702 | 0 | 0.000000e+00 | 3.220000e+02 | Inf
1.00/1.06 o 318
1.00/1.06 c * 1.0s| 3616 | 3156 | 0 | 0.0 | 10M|1076 | - |2007 |3974 | 0 | 0 | 0 | 702 | 0 | 0.000000e+00 | 3.180000e+02 | Inf
2.88/2.95 c 2.8s| 10000 | 8500 | 0 | 0.0 | 14M|1076 | - |2007 |4822 | 0 | 0 | 0 |3451 | 0 | 0.000000e+00 | 3.180000e+02 | Inf
6.68/6.76 c 6.5s| 20000 | 15391 | 0 | 0.0 | 22M|1076 | - |2007 |5277 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.180000e+02 | Inf
8.99/9.07 o 270
8.99/9.07 c * 8.8s| 24576 | 17586 | 0 | 0.0 | 26M|1076 | - |2007 |6441 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.700000e+02 | Inf
8.99/9.07 o 217
8.99/9.07 c * 8.8s| 24577 | 17540 | 0 | 0.0 | 26M|1076 | - |2007 |6441 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
9.08/9.11 o 195
9.08/9.11 c * 8.8s| 24679 | 17612 | 0 | 0.0 | 26M|1076 | - |2007 |6358 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
9.58/9.63 o 177
9.58/9.63 c * 9.3s| 26139 | 18972 | 0 | 0.0 | 26M|1076 | - |2007 |5746 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
9.68/9.74 o 173
9.68/9.74 c * 9.4s| 26466 | 19282 | 0 | 0.0 | 26M|1076 | - |2007 |5667 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
9.80/9.90 o 94
9.80/9.90 c * 9.6s| 26936 | 19128 | 0 | 0.0 | 26M|1076 | - |2007 |5585 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
9.90/9.98 o 73
9.90/9.98 c * 9.7s| 27149 | 18711 | 0 | 0.0 | 26M|1076 | - |2007 |5542 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
9.90/9.98 o 50
9.90/9.98 c * 9.7s| 27150 | 18383 | 0 | 0.0 | 26M|1076 | - |2007 |5542 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
10.09/10.19 o 40
10.09/10.19 c * 9.9s| 27711 | 18688 | 0 | 0.0 | 27M|1076 | - |2007 |5478 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
10.19/10.20 o 34
10.19/10.20 c * 9.9s| 27764 | 18637 | 0 | 0.0 | 27M|1076 | - |2007 |5447 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
10.19/10.22 o 31
10.19/10.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.19/10.22 c * 9.9s| 27808 | 18577 | 0 | 0.0 | 27M|1076 | - |2007 |5397 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
11.19/11.24 c 10.9s| 30000 | 20373 | 0 | 0.0 | 31M|1076 | - |2007 |5042 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
15.29/15.31 c 14.9s| 40000 | 28281 | 0 | 0.0 | 47M|1076 | - |2007 |5872 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
19.19/19.28 c 18.8s| 50000 | 35516 | 0 | 0.0 | 54M|1076 | - |2007 |7046 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
23.49/23.53 c 22.9s| 60000 | 42488 | 0 | 0.0 | 62M|1076 | - |2007 |7931 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
28.09/28.18 c 27.5s| 70000 | 49085 | 0 | 0.0 | 69M|1076 | - |2007 |8197 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
33.49/33.57 c 32.8s| 80000 | 54878 | 0 | 0.0 | 77M|1076 | - |2007 |9022 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
39.69/39.78 c 38.9s| 90000 | 60009 | 0 | 0.0 | 85M|1076 | - |2007 | 10k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
46.29/46.36 c 45.4s|100000 | 64865 | 0 | 0.0 | 94M|1076 | - |2007 | 10k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
53.29/53.37 c 52.2s|110000 | 69318 | 0 | 0.0 | 103M|1076 | - |2007 | 11k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
61.09/61.13 c 59.9s|120000 | 73145 | 0 | 0.0 | 111M|1076 | - |2007 | 11k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
70.89/70.90 c 69.5s|130000 | 75147 | 0 | 0.0 | 117M|1076 | - |2007 | 12k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
75.19/75.21 c 73.7s|140000 | 83787 | 0 | 0.0 | 122M|1076 | - |2007 |6221 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 3.100000e+01 | Inf
79.39/79.49 o 20
79.39/79.49 c *77.9s|148814 | 88073 | 0 | 0.0 | 123M|1076 | - |2007 |7106 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
80.09/80.19 c 78.6s|150000 | 88962 | 0 | 0.0 | 124M|1076 | - |2007 |7256 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
87.29/87.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.29/87.35 c 85.6s|160000 | 95595 | 0 | 0.0 | 136M|1076 | - |2007 |8535 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
94.99/95.05 c 93.2s|170000 |101694 | 0 | 0.0 | 147M|1076 | - |2007 |7994 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
101.59/101.68 c 99.7s|180000 |107679 | 0 | 0.0 | 159M|1076 | - |2007 |7803 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
106.79/106.85 c 105s|190000 |114103 | 0 | 0.0 | 166M|1076 | - |2007 |5836 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
109.69/109.71 o 19
109.69/109.71 c * 108s|196476 |118492 | 0 | 0.0 | 170M|1076 | - |2007 |6187 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
111.39/111.46 c 109s|200000 |120816 | 0 | 0.0 | 173M|1076 | - |2007 |6163 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
116.50/116.59 c 114s|210000 |126898 | 0 | 0.0 | 181M|1076 | - |2007 |7461 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
120.69/120.77 c 118s|220000 |134109 | 0 | 0.0 | 188M|1076 | - |2007 |6848 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
125.09/125.11 c 123s|230000 |141043 | 0 | 0.0 | 195M|1076 | - |2007 |6599 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
129.29/129.32 c 127s|240000 |148139 | 0 | 0.0 | 201M|1076 | - |2007 |6150 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
133.39/133.49 c 131s|250000 |155356 | 0 | 0.0 | 208M|1076 | - |2007 |5238 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
138.59/138.62 c 136s|260000 |161466 | 0 | 0.0 | 215M|1076 | - |2007 |6734 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
144.69/144.78 c 142s|270000 |166507 | 0 | 0.0 | 223M|1076 | - |2007 |7434 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
151.79/151.81 c 149s|280000 |170623 | 0 | 0.0 | 230M|1076 | - |2007 |7791 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
158.79/158.84 c 156s|290000 |174746 | 0 | 0.0 | 238M|1076 | - |2007 |8501 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
166.49/166.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.49/166.50 c 163s|300000 |178312 | 0 | 0.0 | 245M|1076 | - |2007 |8774 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
174.09/174.11 c 171s|310000 |182020 | 0 | 0.0 | 252M|1076 | - |2007 |8726 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
182.09/182.11 c 178s|320000 |185189 | 0 | 0.0 | 259M|1076 | - |2007 |8751 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
189.99/190.06 c 186s|330000 |188390 | 0 | 0.0 | 266M|1076 | - |2007 |9261 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
198.00/198.04 c 194s|340000 |191682 | 0 | 0.0 | 273M|1076 | - |2007 |9386 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
205.89/205.93 c 202s|350000 |195101 | 0 | 0.0 | 279M|1076 | - |2007 | 10k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
213.99/214.04 c 210s|360000 |198491 | 0 | 0.0 | 285M|1076 | - |2007 |9333 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
222.49/222.57 c 218s|370000 |201321 | 0 | 0.0 | 291M|1076 | - |2007 | 10k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
231.19/231.23 c 227s|380000 |204214 | 0 | 0.0 | 298M|1076 | - |2007 | 11k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
240.80/240.81 c 236s|390000 |206288 | 0 | 0.0 | 303M|1076 | - |2007 | 11k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
250.50/250.55 c 246s|400000 |208496 | 0 | 0.0 | 308M|1076 | - |2007 | 12k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
261.10/261.15 c 256s|410000 |210032 | 0 | 0.0 | 313M|1076 | - |2007 | 13k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
271.99/272.02 c 267s|420000 |211502 | 0 | 0.0 | 318M|1076 | - |2007 | 12k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
284.00/284.00 c 279s|430000 |211901 | 0 | 0.0 | 322M|1076 | - |2007 | 13k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
298.49/298.53 c 293s|440000 |210605 | 0 | 0.0 | 324M|1076 | - |2007 | 14k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
311.20/311.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.20/311.24 c 306s|450000 |211178 | 0 | 0.0 | 320M|1076 | - |2007 |4917 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
314.79/314.86 o 13
314.79/314.86 c * 310s|459284 |216796 | 0 | 0.0 | 321M|1076 | - |2007 |4241 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
315.20/315.20 c 310s|460000 |217309 | 0 | 0.0 | 322M|1076 | - |2007 |4313 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
319.39/319.47 c 314s|470000 |224716 | 0 | 0.0 | 330M|1076 | - |2007 |4734 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
323.90/323.98 c 318s|480000 |231781 | 0 | 0.0 | 337M|1076 | - |2007 |5173 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
328.69/328.72 c 323s|490000 |238633 | 0 | 0.0 | 344M|1076 | - |2007 |5484 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
333.80/333.88 c 328s|500000 |245110 | 0 | 0.0 | 352M|1076 | - |2007 |5907 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
339.29/339.38 c 333s|510000 |251272 | 0 | 0.0 | 359M|1076 | - |2007 |6310 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
345.30/345.35 c 339s|520000 |256990 | 0 | 0.0 | 367M|1076 | - |2007 |6655 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
351.70/351.70 c 346s|530000 |262345 | 0 | 0.0 | 374M|1076 | - |2007 |7058 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
358.40/358.43 c 352s|540000 |267457 | 0 | 0.0 | 382M|1076 | - |2007 |7484 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
365.50/365.52 c 359s|550000 |272298 | 0 | 0.0 | 390M|1076 | - |2007 |8196 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
373.20/373.22 c 367s|560000 |276641 | 0 | 0.0 | 397M|1076 | - |2007 |8856 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
381.49/381.59 c 375s|570000 |280557 | 0 | 0.0 | 405M|1076 | - |2007 |9378 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
390.80/390.83 c 384s|580000 |283921 | 0 | 0.0 | 412M|1076 | - |2007 |9609 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
401.09/401.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.09/401.14 c 394s|590000 |286423 | 0 | 0.0 | 418M|1076 | - |2007 | 10k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
412.10/412.13 c 405s|600000 |288648 | 0 | 0.0 | 424M|1076 | - |2007 | 10k| 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
420.30/420.30 c 413s|610000 |292990 | 0 | 0.0 | 428M|1076 | - |2007 |7561 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
425.19/425.29 c 418s|620000 |299806 | 0 | 0.0 | 434M|1076 | - |2007 |7102 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
430.30/430.36 c 423s|630000 |306496 | 0 | 0.0 | 440M|1076 | - |2007 |7694 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
435.90/435.93 c 428s|640000 |312616 | 0 | 0.0 | 447M|1076 | - |2007 |8859 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
443.30/443.37 c 436s|650000 |317209 | 0 | 0.0 | 455M|1076 | - |2007 | 10k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
452.60/452.63 c 445s|660000 |320792 | 0 | 0.0 | 463M|1076 | - |2007 | 12k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
454.40/454.46 o 12
454.40/454.46 c * 447s|661527 |320425 | 0 | 0.0 | 462M|1076 | - |2007 | 12k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
460.00/460.07 c 452s|670000 |325694 | 0 | 0.0 | 466M|1076 | - |2007 |8326 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
464.60/464.62 c 457s|680000 |332999 | 0 | 0.0 | 472M|1076 | - |2007 |8027 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
469.60/469.68 c 462s|690000 |339653 | 0 | 0.0 | 479M|1076 | - |2007 |9088 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
475.21/475.22 c 467s|700000 |345984 | 0 | 0.0 | 486M|1076 | - |2007 | 10k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
482.20/482.23 c 474s|710000 |351144 | 0 | 0.0 | 493M|1076 | - |2007 | 12k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
491.50/491.50 c 483s|720000 |354983 | 0 | 0.0 | 501M|1076 | - |2007 | 14k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
498.80/498.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.80/498.81 c 490s|730000 |360992 | 0 | 0.0 | 507M|1076 | - |2007 | 12k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
503.81/503.81 o 10
503.81/503.81 c * 495s|738829 |363851 | 0 | 0.0 | 504M|1076 | - |2007 | 11k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
504.50/504.59 c 496s|740000 |364639 | 0 | 0.0 | 505M|1076 | - |2007 | 11k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
510.20/510.25 c 501s|750000 |371180 | 0 | 0.0 | 511M|1076 | - |2007 | 11k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
517.01/517.08 c 508s|760000 |376827 | 0 | 0.0 | 519M|1076 | - |2007 | 13k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
526.00/526.07 c 517s|770000 |380827 | 0 | 0.0 | 526M|1076 | - |2007 | 13k| 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
534.30/534.33 c 525s|780000 |385900 | 0 | 0.0 | 533M|1076 | - |2007 | 12k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
541.30/541.34 c 532s|790000 |391862 | 0 | 0.0 | 542M|1076 | - |2007 | 11k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
548.11/548.17 c 539s|800000 |397839 | 0 | 0.0 | 551M|1076 | - |2007 | 11k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
552.10/552.19 o 5
552.10/552.19 c * 543s|805787 |398839 | 0 | 0.0 | 552M|1076 | - |2007 | 12k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
555.51/555.59 c 546s|810000 |401067 | 0 | 0.0 | 557M|1076 | - |2007 | 13k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
564.90/564.96 c 555s|820000 |405484 | 0 | 0.0 | 569M|1076 | - |2007 | 15k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
575.71/575.77 c 566s|830000 |409071 | 0 | 0.0 | 576M|1076 | - |2007 | 13k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
580.81/580.87 c 571s|840000 |416672 | 0 | 0.0 | 584M|1076 | - |2007 | 11k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
586.21/586.20 c 576s|850000 |423742 | 0 | 0.0 | 593M|1076 | - |2007 | 11k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
592.40/592.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.40/592.43 c 582s|860000 |430170 | 0 | 0.0 | 601M|1076 | - |2007 |8198 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
598.81/598.84 c 589s|870000 |434906 | 0 | 0.0 | 608M|1076 | - |2007 |9503 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
606.61/606.69 c 596s|880000 |438148 | 0 | 0.0 | 614M|1076 | - |2007 | 11k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
612.71/612.78 c 602s|890000 |443801 | 0 | 0.0 | 618M|1076 | - |2007 |7416 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
616.91/616.92 c 606s|900000 |451181 | 0 | 0.0 | 624M|1076 | - |2007 |8057 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
621.70/621.77 c 611s|910000 |457760 | 0 | 0.0 | 631M|1076 | - |2007 |8990 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
627.10/627.17 c 616s|920000 |463712 | 0 | 0.0 | 637M|1076 | - |2007 |9694 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
634.01/634.02 c 623s|930000 |468233 | 0 | 0.0 | 644M|1076 | - |2007 | 11k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
643.01/643.07 c 632s|940000 |470964 | 0 | 0.0 | 649M|1076 | - |2007 | 13k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
647.81/647.87 c 637s|950000 |478071 | 0 | 0.0 | 653M|1076 | - |2007 |7562 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
652.01/652.05 c 641s|960000 |485365 | 0 | 0.0 | 659M|1076 | - |2007 |8066 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
656.40/656.49 c 645s|970000 |492320 | 0 | 0.0 | 665M|1076 | - |2007 |8572 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
661.30/661.34 c 650s|980000 |498725 | 0 | 0.0 | 671M|1076 | - |2007 |8958 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
667.90/667.94 c 656s|990000 |503348 | 0 | 0.0 | 678M|1076 | - |2007 |9922 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
675.51/675.54 c 664s| 1000k|507029 | 0 | 0.0 | 685M|1076 | - |2007 | 11k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
682.21/682.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.21/682.28 c 670s| 1010k|511722 | 0 | 0.0 | 688M|1076 | - |2007 |4998 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
686.50/686.59 c 674s| 1020k|518654 | 0 | 0.0 | 694M|1076 | - |2007 |4264 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
690.11/690.11 c 678s| 1030k|526504 | 0 | 0.0 | 700M|1076 | - |2007 |4832 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
694.41/694.41 c 682s| 1040k|533431 | 0 | 0.0 | 707M|1076 | - |2007 |6336 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
699.10/699.10 c 687s| 1050k|540093 | 0 | 0.0 | 713M|1076 | - |2007 |4877 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
703.21/703.22 c 691s| 1060k|547087 | 0 | 0.0 | 719M|1076 | - |2007 |4937 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
707.21/707.20 c 695s| 1070k|554233 | 0 | 0.0 | 725M|1076 | - |2007 |4007 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
711.21/711.25 c 698s| 1080k|561209 | 0 | 0.0 | 731M|1076 | - |2007 |4902 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
720.42/720.47 c 708s| 1090k|562446 | 0 | 0.0 | 737M|1076 | - |2007 |7292 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
731.51/731.53 c 718s| 1100k|562534 | 0 | 0.0 | 742M|1076 | - |2007 |9034 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
743.21/743.23 c 730s| 1110k|562411 | 0 | 0.0 | 745M|1076 | - |2007 |9555 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
755.50/755.60 c 742s| 1120k|561682 | 0 | 0.0 | 748M|1076 | - |2007 |9138 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
767.81/767.86 c 754s| 1130k|561425 | 0 | 0.0 | 751M|1076 | - |2007 |8282 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
780.21/780.24 c 767s| 1140k|560393 | 0 | 0.0 | 752M|1076 | - |2007 |9758 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
792.41/792.42 c 779s| 1150k|559971 | 0 | 0.0 | 756M|1076 | - |2007 | 11k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
804.51/804.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.51/804.53 c 791s| 1160k|559448 | 0 | 0.0 | 757M|1076 | - |2007 |8258 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
814.80/814.89 c 801s| 1170k|557982 | 0 | 0.0 | 758M|1076 | - |2007 | 10k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
825.10/825.18 c 811s| 1180k|557229 | 0 | 0.0 | 759M|1076 | - |2007 | 11k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
835.51/835.58 c 821s| 1190k|556615 | 0 | 0.0 | 762M|1076 | - |2007 | 12k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
846.91/846.98 c 832s| 1200k|555422 | 0 | 0.0 | 762M|1076 | - |2007 | 11k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
858.91/858.92 c 844s| 1210k|553565 | 0 | 0.0 | 762M|1076 | - |2007 | 13k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
871.22/871.25 c 856s| 1220k|552173 | 0 | 0.0 | 764M|1076 | - |2007 | 14k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
885.11/885.11 c 870s| 1230k|549639 | 0 | 0.0 | 762M|1076 | - |2007 | 15k| 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
899.91/899.93 c 885s| 1240k|546594 | 0 | 0.0 | 760M|1076 | - |2007 | 16k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
916.61/916.63 c 901s| 1250k|539904 | 0 | 0.0 | 751M|1076 | - |2007 | 16k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
930.81/930.86 c 915s| 1260k|533168 | 0 | 0.0 | 729M|1076 | - |2007 |5571 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
935.11/935.12 c 919s| 1270k|539531 | 0 | 0.0 | 735M|1076 | - |2007 |4900 | 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
939.42/939.43 c 924s| 1280k|545649 | 0 | 0.0 | 742M|1076 | - |2007 |4909 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
943.62/943.62 c 928s| 1290k|551787 | 0 | 0.0 | 748M|1076 | - |2007 |5014 | 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
948.01/948.01 c 932s| 1300k|557538 | 0 | 0.0 | 755M|1076 | - |2007 |5501 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
952.81/952.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.81/952.88 c 937s| 1310k|562835 | 0 | 0.0 | 762M|1076 | - |2007 |5449 | 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
957.81/957.83 c 942s| 1320k|567953 | 0 | 0.0 | 768M|1076 | - |2007 |6149 | 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
963.01/963.03 c 947s| 1330k|572781 | 0 | 0.0 | 775M|1076 | - |2007 |6406 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
968.41/968.42 c 952s| 1340k|577318 | 0 | 0.0 | 781M|1076 | - |2007 |6255 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
974.11/974.15 c 957s| 1350k|581373 | 0 | 0.0 | 787M|1076 | - |2007 |6435 | 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
979.91/979.95 c 963s| 1360k|585386 | 0 | 0.0 | 793M|1076 | - |2007 |6212 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
985.92/985.92 c 969s| 1370k|589315 | 0 | 0.0 | 800M|1076 | - |2007 |6192 | 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
991.42/991.44 c 974s| 1380k|593665 | 0 | 0.0 | 806M|1076 | - |2007 |6900 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
996.62/996.66 c 979s| 1390k|598362 | 0 | 0.0 | 811M|1076 | - |2007 |5733 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1002.81/1002.89 c 986s| 1400k|601734 | 0 | 0.0 | 817M|1076 | - |2007 |7472 | 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1009.72/1009.75 c 992s| 1410k|604281 | 0 | 0.0 | 823M|1076 | - |2007 |7763 | 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1016.62/1016.66 c 999s| 1420k|606845 | 0 | 0.0 | 828M|1076 | - |2007 |7576 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1023.12/1023.20 c 1006s| 1430k|610191 | 0 | 0.0 | 835M|1076 | - |2007 |6986 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1030.52/1030.56 c 1013s| 1440k|612131 | 0 | 0.0 | 840M|1076 | - |2007 |8356 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1037.91/1037.94 c 1020s| 1450k|614151 | 0 | 0.0 | 845M|1076 | - |2007 |8350 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1045.12/1045.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.12/1045.13 c 1027s| 1460k|616635 | 0 | 0.0 | 850M|1076 | - |2007 |7264 | 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1052.62/1052.64 c 1034s| 1470k|618867 | 0 | 0.0 | 857M|1076 | - |2007 |9302 | 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1060.62/1060.63 c 1042s| 1480k|620223 | 0 | 0.0 | 861M|1076 | - |2007 |8880 | 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1068.31/1068.30 c 1050s| 1490k|622469 | 0 | 0.0 | 866M|1076 | - |2007 |7672 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1076.62/1076.62 c 1058s| 1500k|623913 | 0 | 0.0 | 872M|1076 | - |2007 | 10k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1085.32/1085.36 c 1067s| 1510k|624894 | 0 | 0.0 | 876M|1076 | - |2007 |9715 | 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1094.01/1094.05 c 1075s| 1520k|626004 | 0 | 0.0 | 880M|1076 | - |2007 |9734 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1103.22/1103.26 c 1084s| 1530k|626602 | 0 | 0.0 | 884M|1076 | - |2007 |9769 | 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1112.32/1112.30 c 1093s| 1540k|627509 | 0 | 0.0 | 888M|1076 | - |2007 |9595 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1121.42/1121.46 c 1102s| 1550k|628090 | 0 | 0.0 | 893M|1076 | - |2007 |9775 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1131.11/1131.14 c 1112s| 1560k|628154 | 0 | 0.0 | 897M|1076 | - |2007 | 10k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1141.12/1141.14 c 1121s| 1570k|627914 | 0 | 0.0 | 898M|1076 | - |2007 |9921 | 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1152.12/1152.10 c 1132s| 1580k|626575 | 0 | 0.0 | 899M|1076 | - |2007 | 10k| 0 | 0 | 0 |1480k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1163.61/1163.68 c 1144s| 1590k|624895 | 0 | 0.0 | 899M|1076 | - |2007 | 10k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1174.51/1174.56 c 1154s| 1600k|623905 | 0 | 0.0 | 898M|1076 | - |2007 |8429 | 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1181.62/1181.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.62/1181.69 c 1161s| 1610k|626323 | 0 | 0.0 | 901M|1076 | - |2007 |7164 | 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1187.82/1187.89 c 1167s| 1620k|630068 | 0 | 0.0 | 906M|1076 | - |2007 |7590 | 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1194.42/1194.46 c 1174s| 1630k|633518 | 0 | 0.0 | 912M|1076 | - |2007 |8348 | 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1201.13/1201.18 c 1180s| 1640k|636942 | 0 | 0.0 | 918M|1076 | - |2007 |8737 | 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1208.32/1208.39 c 1187s| 1650k|639806 | 0 | 0.0 | 924M|1076 | - |2007 |9096 | 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1215.82/1215.83 c 1195s| 1660k|642512 | 0 | 0.0 | 930M|1076 | - |2007 | 10k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1224.02/1224.01 c 1203s| 1670k|644630 | 0 | 0.0 | 935M|1076 | - |2007 | 10k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1232.22/1232.28 c 1211s| 1680k|646807 | 0 | 0.0 | 941M|1076 | - |2007 | 11k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1240.73/1240.71 c 1219s| 1690k|648993 | 0 | 0.0 | 947M|1076 | - |2007 | 11k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1249.83/1249.88 c 1228s| 1700k|650514 | 0 | 0.0 | 951M|1076 | - |2007 | 12k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1259.83/1259.85 c 1238s| 1710k|651639 | 0 | 0.0 | 955M|1076 | - |2007 | 13k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1271.32/1271.39 c 1249s| 1720k|651672 | 0 | 0.0 | 958M|1076 | - |2007 | 14k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1285.93/1285.91 c 1264s| 1730k|648629 | 0 | 0.0 | 957M|1076 | - |2007 | 19k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1291.92/1291.91 c 1270s| 1740k|654086 | 0 | 0.0 | 960M|1076 | - |2007 |7524 | 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1297.22/1297.29 c 1275s| 1750k|659187 | 0 | 0.0 | 966M|1076 | - |2007 |7578 | 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1303.02/1303.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.02/1303.00 c 1280s| 1760k|663817 | 0 | 0.0 | 973M|1076 | - |2007 |8555 | 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1309.52/1309.56 c 1287s| 1770k|667595 | 0 | 0.0 | 979M|1076 | - |2007 |9333 | 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1316.52/1316.59 c 1294s| 1780k|670998 | 0 | 0.0 | 986M|1076 | - |2007 | 10k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1324.13/1324.14 c 1301s| 1790k|673890 | 0 | 0.0 | 992M|1076 | - |2007 | 10k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1332.23/1332.25 c 1309s| 1800k|676276 | 0 | 0.0 | 998M|1076 | - |2007 | 11k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1341.02/1341.03 c 1318s| 1810k|678095 | 0 | 0.0 |1003M|1076 | - |2007 | 12k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1350.02/1350.00 c 1327s| 1820k|679809 | 0 | 0.0 |1009M|1076 | - |2007 | 13k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1359.93/1359.91 c 1336s| 1830k|680802 | 0 | 0.0 |1014M|1076 | - |2007 | 13k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1369.53/1369.58 c 1346s| 1840k|682155 | 0 | 0.0 |1019M|1076 | - |2007 | 13k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1380.02/1380.09 c 1356s| 1850k|682746 | 0 | 0.0 |1022M|1076 | - |2007 | 14k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1391.73/1391.79 c 1368s| 1860k|682382 | 0 | 0.0 |1024M|1076 | - |2007 | 15k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1404.22/1404.28 c 1380s| 1870k|681317 | 0 | 0.0 |1024M|1076 | - |2007 | 15k| 0 | 0 | 0 |1801k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1410.53/1410.55 c 1386s| 1880k|685704 | 0 | 0.0 |1027M|1076 | - |2007 |8381 | 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1415.83/1415.81 c 1391s| 1890k|690944 | 0 | 0.0 |1033M|1076 | - |2007 |8773 | 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1421.42/1421.41 c 1397s| 1900k|695807 | 0 | 0.0 |1039M|1076 | - |2007 |9006 | 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1427.62/1427.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.62/1427.69 c 1403s| 1910k|699914 | 0 | 0.0 |1045M|1076 | - |2007 | 10k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1434.62/1434.63 c 1410s| 1920k|703484 | 0 | 0.0 |1051M|1076 | - |2007 |9897 | 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1441.92/1441.94 c 1417s| 1930k|706622 | 0 | 0.0 |1057M|1076 | - |2007 | 10k| 0 | 0 | 0 |1848k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1449.63/1449.64 c 1424s| 1940k|709234 | 0 | 0.0 |1062M|1076 | - |2007 | 10k| 0 | 0 | 0 |1858k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1457.63/1457.66 c 1432s| 1950k|711552 | 0 | 0.0 |1068M|1076 | - |2007 | 11k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1466.43/1466.49 c 1441s| 1960k|713265 | 0 | 0.0 |1073M|1076 | - |2007 | 12k| 0 | 0 | 0 |1879k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1475.23/1475.28 c 1450s| 1970k|715112 | 0 | 0.0 |1078M|1076 | - |2007 | 13k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1484.82/1484.84 c 1459s| 1980k|716432 | 0 | 0.0 |1082M|1076 | - |2007 | 13k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1495.33/1495.37 c 1469s| 1990k|716864 | 0 | 0.0 |1084M|1076 | - |2007 | 13k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1504.93/1504.96 c 1479s| 2000k|718012 | 0 | 0.0 |1086M|1076 | - |2007 | 10k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1511.93/1511.95 c 1486s| 2010k|721429 | 0 | 0.0 |1090M|1076 | - |2007 |8915 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1518.13/1518.18 c 1492s| 2020k|725352 | 0 | 0.0 |1094M|1076 | - |2007 |8630 | 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1524.12/1524.15 c 1498s| 2030k|729607 | 0 | 0.0 |1100M|1076 | - |2007 |9086 | 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1529.83/1529.83 c 1503s| 2040k|734428 | 0 | 0.0 |1105M|1076 | - |2007 |9218 | 0 | 0 | 0 |1962k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1535.93/1536.00 c 1509s| 2050k|738591 | 0 | 0.0 |1111M|1076 | - |2007 | 10k| 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1542.24/1542.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.24/1542.25 c 1515s| 2060k|742856 | 0 | 0.0 |1116M|1076 | - |2007 |9978 | 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1549.03/1549.03 c 1522s| 2070k|746551 | 0 | 0.0 |1122M|1076 | - |2007 | 11k| 0 | 0 | 0 |1988k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1555.93/1555.98 c 1529s| 2080k|750218 | 0 | 0.0 |1128M|1076 | - |2007 | 11k| 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1563.63/1563.67 c 1536s| 2090k|753201 | 0 | 0.0 |1134M|1076 | - |2007 | 12k| 0 | 0 | 0 |2008k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1572.03/1572.04 c 1545s| 2100k|755787 | 0 | 0.0 |1138M|1076 | - |2007 | 13k| 0 | 0 | 0 |2019k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1580.83/1580.83 c 1553s| 2110k|758164 | 0 | 0.0 |1142M|1076 | - |2007 | 14k| 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1590.54/1590.52 c 1563s| 2120k|760065 | 0 | 0.0 |1145M|1076 | - |2007 | 15k| 0 | 0 | 0 |2043k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1602.13/1602.10 c 1574s| 2130k|760689 | 0 | 0.0 |1147M|1076 | - |2007 | 18k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1618.04/1618.06 c 1590s| 2140k|758553 | 0 | 0.0 |1144M|1076 | - |2007 | 15k| 0 | 0 | 0 |2077k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1623.33/1623.35 c 1595s| 2150k|764934 | 0 | 0.0 |1148M|1076 | - |2007 |9501 | 0 | 0 | 0 |2082k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1628.24/1628.25 c 1600s| 2160k|770986 | 0 | 0.0 |1154M|1076 | - |2007 |9065 | 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1633.43/1633.47 c 1605s| 2170k|776542 | 0 | 0.0 |1161M|1076 | - |2007 |9645 | 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1639.13/1639.16 c 1611s| 2180k|781633 | 0 | 0.0 |1167M|1076 | - |2007 | 10k| 0 | 0 | 0 |2101k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1645.33/1645.34 c 1617s| 2190k|786264 | 0 | 0.0 |1174M|1076 | - |2007 | 11k| 0 | 0 | 0 |2109k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1651.64/1651.64 c 1623s| 2200k|790866 | 0 | 0.0 |1180M|1076 | - |2007 | 11k| 0 | 0 | 0 |2116k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1658.33/1658.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.33/1658.30 c 1629s| 2210k|795195 | 0 | 0.0 |1186M|1076 | - |2007 | 12k| 0 | 0 | 0 |2124k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1665.34/1665.34 c 1636s| 2220k|799254 | 0 | 0.0 |1192M|1076 | - |2007 | 12k| 0 | 0 | 0 |2133k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1672.94/1672.98 c 1644s| 2230k|802684 | 0 | 0.0 |1197M|1076 | - |2007 | 13k| 0 | 0 | 0 |2142k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1680.63/1680.62 c 1651s| 2240k|806113 | 0 | 0.0 |1203M|1076 | - |2007 | 14k| 0 | 0 | 0 |2151k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1688.63/1688.62 c 1659s| 2250k|809340 | 0 | 0.0 |1208M|1076 | - |2007 | 14k| 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1696.94/1696.97 c 1667s| 2260k|812378 | 0 | 0.0 |1214M|1076 | - |2007 | 14k| 0 | 0 | 0 |2171k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1705.64/1705.66 c 1676s| 2270k|815222 | 0 | 0.0 |1219M|1076 | - |2007 | 15k| 0 | 0 | 0 |2181k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1715.63/1715.67 c 1686s| 2280k|817162 | 0 | 0.0 |1223M|1076 | - |2007 | 16k| 0 | 0 | 0 |2192k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1726.24/1726.24 c 1696s| 2290k|818761 | 0 | 0.0 |1227M|1076 | - |2007 | 18k| 0 | 0 | 0 |2205k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1739.53/1739.52 c 1709s| 2300k|818814 | 0 | 0.0 |1229M|1076 | - |2007 | 20k| 0 | 0 | 0 |2219k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1753.94/1753.91 c 1724s| 2310k|818640 | 0 | 0.0 |1229M|1076 | - |2007 | 18k| 0 | 0 | 0 |2235k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1759.43/1759.48 c 1729s| 2320k|825300 | 0 | 0.0 |1233M|1076 | - |2007 | 12k| 0 | 0 | 0 |2240k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1764.74/1764.79 c 1734s| 2330k|831311 | 0 | 0.0 |1239M|1076 | - |2007 | 11k| 0 | 0 | 0 |2245k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1770.34/1770.37 c 1740s| 2340k|836805 | 0 | 0.0 |1245M|1076 | - |2007 | 10k| 0 | 0 | 0 |2251k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1776.23/1776.23 c 1745s| 2350k|841941 | 0 | 0.0 |1251M|1076 | - |2007 | 11k| 0 | 0 | 0 |2258k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1782.84/1782.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.84/1782.86 c 1752s| 2360k|846351 | 0 | 0.0 |1257M|1076 | - |2007 | 12k| 0 | 0 | 0 |2266k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1789.83/1789.89 c 1759s| 2370k|850690 | 0 | 0.0 |1264M|1076 | - |2007 | 12k| 0 | 0 | 0 |2273k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1797.94/1797.96 c 1767s| 2380k|853959 | 0 | 0.0 |1270M|1076 | - |2007 | 13k| 0 | 0 | 0 |2282k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1768.76
1800.04/1800.00 c Solving Nodes : 2382170
1800.04/1800.00 c Primal Bound : +5.00000000000000e+00 (19 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/1800.01 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.01 v -x125 -x124 -x123 x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.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.04/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
1800.04/1800.01 v -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.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.04/1800.01 v -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1768.76
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2694191-1277910124.wbo
1800.04/1800.01 c Variables : 2105 (1168 binary, 0 integer, 0 implicit integer, 937 continuous)
1800.04/1800.01 c Constraints : 3645 initial, 3645 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2694191-1277910124.wbo
1800.04/1800.01 c Variables : 2007 (1119 binary, 0 integer, 0 implicit integer, 888 continuous)
1800.04/1800.01 c Constraints : 3483 initial, 24662 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 49 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.01 49 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 49 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.04 0 0 0 937 0 113 49 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 850 - - 1700 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 888 0 6087398 0 1457435 156 1120118 0 0 0
1800.04/1800.01 c setppc : 14 0 8313662 0 1821386 175414 6150105 0 0 0
1800.04/1800.01 c linear : 888 0 8138704 0 1821601 367122 37529981 0 0 0
1800.04/1800.01 c logicor : 1693+ 0 5844417 0 1821610 319676 17142675 0 0 0
1800.04/1800.01 c bounddisjunction : 0+ 0 314488 0 0 3 156 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 1821610 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c indicator : 10.37 0.00 6.06 0.00 4.31
1800.04/1800.01 c setppc : 39.60 0.00 36.02 0.00 3.58
1800.04/1800.01 c linear : 232.93 0.00 231.29 0.00 1.64
1800.04/1800.01 c logicor : 564.52 0.00 470.10 0.00 94.42
1800.04/1800.01 c bounddisjunction : 1.32 0.00 1.32 0.00 0.00
1800.04/1800.01 c countsols : 0.30 0.00 0.00 0.00 0.30
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 2.15 2 0 0
1800.04/1800.01 c rootredcost : 2.01 0 0 0
1800.04/1800.01 c pseudoobj : 150.08 8315225 1105 1091675
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 36.92 863320 863273 3920189 18.2 70225 11.4 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.01 33 33 135 13.1 18 10.9 -
1800.04/1800.01 c applied globally : - - - 2285424 16.8 - - -
1800.04/1800.01 c applied locally : - - - 19 130.9 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 0.00 0 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 0 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 26.75 1821591 0 0 0 0 3643182
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.07 - 19
1800.04/1800.01 c oneopt : 0.87 0 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.63 0 0
1800.04/1800.01 c trysol : 0.61 1 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2382170
1800.04/1800.01 c nodes (total) : 2382170
1800.04/1800.01 c nodes left : 854365
1800.04/1800.01 c max depth : 1076
1800.04/1800.01 c max depth (total): 1076
1800.04/1800.01 c backtracks : 543261 (22.8%)
1800.04/1800.01 c delayed cutoffs : 393331
1800.04/1800.01 c repropagations : 2075469 (18427342 domain reductions, 302949 cutoffs)
1800.04/1800.01 c avg switch length: 32.89
1800.04/1800.01 c switching time : 562.47
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 19 (19 improvements)
1800.04/1800.01 c First Solution : +3.22000000000000e+02 (in run 1, after 3615 nodes, 0.97 seconds, depth 180, found by <relaxation>)
1800.04/1800.01 c Primal Bound : +5.00000000000000e+00 (in run 1, after 805787 nodes, 542.64 seconds, depth 346, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694191-1277910124/watcher-2694191-1277910124 -o /tmp/evaluation-result-2694191-1277910124/solver-2694191-1277910124 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694191-1277910124.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.93 2.46 2.17 4/199 16938 /proc/meminfo: memFree=30979776/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=8148 CPUtime=0 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 1543 0 0 0 0 0 0 0 22 0 1 0 132307113 8343552 1466 4089446400 4194304 7136930 140737172658240 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/16938/statm: 2037 1466 275 719 0 1316 0 [startup+0.087202 s] /proc/loadavg: 2.93 2.46 2.17 4/199 16938 /proc/meminfo: memFree=30979776/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=22064 CPUtime=0.08 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 5960 0 0 0 7 1 0 0 23 0 1 0 132307113 22593536 4758 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16938/statm: 5516 4758 358 719 0 4795 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22064 [startup+0.101193 s] /proc/loadavg: 2.93 2.46 2.17 4/199 16938 /proc/meminfo: memFree=30979776/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=22064 CPUtime=0.09 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 7247 0 0 0 8 1 0 0 23 0 1 0 132307113 22593536 4760 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/16938/statm: 5516 4760 360 719 0 4795 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22064 [startup+0.30116 s] /proc/loadavg: 2.93 2.46 2.17 4/199 16938 /proc/meminfo: memFree=30979776/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=24168 CPUtime=0.29 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 8577 0 0 0 27 2 0 0 23 0 1 0 132307113 24748032 5319 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 6042 5319 391 719 0 5321 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24168 [startup+0.701086 s] /proc/loadavg: 2.93 2.46 2.17 4/199 16938 /proc/meminfo: memFree=30979776/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=26360 CPUtime=0.69 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 9120 0 0 0 65 4 0 0 25 0 1 0 132307113 26992640 5862 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 6590 5862 395 719 0 5869 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26360 [startup+1.50097 s] /proc/loadavg: 2.93 2.46 2.17 4/200 16939 /proc/meminfo: memFree=30956828/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=28068 CPUtime=1.49 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 9564 0 0 0 143 6 0 0 25 0 1 0 132307113 28741632 6306 4089446400 4194304 7136930 140737172658240 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 7017 6306 395 719 0 6296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28068 [startup+3.10069 s] /proc/loadavg: 2.94 2.47 2.18 4/200 16939 /proc/meminfo: memFree=30952736/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=32880 CPUtime=3.09 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 10787 0 0 0 299 10 0 0 25 0 1 0 132307113 33669120 7529 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 8220 7529 395 719 0 7499 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32880 [startup+6.30112 s] /proc/loadavg: 2.94 2.47 2.18 4/200 16939 /proc/meminfo: memFree=30943616/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=41828 CPUtime=6.29 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 12999 0 0 0 610 19 0 0 25 0 1 0 132307113 42831872 9741 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 10457 9741 395 719 0 9736 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41828 [startup+12.701 s] /proc/loadavg: 2.94 2.48 2.18 4/200 16939 /proc/meminfo: memFree=30925720/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=61988 CPUtime=12.69 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 17832 0 0 0 1235 34 0 0 25 0 1 0 132307113 63475712 14574 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 15497 14574 398 719 0 14776 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61988 [startup+25.5007 s] /proc/loadavg: 2.95 2.51 2.19 4/200 16939 /proc/meminfo: memFree=30887796/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=98016 CPUtime=25.49 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 26643 0 0 0 2486 63 0 0 25 0 1 0 132307113 100368384 23385 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 24504 23385 398 719 0 23783 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 98016 [startup+51.1011 s] /proc/loadavg: 2.89 2.53 2.21 4/200 16940 /proc/meminfo: memFree=30842936/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=142232 CPUtime=51.09 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 37198 0 0 0 5002 107 0 0 25 0 1 0 132307113 145645568 33940 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 35558 33940 398 719 0 34837 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 142232 [startup+102.307 s] /proc/loadavg: 2.86 2.57 2.24 3/200 16941 /proc/meminfo: memFree=30758560/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=226832 CPUtime=102.29 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 57056 0 0 0 10031 198 0 0 25 0 1 0 132307113 232275968 53798 4089446400 4194304 7136930 140737172658240 18446744073709551615 4221002 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 56708 53798 398 719 0 55987 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 226832 [startup+162.3 s] /proc/loadavg: 2.81 2.60 2.27 4/200 16943 /proc/meminfo: memFree=30666100/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=316140 CPUtime=162.3 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 79347 0 0 0 15901 329 0 0 25 0 1 0 132307113 323727360 76089 4089446400 4194304 7136930 140737172658240 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 79035 76089 398 719 0 78314 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 316140 [startup+222.3 s] /proc/loadavg: 2.86 2.65 2.30 4/200 16945 /proc/meminfo: memFree=30597316/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=385376 CPUtime=222.3 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 95639 0 0 0 21811 419 0 0 25 0 1 0 132307113 394625024 92381 4089446400 4194304 7136930 140737172658240 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 96344 92381 398 719 0 95623 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 385376 [startup+282.301 s] /proc/loadavg: 3.08 2.72 2.35 4/200 16947 /proc/meminfo: memFree=30559248/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=420872 CPUtime=282.29 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 104491 0 0 0 27735 494 0 0 25 0 1 0 132307113 430972928 101233 4089446400 4194304 7136930 140737172658240 18446744073709551615 4618482 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 105218 101233 398 719 0 104497 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 420872 [startup+342.301 s] /proc/loadavg: 2.94 2.75 2.38 4/200 16948 /proc/meminfo: memFree=30511144/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=463836 CPUtime=342.3 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 115303 0 0 0 33637 593 0 0 25 0 1 0 132307113 474968064 112045 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 115959 112045 398 719 0 115238 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 463836 [startup+402.3 s] /proc/loadavg: 3.46 2.89 2.44 4/200 16949 /proc/meminfo: memFree=30450044/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=522740 CPUtime=402.3 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 129638 0 0 0 39531 699 0 0 25 0 1 0 132307113 535285760 126380 4089446400 4194304 7136930 140737172658240 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 130685 126380 398 719 0 129964 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 522740 [startup+462.301 s] /proc/loadavg: 3.02 2.86 2.46 3/200 16951 /proc/meminfo: memFree=30390952/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=579408 CPUtime=462.29 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 143815 0 0 0 45431 798 0 0 25 0 1 0 132307113 593313792 140557 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 144852 140557 398 719 0 144131 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 579408 [startup+522.301 s] /proc/loadavg: 3.00 2.88 2.49 4/200 16953 /proc/meminfo: memFree=30321044/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=645956 CPUtime=522.3 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 160654 0 0 0 51328 902 0 0 25 0 1 0 132307113 661458944 157396 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 161489 157396 398 719 0 160768 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 645956 [startup+582.301 s] /proc/loadavg: 2.85 2.86 2.50 5/200 16955 /proc/meminfo: memFree=30251604/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=713772 CPUtime=582.31 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 177333 0 0 0 57232 999 0 0 25 0 1 0 132307113 730902528 174075 4089446400 4194304 7136930 140737172658240 18446744073709551615 5952220 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 178443 174075 398 719 0 177722 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 713772 [startup+642.3 s] /proc/loadavg: 2.81 2.84 2.52 4/200 16956 /proc/meminfo: memFree=30186916/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=781416 CPUtime=642.31 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 192431 0 0 0 63113 1118 0 0 25 0 1 0 132307113 800169984 189173 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 195354 189173 398 719 0 194633 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 781416 [startup+702.301 s] ################ # More data... # ################ /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 236265 0 0 0 98503 1729 0 0 25 0 1 0 132307113 979013632 233007 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 239017 233007 398 719 0 238296 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 956068 [startup+1062.3 s] /proc/loadavg: 2.00 2.29 2.38 3/179 17018 /proc/meminfo: memFree=29625224/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=994148 CPUtime=1062.32 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 245935 0 0 0 104391 1841 0 0 25 0 1 0 132307113 1018007552 242677 4089446400 4194304 7136930 140737172658240 18446744073709551615 4661540 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 248537 242677 398 719 0 247816 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 994148 [startup+1122.3 s] /proc/loadavg: 2.00 2.23 2.35 3/179 17020 /proc/meminfo: memFree=29513564/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1031724 CPUtime=1122.32 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 255363 0 0 0 110285 1947 0 0 25 0 1 0 132307113 1056485376 252105 4089446400 4194304 7136930 140737172658240 18446744073709551615 4223098 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 257931 252105 398 719 0 257210 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1031724 [startup+1182.3 s] /proc/loadavg: 2.00 2.19 2.33 3/179 17022 /proc/meminfo: memFree=29470580/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1041828 CPUtime=1182.31 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 257648 0 0 0 116196 2035 0 0 25 0 1 0 132307113 1066831872 254390 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 260457 254390 398 719 0 259736 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1041828 [startup+1242.3 s] /proc/loadavg: 2.00 2.15 2.31 3/179 17023 /proc/meminfo: memFree=29320976/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1080856 CPUtime=1242.32 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 267485 0 0 0 122079 2153 0 0 25 0 1 0 132307113 1106796544 264227 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 270214 264227 398 719 0 269493 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1080856 [startup+1302.3 s] /proc/loadavg: 2.00 2.12 2.28 3/179 17024 /proc/meminfo: memFree=29174696/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1106572 CPUtime=1302.33 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 273831 0 0 0 127978 2255 0 0 25 0 1 0 132307113 1133129728 270573 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 276643 270573 398 719 0 275922 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1106572 [startup+1362.3 s] /proc/loadavg: 2.13 2.13 2.27 3/179 17026 /proc/meminfo: memFree=29046640/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1152380 CPUtime=1362.32 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 285261 0 0 0 133867 2365 0 0 25 0 1 0 132307113 1180037120 282003 4089446400 4194304 7136930 140737172658240 18446744073709551615 4393377 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 288095 282003 398 719 0 287374 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1152380 [startup+1422.31 s] /proc/loadavg: 2.04 2.10 2.25 3/179 17028 /proc/meminfo: memFree=28940552/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1177816 CPUtime=1422.33 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 291727 0 0 0 139765 2468 0 0 25 0 1 0 132307113 1206083584 288469 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 294454 288469 398 719 0 293733 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1177816 [startup+1482.3 s] /proc/loadavg: 2.02 2.08 2.24 3/179 17030 /proc/meminfo: memFree=28804332/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1220548 CPUtime=1482.33 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 302499 0 0 0 145653 2580 0 0 25 0 1 0 132307113 1249841152 299241 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 305137 299241 398 719 0 304416 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1220548 [startup+1542.3 s] /proc/loadavg: 2.00 2.06 2.22 3/179 17031 /proc/meminfo: memFree=28719804/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1250488 CPUtime=1542.33 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 310097 0 0 0 151545 2688 0 0 25 0 1 0 132307113 1280499712 306839 4089446400 4194304 7136930 140737172658240 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 312622 306839 398 719 0 311901 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1250488 [startup+1602.3 s] /proc/loadavg: 2.00 2.05 2.20 3/179 17032 /proc/meminfo: memFree=28615568/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1287180 CPUtime=1602.33 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 319340 0 0 0 157447 2786 0 0 25 0 1 0 132307113 1318072320 316082 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 321795 316082 398 719 0 321074 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1287180 [startup+1662.3 s] /proc/loadavg: 2.00 2.04 2.18 3/179 17034 /proc/meminfo: memFree=28498448/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1324024 CPUtime=1662.33 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 328611 0 0 0 163325 2908 0 0 25 0 1 0 132307113 1355800576 325353 4089446400 4194304 7136930 140737172658240 18446744073709551615 4677451 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 331006 325353 398 719 0 330285 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1324024 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.17 3/179 17036 /proc/meminfo: memFree=28383308/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1363776 CPUtime=1722.34 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 338662 0 0 0 169231 3003 0 0 25 0 1 0 132307113 1396506624 335404 4089446400 4194304 7136930 140737172658240 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 340944 335404 398 719 0 340223 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1363776 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.16 3/179 17038 /proc/meminfo: memFree=28259260/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1393264 CPUtime=1782.34 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 346168 0 0 0 175135 3099 0 0 25 0 1 0 132307113 1426702336 342910 4089446400 4194304 7136930 140737172658240 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 348316 342910 398 719 0 347595 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1393264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.16 3/179 17041 /proc/meminfo: memFree=28225112/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1406740 CPUtime=1800.04 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 349548 0 0 0 176878 3126 0 0 25 0 1 0 132307113 1440501760 346290 4089446400 4194304 7136930 140737172658240 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/16938/statm: 351685 346290 398 719 0 350964 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1406740 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -16938 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.02 2.16 3/180 17042 /proc/meminfo: memFree=28222872/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1406740 CPUtime=1801.43 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 349557 0 0 0 177017 3126 0 0 19 0 1 0 132307113 1440501760 346299 4089446400 4194304 7136930 140737172658240 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16938/statm: 351685 346299 403 719 0 350964 0 Current children cumulated CPU time (s) 1801.43 Current children cumulated vsize (KiB) 1406740 [startup+1801.81 s] /proc/loadavg: 2.00 2.02 2.16 3/180 17042 /proc/meminfo: memFree=28220888/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1406740 CPUtime=1801.84 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 349557 0 0 0 177058 3126 0 0 20 0 1 0 132307113 1440501760 346299 4089446400 4194304 7136930 140737172658240 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16938/statm: 351685 346299 403 719 0 350964 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1406740 [startup+1802 s] /proc/loadavg: 2.00 2.02 2.16 3/180 17042 /proc/meminfo: memFree=28220888/32951124 swapFree=67111528/67111528 [pid=16938] ppid=16936 vsize=1403900 CPUtime=1802.03 /proc/16938/stat : 16938 (pbscip.linux.x8) R 16936 16938 16149 0 -1 4202496 349557 0 0 0 177077 3126 0 0 20 0 1 0 132307113 1437593600 345589 4089446400 4194304 7136930 140737172658240 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/16938/statm: 350975 345589 403 719 0 350254 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1403900 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.1 CPU user time (s): 1770.78 CPU system time (s): 31.3142 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1406740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.78 system time used= 31.3142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 349557 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= 4 involuntary context switches= 1248 runsolver used 2.90056 second user time and 5.69913 second system time The end
Begin job on node146 at 2010-06-30 17:02:05 IDJOB=2694191 IDBENCH=78974 IDSOLVER=1206 FILE ID=node146/2694191-1277910124 PBS_JOBID= 11197249 Free space on /tmp= 74180 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.1900576360--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-2694191-1277910124/watcher-2694191-1277910124 -o /tmp/evaluation-result-2694191-1277910124/solver-2694191-1277910124 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694191-1277910124.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5d7330038698be4d7397c9bceea53fdc RANDOM SEED=290749712 node146.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 : 5332.83 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.67 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.74 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30980428 kB Buffers: 198384 kB Cached: 1325768 kB SwapCached: 0 kB Active: 712924 kB Inactive: 1109980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30980428 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3212 kB Writeback: 0 kB AnonPages: 298560 kB Mapped: 20304 kB Slab: 82880 kB PageTables: 5340 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1650292 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= 74172 MiB End job on node146 at 2010-06-30 17:32:07