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.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo |
| MD5SUM | 98ba7b6540ae93cc2daebc624abceb03 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard 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 | 29.5945 |
| 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 | 1777 |
| 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 | 90281 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 90280 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 761 |
| 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-2694109-1277905844.wbo>
0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 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.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.00/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.00/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.12 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/1943 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (6 rounds):
0.09/0.17 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17 c 1913 implications, 7 cliques
0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.17 c 1712 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1712 constraints of type <linear>
0.09/0.17 c 898 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3655 |4329 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.31 o 928
2.29/2.31 c * 2.2s| 8247 | 4896 | 0 | 0.0 | 16M|1862 | - |3655 |5019 | 0 | 0 | 0 |1102 | 0 | 0.000000e+00 | 9.280000e+02 | Inf
2.39/2.48 o 791
2.39/2.48 c * 2.4s| 8783 | 5273 | 0 | 0.0 | 16M|1862 | - |3655 |4997 | 0 | 0 | 0 |1125 | 0 | 0.000000e+00 | 7.910000e+02 | Inf
2.49/2.52 o 608
2.49/2.52 c * 2.4s| 8932 | 5374 | 0 | 0.0 | 16M|1862 | - |3655 |4989 | 0 | 0 | 0 |1135 | 0 | 0.000000e+00 | 6.080000e+02 | Inf
2.49/2.58 o 388
2.49/2.58 c * 2.5s| 9154 | 5013 | 0 | 0.0 | 16M|1862 | - |3655 |4983 | 0 | 0 | 0 |1145 | 0 | 0.000000e+00 | 3.880000e+02 | Inf
2.69/2.70 o 374
2.69/2.70 c * 2.6s| 9577 | 5425 | 0 | 0.0 | 16M|1862 | - |3655 |4968 | 0 | 0 | 0 |1175 | 0 | 0.000000e+00 | 3.740000e+02 | Inf
2.69/2.70 o 355
2.69/2.70 c * 2.6s| 9584 | 5426 | 0 | 0.0 | 16M|1862 | - |3655 |4968 | 0 | 0 | 0 |1175 | 0 | 0.000000e+00 | 3.550000e+02 | Inf
2.79/2.82 c 2.7s| 10000 | 5817 | 0 | 0.0 | 17M|1862 | - |3655 |4954 | 0 | 0 | 0 |1279 | 0 | 0.000000e+00 | 3.550000e+02 | Inf
5.89/5.93 c 5.7s| 20000 | 13838 | 0 | 0.0 | 26M|1862 | - |3655 |6295 | 0 | 0 | 0 |6755 | 0 | 0.000000e+00 | 3.550000e+02 | Inf
10.89/10.99 c 10.7s| 30000 | 19324 | 0 | 0.0 | 38M|1862 | - |3655 |8630 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.550000e+02 | Inf
11.49/11.57 o 308
11.49/11.57 c *11.3s| 31166 | 20193 | 0 | 0.0 | 38M|1862 | - |3655 |8029 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.080000e+02 | Inf
11.99/12.07 o 294
11.99/12.07 c *11.8s| 32334 | 21292 | 0 | 0.0 | 38M|1862 | - |3655 |7484 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
12.10/12.12 o 284
12.10/12.12 c *11.8s| 32442 | 21367 | 0 | 0.0 | 38M|1862 | - |3655 |7439 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.840000e+02 | Inf
12.10/12.12 o 268
12.10/12.12 c *11.8s| 32443 | 21308 | 0 | 0.0 | 38M|1862 | - |3655 |7439 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.680000e+02 | Inf
12.20/12.22 o 251
12.20/12.22 c *11.9s| 32665 | 21418 | 0 | 0.0 | 38M|1862 | - |3655 |7390 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.510000e+02 | Inf
12.20/12.22 o 249
12.20/12.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.20/12.22 c *11.9s| 32666 | 21412 | 0 | 0.0 | 39M|1862 | - |3655 |7390 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
12.20/12.26 o 236
12.20/12.26 c *11.9s| 32750 | 21428 | 0 | 0.0 | 39M|1862 | - |3655 |7341 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
12.59/12.68 o 229
12.59/12.68 c *12.3s| 33718 | 22300 | 0 | 0.0 | 39M|1862 | - |3655 |7179 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.290000e+02 | Inf
12.59/12.68 o 219
12.59/12.68 c *12.3s| 33719 | 22023 | 0 | 0.0 | 39M|1862 | - |3655 |7179 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.190000e+02 | Inf
12.69/12.72 o 202
12.69/12.72 c *12.4s| 33806 | 22002 | 0 | 0.0 | 39M|1862 | - |3655 |7171 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
12.79/12.89 o 183
12.79/12.89 c *12.6s| 34218 | 22018 | 0 | 0.0 | 39M|1862 | - |3655 |6906 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.830000e+02 | Inf
13.30/13.32 o 152
13.30/13.32 c *13.0s| 35198 | 22735 | 0 | 0.0 | 39M|1862 | - |3655 |6595 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
14.19/14.26 o 125
14.19/14.26 c *13.9s| 37334 | 23971 | 0 | 0.0 | 41M|1862 | - |3655 |6314 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
14.79/14.81 o 94
14.79/14.81 c *14.4s| 38593 | 24588 | 0 | 0.0 | 42M|1862 | - |3655 |6134 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
14.79/14.81 o 83
14.79/14.81 c *14.4s| 38594 | 23426 | 0 | 0.0 | 41M|1862 | - |3655 |6134 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
15.49/15.55 c 15.2s| 40000 | 24630 | 0 | 0.0 | 42M|1862 | - |3655 |5628 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
19.69/19.75 c 19.3s| 50000 | 33451 | 0 | 0.0 | 52M|1862 | - |3655 |6039 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
23.29/23.35 c 22.8s| 60000 | 42099 | 0 | 0.0 | 62M|1862 | - |3655 |6988 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
26.99/27.06 c 26.4s| 70000 | 49882 | 0 | 0.0 | 70M|1862 | - |3655 |7206 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
30.99/31.06 c 30.3s| 80000 | 57166 | 0 | 0.0 | 79M|1862 | - |3655 |7796 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
35.20/35.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.20/35.20 c 34.3s| 90000 | 64251 | 0 | 0.0 | 88M|1862 | - |3655 |8119 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
39.60/39.64 c 38.6s|100000 | 71068 | 0 | 0.0 | 96M|1862 | - |3655 |8363 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
44.50/44.50 c 43.4s|110000 | 77309 | 0 | 0.0 | 106M|1862 | - |3655 |8983 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
49.99/50.00 c 48.8s|120000 | 82795 | 0 | 0.0 | 115M|1862 | - |3655 |9378 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
55.89/55.90 c 54.6s|130000 | 87922 | 0 | 0.0 | 125M|1862 | - |3655 |9881 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
62.19/62.26 c 60.8s|140000 | 92560 | 0 | 0.0 | 134M|1862 | - |3655 | 10k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
68.89/68.94 c 67.3s|150000 | 96826 | 0 | 0.0 | 143M|1862 | - |3655 | 11k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
78.59/78.61 c 76.8s|160000 | 98095 | 0 | 0.0 | 151M|1862 | - |3655 | 13k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
84.49/84.56 c 82.7s|170000 |106616 | 0 | 0.0 | 162M|1862 | - |3655 |5099 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
88.19/88.29 o 76
88.19/88.29 c *86.3s|176904 |111991 | 0 | 0.0 | 168M|1862 | - |3655 |5150 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 7.600000e+01 | Inf
88.19/88.29 o 58
88.19/88.29 c *86.3s|176905 |110123 | 0 | 0.0 | 161M|1862 | - |3655 |5150 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
90.20/90.24 c 88.2s|180000 |112654 | 0 | 0.0 | 167M|1862 | - |3655 |4663 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
97.29/97.30 o 55
97.29/97.30 c *95.1s|189817 |117903 | 0 | 0.0 | 184M|1862 | - |3655 |6343 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
97.49/97.55 c 95.4s|190000 |117910 | 0 | 0.0 | 185M|1862 | - |3655 |6414 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 5.500000e+01 | Inf
102.19/102.29 o 54
102.19/102.29 c * 100s|199559 |125411 | 0 | 0.0 | 190M|1862 | - |3655 |5725 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
102.49/102.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.49/102.53 c 100s|200000 |125780 | 0 | 0.0 | 190M|1862 | - |3655 |5680 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 5.400000e+01 | Inf
103.89/103.97 o 44
103.89/103.97 c * 102s|202853 |127170 | 0 | 0.0 | 187M|1862 | - |3655 |5719 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
103.89/103.98 o 16
103.89/103.98 c * 102s|202854 |124111 | 0 | 0.0 | 171M|1862 | - |3655 |5719 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
107.59/107.61 c 105s|210000 |128995 | 0 | 0.0 | 179M|1862 | - |3655 |6695 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
109.09/109.12 o 14
109.09/109.12 c * 107s|213478 |131339 | 0 | 0.0 | 181M|1862 | - |3655 |7295 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
112.49/112.54 c 110s|220000 |135566 | 0 | 0.0 | 187M|1862 | - |3655 |7497 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
117.19/117.26 c 115s|230000 |142842 | 0 | 0.0 | 195M|1862 | - |3655 |8111 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
122.59/122.67 c 120s|240000 |149152 | 0 | 0.0 | 204M|1862 | - |3655 |9304 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
128.19/128.21 c 125s|250000 |155577 | 0 | 0.0 | 214M|1862 | - |3655 | 10k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
133.50/133.58 c 131s|260000 |162432 | 0 | 0.0 | 224M|1862 | - |3655 | 11k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
138.80/138.88 c 136s|270000 |169225 | 0 | 0.0 | 233M|1862 | - |3655 | 11k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
143.49/143.54 c 140s|280000 |176821 | 0 | 0.0 | 241M|1862 | - |3655 | 10k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
149.50/149.52 c 146s|290000 |183475 | 0 | 0.0 | 250M|1862 | - |3655 | 12k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
155.20/155.25 c 152s|300000 |190215 | 0 | 0.0 | 259M|1862 | - |3655 | 11k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
160.79/160.84 c 157s|310000 |197143 | 0 | 0.0 | 268M|1862 | - |3655 | 11k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
166.40/166.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.40/166.45 c 163s|320000 |204110 | 0 | 0.0 | 278M|1862 | - |3655 | 12k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
174.20/174.26 c 170s|330000 |208961 | 0 | 0.0 | 287M|1862 | - |3655 | 16k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
179.69/179.79 c 176s|340000 |215888 | 0 | 0.0 | 296M|1862 | - |3655 | 14k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
185.80/185.84 c 182s|350000 |221949 | 0 | 0.0 | 303M|1862 | - |3655 | 15k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
190.50/190.51 c 186s|360000 |229832 | 0 | 0.0 | 311M|1862 | - |3655 | 13k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
196.70/196.70 c 192s|370000 |236043 | 0 | 0.0 | 319M|1862 | - |3655 | 13k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
201.80/201.87 c 198s|380000 |243324 | 0 | 0.0 | 328M|1862 | - |3655 | 13k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
207.00/207.00 c 203s|390000 |250529 | 0 | 0.0 | 337M|1862 | - |3655 | 15k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
213.10/213.12 c 209s|400000 |256853 | 0 | 0.0 | 345M|1862 | - |3655 | 14k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
218.60/218.61 c 214s|410000 |263787 | 0 | 0.0 | 352M|1862 | - |3655 |6366 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
223.41/223.49 c 219s|420000 |270446 | 0 | 0.0 | 362M|1862 | - |3655 |7749 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
229.50/229.56 c 225s|430000 |275889 | 0 | 0.0 | 371M|1862 | - |3655 |8908 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
235.80/235.87 c 231s|440000 |281077 | 0 | 0.0 | 380M|1862 | - |3655 |9605 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
242.79/242.82 c 238s|450000 |285710 | 0 | 0.0 | 389M|1862 | - |3655 |9947 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
249.60/249.67 c 244s|460000 |290404 | 0 | 0.0 | 397M|1862 | - |3655 | 10k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
257.10/257.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.10/257.17 c 252s|470000 |294650 | 0 | 0.0 | 405M|1862 | - |3655 | 10k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
264.80/264.86 c 259s|480000 |298730 | 0 | 0.0 | 414M|1862 | - |3655 | 11k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
272.70/272.75 c 267s|490000 |302684 | 0 | 0.0 | 422M|1862 | - |3655 | 12k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
280.60/280.64 c 275s|500000 |306645 | 0 | 0.0 | 431M|1862 | - |3655 | 12k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
288.89/288.90 c 283s|510000 |310182 | 0 | 0.0 | 439M|1862 | - |3655 | 12k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
297.50/297.53 c 291s|520000 |313410 | 0 | 0.0 | 448M|1862 | - |3655 | 12k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
306.00/306.09 c 300s|530000 |316762 | 0 | 0.0 | 455M|1862 | - |3655 | 12k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
314.90/314.93 c 309s|540000 |319858 | 0 | 0.0 | 463M|1862 | - |3655 | 12k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
324.30/324.32 c 318s|550000 |322364 | 0 | 0.0 | 470M|1862 | - |3655 | 12k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
333.40/333.49 c 327s|560000 |325151 | 0 | 0.0 | 478M|1862 | - |3655 | 13k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
343.30/343.35 c 337s|570000 |327323 | 0 | 0.0 | 486M|1862 | - |3655 | 14k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
353.21/353.22 c 346s|580000 |329574 | 0 | 0.0 | 493M|1862 | - |3655 | 14k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
363.70/363.70 c 357s|590000 |331210 | 0 | 0.0 | 499M|1862 | - |3655 | 14k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
374.00/374.07 c 367s|600000 |332970 | 0 | 0.0 | 505M|1862 | - |3655 | 14k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
385.30/385.39 c 378s|610000 |333799 | 0 | 0.0 | 510M|1862 | - |3655 | 13k| 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
400.00/400.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.00/400.02 c 393s|620000 |325153 | 0 | 0.0 | 504M|1862 | - |3655 | 19k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
407.10/407.14 c 400s|630000 |329003 | 0 | 0.0 | 499M|1862 | - |3655 |5945 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
412.10/412.11 c 404s|640000 |336350 | 0 | 0.0 | 508M|1862 | - |3655 |7123 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
417.20/417.22 c 409s|650000 |343576 | 0 | 0.0 | 517M|1862 | - |3655 |8028 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
423.30/423.30 c 415s|660000 |350083 | 0 | 0.0 | 527M|1862 | - |3655 |8800 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
430.40/430.40 c 422s|670000 |355671 | 0 | 0.0 | 538M|1862 | - |3655 |9770 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
438.20/438.25 c 430s|680000 |360590 | 0 | 0.0 | 550M|1862 | - |3655 | 11k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
447.21/447.26 c 439s|690000 |364617 | 0 | 0.0 | 561M|1862 | - |3655 | 12k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
458.40/458.43 c 450s|700000 |366987 | 0 | 0.0 | 573M|1862 | - |3655 | 13k| 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
473.20/473.29 c 465s|710000 |364122 | 0 | 0.0 | 579M|1862 | - |3655 | 13k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
480.00/480.05 c 471s|720000 |371490 | 0 | 0.0 | 599M|1862 | - |3655 | 11k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
486.61/486.65 c 478s|730000 |378406 | 0 | 0.0 | 613M|1862 | - |3655 | 11k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
493.51/493.58 c 485s|740000 |384439 | 0 | 0.0 | 623M|1862 | - |3655 | 13k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 1.400000e+01 | Inf
494.31/494.32 o 11
494.31/494.32 c * 485s|741060 |382745 | 0 | 0.0 | 612M|1862 | - |3655 | 14k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
497.21/497.23 o 8
497.21/497.23 c * 488s|743989 |383066 | 0 | 0.0 | 611M|1862 | - |3655 | 14k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
503.21/503.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.21/503.27 c 494s|750000 |385920 | 0 | 0.0 | 621M|1862 | - |3655 | 16k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
513.50/513.52 c 504s|760000 |389551 | 0 | 0.0 | 631M|1862 | - |3655 | 11k| 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
524.60/524.60 c 515s|770000 |390256 | 0 | 0.0 | 638M|1862 | - |3655 | 13k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
530.80/530.88 c 521s|780000 |395471 | 0 | 0.0 | 643M|1862 | - |3655 |9576 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
536.01/536.01 c 526s|790000 |402200 | 0 | 0.0 | 651M|1862 | - |3655 | 10k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
542.01/542.06 c 532s|800000 |408063 | 0 | 0.0 | 660M|1862 | - |3655 | 11k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
549.30/549.36 c 539s|810000 |412735 | 0 | 0.0 | 668M|1862 | - |3655 | 12k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
557.91/557.91 c 548s|820000 |416364 | 0 | 0.0 | 677M|1862 | - |3655 | 14k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
567.61/567.62 c 557s|830000 |419202 | 0 | 0.0 | 682M|1862 | - |3655 | 10k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
572.41/572.41 c 562s|840000 |426423 | 0 | 0.0 | 690M|1862 | - |3655 |9873 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
578.01/578.01 c 567s|850000 |432616 | 0 | 0.0 | 699M|1862 | - |3655 | 10k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
584.71/584.70 c 574s|860000 |437918 | 0 | 0.0 | 708M|1862 | - |3655 | 11k| 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
592.41/592.46 c 582s|870000 |442209 | 0 | 0.0 | 717M|1862 | - |3655 | 12k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
600.61/600.68 c 590s|880000 |446006 | 0 | 0.0 | 725M|1862 | - |3655 | 11k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
607.61/607.62 c 596s|890000 |450834 | 0 | 0.0 | 732M|1862 | - |3655 | 10k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
613.70/613.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.70/613.78 c 602s|900000 |456511 | 0 | 0.0 | 740M|1862 | - |3655 | 10k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
619.90/619.95 c 609s|910000 |462166 | 0 | 0.0 | 748M|1862 | - |3655 | 11k| 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
626.71/626.77 c 615s|920000 |467192 | 0 | 0.0 | 757M|1862 | - |3655 | 11k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
634.41/634.41 c 623s|930000 |471394 | 0 | 0.0 | 766M|1862 | - |3655 | 12k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
644.21/644.27 c 632s|940000 |473571 | 0 | 0.0 | 774M|1862 | - |3655 | 14k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
650.01/650.00 c 638s|950000 |479889 | 0 | 0.0 | 780M|1862 | - |3655 |9710 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
654.91/654.93 c 643s|960000 |486639 | 0 | 0.0 | 788M|1862 | - |3655 | 10k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
660.51/660.51 c 648s|970000 |492695 | 0 | 0.0 | 797M|1862 | - |3655 | 10k| 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
668.01/668.06 c 656s|980000 |496939 | 0 | 0.0 | 806M|1862 | - |3655 | 12k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
678.01/678.03 c 665s|990000 |499206 | 0 | 0.0 | 814M|1862 | - |3655 | 14k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
683.31/683.35 c 671s| 1000k|505991 | 0 | 0.0 | 821M|1862 | - |3655 |9797 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
688.41/688.42 c 676s| 1010k|512718 | 0 | 0.0 | 829M|1862 | - |3655 | 10k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
694.81/694.83 c 682s| 1020k|518144 | 0 | 0.0 | 839M|1862 | - |3655 | 11k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
702.41/702.46 c 689s| 1030k|522479 | 0 | 0.0 | 848M|1862 | - |3655 | 13k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
707.21/707.21 o 7
707.21/707.21 c * 694s| 1034k|522701 | 0 | 0.0 | 848M|1862 | - |3655 | 14k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
713.31/713.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.31/713.33 c 700s| 1040k|523420 | 0 | 0.0 | 851M|1862 | - |3655 | 12k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
718.11/718.13 c 705s| 1050k|530680 | 0 | 0.0 | 858M|1862 | - |3655 | 10k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
722.91/722.94 c 710s| 1060k|537672 | 0 | 0.0 | 867M|1862 | - |3655 | 10k| 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
728.01/728.09 c 715s| 1070k|544283 | 0 | 0.0 | 874M|1862 | - |3655 | 11k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
735.81/735.81 c 722s| 1080k|548550 | 0 | 0.0 | 883M|1862 | - |3655 | 13k| 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
745.41/745.43 c 732s| 1090k|551320 | 0 | 0.0 | 891M|1862 | - |3655 | 16k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
751.42/751.46 c 738s| 1100k|557674 | 0 | 0.0 | 897M|1862 | - |3655 |9762 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
756.21/756.25 c 742s| 1110k|564898 | 0 | 0.0 | 905M|1862 | - |3655 | 10k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
761.21/761.29 c 747s| 1120k|571777 | 0 | 0.0 | 914M|1862 | - |3655 | 10k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
767.11/767.15 c 753s| 1130k|577898 | 0 | 0.0 | 923M|1862 | - |3655 | 11k| 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
773.52/773.56 c 759s| 1140k|583527 | 0 | 0.0 | 932M|1862 | - |3655 | 11k| 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
779.92/779.96 c 765s| 1150k|589141 | 0 | 0.0 | 940M|1862 | - |3655 | 12k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
786.71/786.78 c 772s| 1160k|594411 | 0 | 0.0 | 949M|1862 | - |3655 | 12k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
794.21/794.25 c 779s| 1170k|599022 | 0 | 0.0 | 957M|1862 | - |3655 | 13k| 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
802.81/802.86 c 788s| 1180k|602723 | 0 | 0.0 | 965M|1862 | - |3655 | 14k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
813.41/813.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.41/813.42 c 798s| 1190k|604965 | 0 | 0.0 | 972M|1862 | - |3655 | 16k| 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
822.22/822.28 c 807s| 1200k|608888 | 0 | 0.0 | 976M|1862 | - |3655 | 10k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
827.32/827.33 c 812s| 1210k|615867 | 0 | 0.0 | 984M|1862 | - |3655 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
833.72/833.79 c 818s| 1220k|621527 | 0 | 0.0 | 993M|1862 | - |3655 | 12k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
841.21/841.23 c 826s| 1230k|626341 | 0 | 0.0 |1002M|1862 | - |3655 | 12k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
848.71/848.78 c 833s| 1240k|630923 | 0 | 0.0 |1009M|1862 | - |3655 | 12k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
855.82/855.84 c 840s| 1250k|636076 | 0 | 0.0 |1017M|1862 | - |3655 | 12k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
862.61/862.66 c 847s| 1260k|641441 | 0 | 0.0 |1025M|1862 | - |3655 | 11k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
869.82/869.81 c 854s| 1270k|646570 | 0 | 0.0 |1033M|1862 | - |3655 | 11k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
876.61/876.65 c 860s| 1280k|651915 | 0 | 0.0 |1041M|1862 | - |3655 | 11k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
883.51/883.57 c 867s| 1290k|657174 | 0 | 0.0 |1049M|1862 | - |3655 | 11k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
890.21/890.23 c 874s| 1300k|662722 | 0 | 0.0 |1057M|1862 | - |3655 | 11k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
896.81/896.86 c 880s| 1310k|668292 | 0 | 0.0 |1065M|1862 | - |3655 | 11k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
903.92/903.96 c 887s| 1320k|673493 | 0 | 0.0 |1074M|1862 | - |3655 | 12k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
911.31/911.38 c 895s| 1330k|678418 | 0 | 0.0 |1082M|1862 | - |3655 | 13k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
919.91/919.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.91/919.90 c 903s| 1340k|682541 | 0 | 0.0 |1090M|1862 | - |3655 | 14k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
929.32/929.38 c 912s| 1350k|685975 | 0 | 0.0 |1098M|1862 | - |3655 | 15k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
940.52/940.52 c 923s| 1360k|688064 | 0 | 0.0 |1105M|1862 | - |3655 | 17k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
949.62/949.60 c 932s| 1370k|692157 | 0 | 0.0 |1109M|1862 | - |3655 | 11k| 0 | 0 | 0 |1125k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
955.02/955.08 c 938s| 1380k|698843 | 0 | 0.0 |1118M|1862 | - |3655 | 12k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
961.91/961.91 c 944s| 1390k|704401 | 0 | 0.0 |1127M|1862 | - |3655 | 13k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
970.42/970.47 c 953s| 1400k|708519 | 0 | 0.0 |1136M|1862 | - |3655 | 15k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
982.11/982.18 c 964s| 1410k|710030 | 0 | 0.0 |1143M|1862 | - |3655 | 18k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
987.72/987.79 c 970s| 1420k|716998 | 0 | 0.0 |1149M|1862 | - |3655 | 11k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
993.43/993.48 c 975s| 1430k|723361 | 0 | 0.0 |1157M|1862 | - |3655 | 12k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1000.82/1000.80 c 982s| 1440k|728318 | 0 | 0.0 |1166M|1862 | - |3655 | 13k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1010.22/1010.21 c 992s| 1450k|731531 | 0 | 0.0 |1174M|1862 | - |3655 | 16k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1017.82/1017.82 c 999s| 1460k|736790 | 0 | 0.0 |1180M|1862 | - |3655 | 11k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1023.62/1023.61 c 1005s| 1470k|743342 | 0 | 0.0 |1189M|1862 | - |3655 | 11k| 0 | 0 | 0 |1192k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1030.22/1030.27 c 1011s| 1480k|749146 | 0 | 0.0 |1198M|1862 | - |3655 | 12k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1037.33/1037.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.33/1037.37 c 1018s| 1490k|754551 | 0 | 0.0 |1207M|1862 | - |3655 | 12k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1045.13/1045.17 c 1026s| 1500k|759303 | 0 | 0.0 |1215M|1862 | - |3655 | 13k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1053.22/1053.26 c 1034s| 1510k|763732 | 0 | 0.0 |1224M|1862 | - |3655 | 14k| 0 | 0 | 0 |1219k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1062.32/1062.38 c 1043s| 1520k|767406 | 0 | 0.0 |1232M|1862 | - |3655 | 15k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1072.92/1072.99 c 1053s| 1530k|769964 | 0 | 0.0 |1239M|1862 | - |3655 | 17k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1081.22/1081.26 c 1062s| 1540k|774767 | 0 | 0.0 |1245M|1862 | - |3655 | 11k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1086.93/1086.92 c 1067s| 1550k|781335 | 0 | 0.0 |1253M|1862 | - |3655 | 12k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1094.02/1094.04 c 1074s| 1560k|786617 | 0 | 0.0 |1263M|1862 | - |3655 | 14k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1103.12/1103.11 c 1083s| 1570k|790370 | 0 | 0.0 |1271M|1862 | - |3655 | 14k| 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1110.72/1110.73 c 1090s| 1580k|795317 | 0 | 0.0 |1278M|1862 | - |3655 | 12k| 0 | 0 | 0 |1273k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1116.53/1116.60 c 1096s| 1590k|801698 | 0 | 0.0 |1286M|1862 | - |3655 | 12k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1122.33/1122.34 c 1102s| 1600k|808173 | 0 | 0.0 |1294M|1862 | - |3655 | 12k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1128.32/1128.38 c 1108s| 1610k|814325 | 0 | 0.0 |1303M|1862 | - |3655 | 12k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1135.02/1135.07 c 1114s| 1620k|819852 | 0 | 0.0 |1311M|1862 | - |3655 | 13k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1142.52/1142.50 c 1122s| 1630k|824806 | 0 | 0.0 |1319M|1862 | - |3655 | 14k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1150.73/1150.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.73/1150.73 c 1130s| 1640k|829047 | 0 | 0.0 |1328M|1862 | - |3655 | 14k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1159.93/1159.93 c 1139s| 1650k|832562 | 0 | 0.0 |1336M|1862 | - |3655 | 16k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1171.12/1171.18 c 1150s| 1660k|834369 | 0 | 0.0 |1342M|1862 | - |3655 | 19k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1175.92/1175.98 c 1155s| 1670k|841961 | 0 | 0.0 |1347M|1862 | - |3655 | 12k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1180.82/1180.89 c 1159s| 1680k|849127 | 0 | 0.0 |1355M|1862 | - |3655 | 12k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1185.93/1185.96 c 1164s| 1690k|856107 | 0 | 0.0 |1362M|1862 | - |3655 | 13k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1191.52/1191.58 c 1170s| 1700k|862609 | 0 | 0.0 |1369M|1862 | - |3655 | 14k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1199.33/1199.35 c 1177s| 1710k|867289 | 0 | 0.0 |1377M|1862 | - |3655 | 15k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1208.62/1208.60 c 1187s| 1720k|871091 | 0 | 0.0 |1381M|1862 | - |3655 |8205 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1212.63/1212.63 c 1191s| 1730k|878804 | 0 | 0.0 |1389M|1862 | - |3655 |8573 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
1213.93/1213.97 o 6
1213.93/1213.97 c *1192s| 1732k|879362 | 0 | 0.0 |1389M|1862 | - |3655 |9096 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1218.72/1218.71 c 1196s| 1740k|883790 | 0 | 0.0 |1395M|1862 | - |3655 |7864 | 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1223.23/1223.28 c 1201s| 1750k|890607 | 0 | 0.0 |1402M|1862 | - |3655 |7963 | 0 | 0 | 0 |1378k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1227.83/1227.85 c 1205s| 1760k|897460 | 0 | 0.0 |1409M|1862 | - |3655 |8132 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1232.33/1232.33 c 1210s| 1770k|904360 | 0 | 0.0 |1417M|1862 | - |3655 |8237 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1236.82/1236.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.82/1236.88 c 1214s| 1780k|911188 | 0 | 0.0 |1425M|1862 | - |3655 |8040 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1241.33/1241.36 c 1219s| 1790k|918096 | 0 | 0.0 |1432M|1862 | - |3655 |8133 | 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1245.82/1245.83 c 1223s| 1800k|925187 | 0 | 0.0 |1440M|1862 | - |3655 |8120 | 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1250.43/1250.43 c 1227s| 1810k|932145 | 0 | 0.0 |1447M|1862 | - |3655 |7616 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1256.02/1256.05 c 1233s| 1820k|937785 | 0 | 0.0 |1452M|1862 | - |3655 |9590 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1266.82/1266.88 c 1244s| 1830k|938946 | 0 | 0.0 |1457M|1862 | - |3655 | 11k| 0 | 0 | 0 |1421k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1279.13/1279.18 c 1256s| 1840k|939155 | 0 | 0.0 |1461M|1862 | - |3655 | 13k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1292.03/1292.01 c 1268s| 1850k|939201 | 0 | 0.0 |1466M|1862 | - |3655 | 14k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1305.62/1305.69 c 1282s| 1860k|938906 | 0 | 0.0 |1471M|1862 | - |3655 | 14k| 0 | 0 | 0 |1461k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1319.73/1319.73 c 1296s| 1870k|938475 | 0 | 0.0 |1475M|1862 | - |3655 | 14k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1334.43/1334.41 c 1310s| 1880k|937375 | 0 | 0.0 |1478M|1862 | - |3655 | 14k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1349.93/1349.95 c 1326s| 1890k|935455 | 0 | 0.0 |1478M|1862 | - |3655 | 15k| 0 | 0 | 0 |1504k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1365.83/1365.85 c 1342s| 1900k|933545 | 0 | 0.0 |1479M|1862 | - |3655 | 16k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1382.43/1382.42 c 1358s| 1910k|931058 | 0 | 0.0 |1480M|1862 | - |3655 | 17k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1398.33/1398.33 c 1374s| 1920k|928915 | 0 | 0.0 |1480M|1862 | - |3655 | 16k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1416.13/1416.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.13/1416.10 c 1391s| 1930k|925071 | 0 | 0.0 |1475M|1862 | - |3655 | 17k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1433.73/1433.77 c 1409s| 1940k|921237 | 0 | 0.0 |1471M|1862 | - |3655 | 18k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1452.83/1452.80 c 1428s| 1950k|916233 | 0 | 0.0 |1463M|1862 | - |3655 | 19k| 0 | 0 | 0 |1602k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1472.13/1472.11 c 1447s| 1960k|910619 | 0 | 0.0 |1454M|1862 | - |3655 | 21k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1493.44/1493.49 c 1468s| 1970k|903816 | 0 | 0.0 |1442M|1862 | - |3655 | 24k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1511.34/1511.36 c 1486s| 1980k|901064 | 0 | 0.0 |1426M|1862 | - |3655 |5193 | 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1516.63/1516.64 c 1491s| 1990k|907339 | 0 | 0.0 |1435M|1862 | - |3655 |5541 | 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1522.04/1522.04 c 1496s| 2000k|913378 | 0 | 0.0 |1443M|1862 | - |3655 |6182 | 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1527.53/1527.57 c 1502s| 2010k|919361 | 0 | 0.0 |1451M|1862 | - |3655 |6399 | 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1534.34/1534.30 c 1508s| 2020k|924263 | 0 | 0.0 |1460M|1862 | - |3655 |7161 | 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1541.34/1541.35 c 1515s| 2030k|928987 | 0 | 0.0 |1468M|1862 | - |3655 |8012 | 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1548.74/1548.70 c 1522s| 2040k|933535 | 0 | 0.0 |1476M|1862 | - |3655 |8969 | 0 | 0 | 0 |1695k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1556.53/1556.56 c 1530s| 2050k|937796 | 0 | 0.0 |1484M|1862 | - |3655 |9183 | 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1564.94/1564.94 c 1538s| 2060k|941605 | 0 | 0.0 |1491M|1862 | - |3655 |9025 | 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1573.54/1573.58 c 1547s| 2070k|945019 | 0 | 0.0 |1499M|1862 | - |3655 |9553 | 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1582.23/1582.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.23/1582.23 c 1555s| 2080k|948342 | 0 | 0.0 |1506M|1862 | - |3655 |9960 | 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1591.23/1591.22 c 1564s| 2090k|951459 | 0 | 0.0 |1514M|1862 | - |3655 | 10k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1601.24/1601.22 c 1574s| 2100k|953730 | 0 | 0.0 |1521M|1862 | - |3655 | 11k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1612.14/1612.11 c 1585s| 2110k|955329 | 0 | 0.0 |1527M|1862 | - |3655 | 11k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1623.83/1623.81 c 1596s| 2120k|956187 | 0 | 0.0 |1534M|1862 | - |3655 | 12k| 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1636.84/1636.82 c 1609s| 2130k|956164 | 0 | 0.0 |1539M|1862 | - |3655 | 12k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1650.44/1650.49 c 1623s| 2140k|955786 | 0 | 0.0 |1543M|1862 | - |3655 | 13k| 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1664.84/1664.80 c 1637s| 2150k|954876 | 0 | 0.0 |1546M|1862 | - |3655 | 13k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1680.64/1680.62 c 1652s| 2160k|953025 | 0 | 0.0 |1546M|1862 | - |3655 | 14k| 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1697.14/1697.17 c 1669s| 2170k|949175 | 0 | 0.0 |1539M|1862 | - |3655 | 12k| 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1704.54/1704.51 c 1676s| 2180k|954712 | 0 | 0.0 |1546M|1862 | - |3655 | 11k| 0 | 0 | 0 |1857k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1711.44/1711.41 c 1683s| 2190k|960509 | 0 | 0.0 |1554M|1862 | - |3655 | 11k| 0 | 0 | 0 |1863k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1717.84/1717.89 c 1689s| 2200k|966448 | 0 | 0.0 |1563M|1862 | - |3655 | 11k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1727.04/1727.04 c 1698s| 2210k|970382 | 0 | 0.0 |1572M|1862 | - |3655 | 13k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1737.14/1737.16 c 1708s| 2220k|973846 | 0 | 0.0 |1581M|1862 | - |3655 | 14k| 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1748.34/1748.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.34/1748.32 c 1719s| 2230k|976878 | 0 | 0.0 |1589M|1862 | - |3655 | 16k| 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1759.84/1759.80 c 1730s| 2240k|979926 | 0 | 0.0 |1599M|1862 | - |3655 | 17k| 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1772.94/1772.93 c 1743s| 2250k|982026 | 0 | 0.0 |1607M|1862 | - |3655 | 18k| 0 | 0 | 0 |1914k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1786.14/1786.16 c 1756s| 2260k|984179 | 0 | 0.0 |1615M|1862 | - |3655 | 18k| 0 | 0 | 0 |1925k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1770.10
1800.05/1800.00 c Solving Nodes : 2269246
1800.05/1800.00 c Primal Bound : +6.00000000000000e+00 (32 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.04 s SATISFIABLE
1800.05/1800.04 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.05/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.05/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.04 v -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147
1800.05/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.05/1800.04 v -x125 x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.04 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.05/1800.04 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.05/1800.04 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.05/1800.04 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.05/1800.04 v -x1
1800.05/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.04 c Solving Time : 1770.10
1800.05/1800.04 c Original Problem :
1800.05/1800.04 c Problem name : HOME/instance-2694109-1277905844.wbo
1800.05/1800.04 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.05/1800.04 c Constraints : 4485 initial, 4485 maximal
1800.05/1800.04 c Presolved Problem :
1800.05/1800.04 c Problem name : t_HOME/instance-2694109-1277905844.wbo
1800.05/1800.04 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.05/1800.04 c Constraints : 4329 initial, 28529 maximal
1800.05/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.04 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.05/1800.04 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.05/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.05/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c linear : 0.07 0 0 0 1789 0 91 76 0
1800.05/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.04 c root node : - 1612 - - 3224 - - - -
1800.05/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.04 c indicator : 1712 0 5647861 0 1436463 199 2192364 0 0 0
1800.05/1800.04 c setppc : 7 0 7799960 0 1810620 35831 3490428 0 0 0
1800.05/1800.04 c linear : 1712 0 7772539 0 1814985 366344 42765595 0 0 0
1800.05/1800.04 c logicor : 898+ 0 5141488 0 1815002 312056 8692619 0 0 0
1800.05/1800.04 c bounddisjunction : 0+ 0 397325 0 0 1 74 0 0 0
1800.05/1800.04 c countsols : 0 0 0 0 1814999 0 0 0 0 0
1800.05/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.04 c indicator : 18.32 0.00 8.68 0.00 9.64
1800.05/1800.04 c setppc : 20.02 0.00 17.71 0.00 2.31
1800.05/1800.04 c linear : 322.65 0.00 320.98 0.00 1.67
1800.05/1800.04 c logicor : 436.84 0.00 379.92 0.00 56.92
1800.05/1800.04 c bounddisjunction : 0.83 0.00 0.83 0.00 0.00
1800.05/1800.04 c countsols : 0.44 0.00 0.00 0.00 0.44
1800.05/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.04 c vbounds : 1.91 2 0 0
1800.05/1800.04 c rootredcost : 1.77 0 0 0
1800.05/1800.04 c pseudoobj : 261.66 7811394 2880 2152642
1800.05/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.04 c propagation : 33.93 717112 717104 3145105 18.4 121601 9.3 -
1800.05/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.04 c pseudo solution : 0.04 177 177 622 15.3 260 8.6 -
1800.05/1800.04 c applied globally : - - - 1936704 16.8 - - -
1800.05/1800.04 c applied locally : - - - 2 207.5 - - -
1800.05/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.04 c redcost : 0.00 0 0 0 0 0
1800.05/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.04 c intobj : 0.00 0 0 0 0 0
1800.05/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.04 c gomory : 0.00 0 0 0 0 0
1800.05/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.04 c cmir : 0.00 0 0 0 0 0
1800.05/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.04 c clique : 0.00 0 0 0 0 0
1800.05/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.04 c mcf : 0.00 0 0 0 0 0
1800.05/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.04 c Pricers : Time Calls Vars
1800.05/1800.04 c problem variables: 0.00 0 0
1800.05/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.04 c inference : 34.40 1814967 0 0 0 0 3629934
1800.05/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.04 c random : 0.00 0 0 0 0 0 0
1800.05/1800.04 c Primal Heuristics : Time Calls Found
1800.05/1800.04 c LP solutions : 0.00 - 0
1800.05/1800.04 c pseudo solutions : 0.09 - 32
1800.05/1800.04 c oneopt : 0.87 0 0
1800.05/1800.04 c trivial : 0.01 2 0
1800.05/1800.04 c simplerounding : 0.00 0 0
1800.05/1800.04 c zirounding : 0.00 0 0
1800.05/1800.04 c rounding : 0.00 0 0
1800.05/1800.04 c shifting : 0.00 0 0
1800.05/1800.04 c intshifting : 0.00 0 0
1800.05/1800.04 c twoopt : 0.00 0 0
1800.05/1800.04 c fixandinfer : 0.00 0 0
1800.05/1800.04 c feaspump : 0.00 0 0
1800.05/1800.04 c coefdiving : 0.00 0 0
1800.05/1800.04 c pscostdiving : 0.00 0 0
1800.05/1800.04 c fracdiving : 0.00 0 0
1800.05/1800.04 c veclendiving : 0.00 0 0
1800.05/1800.04 c intdiving : 0.00 0 0
1800.05/1800.04 c actconsdiving : 0.00 0 0
1800.05/1800.04 c objpscostdiving : 0.00 0 0
1800.05/1800.04 c rootsoldiving : 0.00 0 0
1800.05/1800.04 c linesearchdiving : 0.00 0 0
1800.05/1800.04 c guideddiving : 0.00 0 0
1800.05/1800.04 c octane : 0.00 0 0
1800.05/1800.04 c rens : 0.00 0 0
1800.05/1800.04 c rins : 0.00 0 0
1800.05/1800.04 c localbranching : 0.00 0 0
1800.05/1800.04 c mutation : 0.00 0 0
1800.05/1800.04 c crossover : 0.00 0 0
1800.05/1800.04 c dins : 0.00 0 0
1800.05/1800.04 c undercover : 0.00 0 0
1800.05/1800.04 c nlp : 0.51 0 0
1800.05/1800.04 c trysol : 0.49 1 0
1800.05/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.04 c (at root node) : - 0 0 0.00 -
1800.05/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.04 c B&B Tree :
1800.05/1800.04 c number of runs : 1
1800.05/1800.04 c nodes : 2269246
1800.05/1800.04 c nodes (total) : 2269246
1800.05/1800.04 c nodes left : 985309
1800.05/1800.04 c max depth : 1862
1800.05/1800.04 c max depth (total): 1862
1800.05/1800.04 c backtracks : 432336 (19.1%)
1800.05/1800.04 c delayed cutoffs : 353339
1800.05/1800.04 c repropagations : 1739322 (18008458 domain reductions, 263241 cutoffs)
1800.05/1800.04 c avg switch length: 35.71
1800.05/1800.04 c switching time : 519.32
1800.05/1800.04 c Solution :
1800.05/1800.04 c Solutions found : 32 (32 improvements)
1800.05/1800.04 c First Solution : +9.28000000000000e+02 (in run 1, after 8247 nodes, 2.21 seconds, depth 1352, found by <relaxation>)
1800.05/1800.04 c Primal Bound : +6.00000000000000e+00 (in run 1, after 1732274 nodes, 1191.81 seconds, depth 61, found by <relaxation>)
1800.05/1800.04 c Dual Bound : +0.00000000000000e+00
1800.05/1800.04 c Gap : infinite
1800.05/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.04 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-2694109-1277905844/watcher-2694109-1277905844 -o /tmp/evaluation-result-2694109-1277905844/solver-2694109-1277905844 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694109-1277905844.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.81 2.87 2.89 4/178 12971 /proc/meminfo: memFree=31278116/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=8412 CPUtime=0 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 1596 0 0 0 0 0 0 0 25 0 1 0 131879862 8613888 1519 4089446400 4194304 7136930 140735214670640 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12971/statm: 2103 1519 275 719 0 1382 0 [startup+0.104872 s] /proc/loadavg: 2.81 2.87 2.89 4/178 12971 /proc/meminfo: memFree=31278116/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=28732 CPUtime=0.09 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 7860 0 0 0 8 1 0 0 25 0 1 0 131879862 29421568 6401 4089446400 4194304 7136930 140735214670640 18446744073709551615 4914152 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 7183 6401 354 719 0 6462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28732 [startup+0.200856 s] /proc/loadavg: 2.81 2.87 2.89 4/178 12971 /proc/meminfo: memFree=31278116/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=29444 CPUtime=0.19 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 10373 0 0 0 18 1 0 0 25 0 1 0 131879862 30150656 6601 4089446400 4194304 7136930 140735214670640 18446744073709551615 4407804 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 7361 6601 391 719 0 6640 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29444 [startup+0.300838 s] /proc/loadavg: 2.81 2.87 2.89 4/178 12971 /proc/meminfo: memFree=31278116/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=29576 CPUtime=0.29 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 10417 0 0 0 27 2 0 0 25 0 1 0 131879862 30285824 6645 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 7394 6645 391 719 0 6673 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29576 [startup+0.700764 s] /proc/loadavg: 2.81 2.87 2.89 4/178 12971 /proc/meminfo: memFree=31278116/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=31736 CPUtime=0.69 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 10951 0 0 0 66 3 0 0 25 0 1 0 131879862 32497664 7179 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 7934 7179 395 719 0 7213 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31736 [startup+1.50062 s] /proc/loadavg: 2.81 2.87 2.89 3/179 12972 /proc/meminfo: memFree=31249092/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=34196 CPUtime=1.49 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 11597 0 0 0 144 5 0 0 25 0 1 0 131879862 35016704 7825 4089446400 4194304 7136930 140735214670640 18446744073709551615 4697099 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 8549 7825 395 719 0 7828 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34196 [startup+3.10034 s] /proc/loadavg: 2.81 2.87 2.89 3/179 12972 /proc/meminfo: memFree=31246736/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=37308 CPUtime=3.09 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 12378 0 0 0 299 10 0 0 25 0 1 0 131879862 38203392 8606 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 9327 8606 396 719 0 8606 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37308 [startup+6.30076 s] /proc/loadavg: 2.75 2.85 2.89 3/179 12972 /proc/meminfo: memFree=31235048/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=48476 CPUtime=6.29 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 15185 0 0 0 611 18 0 0 25 0 1 0 131879862 49639424 11413 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 12119 11413 396 719 0 11398 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48476 [startup+12.7006 s] /proc/loadavg: 2.69 2.84 2.88 3/179 12972 /proc/meminfo: memFree=31217924/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=66616 CPUtime=12.69 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 19711 0 0 0 1239 30 0 0 25 0 1 0 131879862 68214784 15939 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 16654 15939 398 719 0 15933 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66616 [startup+25.5003 s] /proc/loadavg: 2.53 2.80 2.87 3/179 12973 /proc/meminfo: memFree=31176596/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=106652 CPUtime=25.49 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 29487 0 0 0 2488 61 0 0 25 0 1 0 131879862 109211648 25715 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 26663 25715 398 719 0 25942 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 106652 [startup+51.1007 s] /proc/loadavg: 2.35 2.73 2.85 3/179 12974 /proc/meminfo: memFree=31121500/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=164716 CPUtime=51.09 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 43542 0 0 0 4987 122 0 0 25 0 1 0 131879862 168669184 39770 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 41179 39770 398 719 0 40458 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 164716 [startup+102.3 s] /proc/loadavg: 2.15 2.62 2.80 3/179 12975 /proc/meminfo: memFree=30994744/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=297600 CPUtime=102.3 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 74658 0 0 0 10005 225 0 0 25 0 1 0 131879862 304742400 70886 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 74400 70886 398 719 0 73679 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 297600 [startup+162.301 s] /proc/loadavg: 2.10 2.52 2.75 3/179 12976 /proc/meminfo: memFree=30892500/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=405120 CPUtime=162.3 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 100238 0 0 0 15876 354 0 0 25 0 1 0 131879862 414842880 96466 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 101280 96466 398 719 0 100559 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 405120 [startup+222.306 s] /proc/loadavg: 2.04 2.42 2.70 3/179 12978 /proc/meminfo: memFree=30793488/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=503376 CPUtime=222.3 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 124871 0 0 0 21750 480 0 0 25 0 1 0 131879862 515457024 121099 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 125844 121099 398 719 0 125123 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 503376 [startup+282.301 s] /proc/loadavg: 2.01 2.34 2.65 3/179 12980 /proc/meminfo: memFree=30715448/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=582336 CPUtime=282.29 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 144464 0 0 0 27653 576 0 0 25 0 1 0 131879862 596312064 140692 4089446400 4194304 7136930 140735214670640 18446744073709551615 4983716 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 145584 140692 398 719 0 144863 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 582336 [startup+342.301 s] /proc/loadavg: 2.00 2.28 2.61 3/179 12982 /proc/meminfo: memFree=30661836/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=633792 CPUtime=342.3 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 157437 0 0 0 33566 664 0 0 25 0 1 0 131879862 649003008 153665 4089446400 4194304 7136930 140735214670640 18446744073709551615 4999992 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 158448 153665 398 719 0 157727 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 633792 [startup+402.3 s] /proc/loadavg: 2.00 2.22 2.57 3/179 12983 /proc/meminfo: memFree=30629188/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=666976 CPUtime=402.3 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 165689 0 0 0 39493 737 0 0 25 0 1 0 131879862 682983424 161917 4089446400 4194304 7136930 140735214670640 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 166744 161917 398 719 0 166023 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 666976 [startup+462.3 s] /proc/loadavg: 2.00 2.18 2.53 3/179 12984 /proc/meminfo: memFree=30558836/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=739704 CPUtime=462.31 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 183246 0 0 0 45382 849 0 0 25 0 1 0 131879862 757456896 179474 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 184926 179474 398 719 0 184205 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 739704 [startup+522.301 s] /proc/loadavg: 2.00 2.14 2.50 3/179 12986 /proc/meminfo: memFree=30484268/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=819372 CPUtime=522.31 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 201824 0 0 0 51281 950 0 0 25 0 1 0 131879862 839036928 198052 4089446400 4194304 7136930 140735214670640 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 204843 198052 398 719 0 204122 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 819372 [startup+582.301 s] /proc/loadavg: 2.03 2.13 2.47 3/179 12988 /proc/meminfo: memFree=30414400/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=888796 CPUtime=582.3 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 219341 0 0 0 57162 1068 0 0 25 0 1 0 131879862 910127104 215569 4089446400 4194304 7136930 140735214670640 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12971/statm: 222199 215569 398 719 0 221478 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 888796 [startup+642.301 s] /proc/loadavg: 2.01 2.10 2.43 3/179 12999 /proc/meminfo: memFree=30348596/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=962336 CPUtime=642.31 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 235775 0 0 0 63050 1181 0 0 25 0 1 0 131879862 985432064 232003 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 240584 232003 398 719 0 239863 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 962336 [startup+702.301 s] ################ # More data... # ################ /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 349922 0 0 0 104288 1944 0 0 25 0 1 0 131879862 1449795584 346150 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 353954 346150 398 719 0 353233 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1415816 [startup+1122.3 s] /proc/loadavg: 1.99 2.01 2.24 3/179 13039 /proc/meminfo: memFree=29213900/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1479328 CPUtime=1122.33 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 365980 0 0 0 110183 2050 0 0 25 0 1 0 131879862 1514831872 362208 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 369832 362208 398 719 0 369111 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1479328 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 2.22 3/179 13041 /proc/meminfo: memFree=29103964/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1546312 CPUtime=1182.32 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 382720 0 0 0 116077 2155 0 0 25 0 1 0 131879862 1583423488 378948 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 386578 378948 398 719 0 385857 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1546312 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 2.21 3/179 13043 /proc/meminfo: memFree=28890256/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1626256 CPUtime=1242.32 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 402947 0 0 0 121945 2287 0 0 25 0 1 0 131879862 1665286144 399175 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 406564 399175 398 719 0 405843 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1626256 [startup+1302.3 s] /proc/loadavg: 1.99 2.00 2.19 3/179 13044 /proc/meminfo: memFree=28708172/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1660044 CPUtime=1302.33 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 411483 0 0 0 127867 2366 0 0 25 0 1 0 131879862 1699885056 407711 4089446400 4194304 7136930 140735214670640 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 415011 407711 398 719 0 414290 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1660044 [startup+1362.3 s] /proc/loadavg: 1.99 2.00 2.17 3/179 13045 /proc/meminfo: memFree=28563404/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1674696 CPUtime=1362.32 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 415051 0 0 0 133805 2427 0 0 25 0 1 0 131879862 1714888704 411279 4089446400 4194304 7136930 140735214670640 18446744073709551615 4679107 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 418674 411279 398 719 0 417953 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1674696 [startup+1422.3 s] /proc/loadavg: 1.99 2.00 2.16 3/179 13047 /proc/meminfo: memFree=28450384/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1675720 CPUtime=1422.33 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 415353 0 0 0 139755 2478 0 0 25 0 1 0 131879862 1715937280 411581 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 418930 411581 398 719 0 418209 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1675720 [startup+1482.3 s] /proc/loadavg: 1.99 2.00 2.15 3/179 13049 /proc/meminfo: memFree=28341224/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1676852 CPUtime=1482.34 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 415632 0 0 0 145704 2530 0 0 25 0 1 0 131879862 1717096448 411860 4089446400 4194304 7136930 140735214670640 18446744073709551615 4209664 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 419213 411860 398 719 0 418492 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1676852 [startup+1542.31 s] /proc/loadavg: 1.99 2.00 2.14 3/179 13051 /proc/meminfo: memFree=28217160/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1678752 CPUtime=1542.34 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 416093 0 0 0 151613 2621 0 0 25 0 1 0 131879862 1719042048 412321 4089446400 4194304 7136930 140735214670640 18446744073709551615 4947139 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 419688 412321 398 719 0 418967 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1678752 [startup+1602.3 s] /proc/loadavg: 1.99 2.00 2.13 3/179 13052 /proc/meminfo: memFree=28075264/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1717520 CPUtime=1602.33 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 425828 0 0 0 157513 2720 0 0 25 0 1 0 131879862 1758740480 422056 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 429380 422056 398 719 0 428659 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1717520 [startup+1662.3 s] /proc/loadavg: 1.99 2.00 2.12 3/179 13053 /proc/meminfo: memFree=27937680/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1743140 CPUtime=1662.34 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 432211 0 0 0 163436 2798 0 0 25 0 1 0 131879862 1784975360 428439 4089446400 4194304 7136930 140735214670640 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 435785 428439 398 719 0 435064 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1743140 [startup+1722.3 s] /proc/loadavg: 1.99 2.00 2.10 3/179 13055 /proc/meminfo: memFree=27812504/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1766480 CPUtime=1722.34 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 437714 0 0 0 169351 2883 0 0 25 0 1 0 131879862 1808875520 433942 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 441620 433942 398 719 0 440899 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1766480 [startup+1782.3 s] /proc/loadavg: 1.99 2.00 2.09 3/179 13057 /proc/meminfo: memFree=27682872/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1829232 CPUtime=1782.34 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 449249 0 0 0 175267 2967 0 0 25 0 1 0 131879862 1873133568 445477 4089446400 4194304 7136930 140735214670640 18446744073709551615 4679107 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 457308 445477 398 719 0 456587 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1829232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 2.00 2.09 3/179 13057 /proc/meminfo: memFree=27638344/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1839332 CPUtime=1800.05 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 451684 0 0 0 177012 2993 0 0 25 0 1 0 131879862 1883475968 447912 4089446400 4194304 7136930 140735214670640 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12971/statm: 459833 447912 398 719 0 459112 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1839332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12971 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.99 2.00 2.09 3/180 13058 /proc/meminfo: memFree=27637344/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1839332 CPUtime=1800.75 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 451699 0 0 0 177082 2993 0 0 25 0 1 0 131879862 1883475968 447927 4089446400 4194304 7136930 140735214670640 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12971/statm: 459833 447927 403 719 0 459112 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (KiB) 1839332 [startup+1801.5 s] /proc/loadavg: 1.99 2.00 2.09 3/180 13058 /proc/meminfo: memFree=27637344/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1839332 CPUtime=1801.55 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 451699 0 0 0 177162 2993 0 0 25 0 1 0 131879862 1883475968 447927 4089446400 4194304 7136930 140735214670640 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12971/statm: 459833 447927 403 719 0 459112 0 Current children cumulated CPU time (s) 1801.55 Current children cumulated vsize (KiB) 1839332 [startup+1801.91 s] /proc/loadavg: 1.99 2.00 2.09 3/180 13058 /proc/meminfo: memFree=27635856/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1838308 CPUtime=1801.95 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 451699 0 0 0 177202 2993 0 0 25 0 1 0 131879862 1882427392 447671 4089446400 4194304 7136930 140735214670640 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12971/statm: 459577 447671 403 719 0 458856 0 Current children cumulated CPU time (s) 1801.95 Current children cumulated vsize (KiB) 1838308 [startup+1802 s] /proc/loadavg: 1.99 2.00 2.09 3/180 13058 /proc/meminfo: memFree=27635856/32951124 swapFree=67111528/67111528 [pid=12971] ppid=12969 vsize=1837284 CPUtime=1802.05 /proc/12971/stat : 12971 (pbscip.linux.x8) R 12969 12971 12083 0 -1 4202496 451699 0 0 0 177212 2993 0 0 25 0 1 0 131879862 1881378816 447416 4089446400 4194304 7136930 140735214670640 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12971/statm: 459321 447416 403 719 0 458600 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1837284 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.12 CPU user time (s): 1772.13 CPU system time (s): 29.9874 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1839332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.13 system time used= 29.9874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451699 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= 4235 runsolver used 3.03054 second user time and 5.99509 second system time The end
Begin job on node137 at 2010-06-30 15:50:44 IDJOB=2694109 IDBENCH=78933 IDSOLVER=1206 FILE ID=node137/2694109-1277905844 PBS_JOBID= 11197239 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135--soft-33-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-2694109-1277905844/watcher-2694109-1277905844 -o /tmp/evaluation-result-2694109-1277905844/solver-2694109-1277905844 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694109-1277905844.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 98ba7b6540ae93cc2daebc624abceb03 RANDOM SEED=1195695366 node137.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.876 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.75 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.876 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.876 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.74 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.876 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.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.876 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.74 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.876 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: 32951124 kB MemFree: 31278512 kB Buffers: 190740 kB Cached: 1260808 kB SwapCached: 0 kB Active: 622688 kB Inactive: 907880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31278512 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 78944 kB Mapped: 15440 kB Slab: 79568 kB PageTables: 4796 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 226300 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node137 at 2010-06-30 16:20:46