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.16 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo |
| MD5SUM | c45be88cd75ffa8279348f234419b8ae |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 374.792 |
| 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 | 2707 |
| 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 | 138262 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 138261 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 677 |
| 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-2693661-1277929231.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 138261
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.382610e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.20 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.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.382610e+05 | Inf
1.69/1.73 o 432
1.69/1.73 c * 1.6s| 5564 | 5177 | 0 | 0.0 | 23M|2816 | - |5645 |6883 | 0 | 0 | 0 |1470 | 0 | 0.000000e+00 | 4.320000e+02 | Inf
1.69/1.73 o 416
1.69/1.73 c * 1.6s| 5565 | 5161 | 0 | 0.0 | 23M|2816 | - |5645 |6883 | 0 | 0 | 0 |1470 | 0 | 0.000000e+00 | 4.160000e+02 | Inf
1.69/1.79 o 349
1.69/1.79 c * 1.6s| 5704 | 5296 | 0 | 0.0 | 23M|2816 | - |5645 |6893 | 0 | 0 | 0 |1480 | 0 | 0.000000e+00 | 3.490000e+02 | Inf
1.69/1.79 o 333
1.69/1.79 c * 1.6s| 5705 | 5274 | 0 | 0.0 | 23M|2816 | - |5645 |6893 | 0 | 0 | 0 |1480 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
1.79/1.84 o 320
1.79/1.84 c * 1.7s| 5826 | 5393 | 0 | 0.0 | 23M|2816 | - |5645 |6893 | 0 | 0 | 0 |1480 | 0 | 0.000000e+00 | 3.200000e+02 | Inf
1.79/1.84 o 278
1.79/1.84 c * 1.7s| 5827 | 5347 | 0 | 0.0 | 23M|2816 | - |5645 |6893 | 0 | 0 | 0 |1480 | 0 | 0.000000e+00 | 2.780000e+02 | Inf
1.79/1.89 o 256
1.79/1.89 c * 1.7s| 5938 | 5447 | 0 | 0.0 | 23M|2816 | - |5645 |6903 | 0 | 0 | 0 |1490 | 0 | 0.000000e+00 | 2.560000e+02 | Inf
1.89/1.98 o 247
1.89/1.98 c * 1.8s| 6139 | 5637 | 0 | 0.0 | 24M|2816 | - |5645 |6934 | 0 | 0 | 0 |1521 | 0 | 0.000000e+00 | 2.470000e+02 | Inf
1.89/1.98 o 241
1.89/1.98 c * 1.8s| 6140 | 5627 | 0 | 0.0 | 24M|2816 | - |5645 |6934 | 0 | 0 | 0 |1521 | 0 | 0.000000e+00 | 2.410000e+02 | Inf
2.19/2.27 o 218
2.19/2.27 c * 2.1s| 6808 | 6239 | 0 | 0.0 | 25M|2816 | - |5645 |7061 | 0 | 0 | 0 |1652 | 0 | 0.000000e+00 | 2.180000e+02 | Inf
2.19/2.27 o 188
2.19/2.27 c * 2.1s| 6809 | 6198 | 0 | 0.0 | 25M|2816 | - |5645 |7061 | 0 | 0 | 0 |1652 | 0 | 0.000000e+00 | 1.880000e+02 | Inf
2.30/2.33 o 184
2.30/2.33 c * 2.1s| 6974 | 6351 | 0 | 0.0 | 25M|2816 | - |5645 |7078 | 0 | 0 | 0 |1669 | 0 | 0.000000e+00 | 1.840000e+02 | Inf
3.30/3.31 c 3.1s| 10000 | 8992 | 0 | 0.0 | 28M|2816 | - |5645 |7895 | 0 | 0 | 0 |3438 | 0 | 0.000000e+00 | 1.840000e+02 | Inf
6.89/6.97 c 6.5s| 20000 | 16974 | 0 | 0.0 | 40M|2816 | - |5645 |8324 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
12.09/12.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.09/12.20 c 11.4s| 30000 | 23033 | 0 | 0.0 | 52M|2816 | - |5645 | 10k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
13.79/13.86 o 178
13.79/13.86 c *13.0s| 32707 | 25435 | 0 | 0.0 | 56M|2816 | - |5645 |9282 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
14.20/14.28 o 177
14.20/14.28 c *13.4s| 33385 | 26072 | 0 | 0.0 | 57M|2816 | - |5645 |9211 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
14.30/14.36 o 157
14.30/14.36 c *13.5s| 33509 | 25996 | 0 | 0.0 | 56M|2816 | - |5645 |9211 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
14.59/14.62 o 151
14.59/14.62 c *13.7s| 33860 | 26259 | 0 | 0.0 | 57M|2816 | - |5645 |9227 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
14.59/14.63 o 139
14.59/14.63 c *13.8s| 33861 | 26137 | 0 | 0.0 | 56M|2816 | - |5645 |9227 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
14.59/14.66 o 136
14.59/14.66 c *13.8s| 33889 | 26122 | 0 | 0.0 | 56M|2816 | - |5645 |9234 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
15.19/15.22 o 103
15.19/15.22 c *14.3s| 34416 | 26226 | 0 | 0.0 | 57M|2816 | - |5645 |9661 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
15.19/15.27 o 93
15.19/15.27 c *14.4s| 34493 | 25874 | 0 | 0.0 | 57M|2816 | - |5645 |9690 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
17.60/17.67 o 87
17.60/17.67 c *16.7s| 37892 | 28480 | 0 | 0.0 | 63M|2816 | - |5645 |9212 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
18.19/18.24 o 73
18.19/18.24 c *17.2s| 38752 | 28543 | 0 | 0.0 | 63M|2816 | - |5645 |8360 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
18.59/18.64 o 69
18.59/18.64 c *17.6s| 39097 | 28685 | 0 | 0.0 | 63M|2816 | - |5645 |7762 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
18.89/18.92 o 59
18.89/18.92 c *17.8s| 39634 | 28710 | 0 | 0.0 | 62M|2816 | - |5645 |7536 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
19.10/19.14 c 18.1s| 40000 | 29037 | 0 | 0.0 | 62M|2816 | - |5645 |7478 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
21.09/21.12 o 58
21.09/21.12 c *19.9s| 42791 | 31152 | 0 | 0.0 | 66M|2816 | - |5645 |7599 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
23.39/23.42 o 57
23.39/23.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.39/23.42 c *22.1s| 47168 | 34845 | 0 | 0.0 | 71M|2816 | - |5645 |7081 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
23.79/23.84 o 45
23.79/23.84 c *22.5s| 47546 | 34529 | 0 | 0.0 | 69M|2816 | - |5645 |7113 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
24.89/24.99 c 23.6s| 50000 | 36625 | 0 | 0.0 | 72M|2816 | - |5645 |6985 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
25.20/25.29 o 39
25.20/25.29 c *23.9s| 50588 | 36785 | 0 | 0.0 | 72M|2816 | - |5645 |7080 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.900000e+01 | Inf
26.09/26.18 o 28
26.09/26.18 c *24.7s| 52372 | 37666 | 0 | 0.0 | 72M|2816 | - |5645 |7283 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
28.99/29.08 o 24
28.99/29.08 c *27.4s| 59422 | 43356 | 0 | 0.0 | 79M|2816 | - |5645 |7899 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
28.99/29.08 o 16
28.99/29.08 c *27.4s| 59427 | 42903 | 0 | 0.0 | 78M|2816 | - |5645 |7901 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
29.29/29.33 c 27.7s| 60000 | 43374 | 0 | 0.0 | 79M|2816 | - |5645 |7992 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
29.59/29.64 o 12
29.59/29.64 c *28.0s| 60568 | 43416 | 0 | 0.0 | 79M|2816 | - |5645 |8504 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
33.20/33.25 c 31.3s| 70000 | 51271 | 0 | 0.0 | 90M|2816 | - |5645 |8355 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
36.79/36.86 c 34.7s| 80000 | 59692 | 0 | 0.0 | 101M|2816 | - |5645 |7508 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
40.80/40.80 c 38.4s| 90000 | 67706 | 0 | 0.0 | 111M|2816 | - |5645 |8206 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
45.20/45.21 c 42.5s|100000 | 75292 | 0 | 0.0 | 122M|2816 | - |5645 |8917 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
49.69/49.71 c 46.8s|110000 | 82748 | 0 | 0.0 | 132M|2816 | - |5645 |9461 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
54.20/54.20 c 51.0s|120000 | 90211 | 0 | 0.0 | 143M|2816 | - |5645 | 10k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
58.99/59.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.99/59.01 c 55.6s|130000 | 97425 | 0 | 0.0 | 153M|2816 | - |5645 | 10k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
64.20/64.27 c 60.6s|140000 |104304 | 0 | 0.0 | 164M|2816 | - |5645 | 10k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
69.99/70.07 c 66.1s|150000 |110796 | 0 | 0.0 | 176M|2816 | - |5645 | 11k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
76.09/76.15 c 72.0s|160000 |117055 | 0 | 0.0 | 187M|2816 | - |5645 | 12k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
82.79/82.86 c 78.4s|170000 |122888 | 0 | 0.0 | 199M|2816 | - |5645 | 12k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
89.90/89.91 c 85.1s|180000 |128459 | 0 | 0.0 | 210M|2816 | - |5645 | 13k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
97.90/97.92 c 92.8s|190000 |133339 | 0 | 0.0 | 221M|2816 | - |5645 | 14k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
107.39/107.42 c 102s|200000 |137150 | 0 | 0.0 | 232M|2816 | - |5645 | 16k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
118.59/118.60 c 113s|210000 |139804 | 0 | 0.0 | 242M|2816 | - |5645 | 17k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
127.60/127.63 c 122s|220000 |144910 | 0 | 0.0 | 249M|2816 | - |5645 |8534 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
134.50/134.59 c 128s|230000 |151877 | 0 | 0.0 | 264M|2816 | - |5645 | 12k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
140.30/140.39 c 134s|240000 |158927 | 0 | 0.0 | 274M|2816 | - |5645 |8842 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
142.70/142.73 o 9
142.70/142.73 c * 136s|244556 |162083 | 0 | 0.0 | 278M|2816 | - |5645 |9865 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
145.40/145.43 o 7
145.40/145.43 c * 138s|248433 |164546 | 0 | 0.0 | 282M|2816 | - |5645 | 10k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
146.80/146.84 c 140s|250000 |165460 | 0 | 0.0 | 285M|2816 | - |5645 | 11k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
153.39/153.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.39/153.46 c 146s|260000 |171923 | 0 | 0.0 | 297M|2816 | - |5645 |9793 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
159.19/159.28 c 152s|270000 |179663 | 0 | 0.0 | 310M|2816 | - |5645 | 11k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
167.31/167.39 c 159s|280000 |186346 | 0 | 0.0 | 325M|2816 | - |5645 | 13k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
176.30/176.39 c 168s|290000 |191844 | 0 | 0.0 | 337M|2816 | - |5645 | 11k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
181.80/181.85 c 173s|300000 |199458 | 0 | 0.0 | 349M|2816 | - |5645 | 13k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
188.60/188.63 c 180s|310000 |206259 | 0 | 0.0 | 363M|2816 | - |5645 | 12k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
194.90/194.90 c 186s|320000 |213867 | 0 | 0.0 | 381M|2816 | - |5645 | 13k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
201.89/201.97 c 192s|330000 |221028 | 0 | 0.0 | 399M|2816 | - |5645 | 13k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
209.50/209.56 c 200s|340000 |227356 | 0 | 0.0 | 419M|2816 | - |5645 | 10k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
213.20/213.28 c 203s|350000 |235687 | 0 | 0.0 | 429M|2816 | - |5645 | 10k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
217.60/217.69 c 207s|360000 |243262 | 0 | 0.0 | 439M|2816 | - |5645 | 10k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
222.80/222.88 c 212s|370000 |249917 | 0 | 0.0 | 450M|2816 | - |5645 | 11k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
227.10/227.17 c 216s|380000 |257504 | 0 | 0.0 | 459M|2816 | - |5645 | 10k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
232.60/232.69 c 221s|390000 |263702 | 0 | 0.0 | 469M|2816 | - |5645 | 11k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
237.30/237.31 c 226s|400000 |271160 | 0 | 0.0 | 480M|2816 | - |5645 | 11k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.20/242.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.20/242.22 c 230s|410000 |278246 | 0 | 0.0 | 489M|2816 | - |5645 | 10k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.10/247.15 c 235s|420000 |285305 | 0 | 0.0 | 499M|2816 | - |5645 | 11k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
251.10/251.19 c 238s|430000 |293240 | 0 | 0.0 | 508M|2816 | - |5645 | 10k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
255.70/255.79 c 243s|440000 |300733 | 0 | 0.0 | 519M|2816 | - |5645 | 11k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
257.70/257.76 o 3
257.70/257.76 c * 245s|444115 |301632 | 0 | 0.0 | 516M|2816 | - |5645 | 11k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
260.90/260.95 c 248s|450000 |305700 | 0 | 0.0 | 523M|2816 | - |5645 | 11k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
266.60/266.65 c 253s|460000 |311878 | 0 | 0.0 | 534M|2816 | - |5645 | 13k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
271.10/271.15 c 257s|470000 |319283 | 0 | 0.0 | 542M|2816 | - |5645 | 11k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
276.40/276.44 c 262s|480000 |325953 | 0 | 0.0 | 552M|2816 | - |5645 | 11k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
281.61/281.68 c 267s|490000 |332709 | 0 | 0.0 | 562M|2816 | - |5645 | 12k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
285.70/285.70 c 271s|500000 |340787 | 0 | 0.0 | 571M|2816 | - |5645 | 11k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
290.30/290.34 c 275s|510000 |348134 | 0 | 0.0 | 580M|2816 | - |5645 | 12k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
295.71/295.72 c 280s|520000 |354943 | 0 | 0.0 | 589M|2816 | - |5645 | 12k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
300.10/300.16 o 2
300.10/300.16 c * 284s|528125 |358854 | 0 | 0.0 | 594M|2816 | - |5645 | 13k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
300.90/300.90 c 285s|530000 |360429 | 0 | 0.0 | 596M|2816 | - |5645 | 12k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
306.00/306.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.00/306.01 c 290s|540000 |367521 | 0 | 0.0 | 605M|2816 | - |5645 | 12k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
310.50/310.53 c 294s|550000 |375160 | 0 | 0.0 | 615M|2816 | - |5645 | 12k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
315.30/315.32 c 299s|560000 |382541 | 0 | 0.0 | 625M|2816 | - |5645 | 12k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
320.11/320.16 c 303s|570000 |389884 | 0 | 0.0 | 634M|2816 | - |5645 | 12k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
325.61/325.64 c 308s|580000 |396607 | 0 | 0.0 | 644M|2816 | - |5645 | 13k| 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
330.60/330.65 c 313s|590000 |403790 | 0 | 0.0 | 653M|2816 | - |5645 | 12k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
335.61/335.61 c 318s|600000 |410938 | 0 | 0.0 | 663M|2816 | - |5645 | 12k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
340.61/340.69 c 323s|610000 |418022 | 0 | 0.0 | 672M|2816 | - |5645 | 12k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
345.41/345.41 c 327s|620000 |425480 | 0 | 0.0 | 681M|2816 | - |5645 | 12k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
350.61/350.62 c 332s|630000 |432472 | 0 | 0.0 | 690M|2816 | - |5645 | 12k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
354.90/354.91 c 336s|640000 |440355 | 0 | 0.0 | 700M|2816 | - |5645 | 12k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
361.01/361.00 c 342s|650000 |446619 | 0 | 0.0 | 709M|2816 | - |5645 | 13k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
366.50/366.50 c 347s|660000 |453307 | 0 | 0.0 | 718M|2816 | - |5645 | 13k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
372.40/372.49 c 353s|670000 |459889 | 0 | 0.0 | 729M|2816 | - |5645 | 13k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
379.20/379.23 c 359s|680000 |465976 | 0 | 0.0 | 740M|2816 | - |5645 | 14k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
386.21/386.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.21/386.30 c 366s|690000 |471842 | 0 | 0.0 | 751M|2816 | - |5645 | 14k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
393.40/393.41 c 373s|700000 |477665 | 0 | 0.0 | 762M|2816 | - |5645 | 15k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
400.81/400.89 c 380s|710000 |483281 | 0 | 0.0 | 772M|2816 | - |5645 | 15k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
408.41/408.40 c 387s|720000 |488847 | 0 | 0.0 | 783M|2816 | - |5645 | 15k| 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
416.01/416.07 c 394s|730000 |494231 | 0 | 0.0 | 793M|2816 | - |5645 | 16k| 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
424.21/424.25 c 402s|740000 |499349 | 0 | 0.0 | 803M|2816 | - |5645 | 16k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
432.42/432.48 c 410s|750000 |504449 | 0 | 0.0 | 813M|2816 | - |5645 | 16k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
440.71/440.76 c 418s|760000 |509511 | 0 | 0.0 | 824M|2816 | - |5645 | 16k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
448.70/448.73 c 426s|770000 |514891 | 0 | 0.0 | 834M|2816 | - |5645 | 16k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
457.01/457.09 c 434s|780000 |519861 | 0 | 0.0 | 844M|2816 | - |5645 | 17k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
465.51/465.55 c 442s|790000 |524873 | 0 | 0.0 | 854M|2816 | - |5645 | 17k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
474.31/474.34 c 450s|800000 |529857 | 0 | 0.0 | 864M|2816 | - |5645 | 16k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
483.30/483.34 c 459s|810000 |534510 | 0 | 0.0 | 874M|2816 | - |5645 | 17k| 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
493.31/493.32 c 469s|820000 |538584 | 0 | 0.0 | 884M|2816 | - |5645 | 18k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
501.81/501.83 c 477s|830000 |543827 | 0 | 0.0 | 894M|2816 | - |5645 | 16k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
511.62/511.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.62/511.60 c 486s|840000 |547925 | 0 | 0.0 | 904M|2816 | - |5645 | 18k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
521.31/521.36 c 496s|850000 |552131 | 0 | 0.0 | 914M|2816 | - |5645 | 17k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
530.01/530.05 c 504s|860000 |557029 | 0 | 0.0 | 925M|2816 | - |5645 | 18k| 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
539.81/539.88 c 514s|870000 |561193 | 0 | 0.0 | 934M|2816 | - |5645 | 18k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
548.51/548.56 c 522s|880000 |566206 | 0 | 0.0 | 944M|2816 | - |5645 | 18k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
558.31/558.31 c 532s|890000 |570363 | 0 | 0.0 | 954M|2816 | - |5645 | 18k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
567.72/567.75 c 541s|900000 |574875 | 0 | 0.0 | 963M|2816 | - |5645 | 18k| 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
577.61/577.69 c 550s|910000 |578968 | 0 | 0.0 | 974M|2816 | - |5645 | 19k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
587.62/587.66 c 560s|920000 |583144 | 0 | 0.0 | 983M|2816 | - |5645 | 19k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
596.91/596.93 c 569s|930000 |587791 | 0 | 0.0 | 993M|2816 | - |5645 | 19k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
606.91/606.97 c 579s|940000 |591900 | 0 | 0.0 |1002M|2816 | - |5645 | 19k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
616.61/616.70 c 588s|950000 |596213 | 0 | 0.0 |1012M|2816 | - |5645 | 18k| 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
627.82/627.82 c 599s|960000 |599550 | 0 | 0.0 |1021M|2816 | - |5645 | 20k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
638.92/638.99 c 610s|970000 |602929 | 0 | 0.0 |1030M|2816 | - |5645 | 20k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
650.22/650.22 c 621s|980000 |606442 | 0 | 0.0 |1040M|2816 | - |5645 | 20k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
661.71/661.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.71/661.78 c 632s|990000 |609690 | 0 | 0.0 |1049M|2816 | - |5645 | 21k| 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
674.02/674.05 c 644s| 1000k|612400 | 0 | 0.0 |1058M|2816 | - |5645 | 21k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
686.52/686.58 c 656s| 1010k|614510 | 0 | 0.0 |1066M|2816 | - |5645 | 20k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
700.92/700.90 c 670s| 1020k|614661 | 0 | 0.0 |1074M|2816 | - |5645 | 22k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
717.22/717.25 c 686s| 1030k|612670 | 0 | 0.0 |1077M|2816 | - |5645 | 23k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.31/737.32 c 705s| 1040k|606138 | 0 | 0.0 |1071M|2816 | - |5645 | 24k| 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
750.12/750.20 c 718s| 1050k|606625 | 0 | 0.0 |1062M|2816 | - |5645 | 11k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.02/755.00 c 723s| 1060k|614292 | 0 | 0.0 |1072M|2816 | - |5645 | 11k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
759.72/759.73 c 727s| 1070k|621887 | 0 | 0.0 |1082M|2816 | - |5645 | 11k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.12/765.12 c 732s| 1080k|629006 | 0 | 0.0 |1092M|2816 | - |5645 | 12k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
771.72/771.77 c 738s| 1090k|635353 | 0 | 0.0 |1104M|2816 | - |5645 | 14k| 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
779.72/779.72 c 746s| 1100k|640885 | 0 | 0.0 |1115M|2816 | - |5645 | 16k| 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
789.12/789.11 c 755s| 1110k|645512 | 0 | 0.0 |1126M|2816 | - |5645 | 17k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
800.72/800.78 c 766s| 1120k|648712 | 0 | 0.0 |1137M|2816 | - |5645 | 20k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
817.82/817.80 c 783s| 1130k|649195 | 0 | 0.0 |1146M|2816 | - |5645 | 25k| 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
825.22/825.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.22/825.28 c 790s| 1140k|655856 | 0 | 0.0 |1151M|2816 | - |5645 | 13k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
830.22/830.22 c 795s| 1150k|663457 | 0 | 0.0 |1160M|2816 | - |5645 | 12k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.12/835.17 c 799s| 1160k|670833 | 0 | 0.0 |1169M|2816 | - |5645 | 12k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.42/840.45 c 804s| 1170k|677946 | 0 | 0.0 |1178M|2816 | - |5645 | 13k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.62/846.63 c 810s| 1180k|684465 | 0 | 0.0 |1188M|2816 | - |5645 | 13k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.12/853.17 c 816s| 1190k|690690 | 0 | 0.0 |1198M|2816 | - |5645 | 14k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
860.43/860.46 c 823s| 1200k|696351 | 0 | 0.0 |1208M|2816 | - |5645 | 15k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
868.32/868.36 c 831s| 1210k|701660 | 0 | 0.0 |1218M|2816 | - |5645 | 16k| 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
876.83/876.88 c 839s| 1220k|706540 | 0 | 0.0 |1227M|2816 | - |5645 | 17k| 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
886.82/886.80 c 849s| 1230k|710544 | 0 | 0.0 |1237M|2816 | - |5645 | 19k| 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
897.92/897.94 c 859s| 1240k|713771 | 0 | 0.0 |1245M|2816 | - |5645 | 20k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
911.72/911.75 c 873s| 1250k|715189 | 0 | 0.0 |1252M|2816 | - |5645 | 21k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.63/919.65 c 880s| 1260k|721209 | 0 | 0.0 |1257M|2816 | - |5645 | 12k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
924.32/924.38 c 885s| 1270k|728905 | 0 | 0.0 |1266M|2816 | - |5645 | 12k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
929.33/929.34 c 889s| 1280k|736382 | 0 | 0.0 |1276M|2816 | - |5645 | 13k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
934.82/934.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.82/934.89 c 895s| 1290k|743502 | 0 | 0.0 |1286M|2816 | - |5645 | 13k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
940.63/940.63 c 900s| 1300k|750463 | 0 | 0.0 |1296M|2816 | - |5645 | 13k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
946.93/946.94 c 906s| 1310k|756984 | 0 | 0.0 |1305M|2816 | - |5645 | 13k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
953.92/953.95 c 913s| 1320k|762890 | 0 | 0.0 |1315M|2816 | - |5645 | 13k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
961.43/961.43 c 920s| 1330k|768470 | 0 | 0.0 |1326M|2816 | - |5645 | 13k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.53/969.54 c 928s| 1340k|773624 | 0 | 0.0 |1335M|2816 | - |5645 | 14k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
977.32/977.33 c 935s| 1350k|779009 | 0 | 0.0 |1345M|2816 | - |5645 | 14k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
985.23/985.21 c 943s| 1360k|784373 | 0 | 0.0 |1354M|2816 | - |5645 | 15k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
993.73/993.76 c 951s| 1370k|789388 | 0 | 0.0 |1364M|2816 | - |5645 | 15k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1002.23/1002.21 c 959s| 1380k|794534 | 0 | 0.0 |1374M|2816 | - |5645 | 16k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.32/1011.34 c 968s| 1390k|799396 | 0 | 0.0 |1383M|2816 | - |5645 | 17k| 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1020.23/1020.27 c 976s| 1400k|804459 | 0 | 0.0 |1393M|2816 | - |5645 | 18k| 0 | 0 | 0 |1245k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1029.53/1029.50 c 985s| 1410k|809308 | 0 | 0.0 |1403M|2816 | - |5645 | 20k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.73/1039.74 c 995s| 1420k|813605 | 0 | 0.0 |1412M|2816 | - |5645 | 21k| 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1054.63/1054.62 c 1010s| 1430k|815210 | 0 | 0.0 |1420M|2816 | - |5645 | 25k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.03/1061.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.03/1061.00 c 1016s| 1440k|822582 | 0 | 0.0 |1425M|2816 | - |5645 | 13k| 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1065.63/1065.64 c 1020s| 1450k|830436 | 0 | 0.0 |1434M|2816 | - |5645 | 12k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1070.34/1070.35 c 1024s| 1460k|838051 | 0 | 0.0 |1444M|2816 | - |5645 | 13k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1075.43/1075.47 c 1029s| 1470k|845343 | 0 | 0.0 |1453M|2816 | - |5645 | 13k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1080.63/1080.64 c 1034s| 1480k|852543 | 0 | 0.0 |1462M|2816 | - |5645 | 14k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1086.03/1086.05 c 1039s| 1490k|859560 | 0 | 0.0 |1472M|2816 | - |5645 | 14k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1092.53/1092.58 c 1045s| 1500k|865802 | 0 | 0.0 |1482M|2816 | - |5645 | 15k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.33/1100.30 c 1053s| 1510k|871073 | 0 | 0.0 |1492M|2816 | - |5645 | 16k| 0 | 0 | 0 |1330k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1108.84/1108.86 c 1061s| 1520k|875699 | 0 | 0.0 |1503M|2816 | - |5645 | 17k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1118.63/1118.63 c 1070s| 1530k|879564 | 0 | 0.0 |1513M|2816 | - |5645 | 18k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1130.04/1130.09 c 1082s| 1540k|882391 | 0 | 0.0 |1520M|2816 | - |5645 | 17k| 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1137.03/1137.09 c 1088s| 1550k|888382 | 0 | 0.0 |1527M|2816 | - |5645 | 13k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1142.13/1142.18 c 1093s| 1560k|895739 | 0 | 0.0 |1537M|2816 | - |5645 | 12k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.14/1147.17 c 1098s| 1570k|903142 | 0 | 0.0 |1546M|2816 | - |5645 | 13k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1152.44/1152.42 c 1103s| 1580k|910278 | 0 | 0.0 |1556M|2816 | - |5645 | 14k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1158.04/1158.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.04/1158.08 c 1108s| 1590k|917142 | 0 | 0.0 |1567M|2816 | - |5645 | 14k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.44/1164.40 c 1114s| 1600k|923439 | 0 | 0.0 |1578M|2816 | - |5645 | 15k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1171.34/1171.31 c 1121s| 1610k|929368 | 0 | 0.0 |1588M|2816 | - |5645 | 16k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.54/1178.56 c 1127s| 1620k|935079 | 0 | 0.0 |1599M|2816 | - |5645 | 15k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1186.03/1186.05 c 1135s| 1630k|940485 | 0 | 0.0 |1608M|2816 | - |5645 | 15k| 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1193.73/1193.77 c 1142s| 1640k|945748 | 0 | 0.0 |1618M|2816 | - |5645 | 15k| 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1201.24/1201.27 c 1149s| 1650k|951200 | 0 | 0.0 |1627M|2816 | - |5645 | 15k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1208.64/1208.63 c 1156s| 1660k|956786 | 0 | 0.0 |1636M|2816 | - |5645 | 14k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1215.24/1215.22 c 1162s| 1670k|962933 | 0 | 0.0 |1646M|2816 | - |5645 | 13k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.53/1221.57 c 1168s| 1680k|969235 | 0 | 0.0 |1656M|2816 | - |5645 | 13k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.34/1227.36 c 1174s| 1690k|976015 | 0 | 0.0 |1667M|2816 | - |5645 | 13k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1233.54/1233.51 c 1180s| 1700k|982586 | 0 | 0.0 |1678M|2816 | - |5645 | 14k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1239.93/1239.97 c 1186s| 1710k|988931 | 0 | 0.0 |1689M|2816 | - |5645 | 14k| 0 | 0 | 0 |1471k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1247.04/1247.05 c 1193s| 1720k|994828 | 0 | 0.0 |1701M|2816 | - |5645 | 15k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1255.04/1255.10 c 1200s| 1730k| 1000k| 0 | 0.0 |1713M|2816 | - |5645 | 17k| 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1264.14/1264.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.14/1264.12 c 1209s| 1740k| 1004k| 0 | 0.0 |1725M|2816 | - |5645 | 18k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1274.84/1274.88 c 1219s| 1750k| 1008k| 0 | 0.0 |1736M|2816 | - |5645 | 20k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1287.15/1287.12 c 1231s| 1760k| 1011k| 0 | 0.0 |1744M|2816 | - |5645 | 20k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1292.94/1292.98 c 1236s| 1770k| 1018k| 0 | 0.0 |1758M|2816 | - |5645 | 16k| 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.84/1298.89 c 1242s| 1780k| 1026k| 0 | 0.0 |1773M|2816 | - |5645 | 15k| 0 | 0 | 0 |1525k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1305.04/1305.00 c 1248s| 1790k| 1033k| 0 | 0.0 |1789M|2816 | - |5645 | 15k| 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1311.34/1311.30 c 1254s| 1800k| 1040k| 0 | 0.0 |1806M|2816 | - |5645 | 16k| 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1318.04/1318.08 c 1260s| 1810k| 1047k| 0 | 0.0 |1823M|2816 | - |5645 | 16k| 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1325.34/1325.36 c 1267s| 1820k| 1054k| 0 | 0.0 |1841M|2816 | - |5645 | 17k| 0 | 0 | 0 |1545k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1333.04/1333.01 c 1274s| 1830k| 1060k| 0 | 0.0 |1858M|2816 | - |5645 | 17k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.05/1341.03 c 1282s| 1840k| 1066k| 0 | 0.0 |1875M|2816 | - |5645 | 17k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1349.44/1349.41 c 1290s| 1850k| 1072k| 0 | 0.0 |1892M|2816 | - |5645 | 18k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.64/1357.62 c 1298s| 1860k| 1079k| 0 | 0.0 |1909M|2816 | - |5645 | 18k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1366.74/1366.79 c 1306s| 1870k| 1084k| 0 | 0.0 |1924M|2816 | - |5645 | 13k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1373.75/1373.79 c 1313s| 1880k| 1090k| 0 | 0.0 |1933M|2816 | - |5645 | 12k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1380.44/1380.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.44/1380.44 c 1319s| 1890k| 1095k| 0 | 0.0 |1942M|2816 | - |5645 | 13k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.25/1387.29 c 1326s| 1900k| 1101k| 0 | 0.0 |1951M|2816 | - |5645 | 13k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1393.94/1393.97 c 1332s| 1910k| 1106k| 0 | 0.0 |1960M|2816 | - |5645 | 13k| 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1400.74/1400.74 c 1339s| 1920k| 1112k| 0 | 0.0 |1970M|2816 | - |5645 | 14k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1408.05/1408.08 c 1346s| 1930k| 1117k| 0 | 0.0 |1979M|2816 | - |5645 | 14k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1415.64/1415.67 c 1353s| 1940k| 1122k| 0 | 0.0 |1989M|2816 | - |5645 | 15k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1424.04/1424.06 c 1361s| 1950k| 1126k| 0 | 0.0 |1998M|2816 | - |5645 | 15k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1432.64/1432.64 c 1369s| 1960k| 1130k| 0 | 0.0 |2005M|2816 | - |5645 | 14k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1438.85/1438.84 c 1375s| 1970k| 1136k| 0 | 0.0 |2013M|2816 | - |5645 | 12k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1443.55/1443.58 c 1379s| 1980k| 1143k| 0 | 0.0 |2021M|2816 | - |5645 | 12k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1448.15/1448.14 c 1383s| 1990k| 1150k| 0 | 0.0 |2031M|2816 | - |5645 | 12k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.15/1453.19 c 1388s| 2000k| 1157k| 0 | 0.0 |2041M|2816 | - |5645 | 13k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1458.75/1458.77 c 1394s| 2010k| 1164k| 0 | 0.0 |2052M|2816 | - |5645 | 13k| 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1464.94/1464.97 c 1399s| 2020k| 1170k| 0 | 0.0 |2062M|2816 | - |5645 | 14k| 0 | 0 | 0 |1676k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1471.85/1471.84 c 1406s| 2030k| 1176k| 0 | 0.0 |2073M|2816 | - |5645 | 15k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1479.85/1479.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.85/1479.89 c 1414s| 2040k| 1181k| 0 | 0.0 |2083M|2816 | - |5645 | 16k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1489.65/1489.64 c 1423s| 2050k| 1184k| 0 | 0.0 |2093M|2816 | - |5645 | 18k| 0 | 0 | 0 |1702k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1502.45/1502.45 c 1435s| 2060k| 1185k| 0 | 0.0 |2098M|2816 | - |5645 | 17k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1507.35/1507.36 c 1440s| 2070k| 1193k| 0 | 0.0 |2107M|2816 | - |5645 | 13k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.24/1512.27 c 1445s| 2080k| 1201k| 0 | 0.0 |2116M|2816 | - |5645 | 13k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.55/1517.54 c 1449s| 2090k| 1208k| 0 | 0.0 |2126M|2816 | - |5645 | 14k| 0 | 0 | 0 |1727k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1523.35/1523.39 c 1455s| 2100k| 1214k| 0 | 0.0 |2136M|2816 | - |5645 | 15k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1530.45/1530.43 c 1462s| 2110k| 1220k| 0 | 0.0 |2147M|2816 | - |5645 | 16k| 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1538.85/1538.82 c 1470s| 2120k| 1225k| 0 | 0.0 |2158M|2816 | - |5645 | 18k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1548.96/1548.94 c 1479s| 2130k| 1229k| 0 | 0.0 |2168M|2816 | - |5645 | 20k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1559.65/1559.63 c 1490s| 2140k| 1232k| 0 | 0.0 |2173M|2816 | - |5645 | 14k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1564.15/1564.17 c 1494s| 2150k| 1240k| 0 | 0.0 |2183M|2816 | - |5645 | 13k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1568.95/1568.95 c 1498s| 2160k| 1247k| 0 | 0.0 |2192M|2816 | - |5645 | 13k| 0 | 0 | 0 |1773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1573.85/1573.85 c 1503s| 2170k| 1255k| 0 | 0.0 |2202M|2816 | - |5645 | 13k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.35/1579.34 c 1508s| 2180k| 1261k| 0 | 0.0 |2212M|2816 | - |5645 | 14k| 0 | 0 | 0 |1782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1585.65/1585.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.65/1585.62 c 1514s| 2190k| 1267k| 0 | 0.0 |2222M|2816 | - |5645 | 16k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1593.35/1593.38 c 1522s| 2200k| 1272k| 0 | 0.0 |2233M|2816 | - |5645 | 17k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1602.16/1602.16 c 1530s| 2210k| 1277k| 0 | 0.0 |2243M|2816 | - |5645 | 18k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1610.75/1610.71 c 1538s| 2220k| 1281k| 0 | 0.0 |2252M|2816 | - |5645 | 16k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1617.75/1617.73 c 1545s| 2230k| 1287k| 0 | 0.0 |2260M|2816 | - |5645 | 14k| 0 | 0 | 0 |1821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1623.35/1623.38 c 1550s| 2240k| 1293k| 0 | 0.0 |2268M|2816 | - |5645 | 14k| 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1628.75/1628.78 c 1555s| 2250k| 1300k| 0 | 0.0 |2277M|2816 | - |5645 | 14k| 0 | 0 | 0 |1830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1634.25/1634.26 c 1561s| 2260k| 1307k| 0 | 0.0 |2288M|2816 | - |5645 | 14k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.16/1640.14 c 1566s| 2270k| 1314k| 0 | 0.0 |2297M|2816 | - |5645 | 14k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1646.05/1646.07 c 1572s| 2280k| 1321k| 0 | 0.0 |2307M|2816 | - |5645 | 14k| 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.55/1652.50 c 1578s| 2290k| 1327k| 0 | 0.0 |2317M|2816 | - |5645 | 15k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1659.25/1659.26 c 1584s| 2300k| 1333k| 0 | 0.0 |2327M|2816 | - |5645 | 15k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.06/1666.03 c 1591s| 2310k| 1339k| 0 | 0.0 |2338M|2816 | - |5645 | 15k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.26/1673.20 c 1597s| 2320k| 1344k| 0 | 0.0 |2347M|2816 | - |5645 | 15k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1680.05/1680.08 c 1604s| 2330k| 1350k| 0 | 0.0 |2357M|2816 | - |5645 | 15k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1686.95/1686.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.95/1686.96 c 1611s| 2340k| 1356k| 0 | 0.0 |2367M|2816 | - |5645 | 15k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.36/1694.30 c 1618s| 2350k| 1361k| 0 | 0.0 |2377M|2816 | - |5645 | 15k| 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1701.25/1701.28 c 1624s| 2360k| 1367k| 0 | 0.0 |2387M|2816 | - |5645 | 15k| 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1708.36/1708.37 c 1631s| 2370k| 1373k| 0 | 0.0 |2396M|2816 | - |5645 | 15k| 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1715.65/1715.65 c 1638s| 2380k| 1378k| 0 | 0.0 |2406M|2816 | - |5645 | 15k| 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1723.05/1723.00 c 1645s| 2390k| 1383k| 0 | 0.0 |2416M|2816 | - |5645 | 16k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.46/1730.47 c 1652s| 2400k| 1389k| 0 | 0.0 |2425M|2816 | - |5645 | 17k| 0 | 0 | 0 |1927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1738.26/1738.22 c 1659s| 2410k| 1394k| 0 | 0.0 |2435M|2816 | - |5645 | 17k| 0 | 0 | 0 |1934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1746.26/1746.25 c 1667s| 2420k| 1399k| 0 | 0.0 |2445M|2816 | - |5645 | 17k| 0 | 0 | 0 |1942k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1754.75/1754.79 c 1675s| 2430k| 1404k| 0 | 0.0 |2454M|2816 | - |5645 | 19k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.96/1763.97 c 1684s| 2440k| 1408k| 0 | 0.0 |2464M|2816 | - |5645 | 20k| 0 | 0 | 0 |1960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1774.85/1774.87 c 1694s| 2450k| 1412k| 0 | 0.0 |2472M|2816 | - |5645 | 21k| 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1787.56/1787.52 c 1707s| 2460k| 1414k| 0 | 0.0 |2477M|2816 | - |5645 | 19k| 0 | 0 | 0 |1983k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1792.36/1792.37 c 1711s| 2470k| 1422k| 0 | 0.0 |2486M|2816 | - |5645 | 14k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1797.16/1797.14 c 1716s| 2480k| 1429k| 0 | 0.0 |2495M|2816 | - |5645 | 14k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1718.42
1800.07/1800.00 c Solving Nodes : 2485868
1800.07/1800.00 c Primal Bound : +2.00000000000000e+00 (39 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.08 s SATISFIABLE
1800.07/1800.08 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.07/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 x190 -x189
1800.07/1800.08 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.07/1800.08 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.07/1800.08 v -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126
1800.07/1800.08 v -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.07/1800.08 v -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.07/1800.08 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.07/1800.08 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.07/1800.08 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.07/1800.08 v -x1
1800.07/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.08 c Solving Time : 1718.42
1800.07/1800.08 c Original Problem :
1800.07/1800.08 c Problem name : HOME/instance-2693661-1277929231.wbo
1800.07/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.07/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.07/1800.08 c Presolved Problem :
1800.07/1800.08 c Problem name : t_HOME/instance-2693661-1277929231.wbo
1800.07/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.07/1800.08 c Constraints : 5414 initial, 26706 maximal
1800.07/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.08 c implics : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.08 c probing : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.08 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.08 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.07/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.08 c root node : - 2675 - - 5350 - - - -
1800.07/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.08 c indicator : 2707 0 5749364 0 1619916 48 2551289 0 0 0
1800.07/1800.08 c linear : 2707 0 7841774 0 2109369 543437 45151904 0 0 0
1800.07/1800.08 c logicor : 0+ 0 3732297 0 0 76906 1799514 0 0 0
1800.07/1800.08 c countsols : 0 0 0 0 2109393 0 0 0 0 0
1800.07/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.08 c indicator : 8.11 0.00 3.70 0.00 4.41
1800.07/1800.08 c linear : 425.52 0.00 424.58 0.00 0.94
1800.07/1800.08 c logicor : 281.10 0.00 281.10 0.00 0.00
1800.07/1800.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.08 c vbounds : 0.00 2 0 0
1800.07/1800.08 c rootredcost : 0.00 0 0 0
1800.07/1800.08 c pseudoobj : 386.05 7843067 1236 2541806
1800.07/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.08 c propagation : 35.20 621579 621576 3004814 21.6 304522 11.3 -
1800.07/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.08 c pseudo solution : 0.05 83 83 379 32.4 272 9.9 -
1800.07/1800.08 c applied globally : - - - 1992271 19.0 - - -
1800.07/1800.08 c applied locally : - - - 2 297.5 - - -
1800.07/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.08 c redcost : 0.00 0 0 0 0 0
1800.07/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.08 c intobj : 0.00 0 0 0 0 0
1800.07/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.08 c gomory : 0.00 0 0 0 0 0
1800.07/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.08 c cmir : 0.00 0 0 0 0 0
1800.07/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.08 c clique : 0.00 0 0 0 0 0
1800.07/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.08 c mcf : 0.00 0 0 0 0 0
1800.07/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.08 c Pricers : Time Calls Vars
1800.07/1800.08 c problem variables: 0.00 0 0
1800.07/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.08 c inference : 31.93 2109357 0 0 0 0 4218714
1800.07/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.08 c random : 0.00 0 0 0 0 0 0
1800.07/1800.08 c Primal Heuristics : Time Calls Found
1800.07/1800.08 c LP solutions : 0.00 - 0
1800.07/1800.08 c pseudo solutions : 0.03 - 36
1800.07/1800.08 c oneopt : 0.00 0 0
1800.07/1800.08 c trivial : 0.08 2 2
1800.07/1800.08 c simplerounding : 0.00 0 0
1800.07/1800.08 c zirounding : 0.00 0 0
1800.07/1800.08 c rounding : 0.00 0 0
1800.07/1800.08 c shifting : 0.00 0 0
1800.07/1800.08 c intshifting : 0.00 0 0
1800.07/1800.08 c twoopt : 0.00 0 0
1800.07/1800.08 c fixandinfer : 0.00 0 0
1800.07/1800.08 c feaspump : 0.00 0 0
1800.07/1800.08 c coefdiving : 0.00 0 0
1800.07/1800.08 c pscostdiving : 0.00 0 0
1800.07/1800.08 c fracdiving : 0.00 0 0
1800.07/1800.08 c veclendiving : 0.00 0 0
1800.07/1800.08 c intdiving : 0.00 0 0
1800.07/1800.08 c actconsdiving : 0.00 0 0
1800.07/1800.08 c objpscostdiving : 0.00 0 0
1800.07/1800.08 c rootsoldiving : 0.00 0 0
1800.07/1800.08 c linesearchdiving : 0.00 0 0
1800.07/1800.08 c guideddiving : 0.00 0 0
1800.07/1800.08 c octane : 0.00 0 0
1800.07/1800.08 c rens : 0.00 0 0
1800.07/1800.08 c rins : 0.00 0 0
1800.07/1800.08 c localbranching : 0.00 0 0
1800.07/1800.08 c mutation : 0.00 0 0
1800.07/1800.08 c crossover : 0.00 0 0
1800.07/1800.08 c dins : 0.00 0 0
1800.07/1800.08 c undercover : 0.00 0 0
1800.07/1800.08 c nlp : 0.00 0 0
1800.07/1800.08 c trysol : 0.00 1 1
1800.07/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.08 c (at root node) : - 0 0 0.00 -
1800.07/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.08 c B&B Tree :
1800.07/1800.08 c number of runs : 1
1800.07/1800.08 c nodes : 2485868
1800.07/1800.08 c nodes (total) : 2485868
1800.07/1800.08 c nodes left : 1434175
1800.07/1800.08 c max depth : 2816
1800.07/1800.08 c max depth (total): 2816
1800.07/1800.08 c backtracks : 328983 (13.2%)
1800.07/1800.08 c delayed cutoffs : 288527
1800.07/1800.08 c repropagations : 1302011 (15443854 domain reductions, 245235 cutoffs)
1800.07/1800.08 c avg switch length: 39.74
1800.07/1800.08 c switching time : 489.95
1800.07/1800.08 c Solution :
1800.07/1800.08 c Solutions found : 39 (37 improvements)
1800.07/1800.08 c First Solution : +1.38261000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.07/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 528125 nodes, 284.40 seconds, depth 2042, found by <relaxation>)
1800.07/1800.08 c Dual Bound : +0.00000000000000e+00
1800.07/1800.08 c Gap : infinite
1800.07/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.08 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693661-1277929231/watcher-2693661-1277929231 -o /tmp/evaluation-result-2693661-1277929231/solver-2693661-1277929231 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693661-1277929231.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.00 2.00 2.00 3/178 14976 /proc/meminfo: memFree=31487800/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=8408 CPUtime=0 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 1579 0 0 0 0 0 0 0 24 0 1 0 134221272 8609792 1501 4089446400 4194304 7136930 140735825246192 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14976/statm: 2102 1501 275 719 0 1381 0 [startup+0.103598 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14976 /proc/meminfo: memFree=31487800/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=33676 CPUtime=0.09 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 7967 0 0 0 9 0 0 0 24 0 1 0 134221272 34484224 7535 4089446400 4194304 7136930 140735825246192 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.200588 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14976 /proc/meminfo: memFree=31487800/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=36364 CPUtime=0.19 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 9180 0 0 0 18 1 0 0 24 0 1 0 134221272 37236736 8234 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 9091 8234 383 719 0 8370 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36364 [startup+0.300559 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14976 /proc/meminfo: memFree=31487800/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=36496 CPUtime=0.29 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 9241 0 0 0 28 1 0 0 25 0 1 0 134221272 37371904 8295 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 9124 8295 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.700497 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14976 /proc/meminfo: memFree=31487800/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=37636 CPUtime=0.69 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 9516 0 0 0 67 2 0 0 25 0 1 0 134221272 38539264 8570 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 9409 8570 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50034 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14977 /proc/meminfo: memFree=31452116/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=42844 CPUtime=1.49 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 10831 0 0 0 139 10 0 0 25 0 1 0 134221272 43872256 9885 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 10711 9885 390 719 0 9990 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42844 [startup+3.10104 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14977 /proc/meminfo: memFree=31443560/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=50800 CPUtime=3.09 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 12726 0 0 0 289 20 0 0 25 0 1 0 134221272 52019200 11780 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 12700 11780 391 719 0 11979 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50800 [startup+6.30044 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14977 /proc/meminfo: memFree=31422928/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=65072 CPUtime=6.29 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 16240 0 0 0 586 43 0 0 25 0 1 0 134221272 66633728 15294 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 16268 15294 391 719 0 15547 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65072 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14977 /proc/meminfo: memFree=31391956/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=86036 CPUtime=12.69 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 21363 0 0 0 1192 77 0 0 25 0 1 0 134221272 88100864 20417 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 21509 20417 391 719 0 20788 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 86036 [startup+25.5008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14977 /proc/meminfo: memFree=31326832/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=129668 CPUtime=25.49 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 31887 0 0 0 2412 137 0 0 25 0 1 0 134221272 132780032 30941 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 32417 30941 391 719 0 31696 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 129668 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14978 /proc/meminfo: memFree=31219904/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=203132 CPUtime=51.09 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 49629 0 0 0 4814 295 0 0 25 0 1 0 134221272 208007168 48683 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 50783 48683 391 719 0 50062 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 203132 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14979 /proc/meminfo: memFree=31029884/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=304144 CPUtime=102.3 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 75064 0 0 0 9708 522 0 0 25 0 1 0 134221272 311443456 74118 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 76036 74118 391 719 0 75315 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 304144 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14981 /proc/meminfo: memFree=30829320/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=404252 CPUtime=162.3 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 99102 0 0 0 15448 782 0 0 25 0 1 0 134221272 413954048 98156 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 101063 98156 391 719 0 100342 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 404252 [startup+222.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14983 /proc/meminfo: memFree=30572332/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=553884 CPUtime=222.31 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 134074 0 0 0 21153 1078 0 0 25 0 1 0 134221272 567177216 133128 4089446400 4194304 7136930 140735825246192 18446744073709551615 4947065 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 138471 133128 391 719 0 137750 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 553884 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14984 /proc/meminfo: memFree=30354796/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=669732 CPUtime=282.3 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 163286 0 0 0 26770 1460 0 0 25 0 1 0 134221272 685805568 162340 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 167433 162340 391 719 0 166712 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 669732 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14985 /proc/meminfo: memFree=30160684/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=789768 CPUtime=342.31 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 193589 0 0 0 32407 1824 0 0 25 0 1 0 134221272 808722432 192643 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 197442 192643 391 719 0 196721 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 789768 [startup+402.301 s] /proc/loadavg: 2.04 2.01 2.00 3/179 14987 /proc/meminfo: memFree=30001164/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=894696 CPUtime=402.31 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 217864 0 0 0 38111 2120 0 0 25 0 1 0 134221272 916168704 216918 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 223674 216918 391 719 0 222953 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 894696 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14989 /proc/meminfo: memFree=29873388/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=976604 CPUtime=462.31 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 238427 0 0 0 43882 2349 0 0 25 0 1 0 134221272 1000042496 237481 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 244151 237481 391 719 0 243430 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 976604 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14991 /proc/meminfo: memFree=29758520/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=1037904 CPUtime=522.31 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 253733 0 0 0 49675 2556 0 0 25 0 1 0 134221272 1062813696 252787 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 259476 252787 391 719 0 258755 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1037904 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14992 /proc/meminfo: memFree=29618100/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=1106260 CPUtime=582.31 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 270975 0 0 0 55480 2751 0 0 25 0 1 0 134221272 1132810240 270029 4089446400 4194304 7136930 140735825246192 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 276565 270029 391 719 0 275844 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1106260 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 4/180 14996 /proc/meminfo: memFree=29453972/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=1162852 CPUtime=642.32 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 285070 0 0 0 61293 2939 0 0 25 0 1 0 134221272 1190760448 284124 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 290713 284124 391 719 0 289992 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1162852 [startup+702.301 s] ################ # More data... # ################ /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 387134 0 0 0 101687 4546 0 0 25 0 1 0 134221272 1607757824 386188 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 392519 386188 391 719 0 391798 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1570076 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15010 /proc/meminfo: memFree=28359756/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=1652188 CPUtime=1122.33 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 407894 0 0 0 107400 4833 0 0 25 0 1 0 134221272 1691840512 406948 4089446400 4194304 7136930 140735825246192 18446744073709551615 4999881 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 413047 406948 391 719 0 412326 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1652188 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15011 /proc/meminfo: memFree=28195272/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=1741612 CPUtime=1182.33 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 430270 0 0 0 113101 5132 0 0 25 0 1 0 134221272 1783410688 429324 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 435403 429324 391 719 0 434682 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1741612 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15012 /proc/meminfo: memFree=28063292/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=1843844 CPUtime=1242.34 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 451707 0 0 0 118805 5429 0 0 25 0 1 0 134221272 1888096256 450761 4089446400 4194304 7136930 140735825246192 18446744073709551615 4923509 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 460961 450761 391 719 0 460240 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1843844 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15014 /proc/meminfo: memFree=27889764/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=1957872 CPUtime=1302.34 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 478866 0 0 0 124531 5703 0 0 25 0 1 0 134221272 2004860928 477920 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 489468 477920 391 719 0 488747 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1957872 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15016 /proc/meminfo: memFree=27681628/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2102180 CPUtime=1362.34 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 512680 0 0 0 130216 6018 0 0 25 0 1 0 134221272 2152632320 511734 4089446400 4194304 7136930 140735825246192 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 525545 511734 391 719 0 524824 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 2102180 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15018 /proc/meminfo: memFree=27557712/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2178168 CPUtime=1422.35 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 532177 0 0 0 135907 6328 0 0 25 0 1 0 134221272 2230444032 531231 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 544542 531231 391 719 0 543821 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 2178168 [startup+1482.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 15019 /proc/meminfo: memFree=27398980/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2263384 CPUtime=1482.35 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 553676 0 0 0 141593 6642 0 0 25 0 1 0 134221272 2317705216 552730 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 565846 552730 391 719 0 565125 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 2263384 [startup+1542.31 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15020 /proc/meminfo: memFree=27249140/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2343412 CPUtime=1542.35 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 573982 0 0 0 147311 6924 0 0 25 0 1 0 134221272 2399653888 573036 4089446400 4194304 7136930 140735825246192 18446744073709551615 4221064 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 585853 573036 391 719 0 585132 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 2343412 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15022 /proc/meminfo: memFree=27103752/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2422348 CPUtime=1602.35 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 593934 0 0 0 153022 7213 0 0 25 0 1 0 134221272 2480484352 592988 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 605587 592988 391 719 0 604866 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 2422348 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15024 /proc/meminfo: memFree=26944120/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2512608 CPUtime=1662.35 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 616481 0 0 0 158713 7522 0 0 25 0 1 0 134221272 2572910592 615535 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 628152 615535 391 719 0 627431 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 2512608 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.00 4/179 15054 /proc/meminfo: memFree=29149088/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2594808 CPUtime=1722.36 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 637167 0 0 0 164405 7831 0 0 25 0 1 0 134221272 2657083392 636221 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 648702 636221 391 719 0 647981 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 2594808 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15055 /proc/meminfo: memFree=29006068/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2660800 CPUtime=1782.36 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 653794 0 0 0 170160 8076 0 0 25 0 1 0 134221272 2724659200 652848 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 665200 652848 391 719 0 664479 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 2660800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.01 2.00 4/179 15056 /proc/meminfo: memFree=28970712/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2682288 CPUtime=1800.07 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 659239 0 0 0 171845 8162 0 0 25 0 1 0 134221272 2746662912 658293 4089446400 4194304 7136930 140735825246192 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14976/statm: 670572 658293 391 719 0 669851 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2682288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14976 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.01 2.01 2.00 4/180 15057 /proc/meminfo: memFree=28969832/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2682288 CPUtime=1800.77 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 659258 0 0 0 171915 8162 0 0 18 0 1 0 134221272 2746662912 658312 4089446400 4194304 7136930 140735825246192 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14976/statm: 670572 658312 397 719 0 669851 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (KiB) 2682288 [startup+1801.5 s] /proc/loadavg: 2.01 2.01 2.00 4/180 15057 /proc/meminfo: memFree=28969832/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2682288 CPUtime=1801.56 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 659258 0 0 0 171994 8162 0 0 20 0 1 0 134221272 2746662912 658312 4089446400 4194304 7136930 140735825246192 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14976/statm: 670572 658312 397 719 0 669851 0 Current children cumulated CPU time (s) 1801.56 Current children cumulated vsize (KiB) 2682288 [startup+1801.91 s] /proc/loadavg: 2.01 2.01 2.00 3/180 15057 /proc/meminfo: memFree=28969584/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2682288 CPUtime=1801.97 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 659258 0 0 0 172035 8162 0 0 20 0 1 0 134221272 2746662912 658312 4089446400 4194304 7136930 140735825246192 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14976/statm: 670572 658312 397 719 0 669851 0 Current children cumulated CPU time (s) 1801.97 Current children cumulated vsize (KiB) 2682288 [startup+1802 s] /proc/loadavg: 2.01 2.01 2.00 3/180 15057 /proc/meminfo: memFree=28969584/32951124 swapFree=67111528/67111528 [pid=14976] ppid=14974 vsize=2682288 CPUtime=1802.06 /proc/14976/stat : 14976 (pbscip.linux.x8) R 14974 14976 14838 0 -1 4202496 659258 0 0 0 172044 8162 0 0 20 0 1 0 134221272 2746662912 658312 4089446400 4194304 7136930 140735825246192 18446744073709551615 4212564 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14976/statm: 670572 658312 397 719 0 669851 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 2682288 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.16 CPU user time (s): 1720.45 CPU system time (s): 81.7066 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2682288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1720.45 system time used= 81.7066 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 659258 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1370 runsolver used 3.42448 second user time and 5.95709 second system time The end
Begin job on node102 at 2010-06-30 22:20:31 IDJOB=2693661 IDBENCH=79295 IDSOLVER=1206 FILE ID=node102/2693661-1277929231 PBS_JOBID= 11197403 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996--soft-0-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-2693661-1277929231/watcher-2693661-1277929231 -o /tmp/evaluation-result-2693661-1277929231/solver-2693661-1277929231 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693661-1277929231.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c45be88cd75ffa8279348f234419b8ae RANDOM SEED=1669533627 node102.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.833 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.66 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.833 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.833 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.833 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.85 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.833 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.833 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: 31488576 kB Buffers: 212248 kB Cached: 737840 kB SwapCached: 0 kB Active: 724500 kB Inactive: 594880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31488576 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3164 kB Writeback: 0 kB AnonPages: 369796 kB Mapped: 16104 kB Slab: 78412 kB PageTables: 5652 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 518524 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node102 at 2010-06-30 22:50:33