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.11 | 1802.09 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo |
| MD5SUM | 14bc8800f159591dc4e79c8dbc089eb4 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 390.912 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 138262 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 138261 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 749 |
| 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-2693701-1277930770.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12 o 138261
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.382610e+05
0.09/0.12 c presolving:
0.09/0.13 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.14 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.19 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.382610e+05 | Inf
2.69/2.72 o 556
2.69/2.72 c * 2.5s| 8657 | 8268 | 0 | 0.0 | 24M|2816 | - |5645 |6609 | 0 | 0 | 0 |1195 | 0 | 0.000000e+00 | 5.560000e+02 | Inf
2.69/2.77 o 482
2.69/2.77 c * 2.6s| 8782 | 8389 | 0 | 0.0 | 24M|2816 | - |5645 |6619 | 0 | 0 | 0 |1205 | 0 | 0.000000e+00 | 4.820000e+02 | Inf
2.79/2.83 o 418
2.79/2.83 c * 2.6s| 8907 | 7530 | 0 | 0.0 | 24M|2816 | - |5645 |6639 | 0 | 0 | 0 |1225 | 0 | 0.000000e+00 | 4.180000e+02 | Inf
2.79/2.88 o 403
2.79/2.88 c * 2.6s| 9020 | 7339 | 0 | 0.0 | 24M|2816 | - |5645 |6649 | 0 | 0 | 0 |1235 | 0 | 0.000000e+00 | 4.030000e+02 | Inf
3.09/3.17 c 2.9s| 10000 | 8284 | 0 | 0.0 | 24M|2816 | - |5645 |6659 | 0 | 0 | 0 |1245 | 0 | 0.000000e+00 | 4.030000e+02 | Inf
6.39/6.45 c 6.0s| 20000 | 16918 | 0 | 0.0 | 34M|2816 | - |5645 |8050 | 0 | 0 | 0 |6384 | 0 | 0.000000e+00 | 4.030000e+02 | Inf
11.39/11.42 c 10.7s| 30000 | 23486 | 0 | 0.0 | 47M|2816 | - |5645 |9861 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 4.030000e+02 | Inf
12.19/12.27 o 401
12.19/12.27 c *11.5s| 30915 | 23579 | 0 | 0.0 | 49M|2816 | - |5645 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.010000e+02 | Inf
12.19/12.28 o 397
12.19/12.28 c *11.5s| 30916 | 23386 | 0 | 0.0 | 49M|2816 | - |5645 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.970000e+02 | Inf
12.49/12.51 o 372
12.49/12.51 c *11.7s| 31335 | 22852 | 0 | 0.0 | 48M|2816 | - |5645 |9865 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.720000e+02 | Inf
12.49/12.51 o 339
12.49/12.51 c *11.8s| 31336 | 21698 | 0 | 0.0 | 48M|2816 | - |5645 |9865 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.390000e+02 | Inf
13.10/13.14 o 332
13.10/13.14 c *12.3s| 32627 | 22673 | 0 | 0.0 | 49M|2816 | - |5645 |9489 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.320000e+02 | Inf
13.20/13.28 o 313
13.20/13.28 c *12.5s| 32961 | 22381 | 0 | 0.0 | 49M|2816 | - |5645 |9419 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.130000e+02 | Inf
13.39/13.47 o 304
13.39/13.47 c *12.7s| 33314 | 22609 | 0 | 0.0 | 48M|2816 | - |5645 |9313 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
13.49/13.54 o 263
13.49/13.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.49/13.54 c *12.7s| 33429 | 21821 | 0 | 0.0 | 48M|2816 | - |5645 |9275 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.630000e+02 | Inf
13.59/13.62 o 253
13.59/13.62 c *12.8s| 33587 | 21826 | 0 | 0.0 | 48M|2816 | - |5645 |9229 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.530000e+02 | Inf
13.59/13.63 o 207
13.59/13.63 c *12.8s| 33588 | 21086 | 0 | 0.0 | 48M|2816 | - |5645 |9229 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
13.59/13.69 o 186
13.59/13.69 c *12.9s| 33681 | 20937 | 0 | 0.0 | 48M|2816 | - |5645 |9188 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
14.69/14.76 o 172
14.69/14.76 c *13.9s| 35241 | 22268 | 0 | 0.0 | 50M|2816 | - |5645 |9141 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
17.69/17.75 c 16.8s| 40000 | 26495 | 0 | 0.0 | 59M|2816 | - |5645 |9085 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
17.89/17.92 o 157
17.89/17.92 c *16.9s| 40297 | 26372 | 0 | 0.0 | 59M|2816 | - |5645 |9007 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
19.59/19.67 o 150
19.59/19.67 c *18.6s| 43410 | 29054 | 0 | 0.0 | 62M|2816 | - |5645 |8123 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
21.29/21.33 o 136
21.29/21.33 c *20.2s| 45951 | 30907 | 0 | 0.0 | 65M|2816 | - |5645 |8582 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
21.49/21.57 o 135
21.49/21.57 c *20.4s| 46413 | 31336 | 0 | 0.0 | 65M|2816 | - |5645 |8492 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
23.19/23.23 o 125
23.19/23.23 c *22.0s| 49540 | 34044 | 0 | 0.0 | 68M|2816 | - |5645 |8358 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
23.19/23.24 o 121
23.19/23.24 c *22.0s| 49546 | 34000 | 0 | 0.0 | 68M|2816 | - |5645 |8358 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
23.49/23.50 c 22.2s| 50000 | 34393 | 0 | 0.0 | 68M|2816 | - |5645 |8431 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.210000e+02 | Inf
24.49/24.56 o 116
24.49/24.56 c *23.2s| 51867 | 35982 | 0 | 0.0 | 70M|2816 | - |5645 |8614 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
25.30/25.36 o 115
25.30/25.36 c *24.0s| 53408 | 37291 | 0 | 0.0 | 73M|2816 | - |5645 |8861 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
26.89/26.92 o 113
26.89/26.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.89/26.92 c *25.5s| 56337 | 39847 | 0 | 0.0 | 76M|2816 | - |5645 |8760 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
26.89/26.92 o 92
26.89/26.92 c *25.5s| 56338 | 38355 | 0 | 0.0 | 70M|2816 | - |5645 |8760 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
29.39/29.44 c 27.9s| 60000 | 41523 | 0 | 0.0 | 73M|2816 | - |5645 |8648 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
35.69/35.77 c 33.9s| 70000 | 50242 | 0 | 0.0 | 85M|2816 | - |5645 |8652 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
36.89/36.96 o 88
36.89/36.96 c *35.0s| 71792 | 51477 | 0 | 0.0 | 86M|2816 | - |5645 |9046 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
41.19/41.20 c 39.0s| 80000 | 58399 | 0 | 0.0 | 98M|2816 | - |5645 | 10k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
45.49/45.56 c 43.1s| 90000 | 66478 | 0 | 0.0 | 108M|2816 | - |5645 | 10k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
49.89/49.99 c 47.2s|100000 | 74278 | 0 | 0.0 | 119M|2816 | - |5645 |9497 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
55.09/55.17 c 52.1s|110000 | 81257 | 0 | 0.0 | 130M|2816 | - |5645 | 10k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
60.59/60.65 c 57.4s|120000 | 87950 | 0 | 0.0 | 142M|2816 | - |5645 | 11k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
66.59/66.60 c 63.0s|130000 | 94263 | 0 | 0.0 | 153M|2816 | - |5645 | 11k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
73.19/73.23 c 69.3s|140000 | 99917 | 0 | 0.0 | 165M|2816 | - |5645 | 12k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
80.59/80.67 c 76.5s|150000 |104982 | 0 | 0.0 | 177M|2816 | - |5645 | 13k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
89.39/89.42 c 85.0s|160000 |108994 | 0 | 0.0 | 188M|2816 | - |5645 | 15k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
101.89/101.97 c 97.2s|170000 |110097 | 0 | 0.0 | 195M|2816 | - |5645 | 12k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
108.90/108.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.90/108.97 c 104s|180000 |119218 | 0 | 0.0 | 206M|2816 | - |5645 |6597 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
114.79/114.83 o 83
114.79/114.83 c * 109s|186784 |124636 | 0 | 0.0 | 212M|2816 | - |5645 |6537 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
115.89/115.93 o 66
115.89/115.93 c * 111s|187788 |124107 | 0 | 0.0 | 207M|2816 | - |5645 |6338 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
118.29/118.32 c 113s|190000 |125938 | 0 | 0.0 | 213M|2816 | - |5645 |5905 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
126.20/126.23 o 61
126.20/126.23 c * 120s|198636 |131790 | 0 | 0.0 | 223M|2816 | - |5645 |6857 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
126.20/126.24 o 58
126.20/126.24 c * 120s|198637 |131326 | 0 | 0.0 | 221M|2816 | - |5645 |6857 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
127.49/127.60 c 122s|200000 |132263 | 0 | 0.0 | 225M|2816 | - |5645 |7489 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
133.29/133.39 o 56
133.29/133.39 c * 127s|204969 |135024 | 0 | 0.0 | 237M|2816 | - |5645 |8343 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
134.49/134.56 o 52
134.49/134.56 c * 128s|205760 |135040 | 0 | 0.0 | 238M|2816 | - |5645 |8686 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
139.70/139.77 c 133s|210000 |137262 | 0 | 0.0 | 247M|2816 | - |5645 |6471 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
145.99/146.02 c 139s|220000 |145800 | 0 | 0.0 | 259M|2816 | - |5645 |5974 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
153.09/153.13 c 146s|230000 |153183 | 0 | 0.0 | 277M|2816 | - |5645 |8111 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
160.60/160.65 c 153s|240000 |159575 | 0 | 0.0 | 291M|2816 | - |5645 |7135 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 5.200000e+01 | Inf
162.39/162.44 o 51
162.39/162.44 c * 155s|243267 |162225 | 0 | 0.0 | 294M|2816 | - |5645 |7460 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
166.59/166.63 c 159s|250000 |167796 | 0 | 0.0 | 302M|2816 | - |5645 |7199 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
173.00/173.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.00/173.10 c 165s|260000 |175789 | 0 | 0.0 | 316M|2816 | - |5645 |7484 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
173.29/173.30 o 49
173.29/173.30 c * 165s|260343 |175768 | 0 | 0.0 | 314M|2816 | - |5645 |7528 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
173.80/173.89 o 43
173.80/173.89 c * 166s|261161 |175423 | 0 | 0.0 | 305M|2816 | - |5645 |7695 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 4.300000e+01 | Inf
173.90/173.96 o 36
173.90/173.96 c * 166s|261220 |174417 | 0 | 0.0 | 297M|2816 | - |5645 |7717 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
180.50/180.56 c 172s|270000 |180634 | 0 | 0.0 | 313M|2816 | - |5645 |8585 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
189.00/189.03 c 180s|280000 |186404 | 0 | 0.0 | 327M|2816 | - |5645 | 10k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
194.70/194.71 c 186s|290000 |193701 | 0 | 0.0 | 336M|2816 | - |5645 |8190 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
200.59/200.64 c 191s|300000 |201114 | 0 | 0.0 | 349M|2816 | - |5645 |9841 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
203.79/203.84 o 33
203.79/203.84 c * 194s|304530 |203600 | 0 | 0.0 | 350M|2816 | - |5645 |8892 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
207.19/207.28 c 198s|310000 |207514 | 0 | 0.0 | 357M|2816 | - |5645 |8728 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
207.59/207.63 o 29
207.59/207.63 c * 198s|310589 |207328 | 0 | 0.0 | 352M|2816 | - |5645 |8851 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
213.40/213.46 c 203s|320000 |214135 | 0 | 0.0 | 363M|2816 | - |5645 |7345 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
216.99/217.04 o 26
216.99/217.04 c * 207s|326380 |217744 | 0 | 0.0 | 362M|2816 | - |5645 |7559 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
219.40/219.41 c 209s|330000 |220170 | 0 | 0.0 | 367M|2816 | - |5645 |7781 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
226.39/226.40 c 216s|340000 |225527 | 0 | 0.0 | 379M|2816 | - |5645 |9064 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
230.60/230.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.60/230.67 c 220s|350000 |233711 | 0 | 0.0 | 388M|2816 | - |5645 |6583 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
231.39/231.44 o 24
231.39/231.44 c * 220s|351685 |234687 | 0 | 0.0 | 386M|2816 | - |5645 |6741 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
235.79/235.84 c 225s|360000 |241046 | 0 | 0.0 | 396M|2816 | - |5645 |7575 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
241.80/241.90 o 19
241.80/241.90 c * 230s|369139 |244966 | 0 | 0.0 | 394M|2816 | - |5645 |8806 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
242.59/242.67 c 231s|370000 |245366 | 0 | 0.0 | 396M|2816 | - |5645 |8596 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
248.40/248.49 c 237s|380000 |251503 | 0 | 0.0 | 406M|2816 | - |5645 |7685 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
254.70/254.76 c 242s|390000 |257055 | 0 | 0.0 | 416M|2816 | - |5645 |7640 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
259.00/259.04 c 246s|400000 |265057 | 0 | 0.0 | 426M|2816 | - |5645 |8505 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
265.00/265.04 c 252s|410000 |271233 | 0 | 0.0 | 436M|2816 | - |5645 |7599 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
270.20/270.26 c 257s|420000 |278336 | 0 | 0.0 | 446M|2816 | - |5645 |8186 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
275.40/275.42 c 262s|430000 |285417 | 0 | 0.0 | 456M|2816 | - |5645 |8000 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
280.89/280.92 c 267s|440000 |292519 | 0 | 0.0 | 467M|2816 | - |5645 |8509 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
286.80/286.87 c 273s|450000 |299091 | 0 | 0.0 | 479M|2816 | - |5645 |9091 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
294.59/294.60 c 280s|460000 |303083 | 0 | 0.0 | 489M|2816 | - |5645 | 10k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
298.70/298.71 c 284s|470000 |311382 | 0 | 0.0 | 499M|2816 | - |5645 |8879 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
304.61/304.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.61/304.64 c 290s|480000 |317660 | 0 | 0.0 | 509M|2816 | - |5645 |8191 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
310.00/310.04 c 295s|490000 |324670 | 0 | 0.0 | 520M|2816 | - |5645 | 10k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
315.00/315.09 c 299s|500000 |331962 | 0 | 0.0 | 529M|2816 | - |5645 |8734 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
321.20/321.23 c 305s|510000 |338563 | 0 | 0.0 | 540M|2816 | - |5645 | 10k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
328.10/328.18 c 312s|520000 |344017 | 0 | 0.0 | 549M|2816 | - |5645 |9353 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
334.50/334.51 c 318s|530000 |350247 | 0 | 0.0 | 560M|2816 | - |5645 |9579 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
340.00/340.03 c 323s|540000 |357171 | 0 | 0.0 | 569M|2816 | - |5645 |9566 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
345.60/345.67 c 329s|550000 |364093 | 0 | 0.0 | 579M|2816 | - |5645 |9665 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
351.40/351.44 c 334s|560000 |370945 | 0 | 0.0 | 589M|2816 | - |5645 | 10k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
357.70/357.74 c 340s|570000 |377331 | 0 | 0.0 | 599M|2816 | - |5645 |9945 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
363.60/363.60 c 346s|580000 |384098 | 0 | 0.0 | 610M|2816 | - |5645 | 10k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
369.00/369.06 c 351s|590000 |391199 | 0 | 0.0 | 620M|2816 | - |5645 |9778 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
375.20/375.22 c 356s|600000 |397654 | 0 | 0.0 | 630M|2816 | - |5645 | 10k| 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
379.80/379.85 c 361s|610000 |405458 | 0 | 0.0 | 640M|2816 | - |5645 | 10k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
385.70/385.79 c 366s|620000 |412087 | 0 | 0.0 | 649M|2816 | - |5645 |9861 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
391.20/391.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.20/391.20 c 372s|630000 |419269 | 0 | 0.0 | 658M|2816 | - |5645 |5606 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
395.10/395.13 c 375s|640000 |427420 | 0 | 0.0 | 668M|2816 | - |5645 |5507 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
400.60/400.69 c 380s|650000 |434035 | 0 | 0.0 | 679M|2816 | - |5645 |5769 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
407.90/407.98 c 387s|660000 |438846 | 0 | 0.0 | 690M|2816 | - |5645 |6541 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
415.90/415.99 c 395s|670000 |442843 | 0 | 0.0 | 701M|2816 | - |5645 |7307 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
424.70/424.77 c 404s|680000 |446252 | 0 | 0.0 | 711M|2816 | - |5645 |7511 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
433.60/433.64 c 412s|690000 |449626 | 0 | 0.0 | 722M|2816 | - |5645 |8688 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
442.80/442.84 c 421s|700000 |452696 | 0 | 0.0 | 731M|2816 | - |5645 |8476 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
452.20/452.23 c 430s|710000 |455697 | 0 | 0.0 | 741M|2816 | - |5645 |9525 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
461.80/461.89 c 439s|720000 |458409 | 0 | 0.0 | 750M|2816 | - |5645 |9383 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
471.40/471.48 c 449s|730000 |461206 | 0 | 0.0 | 760M|2816 | - |5645 | 10k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
481.90/481.98 c 459s|740000 |463168 | 0 | 0.0 | 767M|2816 | - |5645 | 10k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
492.31/492.40 c 469s|750000 |465156 | 0 | 0.0 | 775M|2816 | - |5645 | 10k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
503.60/503.62 c 480s|760000 |466327 | 0 | 0.0 | 782M|2816 | - |5645 | 11k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
515.81/515.80 c 492s|770000 |466259 | 0 | 0.0 | 788M|2816 | - |5645 | 12k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
530.30/530.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.30/530.38 c 506s|780000 |462856 | 0 | 0.0 | 788M|2816 | - |5645 | 14k| 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
541.80/541.86 c 517s|790000 |462660 | 0 | 0.0 | 780M|2816 | - |5645 |6558 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
546.71/546.71 c 522s|800000 |470755 | 0 | 0.0 | 790M|2816 | - |5645 |6462 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
551.41/551.43 c 526s|810000 |478832 | 0 | 0.0 | 799M|2816 | - |5645 |6465 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
556.30/556.34 c 531s|820000 |486737 | 0 | 0.0 | 808M|2816 | - |5645 |6688 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
561.50/561.54 c 536s|830000 |494434 | 0 | 0.0 | 818M|2816 | - |5645 |7117 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
567.11/567.17 c 541s|840000 |501883 | 0 | 0.0 | 829M|2816 | - |5645 |7410 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
573.70/573.74 c 547s|850000 |508578 | 0 | 0.0 | 841M|2816 | - |5645 |7870 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
580.30/580.32 c 554s|860000 |515221 | 0 | 0.0 | 853M|2816 | - |5645 |8438 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
587.31/587.35 c 560s|870000 |521489 | 0 | 0.0 | 865M|2816 | - |5645 |8938 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
594.71/594.74 c 567s|880000 |527593 | 0 | 0.0 | 877M|2816 | - |5645 |9246 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
602.40/602.42 c 575s|890000 |533467 | 0 | 0.0 | 890M|2816 | - |5645 |9355 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
611.10/611.11 c 583s|900000 |538499 | 0 | 0.0 | 902M|2816 | - |5645 |9531 | 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
620.20/620.26 c 592s|910000 |543118 | 0 | 0.0 | 915M|2816 | - |5645 |9583 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
630.00/630.08 c 601s|920000 |547055 | 0 | 0.0 | 928M|2816 | - |5645 |9969 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
641.50/641.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.50/641.52 c 612s|930000 |549663 | 0 | 0.0 | 941M|2816 | - |5645 | 10k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
656.00/656.06 c 626s|940000 |548613 | 0 | 0.0 | 953M|2816 | - |5645 | 11k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
667.61/667.68 c 638s|950000 |548420 | 0 | 0.0 | 952M|2816 | - |5645 |6866 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
672.81/672.84 c 643s|960000 |556187 | 0 | 0.0 | 963M|2816 | - |5645 |7410 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
678.10/678.15 c 648s|970000 |563801 | 0 | 0.0 | 973M|2816 | - |5645 |8244 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
683.90/683.99 c 653s|980000 |571061 | 0 | 0.0 | 983M|2816 | - |5645 |8957 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
690.81/690.85 c 660s|990000 |577584 | 0 | 0.0 | 995M|2816 | - |5645 | 10k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
698.11/698.14 c 667s| 1000k|583808 | 0 | 0.0 |1006M|2816 | - |5645 | 10k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 1.900000e+01 | Inf
701.11/701.11 o 18
701.11/701.11 c * 670s| 1003k|585310 | 0 | 0.0 |1001M|2816 | - |5645 | 11k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
706.31/706.34 c 675s| 1010k|588937 | 0 | 0.0 |1009M|2816 | - |5645 | 11k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
714.91/714.97 c 683s| 1020k|594603 | 0 | 0.0 |1021M|2816 | - |5645 | 12k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
724.70/724.72 c 693s| 1030k|599451 | 0 | 0.0 |1034M|2816 | - |5645 | 13k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
735.81/735.88 c 703s| 1040k|603288 | 0 | 0.0 |1046M|2816 | - |5645 | 14k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
749.20/749.22 c 716s| 1050k|605652 | 0 | 0.0 |1058M|2816 | - |5645 | 16k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
755.40/755.43 o 8
755.40/755.43 c * 722s| 1053k|597964 | 0 | 0.0 |1004M|2816 | - |5645 | 17k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
764.90/764.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.90/764.93 c 732s| 1060k|596858 | 0 | 0.0 |1006M|2816 | - |5645 |9254 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
770.30/770.35 c 737s| 1070k|604632 | 0 | 0.0 |1017M|2816 | - |5645 |9609 | 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
776.21/776.22 c 742s| 1080k|611968 | 0 | 0.0 |1027M|2816 | - |5645 | 10k| 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
782.91/782.96 c 749s| 1090k|618724 | 0 | 0.0 |1037M|2816 | - |5645 | 11k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
790.10/790.11 c 755s| 1100k|625176 | 0 | 0.0 |1048M|2816 | - |5645 | 11k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
797.61/797.66 c 763s| 1110k|631361 | 0 | 0.0 |1057M|2816 | - |5645 | 11k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
805.40/805.49 c 770s| 1120k|637245 | 0 | 0.0 |1067M|2816 | - |5645 | 11k| 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
813.70/813.79 c 778s| 1130k|642799 | 0 | 0.0 |1078M|2816 | - |5645 | 11k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
822.21/822.29 c 786s| 1140k|648178 | 0 | 0.0 |1088M|2816 | - |5645 | 11k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
831.11/831.12 c 795s| 1150k|653246 | 0 | 0.0 |1098M|2816 | - |5645 | 11k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
840.20/840.23 c 804s| 1160k|658140 | 0 | 0.0 |1109M|2816 | - |5645 | 11k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
849.70/849.75 c 813s| 1170k|662742 | 0 | 0.0 |1118M|2816 | - |5645 | 11k| 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
859.40/859.40 c 822s| 1180k|667201 | 0 | 0.0 |1128M|2816 | - |5645 | 12k| 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
868.31/868.37 c 831s| 1190k|672191 | 0 | 0.0 |1137M|2816 | - |5645 | 12k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
878.01/878.06 c 840s| 1200k|676746 | 0 | 0.0 |1146M|2816 | - |5645 | 12k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
887.61/887.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.61/887.68 c 850s| 1210k|681424 | 0 | 0.0 |1156M|2816 | - |5645 | 13k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
898.20/898.28 c 860s| 1220k|685379 | 0 | 0.0 |1165M|2816 | - |5645 | 14k| 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
899.50/899.50 o 7
899.50/899.50 c * 861s| 1221k|684570 | 0 | 0.0 |1161M|2816 | - |5645 | 14k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
911.51/911.53 c 873s| 1230k|686932 | 0 | 0.0 |1171M|2816 | - |5645 | 15k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
928.71/928.74 c 890s| 1240k|685855 | 0 | 0.0 |1173M|2816 | - |5645 | 13k| 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
933.61/933.65 c 894s| 1250k|693872 | 0 | 0.0 |1182M|2816 | - |5645 | 10k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
938.81/938.82 c 899s| 1260k|701465 | 0 | 0.0 |1192M|2816 | - |5645 | 10k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
944.31/944.35 c 904s| 1270k|708749 | 0 | 0.0 |1201M|2816 | - |5645 | 11k| 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
950.42/950.47 c 910s| 1280k|715579 | 0 | 0.0 |1211M|2816 | - |5645 | 12k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
957.11/957.19 c 917s| 1290k|722001 | 0 | 0.0 |1220M|2816 | - |5645 | 13k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
964.72/964.73 c 924s| 1300k|727895 | 0 | 0.0 |1230M|2816 | - |5645 | 14k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
973.41/973.44 c 932s| 1310k|733015 | 0 | 0.0 |1239M|2816 | - |5645 | 14k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
983.51/983.51 c 942s| 1320k|737132 | 0 | 0.0 |1250M|2816 | - |5645 | 16k| 0 | 0 | 0 |1323k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
996.61/996.62 c 955s| 1330k|738914 | 0 | 0.0 |1258M|2816 | - |5645 | 16k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1008.21/1008.28 c 966s| 1340k|741398 | 0 | 0.0 |1264M|2816 | - |5645 | 12k| 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1014.81/1014.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.81/1014.83 c 972s| 1350k|748324 | 0 | 0.0 |1276M|2816 | - |5645 | 11k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1021.51/1021.59 c 978s| 1360k|755305 | 0 | 0.0 |1289M|2816 | - |5645 | 12k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1029.01/1029.01 c 986s| 1370k|761824 | 0 | 0.0 |1302M|2816 | - |5645 | 13k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1037.41/1037.48 c 994s| 1380k|767781 | 0 | 0.0 |1316M|2816 | - |5645 | 14k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1047.21/1047.28 c 1003s| 1390k|772986 | 0 | 0.0 |1331M|2816 | - |5645 | 15k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1058.01/1058.07 c 1014s| 1400k|777768 | 0 | 0.0 |1347M|2816 | - |5645 | 15k| 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1069.21/1069.29 c 1024s| 1410k|782208 | 0 | 0.0 |1363M|2816 | - |5645 | 14k| 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1080.01/1080.03 c 1035s| 1420k|786869 | 0 | 0.0 |1379M|2816 | - |5645 | 13k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1090.01/1090.08 c 1044s| 1430k|791863 | 0 | 0.0 |1397M|2816 | - |5645 | 13k| 0 | 0 | 0 |1450k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1099.11/1099.18 c 1053s| 1440k|797399 | 0 | 0.0 |1414M|2816 | - |5645 | 13k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1107.80/1107.85 c 1062s| 1450k|803085 | 0 | 0.0 |1427M|2816 | - |5645 | 10k| 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1115.31/1115.34 c 1069s| 1460k|808305 | 0 | 0.0 |1436M|2816 | - |5645 | 11k| 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1124.11/1124.14 c 1077s| 1470k|812315 | 0 | 0.0 |1445M|2816 | - |5645 | 12k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1136.11/1136.12 c 1089s| 1480k|812952 | 0 | 0.0 |1452M|2816 | - |5645 | 13k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1141.41/1141.48 c 1094s| 1490k|819794 | 0 | 0.0 |1458M|2816 | - |5645 |9527 | 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1146.41/1146.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.41/1146.43 c 1099s| 1500k|827453 | 0 | 0.0 |1468M|2816 | - |5645 | 10k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1151.81/1151.84 c 1104s| 1510k|834753 | 0 | 0.0 |1478M|2816 | - |5645 | 10k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1157.41/1157.46 c 1109s| 1520k|841759 | 0 | 0.0 |1488M|2816 | - |5645 | 10k| 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1163.82/1163.89 c 1115s| 1530k|848068 | 0 | 0.0 |1498M|2816 | - |5645 | 10k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1170.71/1170.71 c 1122s| 1540k|854054 | 0 | 0.0 |1509M|2816 | - |5645 | 11k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1177.71/1177.78 c 1128s| 1550k|859838 | 0 | 0.0 |1519M|2816 | - |5645 | 11k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1185.01/1185.00 c 1135s| 1560k|865446 | 0 | 0.0 |1529M|2816 | - |5645 | 11k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1192.31/1192.36 c 1142s| 1570k|870850 | 0 | 0.0 |1539M|2816 | - |5645 | 11k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1199.51/1199.55 c 1149s| 1580k|876461 | 0 | 0.0 |1548M|2816 | - |5645 | 11k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1207.11/1207.15 c 1156s| 1590k|881767 | 0 | 0.0 |1557M|2816 | - |5645 | 12k| 0 | 0 | 0 |1577k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1215.01/1215.07 c 1164s| 1600k|886814 | 0 | 0.0 |1567M|2816 | - |5645 | 12k| 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1223.51/1223.54 c 1172s| 1610k|891484 | 0 | 0.0 |1575M|2816 | - |5645 | 13k| 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1232.61/1232.60 c 1181s| 1620k|895640 | 0 | 0.0 |1584M|2816 | - |5645 | 14k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1243.02/1243.05 c 1191s| 1630k|898510 | 0 | 0.0 |1590M|2816 | - |5645 | 13k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1250.01/1250.01 c 1197s| 1640k|904124 | 0 | 0.0 |1597M|2816 | - |5645 | 10k| 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1255.21/1255.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.21/1255.20 c 1202s| 1650k|911351 | 0 | 0.0 |1607M|2816 | - |5645 | 10k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1260.62/1260.67 c 1207s| 1660k|918263 | 0 | 0.0 |1617M|2816 | - |5645 | 10k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1266.41/1266.48 c 1213s| 1670k|924835 | 0 | 0.0 |1626M|2816 | - |5645 | 11k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1272.81/1272.82 c 1219s| 1680k|930940 | 0 | 0.0 |1637M|2816 | - |5645 | 11k| 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1280.21/1280.26 c 1226s| 1690k|936145 | 0 | 0.0 |1647M|2816 | - |5645 | 13k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1289.22/1289.29 c 1235s| 1700k|940133 | 0 | 0.0 |1657M|2816 | - |5645 | 14k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1300.22/1300.26 c 1245s| 1710k|942525 | 0 | 0.0 |1662M|2816 | - |5645 | 12k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1304.81/1304.82 c 1249s| 1720k|950490 | 0 | 0.0 |1671M|2816 | - |5645 | 10k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1309.91/1309.98 c 1254s| 1730k|957873 | 0 | 0.0 |1681M|2816 | - |5645 | 10k| 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1315.41/1315.43 c 1259s| 1740k|965055 | 0 | 0.0 |1691M|2816 | - |5645 | 11k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1321.21/1321.23 c 1265s| 1750k|971946 | 0 | 0.0 |1700M|2816 | - |5645 | 11k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1327.72/1327.75 c 1271s| 1760k|978238 | 0 | 0.0 |1710M|2816 | - |5645 | 11k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1335.01/1335.03 c 1278s| 1770k|983873 | 0 | 0.0 |1719M|2816 | - |5645 | 12k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1343.12/1343.18 c 1286s| 1780k|988625 | 0 | 0.0 |1727M|2816 | - |5645 | 12k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1354.61/1354.66 c 1297s| 1790k|990698 | 0 | 0.0 |1735M|2816 | - |5645 | 14k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1364.21/1364.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.21/1364.22 c 1306s| 1800k|994589 | 0 | 0.0 |1740M|2816 | - |5645 |9938 | 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1369.31/1369.35 c 1311s| 1810k| 1001k| 0 | 0.0 |1749M|2816 | - |5645 | 10k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1374.71/1374.71 c 1316s| 1820k| 1009k| 0 | 0.0 |1758M|2816 | - |5645 | 11k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1380.31/1380.30 c 1321s| 1830k| 1015k| 0 | 0.0 |1768M|2816 | - |5645 | 11k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1386.31/1386.34 c 1327s| 1840k| 1022k| 0 | 0.0 |1777M|2816 | - |5645 | 12k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1393.21/1393.23 c 1334s| 1850k| 1028k| 0 | 0.0 |1786M|2816 | - |5645 | 12k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1401.61/1401.62 c 1342s| 1860k| 1032k| 0 | 0.0 |1796M|2816 | - |5645 | 13k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1410.71/1410.75 c 1351s| 1870k| 1036k| 0 | 0.0 |1804M|2816 | - |5645 | 12k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1418.82/1418.85 c 1358s| 1880k| 1041k| 0 | 0.0 |1812M|2816 | - |5645 | 11k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1424.81/1424.87 c 1364s| 1890k| 1047k| 0 | 0.0 |1820M|2816 | - |5645 | 10k| 0 | 0 | 0 |1827k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1430.32/1430.37 c 1369s| 1900k| 1054k| 0 | 0.0 |1830M|2816 | - |5645 | 10k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1436.11/1436.19 c 1375s| 1910k| 1061k| 0 | 0.0 |1840M|2816 | - |5645 | 10k| 0 | 0 | 0 |1839k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1442.21/1442.20 c 1381s| 1920k| 1068k| 0 | 0.0 |1851M|2816 | - |5645 | 11k| 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1448.62/1448.64 c 1387s| 1930k| 1074k| 0 | 0.0 |1861M|2816 | - |5645 | 11k| 0 | 0 | 0 |1852k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1456.01/1456.02 c 1394s| 1940k| 1080k| 0 | 0.0 |1871M|2816 | - |5645 | 12k| 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1463.61/1463.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.61/1463.61 c 1401s| 1950k| 1085k| 0 | 0.0 |1880M|2816 | - |5645 | 11k| 0 | 0 | 0 |1868k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1471.52/1471.50 c 1409s| 1960k| 1090k| 0 | 0.0 |1889M|2816 | - |5645 | 12k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1479.12/1479.14 c 1416s| 1970k| 1096k| 0 | 0.0 |1897M|2816 | - |5645 | 11k| 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1486.81/1486.83 c 1424s| 1980k| 1101k| 0 | 0.0 |1906M|2816 | - |5645 | 11k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1494.32/1494.39 c 1431s| 1990k| 1107k| 0 | 0.0 |1915M|2816 | - |5645 | 11k| 0 | 0 | 0 |1902k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1502.22/1502.28 c 1438s| 2000k| 1112k| 0 | 0.0 |1923M|2816 | - |5645 | 12k| 0 | 0 | 0 |1911k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1510.01/1510.06 c 1446s| 2010k| 1118k| 0 | 0.0 |1932M|2816 | - |5645 | 12k| 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1517.92/1517.98 c 1453s| 2020k| 1123k| 0 | 0.0 |1940M|2816 | - |5645 | 12k| 0 | 0 | 0 |1929k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1525.81/1525.85 c 1461s| 2030k| 1128k| 0 | 0.0 |1949M|2816 | - |5645 | 12k| 0 | 0 | 0 |1938k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1534.42/1534.43 c 1469s| 2040k| 1133k| 0 | 0.0 |1957M|2816 | - |5645 | 13k| 0 | 0 | 0 |1948k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1543.12/1543.19 c 1478s| 2050k| 1138k| 0 | 0.0 |1966M|2816 | - |5645 | 15k| 0 | 0 | 0 |1959k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1553.42/1553.48 c 1487s| 2060k| 1141k| 0 | 0.0 |1975M|2816 | - |5645 | 16k| 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1567.31/1567.33 c 1501s| 2070k| 1142k| 0 | 0.0 |1981M|2816 | - |5645 | 19k| 0 | 0 | 0 |1989k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1572.61/1572.66 c 1506s| 2080k| 1150k| 0 | 0.0 |1987M|2816 | - |5645 | 10k| 0 | 0 | 0 |1994k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1578.02/1578.04 c 1511s| 2090k| 1157k| 0 | 0.0 |1997M|2816 | - |5645 | 10k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1583.71/1583.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.71/1583.71 c 1516s| 2100k| 1164k| 0 | 0.0 |2007M|2816 | - |5645 | 11k| 0 | 0 | 0 |2004k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1589.71/1589.70 c 1522s| 2110k| 1171k| 0 | 0.0 |2016M|2816 | - |5645 | 11k| 0 | 0 | 0 |2010k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1596.02/1596.10 c 1528s| 2120k| 1177k| 0 | 0.0 |2025M|2816 | - |5645 | 12k| 0 | 0 | 0 |2017k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1603.01/1603.04 c 1535s| 2130k| 1183k| 0 | 0.0 |2034M|2816 | - |5645 | 13k| 0 | 0 | 0 |2024k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1610.82/1610.88 c 1542s| 2140k| 1188k| 0 | 0.0 |2043M|2816 | - |5645 | 13k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1620.41/1620.49 c 1551s| 2150k| 1192k| 0 | 0.0 |2051M|2816 | - |5645 | 14k| 0 | 0 | 0 |2045k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1631.92/1632.00 c 1562s| 2160k| 1194k| 0 | 0.0 |2055M|2816 | - |5645 | 11k| 0 | 0 | 0 |2060k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1637.11/1637.19 c 1567s| 2170k| 1202k| 0 | 0.0 |2064M|2816 | - |5645 | 10k| 0 | 0 | 0 |2064k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1642.81/1642.88 c 1573s| 2180k| 1209k| 0 | 0.0 |2074M|2816 | - |5645 | 11k| 0 | 0 | 0 |2070k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1649.01/1649.03 c 1579s| 2190k| 1215k| 0 | 0.0 |2084M|2816 | - |5645 | 12k| 0 | 0 | 0 |2077k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1656.11/1656.12 c 1585s| 2200k| 1221k| 0 | 0.0 |2094M|2816 | - |5645 | 13k| 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1663.91/1663.98 c 1593s| 2210k| 1227k| 0 | 0.0 |2104M|2816 | - |5645 | 14k| 0 | 0 | 0 |2094k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1673.42/1673.47 c 1602s| 2220k| 1231k| 0 | 0.0 |2113M|2816 | - |5645 | 15k| 0 | 0 | 0 |2106k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1686.22/1686.21 c 1614s| 2230k| 1233k| 0 | 0.0 |2120M|2816 | - |5645 | 17k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1693.22/1693.29 c 1621s| 2240k| 1239k| 0 | 0.0 |2126M|2816 | - |5645 | 11k| 0 | 0 | 0 |2127k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1698.81/1698.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.81/1698.85 c 1626s| 2250k| 1246k| 0 | 0.0 |2136M|2816 | - |5645 | 11k| 0 | 0 | 0 |2132k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1705.52/1705.53 c 1633s| 2260k| 1253k| 0 | 0.0 |2146M|2816 | - |5645 | 11k| 0 | 0 | 0 |2139k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1713.21/1713.23 c 1640s| 2270k| 1259k| 0 | 0.0 |2156M|2816 | - |5645 | 12k| 0 | 0 | 0 |2147k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1721.31/1721.34 c 1647s| 2280k| 1264k| 0 | 0.0 |2166M|2816 | - |5645 | 12k| 0 | 0 | 0 |2156k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1730.01/1730.10 c 1656s| 2290k| 1268k| 0 | 0.0 |2175M|2816 | - |5645 | 12k| 0 | 0 | 0 |2165k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1738.92/1738.97 c 1664s| 2300k| 1273k| 0 | 0.0 |2184M|2816 | - |5645 | 12k| 0 | 0 | 0 |2175k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1748.11/1748.17 c 1673s| 2310k| 1278k| 0 | 0.0 |2192M|2816 | - |5645 | 13k| 0 | 0 | 0 |2186k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1758.01/1758.00 c 1682s| 2320k| 1282k| 0 | 0.0 |2201M|2816 | - |5645 | 13k| 0 | 0 | 0 |2196k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1769.51/1769.59 c 1693s| 2330k| 1285k| 0 | 0.0 |2210M|2816 | - |5645 | 16k| 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1781.22/1781.23 c 1704s| 2340k| 1288k| 0 | 0.0 |2215M|2816 | - |5645 | 12k| 0 | 0 | 0 |2222k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1786.71/1786.70 c 1709s| 2350k| 1296k| 0 | 0.0 |2224M|2816 | - |5645 | 11k| 0 | 0 | 0 |2226k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1792.61/1792.66 c 1715s| 2360k| 1302k| 0 | 0.0 |2233M|2816 | - |5645 | 12k| 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1721.91
1800.01/1800.00 c Solving Nodes : 2369031
1800.01/1800.00 c Primal Bound : +7.00000000000000e+00 (48 solutions)
1800.01/1800.00 c Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Gap : infinite
1800.01/1800.09 s SATISFIABLE
1800.01/1800.09 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.01/1800.09 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.01/1800.09 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.01/1800.09 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.01/1800.09 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.01/1800.09 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.01/1800.09 v -x104 x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.01/1800.09 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.01/1800.09 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.01/1800.09 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.01/1800.09 v -x1
1800.01/1800.09 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.09 c Solving Time : 1721.91
1800.01/1800.09 c Original Problem :
1800.01/1800.09 c Problem name : HOME/instance-2693701-1277930770.wbo
1800.01/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.01/1800.09 c Constraints : 5415 initial, 5415 maximal
1800.01/1800.09 c Presolved Problem :
1800.01/1800.09 c Problem name : t_HOME/instance-2693701-1277930770.wbo
1800.01/1800.09 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.01/1800.09 c Constraints : 5414 initial, 19787 maximal
1800.01/1800.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c probing : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.09 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.01/1800.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.09 c root node : - 2528 - - 5056 - - - -
1800.01/1800.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.09 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.09 c indicator : 2707 0 6396860 0 1781920 629 5454054 0 0 0
1800.01/1800.09 c linear : 2707 0 7534225 0 2007080 480847 45369601 0 0 0
1800.01/1800.09 c logicor : 0+ 0 3566371 0 0 101904 1596693 0 0 0
1800.01/1800.09 c countsols : 0 0 0 0 2007110 0 0 0 0 0
1800.01/1800.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.09 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.09 c indicator : 53.15 0.00 22.92 0.00 30.23
1800.01/1800.09 c linear : 423.79 0.00 422.38 0.00 1.41
1800.01/1800.09 c logicor : 217.72 0.00 217.72 0.00 0.00
1800.01/1800.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.09 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.09 c vbounds : 0.01 2 0 0
1800.01/1800.09 c rootredcost : 0.01 0 0 0
1800.01/1800.09 c pseudoobj : 401.54 7546394 11403 5379256
1800.01/1800.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.09 c propagation : 35.89 594154 594154 2761006 21.1 593567 11.4 -
1800.01/1800.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.09 c pseudo solution : 0.12 535 535 1871 20.6 1518 9.7 -
1800.01/1800.09 c applied globally : - - - 2239181 17.5 - - -
1800.01/1800.09 c applied locally : - - - 0 0.0 - - -
1800.01/1800.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.09 c redcost : 0.00 0 0 0 0 0
1800.01/1800.09 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.09 c intobj : 0.00 0 0 0 0 0
1800.01/1800.09 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.09 c gomory : 0.00 0 0 0 0 0
1800.01/1800.09 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.09 c cmir : 0.00 0 0 0 0 0
1800.01/1800.09 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.09 c clique : 0.00 0 0 0 0 0
1800.01/1800.09 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.09 c mcf : 0.00 0 0 0 0 0
1800.01/1800.09 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.09 c Pricers : Time Calls Vars
1800.01/1800.09 c problem variables: 0.00 0 0
1800.01/1800.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.09 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.09 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.09 c inference : 67.64 2007065 0 0 0 0 4014130
1800.01/1800.09 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.09 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.09 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.09 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.09 c random : 0.00 0 0 0 0 0 0
1800.01/1800.09 c Primal Heuristics : Time Calls Found
1800.01/1800.09 c LP solutions : 0.00 - 0
1800.01/1800.09 c pseudo solutions : 0.20 - 45
1800.01/1800.09 c oneopt : 0.07 0 0
1800.01/1800.09 c trivial : 0.07 2 2
1800.01/1800.09 c simplerounding : 0.00 0 0
1800.01/1800.09 c zirounding : 0.00 0 0
1800.01/1800.09 c rounding : 0.00 0 0
1800.01/1800.09 c shifting : 0.00 0 0
1800.01/1800.09 c intshifting : 0.00 0 0
1800.01/1800.09 c twoopt : 0.00 0 0
1800.01/1800.09 c fixandinfer : 0.00 0 0
1800.01/1800.09 c feaspump : 0.00 0 0
1800.01/1800.09 c coefdiving : 0.00 0 0
1800.01/1800.09 c pscostdiving : 0.00 0 0
1800.01/1800.09 c fracdiving : 0.00 0 0
1800.01/1800.09 c veclendiving : 0.00 0 0
1800.01/1800.09 c intdiving : 0.00 0 0
1800.01/1800.09 c actconsdiving : 0.00 0 0
1800.01/1800.09 c objpscostdiving : 0.00 0 0
1800.01/1800.09 c rootsoldiving : 0.00 0 0
1800.01/1800.09 c linesearchdiving : 0.00 0 0
1800.01/1800.09 c guideddiving : 0.00 0 0
1800.01/1800.09 c octane : 0.00 0 0
1800.01/1800.09 c rens : 0.00 0 0
1800.01/1800.09 c rins : 0.00 0 0
1800.01/1800.09 c localbranching : 0.00 0 0
1800.01/1800.09 c mutation : 0.00 0 0
1800.01/1800.09 c crossover : 0.00 0 0
1800.01/1800.09 c dins : 0.00 0 0
1800.01/1800.09 c undercover : 0.00 0 0
1800.01/1800.09 c nlp : 0.00 0 0
1800.01/1800.09 c trysol : 0.01 1 1
1800.01/1800.09 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.09 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.09 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.09 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.09 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.09 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.09 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.09 c (at root node) : - 0 0 0.00 -
1800.01/1800.09 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.09 c B&B Tree :
1800.01/1800.09 c number of runs : 1
1800.01/1800.09 c nodes : 2369031
1800.01/1800.09 c nodes (total) : 2369031
1800.01/1800.09 c nodes left : 1307710
1800.01/1800.09 c max depth : 2816
1800.01/1800.09 c max depth (total): 2816
1800.01/1800.09 c backtracks : 328261 (13.9%)
1800.01/1800.09 c delayed cutoffs : 306480
1800.01/1800.09 c repropagations : 1461198 (18288183 domain reductions, 233397 cutoffs)
1800.01/1800.09 c avg switch length: 43.95
1800.01/1800.09 c switching time : 474.52
1800.01/1800.09 c Solution :
1800.01/1800.09 c Solutions found : 48 (46 improvements)
1800.01/1800.09 c First Solution : +1.38261000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.01/1800.09 c Primal Bound : +7.00000000000000e+00 (in run 1, after 1221218 nodes, 861.12 seconds, depth 551, found by <relaxation>)
1800.01/1800.09 c Dual Bound : +0.00000000000000e+00
1800.01/1800.09 c Gap : infinite
1800.01/1800.09 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.09 c Root Iterations : 0
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693701-1277930770/watcher-2693701-1277930770 -o /tmp/evaluation-result-2693701-1277930770/solver-2693701-1277930770 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693701-1277930770.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.76 2.80 2.56 4/194 15586 /proc/meminfo: memFree=31179432/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=8596 CPUtime=0 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 1636 0 0 0 0 0 0 0 23 0 1 0 134373607 8802304 1558 4089446400 4194304 7136930 140733935739360 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15586/statm: 2149 1563 275 719 0 1428 0 [startup+0.085619 s] /proc/loadavg: 2.76 2.80 2.56 4/194 15586 /proc/meminfo: memFree=31179432/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=33672 CPUtime=0.07 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 7966 0 0 0 7 0 0 0 23 0 1 0 134373607 34480128 7534 4089446400 4194304 7136930 140733935739360 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 33672 [startup+0.100626 s] /proc/loadavg: 2.76 2.80 2.56 4/194 15586 /proc/meminfo: memFree=31179432/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=33672 CPUtime=0.09 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 7966 0 0 0 9 0 0 0 23 0 1 0 134373607 34480128 7534 4089446400 4194304 7136930 140733935739360 18446744073709551615 6350414 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 8418 7534 323 719 0 7697 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33672 [startup+0.30058 s] /proc/loadavg: 2.76 2.80 2.56 4/194 15586 /proc/meminfo: memFree=31179432/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=36492 CPUtime=0.29 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 9238 0 0 0 27 2 0 0 23 0 1 0 134373607 37367808 8292 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 9123 8292 383 719 0 8402 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36492 [startup+0.700513 s] /proc/loadavg: 2.76 2.80 2.56 4/194 15586 /proc/meminfo: memFree=31179432/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=37632 CPUtime=0.69 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 9515 0 0 0 65 4 0 0 25 0 1 0 134373607 38535168 8569 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 9408 8569 383 719 0 8687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37632 [startup+1.50037 s] /proc/loadavg: 2.76 2.80 2.56 4/195 15587 /proc/meminfo: memFree=31145076/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=42336 CPUtime=1.49 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 10702 0 0 0 138 11 0 0 25 0 1 0 134373607 43352064 9756 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 10584 9756 390 719 0 9863 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42336 [startup+3.10109 s] /proc/loadavg: 2.76 2.80 2.56 3/195 15587 /proc/meminfo: memFree=31139000/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=45388 CPUtime=3.09 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 11496 0 0 0 289 20 0 0 25 0 1 0 134373607 46477312 10550 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 11347 10550 391 719 0 10626 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45388 [startup+6.30054 s] /proc/loadavg: 2.70 2.78 2.56 3/195 15587 /proc/meminfo: memFree=31124420/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=57956 CPUtime=6.29 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 14595 0 0 0 587 42 0 0 25 0 1 0 134373607 59346944 13649 4089446400 4194304 7136930 140733935739360 18446744073709551615 5950814 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 14489 13649 391 719 0 13768 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57956 [startup+12.7004 s] /proc/loadavg: 2.64 2.77 2.56 3/195 15587 /proc/meminfo: memFree=31097024/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=79156 CPUtime=12.69 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 19712 0 0 0 1195 74 0 0 25 0 1 0 134373607 81055744 18766 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 19789 18766 391 719 0 19068 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79156 [startup+25.5012 s] /proc/loadavg: 2.50 2.73 2.55 3/195 15587 /proc/meminfo: memFree=31042932/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=123896 CPUtime=25.49 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 30490 0 0 0 2417 132 0 0 25 0 1 0 134373607 126869504 29544 4089446400 4194304 7136930 140733935739360 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 30974 29544 391 719 0 30253 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 123896 [startup+51.1008 s] /proc/loadavg: 2.33 2.67 2.53 3/195 15588 /proc/meminfo: memFree=30956724/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=192724 CPUtime=51.09 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 47012 0 0 0 4834 275 0 0 25 0 1 0 134373607 197349376 46066 4089446400 4194304 7136930 140733935739360 18446744073709551615 4221327 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 48181 46066 391 719 0 47460 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 192724 [startup+102.307 s] /proc/loadavg: 2.14 2.57 2.50 3/195 15589 /proc/meminfo: memFree=30844716/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=278888 CPUtime=102.3 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 68428 0 0 0 9753 477 0 0 25 0 1 0 134373607 285581312 67482 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 69722 67482 391 719 0 69001 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 278888 [startup+162.3 s] /proc/loadavg: 2.05 2.46 2.47 3/195 15591 /proc/meminfo: memFree=30695488/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=423588 CPUtime=162.29 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 101886 0 0 0 15474 755 0 0 25 0 1 0 134373607 433754112 100940 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 105897 100940 391 719 0 105176 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 423588 [startup+222.301 s] /proc/loadavg: 2.02 2.37 2.43 3/195 15593 /proc/meminfo: memFree=30535348/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=553244 CPUtime=222.3 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 131332 0 0 0 21180 1050 0 0 25 0 1 0 134373607 566521856 130386 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 138311 130386 391 719 0 137590 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 553244 [startup+282.301 s] /proc/loadavg: 2.00 2.30 2.41 3/195 15594 /proc/meminfo: memFree=30398028/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=664616 CPUtime=282.3 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 159158 0 0 0 26853 1377 0 0 25 0 1 0 134373607 680566784 158212 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 166154 158212 391 719 0 165433 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 664616 [startup+342.301 s] /proc/loadavg: 2.00 2.25 2.38 3/195 15595 /proc/meminfo: memFree=30256632/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=778916 CPUtime=342.3 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 187940 0 0 0 32539 1691 0 0 25 0 1 0 134373607 797609984 186994 4089446400 4194304 7136930 140733935739360 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 194729 186994 391 719 0 194008 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 778916 [startup+402.301 s] /proc/loadavg: 2.00 2.20 2.35 11/195 15597 /proc/meminfo: memFree=30129336/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=887452 CPUtime=402.3 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 215341 0 0 0 38200 2030 0 0 25 0 1 0 134373607 908750848 214395 4089446400 4194304 7136930 140733935739360 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 221863 214395 391 719 0 221142 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 887452 [startup+462.3 s] /proc/loadavg: 2.00 2.16 2.33 3/195 15599 /proc/meminfo: memFree=30020676/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=959240 CPUtime=462.3 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 233313 0 0 0 43974 2256 0 0 25 0 1 0 134373607 982261760 232367 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 239810 232367 391 719 0 239089 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 959240 [startup+522.301 s] /proc/loadavg: 2.00 2.13 2.30 3/195 15601 /proc/meminfo: memFree=29943256/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=1004632 CPUtime=522.3 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 242463 0 0 0 49791 2439 0 0 25 0 1 0 134373607 1028743168 241517 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 251158 241517 391 719 0 250437 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1004632 [startup+582.3 s] /proc/loadavg: 2.32 2.22 2.32 3/195 15602 /proc/meminfo: memFree=29842424/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=1069772 CPUtime=582.3 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 258643 0 0 0 55550 2680 0 0 25 0 1 0 134373607 1095446528 257697 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 267443 257697 391 719 0 266722 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1069772 [startup+642.302 s] /proc/loadavg: 2.12 2.18 2.30 10/195 15603 /proc/meminfo: memFree=29726924/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=1158116 CPUtime=642.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 279608 0 0 0 61315 2916 0 0 25 0 1 0 134373607 1185910784 278662 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 289529 278662 391 719 0 288808 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1158116 [startup+702.3 s] ################ # More data... # ################ /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 372292 0 0 0 96010 4221 0 0 25 0 1 0 134373607 1567543296 371346 4089446400 4194304 7136930 140733935739360 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 382701 371346 391 719 0 381980 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1530804 [startup+1062.3 s] /proc/loadavg: 2.02 2.10 2.21 3/195 15624 /proc/meminfo: memFree=29106384/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=1607628 CPUtime=1062.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 390886 0 0 0 101763 4468 0 0 25 0 1 0 134373607 1646211072 389940 4089446400 4194304 7136930 140733935739360 18446744073709551615 4677497 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 401907 389940 391 719 0 401186 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1607628 [startup+1122.3 s] /proc/loadavg: 2.09 2.09 2.19 3/195 15626 /proc/meminfo: memFree=29025184/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=1691052 CPUtime=1122.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 410537 0 0 0 107551 4680 0 0 25 0 1 0 134373607 1731637248 409591 4089446400 4194304 7136930 140733935739360 18446744073709551615 4960281 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 422763 409591 391 719 0 422042 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1691052 [startup+1182.3 s] /proc/loadavg: 2.03 2.07 2.18 3/195 15627 /proc/meminfo: memFree=28939572/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=1777292 CPUtime=1182.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 432225 0 0 0 113271 4960 0 0 25 0 1 0 134373607 1819947008 431279 4089446400 4194304 7136930 140733935739360 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 444323 431279 391 719 0 443602 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1777292 [startup+1242.3 s] /proc/loadavg: 2.01 2.06 2.17 3/195 15628 /proc/meminfo: memFree=28874792/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=1840476 CPUtime=1242.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 448002 0 0 0 118995 5236 0 0 25 0 1 0 134373607 1884647424 447056 4089446400 4194304 7136930 140733935739360 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 460119 447056 391 719 0 459398 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1840476 [startup+1302.3 s] /proc/loadavg: 2.04 2.06 2.16 3/195 15630 /proc/meminfo: memFree=28798348/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=1916512 CPUtime=1302.32 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 466978 0 0 0 124706 5526 0 0 25 0 1 0 134373607 1962508288 466032 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 479128 466032 391 719 0 478407 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1916512 [startup+1362.3 s] /proc/loadavg: 2.01 2.05 2.15 3/195 15632 /proc/meminfo: memFree=28725040/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2004724 CPUtime=1362.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 485152 0 0 0 130426 5805 0 0 25 0 1 0 134373607 2052837376 484206 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 501181 484206 391 719 0 500460 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 2004724 [startup+1422.31 s] /proc/loadavg: 2.00 2.03 2.14 3/195 15634 /proc/meminfo: memFree=28645732/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2083044 CPUtime=1422.32 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 504844 0 0 0 136182 6050 0 0 25 0 1 0 134373607 2133037056 503898 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 520761 503898 391 719 0 520040 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2083044 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.13 3/195 15635 /proc/meminfo: memFree=28560980/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2168168 CPUtime=1482.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 526257 0 0 0 141931 6300 0 0 25 0 1 0 134373607 2220204032 525311 4089446400 4194304 7136930 140733935739360 18446744073709551615 4221404 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 542042 525311 391 719 0 541321 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 2168168 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.11 3/195 15636 /proc/meminfo: memFree=28471612/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2230948 CPUtime=1542.32 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 542202 0 0 0 147675 6557 0 0 25 0 1 0 134373607 2284490752 541256 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 557737 541256 391 719 0 557016 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2230948 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.10 3/195 15638 /proc/meminfo: memFree=28351548/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2293264 CPUtime=1602.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 557996 0 0 0 153396 6835 0 0 25 0 1 0 134373607 2348302336 557050 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 573316 557050 391 719 0 572595 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 2293264 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.09 3/195 15640 /proc/meminfo: memFree=28235148/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2362952 CPUtime=1662.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 575563 0 0 0 159125 7106 0 0 25 0 1 0 134373607 2419662848 574617 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 590738 574617 391 719 0 590017 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 2362952 [startup+1722.3 s] /proc/loadavg: 1.98 1.99 2.08 3/177 15862 /proc/meminfo: memFree=28841472/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2430796 CPUtime=1722.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 592560 0 0 0 164841 7390 0 0 25 0 1 0 134373607 2489135104 591614 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 607699 591614 391 719 0 606978 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 2430796 [startup+1782.3 s] /proc/loadavg: 2.11 2.02 2.08 3/177 15863 /proc/meminfo: memFree=28765824/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2474840 CPUtime=1782.31 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 603683 0 0 0 170532 7699 0 0 25 0 1 0 134373607 2534236160 602737 4089446400 4194304 7136930 140733935739360 18446744073709551615 4225826 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 618710 602737 391 719 0 617989 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 2474840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.02 2.08 3/177 15864 /proc/meminfo: memFree=28728732/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2500668 CPUtime=1800.01 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 610308 0 0 0 172193 7808 0 0 25 0 1 0 134373607 2560684032 609362 4089446400 4194304 7136930 140733935739360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15586/statm: 625167 609362 391 719 0 624446 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 2500668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15586 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.07 2.02 2.08 3/178 15865 /proc/meminfo: memFree=28727980/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2500668 CPUtime=1801.41 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 610330 0 0 0 172333 7808 0 0 19 0 1 0 134373607 2560684032 609384 4089446400 4194304 7136930 140733935739360 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15586/statm: 625167 609384 397 719 0 624446 0 Current children cumulated CPU time (s) 1801.41 Current children cumulated vsize (KiB) 2500668 [startup+1801.81 s] /proc/loadavg: 2.07 2.02 2.08 3/178 15865 /proc/meminfo: memFree=28727608/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2500668 CPUtime=1801.81 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 610330 0 0 0 172373 7808 0 0 20 0 1 0 134373607 2560684032 609384 4089446400 4194304 7136930 140733935739360 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15586/statm: 625167 609384 397 719 0 624446 0 Current children cumulated CPU time (s) 1801.81 Current children cumulated vsize (KiB) 2500668 [startup+1802 s] /proc/loadavg: 2.07 2.02 2.08 3/178 15865 /proc/meminfo: memFree=28727608/32951132 swapFree=67111528/67111528 [pid=15586] ppid=15584 vsize=2500668 CPUtime=1802.01 /proc/15586/stat : 15586 (pbscip.linux.x8) R 15584 15586 15189 0 -1 4202496 610330 0 0 0 172393 7808 0 0 20 0 1 0 134373607 2560684032 609384 4089446400 4194304 7136930 140733935739360 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15586/statm: 625167 609384 397 719 0 624446 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 2500668 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.09 CPU time (s): 1802.11 CPU user time (s): 1723.94 CPU system time (s): 78.1701 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 2500668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1723.94 system time used= 78.1701 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 610330 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= 2 involuntary context switches= 1031 runsolver used 2.99854 second user time and 6.31604 second system time The end
Begin job on node131 at 2010-06-30 22:46:10 IDJOB=2693701 IDBENCH=79309 IDSOLVER=1206 FILE ID=node131/2693701-1277930770 PBS_JOBID= 11197399 Free space on /tmp= 74140 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.1900570242--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-2693701-1277930770/watcher-2693701-1277930770 -o /tmp/evaluation-result-2693701-1277930770/solver-2693701-1277930770 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693701-1277930770.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14bc8800f159591dc4e79c8dbc089eb4 RANDOM SEED=641577873 node131.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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.82 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.836 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.76 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.836 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.83 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.836 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.836 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31179464 kB Buffers: 215688 kB Cached: 1136964 kB SwapCached: 0 kB Active: 798144 kB Inactive: 827568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31179464 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3784 kB Writeback: 0 kB AnonPages: 273544 kB Mapped: 20500 kB Slab: 81208 kB PageTables: 5640 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1659468 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74128 MiB End job on node131 at 2010-06-30 23:16:12