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.1 | 1802.07 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo |
| MD5SUM | e85c5d1e36fd64db247bc5be7351d7af |
| 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 | 117.614 |
| 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 | 1785 |
| 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 | 88246 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 88245 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 705 |
| 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-2693576-1277911533.wbo>
0.00/0.03 c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 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.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.08/0.09 c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.09/0.10 c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.09/0.12 c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.13 c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.19 c (0.1s) probing: 101/1940 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (6 rounds):
0.09/0.19 c 152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.09/0.19 c 1937 implications, 11 cliques
0.09/0.19 c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.09/0.19 c 1709 constraints of type <indicator>
0.09/0.19 c 11 constraints of type <setppc>
0.09/0.19 c 1709 constraints of type <linear>
0.09/0.19 c 869 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.13
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 3420
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.09/0.19 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.19 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3649 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.96 o 897
1.89/1.96 c * 1.9s| 6376 | 5531 | 0 | 0.0 | 16M|1899 | - |3649 |4959 | 0 | 0 | 0 |1041 | 0 | 0.000000e+00 | 8.970000e+02 | Inf
2.09/2.11 o 895
2.09/2.11 c * 2.0s| 6743 | 5876 | 0 | 0.0 | 17M|1899 | - |3649 |4970 | 0 | 0 | 0 |1061 | 0 | 0.000000e+00 | 8.950000e+02 | Inf
2.89/2.98 c 2.9s| 10000 | 9021 | 0 | 0.0 | 18M|1899 | - |3649 |4890 | 0 | 0 | 0 |1394 | 0 | 0.000000e+00 | 8.950000e+02 | Inf
6.18/6.22 c 6.0s| 20000 | 17171 | 0 | 0.0 | 28M|1899 | - |3649 |6046 | 0 | 0 | 0 |7156 | 0 | 0.000000e+00 | 8.950000e+02 | Inf
10.39/10.41 c 10.1s| 30000 | 24107 | 0 | 0.0 | 37M|1899 | - |3649 |7155 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 8.950000e+02 | Inf
12.00/12.03 o 735
12.00/12.03 c *11.7s| 32390 | 23095 | 0 | 0.0 | 38M|1899 | - |3649 |7505 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.350000e+02 | Inf
12.28/12.36 o 347
12.28/12.36 c *12.0s| 33283 | 23259 | 0 | 0.0 | 38M|1899 | - |3649 |7341 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.470000e+02 | Inf
12.38/12.43 o 345
12.38/12.43 c *12.1s| 33420 | 23382 | 0 | 0.0 | 38M|1899 | - |3649 |7280 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.450000e+02 | Inf
12.38/12.43 o 344
12.38/12.43 c *12.1s| 33421 | 23378 | 0 | 0.0 | 38M|1899 | - |3649 |7280 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.440000e+02 | Inf
12.48/12.55 o 294
12.48/12.55 c *12.2s| 33697 | 23608 | 0 | 0.0 | 38M|1899 | - |3649 |7167 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.940000e+02 | Inf
12.58/12.63 o 236
12.58/12.63 c *12.3s| 33903 | 23580 | 0 | 0.0 | 38M|1899 | - |3649 |7099 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.360000e+02 | Inf
12.98/13.10 o 233
12.98/13.10 c *12.7s| 34851 | 24488 | 0 | 0.0 | 39M|1899 | - |3649 |6816 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
12.98/13.10 o 221
12.98/13.10 c *12.7s| 34852 | 24446 | 0 | 0.0 | 39M|1899 | - |3649 |6816 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
13.19/13.29 o 211
13.19/13.29 c *12.9s| 35220 | 24634 | 0 | 0.0 | 40M|1899 | - |3649 |6746 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
13.19/13.29 o 204
13.19/13.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.19/13.29 c *12.9s| 35221 | 24620 | 0 | 0.0 | 40M|1899 | - |3649 |6743 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.040000e+02 | Inf
13.69/13.73 o 199
13.69/13.73 c *13.3s| 36121 | 25470 | 0 | 0.0 | 40M|1899 | - |3649 |6732 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
13.98/14.01 o 192
13.98/14.01 c *13.6s| 36704 | 25958 | 0 | 0.0 | 41M|1899 | - |3649 |6787 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.920000e+02 | Inf
14.19/14.22 o 175
14.19/14.22 c *13.8s| 37121 | 25947 | 0 | 0.0 | 41M|1899 | - |3649 |6797 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
14.29/14.35 o 173
14.29/14.35 c *13.9s| 37392 | 26189 | 0 | 0.0 | 41M|1899 | - |3649 |6675 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.730000e+02 | Inf
14.48/14.59 o 165
14.48/14.59 c *14.2s| 37915 | 26639 | 0 | 0.0 | 41M|1899 | - |3649 |6542 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.650000e+02 | Inf
14.58/14.68 o 136
14.58/14.68 c *14.3s| 38110 | 26574 | 0 | 0.0 | 41M|1899 | - |3649 |6472 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
15.18/15.21 o 134
15.18/15.21 c *14.8s| 39189 | 27510 | 0 | 0.0 | 43M|1899 | - |3649 |6380 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.340000e+02 | Inf
15.18/15.24 o 133
15.18/15.24 c *14.8s| 39253 | 27558 | 0 | 0.0 | 43M|1899 | - |3649 |6380 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
15.59/15.61 c 15.2s| 40000 | 28242 | 0 | 0.0 | 44M|1899 | - |3649 |6353 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
16.09/16.17 o 126
16.09/16.17 c *15.7s| 41186 | 29193 | 0 | 0.0 | 45M|1899 | - |3649 |6307 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
16.09/16.17 o 107
16.09/16.17 c *15.7s| 41190 | 28828 | 0 | 0.0 | 44M|1899 | - |3649 |6307 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
16.39/16.42 o 104
16.39/16.42 c *16.0s| 41676 | 29220 | 0 | 0.0 | 44M|1899 | - |3649 |6352 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
16.39/16.42 o 103
16.39/16.42 c *16.0s| 41677 | 29175 | 0 | 0.0 | 44M|1899 | - |3649 |6352 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.030000e+02 | Inf
16.49/16.51 o 74
16.49/16.51 c *16.1s| 41851 | 27694 | 0 | 0.0 | 43M|1899 | - |3649 |6334 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
16.49/16.57 o 68
16.49/16.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.49/16.57 c *16.1s| 41975 | 27669 | 0 | 0.0 | 43M|1899 | - |3649 |6345 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
16.49/16.57 o 62
16.49/16.57 c *16.1s| 41976 | 27477 | 0 | 0.0 | 43M|1899 | - |3649 |6345 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
16.58/16.60 o 58
16.58/16.60 c *16.2s| 42030 | 27409 | 0 | 0.0 | 43M|1899 | - |3649 |6340 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 5.800000e+01 | Inf
16.58/16.61 o 32
16.58/16.61 c *16.2s| 42043 | 25393 | 0 | 0.0 | 42M|1899 | - |3649 |6342 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
16.58/16.61 o 26
16.58/16.61 c *16.2s| 42044 | 25100 | 0 | 0.0 | 42M|1899 | - |3649 |6342 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
16.58/16.63 o 11
16.58/16.63 c *16.2s| 42074 | 24587 | 0 | 0.0 | 42M|1899 | - |3649 |6334 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.100000e+01 | Inf
16.58/16.63 o 10
16.58/16.63 c *16.2s| 42075 | 24470 | 0 | 0.0 | 42M|1899 | - |3649 |6334 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
21.39/21.41 c 20.9s| 50000 | 30611 | 0 | 0.0 | 75M|1899 | - |3649 |7149 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
26.09/26.18 c 25.5s| 60000 | 38364 | 0 | 0.0 | 94M|1899 | - |3649 |5825 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
29.78/29.88 c 29.0s| 70000 | 46332 | 0 | 0.0 | 102M|1899 | - |3649 |5379 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
33.48/33.52 c 32.3s| 80000 | 53945 | 0 | 0.0 | 110M|1899 | - |3649 |5704 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
37.29/37.34 c 35.8s| 90000 | 61265 | 0 | 0.0 | 118M|1899 | - |3649 |6109 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
41.28/41.30 c 39.5s|100000 | 68416 | 0 | 0.0 | 127M|1899 | - |3649 |6377 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
45.88/45.98 c 43.9s|110000 | 74846 | 0 | 0.0 | 136M|1899 | - |3649 |6848 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
50.88/50.96 c 48.5s|120000 | 80977 | 0 | 0.0 | 145M|1899 | - |3649 |7179 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
56.38/56.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.38/56.40 c 53.6s|130000 | 86538 | 0 | 0.0 | 153M|1899 | - |3649 |7472 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
62.59/62.63 c 59.5s|140000 | 90062 | 0 | 0.0 | 162M|1899 | - |3649 |7865 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.68/70.77 c 67.1s|150000 | 87751 | 0 | 0.0 | 163M|1899 | - |3649 |7013 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
74.19/74.23 c 70.3s|160000 | 95983 | 0 | 0.0 | 170M|1899 | - |3649 |5131 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.58/79.62 c 75.3s|170000 |101685 | 0 | 0.0 | 180M|1899 | - |3649 |4570 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
84.08/84.12 c 79.4s|180000 |108602 | 0 | 0.0 | 189M|1899 | - |3649 |5781 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
88.48/88.50 c 83.4s|190000 |115582 | 0 | 0.0 | 198M|1899 | - |3649 |5605 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
92.88/92.94 c 87.5s|200000 |122629 | 0 | 0.0 | 206M|1899 | - |3649 |5460 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
97.59/97.69 c 91.9s|210000 |129294 | 0 | 0.0 | 215M|1899 | - |3649 |6843 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
101.68/101.72 c 95.6s|220000 |136848 | 0 | 0.0 | 222M|1899 | - |3649 |5385 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
105.28/105.36 c 98.9s|230000 |144854 | 0 | 0.0 | 230M|1899 | - |3649 |5713 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
109.09/109.15 c 102s|240000 |152614 | 0 | 0.0 | 238M|1899 | - |3649 |6052 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
113.59/113.63 c 106s|250000 |159637 | 0 | 0.0 | 246M|1899 | - |3649 |6689 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
118.48/118.51 c 111s|260000 |166321 | 0 | 0.0 | 255M|1899 | - |3649 |8270 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
123.09/123.14 c 115s|270000 |173288 | 0 | 0.0 | 263M|1899 | - |3649 |7247 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
127.58/127.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.58/127.63 c 120s|280000 |180277 | 0 | 0.0 | 271M|1899 | - |3649 |7182 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
131.68/131.71 c 123s|290000 |187591 | 0 | 0.0 | 279M|1899 | - |3649 |7145 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
135.58/135.69 c 127s|300000 |195050 | 0 | 0.0 | 286M|1899 | - |3649 |7479 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
139.59/139.62 c 131s|310000 |202622 | 0 | 0.0 | 294M|1899 | - |3649 |7706 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
143.99/144.08 c 135s|320000 |209637 | 0 | 0.0 | 302M|1899 | - |3649 |7636 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
147.49/147.53 c 138s|330000 |217734 | 0 | 0.0 | 309M|1899 | - |3649 |7743 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
152.29/152.36 c 143s|340000 |224110 | 0 | 0.0 | 317M|1899 | - |3649 |9925 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
155.79/155.84 c 146s|350000 |232356 | 0 | 0.0 | 324M|1899 | - |3649 |8780 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
161.18/161.22 c 151s|360000 |238285 | 0 | 0.0 | 333M|1899 | - |3649 | 11k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
166.49/166.50 c 156s|370000 |244825 | 0 | 0.0 | 341M|1899 | - |3649 | 11k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
171.49/171.54 c 161s|380000 |251698 | 0 | 0.0 | 349M|1899 | - |3649 | 10k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
176.38/176.42 c 165s|390000 |258561 | 0 | 0.0 | 356M|1899 | - |3649 |7476 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
179.68/179.72 c 168s|400000 |266830 | 0 | 0.0 | 363M|1899 | - |3649 |4900 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
183.69/183.76 c 172s|410000 |273912 | 0 | 0.0 | 371M|1899 | - |3649 |6472 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
188.19/188.27 c 176s|420000 |280682 | 0 | 0.0 | 379M|1899 | - |3649 |7827 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
193.49/193.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.49/193.52 c 181s|430000 |287002 | 0 | 0.0 | 388M|1899 | - |3649 |9175 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
199.49/199.55 c 187s|440000 |292843 | 0 | 0.0 | 397M|1899 | - |3649 | 10k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
206.58/206.60 c 194s|450000 |297955 | 0 | 0.0 | 406M|1899 | - |3649 | 11k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
214.29/214.36 c 201s|460000 |302659 | 0 | 0.0 | 415M|1899 | - |3649 | 12k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
222.49/222.53 c 209s|470000 |307028 | 0 | 0.0 | 423M|1899 | - |3649 | 12k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
231.08/231.15 c 217s|480000 |310963 | 0 | 0.0 | 431M|1899 | - |3649 | 13k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
239.69/239.74 c 226s|490000 |314890 | 0 | 0.0 | 440M|1899 | - |3649 | 13k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
248.68/248.78 c 234s|500000 |318449 | 0 | 0.0 | 448M|1899 | - |3649 | 13k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
258.28/258.34 c 244s|510000 |321354 | 0 | 0.0 | 456M|1899 | - |3649 | 13k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
268.39/268.43 c 253s|520000 |323633 | 0 | 0.0 | 463M|1899 | - |3649 | 13k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
278.39/278.41 c 263s|530000 |325921 | 0 | 0.0 | 470M|1899 | - |3649 | 13k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
288.59/288.63 c 273s|540000 |327347 | 0 | 0.0 | 476M|1899 | - |3649 | 13k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
299.39/299.47 c 283s|550000 |328467 | 0 | 0.0 | 482M|1899 | - |3649 | 14k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
310.99/311.06 c 295s|560000 |328629 | 0 | 0.0 | 487M|1899 | - |3649 | 14k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
322.78/322.85 c 306s|570000 |328600 | 0 | 0.0 | 492M|1899 | - |3649 | 15k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
335.89/335.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.89/335.90 c 319s|580000 |328156 | 0 | 0.0 | 495M|1899 | - |3649 | 15k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
350.49/350.50 c 333s|590000 |327185 | 0 | 0.0 | 498M|1899 | - |3649 | 16k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
365.59/365.66 c 348s|600000 |325785 | 0 | 0.0 | 497M|1899 | - |3649 | 17k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
370.09/370.15 c 352s|610000 |334011 | 0 | 0.0 | 501M|1899 | - |3649 |6060 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
373.79/373.89 c 355s|620000 |342078 | 0 | 0.0 | 509M|1899 | - |3649 |6223 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
377.69/377.72 c 359s|630000 |350031 | 0 | 0.0 | 517M|1899 | - |3649 |6505 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
381.60/381.70 c 362s|640000 |357774 | 0 | 0.0 | 525M|1899 | - |3649 |7097 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
386.29/386.33 c 367s|650000 |365036 | 0 | 0.0 | 534M|1899 | - |3649 |8046 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
391.19/391.23 c 371s|660000 |372039 | 0 | 0.0 | 543M|1899 | - |3649 |9074 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
396.49/396.54 c 376s|670000 |378783 | 0 | 0.0 | 552M|1899 | - |3649 |9871 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
402.39/402.43 c 382s|680000 |385039 | 0 | 0.0 | 560M|1899 | - |3649 | 10k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
408.99/409.08 c 388s|690000 |390835 | 0 | 0.0 | 569M|1899 | - |3649 | 12k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
417.19/417.26 o 2
417.19/417.26 c * 396s|699699 |377223 | 0 | 0.0 | 550M|1899 | - |3649 | 14k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
417.59/417.65 c 396s|700000 |377319 | 0 | 0.0 | 551M|1899 | - |3649 | 14k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
431.59/431.64 c 410s|710000 |379300 | 0 | 0.0 | 566M|1899 | - |3649 | 14k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
437.59/437.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.59/437.63 c 415s|720000 |386941 | 0 | 0.0 | 580M|1899 | - |3649 | 10k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
443.29/443.39 c 421s|730000 |394061 | 0 | 0.0 | 596M|1899 | - |3649 | 10k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
449.59/449.66 c 427s|740000 |400797 | 0 | 0.0 | 612M|1899 | - |3649 | 11k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
458.09/458.18 c 435s|750000 |406047 | 0 | 0.0 | 633M|1899 | - |3649 | 12k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
468.69/468.70 c 445s|760000 |409829 | 0 | 0.0 | 654M|1899 | - |3649 | 15k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
480.79/480.90 c 456s|770000 |412540 | 0 | 0.0 | 673M|1899 | - |3649 | 18k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
490.99/491.09 c 466s|780000 |417381 | 0 | 0.0 | 688M|1899 | - |3649 | 16k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
498.69/498.70 c 473s|790000 |423588 | 0 | 0.0 | 705M|1899 | - |3649 | 15k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
506.70/506.71 c 481s|800000 |429223 | 0 | 0.0 | 724M|1899 | - |3649 | 16k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
515.39/515.50 c 489s|810000 |433415 | 0 | 0.0 | 735M|1899 | - |3649 | 12k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
523.89/523.93 c 497s|820000 |436826 | 0 | 0.0 | 742M|1899 | - |3649 | 12k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
531.09/531.10 c 504s|830000 |441327 | 0 | 0.0 | 749M|1899 | - |3649 |9589 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.80/536.80 c 509s|840000 |447098 | 0 | 0.0 | 757M|1899 | - |3649 |9835 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
541.59/541.69 c 513s|850000 |453751 | 0 | 0.0 | 764M|1899 | - |3649 |9801 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
546.70/546.73 c 518s|860000 |460208 | 0 | 0.0 | 772M|1899 | - |3649 |9787 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
551.69/551.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.69/551.75 c 523s|870000 |466691 | 0 | 0.0 | 779M|1899 | - |3649 |9896 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
556.89/556.91 c 527s|880000 |473074 | 0 | 0.0 | 787M|1899 | - |3649 | 10k| 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
562.59/562.60 c 533s|890000 |478985 | 0 | 0.0 | 795M|1899 | - |3649 | 10k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
569.09/569.17 c 539s|900000 |484008 | 0 | 0.0 | 803M|1899 | - |3649 | 11k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
577.19/577.22 c 546s|910000 |487695 | 0 | 0.0 | 811M|1899 | - |3649 | 13k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
586.90/586.90 c 556s|920000 |490023 | 0 | 0.0 | 818M|1899 | - |3649 | 15k| 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
594.89/594.93 c 563s|930000 |494454 | 0 | 0.0 | 823M|1899 | - |3649 | 10k| 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
599.29/599.35 c 567s|940000 |501737 | 0 | 0.0 | 831M|1899 | - |3649 |9165 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
603.59/603.62 c 571s|950000 |508976 | 0 | 0.0 | 838M|1899 | - |3649 |9059 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
607.89/607.92 c 575s|960000 |516093 | 0 | 0.0 | 846M|1899 | - |3649 |9317 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
612.49/612.54 c 579s|970000 |522840 | 0 | 0.0 | 854M|1899 | - |3649 |9565 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
618.10/618.13 c 585s|980000 |528822 | 0 | 0.0 | 863M|1899 | - |3649 | 10k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
624.20/624.27 c 590s|990000 |534365 | 0 | 0.0 | 871M|1899 | - |3649 | 10k| 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
630.59/630.64 c 596s| 1000k|539720 | 0 | 0.0 | 880M|1899 | - |3649 | 11k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
637.20/637.23 c 603s| 1010k|544917 | 0 | 0.0 | 888M|1899 | - |3649 | 11k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
643.80/643.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.80/643.84 c 609s| 1020k|550031 | 0 | 0.0 | 896M|1899 | - |3649 | 11k| 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
650.29/650.34 c 615s| 1030k|555249 | 0 | 0.0 | 904M|1899 | - |3649 | 11k| 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
656.80/656.80 c 621s| 1040k|560376 | 0 | 0.0 | 912M|1899 | - |3649 | 11k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
663.40/663.42 c 627s| 1050k|565332 | 0 | 0.0 | 919M|1899 | - |3649 | 11k| 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
670.39/670.41 c 634s| 1060k|569891 | 0 | 0.0 | 927M|1899 | - |3649 | 11k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
677.29/677.34 c 640s| 1070k|574536 | 0 | 0.0 | 935M|1899 | - |3649 | 11k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
684.60/684.63 c 647s| 1080k|578825 | 0 | 0.0 | 942M|1899 | - |3649 | 11k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
692.00/692.05 c 654s| 1090k|583114 | 0 | 0.0 | 949M|1899 | - |3649 | 11k| 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
699.40/699.48 c 661s| 1100k|587363 | 0 | 0.0 | 957M|1899 | - |3649 | 12k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
707.00/707.04 c 668s| 1110k|591678 | 0 | 0.0 | 964M|1899 | - |3649 | 12k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
714.40/714.45 c 675s| 1120k|596298 | 0 | 0.0 | 972M|1899 | - |3649 | 13k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
722.70/722.77 c 683s| 1130k|600111 | 0 | 0.0 | 979M|1899 | - |3649 | 13k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
730.60/730.69 c 691s| 1140k|604450 | 0 | 0.0 | 987M|1899 | - |3649 | 14k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
740.20/740.22 c 700s| 1150k|607464 | 0 | 0.0 | 995M|1899 | - |3649 | 16k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
751.70/751.79 c 711s| 1160k|609058 | 0 | 0.0 |1002M|1899 | - |3649 | 18k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
759.70/759.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.70/759.72 c 718s| 1170k|614027 | 0 | 0.0 |1006M|1899 | - |3649 | 11k| 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
764.20/764.28 c 723s| 1180k|621204 | 0 | 0.0 |1013M|1899 | - |3649 | 10k| 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
769.00/769.09 c 727s| 1190k|628079 | 0 | 0.0 |1021M|1899 | - |3649 | 11k| 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
775.60/775.66 c 733s| 1200k|633319 | 0 | 0.0 |1030M|1899 | - |3649 | 13k| 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
783.70/783.71 c 741s| 1210k|637298 | 0 | 0.0 |1040M|1899 | - |3649 | 15k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.70/794.72 c 751s| 1220k|638848 | 0 | 0.0 |1048M|1899 | - |3649 | 19k| 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
800.20/800.25 c 757s| 1230k|645800 | 0 | 0.0 |1053M|1899 | - |3649 | 10k| 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
805.00/805.00 c 761s| 1240k|652837 | 0 | 0.0 |1060M|1899 | - |3649 | 11k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.71/810.75 c 766s| 1250k|658825 | 0 | 0.0 |1069M|1899 | - |3649 | 13k| 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
817.60/817.68 c 773s| 1260k|663786 | 0 | 0.0 |1078M|1899 | - |3649 | 14k| 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
825.70/825.79 c 781s| 1270k|667791 | 0 | 0.0 |1087M|1899 | - |3649 | 16k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
837.20/837.27 c 792s| 1280k|669232 | 0 | 0.0 |1094M|1899 | - |3649 | 20k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
842.50/842.53 c 797s| 1290k|676409 | 0 | 0.0 |1098M|1899 | - |3649 | 11k| 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
847.30/847.36 c 801s| 1300k|683310 | 0 | 0.0 |1107M|1899 | - |3649 | 11k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.70/852.75 c 806s| 1310k|689639 | 0 | 0.0 |1115M|1899 | - |3649 | 12k| 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
859.70/859.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
859.70/859.72 c 813s| 1320k|694965 | 0 | 0.0 |1123M|1899 | - |3649 | 14k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
868.70/868.76 c 821s| 1330k|698865 | 0 | 0.0 |1132M|1899 | - |3649 | 16k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.10/880.18 c 832s| 1340k|700978 | 0 | 0.0 |1141M|1899 | - |3649 | 18k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
888.41/888.46 c 840s| 1350k|706209 | 0 | 0.0 |1145M|1899 | - |3649 | 11k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.40/893.45 c 845s| 1360k|713284 | 0 | 0.0 |1152M|1899 | - |3649 | 11k| 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.01/899.02 c 850s| 1370k|719775 | 0 | 0.0 |1161M|1899 | - |3649 | 12k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.20/906.28 c 857s| 1380k|724851 | 0 | 0.0 |1170M|1899 | - |3649 | 14k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
914.90/914.93 c 865s| 1390k|729088 | 0 | 0.0 |1177M|1899 | - |3649 | 15k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
923.60/923.64 c 874s| 1400k|733155 | 0 | 0.0 |1184M|1899 | - |3649 | 13k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.40/930.43 c 880s| 1410k|738606 | 0 | 0.0 |1191M|1899 | - |3649 | 12k| 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
936.01/936.05 c 885s| 1420k|745048 | 0 | 0.0 |1198M|1899 | - |3649 | 12k| 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
941.80/941.82 c 891s| 1430k|751353 | 0 | 0.0 |1206M|1899 | - |3649 | 13k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
948.91/948.91 c 897s| 1440k|756652 | 0 | 0.0 |1214M|1899 | - |3649 | 15k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
959.11/959.14 c 907s| 1450k|759667 | 0 | 0.0 |1221M|1899 | - |3649 | 16k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
964.11/964.20 c 912s| 1460k|767192 | 0 | 0.0 |1227M|1899 | - |3649 | 10k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.20/969.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.20/969.23 c 917s| 1470k|774280 | 0 | 0.0 |1235M|1899 | - |3649 | 11k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
974.51/974.59 c 922s| 1480k|781035 | 0 | 0.0 |1244M|1899 | - |3649 | 11k| 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
980.11/980.16 c 927s| 1490k|787640 | 0 | 0.0 |1252M|1899 | - |3649 | 12k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
986.01/986.03 c 932s| 1500k|794004 | 0 | 0.0 |1260M|1899 | - |3649 | 13k| 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
992.40/992.41 c 938s| 1510k|800053 | 0 | 0.0 |1268M|1899 | - |3649 | 13k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
999.70/999.73 c 945s| 1520k|805393 | 0 | 0.0 |1276M|1899 | - |3649 | 14k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1008.21/1008.23 c 953s| 1530k|809852 | 0 | 0.0 |1285M|1899 | - |3649 | 16k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1018.00/1018.04 c 963s| 1540k|813511 | 0 | 0.0 |1293M|1899 | - |3649 | 17k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1029.40/1029.47 c 974s| 1550k|816112 | 0 | 0.0 |1301M|1899 | - |3649 | 19k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1041.61/1041.65 c 985s| 1560k|818580 | 0 | 0.0 |1305M|1899 | - |3649 | 16k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1046.41/1046.41 c 990s| 1570k|826272 | 0 | 0.0 |1311M|1899 | - |3649 | 10k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1051.01/1051.09 c 994s| 1580k|833626 | 0 | 0.0 |1319M|1899 | - |3649 | 10k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1056.11/1056.19 c 999s| 1590k|840579 | 0 | 0.0 |1327M|1899 | - |3649 | 11k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1061.71/1061.76 c 1004s| 1600k|847097 | 0 | 0.0 |1336M|1899 | - |3649 | 11k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1067.51/1067.55 c 1010s| 1610k|853395 | 0 | 0.0 |1344M|1899 | - |3649 | 12k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1073.41/1073.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.41/1073.47 c 1015s| 1620k|859630 | 0 | 0.0 |1353M|1899 | - |3649 | 13k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1079.90/1079.94 c 1021s| 1630k|865467 | 0 | 0.0 |1361M|1899 | - |3649 | 14k| 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.00/1087.04 c 1028s| 1640k|870858 | 0 | 0.0 |1369M|1899 | - |3649 | 15k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1094.71/1094.77 c 1035s| 1650k|875815 | 0 | 0.0 |1377M|1899 | - |3649 | 16k| 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1103.41/1103.45 c 1043s| 1660k|880126 | 0 | 0.0 |1385M|1899 | - |3649 | 17k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.41/1113.46 c 1053s| 1670k|883568 | 0 | 0.0 |1393M|1899 | - |3649 | 19k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1127.21/1127.20 c 1066s| 1680k|884742 | 0 | 0.0 |1398M|1899 | - |3649 | 21k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.12/1135.20 c 1074s| 1690k|890537 | 0 | 0.0 |1402M|1899 | - |3649 | 12k| 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1140.30/1140.38 c 1079s| 1700k|897648 | 0 | 0.0 |1410M|1899 | - |3649 | 11k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1145.51/1145.57 c 1084s| 1710k|904317 | 0 | 0.0 |1418M|1899 | - |3649 | 13k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.31/1151.39 c 1089s| 1720k|910291 | 0 | 0.0 |1425M|1899 | - |3649 | 14k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1160.61/1160.60 c 1098s| 1730k|913343 | 0 | 0.0 |1433M|1899 | - |3649 | 19k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.02/1167.07 c 1104s| 1740k|919617 | 0 | 0.0 |1439M|1899 | - |3649 | 12k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1171.71/1171.78 c 1108s| 1750k|926787 | 0 | 0.0 |1446M|1899 | - |3649 | 12k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1176.91/1176.94 c 1113s| 1760k|933343 | 0 | 0.0 |1454M|1899 | - |3649 | 13k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1184.11/1184.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.11/1184.11 c 1120s| 1770k|938148 | 0 | 0.0 |1463M|1899 | - |3649 | 15k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1194.11/1194.15 c 1129s| 1780k|940487 | 0 | 0.0 |1471M|1899 | - |3649 | 21k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1199.10/1199.11 c 1134s| 1790k|948124 | 0 | 0.0 |1477M|1899 | - |3649 | 12k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.71/1203.78 c 1138s| 1800k|955177 | 0 | 0.0 |1484M|1899 | - |3649 | 12k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.00/1209.03 c 1143s| 1810k|961631 | 0 | 0.0 |1493M|1899 | - |3649 | 13k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1215.01/1215.09 c 1149s| 1820k|967397 | 0 | 0.0 |1500M|1899 | - |3649 | 15k| 0 | 0 | 0 |1174k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1224.32/1224.33 c 1158s| 1830k|970250 | 0 | 0.0 |1508M|1899 | - |3649 | 20k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1235.81/1235.83 c 1169s| 1840k|972500 | 0 | 0.0 |1513M|1899 | - |3649 | 13k| 0 | 0 | 0 |1195k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1246.31/1246.32 c 1179s| 1850k|974910 | 0 | 0.0 |1521M|1899 | - |3649 | 15k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.82/1257.82 c 1190s| 1860k|977025 | 0 | 0.0 |1528M|1899 | - |3649 | 17k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1269.81/1269.88 c 1201s| 1870k|979031 | 0 | 0.0 |1535M|1899 | - |3649 | 18k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1282.91/1282.97 c 1214s| 1880k|980663 | 0 | 0.0 |1541M|1899 | - |3649 | 19k| 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1296.72/1296.72 c 1227s| 1890k|981968 | 0 | 0.0 |1545M|1899 | - |3649 | 19k| 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1311.01/1311.02 c 1241s| 1900k|983307 | 0 | 0.0 |1550M|1899 | - |3649 | 19k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1325.52/1325.57 c 1255s| 1910k|984806 | 0 | 0.0 |1558M|1899 | - |3649 | 18k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.11/1341.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.11/1341.16 c 1271s| 1920k|985289 | 0 | 0.0 |1563M|1899 | - |3649 | 20k| 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1357.21/1357.29 c 1286s| 1930k|985539 | 0 | 0.0 |1568M|1899 | - |3649 | 21k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1374.01/1374.06 c 1303s| 1940k|985706 | 0 | 0.0 |1572M|1899 | - |3649 | 22k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1390.92/1390.92 c 1319s| 1950k|985931 | 0 | 0.0 |1577M|1899 | - |3649 | 22k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1408.12/1408.14 c 1336s| 1960k|985905 | 0 | 0.0 |1581M|1899 | - |3649 | 23k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1425.42/1425.44 c 1353s| 1970k|985886 | 0 | 0.0 |1584M|1899 | - |3649 | 22k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1442.42/1442.42 c 1369s| 1980k|985878 | 0 | 0.0 |1588M|1899 | - |3649 | 22k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1460.52/1460.57 c 1387s| 1990k|985309 | 0 | 0.0 |1591M|1899 | - |3649 | 22k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1478.91/1478.92 c 1405s| 2000k|984501 | 0 | 0.0 |1594M|1899 | - |3649 | 22k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1497.91/1497.94 c 1423s| 2010k|983016 | 0 | 0.0 |1594M|1899 | - |3649 | 22k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1517.52/1517.50 c 1442s| 2020k|981214 | 0 | 0.0 |1595M|1899 | - |3649 | 22k| 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1538.42/1538.43 c 1463s| 2030k|978570 | 0 | 0.0 |1593M|1899 | - |3649 | 23k| 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1560.22/1560.24 c 1484s| 2040k|975335 | 0 | 0.0 |1589M|1899 | - |3649 | 24k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1584.12/1584.19 c 1508s| 2050k|971009 | 0 | 0.0 |1584M|1899 | - |3649 | 27k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.12/1605.13 c 1528s| 2060k|968984 | 0 | 0.0 |1572M|1899 | - |3649 | 11k| 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1610.22/1610.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.22/1610.22 c 1533s| 2070k|975963 | 0 | 0.0 |1579M|1899 | - |3649 |8060 | 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1615.32/1615.37 c 1537s| 2080k|982658 | 0 | 0.0 |1587M|1899 | - |3649 |8020 | 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1620.82/1620.86 c 1543s| 2090k|989021 | 0 | 0.0 |1596M|1899 | - |3649 |8516 | 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1626.62/1626.64 c 1548s| 2100k|995118 | 0 | 0.0 |1604M|1899 | - |3649 |8966 | 0 | 0 | 0 |1528k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1632.91/1632.99 c 1554s| 2110k| 1000k| 0 | 0.0 |1613M|1899 | - |3649 |9622 | 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1639.11/1639.16 c 1560s| 2120k| 1006k| 0 | 0.0 |1621M|1899 | - |3649 |9672 | 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1645.12/1645.13 c 1565s| 2130k| 1012k| 0 | 0.0 |1629M|1899 | - |3649 |9974 | 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1651.62/1651.63 c 1571s| 2140k| 1017k| 0 | 0.0 |1638M|1899 | - |3649 | 10k| 0 | 0 | 0 |1553k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.52/1658.58 c 1578s| 2150k| 1022k| 0 | 0.0 |1646M|1899 | - |3649 | 11k| 0 | 0 | 0 |1560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1666.02/1666.05 c 1585s| 2160k| 1027k| 0 | 0.0 |1654M|1899 | - |3649 | 11k| 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1674.02/1674.10 c 1593s| 2170k| 1031k| 0 | 0.0 |1663M|1899 | - |3649 | 12k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1682.32/1682.32 c 1600s| 2180k| 1036k| 0 | 0.0 |1671M|1899 | - |3649 | 12k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1690.42/1690.45 c 1608s| 2190k| 1040k| 0 | 0.0 |1680M|1899 | - |3649 | 13k| 0 | 0 | 0 |1591k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1699.53/1699.51 c 1617s| 2200k| 1044k| 0 | 0.0 |1688M|1899 | - |3649 | 13k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1709.22/1709.21 c 1626s| 2210k| 1047k| 0 | 0.0 |1696M|1899 | - |3649 | 14k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1718.62/1718.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1718.62/1718.63 c 1635s| 2220k| 1051k| 0 | 0.0 |1704M|1899 | - |3649 | 15k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1729.23/1729.21 c 1645s| 2230k| 1054k| 0 | 0.0 |1711M|1899 | - |3649 | 15k| 0 | 0 | 0 |1629k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1740.52/1740.57 c 1656s| 2240k| 1056k| 0 | 0.0 |1719M|1899 | - |3649 | 15k| 0 | 0 | 0 |1639k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1751.73/1751.70 c 1667s| 2250k| 1059k| 0 | 0.0 |1727M|1899 | - |3649 | 16k| 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1763.23/1763.30 c 1678s| 2260k| 1061k| 0 | 0.0 |1734M|1899 | - |3649 | 17k| 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.13/1776.17 c 1690s| 2270k| 1063k| 0 | 0.0 |1741M|1899 | - |3649 | 17k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1789.42/1789.47 c 1703s| 2280k| 1064k| 0 | 0.0 |1748M|1899 | - |3649 | 18k| 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1713.27
1800.02/1800.00 c Solving Nodes : 2287821
1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (33 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.04 s SATISFIABLE
1800.02/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.02/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.02/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.02/1800.04 v -x167 -x166 -x165 -x164 -x163 x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146
1800.02/1800.04 v -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.02/1800.04 v -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.02/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.02/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 -x54
1800.02/1800.04 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.02/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.02/1800.04 v -x1
1800.02/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.04 c Solving Time : 1713.27
1800.02/1800.04 c Original Problem :
1800.02/1800.04 c Problem name : HOME/instance-2693576-1277911533.wbo
1800.02/1800.04 c Variables : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.02/1800.04 c Constraints : 4493 initial, 4493 maximal
1800.02/1800.04 c Presolved Problem :
1800.02/1800.04 c Problem name : t_HOME/instance-2693576-1277911533.wbo
1800.02/1800.04 c Variables : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.02/1800.04 c Constraints : 4298 initial, 30039 maximal
1800.02/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.04 c trivial : 0.01 76 0 0 0 0 0 0 0
1800.02/1800.04 c dualfix : 0.00 76 0 0 0 0 0 0 0
1800.02/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c probing : 0.05 0 0 0 0 0 0 0 0
1800.02/1800.04 c indicator : 0.00 0 0 0 0 0 76 0 0
1800.02/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c linear : 0.05 0 0 0 1809 0 119 96 0
1800.02/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.04 c root node : - 1687 - - 3374 - - - -
1800.02/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.04 c indicator : 1709 0 5267136 0 1420356 35 1854573 0 0 0
1800.02/1800.04 c setppc : 11 0 7591499 0 1850936 36597 3990990 0 0 0
1800.02/1800.04 c linear : 1709 0 7561546 0 1854520 468145 40248021 0 0 0
1800.02/1800.04 c logicor : 869+ 0 4670664 0 1854530 194758 8583436 0 0 0
1800.02/1800.04 c bounddisjunction : 0+ 0 18252 0 0 0 4 0 0 0
1800.02/1800.04 c countsols : 0 0 0 0 1854526 0 0 0 0 0
1800.02/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.04 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.04 c indicator : 6.12 0.00 2.77 0.00 3.35
1800.02/1800.04 c setppc : 21.35 0.00 18.82 0.00 2.53
1800.02/1800.04 c linear : 322.42 0.00 321.64 0.00 0.78
1800.02/1800.04 c logicor : 441.95 0.00 389.12 0.00 52.83
1800.02/1800.04 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1800.02/1800.04 c countsols : 0.02 0.00 0.00 0.00 0.02
1800.02/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.04 c vbounds : 0.06 2 0 0
1800.02/1800.04 c rootredcost : 0.04 0 0 0
1800.02/1800.04 c pseudoobj : 238.92 7598615 602 1840635
1800.02/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.04 c propagation : 29.57 700102 700038 3057539 16.2 27623 11.9 -
1800.02/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.04 c pseudo solution : 0.00 29 29 113 18.2 66 9.0 -
1800.02/1800.04 c applied globally : - - - 1693244 14.7 - - -
1800.02/1800.04 c applied locally : - - - 9 231.1 - - -
1800.02/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.04 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.04 c redcost : 0.00 0 0 0 0 0
1800.02/1800.04 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.04 c intobj : 0.00 0 0 0 0 0
1800.02/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.04 c gomory : 0.00 0 0 0 0 0
1800.02/1800.04 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.04 c cmir : 0.00 0 0 0 0 0
1800.02/1800.04 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.04 c clique : 0.00 0 0 0 0 0
1800.02/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.04 c mcf : 0.00 0 0 0 0 0
1800.02/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.04 c Pricers : Time Calls Vars
1800.02/1800.04 c problem variables: 0.00 0 0
1800.02/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.04 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.04 c inference : 28.54 1854493 0 0 0 0 3708986
1800.02/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.04 c random : 0.00 0 0 0 0 0 0
1800.02/1800.04 c Primal Heuristics : Time Calls Found
1800.02/1800.04 c LP solutions : 0.00 - 0
1800.02/1800.04 c pseudo solutions : 0.04 - 33
1800.02/1800.04 c oneopt : 0.15 0 0
1800.02/1800.04 c trivial : 0.01 2 0
1800.02/1800.04 c simplerounding : 0.00 0 0
1800.02/1800.04 c zirounding : 0.00 0 0
1800.02/1800.04 c rounding : 0.00 0 0
1800.02/1800.04 c shifting : 0.00 0 0
1800.02/1800.04 c intshifting : 0.00 0 0
1800.02/1800.04 c twoopt : 0.00 0 0
1800.02/1800.04 c fixandinfer : 0.00 0 0
1800.02/1800.04 c feaspump : 0.00 0 0
1800.02/1800.04 c coefdiving : 0.00 0 0
1800.02/1800.04 c pscostdiving : 0.00 0 0
1800.02/1800.04 c fracdiving : 0.00 0 0
1800.02/1800.04 c veclendiving : 0.00 0 0
1800.02/1800.04 c intdiving : 0.00 0 0
1800.02/1800.04 c actconsdiving : 0.00 0 0
1800.02/1800.04 c objpscostdiving : 0.00 0 0
1800.02/1800.04 c rootsoldiving : 0.00 0 0
1800.02/1800.04 c linesearchdiving : 0.00 0 0
1800.02/1800.04 c guideddiving : 0.00 0 0
1800.02/1800.04 c octane : 0.00 0 0
1800.02/1800.04 c rens : 0.00 0 0
1800.02/1800.04 c rins : 0.00 0 0
1800.02/1800.04 c localbranching : 0.00 0 0
1800.02/1800.04 c mutation : 0.00 0 0
1800.02/1800.04 c crossover : 0.00 0 0
1800.02/1800.04 c dins : 0.00 0 0
1800.02/1800.04 c undercover : 0.00 0 0
1800.02/1800.04 c nlp : 0.05 0 0
1800.02/1800.04 c trysol : 0.00 1 0
1800.02/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.04 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.04 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.04 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.04 c (at root node) : - 0 0 0.00 -
1800.02/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.04 c B&B Tree :
1800.02/1800.04 c number of runs : 1
1800.02/1800.04 c nodes : 2287821
1800.02/1800.04 c nodes (total) : 2287821
1800.02/1800.04 c nodes left : 1065867
1800.02/1800.04 c max depth : 1899
1800.02/1800.04 c max depth (total): 1899
1800.02/1800.04 c backtracks : 406482 (17.8%)
1800.02/1800.04 c delayed cutoffs : 327231
1800.02/1800.04 c repropagations : 1555270 (17157605 domain reductions, 266871 cutoffs)
1800.02/1800.04 c avg switch length: 30.85
1800.02/1800.04 c switching time : 531.22
1800.02/1800.04 c Solution :
1800.02/1800.04 c Solutions found : 33 (33 improvements)
1800.02/1800.04 c First Solution : +8.97000000000000e+02 (in run 1, after 6376 nodes, 1.86 seconds, depth 1264, found by <relaxation>)
1800.02/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 699699 nodes, 395.86 seconds, depth 99, found by <relaxation>)
1800.02/1800.04 c Dual Bound : +0.00000000000000e+00
1800.02/1800.04 c Gap : infinite
1800.02/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.04 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-2693576-1277911533/watcher-2693576-1277911533 -o /tmp/evaluation-result-2693576-1277911533/solver-2693576-1277911533 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693576-1277911533.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.95 2.80 2.55 4/196 11402 /proc/meminfo: memFree=30920556/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=8148 CPUtime=0 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 132450796 8343552 1466 4089446400 4194304 7136930 140734466218512 18446744073709551615 4213976 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11402/statm: 2037 1466 275 719 0 1316 0 [startup+0.09735 s] /proc/loadavg: 2.95 2.80 2.55 4/196 11402 /proc/meminfo: memFree=30920556/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=27716 CPUtime=0.08 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 7098 0 0 0 8 0 0 0 25 0 1 0 132450796 28381184 6152 4089446400 4194304 7136930 140734466218512 18446744073709551615 6000425 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 6929 6152 353 719 0 6208 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 27716 [startup+0.100822 s] /proc/loadavg: 2.95 2.80 2.55 4/196 11402 /proc/meminfo: memFree=30920556/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=27716 CPUtime=0.09 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 7099 0 0 0 9 0 0 0 25 0 1 0 132450796 28381184 6153 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 6929 6153 354 719 0 6208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27716 [startup+0.30078 s] /proc/loadavg: 2.95 2.80 2.55 4/196 11402 /proc/meminfo: memFree=30920556/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=29528 CPUtime=0.29 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 10168 0 0 0 28 1 0 0 25 0 1 0 132450796 30236672 6652 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 7382 6652 391 719 0 6661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29528 [startup+0.70071 s] /proc/loadavg: 2.95 2.80 2.55 4/196 11402 /proc/meminfo: memFree=30920556/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=31616 CPUtime=0.68 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 10670 0 0 0 66 2 0 0 25 0 1 0 132450796 32374784 7154 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 7904 7154 395 719 0 7183 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 31616 [startup+1.50057 s] /proc/loadavg: 2.95 2.80 2.55 3/197 11403 /proc/meminfo: memFree=30892028/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=33744 CPUtime=1.48 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 11236 0 0 0 143 5 0 0 25 0 1 0 132450796 34553856 7720 4089446400 4194304 7136930 140734466218512 18446744073709551615 4436340 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 8436 7720 395 719 0 7715 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33744 [startup+3.10029 s] /proc/loadavg: 2.95 2.80 2.55 3/197 11403 /proc/meminfo: memFree=30889676/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=37556 CPUtime=3.09 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 12186 0 0 0 299 10 0 0 25 0 1 0 132450796 38457344 8670 4089446400 4194304 7136930 140734466218512 18446744073709551615 4983716 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 9389 8670 395 719 0 8668 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37556 [startup+6.30073 s] /proc/loadavg: 2.88 2.78 2.55 3/197 11403 /proc/meminfo: memFree=30877152/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=50372 CPUtime=6.28 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 15412 0 0 0 610 18 0 0 25 0 1 0 132450796 51580928 11896 4089446400 4194304 7136930 140734466218512 18446744073709551615 5955544 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 12593 11896 395 719 0 11872 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50372 [startup+12.7006 s] /proc/loadavg: 2.81 2.77 2.54 3/197 11403 /proc/meminfo: memFree=30857444/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=67976 CPUtime=12.69 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 19765 0 0 0 1236 33 0 0 25 0 1 0 132450796 69607424 16249 4089446400 4194304 7136930 140734466218512 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 16994 16249 396 719 0 16273 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67976 [startup+25.5004 s] /proc/loadavg: 2.55 2.71 2.53 2/174 11423 /proc/meminfo: memFree=31150420/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=141504 CPUtime=25.48 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 36450 0 0 0 2484 64 0 0 25 0 1 0 132450796 144900096 32934 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11402/statm: 35376 32934 398 719 0 34655 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 141504 [startup+51.1009 s] /proc/loadavg: 2.73 2.75 2.54 4/200 11492 /proc/meminfo: memFree=30884416/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=198620 CPUtime=51.08 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 50381 0 0 0 4867 241 0 0 25 0 1 0 132450796 203386880 46865 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 49655 46865 398 719 0 48934 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 198620 [startup+102.307 s] /proc/loadavg: 2.88 2.79 2.56 4/200 11493 /proc/meminfo: memFree=30773132/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=291420 CPUtime=102.29 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 73366 0 0 0 9612 617 0 0 25 0 1 0 132450796 298414080 69850 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 72855 69850 398 719 0 72134 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 291420 [startup+162.3 s] /proc/loadavg: 3.01 2.84 2.59 3/200 11495 /proc/meminfo: memFree=30645708/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=416396 CPUtime=162.28 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 103620 0 0 0 15183 1045 0 0 25 0 1 0 132450796 426389504 100104 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 104099 100104 398 719 0 103378 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 416396 [startup+222.301 s] /proc/loadavg: 2.97 2.85 2.61 4/200 11497 /proc/meminfo: memFree=30538760/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=513292 CPUtime=222.29 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 128047 0 0 0 20874 1355 0 0 25 0 1 0 132450796 525611008 124531 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 128323 124531 398 719 0 127602 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 513292 [startup+282.3 s] /proc/loadavg: 2.99 2.87 2.64 3/200 11498 /proc/meminfo: memFree=30477316/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=568140 CPUtime=282.28 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 141791 0 0 0 26674 1554 0 0 25 0 1 0 132450796 581775360 138275 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 142035 138275 398 719 0 141314 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 568140 [startup+342.301 s] /proc/loadavg: 2.96 2.88 2.65 4/200 11499 /proc/meminfo: memFree=30438568/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=599608 CPUtime=342.29 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 149570 0 0 0 32484 1745 0 0 25 0 1 0 132450796 613998592 146054 4089446400 4194304 7136930 140734466218512 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 149902 146054 398 719 0 149181 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 599608 [startup+402.3 s] /proc/loadavg: 3.19 2.94 2.68 4/200 11504 /proc/meminfo: memFree=30373992/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=657932 CPUtime=402.29 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 164218 0 0 0 38176 2053 0 0 25 0 1 0 132450796 673722368 160702 4089446400 4194304 7136930 140734466218512 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 164483 160702 398 719 0 163762 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 657932 [startup+462.301 s] /proc/loadavg: 3.00 2.93 2.69 4/200 11506 /proc/meminfo: memFree=30282544/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=759048 CPUtime=462.29 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 186582 0 0 0 43848 2381 0 0 25 0 1 0 132450796 777265152 183066 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 189762 183066 398 719 0 189041 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 759048 [startup+522.3 s] /proc/loadavg: 2.37 2.76 2.64 3/179 11536 /proc/meminfo: memFree=30267308/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=887248 CPUtime=522.29 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 216084 0 0 0 49532 2697 0 0 25 0 1 0 132450796 908541952 212568 4089446400 4194304 7136930 140734466218512 18446744073709551615 5001190 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 221812 212568 398 719 0 221091 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 887248 [startup+582.301 s] /proc/loadavg: 2.21 2.63 2.61 3/179 11537 /proc/meminfo: memFree=30012308/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=968748 CPUtime=582.3 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 234558 0 0 0 55133 3097 0 0 25 0 1 0 132450796 991997952 231042 4089446400 4194304 7136930 140734466218512 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 242187 231042 398 719 0 241466 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 968748 [startup+642.301 s] /proc/loadavg: 2.07 2.51 2.57 3/179 11538 /proc/meminfo: memFree=29902768/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1049700 CPUtime=642.3 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 255113 0 0 0 60740 3490 0 0 25 0 1 0 132450796 1074892800 251597 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 262425 251597 398 719 0 261704 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1049700 [startup+702.301 s] ################ # More data... # ################ /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 351582 0 0 0 94765 5465 0 0 25 0 1 0 132450796 1467158528 348066 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 358193 348066 398 719 0 357472 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1432772 [startup+1062.3 s] /proc/loadavg: 2.81 2.61 2.56 3/200 11630 /proc/meminfo: memFree=29561324/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1495404 CPUtime=1062.3 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 367253 0 0 0 100462 5768 0 0 25 0 1 0 132450796 1531293696 363737 4089446400 4194304 7136930 140734466218512 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 373851 363737 398 719 0 373130 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1495404 [startup+1122.3 s] /proc/loadavg: 2.87 2.66 2.57 4/200 11632 /proc/meminfo: memFree=29491320/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1559440 CPUtime=1122.31 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 383368 0 0 0 106155 6076 0 0 25 0 1 0 132450796 1596866560 379852 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 389860 379852 398 719 0 389139 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1559440 [startup+1182.3 s] /proc/loadavg: 2.42 2.58 2.55 3/179 11661 /proc/meminfo: memFree=29649384/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1618884 CPUtime=1182.31 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 398471 0 0 0 111813 6418 0 0 25 0 1 0 132450796 1657737216 394955 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 404721 394955 398 719 0 404000 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1618884 [startup+1242.3 s] /proc/loadavg: 2.15 2.47 2.51 3/179 11662 /proc/meminfo: memFree=29581128/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1676788 CPUtime=1242.31 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 412946 0 0 0 117493 6738 0 0 25 0 1 0 132450796 1717030912 409430 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 419197 409430 398 719 0 418476 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1676788 [startup+1302.3 s] /proc/loadavg: 2.09 2.40 2.48 3/179 11664 /proc/meminfo: memFree=29543500/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1707452 CPUtime=1302.32 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 420635 0 0 0 123289 6943 0 0 25 0 1 0 132450796 1748430848 417119 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 426863 417119 398 719 0 426142 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1707452 [startup+1362.3 s] /proc/loadavg: 2.03 2.32 2.45 3/179 11666 /proc/meminfo: memFree=29523984/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1742908 CPUtime=1362.32 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 425274 0 0 0 129117 7115 0 0 25 0 1 0 132450796 1784737792 421758 4089446400 4194304 7136930 140734466218512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 435727 421758 398 719 0 435006 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1742908 [startup+1422.31 s] /proc/loadavg: 2.01 2.26 2.42 3/179 11668 /proc/meminfo: memFree=29506464/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1759080 CPUtime=1422.32 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 428965 0 0 0 134960 7272 0 0 25 0 1 0 132450796 1801297920 425449 4089446400 4194304 7136930 140734466218512 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 439770 425449 398 719 0 439049 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1759080 [startup+1482.3 s] /proc/loadavg: 2.00 2.21 2.39 3/179 11669 /proc/meminfo: memFree=29489184/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1775328 CPUtime=1482.31 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 432984 0 0 0 140804 7427 0 0 25 0 1 0 132450796 1817935872 429468 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 443832 429468 398 719 0 443111 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1775328 [startup+1542.3 s] /proc/loadavg: 2.00 2.17 2.36 3/179 11670 /proc/meminfo: memFree=29483188/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1777584 CPUtime=1542.32 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 433549 0 0 0 146667 7565 0 0 25 0 1 0 132450796 1820246016 430033 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 444396 430033 398 719 0 443675 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1777584 [startup+1602.3 s] /proc/loadavg: 2.00 2.14 2.34 3/179 11672 /proc/meminfo: memFree=29479796/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1780188 CPUtime=1602.32 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 434168 0 0 0 152523 7709 0 0 25 0 1 0 132450796 1822912512 430652 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 445047 430652 398 719 0 444326 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1780188 [startup+1662.3 s] /proc/loadavg: 2.00 2.11 2.31 3/179 11674 /proc/meminfo: memFree=29422204/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1835532 CPUtime=1662.32 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 448208 0 0 0 158143 8089 0 0 25 0 1 0 132450796 1879584768 444692 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 458883 444692 398 719 0 458162 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 1835532 [startup+1722.3 s] /proc/loadavg: 2.00 2.09 2.29 3/179 11676 /proc/meminfo: memFree=29371936/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1886012 CPUtime=1722.32 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 460895 0 0 0 163859 8373 0 0 25 0 1 0 132450796 1931276288 457379 4089446400 4194304 7136930 140734466218512 18446744073709551615 4431646 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 471503 457379 398 719 0 470782 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1886012 [startup+1782.3 s] /proc/loadavg: 2.00 2.07 2.27 3/179 11677 /proc/meminfo: memFree=29335184/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1920656 CPUtime=1782.32 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 469549 0 0 0 169619 8613 0 0 25 0 1 0 132450796 1966751744 466033 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 480164 466033 398 719 0 479443 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1920656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.06 2.26 3/179 11678 /proc/meminfo: memFree=29325120/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1930656 CPUtime=1800.02 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 472071 0 0 0 171329 8673 0 0 25 0 1 0 132450796 1976991744 468555 4089446400 4194304 7136930 140734466218512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11402/statm: 482664 468555 398 719 0 481943 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1930656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11402 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.06 2.26 3/180 11679 /proc/meminfo: memFree=29325112/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1930656 CPUtime=1801.42 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 472076 0 0 0 171469 8673 0 0 19 0 1 0 132450796 1976991744 468560 4089446400 4194304 7136930 140734466218512 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11402/statm: 482664 468560 403 719 0 481943 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 1930656 [startup+1801.81 s] /proc/loadavg: 2.00 2.06 2.26 3/180 11679 /proc/meminfo: memFree=29325112/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1929632 CPUtime=1801.83 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 472076 0 0 0 171510 8673 0 0 20 0 1 0 132450796 1975943168 468304 4089446400 4194304 7136930 140734466218512 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11402/statm: 482408 468304 403 719 0 481687 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 1929632 [startup+1802 s] /proc/loadavg: 2.00 2.06 2.26 3/180 11679 /proc/meminfo: memFree=29325112/32951124 swapFree=67111528/67111528 [pid=11402] ppid=11400 vsize=1929116 CPUtime=1802.02 /proc/11402/stat : 11402 (pbscip.linux.x8) R 11400 11402 10267 0 -1 4202496 472076 0 0 0 171529 8673 0 0 20 0 1 0 132450796 1975414784 468175 4089446400 4194304 7136930 140734466218512 18446744073709551615 4616916 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11402/statm: 482279 468175 403 719 0 481558 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1929116 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.1 CPU user time (s): 1715.3 CPU system time (s): 86.8018 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1930656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1715.3 system time used= 86.8018 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 472076 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 1260 runsolver used 3.33549 second user time and 6.21406 second system time The end
Begin job on node107 at 2010-06-30 17:25:33 IDJOB=2693576 IDBENCH=78988 IDSOLVER=1206 FILE ID=node107/2693576-1277911533 PBS_JOBID= 11197234 Free space on /tmp= 74212 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.1900564281--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-2693576-1277911533/watcher-2693576-1277911533 -o /tmp/evaluation-result-2693576-1277911533/solver-2693576-1277911533 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693576-1277911533.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e85c5d1e36fd64db247bc5be7351d7af RANDOM SEED=1337773802 node107.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.849 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.69 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.849 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 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.81 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30921084 kB Buffers: 194328 kB Cached: 1269676 kB SwapCached: 0 kB Active: 783696 kB Inactive: 1104580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30921084 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3188 kB Writeback: 0 kB AnonPages: 424092 kB Mapped: 20300 kB Slab: 78988 kB PageTables: 5588 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1650000 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node107 at 2010-06-30 17:55:35