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.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo |
| MD5SUM | a6a8a46a44ac0bf94795779c3ec9db34 |
| 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 | 396.548 |
| 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 | 669 |
| 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-2694111-1277905941.wbo>
0.02/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/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.02/0.05 c presolving:
0.02/0.06 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.02/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.09/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.13
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.18 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.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3655 |4329 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.16 o 661
1.09/1.16 c * 1.1s| 4018 | 3587 | 0 | 0.0 | 15M|1862 | - |3655 |4814 | 0 | 0 | 0 | 616 | 0 | 0.000000e+00 | 6.610000e+02 | Inf
1.19/1.21 o 557
1.19/1.21 c * 1.1s| 4178 | 3635 | 0 | 0.0 | 15M|1862 | - |3655 |4823 | 0 | 0 | 0 | 626 | 0 | 0.000000e+00 | 5.570000e+02 | Inf
1.39/1.48 o 545
1.39/1.48 c * 1.4s| 5049 | 4445 | 0 | 0.0 | 16M|1862 | - |3655 |4830 | 0 | 0 | 0 | 668 | 0 | 0.000000e+00 | 5.450000e+02 | Inf
1.49/1.53 o 482
1.49/1.53 c * 1.5s| 5189 | 4385 | 0 | 0.0 | 15M|1862 | - |3655 |4832 | 0 | 0 | 0 | 684 | 0 | 0.000000e+00 | 4.820000e+02 | Inf
1.59/1.67 o 438
1.59/1.67 c * 1.6s| 5696 | 4846 | 0 | 0.0 | 16M|1862 | - |3655 |4876 | 0 | 0 | 0 | 782 | 0 | 0.000000e+00 | 4.380000e+02 | Inf
1.59/1.67 o 342
1.59/1.67 c * 1.6s| 5697 | 4723 | 0 | 0.0 | 16M|1862 | - |3655 |4876 | 0 | 0 | 0 | 782 | 0 | 0.000000e+00 | 3.420000e+02 | Inf
2.69/2.79 c 2.7s| 10000 | 8518 | 0 | 0.0 | 20M|1862 | - |3655 |5833 | 0 | 0 | 0 |2798 | 0 | 0.000000e+00 | 3.420000e+02 | Inf
5.89/5.90 c 5.7s| 20000 | 15988 | 0 | 0.0 | 29M|1862 | - |3655 |7730 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.420000e+02 | Inf
6.60/6.67 o 329
6.60/6.67 c * 6.4s| 21443 | 16634 | 0 | 0.0 | 31M|1862 | - |3655 |8697 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 3.290000e+02 | Inf
6.69/6.72 o 255
6.69/6.72 c * 6.5s| 21554 | 16669 | 0 | 0.0 | 31M|1862 | - |3655 |8639 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
7.08/7.14 o 238
7.08/7.14 c * 6.9s| 22510 | 17566 | 0 | 0.0 | 31M|1862 | - |3655 |7934 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
7.89/8.00 o 233
7.89/8.00 c * 7.7s| 24282 | 18992 | 0 | 0.0 | 33M|1862 | - |3655 |7273 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
8.59/8.61 o 170
8.59/8.61 c * 8.3s| 25677 | 19903 | 0 | 0.0 | 33M|1862 | - |3655 |6875 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
8.59/8.62 o 155
8.59/8.62 c * 8.3s| 25678 | 19778 | 0 | 0.0 | 33M|1862 | - |3655 |6875 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.550000e+02 | Inf
8.59/8.66 o 147
8.59/8.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.59/8.66 c * 8.4s| 25771 | 19749 | 0 | 0.0 | 32M|1862 | - |3655 |6847 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
8.99/9.04 o 112
8.99/9.04 c * 8.7s| 26624 | 20104 | 0 | 0.0 | 33M|1862 | - |3655 |6727 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
8.99/9.04 o 104
8.99/9.04 c * 8.7s| 26625 | 20023 | 0 | 0.0 | 33M|1862 | - |3655 |6727 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
9.69/9.72 o 98
9.69/9.72 c * 9.4s| 27984 | 21111 | 0 | 0.0 | 35M|1862 | - |3655 |6590 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 9.800000e+01 | Inf
10.49/10.58 o 96
10.49/10.58 c *10.2s| 29551 | 22461 | 0 | 0.0 | 38M|1862 | - |3655 |6407 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
10.49/10.58 o 88
10.49/10.58 c *10.2s| 29552 | 22057 | 0 | 0.0 | 37M|1862 | - |3655 |6407 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
10.69/10.78 c 10.4s| 30000 | 22463 | 0 | 0.0 | 37M|1862 | - |3655 |6344 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
10.79/10.89 o 83
10.79/10.89 c *10.5s| 30239 | 22113 | 0 | 0.0 | 36M|1862 | - |3655 |6331 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 8.300000e+01 | Inf
14.09/14.13 o 48
14.09/14.13 c *13.7s| 37609 | 26428 | 0 | 0.0 | 40M|1862 | - |3655 |5915 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
14.39/14.47 o 38
14.39/14.47 c *14.0s| 38471 | 26674 | 0 | 0.0 | 40M|1862 | - |3655 |6245 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
14.99/15.05 c 14.6s| 40000 | 27941 | 0 | 0.0 | 42M|1862 | - |3655 |6763 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
16.09/16.10 o 23
16.09/16.10 c *15.6s| 42942 | 29325 | 0 | 0.0 | 43M|1862 | - |3655 |7099 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
18.49/18.59 c 18.0s| 50000 | 35259 | 0 | 0.0 | 50M|1862 | - |3655 |7656 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
21.89/21.91 c 21.2s| 60000 | 43542 | 0 | 0.0 | 58M|1862 | - |3655 |7256 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
25.19/25.29 c 24.5s| 70000 | 51487 | 0 | 0.0 | 67M|1862 | - |3655 |7788 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
28.79/28.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.79/28.88 c 28.0s| 80000 | 59235 | 0 | 0.0 | 75M|1862 | - |3655 |8394 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
32.49/32.50 c 31.5s| 90000 | 66856 | 0 | 0.0 | 84M|1862 | - |3655 |9284 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
36.39/36.40 c 35.3s|100000 | 74121 | 0 | 0.0 | 92M|1862 | - |3655 |9767 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
40.69/40.71 c 39.5s|110000 | 80973 | 0 | 0.0 | 101M|1862 | - |3655 | 10k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
45.39/45.42 c 44.1s|120000 | 87487 | 0 | 0.0 | 110M|1862 | - |3655 | 11k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
50.59/50.63 c 49.1s|130000 | 93589 | 0 | 0.0 | 119M|1862 | - |3655 | 11k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
56.19/56.28 c 54.7s|140000 | 99262 | 0 | 0.0 | 129M|1862 | - |3655 | 13k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
63.09/63.10 c 61.4s|150000 |104079 | 0 | 0.0 | 139M|1862 | - |3655 | 15k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
69.69/69.79 o 7
69.69/69.79 c *67.9s|157002 |105399 | 0 | 0.0 | 141M|1862 | - |3655 | 13k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
70.99/71.02 c 69.1s|160000 |107964 | 0 | 0.0 | 142M|1862 | - |3655 |7892 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
75.70/75.76 c 73.7s|170000 |115376 | 0 | 0.0 | 152M|1862 | - |3655 |9849 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
81.49/81.50 c 79.3s|180000 |121960 | 0 | 0.0 | 160M|1862 | - |3655 |8613 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
87.19/87.24 c 84.9s|190000 |128390 | 0 | 0.0 | 169M|1862 | - |3655 |9166 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
91.49/91.54 c 89.1s|200000 |136241 | 0 | 0.0 | 179M|1862 | - |3655 | 10k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
96.40/96.40 c 93.8s|210000 |143422 | 0 | 0.0 | 188M|1862 | - |3655 | 10k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
101.49/101.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.49/101.55 c 98.9s|220000 |150900 | 0 | 0.0 | 198M|1862 | - |3655 | 10k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
107.59/107.60 c 105s|230000 |157662 | 0 | 0.0 | 208M|1862 | - |3655 | 12k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
112.59/112.66 c 110s|240000 |164965 | 0 | 0.0 | 221M|1862 | - |3655 | 11k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
117.50/117.59 c 115s|250000 |171193 | 0 | 0.0 | 229M|1862 | - |3655 |9121 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
121.09/121.17 c 118s|260000 |179103 | 0 | 0.0 | 237M|1862 | - |3655 |9761 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
125.99/126.09 c 123s|270000 |185348 | 0 | 0.0 | 245M|1862 | - |3655 |8963 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
130.00/130.09 c 127s|280000 |192699 | 0 | 0.0 | 254M|1862 | - |3655 | 10k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
133.80/133.80 c 130s|290000 |200465 | 0 | 0.0 | 261M|1862 | - |3655 |8761 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
137.40/137.44 c 134s|300000 |208350 | 0 | 0.0 | 269M|1862 | - |3655 |9852 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
142.39/142.47 c 139s|310000 |214458 | 0 | 0.0 | 278M|1862 | - |3655 | 13k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
146.20/146.28 c 142s|320000 |222176 | 0 | 0.0 | 284M|1862 | - |3655 |9646 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
150.40/150.44 c 146s|330000 |229478 | 0 | 0.0 | 292M|1862 | - |3655 |9683 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
154.29/154.36 c 150s|340000 |237036 | 0 | 0.0 | 300M|1862 | - |3655 |9256 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
158.40/158.46 c 154s|350000 |244378 | 0 | 0.0 | 307M|1862 | - |3655 |9702 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
162.99/163.08 c 159s|360000 |251115 | 0 | 0.0 | 316M|1862 | - |3655 | 11k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
168.30/168.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.30/168.31 c 164s|370000 |257236 | 0 | 0.0 | 322M|1862 | - |3655 |9533 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
172.49/172.51 c 168s|380000 |264518 | 0 | 0.0 | 330M|1862 | - |3655 |9057 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
176.80/176.80 c 172s|390000 |271618 | 0 | 0.0 | 338M|1862 | - |3655 |9414 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
180.10/180.15 c 175s|400000 |279874 | 0 | 0.0 | 346M|1862 | - |3655 |9434 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
184.30/184.38 c 179s|410000 |286982 | 0 | 0.0 | 354M|1862 | - |3655 | 11k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
189.20/189.21 c 184s|420000 |293612 | 0 | 0.0 | 361M|1862 | - |3655 |9832 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
192.79/192.80 c 187s|430000 |301495 | 0 | 0.0 | 368M|1862 | - |3655 |9371 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
196.50/196.57 c 191s|440000 |309134 | 0 | 0.0 | 376M|1862 | - |3655 |9789 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
201.20/201.21 c 195s|450000 |315806 | 0 | 0.0 | 384M|1862 | - |3655 | 11k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
205.20/205.26 c 199s|460000 |323273 | 0 | 0.0 | 391M|1862 | - |3655 |9758 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
209.50/209.59 c 204s|470000 |330182 | 0 | 0.0 | 398M|1862 | - |3655 |6384 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
212.90/212.93 c 207s|480000 |338140 | 0 | 0.0 | 405M|1862 | - |3655 |5769 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
216.89/216.95 c 211s|490000 |345264 | 0 | 0.0 | 414M|1862 | - |3655 |6859 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
221.00/221.03 c 215s|500000 |352315 | 0 | 0.0 | 423M|1862 | - |3655 |7421 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
225.30/225.37 c 219s|510000 |359145 | 0 | 0.0 | 431M|1862 | - |3655 |8069 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
229.70/229.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.70/229.75 c 223s|520000 |365953 | 0 | 0.0 | 440M|1862 | - |3655 |8763 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
234.10/234.19 c 228s|530000 |372716 | 0 | 0.0 | 448M|1862 | - |3655 |9130 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
238.90/238.92 c 232s|540000 |379223 | 0 | 0.0 | 456M|1862 | - |3655 |9559 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
243.70/243.77 c 237s|550000 |385656 | 0 | 0.0 | 465M|1862 | - |3655 | 10k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
248.79/248.84 c 242s|560000 |391996 | 0 | 0.0 | 474M|1862 | - |3655 | 10k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
253.80/253.81 c 247s|570000 |398321 | 0 | 0.0 | 482M|1862 | - |3655 | 11k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
259.09/259.18 c 252s|580000 |404470 | 0 | 0.0 | 490M|1862 | - |3655 | 10k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
264.30/264.34 c 257s|590000 |410813 | 0 | 0.0 | 498M|1862 | - |3655 | 11k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
269.89/269.96 c 262s|600000 |416708 | 0 | 0.0 | 506M|1862 | - |3655 | 11k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
275.90/275.98 c 268s|610000 |422283 | 0 | 0.0 | 514M|1862 | - |3655 | 12k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
282.19/282.29 c 274s|620000 |427527 | 0 | 0.0 | 522M|1862 | - |3655 | 12k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
288.70/288.72 c 281s|630000 |432852 | 0 | 0.0 | 530M|1862 | - |3655 | 12k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
295.09/295.13 c 287s|640000 |438215 | 0 | 0.0 | 538M|1862 | - |3655 | 12k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
301.89/301.95 c 294s|650000 |443114 | 0 | 0.0 | 547M|1862 | - |3655 | 13k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
309.29/309.35 c 301s|660000 |447652 | 0 | 0.0 | 555M|1862 | - |3655 | 13k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
316.60/316.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.60/316.63 c 308s|670000 |452249 | 0 | 0.0 | 562M|1862 | - |3655 | 13k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
323.99/324.06 c 315s|680000 |456767 | 0 | 0.0 | 571M|1862 | - |3655 | 14k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
331.90/331.91 c 323s|690000 |460963 | 0 | 0.0 | 579M|1862 | - |3655 | 13k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
340.00/340.00 c 331s|700000 |464996 | 0 | 0.0 | 587M|1862 | - |3655 | 13k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
347.79/347.88 c 339s|710000 |469246 | 0 | 0.0 | 595M|1862 | - |3655 | 13k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
355.90/355.94 c 347s|720000 |473168 | 0 | 0.0 | 603M|1862 | - |3655 | 14k| 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
364.60/364.61 c 355s|730000 |476741 | 0 | 0.0 | 611M|1862 | - |3655 | 15k| 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
373.60/373.61 c 364s|740000 |480225 | 0 | 0.0 | 619M|1862 | - |3655 | 16k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
382.81/382.85 c 373s|750000 |483633 | 0 | 0.0 | 626M|1862 | - |3655 | 16k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
392.90/392.98 c 383s|760000 |486344 | 0 | 0.0 | 633M|1862 | - |3655 | 17k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
404.00/404.08 c 394s|770000 |488866 | 0 | 0.0 | 641M|1862 | - |3655 | 19k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
416.30/416.31 c 406s|780000 |491579 | 0 | 0.0 | 648M|1862 | - |3655 | 20k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
429.90/429.93 c 419s|790000 |493501 | 0 | 0.0 | 654M|1862 | - |3655 | 22k| 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
444.70/444.75 c 433s|800000 |495198 | 0 | 0.0 | 660M|1862 | - |3655 | 24k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
462.00/462.00 c 450s|810000 |496053 | 0 | 0.0 | 665M|1862 | - |3655 | 27k| 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
484.71/484.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.71/484.70 c 473s|820000 |494829 | 0 | 0.0 | 669M|1862 | - |3655 | 33k| 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
491.20/491.27 c 479s|830000 |502281 | 0 | 0.0 | 666M|1862 | - |3655 |5693 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
494.70/494.79 c 482s|840000 |510298 | 0 | 0.0 | 674M|1862 | - |3655 |6128 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
498.60/498.65 c 486s|850000 |517953 | 0 | 0.0 | 682M|1862 | - |3655 |7038 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
502.71/502.79 c 490s|860000 |525387 | 0 | 0.0 | 691M|1862 | - |3655 |7929 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
507.11/507.18 c 494s|870000 |532633 | 0 | 0.0 | 699M|1862 | - |3655 |8977 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
511.70/511.70 c 498s|880000 |539850 | 0 | 0.0 | 708M|1862 | - |3655 |9925 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
516.70/516.74 c 503s|890000 |546709 | 0 | 0.0 | 716M|1862 | - |3655 | 11k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
520.10/520.10 o 4
520.10/520.10 c * 506s|896105 |547885 | 0 | 0.0 | 716M|1862 | - |3655 | 12k| 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
522.61/522.62 c 508s|900000 |550349 | 0 | 0.0 | 720M|1862 | - |3655 | 12k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
529.40/529.45 c 515s|910000 |556147 | 0 | 0.0 | 730M|1862 | - |3655 | 15k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
537.70/537.77 c 523s|920000 |560920 | 0 | 0.0 | 738M|1862 | - |3655 | 17k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
547.60/547.70 c 532s|930000 |564803 | 0 | 0.0 | 746M|1862 | - |3655 | 20k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
558.90/558.93 c 543s|940000 |568658 | 0 | 0.0 | 749M|1862 | - |3655 | 10k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
562.50/562.59 c 546s|950000 |576674 | 0 | 0.0 | 755M|1862 | - |3655 |6677 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
566.30/566.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.30/566.40 c 550s|960000 |584346 | 0 | 0.0 | 763M|1862 | - |3655 |7293 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
570.30/570.35 c 554s|970000 |591856 | 0 | 0.0 | 771M|1862 | - |3655 |7932 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
574.51/574.52 c 557s|980000 |599100 | 0 | 0.0 | 779M|1862 | - |3655 |8588 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
579.11/579.11 c 562s|990000 |605995 | 0 | 0.0 | 788M|1862 | - |3655 |9440 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
583.50/583.59 o 2
583.50/583.59 c * 566s|998498 |598233 | 0 | 0.0 | 780M|1862 | - |3655 | 10k| 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
584.40/584.47 c 567s| 1000k|599234 | 0 | 0.0 | 782M|1862 | - |3655 | 10k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
591.51/591.54 c 573s| 1010k|604767 | 0 | 0.0 | 792M|1862 | - |3655 | 12k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
599.30/599.31 c 581s| 1020k|609841 | 0 | 0.0 | 800M|1862 | - |3655 | 13k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
608.90/608.96 c 590s| 1030k|613510 | 0 | 0.0 | 808M|1862 | - |3655 | 16k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
618.30/618.39 c 599s| 1040k|617839 | 0 | 0.0 | 812M|1862 | - |3655 |8875 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
622.20/622.23 c 603s| 1050k|625616 | 0 | 0.0 | 820M|1862 | - |3655 |8030 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
626.10/626.15 c 606s| 1060k|633224 | 0 | 0.0 | 828M|1862 | - |3655 |8525 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
630.21/630.20 c 610s| 1070k|640675 | 0 | 0.0 | 836M|1862 | - |3655 |9053 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
634.51/634.52 c 614s| 1080k|647822 | 0 | 0.0 | 844M|1862 | - |3655 |9828 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
639.50/639.58 c 619s| 1090k|654463 | 0 | 0.0 | 852M|1862 | - |3655 | 11k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
645.10/645.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.10/645.16 c 624s| 1100k|660688 | 0 | 0.0 | 860M|1862 | - |3655 | 12k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
651.61/651.61 c 630s| 1110k|666291 | 0 | 0.0 | 868M|1862 | - |3655 | 14k| 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
660.01/660.09 c 638s| 1120k|670505 | 0 | 0.0 | 877M|1862 | - |3655 | 17k| 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
671.11/671.13 c 649s| 1130k|673278 | 0 | 0.0 | 880M|1862 | - |3655 | 12k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
675.10/675.13 c 653s| 1140k|681146 | 0 | 0.0 | 887M|1862 | - |3655 |8853 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
679.10/679.16 c 657s| 1150k|688782 | 0 | 0.0 | 895M|1862 | - |3655 |9565 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
683.50/683.53 c 661s| 1160k|696093 | 0 | 0.0 | 904M|1862 | - |3655 | 10k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
688.10/688.17 c 665s| 1170k|703148 | 0 | 0.0 | 912M|1862 | - |3655 | 11k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
693.61/693.64 c 670s| 1180k|709609 | 0 | 0.0 | 921M|1862 | - |3655 | 12k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
699.80/699.89 c 676s| 1190k|715520 | 0 | 0.0 | 929M|1862 | - |3655 | 13k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
707.11/707.13 c 683s| 1200k|720806 | 0 | 0.0 | 937M|1862 | - |3655 | 14k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
714.41/714.46 c 690s| 1210k|725989 | 0 | 0.0 | 944M|1862 | - |3655 | 11k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
721.01/721.00 c 696s| 1220k|731519 | 0 | 0.0 | 951M|1862 | - |3655 | 10k| 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
726.80/726.88 c 702s| 1230k|737570 | 0 | 0.0 | 959M|1862 | - |3655 | 10k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
732.10/732.12 c 707s| 1240k|744237 | 0 | 0.0 | 966M|1862 | - |3655 | 10k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
737.31/737.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.31/737.39 c 711s| 1250k|750887 | 0 | 0.0 | 975M|1862 | - |3655 | 11k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
742.91/742.91 c 717s| 1260k|757385 | 0 | 0.0 | 983M|1862 | - |3655 | 11k| 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
749.01/749.03 c 722s| 1270k|763338 | 0 | 0.0 | 992M|1862 | - |3655 | 13k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
756.41/756.47 c 729s| 1280k|768359 | 0 | 0.0 |1000M|1862 | - |3655 | 14k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
766.11/766.18 c 739s| 1290k|771894 | 0 | 0.0 |1009M|1862 | - |3655 | 17k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
777.31/777.31 c 749s| 1300k|774985 | 0 | 0.0 |1013M|1862 | - |3655 | 13k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
781.51/781.52 c 753s| 1310k|782951 | 0 | 0.0 |1021M|1862 | - |3655 | 10k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
785.81/785.81 c 757s| 1320k|790618 | 0 | 0.0 |1030M|1862 | - |3655 | 10k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
790.41/790.41 c 761s| 1330k|797934 | 0 | 0.0 |1039M|1862 | - |3655 | 11k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
795.51/795.60 c 766s| 1340k|804817 | 0 | 0.0 |1048M|1862 | - |3655 | 12k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
801.10/801.19 c 771s| 1350k|811335 | 0 | 0.0 |1057M|1862 | - |3655 | 13k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
807.61/807.66 c 777s| 1360k|817206 | 0 | 0.0 |1067M|1862 | - |3655 | 14k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
814.91/814.96 c 784s| 1370k|822636 | 0 | 0.0 |1077M|1862 | - |3655 | 16k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
823.82/823.83 c 793s| 1380k|827195 | 0 | 0.0 |1088M|1862 | - |3655 | 18k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
834.92/834.96 c 803s| 1390k|830525 | 0 | 0.0 |1099M|1862 | - |3655 | 21k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
845.61/845.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.61/845.67 c 814s| 1400k|835103 | 0 | 0.0 |1106M|1862 | - |3655 | 17k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
850.51/850.52 c 818s| 1410k|843122 | 0 | 0.0 |1115M|1862 | - |3655 | 14k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
855.11/855.18 c 822s| 1420k|850989 | 0 | 0.0 |1125M|1862 | - |3655 | 14k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
860.31/860.37 c 827s| 1430k|858364 | 0 | 0.0 |1135M|1862 | - |3655 | 15k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
865.81/865.89 c 832s| 1440k|865561 | 0 | 0.0 |1146M|1862 | - |3655 | 16k| 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
871.81/871.85 c 838s| 1450k|872461 | 0 | 0.0 |1156M|1862 | - |3655 | 16k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
878.61/878.60 c 844s| 1460k|878850 | 0 | 0.0 |1167M|1862 | - |3655 | 17k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
886.81/886.86 c 852s| 1470k|884383 | 0 | 0.0 |1179M|1862 | - |3655 | 19k| 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
896.52/896.50 c 861s| 1480k|889129 | 0 | 0.0 |1191M|1862 | - |3655 | 20k| 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
907.61/907.62 c 872s| 1490k|893056 | 0 | 0.0 |1203M|1862 | - |3655 | 21k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.02/922.07 c 886s| 1500k|895233 | 0 | 0.0 |1213M|1862 | - |3655 | 24k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
929.61/929.68 c 893s| 1510k|902086 | 0 | 0.0 |1219M|1862 | - |3655 | 18k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
934.92/934.96 c 898s| 1520k|909973 | 0 | 0.0 |1228M|1862 | - |3655 | 17k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
940.31/940.31 c 903s| 1530k|917602 | 0 | 0.0 |1238M|1862 | - |3655 | 17k| 0 | 0 | 0 |1221k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.92/946.00 c 908s| 1540k|924980 | 0 | 0.0 |1249M|1862 | - |3655 | 17k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
952.31/952.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.31/952.36 c 914s| 1550k|931814 | 0 | 0.0 |1259M|1862 | - |3655 | 18k| 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
959.61/959.67 c 921s| 1560k|938157 | 0 | 0.0 |1270M|1862 | - |3655 | 20k| 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
967.62/967.64 c 929s| 1570k|944147 | 0 | 0.0 |1282M|1862 | - |3655 | 21k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
976.91/976.93 c 938s| 1580k|949311 | 0 | 0.0 |1293M|1862 | - |3655 | 22k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
987.62/987.64 c 948s| 1590k|953698 | 0 | 0.0 |1304M|1862 | - |3655 | 24k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1001.71/1001.71 c 961s| 1600k|956237 | 0 | 0.0 |1314M|1862 | - |3655 | 27k| 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1010.71/1010.77 c 970s| 1610k|962542 | 0 | 0.0 |1319M|1862 | - |3655 | 19k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1015.81/1015.82 c 975s| 1620k|970606 | 0 | 0.0 |1328M|1862 | - |3655 | 17k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1020.62/1020.60 c 979s| 1630k|978621 | 0 | 0.0 |1337M|1862 | - |3655 | 17k| 0 | 0 | 0 |1297k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1025.51/1025.59 c 984s| 1640k|986388 | 0 | 0.0 |1346M|1862 | - |3655 | 17k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1030.72/1030.71 c 988s| 1650k|993994 | 0 | 0.0 |1356M|1862 | - |3655 | 17k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1036.22/1036.24 c 994s| 1660k| 1001k| 0 | 0.0 |1366M|1862 | - |3655 | 18k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1041.82/1041.86 c 999s| 1670k| 1008k| 0 | 0.0 |1375M|1862 | - |3655 | 18k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1047.81/1047.82 c 1004s| 1680k| 1015k| 0 | 0.0 |1385M|1862 | - |3655 | 19k| 0 | 0 | 0 |1320k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1054.41/1054.45 c 1011s| 1690k| 1022k| 0 | 0.0 |1396M|1862 | - |3655 | 20k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.52/1061.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.52/1061.52 c 1017s| 1700k| 1029k| 0 | 0.0 |1406M|1862 | - |3655 | 20k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1069.32/1069.32 c 1025s| 1710k| 1035k| 0 | 0.0 |1417M|1862 | - |3655 | 22k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.62/1077.66 c 1033s| 1720k| 1041k| 0 | 0.0 |1428M|1862 | - |3655 | 23k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.01/1087.00 c 1042s| 1730k| 1046k| 0 | 0.0 |1438M|1862 | - |3655 | 24k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1096.42/1096.41 c 1051s| 1740k| 1052k| 0 | 0.0 |1449M|1862 | - |3655 | 25k| 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1108.01/1108.03 c 1062s| 1750k| 1056k| 0 | 0.0 |1459M|1862 | - |3655 | 27k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1121.32/1121.34 c 1075s| 1760k| 1060k| 0 | 0.0 |1469M|1862 | - |3655 | 29k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1136.91/1136.92 c 1090s| 1770k| 1063k| 0 | 0.0 |1479M|1862 | - |3655 | 31k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1160.71/1160.71 c 1113s| 1780k| 1063k| 0 | 0.0 |1486M|1862 | - |3655 | 38k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1168.91/1168.99 c 1121s| 1790k| 1070k| 0 | 0.0 |1489M|1862 | - |3655 | 22k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1174.92/1174.94 c 1126s| 1800k| 1078k| 0 | 0.0 |1498M|1862 | - |3655 | 21k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1181.22/1181.23 c 1132s| 1810k| 1086k| 0 | 0.0 |1507M|1862 | - |3655 | 22k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1187.93/1187.99 c 1139s| 1820k| 1093k| 0 | 0.0 |1516M|1862 | - |3655 | 23k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1195.22/1195.25 c 1146s| 1830k| 1099k| 0 | 0.0 |1526M|1862 | - |3655 | 24k| 0 | 0 | 0 |1439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.51/1203.57 c 1154s| 1840k| 1106k| 0 | 0.0 |1535M|1862 | - |3655 | 25k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1212.52/1212.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.52/1212.58 c 1162s| 1850k| 1112k| 0 | 0.0 |1544M|1862 | - |3655 | 26k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1222.03/1222.00 c 1171s| 1860k| 1117k| 0 | 0.0 |1553M|1862 | - |3655 | 26k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1231.22/1231.21 c 1180s| 1870k| 1123k| 0 | 0.0 |1562M|1862 | - |3655 | 25k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1240.52/1240.58 c 1189s| 1880k| 1129k| 0 | 0.0 |1571M|1862 | - |3655 | 25k| 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1249.72/1249.74 c 1198s| 1890k| 1135k| 0 | 0.0 |1579M|1862 | - |3655 | 25k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1258.82/1258.85 c 1206s| 1900k| 1141k| 0 | 0.0 |1589M|1862 | - |3655 | 25k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1267.62/1267.68 c 1215s| 1910k| 1148k| 0 | 0.0 |1598M|1862 | - |3655 | 25k| 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1277.22/1277.22 c 1224s| 1920k| 1154k| 0 | 0.0 |1607M|1862 | - |3655 | 25k| 0 | 0 | 0 |1502k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1286.32/1286.30 c 1233s| 1930k| 1160k| 0 | 0.0 |1616M|1862 | - |3655 | 25k| 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.43/1295.43 c 1241s| 1940k| 1166k| 0 | 0.0 |1625M|1862 | - |3655 | 25k| 0 | 0 | 0 |1516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1304.72/1304.76 c 1250s| 1950k| 1172k| 0 | 0.0 |1635M|1862 | - |3655 | 25k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1313.62/1313.66 c 1259s| 1960k| 1178k| 0 | 0.0 |1643M|1862 | - |3655 | 24k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1322.13/1322.10 c 1267s| 1970k| 1184k| 0 | 0.0 |1652M|1862 | - |3655 | 24k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.02/1331.09 c 1275s| 1980k| 1191k| 0 | 0.0 |1661M|1862 | - |3655 | 25k| 0 | 0 | 0 |1544k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1339.62/1339.69 c 1283s| 1990k| 1197k| 0 | 0.0 |1670M|1862 | - |3655 | 25k| 0 | 0 | 0 |1551k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1348.32/1348.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.32/1348.34 c 1292s| 2000k| 1203k| 0 | 0.0 |1679M|1862 | - |3655 | 25k| 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.63/1357.69 c 1301s| 2010k| 1209k| 0 | 0.0 |1689M|1862 | - |3655 | 26k| 0 | 0 | 0 |1564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1366.83/1366.89 c 1309s| 2020k| 1215k| 0 | 0.0 |1698M|1862 | - |3655 | 27k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1376.52/1376.50 c 1319s| 2030k| 1221k| 0 | 0.0 |1708M|1862 | - |3655 | 27k| 0 | 0 | 0 |1578k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1386.63/1386.64 c 1328s| 2040k| 1227k| 0 | 0.0 |1718M|1862 | - |3655 | 28k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1397.42/1397.42 c 1339s| 2050k| 1233k| 0 | 0.0 |1727M|1862 | - |3655 | 29k| 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1409.43/1409.41 c 1350s| 2060k| 1238k| 0 | 0.0 |1737M|1862 | - |3655 | 30k| 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1422.02/1422.06 c 1362s| 2070k| 1243k| 0 | 0.0 |1746M|1862 | - |3655 | 31k| 0 | 0 | 0 |1611k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1436.03/1436.09 c 1376s| 2080k| 1247k| 0 | 0.0 |1755M|1862 | - |3655 | 32k| 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1452.72/1452.74 c 1392s| 2090k| 1250k| 0 | 0.0 |1765M|1862 | - |3655 | 34k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1472.13/1472.18 c 1411s| 2100k| 1251k| 0 | 0.0 |1769M|1862 | - |3655 | 33k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1479.93/1479.91 c 1419s| 2110k| 1259k| 0 | 0.0 |1776M|1862 | - |3655 | 27k| 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.03/1487.01 c 1425s| 2120k| 1266k| 0 | 0.0 |1785M|1862 | - |3655 | 27k| 0 | 0 | 0 |1653k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1494.32/1494.36 c 1432s| 2130k| 1274k| 0 | 0.0 |1794M|1862 | - |3655 | 27k| 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1502.82/1502.86 c 1440s| 2140k| 1280k| 0 | 0.0 |1803M|1862 | - |3655 | 28k| 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1512.43/1512.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.43/1512.45 c 1450s| 2150k| 1286k| 0 | 0.0 |1813M|1862 | - |3655 | 29k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1524.43/1524.40 c 1461s| 2160k| 1290k| 0 | 0.0 |1823M|1862 | - |3655 | 32k| 0 | 0 | 0 |1680k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1539.03/1539.09 c 1475s| 2170k| 1294k| 0 | 0.0 |1830M|1862 | - |3655 | 31k| 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1546.12/1546.14 c 1482s| 2180k| 1302k| 0 | 0.0 |1837M|1862 | - |3655 | 27k| 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1553.13/1553.15 c 1489s| 2190k| 1310k| 0 | 0.0 |1845M|1862 | - |3655 | 27k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1560.63/1560.66 c 1496s| 2200k| 1317k| 0 | 0.0 |1853M|1862 | - |3655 | 27k| 0 | 0 | 0 |1703k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1569.03/1569.07 c 1504s| 2210k| 1323k| 0 | 0.0 |1862M|1862 | - |3655 | 28k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1579.43/1579.49 c 1514s| 2220k| 1329k| 0 | 0.0 |1872M|1862 | - |3655 | 30k| 0 | 0 | 0 |1716k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.63/1592.60 c 1527s| 2230k| 1333k| 0 | 0.0 |1881M|1862 | - |3655 | 33k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.43/1605.44 c 1539s| 2240k| 1338k| 0 | 0.0 |1887M|1862 | - |3655 | 31k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1612.33/1612.36 c 1545s| 2250k| 1346k| 0 | 0.0 |1894M|1862 | - |3655 | 27k| 0 | 0 | 0 |1738k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1618.93/1618.92 c 1552s| 2260k| 1354k| 0 | 0.0 |1902M|1862 | - |3655 | 26k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1625.62/1625.65 c 1558s| 2270k| 1361k| 0 | 0.0 |1911M|1862 | - |3655 | 26k| 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1632.83/1632.83 c 1565s| 2280k| 1368k| 0 | 0.0 |1920M|1862 | - |3655 | 26k| 0 | 0 | 0 |1751k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.23/1640.20 c 1572s| 2290k| 1375k| 0 | 0.0 |1929M|1862 | - |3655 | 26k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1647.83/1647.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.83/1647.86 c 1579s| 2300k| 1382k| 0 | 0.0 |1938M|1862 | - |3655 | 27k| 0 | 0 | 0 |1761k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1655.93/1655.97 c 1587s| 2310k| 1389k| 0 | 0.0 |1947M|1862 | - |3655 | 28k| 0 | 0 | 0 |1766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.43/1664.45 c 1595s| 2320k| 1395k| 0 | 0.0 |1955M|1862 | - |3655 | 28k| 0 | 0 | 0 |1772k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.53/1673.55 c 1604s| 2330k| 1401k| 0 | 0.0 |1964M|1862 | - |3655 | 29k| 0 | 0 | 0 |1778k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1683.13/1683.12 c 1613s| 2340k| 1408k| 0 | 0.0 |1973M|1862 | - |3655 | 29k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1693.63/1693.60 c 1623s| 2350k| 1413k| 0 | 0.0 |1981M|1862 | - |3655 | 31k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1704.14/1704.19 c 1633s| 2360k| 1419k| 0 | 0.0 |1989M|1862 | - |3655 | 32k| 0 | 0 | 0 |1799k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1716.63/1716.60 c 1645s| 2370k| 1424k| 0 | 0.0 |1998M|1862 | - |3655 | 33k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.13/1730.16 c 1658s| 2380k| 1429k| 0 | 0.0 |2007M|1862 | - |3655 | 35k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.53/1745.60 c 1673s| 2390k| 1433k| 0 | 0.0 |2015M|1862 | - |3655 | 37k| 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1762.64/1762.67 c 1690s| 2400k| 1437k| 0 | 0.0 |2023M|1862 | - |3655 | 40k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.53/1783.52 c 1710s| 2410k| 1438k| 0 | 0.0 |2031M|1862 | - |3655 | 45k| 0 | 0 | 0 |1853k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1792.43/1792.44 c 1719s| 2420k| 1446k| 0 | 0.0 |2036M|1862 | - |3655 | 33k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1799.93/1799.90 c 1726s| 2430k| 1454k| 0 | 0.0 |2044M|1862 | - |3655 | 31k| 0 | 0 | 0 |1860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1726.09
1800.04/1800.00 c Solving Nodes : 2430157
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (25 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/1800.03 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.04/1800.03 v -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.04/1800.03 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.03 v -x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.03 v -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.04/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.03 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.04/1800.03 v -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 x55 -x54
1800.04/1800.03 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.03 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 x3 -x2
1800.04/1800.03 v -x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1726.09
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2694111-1277905941.wbo
1800.04/1800.03 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.04/1800.03 c Constraints : 4485 initial, 4485 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2694111-1277905941.wbo
1800.04/1800.03 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.04/1800.03 c Constraints : 4329 initial, 46285 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.08 0 0 0 1789 0 91 76 0
1800.04/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1624 - - 3248 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 1712 0 5798249 0 1663585 32 2447694 0 0 0
1800.04/1800.03 c setppc : 7 0 7483945 0 2078723 32299 2534954 0 0 0
1800.04/1800.03 c linear : 1712 0 7482644 0 2083967 274890 32113915 0 0 0
1800.04/1800.03 c logicor : 898+ 0 4744244 0 2083977 261057 7194744 0 0 0
1800.04/1800.03 c bounddisjunction : 0+ 0 397697 0 0 0 20 0 0 0
1800.04/1800.03 c countsols : 0 0 0 0 2083977 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c indicator : 7.22 0.00 4.00 0.00 3.22
1800.04/1800.03 c setppc : 15.60 0.00 13.96 0.00 1.64
1800.04/1800.03 c linear : 263.07 0.00 261.07 0.00 2.00
1800.04/1800.03 c logicor : 517.47 0.00 462.47 0.00 55.00
1800.04/1800.03 c bounddisjunction : 0.38 0.00 0.38 0.00 0.00
1800.04/1800.03 c countsols : 0.13 0.00 0.00 0.00 0.13
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 0.54 2 0 0
1800.04/1800.03 c rootredcost : 0.39 0 0 0
1800.04/1800.03 c pseudoobj : 240.97 7515630 766 2439710
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 30.05 569012 568917 3086577 22.4 125879 8.7 -
1800.04/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.02 66 66 280 28.5 149 8.8 -
1800.04/1800.03 c applied globally : - - - 1860907 19.8 - - -
1800.04/1800.03 c applied locally : - - - 0 0.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.03 c redcost : 0.00 0 0 0 0 0
1800.04/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.00 0 0 0 0 0
1800.04/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.03 c cmir : 0.00 0 0 0 0 0
1800.04/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.03 c clique : 0.00 0 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 0 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 29.16 2083952 0 0 0 0 4167904
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.00 - 0
1800.04/1800.03 c pseudo solutions : 0.08 - 25
1800.04/1800.03 c oneopt : 0.45 0 0
1800.04/1800.03 c trivial : 0.00 2 0
1800.04/1800.03 c simplerounding : 0.00 0 0
1800.04/1800.03 c zirounding : 0.00 0 0
1800.04/1800.03 c rounding : 0.00 0 0
1800.04/1800.03 c shifting : 0.00 0 0
1800.04/1800.03 c intshifting : 0.00 0 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c feaspump : 0.00 0 0
1800.04/1800.03 c coefdiving : 0.00 0 0
1800.04/1800.03 c pscostdiving : 0.00 0 0
1800.04/1800.03 c fracdiving : 0.00 0 0
1800.04/1800.03 c veclendiving : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c objpscostdiving : 0.00 0 0
1800.04/1800.03 c rootsoldiving : 0.00 0 0
1800.04/1800.03 c linesearchdiving : 0.00 0 0
1800.04/1800.03 c guideddiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.00 0 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c crossover : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.12 0 0
1800.04/1800.03 c trysol : 0.10 1 0
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.03 c (at root node) : - 0 0 0.00 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 2430157
1800.04/1800.03 c nodes (total) : 2430157
1800.04/1800.03 c nodes left : 1454199
1800.04/1800.03 c max depth : 1862
1800.04/1800.03 c max depth (total): 1862
1800.04/1800.03 c backtracks : 311199 (12.8%)
1800.04/1800.03 c delayed cutoffs : 259644
1800.04/1800.03 c repropagations : 1116843 (13471237 domain reductions, 222930 cutoffs)
1800.04/1800.03 c avg switch length: 25.80
1800.04/1800.03 c switching time : 516.99
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 25 (25 improvements)
1800.04/1800.03 c First Solution : +6.61000000000000e+02 (in run 1, after 4018 nodes, 1.10 seconds, depth 406, found by <relaxation>)
1800.04/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 998498 nodes, 565.91 seconds, depth 304, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 0
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694111-1277905941/watcher-2694111-1277905941 -o /tmp/evaluation-result-2694111-1277905941/solver-2694111-1277905941 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694111-1277905941.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.00 2.00 2.00 3/178 13607 /proc/meminfo: memFree=31318936/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=8268 CPUtime=0 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 1549 0 0 0 0 0 0 0 25 0 1 0 131890915 8466432 1471 4089446400 4194304 7136930 140735212672784 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13607/statm: 2067 1471 275 719 0 1346 0 [startup+0.030701 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13607 /proc/meminfo: memFree=31318936/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=14812 CPUtime=0.02 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 3202 0 0 0 2 0 0 0 25 0 1 0 131890915 15167488 3124 4089446400 4194304 7136930 140735212672784 18446744073709551615 4240595 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/13607/statm: 3703 3124 275 719 0 2982 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14812 [startup+0.100688 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13607 /proc/meminfo: memFree=31318936/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=27708 CPUtime=0.09 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 7347 0 0 0 9 0 0 0 25 0 1 0 131890915 28372992 6144 4089446400 4194304 7136930 140735212672784 18446744073709551615 4936581 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13607/statm: 6927 6144 354 719 0 6206 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27708 [startup+0.300653 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13607 /proc/meminfo: memFree=31318936/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=29580 CPUtime=0.29 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 10418 0 0 0 28 1 0 0 25 0 1 0 131890915 30289920 6645 4089446400 4194304 7136930 140735212672784 18446744073709551615 4697011 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13607/statm: 7395 6645 391 719 0 6674 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29580 [startup+0.700582 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13607 /proc/meminfo: memFree=31318936/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=31740 CPUtime=0.69 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 10961 0 0 0 67 2 0 0 25 0 1 0 131890915 32501760 7188 4089446400 4194304 7136930 140735212672784 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13607/statm: 7935 7188 395 719 0 7214 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31740 [startup+1.50051 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13608 /proc/meminfo: memFree=31290656/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=33756 CPUtime=1.49 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 11483 0 0 0 145 4 0 0 25 0 1 0 131890915 34566144 7710 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 8439 7710 396 719 0 7718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33756 [startup+3.10022 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13608 /proc/meminfo: memFree=31287184/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=40108 CPUtime=3.09 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 13086 0 0 0 300 9 0 0 25 0 1 0 131890915 41070592 9313 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 10027 9313 396 719 0 9306 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40108 [startup+6.30066 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13608 /proc/meminfo: memFree=31271680/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=54520 CPUtime=6.29 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 16686 0 0 0 607 22 0 0 25 0 1 0 131890915 55828480 12913 4089446400 4194304 7136930 140735212672784 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 13630 12913 396 719 0 12909 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54520 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13608 /proc/meminfo: memFree=31250784/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=75320 CPUtime=12.69 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 21653 0 0 0 1232 37 0 0 25 0 1 0 131890915 77127680 17880 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 18830 17880 398 719 0 18109 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75320 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13609 /proc/meminfo: memFree=31212408/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=113312 CPUtime=25.49 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 31079 0 0 0 2470 79 0 0 25 0 1 0 131890915 116031488 27306 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 28328 27306 398 719 0 27607 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 113312 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13610 /proc/meminfo: memFree=31151788/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=176724 CPUtime=51.09 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 46538 0 0 0 4961 148 0 0 25 0 1 0 131890915 180965376 42765 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 44181 42765 398 719 0 43460 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 176724 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13611 /proc/meminfo: memFree=31061352/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=264636 CPUtime=102.3 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 68494 0 0 0 9961 269 0 0 25 0 1 0 131890915 270987264 64699 4089446400 4194304 7136930 140735212672784 18446744073709551615 4210635 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 66159 64699 398 719 0 65438 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 264636 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13612 /proc/meminfo: memFree=30935056/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=396960 CPUtime=162.29 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 100663 0 0 0 15784 445 0 0 25 0 1 0 131890915 406487040 96868 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 99240 96868 398 719 0 98519 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 396960 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13614 /proc/meminfo: memFree=30820684/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=509008 CPUtime=222.3 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 128971 0 0 0 21596 634 0 0 25 0 1 0 131890915 521224192 125176 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 127252 125176 398 719 0 126531 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 509008 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13616 /proc/meminfo: memFree=30715468/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=611232 CPUtime=282.29 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 154809 0 0 0 27443 786 0 0 25 0 1 0 131890915 625901568 151014 4089446400 4194304 7136930 140735212672784 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 152808 151014 398 719 0 152087 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 611232 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13618 /proc/meminfo: memFree=30645480/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=689592 CPUtime=342.3 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 172453 0 0 0 33335 895 0 0 25 0 1 0 131890915 706142208 168658 4089446400 4194304 7136930 140735212672784 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/13607/statm: 172398 168658 398 719 0 171677 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 689592 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 2/177 13620 /proc/meminfo: memFree=30714020/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=739016 CPUtime=402.3 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 184835 0 0 0 39234 996 0 0 25 0 1 0 131890915 756752384 181040 4089446400 4194304 7136930 140735212672784 18446744073709551615 4926194 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 184754 181040 398 719 0 184033 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 739016 [startup+462.301 s] /proc/loadavg: 1.97 1.98 1.99 3/197 13666 /proc/meminfo: memFree=30476012/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=763244 CPUtime=462.3 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 190785 0 0 0 45061 1169 0 0 25 0 1 0 131890915 781561856 186990 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 190811 186990 398 719 0 190090 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 763244 [startup+522.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 13677 /proc/meminfo: memFree=30390388/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=828472 CPUtime=522.3 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 207342 0 0 0 50782 1448 0 0 25 0 1 0 131890915 848355328 203547 4089446400 4194304 7136930 140735212672784 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 207118 203547 398 719 0 206397 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 828472 [startup+582.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 13679 /proc/meminfo: memFree=30303968/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=898416 CPUtime=582.31 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 224969 0 0 0 56475 1756 0 0 25 0 1 0 131890915 919977984 221174 4089446400 4194304 7136930 140735212672784 18446744073709551615 5958398 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 224604 221174 398 719 0 223883 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 898416 [startup+642.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 13681 /proc/meminfo: memFree=30224804/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=965680 CPUtime=642.31 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 241928 0 0 0 62150 2081 0 0 25 0 1 0 131890915 988856320 238133 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 241420 238133 398 719 0 240699 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 965680 [startup+702.301 s] ################ # More data... # ################ /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 357410 0 0 0 96187 4044 0 0 25 0 1 0 131890915 1459834880 353615 4089446400 4194304 7136930 140735212672784 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 356405 353615 398 719 0 355684 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1425620 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13691 /proc/meminfo: memFree=29608412/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1532896 CPUtime=1062.31 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 380323 0 0 0 101811 4420 0 0 25 0 1 0 131890915 1569685504 376528 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 383224 376528 398 719 0 382503 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1532896 [startup+1122.3 s] /proc/loadavg: 2.34 2.08 2.03 3/197 13693 /proc/meminfo: memFree=29535816/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1593328 CPUtime=1122.32 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 395616 0 0 0 107555 4677 0 0 25 0 1 0 131890915 1631567872 391821 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 398332 391821 398 719 0 397611 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1593328 [startup+1182.3 s] /proc/loadavg: 2.13 2.06 2.02 10/197 13695 /proc/meminfo: memFree=29486928/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1635476 CPUtime=1182.31 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 406126 0 0 0 113338 4893 0 0 25 0 1 0 131890915 1674727424 402331 4089446400 4194304 7136930 140735212672784 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 408869 402331 398 719 0 408148 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1635476 [startup+1242.3 s] /proc/loadavg: 2.11 2.06 2.02 3/197 13697 /proc/meminfo: memFree=29418924/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1696160 CPUtime=1242.32 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 421417 0 0 0 119056 5176 0 0 25 0 1 0 131890915 1736867840 417622 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 424040 417622 398 719 0 423319 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1696160 [startup+1302.3 s] /proc/loadavg: 2.04 2.05 2.01 3/197 13698 /proc/meminfo: memFree=29350796/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1756336 CPUtime=1302.33 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 436635 0 0 0 124785 5448 0 0 25 0 1 0 131890915 1798488064 432840 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 439084 432840 398 719 0 438363 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1756336 [startup+1362.3 s] /proc/loadavg: 2.01 2.04 2.01 3/197 13699 /proc/meminfo: memFree=29285156/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1819564 CPUtime=1362.32 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 452473 0 0 0 130507 5725 0 0 25 0 1 0 131890915 1863233536 448678 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 454891 448678 398 719 0 454170 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1819564 [startup+1422.31 s] /proc/loadavg: 2.04 2.04 2.01 3/197 13701 /proc/meminfo: memFree=29228200/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1869176 CPUtime=1422.33 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 464988 0 0 0 136271 5962 0 0 25 0 1 0 131890915 1914036224 461193 4089446400 4194304 7136930 140735212672784 18446744073709551615 4209090 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 467294 461193 398 719 0 466573 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1869176 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/197 13703 /proc/meminfo: memFree=29187104/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1905352 CPUtime=1482.33 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 473968 0 0 0 142079 6154 0 0 25 0 1 0 131890915 1951080448 470173 4089446400 4194304 7136930 140735212672784 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 476338 470173 398 719 0 475617 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1905352 [startup+1542.3 s] /proc/loadavg: 2.48 2.12 2.03 3/197 13705 /proc/meminfo: memFree=29132856/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=1955168 CPUtime=1542.33 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 486667 0 0 0 147835 6398 0 0 25 0 1 0 131890915 2002092032 482872 4089446400 4194304 7136930 140735212672784 18446744073709551615 4221238 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 488792 482872 398 719 0 488071 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1955168 [startup+1602.3 s] /proc/loadavg: 2.18 2.10 2.03 3/197 13706 /proc/meminfo: memFree=29084440/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2002468 CPUtime=1602.33 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 498670 0 0 0 153597 6636 0 0 25 0 1 0 131890915 2050527232 494875 4089446400 4194304 7136930 140735212672784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 500617 494875 398 719 0 499896 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2002468 [startup+1662.3 s] /proc/loadavg: 2.06 2.08 2.02 3/197 13707 /proc/meminfo: memFree=29014828/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2070636 CPUtime=1662.33 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 515972 0 0 0 159297 6936 0 0 25 0 1 0 131890915 2120331264 512177 4089446400 4194304 7136930 140735212672784 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 517659 512177 398 719 0 516938 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2070636 [startup+1722.3 s] /proc/loadavg: 2.02 2.06 2.01 3/197 13709 /proc/meminfo: memFree=28962324/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2122584 CPUtime=1722.33 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 529027 0 0 0 165073 7160 0 0 25 0 1 0 131890915 2173526016 525232 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 530646 525232 398 719 0 529925 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2122584 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 2.01 3/197 13711 /proc/meminfo: memFree=28925088/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2156400 CPUtime=1782.33 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 537336 0 0 0 170914 7319 0 0 25 0 1 0 131890915 2208153600 533541 4089446400 4194304 7136930 140735212672784 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 539100 533541 398 719 0 538379 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2156400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.07 2.06 2.01 3/197 13711 /proc/meminfo: memFree=28906844/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2172176 CPUtime=1800.04 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 541369 0 0 0 172611 7393 0 0 25 0 1 0 131890915 2224308224 537574 4089446400 4194304 7136930 140735212672784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/13607/statm: 543044 537574 398 719 0 542323 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 2172176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13607 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.07 2.06 2.01 3/198 13712 /proc/meminfo: memFree=28906588/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2172472 CPUtime=1801.44 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 541394 0 0 0 172751 7393 0 0 19 0 1 0 131890915 2224611328 537599 4089446400 4194304 7136930 140735212672784 18446744073709551615 6165674 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13607/statm: 543118 537599 403 719 0 542397 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2172472 [startup+1801.81 s] /proc/loadavg: 2.07 2.06 2.01 3/198 13712 /proc/meminfo: memFree=28906588/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2172472 CPUtime=1801.84 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 541394 0 0 0 172791 7393 0 0 20 0 1 0 131890915 2224611328 537599 4089446400 4194304 7136930 140735212672784 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13607/statm: 543118 537599 403 719 0 542397 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 2172472 [startup+1802 s] /proc/loadavg: 2.07 2.06 2.01 3/198 13712 /proc/meminfo: memFree=28906588/32950928 swapFree=67111528/67111528 [pid=13607] ppid=13605 vsize=2172472 CPUtime=1802.04 /proc/13607/stat : 13607 (pbscip.linux.x8) R 13605 13607 12656 0 -1 4202496 541394 0 0 0 172811 7393 0 0 21 0 1 0 131890915 2224611328 537599 4089446400 4194304 7136930 140735212672784 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/13607/statm: 543118 537599 403 719 0 542397 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2172472 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.12 CPU user time (s): 1728.12 CPU system time (s): 74.0058 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2172472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1728.12 system time used= 74.0057 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 541394 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= 3 involuntary context switches= 1240 runsolver used 3.36649 second user time and 6.28904 second system time The end
Begin job on node123 at 2010-06-30 15:52:21 IDJOB=2694111 IDBENCH=78934 IDSOLVER=1206 FILE ID=node123/2694111-1277905941 PBS_JOBID= 11197206 Free space on /tmp= 74204 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.1900567985--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-2694111-1277905941/watcher-2694111-1277905941 -o /tmp/evaluation-result-2694111-1277905941/solver-2694111-1277905941 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694111-1277905941.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a6a8a46a44ac0bf94795779c3ec9db34 RANDOM SEED=742566771 node123.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.804 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.60 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.804 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 : 5294.59 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.804 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.804 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.71 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.804 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.804 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31319588 kB Buffers: 193036 kB Cached: 1111844 kB SwapCached: 0 kB Active: 699732 kB Inactive: 788784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31319588 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3164 kB Writeback: 0 kB AnonPages: 183376 kB Mapped: 17420 kB Slab: 78736 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 326800 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node123 at 2010-06-30 16:22:23