Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.14 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900575442--soft-0-100-0.wbo |
| MD5SUM | f554cc9691e9826ab6aa59c7fc9c497b |
| 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 | 30.1254 |
| 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 | 136180 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136179 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 667 |
| 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-2693663-1277929377.wbo>
0.01/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/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.13 o 136179
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.361790e+05
0.09/0.13 c presolving:
0.09/0.14 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.15 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.19/0.20 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2707 implications, 0 cliques
0.19/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.20 c 2707 constraints of type <indicator>
0.19/0.20 c 2707 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.15
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.361790e+05 | Inf
1.69/1.77 o 719
1.69/1.77 c * 1.7s| 5283 | 4905 | 0 | 0.0 | 22M|2816 | - |5645 |6682 | 0 | 0 | 0 |1268 | 0 | 0.000000e+00 | 7.190000e+02 | Inf
1.69/1.78 o 559
1.69/1.78 c * 1.7s| 5289 | 4909 | 0 | 0.0 | 22M|2816 | - |5645 |6682 | 0 | 0 | 0 |1268 | 0 | 0.000000e+00 | 5.590000e+02 | Inf
2.09/2.18 o 340
2.09/2.18 c * 2.1s| 6150 | 5689 | 0 | 0.0 | 23M|2816 | - |5645 |6809 | 0 | 0 | 0 |1395 | 0 | 0.000000e+00 | 3.400000e+02 | Inf
2.09/2.19 o 324
2.09/2.19 c * 2.1s| 6151 | 5686 | 0 | 0.0 | 23M|2816 | - |5645 |6809 | 0 | 0 | 0 |1395 | 0 | 0.000000e+00 | 3.240000e+02 | Inf
2.19/2.24 o 281
2.19/2.24 c * 2.1s| 6267 | 5751 | 0 | 0.0 | 23M|2816 | - |5645 |6819 | 0 | 0 | 0 |1405 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
2.19/2.25 o 265
2.19/2.25 c * 2.2s| 6268 | 5724 | 0 | 0.0 | 23M|2816 | - |5645 |6819 | 0 | 0 | 0 |1405 | 0 | 0.000000e+00 | 2.650000e+02 | Inf
2.49/2.50 o 251
2.49/2.50 c * 2.4s| 6795 | 6214 | 0 | 0.0 | 24M|2816 | - |5645 |6924 | 0 | 0 | 0 |1510 | 0 | 0.000000e+00 | 2.510000e+02 | Inf
2.49/2.55 o 237
2.49/2.55 c * 2.5s| 6891 | 6295 | 0 | 0.0 | 24M|2816 | - |5645 |6930 | 0 | 0 | 0 |1516 | 0 | 0.000000e+00 | 2.370000e+02 | Inf
2.49/2.59 o 221
2.49/2.59 c * 2.5s| 6986 | 6371 | 0 | 0.0 | 24M|2816 | - |5645 |6940 | 0 | 0 | 0 |1526 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
2.69/2.73 o 183
2.69/2.73 c * 2.6s| 7348 | 6652 | 0 | 0.0 | 24M|2816 | - |5645 |7040 | 0 | 0 | 0 |1627 | 0 | 0.000000e+00 | 1.830000e+02 | Inf
3.59/3.64 c 3.5s| 10000 | 8926 | 0 | 0.0 | 28M|2816 | - |5645 |7892 | 0 | 0 | 0 |3408 | 0 | 0.000000e+00 | 1.830000e+02 | Inf
7.49/7.59 c 7.4s| 20000 | 16913 | 0 | 0.0 | 39M|2816 | - |5645 |8187 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
13.10/13.14 c 12.9s| 30000 | 23325 | 0 | 0.0 | 52M|2816 | - |5645 | 10k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
14.39/14.41 o 173
14.39/14.41 c *14.1s| 31421 | 24100 | 0 | 0.0 | 54M|2816 | - |5645 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
14.39/14.41 o 155
14.39/14.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.39/14.41 c *14.1s| 31422 | 24071 | 0 | 0.0 | 54M|2816 | - |5645 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
14.89/14.94 o 137
14.89/14.94 c *14.6s| 32138 | 24676 | 0 | 0.0 | 54M|2816 | - |5645 |9556 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.370000e+02 | Inf
14.89/14.95 o 133
14.89/14.95 c *14.6s| 32139 | 24636 | 0 | 0.0 | 54M|2816 | - |5645 |9556 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
15.79/15.86 o 123
15.79/15.86 c *15.5s| 33217 | 25597 | 0 | 0.0 | 56M|2816 | - |5645 |9274 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
15.99/16.07 o 119
15.99/16.07 c *15.8s| 33460 | 25811 | 0 | 0.0 | 57M|2816 | - |5645 |9282 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
15.99/16.08 o 115
15.99/16.08 c *15.8s| 33461 | 25762 | 0 | 0.0 | 57M|2816 | - |5645 |9282 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
19.39/19.44 o 113
19.39/19.44 c *19.1s| 37455 | 29310 | 0 | 0.0 | 64M|2816 | - |5645 |8776 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
19.39/19.45 o 107
19.39/19.45 c *19.1s| 37456 | 29255 | 0 | 0.0 | 64M|2816 | - |5645 |8776 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
20.90/20.91 o 104
20.90/20.91 c *20.5s| 39293 | 30884 | 0 | 0.0 | 68M|2816 | - |5645 |8536 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
20.90/20.91 o 84
20.90/20.91 c *20.5s| 39294 | 30040 | 0 | 0.0 | 65M|2816 | - |5645 |8536 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
20.90/20.97 o 70
20.90/20.97 c *20.6s| 39385 | 29413 | 0 | 0.0 | 63M|2816 | - |5645 |8527 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
21.49/21.54 c 21.1s| 40000 | 29925 | 0 | 0.0 | 65M|2816 | - |5645 |8526 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
21.79/21.88 o 69
21.79/21.88 c *21.5s| 40461 | 30278 | 0 | 0.0 | 65M|2816 | - |5645 |8388 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 6.900000e+01 | Inf
22.29/22.37 o 63
22.29/22.37 c *22.0s| 40978 | 30477 | 0 | 0.0 | 66M|2816 | - |5645 |8367 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
23.20/23.30 o 56
23.20/23.30 c *22.9s| 41579 | 30668 | 0 | 0.0 | 67M|2816 | - |5645 |7516 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
26.09/26.10 o 54
26.09/26.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.09/26.10 c *25.6s| 46160 | 34424 | 0 | 0.0 | 72M|2816 | - |5645 |7152 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
26.09/26.14 o 46
26.09/26.14 c *25.7s| 46224 | 34055 | 0 | 0.0 | 71M|2816 | - |5645 |7118 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.600000e+01 | Inf
27.69/27.77 o 36
27.69/27.77 c *27.3s| 48058 | 35023 | 0 | 0.0 | 71M|2816 | - |5645 |6303 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
27.69/27.77 o 24
27.69/27.77 c *27.3s| 48059 | 34129 | 0 | 0.0 | 69M|2816 | - |5645 |6303 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
28.71/28.77 c 28.2s| 50000 | 35716 | 0 | 0.0 | 71M|2816 | - |5645 |6612 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
30.69/30.74 o 23
30.69/30.74 c *30.2s| 54093 | 38894 | 0 | 0.0 | 76M|2816 | - |5645 |7094 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
31.69/31.73 o 22
31.69/31.73 c *31.2s| 56206 | 40593 | 0 | 0.0 | 78M|2816 | - |5645 |7155 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
33.39/33.40 c 32.8s| 60000 | 43798 | 0 | 0.0 | 83M|2816 | - |5645 |7332 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
34.79/34.84 o 14
34.79/34.84 c *34.2s| 63491 | 46059 | 0 | 0.0 | 85M|2816 | - |5645 |7749 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
37.59/37.62 c 37.0s| 70000 | 51461 | 0 | 0.0 | 92M|2816 | - |5645 |6450 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
41.89/41.94 c 41.2s| 80000 | 59391 | 0 | 0.0 | 103M|2816 | - |5645 |7185 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
46.79/46.84 c 46.0s| 90000 | 66891 | 0 | 0.0 | 114M|2816 | - |5645 |7560 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
51.99/52.07 c 51.1s|100000 | 74134 | 0 | 0.0 | 125M|2816 | - |5645 |7774 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
57.49/57.55 c 56.5s|110000 | 81134 | 0 | 0.0 | 136M|2816 | - |5645 |8460 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
62.98/63.08 c 62.0s|120000 | 88135 | 0 | 0.0 | 147M|2816 | - |5645 |8688 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
68.69/68.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.69/68.75 c 67.6s|130000 | 94993 | 0 | 0.0 | 158M|2816 | - |5645 |9033 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
74.80/74.85 c 73.6s|140000 |101531 | 0 | 0.0 | 169M|2816 | - |5645 |9464 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
81.29/81.33 c 80.0s|150000 |107772 | 0 | 0.0 | 180M|2816 | - |5645 |9724 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
88.19/88.20 c 86.7s|160000 |113742 | 0 | 0.0 | 191M|2816 | - |5645 | 10k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
95.20/95.21 c 93.7s|170000 |119659 | 0 | 0.0 | 202M|2816 | - |5645 | 10k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
102.89/102.97 c 101s|180000 |124670 | 0 | 0.0 | 213M|2816 | - |5645 | 11k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
114.30/114.38 c 113s|190000 |124363 | 0 | 0.0 | 222M|2816 | - |5645 | 15k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
119.80/119.88 c 118s|200000 |132156 | 0 | 0.0 | 227M|2816 | - |5645 |7669 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
128.79/128.86 c 127s|210000 |137470 | 0 | 0.0 | 240M|2816 | - |5645 |8341 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
134.39/134.49 c 132s|220000 |145405 | 0 | 0.0 | 252M|2816 | - |5645 |9405 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
141.99/142.04 c 140s|230000 |151739 | 0 | 0.0 | 263M|2816 | - |5645 |8364 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
148.79/148.86 c 146s|240000 |158452 | 0 | 0.0 | 276M|2816 | - |5645 | 12k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
155.39/155.46 c 153s|250000 |165515 | 0 | 0.0 | 288M|2816 | - |5645 |9406 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
156.99/157.08 o 11
156.99/157.08 c * 154s|252653 |166996 | 0 | 0.0 | 289M|2816 | - |5645 | 10k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
163.29/163.36 c 160s|260000 |171113 | 0 | 0.0 | 297M|2816 | - |5645 | 10k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
168.99/169.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.99/169.05 c 166s|270000 |178699 | 0 | 0.0 | 308M|2816 | - |5645 | 12k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
176.29/176.36 c 173s|280000 |185641 | 0 | 0.0 | 323M|2816 | - |5645 | 11k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
185.09/185.17 c 181s|290000 |191933 | 0 | 0.0 | 339M|2816 | - |5645 | 12k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
191.09/191.11 c 187s|300000 |200219 | 0 | 0.0 | 359M|2816 | - |5645 | 12k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
198.89/198.90 c 194s|310000 |207717 | 0 | 0.0 | 391M|2816 | - |5645 | 14k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
207.20/207.24 o 6
207.20/207.24 c * 202s|318376 |211788 | 0 | 0.0 | 407M|2816 | - |5645 | 16k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
209.39/209.40 c 205s|320000 |212756 | 0 | 0.0 | 411M|2816 | - |5645 | 12k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
215.60/215.63 c 210s|330000 |218882 | 0 | 0.0 | 420M|2816 | - |5645 | 12k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
219.90/220.00 c 215s|340000 |226750 | 0 | 0.0 | 430M|2816 | - |5645 | 11k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
225.20/225.24 c 220s|350000 |233743 | 0 | 0.0 | 439M|2816 | - |5645 | 10k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
230.79/230.82 c 225s|360000 |240306 | 0 | 0.0 | 449M|2816 | - |5645 | 10k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
235.69/235.78 c 230s|370000 |247358 | 0 | 0.0 | 459M|2816 | - |5645 | 12k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
240.09/240.18 c 234s|380000 |255139 | 0 | 0.0 | 468M|2816 | - |5645 | 11k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
244.10/244.13 o 5
244.10/244.13 c * 237s|388145 |260758 | 0 | 0.0 | 474M|2816 | - |5645 | 10k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
244.89/244.93 c 238s|390000 |262221 | 0 | 0.0 | 476M|2816 | - |5645 | 10k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
249.99/250.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.99/250.07 c 243s|400000 |269306 | 0 | 0.0 | 486M|2816 | - |5645 | 10k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
255.10/255.15 c 248s|410000 |276278 | 0 | 0.0 | 495M|2816 | - |5645 | 11k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
259.50/259.56 c 252s|420000 |283930 | 0 | 0.0 | 505M|2816 | - |5645 | 11k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
264.29/264.38 c 257s|430000 |291149 | 0 | 0.0 | 514M|2816 | - |5645 | 10k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
269.09/269.15 c 261s|440000 |298409 | 0 | 0.0 | 523M|2816 | - |5645 | 10k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
273.69/273.80 c 266s|450000 |305723 | 0 | 0.0 | 533M|2816 | - |5645 | 11k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
279.20/279.25 c 271s|460000 |312253 | 0 | 0.0 | 543M|2816 | - |5645 | 12k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
283.60/283.65 c 275s|470000 |319907 | 0 | 0.0 | 552M|2816 | - |5645 | 12k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
288.30/288.35 c 279s|480000 |327405 | 0 | 0.0 | 561M|2816 | - |5645 | 10k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
292.90/292.93 c 284s|490000 |334917 | 0 | 0.0 | 572M|2816 | - |5645 | 11k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
298.29/298.39 c 289s|500000 |341522 | 0 | 0.0 | 579M|2816 | - |5645 |5007 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
301.59/301.68 c 292s|510000 |349873 | 0 | 0.0 | 588M|2816 | - |5645 |4315 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
304.70/304.76 c 295s|520000 |358347 | 0 | 0.0 | 598M|2816 | - |5645 |4250 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
308.09/308.17 c 298s|530000 |366458 | 0 | 0.0 | 607M|2816 | - |5645 |4266 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
312.89/312.94 c 302s|540000 |373214 | 0 | 0.0 | 617M|2816 | - |5645 |6008 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
318.00/318.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.00/318.03 c 307s|550000 |379771 | 0 | 0.0 | 627M|2816 | - |5645 |6473 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
323.10/323.15 c 312s|560000 |386275 | 0 | 0.0 | 636M|2816 | - |5645 |6930 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
328.30/328.39 c 317s|570000 |392820 | 0 | 0.0 | 646M|2816 | - |5645 |7310 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
333.39/333.46 c 322s|580000 |399559 | 0 | 0.0 | 657M|2816 | - |5645 |7503 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
338.70/338.74 c 327s|590000 |406025 | 0 | 0.0 | 667M|2816 | - |5645 |7885 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
344.39/344.42 c 332s|600000 |412106 | 0 | 0.0 | 677M|2816 | - |5645 |8175 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
350.30/350.38 c 338s|610000 |417906 | 0 | 0.0 | 687M|2816 | - |5645 |8258 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
356.40/356.46 c 344s|620000 |423601 | 0 | 0.0 | 697M|2816 | - |5645 |8315 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
362.69/362.74 c 350s|630000 |429082 | 0 | 0.0 | 707M|2816 | - |5645 |8433 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
369.10/369.10 c 356s|640000 |434736 | 0 | 0.0 | 717M|2816 | - |5645 |7504 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
375.50/375.51 c 362s|650000 |440119 | 0 | 0.0 | 727M|2816 | - |5645 |8853 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
382.20/382.22 c 369s|660000 |445297 | 0 | 0.0 | 737M|2816 | - |5645 |8947 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
388.70/388.75 c 375s|670000 |450559 | 0 | 0.0 | 747M|2816 | - |5645 |8369 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
395.70/395.73 c 382s|680000 |455561 | 0 | 0.0 | 757M|2816 | - |5645 |8922 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
402.80/402.84 c 388s|690000 |460306 | 0 | 0.0 | 766M|2816 | - |5645 |9277 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
409.80/409.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.80/409.83 c 395s|700000 |465182 | 0 | 0.0 | 776M|2816 | - |5645 |9074 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
417.10/417.12 c 402s|710000 |469840 | 0 | 0.0 | 786M|2816 | - |5645 |9358 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
424.80/424.81 c 410s|720000 |474062 | 0 | 0.0 | 795M|2816 | - |5645 | 10k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
432.40/432.47 c 417s|730000 |478255 | 0 | 0.0 | 804M|2816 | - |5645 |9693 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
440.50/440.50 c 425s|740000 |482208 | 0 | 0.0 | 814M|2816 | - |5645 | 10k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
449.00/449.08 c 433s|750000 |485627 | 0 | 0.0 | 823M|2816 | - |5645 | 10k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
457.70/457.77 c 441s|760000 |488967 | 0 | 0.0 | 832M|2816 | - |5645 | 11k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
466.30/466.33 c 450s|770000 |492305 | 0 | 0.0 | 840M|2816 | - |5645 | 11k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
475.70/475.79 c 459s|780000 |494922 | 0 | 0.0 | 849M|2816 | - |5645 | 10k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
485.80/485.88 c 468s|790000 |497108 | 0 | 0.0 | 857M|2816 | - |5645 | 10k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
496.40/496.49 c 479s|800000 |498911 | 0 | 0.0 | 865M|2816 | - |5645 | 10k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
507.81/507.87 c 490s|810000 |499758 | 0 | 0.0 | 872M|2816 | - |5645 | 11k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
519.90/519.92 c 501s|820000 |500214 | 0 | 0.0 | 880M|2816 | - |5645 | 12k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
532.31/532.31 c 514s|830000 |500460 | 0 | 0.0 | 886M|2816 | - |5645 | 12k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
545.80/545.81 c 527s|840000 |499698 | 0 | 0.0 | 891M|2816 | - |5645 | 12k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
560.10/560.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.10/560.14 c 541s|850000 |498447 | 0 | 0.0 | 896M|2816 | - |5645 | 13k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
574.70/574.74 c 555s|860000 |497720 | 0 | 0.0 | 899M|2816 | - |5645 | 14k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
591.30/591.34 c 571s|870000 |496099 | 0 | 0.0 | 901M|2816 | - |5645 | 16k| 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
600.71/600.75 c 580s|880000 |500136 | 0 | 0.0 | 900M|2816 | - |5645 |5373 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
604.91/604.96 c 584s|890000 |507871 | 0 | 0.0 | 910M|2816 | - |5645 |5443 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
609.31/609.38 c 588s|900000 |515323 | 0 | 0.0 | 921M|2816 | - |5645 |5893 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
614.01/614.06 c 593s|910000 |522559 | 0 | 0.0 | 931M|2816 | - |5645 |6605 | 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
619.31/619.36 c 598s|920000 |529359 | 0 | 0.0 | 942M|2816 | - |5645 |7361 | 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
624.90/624.94 c 603s|930000 |535906 | 0 | 0.0 | 953M|2816 | - |5645 |7916 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
631.10/631.13 c 609s|940000 |541977 | 0 | 0.0 | 964M|2816 | - |5645 |8877 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
632.81/632.88 o 4
632.81/632.88 c * 610s|942419 |542436 | 0 | 0.0 | 964M|2816 | - |5645 |8915 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
639.01/639.03 c 616s|950000 |546382 | 0 | 0.0 | 975M|2816 | - |5645 |9790 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
648.80/648.80 c 625s|960000 |550151 | 0 | 0.0 | 987M|2816 | - |5645 | 11k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
651.01/651.04 o 3
651.01/651.04 c * 628s|961933 |548759 | 0 | 0.0 | 984M|2816 | - |5645 |8655 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
661.40/661.43 c 637s|970000 |549106 | 0 | 0.0 | 991M|2816 | - |5645 | 10k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
662.71/662.77 o 2
662.71/662.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.71/662.77 c * 639s|970662 |519479 | 0 | 0.0 | 955M|2816 | - |5645 | 10k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
667.50/667.55 c 643s|980000 |526219 | 0 | 0.0 | 962M|2816 | - |5645 |6682 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
672.61/672.61 c 648s|990000 |533212 | 0 | 0.0 | 972M|2816 | - |5645 |7880 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
678.10/678.17 c 653s| 1000k|539943 | 0 | 0.0 | 983M|2816 | - |5645 |9381 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
684.30/684.38 c 659s| 1010k|546273 | 0 | 0.0 | 993M|2816 | - |5645 | 10k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
690.90/690.97 c 665s| 1020k|552279 | 0 | 0.0 |1004M|2816 | - |5645 | 12k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
698.52/698.56 c 672s| 1030k|557570 | 0 | 0.0 |1014M|2816 | - |5645 | 14k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
707.91/707.93 c 681s| 1040k|561874 | 0 | 0.0 |1025M|2816 | - |5645 | 16k| 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
721.71/721.77 c 695s| 1050k|563650 | 0 | 0.0 |1034M|2816 | - |5645 | 21k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
730.91/730.91 c 704s| 1060k|569134 | 0 | 0.0 |1038M|2816 | - |5645 |9162 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
736.10/736.17 c 709s| 1070k|576399 | 0 | 0.0 |1049M|2816 | - |5645 |9615 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
741.71/741.79 c 714s| 1080k|583321 | 0 | 0.0 |1059M|2816 | - |5645 | 10k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
748.21/748.21 c 720s| 1090k|589670 | 0 | 0.0 |1070M|2816 | - |5645 | 12k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
754.91/754.97 c 726s| 1100k|595781 | 0 | 0.0 |1081M|2816 | - |5645 | 13k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
762.60/762.67 c 734s| 1110k|601283 | 0 | 0.0 |1091M|2816 | - |5645 | 15k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
772.41/772.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.41/772.41 c 743s| 1120k|605600 | 0 | 0.0 |1101M|2816 | - |5645 | 16k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
784.71/784.71 c 755s| 1130k|608510 | 0 | 0.0 |1110M|2816 | - |5645 | 19k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
798.71/798.76 c 769s| 1140k|611007 | 0 | 0.0 |1114M|2816 | - |5645 | 11k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.61/803.64 c 773s| 1150k|618681 | 0 | 0.0 |1122M|2816 | - |5645 |9159 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
808.61/808.68 c 778s| 1160k|625948 | 0 | 0.0 |1133M|2816 | - |5645 |9492 | 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
814.31/814.30 c 783s| 1170k|632797 | 0 | 0.0 |1143M|2816 | - |5645 | 10k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
820.81/820.81 c 789s| 1180k|639031 | 0 | 0.0 |1154M|2816 | - |5645 | 11k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
827.91/827.94 c 796s| 1190k|644843 | 0 | 0.0 |1165M|2816 | - |5645 | 13k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
836.31/836.35 c 804s| 1200k|649801 | 0 | 0.0 |1175M|2816 | - |5645 | 15k| 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
845.71/845.78 c 813s| 1210k|654196 | 0 | 0.0 |1185M|2816 | - |5645 | 17k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
858.31/858.39 c 825s| 1220k|656848 | 0 | 0.0 |1194M|2816 | - |5645 | 19k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
869.71/869.74 c 836s| 1230k|660721 | 0 | 0.0 |1197M|2816 | - |5645 | 10k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
874.41/874.41 c 841s| 1240k|668458 | 0 | 0.0 |1207M|2816 | - |5645 |9738 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
879.31/879.38 c 845s| 1250k|675752 | 0 | 0.0 |1217M|2816 | - |5645 | 10k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
885.11/885.14 c 851s| 1260k|682547 | 0 | 0.0 |1227M|2816 | - |5645 | 11k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
891.91/891.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.91/891.90 c 857s| 1270k|688745 | 0 | 0.0 |1238M|2816 | - |5645 | 13k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.82/899.88 c 865s| 1280k|694129 | 0 | 0.0 |1249M|2816 | - |5645 | 15k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
909.72/909.71 c 874s| 1290k|698458 | 0 | 0.0 |1259M|2816 | - |5645 | 19k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
923.81/923.80 c 888s| 1300k|700624 | 0 | 0.0 |1264M|2816 | - |5645 | 16k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
928.82/928.81 c 892s| 1310k|708426 | 0 | 0.0 |1272M|2816 | - |5645 | 10k| 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
933.92/933.96 c 897s| 1320k|715684 | 0 | 0.0 |1282M|2816 | - |5645 | 11k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
939.71/939.79 c 903s| 1330k|722545 | 0 | 0.0 |1292M|2816 | - |5645 | 12k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
946.81/946.85 c 909s| 1340k|728667 | 0 | 0.0 |1302M|2816 | - |5645 | 14k| 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
955.31/955.37 c 918s| 1350k|733880 | 0 | 0.0 |1313M|2816 | - |5645 | 17k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
965.82/965.87 c 928s| 1360k|738047 | 0 | 0.0 |1322M|2816 | - |5645 | 20k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
982.42/982.44 c 944s| 1370k|738817 | 0 | 0.0 |1329M|2816 | - |5645 | 26k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
989.62/989.66 c 951s| 1380k|746201 | 0 | 0.0 |1336M|2816 | - |5645 | 12k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.12/995.16 c 956s| 1390k|753901 | 0 | 0.0 |1347M|2816 | - |5645 | 12k| 0 | 0 | 0 |1270k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1000.92/1000.91 c 961s| 1400k|761407 | 0 | 0.0 |1359M|2816 | - |5645 | 12k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1007.12/1007.14 c 967s| 1410k|768711 | 0 | 0.0 |1368M|2816 | - |5645 |9651 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.51/1012.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.51/1012.50 c 972s| 1420k|775839 | 0 | 0.0 |1377M|2816 | - |5645 | 10k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.22/1018.24 c 977s| 1430k|782595 | 0 | 0.0 |1387M|2816 | - |5645 | 11k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1024.42/1024.41 c 983s| 1440k|789078 | 0 | 0.0 |1397M|2816 | - |5645 | 12k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1031.12/1031.12 c 990s| 1450k|795268 | 0 | 0.0 |1407M|2816 | - |5645 | 12k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1038.02/1038.07 c 996s| 1460k|801262 | 0 | 0.0 |1416M|2816 | - |5645 | 13k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1045.81/1045.85 c 1004s| 1470k|806671 | 0 | 0.0 |1426M|2816 | - |5645 | 14k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1054.22/1054.25 c 1012s| 1480k|811740 | 0 | 0.0 |1435M|2816 | - |5645 | 14k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1063.02/1063.09 c 1020s| 1490k|816377 | 0 | 0.0 |1444M|2816 | - |5645 | 15k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.62/1072.63 c 1029s| 1500k|820589 | 0 | 0.0 |1452M|2816 | - |5645 | 15k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.22/1082.21 c 1038s| 1510k|824701 | 0 | 0.0 |1460M|2816 | - |5645 | 14k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1091.32/1091.34 c 1047s| 1520k|828853 | 0 | 0.0 |1466M|2816 | - |5645 | 13k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1099.02/1099.07 c 1054s| 1530k|833989 | 0 | 0.0 |1473M|2816 | - |5645 | 12k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1105.72/1105.78 c 1061s| 1540k|840029 | 0 | 0.0 |1481M|2816 | - |5645 | 12k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1112.22/1112.20 c 1067s| 1550k|846242 | 0 | 0.0 |1490M|2816 | - |5645 | 13k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1119.22/1119.22 c 1073s| 1560k|852084 | 0 | 0.0 |1499M|2816 | - |5645 | 14k| 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1127.72/1127.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.72/1127.79 c 1082s| 1570k|856883 | 0 | 0.0 |1508M|2816 | - |5645 | 16k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.12/1140.12 c 1093s| 1580k|859001 | 0 | 0.0 |1516M|2816 | - |5645 | 20k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1145.42/1145.43 c 1098s| 1590k|866728 | 0 | 0.0 |1522M|2816 | - |5645 | 10k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1150.42/1150.50 c 1103s| 1600k|874104 | 0 | 0.0 |1532M|2816 | - |5645 | 11k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1156.12/1156.14 c 1109s| 1610k|881068 | 0 | 0.0 |1542M|2816 | - |5645 | 12k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1162.62/1162.64 c 1115s| 1620k|887383 | 0 | 0.0 |1552M|2816 | - |5645 | 14k| 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1170.12/1170.17 c 1122s| 1630k|892999 | 0 | 0.0 |1563M|2816 | - |5645 | 16k| 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.22/1179.26 c 1130s| 1640k|897715 | 0 | 0.0 |1572M|2816 | - |5645 | 18k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1191.52/1191.51 c 1142s| 1650k|900328 | 0 | 0.0 |1579M|2816 | - |5645 | 22k| 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1198.52/1198.54 c 1149s| 1660k|906864 | 0 | 0.0 |1584M|2816 | - |5645 | 11k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.22/1203.27 c 1153s| 1670k|914513 | 0 | 0.0 |1593M|2816 | - |5645 | 11k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1208.32/1208.35 c 1158s| 1680k|921818 | 0 | 0.0 |1602M|2816 | - |5645 | 12k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1214.33/1214.33 c 1164s| 1690k|928497 | 0 | 0.0 |1612M|2816 | - |5645 | 13k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.32/1221.34 c 1170s| 1700k|934463 | 0 | 0.0 |1622M|2816 | - |5645 | 15k| 0 | 0 | 0 |1475k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1229.62/1229.66 c 1178s| 1710k|939620 | 0 | 0.0 |1631M|2816 | - |5645 | 17k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1240.73/1240.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.73/1240.73 c 1189s| 1720k|942980 | 0 | 0.0 |1639M|2816 | - |5645 | 20k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1249.82/1249.80 c 1198s| 1730k|948245 | 0 | 0.0 |1643M|2816 | - |5645 | 11k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1254.52/1254.59 c 1202s| 1740k|955903 | 0 | 0.0 |1653M|2816 | - |5645 | 10k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1259.62/1259.65 c 1207s| 1750k|963118 | 0 | 0.0 |1662M|2816 | - |5645 | 11k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1265.42/1265.43 c 1212s| 1760k|969789 | 0 | 0.0 |1672M|2816 | - |5645 | 13k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1272.32/1272.30 c 1219s| 1770k|975645 | 0 | 0.0 |1683M|2816 | - |5645 | 14k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1280.22/1280.26 c 1226s| 1780k|980799 | 0 | 0.0 |1693M|2816 | - |5645 | 16k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.33/1290.39 c 1236s| 1790k|984533 | 0 | 0.0 |1701M|2816 | - |5645 | 18k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.33/1301.37 c 1247s| 1800k|988083 | 0 | 0.0 |1706M|2816 | - |5645 | 11k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1306.32/1306.32 c 1251s| 1810k|995673 | 0 | 0.0 |1715M|2816 | - |5645 | 11k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1311.33/1311.34 c 1256s| 1820k| 1003k| 0 | 0.0 |1725M|2816 | - |5645 | 11k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1316.82/1316.86 c 1261s| 1830k| 1009k| 0 | 0.0 |1735M|2816 | - |5645 | 12k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1323.63/1323.66 c 1267s| 1840k| 1015k| 0 | 0.0 |1745M|2816 | - |5645 | 14k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1332.13/1332.11 c 1276s| 1850k| 1020k| 0 | 0.0 |1754M|2816 | - |5645 | 15k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1343.72/1343.70 c 1287s| 1860k| 1023k| 0 | 0.0 |1763M|2816 | - |5645 | 18k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1352.94/1352.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.94/1352.96 c 1296s| 1870k| 1028k| 0 | 0.0 |1768M|2816 | - |5645 | 11k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.72/1357.76 c 1300s| 1880k| 1035k| 0 | 0.0 |1778M|2816 | - |5645 | 11k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1362.83/1362.88 c 1305s| 1890k| 1043k| 0 | 0.0 |1788M|2816 | - |5645 | 11k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1368.62/1368.62 c 1310s| 1900k| 1049k| 0 | 0.0 |1798M|2816 | - |5645 | 12k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1375.53/1375.56 c 1317s| 1910k| 1055k| 0 | 0.0 |1807M|2816 | - |5645 | 13k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1384.23/1384.22 c 1325s| 1920k| 1060k| 0 | 0.0 |1817M|2816 | - |5645 | 15k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1394.73/1394.71 c 1335s| 1930k| 1063k| 0 | 0.0 |1826M|2816 | - |5645 | 17k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1405.42/1405.48 c 1345s| 1940k| 1067k| 0 | 0.0 |1831M|2816 | - |5645 | 12k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1410.33/1410.37 c 1350s| 1950k| 1075k| 0 | 0.0 |1840M|2816 | - |5645 | 10k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1415.52/1415.51 c 1355s| 1960k| 1082k| 0 | 0.0 |1849M|2816 | - |5645 | 11k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1421.03/1421.06 c 1360s| 1970k| 1089k| 0 | 0.0 |1857M|2816 | - |5645 | 12k| 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1427.53/1427.55 c 1366s| 1980k| 1095k| 0 | 0.0 |1866M|2816 | - |5645 | 13k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1435.63/1435.65 c 1374s| 1990k| 1100k| 0 | 0.0 |1875M|2816 | - |5645 | 15k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1445.83/1445.81 c 1384s| 2000k| 1104k| 0 | 0.0 |1883M|2816 | - |5645 | 18k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1456.13/1456.18 c 1394s| 2010k| 1108k| 0 | 0.0 |1888M|2816 | - |5645 | 12k| 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1460.93/1460.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1460.93/1460.99 c 1398s| 2020k| 1116k| 0 | 0.0 |1897M|2816 | - |5645 | 11k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.23/1466.22 c 1403s| 2030k| 1123k| 0 | 0.0 |1907M|2816 | - |5645 | 12k| 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1471.83/1471.88 c 1408s| 2040k| 1130k| 0 | 0.0 |1917M|2816 | - |5645 | 13k| 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1478.13/1478.16 c 1414s| 2050k| 1136k| 0 | 0.0 |1926M|2816 | - |5645 | 14k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1485.33/1485.32 c 1421s| 2060k| 1142k| 0 | 0.0 |1936M|2816 | - |5645 | 15k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1493.74/1493.79 c 1429s| 2070k| 1147k| 0 | 0.0 |1946M|2816 | - |5645 | 16k| 0 | 0 | 0 |1720k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1505.43/1505.44 c 1440s| 2080k| 1150k| 0 | 0.0 |1955M|2816 | - |5645 | 18k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1514.83/1514.80 c 1449s| 2090k| 1154k| 0 | 0.0 |1959M|2816 | - |5645 | 11k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1519.43/1519.46 c 1454s| 2100k| 1162k| 0 | 0.0 |1968M|2816 | - |5645 | 11k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1524.33/1524.34 c 1458s| 2110k| 1169k| 0 | 0.0 |1977M|2816 | - |5645 | 12k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1529.83/1529.85 c 1464s| 2120k| 1177k| 0 | 0.0 |1986M|2816 | - |5645 | 13k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1536.03/1536.04 c 1469s| 2130k| 1183k| 0 | 0.0 |1995M|2816 | - |5645 | 14k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1542.73/1542.72 c 1476s| 2140k| 1189k| 0 | 0.0 |2005M|2816 | - |5645 | 15k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1551.43/1551.44 c 1484s| 2150k| 1194k| 0 | 0.0 |2014M|2816 | - |5645 | 16k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1564.33/1564.35 c 1497s| 2160k| 1196k| 0 | 0.0 |2020M|2816 | - |5645 | 19k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1569.74/1569.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.74/1569.78 c 1502s| 2170k| 1203k| 0 | 0.0 |2027M|2816 | - |5645 | 11k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1574.53/1574.52 c 1506s| 2180k| 1211k| 0 | 0.0 |2035M|2816 | - |5645 | 12k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.64/1579.63 c 1511s| 2190k| 1218k| 0 | 0.0 |2044M|2816 | - |5645 | 12k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1585.03/1585.05 c 1516s| 2200k| 1225k| 0 | 0.0 |2053M|2816 | - |5645 | 13k| 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1590.93/1590.97 c 1522s| 2210k| 1231k| 0 | 0.0 |2062M|2816 | - |5645 | 14k| 0 | 0 | 0 |1805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1597.43/1597.41 c 1528s| 2220k| 1238k| 0 | 0.0 |2070M|2816 | - |5645 | 15k| 0 | 0 | 0 |1811k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1604.53/1604.57 c 1534s| 2230k| 1243k| 0 | 0.0 |2079M|2816 | - |5645 | 15k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1612.23/1612.27 c 1542s| 2240k| 1249k| 0 | 0.0 |2086M|2816 | - |5645 | 14k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1620.54/1620.51 c 1550s| 2250k| 1253k| 0 | 0.0 |2094M|2816 | - |5645 | 13k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.64/1627.63 c 1556s| 2260k| 1259k| 0 | 0.0 |2102M|2816 | - |5645 | 13k| 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.93/1633.90 c 1562s| 2270k| 1266k| 0 | 0.0 |2111M|2816 | - |5645 | 13k| 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.14/1640.18 c 1568s| 2280k| 1272k| 0 | 0.0 |2120M|2816 | - |5645 | 14k| 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1647.14/1647.20 c 1575s| 2290k| 1278k| 0 | 0.0 |2129M|2816 | - |5645 | 15k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1655.23/1655.20 c 1583s| 2300k| 1284k| 0 | 0.0 |2138M|2816 | - |5645 | 17k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.73/1666.70 c 1594s| 2310k| 1287k| 0 | 0.0 |2147M|2816 | - |5645 | 21k| 0 | 0 | 0 |1876k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.03/1674.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.03/1674.00 c 1601s| 2320k| 1294k| 0 | 0.0 |2152M|2816 | - |5645 | 12k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1678.64/1678.65 c 1605s| 2330k| 1302k| 0 | 0.0 |2160M|2816 | - |5645 | 12k| 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1683.74/1683.78 c 1610s| 2340k| 1309k| 0 | 0.0 |2170M|2816 | - |5645 | 12k| 0 | 0 | 0 |1888k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1689.83/1689.82 c 1615s| 2350k| 1316k| 0 | 0.0 |2179M|2816 | - |5645 | 14k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1696.73/1696.78 c 1622s| 2360k| 1322k| 0 | 0.0 |2189M|2816 | - |5645 | 15k| 0 | 0 | 0 |1899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1705.04/1705.02 c 1630s| 2370k| 1327k| 0 | 0.0 |2198M|2816 | - |5645 | 18k| 0 | 0 | 0 |1907k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1717.34/1717.34 c 1642s| 2380k| 1331k| 0 | 0.0 |2206M|2816 | - |5645 | 21k| 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1725.74/1725.72 c 1650s| 2390k| 1336k| 0 | 0.0 |2210M|2816 | - |5645 | 12k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.24/1730.28 c 1654s| 2400k| 1344k| 0 | 0.0 |2219M|2816 | - |5645 | 11k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1735.04/1735.01 c 1659s| 2410k| 1352k| 0 | 0.0 |2228M|2816 | - |5645 | 12k| 0 | 0 | 0 |1933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.24/1740.22 c 1663s| 2420k| 1359k| 0 | 0.0 |2238M|2816 | - |5645 | 12k| 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.65/1745.62 c 1669s| 2430k| 1367k| 0 | 0.0 |2247M|2816 | - |5645 | 13k| 0 | 0 | 0 |1941k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1751.25/1751.22 c 1674s| 2440k| 1374k| 0 | 0.0 |2256M|2816 | - |5645 | 13k| 0 | 0 | 0 |1945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1756.94/1756.96 c 1679s| 2450k| 1380k| 0 | 0.0 |2266M|2816 | - |5645 | 14k| 0 | 0 | 0 |1950k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.13/1763.17 c 1685s| 2460k| 1387k| 0 | 0.0 |2275M|2816 | - |5645 | 15k| 0 | 0 | 0 |1955k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1770.04/1770.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.04/1770.06 c 1692s| 2470k| 1393k| 0 | 0.0 |2285M|2816 | - |5645 | 15k| 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1777.34/1777.31 c 1699s| 2480k| 1399k| 0 | 0.0 |2295M|2816 | - |5645 | 16k| 0 | 0 | 0 |1967k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1785.54/1785.52 c 1706s| 2490k| 1405k| 0 | 0.0 |2305M|2816 | - |5645 | 17k| 0 | 0 | 0 |1975k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1794.64/1794.65 c 1715s| 2500k| 1409k| 0 | 0.0 |2314M|2816 | - |5645 | 18k| 0 | 0 | 0 |1983k| 0 | 0.000000e+00 | 2.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) : 1720.26
1800.04/1800.00 c Solving Nodes : 2505165
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (41 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.07 s SATISFIABLE
1800.04/1800.07 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.07 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.07 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.07 v -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146
1800.04/1800.07 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.07 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.07 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.07 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.07 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.07 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.07 v -x1
1800.04/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.07 c Solving Time : 1720.26
1800.04/1800.07 c Original Problem :
1800.04/1800.07 c Problem name : HOME/instance-2693663-1277929377.wbo
1800.04/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.07 c Presolved Problem :
1800.04/1800.07 c Problem name : t_HOME/instance-2693663-1277929377.wbo
1800.04/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.07 c Constraints : 5414 initial, 26671 maximal
1800.04/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.07 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.07 c linear : 0.03 0 0 0 2707 0 1 0 0
1800.04/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.07 c root node : - 2685 - - 5370 - - - -
1800.04/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.07 c indicator : 2707 0 5882192 0 1685856 76 1742321 0 0 0
1800.04/1800.07 c linear : 2707 0 7744442 0 2126191 514758 44645841 0 0 0
1800.04/1800.07 c logicor : 0+ 0 3608347 0 0 104968 1977837 0 0 0
1800.04/1800.07 c countsols : 0 0 0 0 2126214 0 0 0 0 0
1800.04/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.07 c indicator : 10.30 0.00 4.29 0.00 6.01
1800.04/1800.07 c linear : 441.39 0.00 440.17 0.00 1.22
1800.04/1800.07 c logicor : 259.25 0.00 259.25 0.00 0.00
1800.04/1800.07 c countsols : 0.03 0.00 0.00 0.00 0.03
1800.04/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.07 c vbounds : 0.10 2 0 0
1800.04/1800.07 c rootredcost : 0.14 0 0 0
1800.04/1800.07 c pseudoobj : 381.89 7745923 1389 1730688
1800.04/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.07 c propagation : 33.59 621115 621113 3028182 21.7 173798 10.8 -
1800.04/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.07 c pseudo solution : 0.02 79 79 324 25.7 297 9.9 -
1800.04/1800.07 c applied globally : - - - 1989030 19.5 - - -
1800.04/1800.07 c applied locally : - - - 0 0.0 - - -
1800.04/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.07 c redcost : 0.00 0 0 0 0 0
1800.04/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.07 c intobj : 0.00 0 0 0 0 0
1800.04/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.07 c gomory : 0.00 0 0 0 0 0
1800.04/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.07 c cmir : 0.00 0 0 0 0 0
1800.04/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.07 c clique : 0.00 0 0 0 0 0
1800.04/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.07 c mcf : 0.00 0 0 0 0 0
1800.04/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.07 c Pricers : Time Calls Vars
1800.04/1800.07 c problem variables: 0.00 0 0
1800.04/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.07 c inference : 35.00 2126176 0 0 0 0 4252352
1800.04/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.07 c random : 0.00 0 0 0 0 0 0
1800.04/1800.07 c Primal Heuristics : Time Calls Found
1800.04/1800.07 c LP solutions : 0.00 - 0
1800.04/1800.07 c pseudo solutions : 0.13 - 38
1800.04/1800.07 c oneopt : 0.11 0 0
1800.04/1800.07 c trivial : 0.08 2 2
1800.04/1800.07 c simplerounding : 0.00 0 0
1800.04/1800.07 c zirounding : 0.00 0 0
1800.04/1800.07 c rounding : 0.00 0 0
1800.04/1800.07 c shifting : 0.00 0 0
1800.04/1800.07 c intshifting : 0.00 0 0
1800.04/1800.07 c twoopt : 0.00 0 0
1800.04/1800.07 c fixandinfer : 0.00 0 0
1800.04/1800.07 c feaspump : 0.00 0 0
1800.04/1800.07 c coefdiving : 0.00 0 0
1800.04/1800.07 c pscostdiving : 0.00 0 0
1800.04/1800.07 c fracdiving : 0.00 0 0
1800.04/1800.07 c veclendiving : 0.00 0 0
1800.04/1800.07 c intdiving : 0.00 0 0
1800.04/1800.07 c actconsdiving : 0.00 0 0
1800.04/1800.07 c objpscostdiving : 0.00 0 0
1800.04/1800.07 c rootsoldiving : 0.00 0 0
1800.04/1800.07 c linesearchdiving : 0.00 0 0
1800.04/1800.07 c guideddiving : 0.00 0 0
1800.04/1800.07 c octane : 0.00 0 0
1800.04/1800.07 c rens : 0.00 0 0
1800.04/1800.07 c rins : 0.00 0 0
1800.04/1800.07 c localbranching : 0.00 0 0
1800.04/1800.07 c mutation : 0.00 0 0
1800.04/1800.07 c crossover : 0.00 0 0
1800.04/1800.07 c dins : 0.00 0 0
1800.04/1800.07 c undercover : 0.00 0 0
1800.04/1800.07 c nlp : 0.11 0 0
1800.04/1800.07 c trysol : 0.03 1 1
1800.04/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.07 c (at root node) : - 0 0 0.00 -
1800.04/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.07 c B&B Tree :
1800.04/1800.07 c number of runs : 1
1800.04/1800.07 c nodes : 2505165
1800.04/1800.07 c nodes (total) : 2505165
1800.04/1800.07 c nodes left : 1411997
1800.04/1800.07 c max depth : 2816
1800.04/1800.07 c max depth (total): 2816
1800.04/1800.07 c backtracks : 339577 (13.6%)
1800.04/1800.07 c delayed cutoffs : 295382
1800.04/1800.07 c repropagations : 1414795 (15331388 domain reductions, 242319 cutoffs)
1800.04/1800.07 c avg switch length: 39.39
1800.04/1800.07 c switching time : 503.04
1800.04/1800.07 c Solution :
1800.04/1800.07 c Solutions found : 41 (39 improvements)
1800.04/1800.07 c First Solution : +1.36179000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.07 c Primal Bound : +2.00000000000000e+00 (in run 1, after 970662 nodes, 638.71 seconds, depth 143, found by <relaxation>)
1800.04/1800.07 c Dual Bound : +0.00000000000000e+00
1800.04/1800.07 c Gap : infinite
1800.04/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.07 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693663-1277929377/watcher-2693663-1277929377 -o /tmp/evaluation-result-2693663-1277929377/solver-2693663-1277929377 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693663-1277929377.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.01 2.11 2.15 3/196 14752 /proc/meminfo: memFree=30345820/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=8408 CPUtime=0 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 1580 0 0 0 0 0 0 0 25 0 1 0 134235410 8609792 1502 4089446400 4194304 7136930 140734371380576 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14752/statm: 2102 1502 275 719 0 1381 0 [startup+0.021153 s] /proc/loadavg: 2.01 2.11 2.15 3/196 14752 /proc/meminfo: memFree=30345820/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=13808 CPUtime=0.01 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 2958 0 0 0 1 0 0 0 25 0 1 0 134235410 14139392 2880 4089446400 4194304 7136930 140734371380576 18446744073709551615 6312240 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/14752/statm: 3488 2887 275 719 0 2767 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13808 [startup+0.101135 s] /proc/loadavg: 2.01 2.11 2.15 3/196 14752 /proc/meminfo: memFree=30345820/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=33676 CPUtime=0.09 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 7968 0 0 0 9 0 0 0 25 0 1 0 134235410 34484224 7536 4089446400 4194304 7136930 140734371380576 18446744073709551615 6350456 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 8419 7536 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.301107 s] /proc/loadavg: 2.01 2.11 2.15 3/196 14752 /proc/meminfo: memFree=30345820/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=36496 CPUtime=0.29 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 9240 0 0 0 28 1 0 0 25 0 1 0 134235410 37371904 8294 4089446400 4194304 7136930 140734371380576 18446744073709551615 4983075 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 9124 8294 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.701036 s] /proc/loadavg: 2.01 2.11 2.15 3/196 14752 /proc/meminfo: memFree=30345820/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=37636 CPUtime=0.69 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 9500 0 0 0 67 2 0 0 25 0 1 0 134235410 38539264 8554 4089446400 4194304 7136930 140734371380576 18446744073709551615 4407868 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 9409 8554 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50089 s] /proc/loadavg: 2.01 2.11 2.15 3/197 14753 /proc/meminfo: memFree=30310720/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=42028 CPUtime=1.49 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 10613 0 0 0 145 4 0 0 25 0 1 0 134235410 43036672 9667 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 10507 9667 390 719 0 9786 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42028 [startup+3.10059 s] /proc/loadavg: 2.01 2.11 2.15 3/197 14753 /proc/meminfo: memFree=30305264/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=47524 CPUtime=3.09 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 11943 0 0 0 303 6 0 0 25 0 1 0 134235410 48664576 10997 4089446400 4194304 7136930 140734371380576 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 11881 10997 391 719 0 11160 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47524 [startup+6.30102 s] /proc/loadavg: 2.00 2.11 2.15 3/197 14754 /proc/meminfo: memFree=30288340/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=61128 CPUtime=6.29 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 15286 0 0 0 615 14 0 0 25 0 1 0 134235410 62595072 14340 4089446400 4194304 7136930 140734371380576 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 15282 14340 391 719 0 14561 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61128 [startup+12.7009 s] /proc/loadavg: 2.08 2.12 2.16 3/197 14754 /proc/meminfo: memFree=30258084/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=81840 CPUtime=12.69 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 20401 0 0 0 1245 24 0 0 25 0 1 0 134235410 83804160 19455 4089446400 4194304 7136930 140734371380576 18446744073709551615 4652813 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 20460 19455 391 719 0 19739 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81840 [startup+25.5005 s] /proc/loadavg: 2.07 2.12 2.15 3/197 14755 /proc/meminfo: memFree=30204904/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=125528 CPUtime=25.49 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 31001 0 0 0 2507 42 0 0 25 0 1 0 134235410 128540672 30055 4089446400 4194304 7136930 140734371380576 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 31382 30055 391 719 0 30661 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 125528 [startup+51.1009 s] /proc/loadavg: 2.04 2.11 2.15 3/197 14755 /proc/meminfo: memFree=30121384/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=189664 CPUtime=51.09 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 46379 0 0 0 5021 88 0 0 25 0 1 0 134235410 194215936 45433 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 47416 45433 391 719 0 46695 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 189664 [startup+102.307 s] /proc/loadavg: 2.05 2.10 2.15 3/197 14757 /proc/meminfo: memFree=29960620/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=288864 CPUtime=102.3 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 71301 0 0 0 10070 160 0 0 25 0 1 0 134235410 295796736 70355 4089446400 4194304 7136930 140734371380576 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/14752/statm: 72216 70355 391 719 0 71495 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 288864 [startup+162.301 s] /proc/loadavg: 2.16 2.11 2.14 3/197 14806 /proc/meminfo: memFree=30771488/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=384016 CPUtime=162.29 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 94401 0 0 0 15916 313 0 0 25 0 1 0 134235410 393232384 93455 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 96004 93455 391 719 0 95283 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 384016 [startup+222.301 s] /proc/loadavg: 2.06 2.09 2.13 3/197 14807 /proc/meminfo: memFree=30620368/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=549092 CPUtime=222.29 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 131554 0 0 0 21681 548 0 0 25 0 1 0 134235410 562270208 130608 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 137273 130608 391 719 0 136552 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 549092 [startup+282.301 s] /proc/loadavg: 2.02 2.07 2.12 3/197 14809 /proc/meminfo: memFree=30505460/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=664016 CPUtime=282.3 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 160516 0 0 0 27356 874 0 0 25 0 1 0 134235410 679952384 159570 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 166004 159570 391 719 0 165283 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 664016 [startup+342.301 s] /proc/loadavg: 2.00 2.06 2.11 3/197 14811 /proc/meminfo: memFree=30368104/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=796188 CPUtime=342.3 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 193974 0 0 0 33046 1184 0 0 25 0 1 0 134235410 815296512 193028 4089446400 4194304 7136930 140734371380576 18446744073709551615 4983600 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 199047 193028 391 719 0 198326 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 796188 [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.10 3/179 14841 /proc/meminfo: memFree=30325552/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=897932 CPUtime=402.3 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 217507 0 0 0 38795 1435 0 0 25 0 1 0 134235410 919482368 216561 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 224483 216561 391 719 0 223762 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 897932 [startup+462.3 s] /proc/loadavg: 2.00 2.03 2.09 3/179 14842 /proc/meminfo: memFree=30198512/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=973692 CPUtime=462.3 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 236532 0 0 0 44566 1664 0 0 25 0 1 0 134235410 997060608 235586 4089446400 4194304 7136930 140734371380576 18446744073709551615 4210101 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 243423 235586 391 719 0 242702 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 973692 [startup+522.3 s] /proc/loadavg: 2.04 2.04 2.09 3/179 14846 /proc/meminfo: memFree=30112776/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1016620 CPUtime=522.3 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 247251 0 0 0 50380 1850 0 0 25 0 1 0 134235410 1041018880 246305 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 254155 246305 391 719 0 253434 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1016620 [startup+582.301 s] /proc/loadavg: 2.01 2.03 2.08 3/179 14848 /proc/meminfo: memFree=30042736/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1042476 CPUtime=582.31 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 253498 0 0 0 56226 2005 0 0 25 0 1 0 134235410 1067495424 252552 4089446400 4194304 7136930 140734371380576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 260619 252552 391 719 0 259898 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1042476 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.08 3/179 14850 /proc/meminfo: memFree=29918196/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1116924 CPUtime=642.31 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 272020 0 0 0 61922 2309 0 0 25 0 1 0 134235410 1143730176 271047 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 279231 271047 391 719 0 278510 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1116924 [startup+702.301 s] ################ # More data... # ################ /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 372196 0 0 0 96245 3987 0 0 25 0 1 0 134235410 1553526784 371223 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 379279 371223 391 719 0 378558 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1517116 [startup+1062.3 s] /proc/loadavg: 2.06 2.02 2.04 3/179 14861 /proc/meminfo: memFree=29113592/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1608152 CPUtime=1062.32 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 394699 0 0 0 101935 4297 0 0 25 0 1 0 134235410 1646747648 393726 4089446400 4194304 7136930 140734371380576 18446744073709551615 4979416 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 402038 393726 391 719 0 401317 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1608152 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 2.03 3/179 14862 /proc/meminfo: memFree=29012120/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1671680 CPUtime=1122.32 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 409985 0 0 0 107641 4591 0 0 25 0 1 0 134235410 1711800320 409012 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 417920 409012 391 719 0 417199 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1671680 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 2.03 3/179 14864 /proc/meminfo: memFree=28893156/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1745416 CPUtime=1182.32 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 428657 0 0 0 113337 4895 0 0 25 0 1 0 134235410 1787305984 427684 4089446400 4194304 7136930 140734371380576 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 436354 427684 391 719 0 435633 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1745416 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 14866 /proc/meminfo: memFree=28775680/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1810740 CPUtime=1242.33 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 445037 0 0 0 119048 5185 0 0 25 0 1 0 134235410 1854197760 444064 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 452685 444064 391 719 0 451964 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1810740 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 14868 /proc/meminfo: memFree=28657952/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1894812 CPUtime=1302.33 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 462172 0 0 0 124748 5485 0 0 25 0 1 0 134235410 1940287488 461199 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 473703 461199 391 719 0 472982 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1894812 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 14869 /proc/meminfo: memFree=28529308/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=1967440 CPUtime=1362.33 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 480434 0 0 0 130430 5803 0 0 25 0 1 0 134235410 2014658560 479461 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 491860 479461 391 719 0 491139 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1967440 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14870 /proc/meminfo: memFree=28398056/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2039564 CPUtime=1422.34 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 498789 0 0 0 136130 6104 0 0 25 0 1 0 134235410 2088513536 497816 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 509891 497816 391 719 0 509170 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2039564 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14872 /proc/meminfo: memFree=28273512/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2114248 CPUtime=1482.33 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 517504 0 0 0 141828 6405 0 0 25 0 1 0 134235410 2164989952 516531 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 528562 516531 391 719 0 527841 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2114248 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14874 /proc/meminfo: memFree=28147344/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2182716 CPUtime=1542.34 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 534827 0 0 0 147535 6699 0 0 25 0 1 0 134235410 2235101184 533854 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 545679 533854 391 719 0 544958 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2182716 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14876 /proc/meminfo: memFree=28024044/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2255292 CPUtime=1602.33 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 553190 0 0 0 153227 7006 0 0 25 0 1 0 134235410 2309419008 552217 4089446400 4194304 7136930 140734371380576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 563823 552217 391 719 0 563102 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2255292 [startup+1662.3 s] /proc/loadavg: 2.08 2.03 2.01 3/179 14877 /proc/meminfo: memFree=27902956/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2324136 CPUtime=1662.34 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 570404 0 0 0 158937 7297 0 0 25 0 1 0 134235410 2379915264 569431 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 581034 569431 391 719 0 580313 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2324136 [startup+1722.3 s] /proc/loadavg: 2.06 2.03 2.00 3/179 14878 /proc/meminfo: memFree=27780396/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2387960 CPUtime=1722.34 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 586563 0 0 0 164661 7573 0 0 25 0 1 0 134235410 2445271040 585590 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 596990 585590 391 719 0 596269 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2387960 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/179 14880 /proc/meminfo: memFree=27633148/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2481404 CPUtime=1782.34 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 610024 0 0 0 170331 7903 0 0 25 0 1 0 134235410 2540957696 609051 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 620351 609051 391 719 0 619630 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2481404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.02 2.00 3/179 14880 /proc/meminfo: memFree=27598048/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2497456 CPUtime=1800.04 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 614087 0 0 0 172029 7975 0 0 25 0 1 0 134235410 2557394944 613114 4089446400 4194304 7136930 140734371380576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14752/statm: 624364 613114 391 719 0 623643 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2497456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14752 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.01 2.02 2.00 3/180 14881 /proc/meminfo: memFree=27598040/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2497456 CPUtime=1801.44 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 614106 0 0 0 172169 7975 0 0 25 0 1 0 134235410 2557394944 613133 4089446400 4194304 7136930 140734371380576 18446744073709551615 4615790 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14752/statm: 624364 613133 397 719 0 623643 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2497456 [startup+1801.81 s] /proc/loadavg: 2.01 2.02 2.00 3/180 14881 /proc/meminfo: memFree=27598036/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2497456 CPUtime=1801.84 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 614106 0 0 0 172209 7975 0 0 25 0 1 0 134235410 2557394944 613133 4089446400 4194304 7136930 140734371380576 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14752/statm: 624364 613133 397 719 0 623643 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2497456 [startup+1802 s] /proc/loadavg: 2.01 2.02 2.00 3/180 14881 /proc/meminfo: memFree=27598036/32951124 swapFree=67111528/67111528 [pid=14752] ppid=14750 vsize=2497456 CPUtime=1802.04 /proc/14752/stat : 14752 (pbscip.linux.x8) R 14750 14752 14567 0 -1 4202496 614106 0 0 0 172229 7975 0 0 25 0 1 0 134235410 2557394944 613133 4089446400 4194304 7136930 140734371380576 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14752/statm: 624364 613133 397 719 0 623643 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2497456 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.14 CPU user time (s): 1722.3 CPU system time (s): 79.8399 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2497456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1722.3 system time used= 79.8399 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 614106 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2963 runsolver used 3.39848 second user time and 6.18206 second system time The end
Begin job on node106 at 2010-06-30 22:22:57 IDJOB=2693663 IDBENCH=79296 IDSOLVER=1206 FILE ID=node106/2693663-1277929377 PBS_JOBID= 11197405 Free space on /tmp= 74212 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.1900575442--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-2693663-1277929377/watcher-2693663-1277929377 -o /tmp/evaluation-result-2693663-1277929377/solver-2693663-1277929377 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693663-1277929377.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f554cc9691e9826ab6aa59c7fc9c497b RANDOM SEED=1187420672 node106.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.825 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.65 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.76 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.825 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.82 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.825 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.73 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.825 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.83 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.825 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30346472 kB Buffers: 214308 kB Cached: 1274764 kB SwapCached: 0 kB Active: 1410588 kB Inactive: 1049872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30346472 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 971220 kB Mapped: 20292 kB Slab: 79684 kB PageTables: 6612 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655056 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 node106 at 2010-06-30 22:53:00