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.12 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo |
| MD5SUM | 5b6bb33016643c054f0ad34369984077 |
| 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 | 59.6679 |
| 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 | 136368 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136367 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 801 |
| 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-2693668-1277929537.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 136367
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.363670e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.363670e+05 | Inf
2.10/2.17 o 571
2.10/2.17 c * 2.1s| 6684 | 6293 | 0 | 0.0 | 23M|2816 | - |5645 |6510 | 0 | 0 | 0 |1096 | 0 | 0.000000e+00 | 5.710000e+02 | Inf
2.10/2.17 o 492
2.10/2.17 c * 2.1s| 6685 | 6287 | 0 | 0.0 | 23M|2816 | - |5645 |6510 | 0 | 0 | 0 |1096 | 0 | 0.000000e+00 | 4.920000e+02 | Inf
2.20/2.24 o 481
2.20/2.24 c * 2.2s| 6830 | 6428 | 0 | 0.0 | 23M|2816 | - |5645 |6520 | 0 | 0 | 0 |1106 | 0 | 0.000000e+00 | 4.810000e+02 | Inf
2.39/2.47 o 458
2.39/2.47 c * 2.4s| 7388 | 6724 | 0 | 0.0 | 24M|2816 | - |5645 |6588 | 0 | 0 | 0 |1174 | 0 | 0.000000e+00 | 4.580000e+02 | Inf
2.39/2.47 o 414
2.39/2.47 c * 2.4s| 7389 | 6224 | 0 | 0.0 | 24M|2816 | - |5645 |6588 | 0 | 0 | 0 |1174 | 0 | 0.000000e+00 | 4.140000e+02 | Inf
2.59/2.60 o 387
2.59/2.60 c * 2.5s| 7734 | 6246 | 0 | 0.0 | 24M|2816 | - |5645 |6628 | 0 | 0 | 0 |1214 | 0 | 0.000000e+00 | 3.870000e+02 | Inf
2.59/2.60 o 372
2.59/2.60 c * 2.5s| 7735 | 6149 | 0 | 0.0 | 23M|2816 | - |5645 |6628 | 0 | 0 | 0 |1214 | 0 | 0.000000e+00 | 3.720000e+02 | Inf
2.59/2.69 o 329
2.59/2.69 c * 2.6s| 7957 | 6350 | 0 | 0.0 | 24M|2816 | - |5645 |6658 | 0 | 0 | 0 |1244 | 0 | 0.000000e+00 | 3.290000e+02 | Inf
2.59/2.69 o 323
2.59/2.69 c * 2.6s| 7958 | 6343 | 0 | 0.0 | 24M|2816 | - |5645 |6658 | 0 | 0 | 0 |1244 | 0 | 0.000000e+00 | 3.230000e+02 | Inf
2.79/2.88 o 310
2.79/2.88 c * 2.8s| 8469 | 6826 | 0 | 0.0 | 24M|2816 | - |5645 |6750 | 0 | 0 | 0 |1339 | 0 | 0.000000e+00 | 3.100000e+02 | Inf
2.79/2.88 o 288
2.79/2.88 c * 2.8s| 8470 | 6818 | 0 | 0.0 | 24M|2816 | - |5645 |6750 | 0 | 0 | 0 |1339 | 0 | 0.000000e+00 | 2.880000e+02 | Inf
2.89/2.95 o 225
2.89/2.95 c * 2.9s| 8672 | 6920 | 0 | 0.0 | 24M|2816 | - |5645 |6800 | 0 | 0 | 0 |1401 | 0 | 0.000000e+00 | 2.250000e+02 | Inf
3.30/3.39 c 3.3s| 10000 | 8111 | 0 | 0.0 | 26M|2816 | - |5645 |7208 | 0 | 0 | 0 |2038 | 0 | 0.000000e+00 | 2.250000e+02 | Inf
7.39/7.40 c 7.2s| 20000 | 15827 | 0 | 0.0 | 38M|2816 | - |5645 |8047 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 2.250000e+02 | Inf
12.39/12.46 o 202
12.39/12.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.46 c *12.2s| 28115 | 20796 | 0 | 0.0 | 47M|2816 | - |5645 |8717 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
13.10/13.11 o 194
13.10/13.11 c *12.9s| 29171 | 21773 | 0 | 0.0 | 48M|2816 | - |5645 |8775 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.940000e+02 | Inf
13.10/13.11 o 186
13.10/13.11 c *12.9s| 29172 | 21732 | 0 | 0.0 | 48M|2816 | - |5645 |8775 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
13.59/13.62 c 13.4s| 30000 | 22510 | 0 | 0.0 | 49M|2816 | - |5645 |8593 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
14.79/14.82 o 181
14.79/14.82 c *14.5s| 32038 | 24398 | 0 | 0.0 | 51M|2816 | - |5645 |8519 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
15.39/15.42 o 178
15.39/15.42 c *15.1s| 32721 | 24897 | 0 | 0.0 | 52M|2816 | - |5645 |8805 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
15.79/15.86 o 158
15.79/15.86 c *15.6s| 33514 | 25452 | 0 | 0.0 | 52M|2816 | - |5645 |8592 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.580000e+02 | Inf
16.40/16.49 o 135
16.40/16.49 c *16.2s| 34596 | 26240 | 0 | 0.0 | 52M|2816 | - |5645 |8303 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
17.69/17.72 o 118
17.69/17.72 c *17.4s| 36628 | 27936 | 0 | 0.0 | 54M|2816 | - |5645 |8222 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
18.70/18.77 o 116
18.70/18.77 c *18.4s| 37949 | 28994 | 0 | 0.0 | 59M|2816 | - |5645 |8670 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
19.89/19.99 c 19.6s| 40000 | 30880 | 0 | 0.0 | 63M|2816 | - |5645 |8398 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
25.69/25.73 o 106
25.69/25.73 c *25.3s| 49917 | 39346 | 0 | 0.0 | 79M|2816 | - |5645 |8544 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
25.69/25.78 c 25.3s| 50000 | 39423 | 0 | 0.0 | 79M|2816 | - |5645 |8526 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
29.09/29.10 o 101
29.09/29.10 c *28.6s| 56647 | 45171 | 0 | 0.0 | 87M|2816 | - |5645 |9033 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
29.09/29.10 o 95
29.09/29.10 c *28.6s| 56648 | 44365 | 0 | 0.0 | 81M|2816 | - |5645 |9033 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.500000e+01 | Inf
29.19/29.28 o 91
29.19/29.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.19/29.28 c *28.8s| 56953 | 44145 | 0 | 0.0 | 79M|2816 | - |5645 |9132 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
31.29/31.37 c 30.8s| 60000 | 46793 | 0 | 0.0 | 83M|2816 | - |5645 |8790 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.100000e+01 | Inf
32.19/32.20 o 90
32.19/32.20 c *31.6s| 61696 | 48246 | 0 | 0.0 | 85M|2816 | - |5645 |8928 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
37.49/37.57 c 36.9s| 70000 | 55339 | 0 | 0.0 | 94M|2816 | - |5645 |9106 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
42.80/42.83 c 42.1s| 80000 | 63807 | 0 | 0.0 | 105M|2816 | - |5645 |9823 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
43.09/43.15 o 85
43.09/43.15 c *42.4s| 80617 | 63701 | 0 | 0.0 | 104M|2816 | - |5645 | 10k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 8.500000e+01 | Inf
45.10/45.19 o 68
45.10/45.19 c *44.4s| 84554 | 65350 | 0 | 0.0 | 102M|2816 | - |5645 | 10k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
47.49/47.59 c 46.7s| 90000 | 69937 | 0 | 0.0 | 107M|2816 | - |5645 |7840 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
52.29/52.37 c 51.4s|100000 | 77281 | 0 | 0.0 | 119M|2816 | - |5645 |8322 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
57.69/57.77 c 56.7s|110000 | 84008 | 0 | 0.0 | 131M|2816 | - |5645 |8982 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
63.70/63.77 c 62.6s|120000 | 90198 | 0 | 0.0 | 143M|2816 | - |5645 |9601 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
70.99/71.09 c 69.9s|130000 | 95124 | 0 | 0.0 | 156M|2816 | - |5645 | 10k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
79.49/79.53 c 78.2s|140000 | 99007 | 0 | 0.0 | 168M|2816 | - |5645 | 10k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
88.89/88.95 c 87.5s|150000 |102043 | 0 | 0.0 | 180M|2816 | - |5645 | 11k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
99.29/99.35 c 97.8s|160000 |105203 | 0 | 0.0 | 188M|2816 | - |5645 | 10k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
104.29/104.38 o 64
104.29/104.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.29/104.38 c * 103s|167509 |111405 | 0 | 0.0 | 194M|2816 | - |5645 |6953 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
106.09/106.16 o 62
106.09/106.16 c * 105s|169503 |112909 | 0 | 0.0 | 198M|2816 | - |5645 |6254 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
106.49/106.56 c 105s|170000 |113325 | 0 | 0.0 | 199M|2816 | - |5645 |6364 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
116.09/116.19 c 114s|180000 |121283 | 0 | 0.0 | 220M|2816 | - |5645 |6092 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
126.89/126.93 c 125s|190000 |128635 | 0 | 0.0 | 240M|2816 | - |5645 |6132 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
135.39/135.48 c 133s|200000 |136634 | 0 | 0.0 | 256M|2816 | - |5645 |5999 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
144.69/144.72 c 142s|210000 |143639 | 0 | 0.0 | 273M|2816 | - |5645 |7432 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
145.70/145.80 o 57
145.70/145.80 c * 144s|210981 |143158 | 0 | 0.0 | 266M|2816 | - |5645 |8207 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
149.19/149.25 o 53
149.19/149.25 c * 147s|213415 |143413 | 0 | 0.0 | 268M|2816 | - |5645 |7978 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
149.19/149.26 o 45
149.19/149.26 c * 147s|213416 |142278 | 0 | 0.0 | 260M|2816 | - |5645 |7978 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
152.70/152.73 c 150s|220000 |148123 | 0 | 0.0 | 267M|2816 | - |5645 |6310 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
158.99/159.01 c 156s|230000 |156624 | 0 | 0.0 | 277M|2816 | - |5645 |5496 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
159.50/159.51 o 44
159.50/159.51 c * 157s|230899 |157294 | 0 | 0.0 | 277M|2816 | - |5645 |5641 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
166.20/166.20 c 164s|240000 |164447 | 0 | 0.0 | 289M|2816 | - |5645 |5571 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
166.70/166.76 o 42
166.70/166.76 c * 164s|240793 |164596 | 0 | 0.0 | 287M|2816 | - |5645 |5737 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
174.69/174.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.69/174.73 c 172s|250000 |170684 | 0 | 0.0 | 301M|2816 | - |5645 |7003 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
176.60/176.62 o 41
176.60/176.62 c * 174s|252065 |171647 | 0 | 0.0 | 303M|2816 | - |5645 |8082 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
178.10/178.17 o 38
178.10/178.17 c * 175s|253311 |171661 | 0 | 0.0 | 303M|2816 | - |5645 |8482 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
178.10/178.17 o 36
178.10/178.17 c * 175s|253312 |171435 | 0 | 0.0 | 301M|2816 | - |5645 |8482 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
182.80/182.84 c 180s|260000 |175635 | 0 | 0.0 | 309M|2816 | - |5645 |6101 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
186.50/186.50 o 28
186.50/186.50 c * 184s|267649 |180513 | 0 | 0.0 | 304M|2816 | - |5645 |6346 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
186.50/186.51 o 22
186.50/186.51 c * 184s|267650 |179539 | 0 | 0.0 | 296M|2816 | - |5645 |6346 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
187.80/187.84 c 185s|270000 |181451 | 0 | 0.0 | 301M|2816 | - |5645 |6533 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
193.09/193.16 c 190s|280000 |188958 | 0 | 0.0 | 312M|2816 | - |5645 |6643 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
199.89/199.98 c 197s|290000 |193823 | 0 | 0.0 | 324M|2816 | - |5645 |6097 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
204.80/204.82 c 202s|300000 |201415 | 0 | 0.0 | 336M|2816 | - |5645 |7780 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
209.89/209.96 c 207s|310000 |208394 | 0 | 0.0 | 346M|2816 | - |5645 |6682 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
214.20/214.26 o 14
214.20/214.26 c * 211s|317151 |208688 | 0 | 0.0 | 332M|2816 | - |5645 |7577 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
214.20/214.27 o 6
214.20/214.27 c * 211s|317152 |206106 | 0 | 0.0 | 320M|2816 | - |5645 |7577 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
215.39/215.42 c 212s|320000 |208528 | 0 | 0.0 | 323M|2816 | - |5645 |6476 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
219.69/219.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.69/219.72 c 216s|330000 |216506 | 0 | 0.0 | 335M|2816 | - |5645 |7297 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
225.39/225.46 c 222s|340000 |223036 | 0 | 0.0 | 346M|2816 | - |5645 |8999 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
230.69/230.79 c 227s|350000 |229244 | 0 | 0.0 | 354M|2816 | - |5645 |7687 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
235.99/236.06 c 232s|360000 |235709 | 0 | 0.0 | 364M|2816 | - |5645 |7501 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
240.69/240.74 c 237s|370000 |243532 | 0 | 0.0 | 376M|2816 | - |5645 |9063 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
247.69/247.77 c 244s|380000 |248160 | 0 | 0.0 | 386M|2816 | - |5645 | 11k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
251.99/252.02 c 248s|390000 |256238 | 0 | 0.0 | 395M|2816 | - |5645 |8811 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
257.20/257.28 c 253s|400000 |263422 | 0 | 0.0 | 406M|2816 | - |5645 |9376 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
263.29/263.30 c 259s|410000 |269648 | 0 | 0.0 | 417M|2816 | - |5645 | 10k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
268.79/268.82 c 264s|420000 |275716 | 0 | 0.0 | 425M|2816 | - |5645 |9870 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
274.20/274.24 c 270s|430000 |282036 | 0 | 0.0 | 434M|2816 | - |5645 |9538 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
279.09/279.18 c 275s|440000 |289532 | 0 | 0.0 | 446M|2816 | - |5645 | 10k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
284.60/284.61 c 280s|450000 |296345 | 0 | 0.0 | 456M|2816 | - |5645 | 10k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
290.60/290.61 c 286s|460000 |302994 | 0 | 0.0 | 467M|2816 | - |5645 | 11k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
296.40/296.44 c 292s|470000 |309340 | 0 | 0.0 | 477M|2816 | - |5645 | 10k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
302.40/302.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.40/302.44 c 297s|480000 |316101 | 0 | 0.0 | 488M|2816 | - |5645 | 11k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
308.50/308.59 c 304s|490000 |322682 | 0 | 0.0 | 498M|2816 | - |5645 | 11k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
313.70/313.73 c 309s|500000 |330230 | 0 | 0.0 | 508M|2816 | - |5645 | 11k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
320.79/320.88 c 316s|510000 |335924 | 0 | 0.0 | 518M|2816 | - |5645 | 11k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
327.20/327.24 c 322s|520000 |342418 | 0 | 0.0 | 529M|2816 | - |5645 | 12k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
334.00/334.09 c 329s|530000 |348629 | 0 | 0.0 | 540M|2816 | - |5645 | 12k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
340.50/340.57 c 335s|540000 |355264 | 0 | 0.0 | 551M|2816 | - |5645 | 12k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
348.40/348.42 c 343s|550000 |360805 | 0 | 0.0 | 563M|2816 | - |5645 | 15k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
355.20/355.21 c 349s|560000 |367228 | 0 | 0.0 | 572M|2816 | - |5645 | 13k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
361.60/361.63 c 356s|570000 |373928 | 0 | 0.0 | 582M|2816 | - |5645 | 13k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
368.20/368.21 c 362s|580000 |380495 | 0 | 0.0 | 592M|2816 | - |5645 | 13k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
373.90/373.94 c 368s|590000 |387642 | 0 | 0.0 | 602M|2816 | - |5645 | 12k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
379.79/379.85 c 374s|600000 |394704 | 0 | 0.0 | 611M|2816 | - |5645 | 13k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
384.91/384.95 c 379s|610000 |402069 | 0 | 0.0 | 618M|2816 | - |5645 |4838 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
389.09/389.11 c 383s|620000 |409920 | 0 | 0.0 | 629M|2816 | - |5645 |5473 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
393.20/393.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.20/393.29 c 387s|630000 |417567 | 0 | 0.0 | 639M|2816 | - |5645 |5821 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
400.80/400.83 c 394s|640000 |422299 | 0 | 0.0 | 651M|2816 | - |5645 |7458 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
409.50/409.57 c 403s|650000 |426167 | 0 | 0.0 | 662M|2816 | - |5645 |8545 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
419.10/419.13 c 412s|660000 |429404 | 0 | 0.0 | 673M|2816 | - |5645 |8422 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
429.50/429.52 c 423s|670000 |432035 | 0 | 0.0 | 683M|2816 | - |5645 |9096 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
440.70/440.75 c 434s|680000 |434032 | 0 | 0.0 | 692M|2816 | - |5645 |9522 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
452.19/452.22 c 445s|690000 |435764 | 0 | 0.0 | 701M|2816 | - |5645 | 10k| 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
463.69/463.72 c 456s|700000 |437543 | 0 | 0.0 | 709M|2816 | - |5645 | 10k| 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
475.40/475.48 c 468s|710000 |438985 | 0 | 0.0 | 717M|2816 | - |5645 | 11k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
488.20/488.21 c 481s|720000 |439757 | 0 | 0.0 | 723M|2816 | - |5645 | 11k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
501.20/501.27 c 494s|730000 |440261 | 0 | 0.0 | 728M|2816 | - |5645 | 12k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
515.70/515.80 c 508s|740000 |439720 | 0 | 0.0 | 733M|2816 | - |5645 | 13k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
531.90/531.91 c 524s|750000 |438103 | 0 | 0.0 | 731M|2816 | - |5645 | 10k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
537.20/537.22 c 529s|760000 |445640 | 0 | 0.0 | 739M|2816 | - |5645 |6884 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
543.00/543.06 c 535s|770000 |452568 | 0 | 0.0 | 750M|2816 | - |5645 |7955 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
550.50/550.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.50/550.53 c 542s|780000 |458329 | 0 | 0.0 | 761M|2816 | - |5645 |9265 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
559.00/559.03 c 551s|790000 |463359 | 0 | 0.0 | 773M|2816 | - |5645 | 10k| 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
568.50/568.56 c 560s|800000 |467547 | 0 | 0.0 | 785M|2816 | - |5645 | 11k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
579.90/579.95 c 571s|810000 |470243 | 0 | 0.0 | 796M|2816 | - |5645 | 11k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
595.21/595.26 c 586s|820000 |468364 | 0 | 0.0 | 806M|2816 | - |5645 | 13k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
605.20/605.29 c 596s|830000 |468824 | 0 | 0.0 | 809M|2816 | - |5645 |8171 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
611.90/611.98 c 603s|840000 |474904 | 0 | 0.0 | 819M|2816 | - |5645 |9193 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
619.60/619.60 c 610s|850000 |480619 | 0 | 0.0 | 830M|2816 | - |5645 | 10k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
631.00/631.04 c 622s|860000 |484013 | 0 | 0.0 | 843M|2816 | - |5645 | 13k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
646.40/646.41 c 637s|870000 |484397 | 0 | 0.0 | 856M|2816 | - |5645 | 17k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
660.01/660.05 c 650s|880000 |481150 | 0 | 0.0 | 854M|2816 | - |5645 | 10k| 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
666.01/666.06 c 656s|890000 |488740 | 0 | 0.0 | 866M|2816 | - |5645 | 10k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
672.20/672.20 c 662s|900000 |496111 | 0 | 0.0 | 876M|2816 | - |5645 | 10k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
678.21/678.29 c 668s|910000 |503545 | 0 | 0.0 | 887M|2816 | - |5645 | 10k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
684.60/684.66 c 675s|920000 |510747 | 0 | 0.0 | 897M|2816 | - |5645 | 11k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
691.21/691.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.21/691.29 c 681s|930000 |517776 | 0 | 0.0 | 907M|2816 | - |5645 | 11k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
697.61/697.68 c 687s|940000 |524886 | 0 | 0.0 | 917M|2816 | - |5645 | 12k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
705.01/705.08 c 695s|950000 |531420 | 0 | 0.0 | 927M|2816 | - |5645 | 13k| 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
713.11/713.11 c 703s|960000 |537815 | 0 | 0.0 | 937M|2816 | - |5645 | 13k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
721.90/721.95 c 711s|970000 |543614 | 0 | 0.0 | 948M|2816 | - |5645 | 14k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
730.90/730.95 c 720s|980000 |549372 | 0 | 0.0 | 959M|2816 | - |5645 | 15k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
741.01/741.05 c 730s|990000 |554578 | 0 | 0.0 | 969M|2816 | - |5645 | 15k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
750.91/750.95 c 740s| 1000k|559871 | 0 | 0.0 | 978M|2816 | - |5645 | 16k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
763.21/763.26 c 752s| 1010k|563959 | 0 | 0.0 | 988M|2816 | - |5645 | 16k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
776.10/776.14 c 765s| 1020k|567434 | 0 | 0.0 | 998M|2816 | - |5645 | 16k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
790.30/790.33 c 779s| 1030k|570000 | 0 | 0.0 |1008M|2816 | - |5645 | 17k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
807.41/807.43 c 796s| 1040k|570562 | 0 | 0.0 |1015M|2816 | - |5645 | 18k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
827.80/827.85 c 816s| 1050k|567080 | 0 | 0.0 |1013M|2816 | - |5645 | 16k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
834.60/834.64 c 823s| 1060k|574745 | 0 | 0.0 |1030M|2816 | - |5645 | 13k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
841.11/841.10 c 829s| 1070k|582362 | 0 | 0.0 |1046M|2816 | - |5645 | 13k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
847.61/847.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.61/847.63 c 836s| 1080k|589736 | 0 | 0.0 |1058M|2816 | - |5645 |9293 | 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
852.91/852.96 c 841s| 1090k|596880 | 0 | 0.0 |1068M|2816 | - |5645 | 10k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
858.61/858.65 c 847s| 1100k|603724 | 0 | 0.0 |1078M|2816 | - |5645 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
864.80/864.81 c 853s| 1110k|610157 | 0 | 0.0 |1089M|2816 | - |5645 | 10k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
871.21/871.28 c 859s| 1120k|616458 | 0 | 0.0 |1099M|2816 | - |5645 | 10k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
877.50/877.55 c 865s| 1130k|622765 | 0 | 0.0 |1109M|2816 | - |5645 | 10k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
884.11/884.19 c 872s| 1140k|628705 | 0 | 0.0 |1119M|2816 | - |5645 | 11k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
891.02/891.05 c 878s| 1150k|634377 | 0 | 0.0 |1129M|2816 | - |5645 | 11k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
898.40/898.41 c 886s| 1160k|639698 | 0 | 0.0 |1139M|2816 | - |5645 | 11k| 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
899.91/899.94 o 5
899.91/899.94 c * 887s| 1162k|639871 | 0 | 0.0 |1136M|2816 | - |5645 | 11k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
906.31/906.37 c 894s| 1170k|643703 | 0 | 0.0 |1144M|2816 | - |5645 | 11k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
914.21/914.24 c 901s| 1180k|648309 | 0 | 0.0 |1153M|2816 | - |5645 | 11k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
922.71/922.79 c 910s| 1190k|652346 | 0 | 0.0 |1161M|2816 | - |5645 | 12k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
933.71/933.76 c 921s| 1200k|654270 | 0 | 0.0 |1168M|2816 | - |5645 | 12k| 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
943.31/943.32 c 930s| 1210k|657056 | 0 | 0.0 |1171M|2816 | - |5645 |9859 | 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
948.01/948.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.01/948.09 c 935s| 1220k|664604 | 0 | 0.0 |1181M|2816 | - |5645 | 10k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
953.51/953.57 c 940s| 1230k|671583 | 0 | 0.0 |1191M|2816 | - |5645 | 10k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
959.51/959.56 c 946s| 1240k|678118 | 0 | 0.0 |1201M|2816 | - |5645 | 11k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
966.21/966.27 c 953s| 1250k|684095 | 0 | 0.0 |1211M|2816 | - |5645 | 12k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
973.90/973.91 c 960s| 1260k|689246 | 0 | 0.0 |1221M|2816 | - |5645 | 12k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
983.11/983.14 c 969s| 1270k|693013 | 0 | 0.0 |1230M|2816 | - |5645 | 13k| 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
991.91/991.91 c 978s| 1280k|696944 | 0 | 0.0 |1236M|2816 | - |5645 | 10k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
996.61/996.69 c 982s| 1290k|704495 | 0 | 0.0 |1247M|2816 | - |5645 | 10k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1002.01/1002.07 c 988s| 1300k|711579 | 0 | 0.0 |1257M|2816 | - |5645 | 11k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1008.40/1008.42 c 994s| 1310k|717922 | 0 | 0.0 |1268M|2816 | - |5645 | 12k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1015.41/1015.45 c 1001s| 1320k|723714 | 0 | 0.0 |1278M|2816 | - |5645 | 13k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1024.11/1024.10 c 1009s| 1330k|728338 | 0 | 0.0 |1288M|2816 | - |5645 | 14k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1035.91/1035.91 c 1021s| 1340k|730070 | 0 | 0.0 |1293M|2816 | - |5645 | 13k| 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1040.41/1040.44 c 1026s| 1350k|737974 | 0 | 0.0 |1302M|2816 | - |5645 | 10k| 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1045.21/1045.27 c 1030s| 1360k|745453 | 0 | 0.0 |1312M|2816 | - |5645 | 10k| 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1050.41/1050.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.41/1050.46 c 1035s| 1370k|752677 | 0 | 0.0 |1322M|2816 | - |5645 | 11k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1055.71/1055.70 c 1041s| 1380k|759785 | 0 | 0.0 |1332M|2816 | - |5645 | 11k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1061.41/1061.46 c 1046s| 1390k|766512 | 0 | 0.0 |1341M|2816 | - |5645 | 11k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1067.41/1067.42 c 1052s| 1400k|773154 | 0 | 0.0 |1351M|2816 | - |5645 | 12k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1073.52/1073.55 c 1058s| 1410k|779639 | 0 | 0.0 |1361M|2816 | - |5645 | 12k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1079.91/1079.97 c 1064s| 1420k|785881 | 0 | 0.0 |1370M|2816 | - |5645 | 12k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1086.72/1086.78 c 1071s| 1430k|791855 | 0 | 0.0 |1379M|2816 | - |5645 | 13k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1093.81/1093.86 c 1078s| 1440k|797699 | 0 | 0.0 |1389M|2816 | - |5645 | 13k| 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1101.61/1101.64 c 1086s| 1450k|802887 | 0 | 0.0 |1398M|2816 | - |5645 | 13k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1110.11/1110.17 c 1094s| 1460k|807607 | 0 | 0.0 |1406M|2816 | - |5645 | 14k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1119.51/1119.55 c 1103s| 1470k|811687 | 0 | 0.0 |1415M|2816 | - |5645 | 15k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1131.32/1131.34 c 1115s| 1480k|814075 | 0 | 0.0 |1421M|2816 | - |5645 | 14k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1140.21/1140.27 c 1124s| 1490k|818738 | 0 | 0.0 |1426M|2816 | - |5645 | 10k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1145.02/1145.07 c 1129s| 1500k|826380 | 0 | 0.0 |1436M|2816 | - |5645 | 10k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1150.21/1150.27 c 1134s| 1510k|833619 | 0 | 0.0 |1446M|2816 | - |5645 | 11k| 0 | 0 | 0 |1302k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1156.02/1156.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.02/1156.01 c 1139s| 1520k|840425 | 0 | 0.0 |1457M|2816 | - |5645 | 12k| 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1162.51/1162.54 c 1146s| 1530k|846601 | 0 | 0.0 |1467M|2816 | - |5645 | 12k| 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1169.82/1169.80 c 1153s| 1540k|852119 | 0 | 0.0 |1477M|2816 | - |5645 | 13k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1178.12/1178.16 c 1161s| 1550k|856819 | 0 | 0.0 |1487M|2816 | - |5645 | 13k| 0 | 0 | 0 |1331k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1188.81/1188.89 c 1172s| 1560k|859555 | 0 | 0.0 |1493M|2816 | - |5645 | 12k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1193.12/1193.16 c 1176s| 1570k|867649 | 0 | 0.0 |1501M|2816 | - |5645 | 10k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1197.61/1197.62 c 1180s| 1580k|875508 | 0 | 0.0 |1511M|2816 | - |5645 | 10k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1202.22/1202.22 c 1185s| 1590k|883247 | 0 | 0.0 |1520M|2816 | - |5645 | 11k| 0 | 0 | 0 |1355k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1206.92/1206.96 c 1190s| 1600k|890893 | 0 | 0.0 |1529M|2816 | - |5645 | 11k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1211.91/1211.97 c 1194s| 1610k|898287 | 0 | 0.0 |1538M|2816 | - |5645 | 11k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1216.91/1216.92 c 1199s| 1620k|905714 | 0 | 0.0 |1548M|2816 | - |5645 | 12k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1222.91/1222.93 c 1205s| 1630k|912404 | 0 | 0.0 |1557M|2816 | - |5645 | 12k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1229.82/1229.86 c 1212s| 1640k|918402 | 0 | 0.0 |1568M|2816 | - |5645 | 13k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1237.22/1237.21 c 1219s| 1650k|924150 | 0 | 0.0 |1578M|2816 | - |5645 | 14k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1245.02/1245.03 c 1227s| 1660k|929622 | 0 | 0.0 |1588M|2816 | - |5645 | 14k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1253.61/1253.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.61/1253.64 c 1236s| 1670k|934536 | 0 | 0.0 |1598M|2816 | - |5645 | 15k| 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1263.51/1263.59 c 1245s| 1680k|938509 | 0 | 0.0 |1606M|2816 | - |5645 | 15k| 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1275.71/1275.78 c 1257s| 1690k|940796 | 0 | 0.0 |1613M|2816 | - |5645 | 17k| 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1283.62/1283.67 c 1265s| 1700k|946410 | 0 | 0.0 |1618M|2816 | - |5645 | 11k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1289.02/1289.00 c 1270s| 1710k|953705 | 0 | 0.0 |1627M|2816 | - |5645 | 11k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1294.51/1294.54 c 1276s| 1720k|960753 | 0 | 0.0 |1637M|2816 | - |5645 | 12k| 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1300.92/1300.98 c 1282s| 1730k|967244 | 0 | 0.0 |1647M|2816 | - |5645 | 12k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1307.92/1307.97 c 1289s| 1740k|973209 | 0 | 0.0 |1657M|2816 | - |5645 | 12k| 0 | 0 | 0 |1456k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1315.01/1315.02 c 1296s| 1750k|978969 | 0 | 0.0 |1667M|2816 | - |5645 | 12k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1321.92/1321.96 c 1303s| 1760k|984902 | 0 | 0.0 |1677M|2816 | - |5645 | 12k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1328.83/1328.87 c 1310s| 1770k|990665 | 0 | 0.0 |1685M|2816 | - |5645 | 12k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1335.72/1335.71 c 1316s| 1780k|996523 | 0 | 0.0 |1695M|2816 | - |5645 | 12k| 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1342.31/1342.31 c 1323s| 1790k| 1002k| 0 | 0.0 |1704M|2816 | - |5645 | 12k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1348.92/1348.95 c 1329s| 1800k| 1008k| 0 | 0.0 |1713M|2816 | - |5645 | 12k| 0 | 0 | 0 |1496k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1355.81/1355.85 c 1336s| 1810k| 1014k| 0 | 0.0 |1722M|2816 | - |5645 | 12k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1362.82/1362.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.82/1362.89 c 1343s| 1820k| 1020k| 0 | 0.0 |1731M|2816 | - |5645 | 13k| 0 | 0 | 0 |1510k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1370.02/1370.01 c 1350s| 1830k| 1026k| 0 | 0.0 |1740M|2816 | - |5645 | 13k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1377.41/1377.40 c 1357s| 1840k| 1031k| 0 | 0.0 |1749M|2816 | - |5645 | 13k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1385.41/1385.42 c 1365s| 1850k| 1036k| 0 | 0.0 |1758M|2816 | - |5645 | 14k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1394.12/1394.10 c 1374s| 1860k| 1041k| 0 | 0.0 |1767M|2816 | - |5645 | 15k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1403.32/1403.38 c 1383s| 1870k| 1045k| 0 | 0.0 |1774M|2816 | - |5645 | 14k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1410.52/1410.52 c 1390s| 1880k| 1051k| 0 | 0.0 |1782M|2816 | - |5645 | 12k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1416.22/1416.26 c 1396s| 1890k| 1057k| 0 | 0.0 |1790M|2816 | - |5645 | 12k| 0 | 0 | 0 |1563k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1422.22/1422.26 c 1402s| 1900k| 1064k| 0 | 0.0 |1800M|2816 | - |5645 | 13k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1428.62/1428.61 c 1408s| 1910k| 1071k| 0 | 0.0 |1810M|2816 | - |5645 | 13k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1435.62/1435.60 c 1415s| 1920k| 1077k| 0 | 0.0 |1820M|2816 | - |5645 | 15k| 0 | 0 | 0 |1581k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1444.33/1444.36 c 1423s| 1930k| 1081k| 0 | 0.0 |1829M|2816 | - |5645 | 16k| 0 | 0 | 0 |1590k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1454.92/1454.94 c 1434s| 1940k| 1085k| 0 | 0.0 |1837M|2816 | - |5645 | 18k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1464.02/1464.04 c 1443s| 1950k| 1090k| 0 | 0.0 |1842M|2816 | - |5645 | 11k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1468.72/1468.76 c 1447s| 1960k| 1098k| 0 | 0.0 |1851M|2816 | - |5645 | 11k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1474.22/1474.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.22/1474.26 c 1453s| 1970k| 1105k| 0 | 0.0 |1861M|2816 | - |5645 | 12k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1480.53/1480.51 c 1459s| 1980k| 1112k| 0 | 0.0 |1871M|2816 | - |5645 | 13k| 0 | 0 | 0 |1624k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1487.42/1487.43 c 1466s| 1990k| 1118k| 0 | 0.0 |1881M|2816 | - |5645 | 14k| 0 | 0 | 0 |1631k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1495.52/1495.50 c 1474s| 2000k| 1123k| 0 | 0.0 |1891M|2816 | - |5645 | 15k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1504.02/1504.08 c 1482s| 2010k| 1128k| 0 | 0.0 |1899M|2816 | - |5645 | 14k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1512.62/1512.62 c 1491s| 2020k| 1133k| 0 | 0.0 |1908M|2816 | - |5645 | 13k| 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1520.02/1520.06 c 1498s| 2030k| 1139k| 0 | 0.0 |1916M|2816 | - |5645 | 12k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1526.22/1526.28 c 1504s| 2040k| 1146k| 0 | 0.0 |1925M|2816 | - |5645 | 13k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1532.72/1532.79 c 1510s| 2050k| 1152k| 0 | 0.0 |1934M|2816 | - |5645 | 13k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1539.32/1539.39 c 1517s| 2060k| 1159k| 0 | 0.0 |1943M|2816 | - |5645 | 13k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1546.22/1546.29 c 1524s| 2070k| 1165k| 0 | 0.0 |1953M|2816 | - |5645 | 13k| 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1553.42/1553.41 c 1531s| 2080k| 1171k| 0 | 0.0 |1962M|2816 | - |5645 | 13k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1560.62/1560.62 c 1538s| 2090k| 1177k| 0 | 0.0 |1971M|2816 | - |5645 | 13k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1567.92/1567.99 c 1545s| 2100k| 1182k| 0 | 0.0 |1980M|2816 | - |5645 | 13k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1575.12/1575.16 c 1552s| 2110k| 1188k| 0 | 0.0 |1988M|2816 | - |5645 | 13k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1582.52/1582.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.52/1582.57 c 1560s| 2120k| 1194k| 0 | 0.0 |1997M|2816 | - |5645 | 14k| 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1590.12/1590.19 c 1567s| 2130k| 1200k| 0 | 0.0 |2006M|2816 | - |5645 | 14k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1598.12/1598.18 c 1575s| 2140k| 1205k| 0 | 0.0 |2015M|2816 | - |5645 | 15k| 0 | 0 | 0 |1744k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1607.22/1607.29 c 1584s| 2150k| 1210k| 0 | 0.0 |2023M|2816 | - |5645 | 15k| 0 | 0 | 0 |1754k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1618.53/1618.51 c 1595s| 2160k| 1213k| 0 | 0.0 |2030M|2816 | - |5645 | 17k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1623.92/1623.97 c 1600s| 2170k| 1220k| 0 | 0.0 |2037M|2816 | - |5645 | 12k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1629.03/1629.08 c 1605s| 2180k| 1228k| 0 | 0.0 |2047M|2816 | - |5645 | 12k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1634.82/1634.86 c 1611s| 2190k| 1235k| 0 | 0.0 |2057M|2816 | - |5645 | 13k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1641.32/1641.33 c 1617s| 2200k| 1242k| 0 | 0.0 |2067M|2816 | - |5645 | 14k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1648.42/1648.49 c 1625s| 2210k| 1248k| 0 | 0.0 |2076M|2816 | - |5645 | 14k| 0 | 0 | 0 |1791k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1656.72/1656.75 c 1633s| 2220k| 1254k| 0 | 0.0 |2086M|2816 | - |5645 | 16k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1666.92/1666.97 c 1643s| 2230k| 1258k| 0 | 0.0 |2094M|2816 | - |5645 | 16k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1674.92/1674.93 c 1651s| 2240k| 1264k| 0 | 0.0 |2100M|2816 | - |5645 | 13k| 0 | 0 | 0 |1818k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1680.83/1680.86 c 1656s| 2250k| 1271k| 0 | 0.0 |2109M|2816 | - |5645 | 13k| 0 | 0 | 0 |1823k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1686.93/1686.94 c 1662s| 2260k| 1278k| 0 | 0.0 |2118M|2816 | - |5645 | 13k| 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1694.03/1694.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.03/1694.06 c 1669s| 2270k| 1284k| 0 | 0.0 |2128M|2816 | - |5645 | 14k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1702.33/1702.32 c 1678s| 2280k| 1290k| 0 | 0.0 |2138M|2816 | - |5645 | 16k| 0 | 0 | 0 |1843k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1712.82/1712.85 c 1688s| 2290k| 1294k| 0 | 0.0 |2147M|2816 | - |5645 | 17k| 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1724.03/1724.05 c 1699s| 2300k| 1298k| 0 | 0.0 |2152M|2816 | - |5645 | 13k| 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1730.43/1730.46 c 1705s| 2310k| 1305k| 0 | 0.0 |2161M|2816 | - |5645 | 13k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1737.52/1737.60 c 1712s| 2320k| 1311k| 0 | 0.0 |2171M|2816 | - |5645 | 13k| 0 | 0 | 0 |1874k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1745.42/1745.45 c 1720s| 2330k| 1317k| 0 | 0.0 |2179M|2816 | - |5645 | 13k| 0 | 0 | 0 |1880k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1754.42/1754.43 c 1729s| 2340k| 1322k| 0 | 0.0 |2189M|2816 | - |5645 | 14k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1764.02/1764.03 c 1739s| 2350k| 1327k| 0 | 0.0 |2198M|2816 | - |5645 | 14k| 0 | 0 | 0 |1896k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1775.02/1775.07 c 1749s| 2360k| 1331k| 0 | 0.0 |2206M|2816 | - |5645 | 14k| 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1785.83/1785.81 c 1760s| 2370k| 1335k| 0 | 0.0 |2214M|2816 | - |5645 | 15k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1797.83/1797.80 c 1772s| 2380k| 1338k| 0 | 0.0 |2221M|2816 | - |5645 | 17k| 0 | 0 | 0 |1925k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1774.05
1800.03/1800.00 c Solving Nodes : 2381529
1800.03/1800.00 c Primal Bound : +5.00000000000000e+00 (46 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.07 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.07 v -x1
1800.03/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.07 c Solving Time : 1774.05
1800.03/1800.07 c Original Problem :
1800.03/1800.07 c Problem name : HOME/instance-2693668-1277929537.wbo
1800.03/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.03/1800.07 c Presolved Problem :
1800.03/1800.07 c Problem name : t_HOME/instance-2693668-1277929537.wbo
1800.03/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.03/1800.07 c Constraints : 5414 initial, 21158 maximal
1800.03/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.07 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.03/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.07 c root node : - 2572 - - 5144 - - - -
1800.03/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.07 c indicator : 2707 0 6340207 0 1819715 337 3711386 0 0 0
1800.03/1800.07 c linear : 2707 0 7405914 0 2017430 512469 46500919 0 0 0
1800.03/1800.07 c logicor : 0+ 0 3308543 0 0 68292 1547854 0 0 0
1800.03/1800.07 c countsols : 0 0 0 0 2017464 0 0 0 0 0
1800.03/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.07 c indicator : 39.49 0.00 17.64 0.00 21.85
1800.03/1800.07 c linear : 445.57 0.00 443.31 0.00 2.26
1800.03/1800.07 c logicor : 236.04 0.00 236.04 0.00 0.00
1800.03/1800.07 c countsols : 0.34 0.00 0.00 0.00 0.34
1800.03/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.07 c vbounds : 1.67 2 0 0
1800.03/1800.07 c rootredcost : 1.62 0 0 0
1800.03/1800.07 c pseudoobj : 384.76 7413797 7344 3660260
1800.03/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.07 c propagation : 36.79 588105 588104 2701279 20.6 172722 10.2 -
1800.03/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.07 c pseudo solution : 0.12 471 471 1731 25.7 1268 9.5 -
1800.03/1800.07 c applied globally : - - - 1927819 18.5 - - -
1800.03/1800.07 c applied locally : - - - 0 0.0 - - -
1800.03/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.07 c redcost : 0.00 0 0 0 0 0
1800.03/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.07 c intobj : 0.00 0 0 0 0 0
1800.03/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.07 c gomory : 0.00 0 0 0 0 0
1800.03/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.07 c cmir : 0.00 0 0 0 0 0
1800.03/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.07 c clique : 0.00 0 0 0 0 0
1800.03/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.07 c mcf : 0.00 0 0 0 0 0
1800.03/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.07 c Pricers : Time Calls Vars
1800.03/1800.07 c problem variables: 0.00 0 0
1800.03/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.07 c inference : 54.37 2017421 0 0 0 0 4034842
1800.03/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.07 c random : 0.00 0 0 0 0 0 0
1800.03/1800.07 c Primal Heuristics : Time Calls Found
1800.03/1800.07 c LP solutions : 0.00 - 0
1800.03/1800.07 c pseudo solutions : 0.12 - 43
1800.03/1800.07 c oneopt : 0.92 0 0
1800.03/1800.07 c trivial : 0.08 2 2
1800.03/1800.07 c simplerounding : 0.00 0 0
1800.03/1800.07 c zirounding : 0.00 0 0
1800.03/1800.07 c rounding : 0.00 0 0
1800.03/1800.07 c shifting : 0.00 0 0
1800.03/1800.07 c intshifting : 0.00 0 0
1800.03/1800.07 c twoopt : 0.00 0 0
1800.03/1800.07 c fixandinfer : 0.00 0 0
1800.03/1800.07 c feaspump : 0.00 0 0
1800.03/1800.07 c coefdiving : 0.00 0 0
1800.03/1800.07 c pscostdiving : 0.00 0 0
1800.03/1800.07 c fracdiving : 0.00 0 0
1800.03/1800.07 c veclendiving : 0.00 0 0
1800.03/1800.07 c intdiving : 0.00 0 0
1800.03/1800.07 c actconsdiving : 0.00 0 0
1800.03/1800.07 c objpscostdiving : 0.00 0 0
1800.03/1800.07 c rootsoldiving : 0.00 0 0
1800.03/1800.07 c linesearchdiving : 0.00 0 0
1800.03/1800.07 c guideddiving : 0.00 0 0
1800.03/1800.07 c octane : 0.00 0 0
1800.03/1800.07 c rens : 0.00 0 0
1800.03/1800.07 c rins : 0.00 0 0
1800.03/1800.07 c localbranching : 0.00 0 0
1800.03/1800.07 c mutation : 0.00 0 0
1800.03/1800.07 c crossover : 0.00 0 0
1800.03/1800.07 c dins : 0.00 0 0
1800.03/1800.07 c undercover : 0.00 0 0
1800.03/1800.07 c nlp : 0.70 0 0
1800.03/1800.07 c trysol : 0.62 1 1
1800.03/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.07 c (at root node) : - 0 0 0.00 -
1800.03/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.07 c B&B Tree :
1800.03/1800.07 c number of runs : 1
1800.03/1800.07 c nodes : 2381529
1800.03/1800.07 c nodes (total) : 2381529
1800.03/1800.07 c nodes left : 1339264
1800.03/1800.07 c max depth : 2816
1800.03/1800.07 c max depth (total): 2816
1800.03/1800.07 c backtracks : 328061 (13.8%)
1800.03/1800.07 c delayed cutoffs : 292791
1800.03/1800.07 c repropagations : 1527310 (16769472 domain reductions, 224848 cutoffs)
1800.03/1800.07 c avg switch length: 43.22
1800.03/1800.07 c switching time : 494.47
1800.03/1800.07 c Solution :
1800.03/1800.07 c Solutions found : 46 (44 improvements)
1800.03/1800.07 c First Solution : +1.36367000000000e+05 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.07 c Primal Bound : +5.00000000000000e+00 (in run 1, after 1162221 nodes, 887.18 seconds, depth 713, found by <relaxation>)
1800.03/1800.07 c Dual Bound : +0.00000000000000e+00
1800.03/1800.07 c Gap : infinite
1800.03/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.07 c Root Iterations : 0
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693668-1277929537/watcher-2693668-1277929537 -o /tmp/evaluation-result-2693668-1277929537/solver-2693668-1277929537 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693668-1277929537.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.03 2.04 2.00 4/178 15042 /proc/meminfo: memFree=31383700/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=8604 CPUtime=0 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 1629 0 0 0 0 0 0 0 25 0 1 0 134251748 8810496 1552 4089446400 4194304 7136930 140736903240432 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/15042/statm: 2151 1552 275 719 0 1430 0 [startup+0.037264 s] /proc/loadavg: 2.03 2.04 2.00 4/178 15042 /proc/meminfo: memFree=31383700/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=18816 CPUtime=0.03 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 4539 0 0 0 3 0 0 0 25 0 1 0 134251748 19267584 4108 4089446400 4194304 7136930 140736903240432 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15042/statm: 4704 4112 286 719 0 3983 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 18816 [startup+0.101257 s] /proc/loadavg: 2.03 2.04 2.00 4/178 15042 /proc/meminfo: memFree=31383700/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=33680 CPUtime=0.09 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 134251748 34488320 7536 4089446400 4194304 7136930 140736903240432 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15042/statm: 8420 7536 323 719 0 7699 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33680 [startup+0.300221 s] /proc/loadavg: 2.03 2.04 2.00 4/178 15042 /proc/meminfo: memFree=31383700/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=36500 CPUtime=0.29 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 9241 0 0 0 28 1 0 0 25 0 1 0 134251748 37376000 8296 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15042/statm: 9125 8296 383 719 0 8404 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36500 [startup+0.700151 s] /proc/loadavg: 2.03 2.04 2.00 4/178 15042 /proc/meminfo: memFree=31383700/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=37640 CPUtime=0.69 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 9516 0 0 0 68 1 0 0 25 0 1 0 134251748 38543360 8571 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15042/statm: 9410 8571 383 719 0 8689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37640 [startup+1.50102 s] /proc/loadavg: 2.03 2.04 2.00 3/179 15043 /proc/meminfo: memFree=31348724/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=42300 CPUtime=1.49 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 10700 0 0 0 146 3 0 0 25 0 1 0 134251748 43315200 9755 4089446400 4194304 7136930 140736903240432 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15042/statm: 10575 9756 390 719 0 9854 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42300 [startup+3.10073 s] /proc/loadavg: 2.03 2.04 2.00 3/179 15043 /proc/meminfo: memFree=31343640/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=46804 CPUtime=3.09 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 11782 0 0 0 304 5 0 0 25 0 1 0 134251748 47927296 10837 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15042/statm: 11701 10837 391 719 0 10980 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46804 [startup+6.30016 s] /proc/loadavg: 2.03 2.04 2.00 3/179 15043 /proc/meminfo: memFree=31326044/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=59260 CPUtime=6.29 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 14868 0 0 0 618 11 0 0 25 0 1 0 134251748 60682240 13923 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15042/statm: 14815 13923 391 719 0 14094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59260 [startup+12.7011 s] /proc/loadavg: 2.02 2.04 2.00 3/179 15043 /proc/meminfo: memFree=31300248/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=77976 CPUtime=12.69 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 19446 0 0 0 1248 21 0 0 25 0 1 0 134251748 79847424 18501 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15042/statm: 19494 18501 391 719 0 18773 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77976 [startup+25.5008 s] /proc/loadavg: 2.02 2.03 2.00 3/179 15043 /proc/meminfo: memFree=31235748/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=130548 CPUtime=25.49 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 32065 0 0 0 2509 40 0 0 25 0 1 0 134251748 133681152 31120 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 32637 31120 391 719 0 31916 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 130548 [startup+51.1003 s] /proc/loadavg: 2.01 2.03 2.00 3/179 15044 /proc/meminfo: memFree=31152632/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=196404 CPUtime=51.09 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 47544 0 0 0 5021 88 0 0 25 0 1 0 134251748 201117696 46599 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 49101 46599 391 719 0 48380 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 196404 [startup+102.306 s] /proc/loadavg: 2.00 2.02 2.00 3/179 15045 /proc/meminfo: memFree=31000312/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=291024 CPUtime=102.3 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 71073 0 0 0 10073 157 0 0 25 0 1 0 134251748 298008576 70128 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 72756 70128 391 719 0 72035 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 291024 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/179 15047 /proc/meminfo: memFree=30799880/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=442524 CPUtime=162.29 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 105984 0 0 0 15977 252 0 0 25 0 1 0 134251748 453144576 105039 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 110631 105039 391 719 0 109910 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 442524 [startup+222.301 s] /proc/loadavg: 2.09 2.04 2.01 3/179 15049 /proc/meminfo: memFree=30624748/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=559092 CPUtime=222.29 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 132885 0 0 0 21870 359 0 0 25 0 1 0 134251748 572510208 131940 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 139773 131940 391 719 0 139052 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 559092 [startup+282.3 s] /proc/loadavg: 2.03 2.03 2.00 3/179 15050 /proc/meminfo: memFree=30448980/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=672768 CPUtime=282.3 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 161510 0 0 0 27768 462 0 0 25 0 1 0 134251748 688914432 160565 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 168192 160565 391 719 0 167471 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 672768 [startup+342.301 s] /proc/loadavg: 2.01 2.02 2.00 3/179 15054 /proc/meminfo: memFree=30277652/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=778644 CPUtime=342.3 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 187999 0 0 0 33672 558 0 0 25 0 1 0 134251748 797331456 187054 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 194661 187054 391 719 0 193940 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 778644 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 15056 /proc/meminfo: memFree=30110832/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=887264 CPUtime=402.29 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 215175 0 0 0 39577 652 0 0 25 0 1 0 134251748 908558336 214230 4089446400 4194304 7136930 140736903240432 18446744073709551615 4221155 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 221816 214230 391 719 0 221095 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 887264 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15058 /proc/meminfo: memFree=30090820/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=943208 CPUtime=462.29 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 229269 0 0 0 45508 721 0 0 25 0 1 0 134251748 965844992 228324 4089446400 4194304 7136930 140736903240432 18446744073709551615 6166339 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 235802 228324 391 719 0 235081 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 943208 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15060 /proc/meminfo: memFree=30057420/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=967652 CPUtime=522.3 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 235434 0 0 0 51452 778 0 0 25 0 1 0 134251748 990875648 234489 4089446400 4194304 7136930 140736903240432 18446744073709551615 5004488 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 241913 234489 391 719 0 241192 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 967652 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15061 /proc/meminfo: memFree=29993644/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=1037348 CPUtime=582.3 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 250683 0 0 0 57371 859 0 0 25 0 1 0 134251748 1062244352 249738 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 259337 249738 391 719 0 258616 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1037348 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15062 /proc/meminfo: memFree=29940892/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=1092388 CPUtime=642.31 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 264355 0 0 0 63293 938 0 0 25 0 1 0 134251748 1118605312 263410 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 273097 263410 391 719 0 272376 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1092388 [startup+702.3 s] ################ # More data... # ################ /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 367846 0 0 0 98799 1432 0 0 25 0 1 0 134251748 1544261632 366874 4089446400 4194304 7136930 140736903240432 18446744073709551615 4923015 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 377017 366874 391 719 0 376296 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1508068 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15074 /proc/meminfo: memFree=29500752/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=1588048 CPUtime=1062.31 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 388102 0 0 0 104705 1526 0 0 25 0 1 0 134251748 1626161152 387130 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 397012 387130 391 719 0 396291 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1588048 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15076 /proc/meminfo: memFree=29424308/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=1662092 CPUtime=1122.31 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 406783 0 0 0 110619 1612 0 0 25 0 1 0 134251748 1701982208 405811 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 415523 405811 391 719 0 414802 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1662092 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15077 /proc/meminfo: memFree=29356184/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=1728844 CPUtime=1182.31 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 423745 0 0 0 116534 1697 0 0 25 0 1 0 134251748 1770336256 422773 4089446400 4194304 7136930 140736903240432 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 432211 422773 391 719 0 431490 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1728844 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15078 /proc/meminfo: memFree=29259532/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=1823856 CPUtime=1242.31 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 447669 0 0 0 122437 1794 0 0 25 0 1 0 134251748 1867628544 446697 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 455964 446697 391 719 0 455243 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1823856 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15080 /proc/meminfo: memFree=29196732/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=1882680 CPUtime=1302.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 462635 0 0 0 128353 1879 0 0 25 0 1 0 134251748 1927864320 461663 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 470670 461663 391 719 0 469949 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1882680 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15082 /proc/meminfo: memFree=29100688/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=1992448 CPUtime=1362.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 486103 0 0 0 134262 1970 0 0 25 0 1 0 134251748 2040266752 485131 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 498112 485131 391 719 0 497391 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1992448 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15084 /proc/meminfo: memFree=29025004/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2066368 CPUtime=1422.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 504599 0 0 0 140172 2060 0 0 25 0 1 0 134251748 2115960832 503627 4089446400 4194304 7136930 140736903240432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 516592 503627 391 719 0 515871 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2066368 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15085 /proc/meminfo: memFree=28957488/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2134176 CPUtime=1482.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 521680 0 0 0 146078 2154 0 0 25 0 1 0 134251748 2185396224 520708 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 533544 520708 391 719 0 532823 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2134176 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15086 /proc/meminfo: memFree=28872376/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2213748 CPUtime=1542.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 541659 0 0 0 151988 2244 0 0 25 0 1 0 134251748 2266877952 540687 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 553437 540687 391 719 0 552716 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2213748 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15088 /proc/meminfo: memFree=28805860/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2278508 CPUtime=1602.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 558141 0 0 0 157905 2327 0 0 25 0 1 0 134251748 2333192192 557169 4089446400 4194304 7136930 140736903240432 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 569627 557169 391 719 0 568906 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2278508 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15136 /proc/meminfo: memFree=29207788/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2342284 CPUtime=1662.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 574141 0 0 0 163817 2415 0 0 25 0 1 0 134251748 2398498816 573169 4089446400 4194304 7136930 140736903240432 18446744073709551615 4208859 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 585571 573169 391 719 0 584850 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 2342284 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15138 /proc/meminfo: memFree=29144240/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2404048 CPUtime=1722.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 589596 0 0 0 169741 2491 0 0 25 0 1 0 134251748 2461745152 588624 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 601012 588624 391 719 0 600291 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 2404048 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 15139 /proc/meminfo: memFree=29088000/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2457784 CPUtime=1782.32 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 603288 0 0 0 175660 2572 0 0 25 0 1 0 134251748 2516770816 602316 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 614446 602316 391 719 0 613725 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 2457784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.01 2.00 3/197 15140 /proc/meminfo: memFree=29078172/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2467224 CPUtime=1800.03 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 605699 0 0 0 177408 2595 0 0 25 0 1 0 134251748 2526437376 604727 4089446400 4194304 7136930 140736903240432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/15042/statm: 616806 604727 391 719 0 616085 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2467224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15042 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.05 2.01 2.00 3/198 15141 /proc/meminfo: memFree=29078164/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2467224 CPUtime=1801.42 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 605705 0 0 0 177547 2595 0 0 25 0 1 0 134251748 2526437376 604733 4089446400 4194304 7136930 140736903240432 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15042/statm: 616806 604733 397 719 0 616085 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 2467224 [startup+1801.81 s] /proc/loadavg: 2.05 2.01 2.00 3/198 15141 /proc/meminfo: memFree=29078164/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2467224 CPUtime=1801.83 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 605705 0 0 0 177588 2595 0 0 25 0 1 0 134251748 2526437376 604733 4089446400 4194304 7136930 140736903240432 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15042/statm: 616806 604733 397 719 0 616085 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 2467224 [startup+1802 s] /proc/loadavg: 2.05 2.01 2.00 3/198 15141 /proc/meminfo: memFree=29078164/32951124 swapFree=67111528/67111528 [pid=15042] ppid=15040 vsize=2467224 CPUtime=1802.02 /proc/15042/stat : 15042 (pbscip.linux.x8) R 15040 15042 14937 0 -1 4202496 605705 0 0 0 177607 2595 0 0 25 0 1 0 134251748 2526437376 604733 4089446400 4194304 7136930 140736903240432 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/15042/statm: 616806 604733 397 719 0 616085 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 2467224 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.12 CPU user time (s): 1776.08 CPU system time (s): 26.034 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2467224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.08 system time used= 26.034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 605705 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= 19313 runsolver used 2.72858 second user time and 5.48916 second system time The end
Begin job on node103 at 2010-06-30 22:25:37 IDJOB=2693668 IDBENCH=79298 IDSOLVER=1206 FILE ID=node103/2693668-1277929537 PBS_JOBID= 11197433 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.1900566157--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-2693668-1277929537/watcher-2693668-1277929537 -o /tmp/evaluation-result-2693668-1277929537/solver-2693668-1277929537 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693668-1277929537.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5b6bb33016643c054f0ad34369984077 RANDOM SEED=1760208994 node103.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.817 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.63 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.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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: 31384228 kB Buffers: 213284 kB Cached: 914292 kB SwapCached: 0 kB Active: 764168 kB Inactive: 660732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31384228 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3168 kB Writeback: 0 kB AnonPages: 297240 kB Mapped: 17164 kB Slab: 78904 kB PageTables: 4820 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 448648 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= 74208 MiB End job on node103 at 2010-06-30 22:55:40