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.15 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo |
| MD5SUM | f06e3169df6f7eed4900beba2f9ca344 |
| 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 | 209.658 |
| 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 | 136625 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136624 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 707 |
| 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-2693707-1277931065.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 136624
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.366240e+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.14
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.21 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.21 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.366240e+05 | Inf
3.69/3.76 c 3.7s| 10000 | 9588 | 0 | 0.0 | 24M|2816 | - |5645 |6869 | 0 | 0 | 0 |1455 | 0 | 0.000000e+00 | 1.366240e+05 | Inf
6.50/6.54 o 594
6.50/6.54 c * 6.4s| 18222 | 17805 | 0 | 0.0 | 27M|2816 | - |5645 |6872 | 0 | 0 | 0 |1458 | 0 | 0.000000e+00 | 5.940000e+02 | Inf
6.50/6.60 o 485
6.50/6.60 c * 6.5s| 18344 | 16537 | 0 | 0.0 | 27M|2816 | - |5645 |6892 | 0 | 0 | 0 |1478 | 0 | 0.000000e+00 | 4.850000e+02 | Inf
6.60/6.65 o 453
6.60/6.65 c * 6.5s| 18464 | 13315 | 0 | 0.0 | 27M|2816 | - |5645 |6892 | 0 | 0 | 0 |1478 | 0 | 0.000000e+00 | 4.530000e+02 | Inf
6.60/6.66 o 401
6.60/6.66 c * 6.5s| 18465 | 7960 | 0 | 0.0 | 26M|2816 | - |5645 |6892 | 0 | 0 | 0 |1478 | 0 | 0.000000e+00 | 4.010000e+02 | Inf
6.69/6.76 o 390
6.69/6.76 c * 6.6s| 18700 | 7144 | 0 | 0.0 | 26M|2816 | - |5645 |6912 | 0 | 0 | 0 |1498 | 0 | 0.000000e+00 | 3.900000e+02 | Inf
6.69/6.76 o 372
6.69/6.76 c * 6.6s| 18701 | 6291 | 0 | 0.0 | 24M|2816 | - |5645 |6912 | 0 | 0 | 0 |1498 | 0 | 0.000000e+00 | 3.720000e+02 | Inf
6.79/6.85 o 338
6.79/6.85 c * 6.7s| 18916 | 6493 | 0 | 0.0 | 24M|2816 | - |5645 |6932 | 0 | 0 | 0 |1518 | 0 | 0.000000e+00 | 3.380000e+02 | Inf
6.79/6.85 o 333
6.79/6.85 c * 6.7s| 18917 | 6492 | 0 | 0.0 | 24M|2816 | - |5645 |6932 | 0 | 0 | 0 |1518 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
6.79/6.89 o 317
6.79/6.89 c * 6.8s| 19021 | 6588 | 0 | 0.0 | 24M|2816 | - |5645 |6942 | 0 | 0 | 0 |1528 | 0 | 0.000000e+00 | 3.170000e+02 | Inf
6.99/7.03 o 304
6.99/7.03 c * 6.9s| 19372 | 6913 | 0 | 0.0 | 24M|2816 | - |5645 |7025 | 0 | 0 | 0 |1611 | 0 | 0.000000e+00 | 3.040000e+02 | Inf
6.99/7.06 o 224
6.99/7.06 c * 6.9s| 19436 | 6730 | 0 | 0.0 | 24M|2816 | - |5645 |7035 | 0 | 0 | 0 |1621 | 0 | 0.000000e+00 | 2.240000e+02 | Inf
6.99/7.09 o 193
6.99/7.09 c * 6.9s| 19535 | 6727 | 0 | 0.0 | 24M|2816 | - |5645 |7053 | 0 | 0 | 0 |1639 | 0 | 0.000000e+00 | 1.930000e+02 | Inf
7.19/7.24 c 7.1s| 20000 | 7154 | 0 | 0.0 | 25M|2816 | - |5645 |7274 | 0 | 0 | 0 |1868 | 0 | 0.000000e+00 | 1.930000e+02 | Inf
11.09/11.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.09/11.15 c 10.9s| 30000 | 15312 | 0 | 0.0 | 36M|2816 | - |5645 |7839 | 0 | 0 | 0 |9563 | 0 | 0.000000e+00 | 1.930000e+02 | Inf
16.99/17.06 c 16.7s| 40000 | 21298 | 0 | 0.0 | 49M|2816 | - |5645 | 10k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
17.19/17.22 o 178
17.19/17.22 c *16.9s| 40272 | 21552 | 0 | 0.0 | 49M|2816 | - |5645 |9944 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
17.39/17.49 o 165
17.39/17.49 c *17.1s| 40680 | 21929 | 0 | 0.0 | 50M|2816 | - |5645 |9720 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
18.49/18.57 o 163
18.49/18.57 c *18.2s| 42341 | 23517 | 0 | 0.0 | 51M|2816 | - |5645 |9254 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
18.49/18.57 o 149
18.49/18.57 c *18.2s| 42342 | 23473 | 0 | 0.0 | 51M|2816 | - |5645 |9254 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
19.49/19.56 o 144
19.49/19.56 c *19.2s| 43857 | 24875 | 0 | 0.0 | 53M|2816 | - |5645 |9031 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.440000e+02 | Inf
19.59/19.68 o 119
19.59/19.68 c *19.3s| 44034 | 24888 | 0 | 0.0 | 53M|2816 | - |5645 |9025 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
19.59/19.69 o 91
19.59/19.69 c *19.3s| 44035 | 24266 | 0 | 0.0 | 52M|2816 | - |5645 |9025 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
23.09/23.17 o 85
23.09/23.17 c *22.8s| 47451 | 26797 | 0 | 0.0 | 57M|2816 | - |5645 |7771 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
23.09/23.18 o 66
23.09/23.18 c *22.8s| 47452 | 26076 | 0 | 0.0 | 56M|2816 | - |5645 |7771 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
25.29/25.36 c 24.9s| 50000 | 28276 | 0 | 0.0 | 59M|2816 | - |5645 |6377 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
26.59/26.63 o 59
26.59/26.63 c *26.1s| 51892 | 29434 | 0 | 0.0 | 61M|2816 | - |5645 |6650 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
27.89/27.98 o 54
27.89/27.98 c *27.5s| 53672 | 30507 | 0 | 0.0 | 62M|2816 | - |5645 |6244 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
28.69/28.72 o 48
28.69/28.72 c *28.2s| 54800 | 31195 | 0 | 0.0 | 64M|2816 | - |5645 |6393 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
28.69/28.73 o 38
28.69/28.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.69/28.73 c *28.2s| 54801 | 30511 | 0 | 0.0 | 63M|2816 | - |5645 |6393 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
31.80/31.85 c 31.3s| 60000 | 34712 | 0 | 0.0 | 72M|2816 | - |5645 |6999 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
33.79/33.87 o 32
33.79/33.87 c *33.3s| 63516 | 37266 | 0 | 0.0 | 76M|2816 | - |5645 |7561 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
36.89/36.97 c 36.3s| 70000 | 42472 | 0 | 0.0 | 84M|2816 | - |5645 |8353 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
37.59/37.68 o 29
37.59/37.68 c *37.0s| 71646 | 43419 | 0 | 0.0 | 82M|2816 | - |5645 |8490 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
41.39/41.42 c 40.7s| 80000 | 50154 | 0 | 0.0 | 91M|2816 | - |5645 |9053 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
45.39/45.47 c 44.6s| 90000 | 58360 | 0 | 0.0 | 102M|2816 | - |5645 |7648 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
49.89/49.97 c 49.1s|100000 | 66005 | 0 | 0.0 | 113M|2816 | - |5645 |8486 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
54.89/55.00 c 54.0s|110000 | 73181 | 0 | 0.0 | 124M|2816 | - |5645 |8897 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
60.29/60.32 c 59.3s|120000 | 80166 | 0 | 0.0 | 135M|2816 | - |5645 |9226 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
65.79/65.86 c 64.7s|130000 | 86869 | 0 | 0.0 | 146M|2816 | - |5645 |9868 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
71.89/71.90 c 70.7s|140000 | 93141 | 0 | 0.0 | 157M|2816 | - |5645 | 10k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
78.40/78.46 c 77.1s|150000 | 98864 | 0 | 0.0 | 169M|2816 | - |5645 | 10k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
85.09/85.11 c 83.7s|160000 |104500 | 0 | 0.0 | 180M|2816 | - |5645 | 11k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
92.30/92.36 c 90.8s|170000 |109669 | 0 | 0.0 | 192M|2816 | - |5645 | 11k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
100.99/101.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.99/101.05 c 99.4s|180000 |113699 | 0 | 0.0 | 203M|2816 | - |5645 | 12k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
111.49/111.58 c 110s|190000 |116324 | 0 | 0.0 | 213M|2816 | - |5645 | 15k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
118.90/118.94 o 27
118.90/118.94 c * 117s|198268 |120615 | 0 | 0.0 | 216M|2816 | - |5645 |7047 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
119.60/119.64 o 23
119.60/119.64 c * 118s|199475 |121428 | 0 | 0.0 | 216M|2816 | - |5645 |6723 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
119.90/119.96 c 118s|200000 |121888 | 0 | 0.0 | 217M|2816 | - |5645 |6705 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
125.49/125.55 o 19
125.49/125.55 c * 124s|209412 |129389 | 0 | 0.0 | 226M|2816 | - |5645 |7310 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
125.90/125.96 c 124s|210000 |129865 | 0 | 0.0 | 227M|2816 | - |5645 |7402 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
134.20/134.20 c 132s|220000 |136969 | 0 | 0.0 | 241M|2816 | - |5645 |9857 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
136.69/136.71 o 17
136.69/136.71 c * 135s|221997 |137727 | 0 | 0.0 | 243M|2816 | - |5645 | 10k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
138.20/138.24 o 15
138.20/138.24 c * 136s|222916 |137819 | 0 | 0.0 | 243M|2816 | - |5645 | 11k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
143.60/143.64 c 141s|230000 |140735 | 0 | 0.0 | 248M|2816 | - |5645 |5303 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
148.60/148.60 c 146s|240000 |148216 | 0 | 0.0 | 259M|2816 | - |5645 |6386 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
154.09/154.18 c 152s|250000 |154894 | 0 | 0.0 | 270M|2816 | - |5645 |5825 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
159.90/159.90 c 157s|260000 |161106 | 0 | 0.0 | 280M|2816 | - |5645 |5220 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
161.60/161.61 o 14
161.60/161.61 c * 159s|264154 |164370 | 0 | 0.0 | 283M|2816 | - |5645 |5249 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
164.40/164.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.40/164.44 c 162s|270000 |168945 | 0 | 0.0 | 290M|2816 | - |5645 |5665 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
169.89/169.91 c 167s|280000 |175960 | 0 | 0.0 | 302M|2816 | - |5645 |6117 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
170.79/170.82 o 13
170.79/170.82 c * 168s|281501 |176774 | 0 | 0.0 | 303M|2816 | - |5645 |6233 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
176.89/177.00 c 174s|290000 |181677 | 0 | 0.0 | 312M|2816 | - |5645 |5840 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
182.20/182.26 c 179s|300000 |188337 | 0 | 0.0 | 321M|2816 | - |5645 |5371 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
187.89/187.94 c 185s|310000 |194675 | 0 | 0.0 | 332M|2816 | - |5645 |6296 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
191.70/191.74 c 189s|320000 |203081 | 0 | 0.0 | 341M|2816 | - |5645 |5532 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
196.50/196.50 c 193s|330000 |210404 | 0 | 0.0 | 352M|2816 | - |5645 |6669 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
202.70/202.70 c 199s|340000 |216252 | 0 | 0.0 | 361M|2816 | - |5645 |5580 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
206.81/206.82 c 203s|350000 |224211 | 0 | 0.0 | 371M|2816 | - |5645 |5852 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
212.30/212.34 c 209s|360000 |230754 | 0 | 0.0 | 381M|2816 | - |5645 |7294 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
217.19/217.28 c 214s|370000 |237855 | 0 | 0.0 | 390M|2816 | - |5645 |5860 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
222.49/222.56 c 219s|380000 |244571 | 0 | 0.0 | 400M|2816 | - |5645 |5912 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
225.30/225.36 o 7
225.30/225.36 c * 222s|386744 |248251 | 0 | 0.0 | 398M|2816 | - |5645 |6473 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
227.61/227.68 c 224s|390000 |249916 | 0 | 0.0 | 402M|2816 | - |5645 |6796 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
232.90/232.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.90/232.98 c 229s|400000 |256453 | 0 | 0.0 | 413M|2816 | - |5645 |7980 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
237.70/237.73 c 234s|410000 |263710 | 0 | 0.0 | 423M|2816 | - |5645 |7777 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
242.10/242.12 c 238s|420000 |271263 | 0 | 0.0 | 432M|2816 | - |5645 |6493 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
247.10/247.12 c 243s|430000 |278244 | 0 | 0.0 | 443M|2816 | - |5645 |7345 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
251.81/251.89 c 248s|440000 |285282 | 0 | 0.0 | 452M|2816 | - |5645 |7504 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
256.80/256.81 c 252s|450000 |292248 | 0 | 0.0 | 461M|2816 | - |5645 |6995 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
261.50/261.54 c 257s|460000 |299379 | 0 | 0.0 | 471M|2816 | - |5645 |7414 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
266.10/266.14 c 262s|470000 |306482 | 0 | 0.0 | 480M|2816 | - |5645 |9189 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
270.10/270.16 c 265s|480000 |314595 | 0 | 0.0 | 489M|2816 | - |5645 |7419 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
276.20/276.27 c 272s|490000 |320605 | 0 | 0.0 | 500M|2816 | - |5645 |8347 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
280.80/280.87 c 276s|500000 |328064 | 0 | 0.0 | 510M|2816 | - |5645 |8033 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
285.70/285.75 c 281s|510000 |335199 | 0 | 0.0 | 520M|2816 | - |5645 |8288 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
290.50/290.52 c 285s|520000 |342260 | 0 | 0.0 | 529M|2816 | - |5645 |7705 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
294.60/294.69 c 290s|530000 |349987 | 0 | 0.0 | 538M|2816 | - |5645 |8592 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
299.80/299.89 c 295s|540000 |356790 | 0 | 0.0 | 548M|2816 | - |5645 |7831 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
304.90/304.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.90/304.96 c 300s|550000 |363612 | 0 | 0.0 | 558M|2816 | - |5645 |8503 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
310.60/310.64 c 305s|560000 |369923 | 0 | 0.0 | 568M|2816 | - |5645 |8854 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
315.10/315.19 c 310s|570000 |377176 | 0 | 0.0 | 578M|2816 | - |5645 |8745 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
319.40/319.44 c 314s|580000 |384762 | 0 | 0.0 | 586M|2816 | - |5645 |4611 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
323.21/323.21 c 318s|590000 |392780 | 0 | 0.0 | 596M|2816 | - |5645 |4736 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
326.70/326.73 c 321s|600000 |400956 | 0 | 0.0 | 606M|2816 | - |5645 |4349 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
332.21/332.27 c 326s|610000 |407214 | 0 | 0.0 | 617M|2816 | - |5645 |6718 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
338.41/338.44 c 332s|620000 |413154 | 0 | 0.0 | 628M|2816 | - |5645 |8097 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
345.00/345.05 c 339s|630000 |418740 | 0 | 0.0 | 639M|2816 | - |5645 |8990 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
352.01/352.07 c 346s|640000 |424053 | 0 | 0.0 | 649M|2816 | - |5645 |9206 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
359.00/359.08 c 353s|650000 |429304 | 0 | 0.0 | 659M|2816 | - |5645 |9178 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
366.80/366.86 c 360s|660000 |433766 | 0 | 0.0 | 669M|2816 | - |5645 |8510 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
374.71/374.72 c 368s|670000 |438175 | 0 | 0.0 | 680M|2816 | - |5645 |9195 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
382.50/382.53 c 376s|680000 |442611 | 0 | 0.0 | 690M|2816 | - |5645 |9323 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
390.70/390.72 c 384s|690000 |446688 | 0 | 0.0 | 700M|2816 | - |5645 |9402 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
398.80/398.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.80/398.86 c 392s|700000 |450794 | 0 | 0.0 | 710M|2816 | - |5645 |9333 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
407.21/407.23 c 400s|710000 |454667 | 0 | 0.0 | 720M|2816 | - |5645 |9373 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
416.00/416.00 c 409s|720000 |458258 | 0 | 0.0 | 730M|2816 | - |5645 |9707 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
424.91/424.91 c 418s|730000 |461760 | 0 | 0.0 | 740M|2816 | - |5645 |9724 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
434.00/434.07 c 427s|740000 |465076 | 0 | 0.0 | 749M|2816 | - |5645 |9625 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
442.81/442.80 c 435s|750000 |468748 | 0 | 0.0 | 759M|2816 | - |5645 |9611 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
451.81/451.85 c 444s|760000 |472143 | 0 | 0.0 | 768M|2816 | - |5645 |9383 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
461.30/461.31 c 454s|770000 |475125 | 0 | 0.0 | 777M|2816 | - |5645 |9733 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
471.01/471.02 c 463s|780000 |477820 | 0 | 0.0 | 785M|2816 | - |5645 |9761 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
480.71/480.78 c 473s|790000 |480571 | 0 | 0.0 | 794M|2816 | - |5645 | 10k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
491.51/491.52 c 484s|800000 |482285 | 0 | 0.0 | 802M|2816 | - |5645 | 11k| 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
502.41/502.44 c 494s|810000 |484159 | 0 | 0.0 | 810M|2816 | - |5645 | 12k| 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
514.01/514.08 c 506s|820000 |485546 | 0 | 0.0 | 817M|2816 | - |5645 | 11k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
526.11/526.18 c 518s|830000 |486558 | 0 | 0.0 | 824M|2816 | - |5645 | 12k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
539.21/539.23 c 531s|840000 |486968 | 0 | 0.0 | 831M|2816 | - |5645 | 13k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
553.21/553.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.21/553.28 c 545s|850000 |486710 | 0 | 0.0 | 836M|2816 | - |5645 | 14k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
568.51/568.52 c 560s|860000 |486123 | 0 | 0.0 | 840M|2816 | - |5645 | 15k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
586.71/586.78 c 578s|870000 |484025 | 0 | 0.0 | 841M|2816 | - |5645 | 19k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
592.92/592.90 c 584s|880000 |491329 | 0 | 0.0 | 844M|2816 | - |5645 |6733 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
597.21/597.23 c 588s|890000 |499356 | 0 | 0.0 | 853M|2816 | - |5645 |5947 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
601.41/601.44 c 592s|900000 |507342 | 0 | 0.0 | 863M|2816 | - |5645 |5925 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
605.92/606.00 c 597s|910000 |515065 | 0 | 0.0 | 872M|2816 | - |5645 |6130 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
611.02/611.07 c 602s|920000 |522388 | 0 | 0.0 | 883M|2816 | - |5645 |6638 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
616.61/616.65 c 607s|930000 |529345 | 0 | 0.0 | 893M|2816 | - |5645 |7124 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
623.01/623.00 c 614s|940000 |535783 | 0 | 0.0 | 904M|2816 | - |5645 |7872 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
629.62/629.67 c 620s|950000 |541977 | 0 | 0.0 | 915M|2816 | - |5645 |8705 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
636.41/636.42 c 627s|960000 |548183 | 0 | 0.0 | 926M|2816 | - |5645 |8706 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
643.82/643.85 c 634s|970000 |553788 | 0 | 0.0 | 937M|2816 | - |5645 |9395 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
646.22/646.23 o 5
646.22/646.23 c * 636s|973238 |553572 | 0 | 0.0 | 933M|2816 | - |5645 |9399 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
653.42/653.42 c 643s|980000 |556893 | 0 | 0.0 | 946M|2816 | - |5645 | 10k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
663.82/663.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.82/663.81 c 654s|990000 |561430 | 0 | 0.0 | 961M|2816 | - |5645 | 11k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
674.91/674.93 c 665s| 1000k|565247 | 0 | 0.0 | 974M|2816 | - |5645 | 12k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
686.71/686.77 c 676s| 1010k|568691 | 0 | 0.0 | 985M|2816 | - |5645 | 12k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
701.02/701.05 c 690s| 1020k|570455 | 0 | 0.0 | 995M|2816 | - |5645 | 14k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
718.22/718.24 c 708s| 1030k|569680 | 0 | 0.0 | 998M|2816 | - |5645 | 10k| 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
723.02/723.02 c 712s| 1040k|577422 | 0 | 0.0 |1007M|2816 | - |5645 |7334 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
727.92/727.95 c 717s| 1050k|584781 | 0 | 0.0 |1017M|2816 | - |5645 |7506 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
733.22/733.24 c 722s| 1060k|591789 | 0 | 0.0 |1027M|2816 | - |5645 |8132 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
739.42/739.45 c 728s| 1070k|598060 | 0 | 0.0 |1038M|2816 | - |5645 |9028 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
746.62/746.67 c 735s| 1080k|603521 | 0 | 0.0 |1049M|2816 | - |5645 | 10k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
754.91/754.91 c 744s| 1090k|608238 | 0 | 0.0 |1059M|2816 | - |5645 | 11k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
764.43/764.47 c 753s| 1100k|612036 | 0 | 0.0 |1069M|2816 | - |5645 | 12k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
775.22/775.20 c 764s| 1110k|615055 | 0 | 0.0 |1077M|2816 | - |5645 | 11k| 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
784.02/784.07 c 772s| 1120k|619590 | 0 | 0.0 |1084M|2816 | - |5645 |8770 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
789.83/789.88 c 778s| 1130k|626366 | 0 | 0.0 |1093M|2816 | - |5645 |8333 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
795.42/795.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.42/795.42 c 784s| 1140k|633332 | 0 | 0.0 |1103M|2816 | - |5645 |8793 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
801.32/801.39 c 789s| 1150k|639951 | 0 | 0.0 |1113M|2816 | - |5645 |9989 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
808.32/808.33 c 796s| 1160k|645857 | 0 | 0.0 |1124M|2816 | - |5645 | 11k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
817.52/817.55 c 805s| 1170k|650153 | 0 | 0.0 |1135M|2816 | - |5645 | 13k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
831.12/831.13 c 819s| 1180k|651800 | 0 | 0.0 |1143M|2816 | - |5645 | 16k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
836.52/836.55 c 824s| 1190k|659584 | 0 | 0.0 |1153M|2816 | - |5645 |9586 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
841.72/841.71 c 829s| 1200k|667223 | 0 | 0.0 |1164M|2816 | - |5645 |8956 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
847.13/847.16 c 835s| 1210k|674551 | 0 | 0.0 |1176M|2816 | - |5645 |9061 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
853.12/853.15 c 840s| 1220k|681433 | 0 | 0.0 |1187M|2816 | - |5645 |9577 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
859.43/859.42 c 847s| 1230k|688087 | 0 | 0.0 |1199M|2816 | - |5645 |9849 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
866.52/866.51 c 854s| 1240k|694193 | 0 | 0.0 |1212M|2816 | - |5645 | 10k| 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
874.12/874.18 c 861s| 1250k|699999 | 0 | 0.0 |1226M|2816 | - |5645 | 11k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
882.32/882.34 c 869s| 1260k|705586 | 0 | 0.0 |1239M|2816 | - |5645 | 11k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
891.03/891.08 c 878s| 1270k|710814 | 0 | 0.0 |1252M|2816 | - |5645 | 12k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
899.92/899.94 c 887s| 1280k|715859 | 0 | 0.0 |1262M|2816 | - |5645 |7459 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
907.33/907.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.33/907.35 c 894s| 1290k|720793 | 0 | 0.0 |1272M|2816 | - |5645 |8497 | 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
914.63/914.64 c 901s| 1300k|725817 | 0 | 0.0 |1281M|2816 | - |5645 |8805 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
922.23/922.22 c 908s| 1310k|730598 | 0 | 0.0 |1290M|2816 | - |5645 |8851 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
929.22/929.27 c 915s| 1320k|735847 | 0 | 0.0 |1299M|2816 | - |5645 |9116 | 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
936.72/936.79 c 923s| 1330k|740734 | 0 | 0.0 |1308M|2816 | - |5645 |9342 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
944.13/944.17 c 930s| 1340k|745794 | 0 | 0.0 |1317M|2816 | - |5645 |9688 | 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
951.93/951.98 c 938s| 1350k|750644 | 0 | 0.0 |1327M|2816 | - |5645 | 10k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
960.33/960.38 c 946s| 1360k|754952 | 0 | 0.0 |1337M|2816 | - |5645 | 11k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
971.63/971.68 c 957s| 1370k|756999 | 0 | 0.0 |1345M|2816 | - |5645 | 12k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
977.83/977.84 c 963s| 1380k|763415 | 0 | 0.0 |1352M|2816 | - |5645 |7657 | 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
982.33/982.36 c 968s| 1390k|771072 | 0 | 0.0 |1362M|2816 | - |5645 |8019 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
987.12/987.18 c 972s| 1400k|778471 | 0 | 0.0 |1372M|2816 | - |5645 |8379 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
992.13/992.12 c 977s| 1410k|785643 | 0 | 0.0 |1382M|2816 | - |5645 |8776 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
997.63/997.62 c 983s| 1420k|792308 | 0 | 0.0 |1392M|2816 | - |5645 |9088 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1004.62/1004.62 c 990s| 1430k|797721 | 0 | 0.0 |1403M|2816 | - |5645 |9943 | 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1013.14/1013.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.14/1013.11 c 998s| 1440k|801871 | 0 | 0.0 |1413M|2816 | - |5645 | 10k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1024.03/1024.01 c 1009s| 1450k|804182 | 0 | 0.0 |1421M|2816 | - |5645 | 11k| 0 | 0 | 0 |1230k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1032.94/1032.97 c 1018s| 1460k|808325 | 0 | 0.0 |1427M|2816 | - |5645 |7812 | 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1037.73/1037.75 c 1022s| 1470k|815774 | 0 | 0.0 |1437M|2816 | - |5645 |7719 | 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1042.73/1042.76 c 1027s| 1480k|822948 | 0 | 0.0 |1447M|2816 | - |5645 |8192 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1048.12/1048.20 c 1032s| 1490k|829761 | 0 | 0.0 |1458M|2816 | - |5645 |8522 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1053.84/1053.87 c 1038s| 1500k|836333 | 0 | 0.0 |1468M|2816 | - |5645 |8972 | 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1055.03/1055.04 o 4
1055.03/1055.04 c *1039s| 1502k|835908 | 0 | 0.0 |1464M|2816 | - |5645 |9069 | 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1060.13/1060.15 c 1044s| 1510k|840789 | 0 | 0.0 |1473M|2816 | - |5645 |9266 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1066.63/1066.69 c 1051s| 1520k|846853 | 0 | 0.0 |1485M|2816 | - |5645 |9560 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1073.64/1073.67 c 1057s| 1530k|852556 | 0 | 0.0 |1496M|2816 | - |5645 |9794 | 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1081.13/1081.20 c 1065s| 1540k|857695 | 0 | 0.0 |1507M|2816 | - |5645 |9878 | 0 | 0 | 0 |1280k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1089.23/1089.20 c 1073s| 1550k|862354 | 0 | 0.0 |1518M|2816 | - |5645 | 10k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1097.93/1097.92 c 1081s| 1560k|866394 | 0 | 0.0 |1528M|2816 | - |5645 | 10k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1107.54/1107.56 c 1091s| 1570k|869720 | 0 | 0.0 |1537M|2816 | - |5645 | 10k| 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1118.93/1118.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.93/1118.95 c 1102s| 1580k|871679 | 0 | 0.0 |1545M|2816 | - |5645 | 12k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1131.33/1131.37 c 1114s| 1590k|873116 | 0 | 0.0 |1548M|2816 | - |5645 |9114 | 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1136.34/1136.30 c 1119s| 1600k|880502 | 0 | 0.0 |1558M|2816 | - |5645 |8349 | 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1141.63/1141.63 c 1124s| 1610k|887386 | 0 | 0.0 |1568M|2816 | - |5645 |8519 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1147.34/1147.36 c 1130s| 1620k|893910 | 0 | 0.0 |1578M|2816 | - |5645 |8705 | 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1153.54/1153.57 c 1136s| 1630k|900020 | 0 | 0.0 |1589M|2816 | - |5645 |8761 | 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1160.23/1160.26 c 1143s| 1640k|905645 | 0 | 0.0 |1600M|2816 | - |5645 |9208 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1167.03/1167.00 c 1149s| 1650k|911254 | 0 | 0.0 |1610M|2816 | - |5645 |9428 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1173.74/1173.77 c 1156s| 1660k|916831 | 0 | 0.0 |1620M|2816 | - |5645 |9786 | 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1181.13/1181.19 c 1163s| 1670k|921854 | 0 | 0.0 |1629M|2816 | - |5645 | 10k| 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1189.04/1189.05 c 1171s| 1680k|926615 | 0 | 0.0 |1638M|2816 | - |5645 | 10k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1197.34/1197.33 c 1179s| 1690k|931091 | 0 | 0.0 |1647M|2816 | - |5645 | 11k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1206.33/1206.32 c 1188s| 1700k|935045 | 0 | 0.0 |1656M|2816 | - |5645 | 12k| 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1217.43/1217.40 c 1199s| 1710k|937596 | 0 | 0.0 |1665M|2816 | - |5645 | 13k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1227.23/1227.28 c 1209s| 1720k|941236 | 0 | 0.0 |1670M|2816 | - |5645 |9027 | 0 | 0 | 0 |1425k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1232.04/1232.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.04/1232.08 c 1214s| 1730k|948723 | 0 | 0.0 |1680M|2816 | - |5645 |8542 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1237.24/1237.28 c 1219s| 1740k|955775 | 0 | 0.0 |1690M|2816 | - |5645 |9003 | 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1243.33/1243.34 c 1225s| 1750k|962139 | 0 | 0.0 |1701M|2816 | - |5645 |9417 | 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1249.83/1249.85 c 1231s| 1760k|968004 | 0 | 0.0 |1712M|2816 | - |5645 | 10k| 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1257.14/1257.17 c 1238s| 1770k|973288 | 0 | 0.0 |1722M|2816 | - |5645 | 11k| 0 | 0 | 0 |1452k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1265.74/1265.71 c 1247s| 1780k|977609 | 0 | 0.0 |1732M|2816 | - |5645 | 12k| 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1277.14/1277.16 c 1258s| 1790k|979724 | 0 | 0.0 |1741M|2816 | - |5645 | 13k| 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1283.84/1283.88 c 1265s| 1800k|985865 | 0 | 0.0 |1747M|2816 | - |5645 |8893 | 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1288.74/1288.72 c 1269s| 1810k|993208 | 0 | 0.0 |1757M|2816 | - |5645 |8987 | 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1293.84/1293.88 c 1274s| 1820k| 1000k| 0 | 0.0 |1767M|2816 | - |5645 |9561 | 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1299.54/1299.59 c 1280s| 1830k| 1006k| 0 | 0.0 |1777M|2816 | - |5645 |9950 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1305.64/1305.70 c 1286s| 1840k| 1012k| 0 | 0.0 |1787M|2816 | - |5645 | 10k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1312.74/1312.74 c 1293s| 1850k| 1018k| 0 | 0.0 |1796M|2816 | - |5645 | 11k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1321.34/1321.33 c 1301s| 1860k| 1022k| 0 | 0.0 |1805M|2816 | - |5645 | 12k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1330.94/1330.93 c 1311s| 1870k| 1026k| 0 | 0.0 |1811M|2816 | - |5645 |9816 | 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1335.23/1335.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.23/1335.26 c 1315s| 1880k| 1033k| 0 | 0.0 |1820M|2816 | - |5645 |9107 | 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1340.44/1340.49 c 1320s| 1890k| 1041k| 0 | 0.0 |1830M|2816 | - |5645 |9699 | 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1346.44/1346.46 c 1326s| 1900k| 1047k| 0 | 0.0 |1840M|2816 | - |5645 | 10k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1353.64/1353.61 c 1333s| 1910k| 1053k| 0 | 0.0 |1851M|2816 | - |5645 | 11k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1362.64/1362.60 c 1342s| 1920k| 1057k| 0 | 0.0 |1861M|2816 | - |5645 | 13k| 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1373.44/1373.40 c 1353s| 1930k| 1060k| 0 | 0.0 |1867M|2816 | - |5645 | 11k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1378.25/1378.23 c 1357s| 1940k| 1067k| 0 | 0.0 |1876M|2816 | - |5645 |9792 | 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1383.34/1383.36 c 1363s| 1950k| 1074k| 0 | 0.0 |1886M|2816 | - |5645 | 10k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1389.44/1389.42 c 1368s| 1960k| 1081k| 0 | 0.0 |1897M|2816 | - |5645 | 10k| 0 | 0 | 0 |1573k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1396.14/1396.13 c 1375s| 1970k| 1087k| 0 | 0.0 |1908M|2816 | - |5645 | 11k| 0 | 0 | 0 |1579k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1404.14/1404.19 c 1383s| 1980k| 1091k| 0 | 0.0 |1919M|2816 | - |5645 | 13k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1415.05/1415.08 c 1394s| 1990k| 1094k| 0 | 0.0 |1928M|2816 | - |5645 | 16k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1420.15/1420.15 c 1399s| 2000k| 1102k| 0 | 0.0 |1935M|2816 | - |5645 | 10k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1424.74/1424.72 c 1403s| 2010k| 1110k| 0 | 0.0 |1944M|2816 | - |5645 |9663 | 0 | 0 | 0 |1605k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1429.35/1429.37 c 1408s| 2020k| 1117k| 0 | 0.0 |1954M|2816 | - |5645 |9650 | 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1434.45/1434.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.45/1434.43 c 1413s| 2030k| 1124k| 0 | 0.0 |1965M|2816 | - |5645 | 10k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1439.44/1439.46 c 1418s| 2040k| 1132k| 0 | 0.0 |1974M|2816 | - |5645 | 10k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1445.05/1445.02 c 1423s| 2050k| 1138k| 0 | 0.0 |1985M|2816 | - |5645 | 10k| 0 | 0 | 0 |1623k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1450.74/1450.72 c 1429s| 2060k| 1145k| 0 | 0.0 |1994M|2816 | - |5645 | 10k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1456.75/1456.71 c 1435s| 2070k| 1152k| 0 | 0.0 |2004M|2816 | - |5645 | 11k| 0 | 0 | 0 |1633k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1463.35/1463.33 c 1441s| 2080k| 1158k| 0 | 0.0 |2013M|2816 | - |5645 | 11k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1470.34/1470.39 c 1448s| 2090k| 1163k| 0 | 0.0 |2023M|2816 | - |5645 | 11k| 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1477.95/1477.97 c 1456s| 2100k| 1169k| 0 | 0.0 |2032M|2816 | - |5645 | 11k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1485.45/1485.46 c 1463s| 2110k| 1174k| 0 | 0.0 |2041M|2816 | - |5645 | 11k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1493.25/1493.24 c 1471s| 2120k| 1179k| 0 | 0.0 |2050M|2816 | - |5645 | 11k| 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1501.05/1501.02 c 1478s| 2130k| 1184k| 0 | 0.0 |2059M|2816 | - |5645 | 11k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1509.15/1509.18 c 1486s| 2140k| 1189k| 0 | 0.0 |2068M|2816 | - |5645 | 11k| 0 | 0 | 0 |1683k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1516.75/1516.73 c 1494s| 2150k| 1194k| 0 | 0.0 |2077M|2816 | - |5645 | 11k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1524.35/1524.39 c 1501s| 2160k| 1199k| 0 | 0.0 |2086M|2816 | - |5645 | 12k| 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1532.75/1532.74 c 1510s| 2170k| 1204k| 0 | 0.0 |2095M|2816 | - |5645 | 14k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1543.74/1543.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.74/1543.79 c 1521s| 2180k| 1208k| 0 | 0.0 |2104M|2816 | - |5645 | 16k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1555.45/1555.49 c 1532s| 2190k| 1211k| 0 | 0.0 |2110M|2816 | - |5645 | 13k| 0 | 0 | 0 |1724k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1560.65/1560.61 c 1537s| 2200k| 1218k| 0 | 0.0 |2119M|2816 | - |5645 | 11k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1565.95/1565.99 c 1542s| 2210k| 1225k| 0 | 0.0 |2129M|2816 | - |5645 | 11k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1571.85/1571.83 c 1548s| 2220k| 1232k| 0 | 0.0 |2139M|2816 | - |5645 | 12k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1578.95/1578.91 c 1555s| 2230k| 1238k| 0 | 0.0 |2149M|2816 | - |5645 | 13k| 0 | 0 | 0 |1743k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1589.15/1589.16 c 1565s| 2240k| 1241k| 0 | 0.0 |2159M|2816 | - |5645 | 16k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1599.95/1599.99 c 1576s| 2250k| 1245k| 0 | 0.0 |2165M|2816 | - |5645 | 12k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1605.15/1605.11 c 1581s| 2260k| 1252k| 0 | 0.0 |2174M|2816 | - |5645 | 10k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1610.65/1610.60 c 1586s| 2270k| 1259k| 0 | 0.0 |2183M|2816 | - |5645 | 11k| 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1617.05/1617.04 c 1593s| 2280k| 1265k| 0 | 0.0 |2193M|2816 | - |5645 | 11k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1624.55/1624.53 c 1600s| 2290k| 1271k| 0 | 0.0 |2203M|2816 | - |5645 | 13k| 0 | 0 | 0 |1783k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1625.75/1625.72 o 3
1625.75/1625.72 c *1601s| 2291k| 1254k| 0 | 0.0 |2156M|2816 | - |5645 | 13k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1633.85/1633.81 c 1609s| 2300k| 1257k| 0 | 0.0 |2165M|2816 | - |5645 | 14k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1646.76/1646.73 c 1622s| 2310k| 1260k| 0 | 0.0 |2174M|2816 | - |5645 | 17k| 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1654.95/1654.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.95/1654.91 c 1630s| 2320k| 1265k| 0 | 0.0 |2181M|2816 | - |5645 | 11k| 0 | 0 | 0 |1809k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1659.86/1659.81 c 1635s| 2330k| 1273k| 0 | 0.0 |2189M|2816 | - |5645 | 10k| 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1664.75/1664.72 c 1640s| 2340k| 1281k| 0 | 0.0 |2198M|2816 | - |5645 | 10k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1670.45/1670.41 c 1645s| 2350k| 1288k| 0 | 0.0 |2208M|2816 | - |5645 | 11k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1676.55/1676.60 c 1651s| 2360k| 1294k| 0 | 0.0 |2218M|2816 | - |5645 | 11k| 0 | 0 | 0 |1825k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1683.75/1683.73 c 1658s| 2370k| 1300k| 0 | 0.0 |2228M|2816 | - |5645 | 12k| 0 | 0 | 0 |1831k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1691.75/1691.75 c 1666s| 2380k| 1306k| 0 | 0.0 |2239M|2816 | - |5645 | 13k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1700.96/1700.93 c 1675s| 2390k| 1310k| 0 | 0.0 |2249M|2816 | - |5645 | 14k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1711.16/1711.14 c 1686s| 2400k| 1314k| 0 | 0.0 |2259M|2816 | - |5645 | 15k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1724.86/1724.80 c 1699s| 2410k| 1315k| 0 | 0.0 |2266M|2816 | - |5645 | 18k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1733.56/1733.51 c 1708s| 2420k| 1321k| 0 | 0.0 |2272M|2816 | - |5645 | 12k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1739.25/1739.24 c 1713s| 2430k| 1328k| 0 | 0.0 |2282M|2816 | - |5645 | 12k| 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1745.76/1745.73 c 1720s| 2440k| 1334k| 0 | 0.0 |2292M|2816 | - |5645 | 13k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1753.65/1753.60 c 1727s| 2450k| 1340k| 0 | 0.0 |2301M|2816 | - |5645 | 13k| 0 | 0 | 0 |1893k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1762.45/1762.47 c 1736s| 2460k| 1345k| 0 | 0.0 |2311M|2816 | - |5645 | 13k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1770.76/1770.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.76/1770.79 c 1744s| 2470k| 1350k| 0 | 0.0 |2320M|2816 | - |5645 | 13k| 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1778.35/1778.38 c 1752s| 2480k| 1355k| 0 | 0.0 |2329M|2816 | - |5645 | 13k| 0 | 0 | 0 |1915k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1785.16/1785.17 c 1758s| 2490k| 1362k| 0 | 0.0 |2338M|2816 | - |5645 | 13k| 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1792.36/1792.32 c 1766s| 2500k| 1368k| 0 | 0.0 |2348M|2816 | - |5645 | 13k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1799.95/1799.98 c 1773s| 2510k| 1373k| 0 | 0.0 |2358M|2816 | - |5645 | 13k| 0 | 0 | 0 |1932k| 0 | 0.000000e+00 | 3.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) : 1773.08
1800.07/1800.00 c Solving Nodes : 2510027
1800.07/1800.00 c Primal Bound : +3.00000000000000e+00 (41 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.07 s SATISFIABLE
1800.07/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.07/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.07/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.07/1800.07 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.07 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.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.07/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.07/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
1800.07/1800.07 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.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.07/1800.07 v -x1
1800.07/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.07 c Solving Time : 1773.08
1800.07/1800.07 c Original Problem :
1800.07/1800.07 c Problem name : HOME/instance-2693707-1277931065.wbo
1800.07/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.07/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.07/1800.07 c Presolved Problem :
1800.07/1800.07 c Problem name : t_HOME/instance-2693707-1277931065.wbo
1800.07/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.07/1800.07 c Constraints : 5414 initial, 19640 maximal
1800.07/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.07 c probing : 0.04 0 0 0 0 0 0 0 0
1800.07/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.07 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.07/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.07 c root node : - 2589 - - 5178 - - - -
1800.07/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.07 c indicator : 2707 0 6374114 0 1760914 147 2042719 0 0 0
1800.07/1800.07 c linear : 2707 0 8075626 0 2107656 549477 47796374 0 0 0
1800.07/1800.07 c logicor : 0+ 0 3913234 0 0 103037 2454759 0 0 0
1800.07/1800.07 c countsols : 0 0 0 0 2107687 0 0 0 0 0
1800.07/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.07 c indicator : 24.46 0.00 11.55 0.00 12.91
1800.07/1800.07 c linear : 461.79 0.00 459.87 0.00 1.92
1800.07/1800.07 c logicor : 229.04 0.00 229.04 0.00 0.00
1800.07/1800.07 c countsols : 0.33 0.00 0.00 0.00 0.33
1800.07/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.07 c vbounds : 2.02 2 0 0
1800.07/1800.07 c rootredcost : 1.80 0 0 0
1800.07/1800.07 c pseudoobj : 413.30 8078384 2559 1992108
1800.07/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.07 c propagation : 35.71 655073 655071 3060180 20.5 190741 10.8 -
1800.07/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.07 c pseudo solution : 0.04 137 137 548 23.4 331 9.4 -
1800.07/1800.07 c applied globally : - - - 1932733 18.3 - - -
1800.07/1800.07 c applied locally : - - - 0 0.0 - - -
1800.07/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.07 c redcost : 0.00 0 0 0 0 0
1800.07/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.07 c intobj : 0.00 0 0 0 0 0
1800.07/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.07 c gomory : 0.00 0 0 0 0 0
1800.07/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.07 c cmir : 0.00 0 0 0 0 0
1800.07/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.07 c clique : 0.00 0 0 0 0 0
1800.07/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.07 c mcf : 0.00 0 0 0 0 0
1800.07/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.07 c Pricers : Time Calls Vars
1800.07/1800.07 c problem variables: 0.00 0 0
1800.07/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.07 c inference : 44.70 2107649 0 0 0 0 4215298
1800.07/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.07 c random : 0.00 0 0 0 0 0 0
1800.07/1800.07 c Primal Heuristics : Time Calls Found
1800.07/1800.07 c LP solutions : 0.00 - 0
1800.07/1800.07 c pseudo solutions : 0.13 - 38
1800.07/1800.07 c oneopt : 0.88 0 0
1800.07/1800.07 c trivial : 0.09 2 2
1800.07/1800.07 c simplerounding : 0.00 0 0
1800.07/1800.07 c zirounding : 0.00 0 0
1800.07/1800.07 c rounding : 0.00 0 0
1800.07/1800.07 c shifting : 0.00 0 0
1800.07/1800.07 c intshifting : 0.00 0 0
1800.07/1800.07 c twoopt : 0.00 0 0
1800.07/1800.07 c fixandinfer : 0.00 0 0
1800.07/1800.07 c feaspump : 0.00 0 0
1800.07/1800.07 c coefdiving : 0.00 0 0
1800.07/1800.07 c pscostdiving : 0.00 0 0
1800.07/1800.07 c fracdiving : 0.00 0 0
1800.07/1800.07 c veclendiving : 0.00 0 0
1800.07/1800.07 c intdiving : 0.00 0 0
1800.07/1800.07 c actconsdiving : 0.00 0 0
1800.07/1800.07 c objpscostdiving : 0.00 0 0
1800.07/1800.07 c rootsoldiving : 0.00 0 0
1800.07/1800.07 c linesearchdiving : 0.00 0 0
1800.07/1800.07 c guideddiving : 0.00 0 0
1800.07/1800.07 c octane : 0.00 0 0
1800.07/1800.07 c rens : 0.00 0 0
1800.07/1800.07 c rins : 0.00 0 0
1800.07/1800.07 c localbranching : 0.00 0 0
1800.07/1800.07 c mutation : 0.00 0 0
1800.07/1800.07 c crossover : 0.00 0 0
1800.07/1800.07 c dins : 0.00 0 0
1800.07/1800.07 c undercover : 0.00 0 0
1800.07/1800.07 c nlp : 0.60 0 0
1800.07/1800.07 c trysol : 0.66 1 1
1800.07/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.07 c (at root node) : - 0 0 0.00 -
1800.07/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.07 c B&B Tree :
1800.07/1800.07 c number of runs : 1
1800.07/1800.07 c nodes : 2510027
1800.07/1800.07 c nodes (total) : 2510027
1800.07/1800.07 c nodes left : 1373855
1800.07/1800.07 c max depth : 2816
1800.07/1800.07 c max depth (total): 2816
1800.07/1800.07 c backtracks : 359539 (14.3%)
1800.07/1800.07 c delayed cutoffs : 289234
1800.07/1800.07 c repropagations : 1485025 (16732174 domain reductions, 253017 cutoffs)
1800.07/1800.07 c avg switch length: 41.59
1800.07/1800.07 c switching time : 479.85
1800.07/1800.07 c Solution :
1800.07/1800.07 c Solutions found : 41 (39 improvements)
1800.07/1800.07 c First Solution : +1.36624000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.07/1800.07 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2291605 nodes, 1601.16 seconds, depth 1929, found by <relaxation>)
1800.07/1800.07 c Dual Bound : +0.00000000000000e+00
1800.07/1800.07 c Gap : infinite
1800.07/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.07 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693707-1277931065/watcher-2693707-1277931065 -o /tmp/evaluation-result-2693707-1277931065/solver-2693707-1277931065 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693707-1277931065.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.99 2.04 4/178 18401 /proc/meminfo: memFree=30195736/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=8260 CPUtime=0 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 134401678 8458240 1469 4089446400 4194304 7136930 140734140310608 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18401/statm: 2065 1469 275 719 0 1344 0 [startup+0.020883 s] /proc/loadavg: 1.93 1.99 2.04 4/178 18401 /proc/meminfo: memFree=30195736/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=13808 CPUtime=0.01 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 2957 0 0 0 1 0 0 0 25 0 1 0 134401678 14139392 2879 4089446400 4194304 7136930 140734140310608 18446744073709551615 6166606 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/18401/statm: 3452 2879 275 719 0 2731 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13808 [startup+0.10087 s] /proc/loadavg: 1.93 1.99 2.04 4/178 18401 /proc/meminfo: memFree=30195736/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=33676 CPUtime=0.09 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134401678 34484224 7535 4089446400 4194304 7136930 140734140310608 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18401/statm: 8419 7535 323 719 0 7698 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33676 [startup+0.300818 s] /proc/loadavg: 1.93 1.99 2.04 4/178 18401 /proc/meminfo: memFree=30195736/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=36496 CPUtime=0.29 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 9239 0 0 0 28 1 0 0 25 0 1 0 134401678 37371904 8293 4089446400 4194304 7136930 140734140310608 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18401/statm: 9124 8293 383 719 0 8403 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36496 [startup+0.70074 s] /proc/loadavg: 1.93 1.99 2.04 4/178 18401 /proc/meminfo: memFree=30195736/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=37636 CPUtime=0.69 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 9499 0 0 0 68 1 0 0 25 0 1 0 134401678 38539264 8553 4089446400 4194304 7136930 140734140310608 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18401/statm: 9409 8553 383 719 0 8688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37636 [startup+1.50059 s] /proc/loadavg: 1.93 1.99 2.04 3/179 18402 /proc/meminfo: memFree=30161256/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=41856 CPUtime=1.49 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 10581 0 0 0 145 4 0 0 25 0 1 0 134401678 42860544 9635 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18401/statm: 10464 9635 390 719 0 9743 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41856 [startup+3.10029 s] /proc/loadavg: 1.93 1.99 2.04 3/179 18402 /proc/meminfo: memFree=30156792/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=44884 CPUtime=3.09 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 11350 0 0 0 303 6 0 0 25 0 1 0 134401678 45961216 10404 4089446400 4194304 7136930 140734140310608 18446744073709551615 4696970 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18401/statm: 11221 10404 390 719 0 10500 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44884 [startup+6.30068 s] /proc/loadavg: 1.94 1.99 2.04 3/179 18402 /proc/meminfo: memFree=30152504/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=48276 CPUtime=6.29 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 12237 0 0 0 618 11 0 0 25 0 1 0 134401678 49434624 11291 4089446400 4194304 7136930 140734140310608 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18401/statm: 12069 11291 390 719 0 11348 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48276 [startup+12.7005 s] /proc/loadavg: 1.94 1.99 2.04 3/179 18402 /proc/meminfo: memFree=30122324/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=67820 CPUtime=12.69 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 16977 0 0 0 1246 23 0 0 25 0 1 0 134401678 69447680 16031 4089446400 4194304 7136930 140734140310608 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/18401/statm: 16955 16031 391 719 0 16234 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67820 [startup+25.5011 s] /proc/loadavg: 1.95 1.99 2.04 3/179 18402 /proc/meminfo: memFree=30060552/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=104152 CPUtime=25.49 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 25609 0 0 0 2506 43 0 0 25 0 1 0 134401678 106651648 24663 4089446400 4194304 7136930 140734140310608 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 26038 24663 391 719 0 25317 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 104152 [startup+51.1002 s] /proc/loadavg: 1.97 1.99 2.04 3/179 18404 /proc/meminfo: memFree=29946012/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=183032 CPUtime=51.1 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 44463 0 0 0 5020 90 0 0 25 0 1 0 134401678 187424768 43517 4089446400 4194304 7136930 140734140310608 18446744073709551615 4999771 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 45758 43517 391 719 0 45037 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 183032 [startup+102.307 s] /proc/loadavg: 1.98 1.99 2.03 3/179 18404 /proc/meminfo: memFree=29784644/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=282168 CPUtime=102.3 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 69371 0 0 0 10066 164 0 0 25 0 1 0 134401678 288940032 68425 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 70542 68425 391 719 0 69821 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 282168 [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.03 3/179 18406 /proc/meminfo: memFree=29591400/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=381624 CPUtime=162.29 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 93838 0 0 0 15977 252 0 0 25 0 1 0 134401678 390782976 92892 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 95406 92892 391 719 0 94685 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 381624 [startup+222.301 s] /proc/loadavg: 1.99 1.99 2.02 3/179 18408 /proc/meminfo: memFree=29395800/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=507740 CPUtime=222.3 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 124410 0 0 0 21858 372 0 0 25 0 1 0 134401678 519925760 123464 4089446400 4194304 7136930 140734140310608 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 126935 123464 391 719 0 126214 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 507740 [startup+282.3 s] /proc/loadavg: 1.99 1.99 2.02 3/179 18410 /proc/meminfo: memFree=29197472/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=632696 CPUtime=282.3 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 155979 0 0 0 27742 488 0 0 25 0 1 0 134401678 647880704 155033 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 158174 155033 391 719 0 157453 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 632696 [startup+342.301 s] /proc/loadavg: 1.99 1.99 2.01 3/179 18411 /proc/meminfo: memFree=28991192/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=752292 CPUtime=342.31 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 186169 0 0 0 33628 603 0 0 25 0 1 0 134401678 770347008 185223 4089446400 4194304 7136930 140734140310608 18446744073709551615 4923015 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 188073 185223 391 719 0 187352 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 752292 [startup+402.301 s] /proc/loadavg: 1.99 1.99 2.00 3/179 18412 /proc/meminfo: memFree=28823484/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=838608 CPUtime=402.3 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 207953 0 0 0 39545 685 0 0 25 0 1 0 134401678 858734592 207007 4089446400 4194304 7136930 140734140310608 18446744073709551615 4999787 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 209652 207007 391 719 0 208931 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 838608 [startup+462.3 s] /proc/loadavg: 2.03 2.00 2.00 3/179 18414 /proc/meminfo: memFree=28671788/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=903532 CPUtime=462.31 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 222156 0 0 0 45472 759 0 0 25 0 1 0 134401678 925216768 221210 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 225883 221210 391 719 0 225162 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 903532 [startup+522.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 18416 /proc/meminfo: memFree=28541772/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=954684 CPUtime=522.31 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 234949 0 0 0 51407 824 0 0 25 0 1 0 134401678 977596416 234003 4089446400 4194304 7136930 140734140310608 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 238671 234003 391 719 0 237950 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 954684 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18418 /proc/meminfo: memFree=28436944/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=978552 CPUtime=582.31 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 240730 0 0 0 57352 879 0 0 25 0 1 0 134401678 1002037248 239784 4089446400 4194304 7136930 140734140310608 18446744073709551615 4220858 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 244638 239784 391 719 0 243917 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 978552 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18428 /proc/meminfo: memFree=28276256/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=1065844 CPUtime=642.32 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 262693 0 0 0 63250 982 0 0 25 0 1 0 134401678 1091424256 261747 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 266461 261747 391 719 0 265740 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1065844 [startup+702.301 s] ################ # More data... # ################ /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 381142 0 0 0 98731 1502 0 0 25 0 1 0 134401678 1577492480 380196 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 385130 380196 391 719 0 384409 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1540520 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18439 /proc/meminfo: memFree=27140312/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=1616628 CPUtime=1062.33 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 399842 0 0 0 104634 1599 0 0 25 0 1 0 134401678 1655427072 398896 4089446400 4194304 7136930 140734140310608 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 404157 398896 391 719 0 403436 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1616628 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18469 /proc/meminfo: memFree=29592192/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=1689424 CPUtime=1122.33 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 418283 0 0 0 110541 1692 0 0 25 0 1 0 134401678 1729970176 417337 4089446400 4194304 7136930 140734140310608 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 422356 417337 391 719 0 421635 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1689424 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18471 /proc/meminfo: memFree=29478944/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=1773844 CPUtime=1182.34 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 439339 0 0 0 116447 1787 0 0 25 0 1 0 134401678 1816416256 438393 4089446400 4194304 7136930 140734140310608 18446744073709551615 4983121 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 443461 438393 391 719 0 442740 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 1773844 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18472 /proc/meminfo: memFree=29379692/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=1838628 CPUtime=1242.34 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 455558 0 0 0 122362 1872 0 0 25 0 1 0 134401678 1882755072 454612 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 459657 454612 391 719 0 458936 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1838628 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18473 /proc/meminfo: memFree=29265188/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=1935036 CPUtime=1302.34 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 475822 0 0 0 128271 1963 0 0 25 0 1 0 134401678 1981476864 474876 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 483759 474876 391 719 0 483038 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1935036 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 18475 /proc/meminfo: memFree=29157248/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2015372 CPUtime=1362.34 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 495981 0 0 0 134181 2053 0 0 25 0 1 0 134401678 2063740928 495035 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 503843 495035 391 719 0 503122 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 2015372 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/179 18477 /proc/meminfo: memFree=29049568/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2092456 CPUtime=1422.35 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 515297 0 0 0 140088 2147 0 0 25 0 1 0 134401678 2142674944 514351 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 523114 514351 391 719 0 522393 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 2092456 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18479 /proc/meminfo: memFree=28921164/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2191476 CPUtime=1482.35 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 540423 0 0 0 145988 2247 0 0 25 0 1 0 134401678 2244071424 539477 4089446400 4194304 7136930 140734140310608 18446744073709551615 4979036 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 547869 539477 391 719 0 547148 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 2191476 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 18480 /proc/meminfo: memFree=28831448/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2251760 CPUtime=1542.35 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 555766 0 0 0 151906 2329 0 0 25 0 1 0 134401678 2305802240 554820 4089446400 4194304 7136930 140734140310608 18446744073709551615 4925539 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 562940 554820 391 719 0 562219 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 2251760 [startup+1602.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 18481 /proc/meminfo: memFree=28737036/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2319764 CPUtime=1602.35 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 572822 0 0 0 157821 2414 0 0 25 0 1 0 134401678 2375438336 571876 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 579941 571876 391 719 0 579220 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 2319764 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 18483 /proc/meminfo: memFree=28667052/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2361824 CPUtime=1662.35 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 583371 0 0 0 163736 2499 0 0 25 0 1 0 134401678 2418507776 582425 4089446400 4194304 7136930 140734140310608 18446744073709551615 4926399 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 590456 582425 391 719 0 589735 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 2361824 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18485 /proc/meminfo: memFree=28580448/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2420864 CPUtime=1722.35 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 598323 0 0 0 169659 2576 0 0 25 0 1 0 134401678 2478964736 597377 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 605216 597377 391 719 0 604495 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 2420864 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18487 /proc/meminfo: memFree=28488892/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2484680 CPUtime=1782.36 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 614408 0 0 0 175569 2667 0 0 25 0 1 0 134401678 2544312320 613462 4089446400 4194304 7136930 140734140310608 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 621170 613462 391 719 0 620449 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 2484680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18487 /proc/meminfo: memFree=28458496/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2506904 CPUtime=1800.07 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 620091 0 0 0 177311 2696 0 0 25 0 1 0 134401678 2567069696 619145 4089446400 4194304 7136930 140734140310608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18401/statm: 626726 619145 391 719 0 626005 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2506904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -18401 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 18488 /proc/meminfo: memFree=28457124/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2506904 CPUtime=1801.46 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 620097 0 0 0 177450 2696 0 0 19 0 1 0 134401678 2567069696 619151 4089446400 4194304 7136930 140734140310608 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18401/statm: 626726 619151 397 719 0 626005 0 Current children cumulated CPU time (s) 1801.46 Current children cumulated vsize (KiB) 2506904 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 18488 /proc/meminfo: memFree=28457248/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2506904 CPUtime=1801.87 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 620097 0 0 0 177491 2696 0 0 20 0 1 0 134401678 2567069696 619151 4089446400 4194304 7136930 140734140310608 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18401/statm: 626726 619151 397 719 0 626005 0 Current children cumulated CPU time (s) 1801.87 Current children cumulated vsize (KiB) 2506904 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 18488 /proc/meminfo: memFree=28457248/32951124 swapFree=67111528/67111528 [pid=18401] ppid=18399 vsize=2506904 CPUtime=1802.06 /proc/18401/stat : 18401 (pbscip.linux.x8) R 18399 18401 18146 0 -1 4202496 620097 0 0 0 177510 2696 0 0 20 0 1 0 134401678 2567069696 619151 4089446400 4194304 7136930 140734140310608 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18401/statm: 626726 619151 397 719 0 626005 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 2506904 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.15 CPU user time (s): 1775.11 CPU system time (s): 27.0399 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2506904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.11 system time used= 27.0399 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 620097 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 1187 runsolver used 2.6236 second user time and 5.88211 second system time The end
Begin job on node141 at 2010-06-30 22:51:05 IDJOB=2693707 IDBENCH=79311 IDSOLVER=1206 FILE ID=node141/2693707-1277931065 PBS_JOBID= 11197424 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.1900670167--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-2693707-1277931065/watcher-2693707-1277931065 -o /tmp/evaluation-result-2693707-1277931065/solver-2693707-1277931065 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693707-1277931065.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f06e3169df6f7eed4900beba2f9ca344 RANDOM SEED=1958119412 node141.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.788 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.57 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.788 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.68 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.788 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.83 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 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.80 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 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.82 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30196264 kB Buffers: 215628 kB Cached: 1146940 kB SwapCached: 0 kB Active: 1819832 kB Inactive: 788804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30196264 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3140 kB Writeback: 0 kB AnonPages: 1245920 kB Mapped: 16068 kB Slab: 80280 kB PageTables: 7532 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1413772 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= 74200 MiB End job on node141 at 2010-06-30 23:21:07