Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 26 | 1800.09 | 1800.67 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb |
| MD5SUM | c19adaf233257cdd6134391794b23c65 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 2.49362 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 3187 |
| Total number of constraints | 8922 |
| Number of constraints which are clauses | 8922 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 1527 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1527 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1527 |
| Number of bits of the biggest sum of numbers | 11 |
| 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: Clp 1.11.1] [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-2665372-1276636196.opb>
0.09/0.15 c original problem has 3187 variables (3187 bin, 0 int, 0 impl, 0 cont) and 8922 constraints
0.09/0.15 c problem read
0.09/0.15 c presolving settings loaded
0.20/0.20 c presolving:
0.20/0.28 c (round 1) 1627 del vars, 3160 del conss, 94 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 17139 impls, 0 clqs
0.20/0.29 c (round 2) 1629 del vars, 3919 del conss, 94 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 17139 impls, 0 clqs
0.29/0.36 c (round 3) 1629 del vars, 3919 del conss, 94 chg bounds, 2 chg sides, 2 chg coeffs, 4975 upgd conss, 17139 impls, 0 clqs
0.29/0.38 c (round 4) 1629 del vars, 3919 del conss, 94 chg bounds, 2 chg sides, 2 chg coeffs, 5003 upgd conss, 17139 impls, 0 clqs
0.39/0.44 c (0.2s) probing: 101/1558 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.44 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c presolving (5 rounds):
0.39/0.44 c 1629 deleted vars, 3919 deleted constraints, 94 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.39/0.44 c 17139 implications, 0 cliques
0.39/0.44 c presolved problem has 1558 variables (1558 bin, 0 int, 0 impl, 0 cont) and 5003 constraints
0.39/0.44 c 5003 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.23
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 1.2.1.2
0.39/0.44 c
0.39/0.44 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c conflict/interconss = 0
0.39/0.44 c
0.39/0.44 c # should binary conflicts be preferred?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c conflict/preferbinary = TRUE
0.39/0.44 c
0.39/0.44 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.44 c constraints/agelimit = 1
0.39/0.44 c
0.39/0.44 c # should enforcement of pseudo solution be disabled?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/disableenfops = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1799.85
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 1620
0.39/0.44 c
0.39/0.44 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c lp/solvefreq = 0
0.39/0.44 c
0.39/0.44 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.39/0.44 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.44 c lp/pricing = a
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.45 c # priority of node selection rule <dfs> in standard mode
0.39/0.45 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.45 c nodeselection/dfs/stdpriority = 1000000
0.39/0.45 c
0.39/0.45 c -----------------------------------------------------------------------------------------------
0.39/0.45 c start solving
0.39/0.45 c
0.50/0.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.50/0.54 c 0.3s| 1 | 0 | 461 | - | 14M| 0 | 172 |1558 |5003 |1558 |5003 | 0 | 0 | 0 | 2.361290e+01 | -- | Inf
0.50/0.54 o 48
0.50/0.54 c R 0.3s| 1 | 0 | 461 | - | 14M| 0 | 172 |1558 |5003 |1558 |5003 | 0 | 0 | 0 | 2.361290e+01 | 4.800000e+01 | 103.28%
1.10/1.11 c 0.9s| 1 | 0 | 560 | - | 14M| 0 | 162 |1558 |5003 |1558 |5007 | 4 | 0 | 0 | 2.379104e+01 | 4.800000e+01 | 101.76%
1.10/1.11 o 47
1.10/1.11 c b 0.9s| 1 | 0 | 560 | - | 14M| 0 | 162 |1558 |5003 |1558 |5007 | 4 | 0 | 0 | 2.379104e+01 | 4.700000e+01 | 97.55%
1.10/1.12 o 45
1.10/1.12 c R 0.9s| 1 | 0 | 560 | - | 14M| 0 | 162 |1558 |5003 |1558 |5007 | 4 | 0 | 0 | 2.379104e+01 | 4.500000e+01 | 89.15%
1.59/1.68 c 1.4s| 1 | 0 | 636 | - | 15M| 0 | 139 |1558 |5003 |1558 |5011 | 8 | 0 | 0 | 2.383259e+01 | 4.500000e+01 | 88.82%
1.59/1.69 o 42
1.59/1.69 c R 1.5s| 1 | 0 | 636 | - | 15M| 0 | 139 |1558 |5003 |1558 |5011 | 8 | 0 | 0 | 2.383259e+01 | 4.200000e+01 | 76.23%
2.59/2.66 c 2.4s| 1 | 0 | 707 | - | 16M| 0 | 162 |1558 |5003 |1558 |5015 | 12 | 0 | 0 | 2.384393e+01 | 4.200000e+01 | 76.15%
3.59/3.64 c 3.4s| 1 | 0 | 796 | - | 16M| 0 | 151 |1558 |5003 |1558 |5017 | 14 | 0 | 0 | 2.385673e+01 | 4.200000e+01 | 76.05%
4.59/4.67 c 4.4s| 1 | 0 | 863 | - | 16M| 0 | 153 |1558 |5003 |1558 |5019 | 16 | 0 | 0 | 2.386617e+01 | 4.200000e+01 | 75.98%
5.50/5.58 c 5.3s| 1 | 0 | 922 | - | 17M| 0 | 156 |1558 |5003 |1558 |5021 | 18 | 0 | 0 | 2.387820e+01 | 4.200000e+01 | 75.89%
6.60/6.64 c 6.4s| 1 | 0 | 1015 | - | 17M| 0 | 136 |1558 |5003 |1558 |5022 | 19 | 0 | 0 | 2.394467e+01 | 4.200000e+01 | 75.40%
7.69/7.75 c 7.5s| 1 | 0 | 1075 | - | 17M| 0 | 159 |1558 |5003 |1558 |5023 | 20 | 0 | 0 | 2.396138e+01 | 4.200000e+01 | 75.28%
8.99/9.00 c 8.7s| 1 | 0 | 1179 | - | 18M| 0 | 144 |1558 |5003 |1558 |5025 | 22 | 0 | 0 | 2.397720e+01 | 4.200000e+01 | 75.17%
10.28/10.34 c 10.0s| 1 | 0 | 1260 | - | 18M| 0 | 165 |1558 |5003 |1558 |5026 | 23 | 0 | 0 | 2.399285e+01 | 4.200000e+01 | 75.05%
11.38/11.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.38/11.47 c 11.2s| 1 | 0 | 1350 | - | 18M| 0 | 164 |1558 |5003 |1558 |5029 | 26 | 0 | 0 | 2.400046e+01 | 4.200000e+01 | 75.00%
12.48/12.59 c 12.3s| 1 | 0 | 1354 | - | 18M| 0 | 160 |1558 |5003 |1558 |5032 | 29 | 0 | 0 | 2.400046e+01 | 4.200000e+01 | 75.00%
13.59/13.68 c 13.4s| 1 | 0 | 1356 | - | 18M| 0 | 159 |1558 |5003 |1558 |5034 | 31 | 0 | 0 | 2.400046e+01 | 4.200000e+01 | 75.00%
15.18/15.20 o 26
15.18/15.20 c E14.8s| 1 | 0 | 1356 | - | 18M| 0 | 159 |1558 |5003 |1558 |5034 | 31 | 0 | 0 | 2.400046e+01 | 2.600000e+01 | 8.33%
15.18/15.22 c 14.8s| 1 | 0 | 1356 | - | 18M| 0 | 159 |1558 |5003 |1558 |5034 | 31 | 0 | 0 | 2.400046e+01 | 2.600000e+01 | 8.33%
16.28/16.31 c 15.9s| 1 | 0 | 1356 | - | 17M| 0 | 159 |1558 |4264 |1558 |2161 | 31 | 0 | 0 | 2.400046e+01 | 2.600000e+01 | 8.33%
18.78/18.81 c 18.4s| 1 | 2 | 1356 | - | 17M| 0 | 159 |1558 |4264 |1558 |2161 | 31 | 0 | 31 | 2.400046e+01 | 2.600000e+01 | 8.33%
18.78/18.81 c (run 1, node 1) restarting after 733 global fixings of integer variables
18.78/18.81 c
18.78/18.82 c (restart) converted 20 cuts from the global cut pool into linear constraints
18.78/18.82 c
18.78/18.83 c presolving:
18.78/18.85 c (round 1) 733 del vars, 2141 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20 upgd conss, 17139 impls, 13 clqs
18.89/18.95 c presolving (2 rounds):
18.89/18.95 c 733 deleted vars, 2141 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
18.89/18.95 c 17139 implications, 13 cliques
18.89/18.95 c presolved problem has 825 variables (825 bin, 0 int, 0 impl, 0 cont) and 2143 constraints
18.89/18.95 c 7 constraints of type <knapsack>
18.89/18.95 c 13 constraints of type <setppc>
18.89/18.95 c 2123 constraints of type <logicor>
18.89/18.95 c transformed objective value is always integral (scale: 1)
18.89/18.95 c Presolving Time: 0.34
18.89/18.95 c
18.98/19.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.98/19.06 c 18.6s| 1 | 0 | 1914 | - | 12M| 0 | 161 | 825 |2143 | 825 |2143 | 0 | 0 | 31 | 2.400046e+01 | 2.600000e+01 | 8.33%
19.88/19.97 c 19.5s| 1 | 0 | 1917 | - | 12M| 0 | 159 | 825 |2143 | 825 |2146 | 3 | 0 | 31 | 2.400046e+01 | 2.600000e+01 | 8.33%
21.18/21.20 c 20.8s| 1 | 2 | 1917 | - | 12M| 0 | 159 | 825 |2143 | 825 |2146 | 3 | 0 | 48 | 2.400046e+01 | 2.600000e+01 | 8.33%
34.97/35.07 c 34.3s| 10000 | 352 | 1917 | 0.0 | 13M| 371 | - | 825 |2143 | 0 | 0 | 3 |5859 | 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
50.06/50.14 c 49.0s| 20000 | 356 | 1917 | 0.0 | 13M| 371 | - | 825 |2151 | 0 | 0 | 3 | 12k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
65.16/65.22 c 63.8s| 30000 | 358 | 1917 | 0.0 | 13M| 371 | - | 825 |2148 | 0 | 0 | 3 | 18k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
80.85/80.95 c 79.2s| 40000 | 361 | 1917 | 0.0 | 13M| 372 | - | 825 |2144 | 0 | 0 | 3 | 25k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
96.15/96.20 c 94.2s| 50000 | 355 | 1917 | 0.0 | 13M| 372 | - | 825 |2143 | 0 | 0 | 3 | 31k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
111.94/112.04 c 110s| 60000 | 357 | 1917 | 0.0 | 13M| 372 | - | 825 |2143 | 0 | 0 | 3 | 38k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
126.54/126.67 c 124s| 70000 | 356 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 44k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
142.84/142.98 c 140s| 80000 | 355 | 1917 | 0.0 | 13M| 375 | - | 825 |2151 | 0 | 0 | 3 | 51k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
157.93/158.07 c 155s| 90000 | 356 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 57k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
173.02/173.17 c 169s|100000 | 360 | 1917 | 0.0 | 13M| 375 | - | 825 |2147 | 0 | 0 | 3 | 64k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
187.42/187.58 c 184s|110000 | 351 | 1917 | 0.0 | 13M| 375 | - | 825 |2145 | 0 | 0 | 3 | 70k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
201.51/201.65 c 197s|120000 | 360 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 76k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
216.91/217.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.91/217.03 c 212s|130000 | 356 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 82k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
231.41/231.56 c 227s|140000 | 353 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 89k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
245.30/245.42 c 240s|150000 | 348 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 95k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
260.10/260.26 c 255s|160000 | 353 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 101k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
274.90/275.07 c 269s|170000 | 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 108k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
290.48/290.62 c 284s|180000 | 352 | 1917 | 0.0 | 13M| 375 | - | 825 |2145 | 0 | 0 | 3 | 114k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
306.49/306.62 c 300s|190000 | 350 | 1917 | 0.0 | 13M| 375 | - | 825 |2145 | 0 | 0 | 3 | 120k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
321.38/321.51 c 314s|200000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2145 | 0 | 0 | 3 | 127k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
336.57/336.76 c 329s|210000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2145 | 0 | 0 | 3 | 133k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
350.87/351.03 c 343s|220000 | 352 | 1917 | 0.0 | 13M| 375 | - | 825 |2147 | 0 | 0 | 3 | 139k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
365.46/365.63 c 358s|230000 | 350 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 146k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
380.36/380.55 c 372s|240000 | 353 | 1917 | 0.0 | 13M| 375 | - | 825 |2151 | 0 | 0 | 3 | 152k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
395.35/395.52 c 387s|250000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 159k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
410.54/410.73 c 402s|260000 | 348 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 165k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
424.84/425.00 c 416s|270000 | 353 | 1917 | 0.0 | 13M| 375 | - | 825 |2151 | 0 | 0 | 3 | 171k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
440.13/440.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.13/440.37 c 431s|280000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 177k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
454.63/454.80 c 445s|290000 | 361 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 183k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
470.83/471.08 c 461s|300000 | 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 189k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
486.53/486.72 c 476s|310000 | 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2148 | 0 | 0 | 3 | 195k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
501.62/501.85 c 491s|320000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2153 | 0 | 0 | 3 | 202k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
517.11/517.37 c 506s|330000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 208k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
532.51/532.79 c 521s|340000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 214k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
547.51/547.76 c 536s|350000 | 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 221k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
563.21/563.47 c 551s|360000 | 341 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 227k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
578.40/578.64 c 566s|370000 | 354 | 1917 | 0.0 | 13M| 375 | - | 825 |2145 | 0 | 0 | 3 | 233k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
593.39/593.63 c 581s|380000 | 350 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 239k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
608.39/608.69 c 595s|390000 | 354 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 245k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
624.68/624.97 c 611s|400000 | 348 | 1917 | 0.0 | 13M| 375 | - | 825 |2150 | 0 | 0 | 3 | 252k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
641.08/641.34 c 627s|410000 | 348 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 259k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
655.87/656.11 c 642s|420000 | 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 265k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
669.87/670.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.87/670.11 c 655s|430000 | 351 | 1917 | 0.0 | 13M| 375 | - | 825 |2460 | 0 | 0 | 3 | 271k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
684.16/684.41 c 669s|440000 | 354 | 1917 | 0.0 | 13M| 375 | - | 825 |2467 | 0 | 0 | 3 | 277k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
698.96/699.21 c 684s|450000 | 352 | 1917 | 0.0 | 13M| 375 | - | 825 |2462 | 0 | 0 | 3 | 284k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
714.06/714.34 c 699s|460000 | 343 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 290k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
729.95/730.20 c 714s|470000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2145 | 0 | 0 | 3 | 296k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
747.44/747.76 c 731s|480000 | 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2153 | 0 | 0 | 3 | 303k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
763.54/763.87 c 747s|490000 | 338 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 309k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
777.03/777.33 c 760s|500000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2383 | 0 | 0 | 3 | 316k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
790.64/790.93 c 774s|510000 | 343 | 1917 | 0.0 | 13M| 375 | - | 825 |2457 | 0 | 0 | 3 | 322k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
805.23/805.58 c 788s|520000 | 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2457 | 0 | 0 | 3 | 328k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
819.83/820.11 c 802s|530000 | 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 334k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
834.22/834.50 c 816s|540000 | 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 341k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
849.41/849.78 c 831s|550000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 347k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
864.91/865.26 c 846s|560000 | 355 | 1917 | 0.0 | 13M| 375 | - | 825 |2147 | 0 | 0 | 3 | 354k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
880.71/881.03 c 862s|570000 | 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2152 | 0 | 0 | 3 | 360k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
895.90/896.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.90/896.27 c 877s|580000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2150 | 0 | 0 | 3 | 366k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
911.51/911.90 c 892s|590000 | 339 | 1917 | 0.0 | 13M| 375 | - | 825 |2147 | 0 | 0 | 3 | 373k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
926.90/927.20 c 907s|600000 | 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 379k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
942.29/942.69 c 922s|610000 | 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 385k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
957.28/957.69 c 937s|620000 | 348 | 1917 | 0.0 | 13M| 375 | - | 825 |2147 | 0 | 0 | 3 | 391k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
973.48/973.84 c 952s|630000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2147 | 0 | 0 | 3 | 398k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
988.77/989.14 c 967s|640000 | 344 | 1917 | 0.0 | 13M| 375 | - | 825 |2155 | 0 | 0 | 3 | 404k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1004.97/1005.39 c 983s|650000 | 348 | 1917 | 0.0 | 13M| 375 | - | 825 |2151 | 0 | 0 | 3 | 411k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1020.67/1021.06 c 999s|660000 | 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2148 | 0 | 0 | 3 | 417k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1036.06/1036.49 c 1014s|670000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 423k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1052.36/1052.74 c 1030s|680000 | 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2149 | 0 | 0 | 3 | 430k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1068.55/1068.93 c 1045s|690000 | 353 | 1917 | 0.0 | 13M| 375 | - | 825 |2149 | 0 | 0 | 3 | 436k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1084.25/1084.61 c 1061s|700000 | 343 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 443k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1099.94/1100.30 c 1076s|710000 | 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 449k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1115.54/1115.92 c 1091s|720000 | 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 455k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1132.93/1133.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.93/1133.35 c 1108s|730000 | 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 462k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1148.92/1149.39 c 1124s|740000 | 350 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 469k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1164.53/1164.91 c 1139s|750000 | 350 | 1917 | 0.0 | 13M| 375 | - | 825 |2148 | 0 | 0 | 3 | 475k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1180.61/1181.03 c 1155s|760000 | 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 482k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1196.01/1196.42 c 1170s|770000 | 341 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 488k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1212.00/1212.48 c 1186s|780000 | 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 495k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1228.10/1228.53 c 1201s|790000 | 343 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 501k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1244.19/1244.67 c 1217s|800000 | 341 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 508k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1261.20/1261.68 c 1234s|810000 | 341 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 515k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1276.78/1277.25 c 1249s|820000 | 350 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 521k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1292.68/1293.17 c 1265s|830000 | 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 527k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1307.97/1308.42 c 1280s|840000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 534k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1322.97/1323.49 c 1295s|850000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 540k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1339.86/1340.34 c 1311s|860000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 547k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1355.36/1355.89 c 1326s|870000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 553k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1370.16/1370.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.16/1370.62 c 1341s|880000 | 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 560k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1385.75/1386.27 c 1356s|890000 | 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 567k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1400.65/1401.17 c 1371s|900000 | 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 573k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1415.04/1415.57 c 1385s|910000 | 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 579k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1429.73/1430.24 c 1399s|920000 | 344 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 586k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1445.74/1446.24 c 1415s|930000 | 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 593k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1462.53/1463.09 c 1431s|940000 | 340 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 600k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1478.73/1479.29 c 1447s|950000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 606k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1493.51/1494.06 c 1461s|960000 | 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2146 | 0 | 0 | 3 | 613k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1509.51/1510.04 c 1477s|970000 | 348 | 1917 | 0.0 | 13M| 375 | - | 825 |2150 | 0 | 0 | 3 | 619k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1526.21/1526.79 c 1494s|980000 | 344 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 625k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1542.10/1542.64 c 1509s|990000 | 340 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 632k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1558.69/1559.25 c 1525s| 1000k| 349 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 639k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1575.09/1575.61 c 1541s| 1010k| 346 | 1917 | 0.0 | 13M| 375 | - | 825 |2154 | 0 | 0 | 3 | 645k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1591.09/1591.66 c 1557s| 1020k| 339 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 651k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1606.77/1607.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.77/1607.32 c 1572s| 1030k| 348 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 658k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1621.47/1622.06 c 1587s| 1040k| 343 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 664k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1636.77/1637.32 c 1602s| 1050k| 356 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 670k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1651.17/1651.75 c 1616s| 1060k| 345 | 1917 | 0.0 | 13M| 375 | - | 825 |2149 | 0 | 0 | 3 | 677k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1664.46/1665.07 c 1629s| 1070k| 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 683k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1678.46/1679.06 c 1643s| 1080k| 341 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 690k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1693.55/1694.13 c 1657s| 1090k| 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 696k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1709.65/1710.25 c 1673s| 1100k| 340 | 1917 | 0.0 | 13M| 375 | - | 825 |2144 | 0 | 0 | 3 | 703k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1725.05/1725.66 c 1688s| 1110k| 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 710k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1740.24/1740.82 c 1703s| 1120k| 347 | 1917 | 0.0 | 13M| 375 | - | 825 |2145 | 0 | 0 | 3 | 716k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1755.84/1756.45 c 1718s| 1130k| 340 | 1917 | 0.0 | 13M| 375 | - | 825 |2153 | 0 | 0 | 3 | 723k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1770.62/1771.29 c 1733s| 1140k| 342 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 729k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1785.03/1785.67 c 1747s| 1150k| 344 | 1917 | 0.0 | 13M| 375 | - | 825 |2143 | 0 | 0 | 3 | 736k| 48 | 2.404724e+01 | 2.600000e+01 | 8.12%
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1761.47
1800.03/1800.61 c Solving Nodes : 1159062 (total of 1159063 nodes in 2 runs)
1800.03/1800.61 c Primal Bound : +2.60000000000000e+01 (5 solutions)
1800.03/1800.61 c Dual Bound : +2.40472440944882e+01
1800.03/1800.61 c Gap : 8.12 %
1800.03/1800.62 s SATISFIABLE
1800.03/1800.62 v x136 x135 x3186 x134 x3184 -x3182 -x133 -x3180 x132 x3178 x3176 -x3174 x131 -x3172 -x3170 -x3168 x3166 -x3164 -x3162 x3160 -x3158
1800.03/1800.62 v -x3156 -x3154 -x130 -x3152 -x3150 -x3148 -x129 -x3146 x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x128 -x3128
1800.03/1800.62 v -x3126 -x3124 -x127 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x126 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x125
1800.03/1800.62 v -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x124 -x3068 x123 x3066 -x3064
1800.03/1800.62 v -x3062 -x122 -x3060 -x3058 -x3056 -x121 -x3054 -x3052 x3050 -x3048 -x3046 -x3044 -x3042 x120 -x3040 x3038 -x3036 x119 -x3034
1800.03/1800.62 v -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x118 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x117 -x3006 -x3004 -x3002
1800.03/1800.62 v -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x116 -x2976 -x2974 -x2972 -x115 -x2970
1800.03/1800.62 v -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x114 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x113 -x2942 -x2940 -x2938 -x2936
1800.03/1800.62 v -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x112 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902
1800.03/1800.62 v -x2900 -x111 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x110
1800.03/1800.62 v -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x109 -x2838 -x2836
1800.03/1800.62 v -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800
1800.03/1800.62 v -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x108 -x2783 -x107 -x2781 -x2779 -x2777 -x106 -x2775 -x2773 -x2771 -x105
1800.03/1800.62 v -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x104 -x2755 -x2753 -x103 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739
1800.03/1800.62 v -x102 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x101 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707
1800.03/1800.62 v -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x100 -x2693 -x2691 -x2689 -x99 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x98
1800.03/1800.62 v -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x97 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641
1800.03/1800.62 v -x2639 -x2637 -x2635 -x2633 -x96 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x95 -x2617 -x2615 -x2613 -x2611 -x2609
1800.03/1800.62 v -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x94 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573
1800.03/1800.62 v -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x93 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539
1800.03/1800.62 v -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503
1800.03/1800.62 v -x2501 -x2499 -x92 -x2497 -x2495 -x2493 -x91 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x90 -x2477 -x2475 x2473
1800.03/1800.62 v -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437
1800.03/1800.62 v -x2435 -x89 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x88 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403
1800.03/1800.62 v -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x87 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369
1800.03/1800.62 v -x2367 -x2365 -x2363 -x2361 -x86 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 x2335
1800.03/1800.62 v -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299
1800.03/1800.62 v -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x85 -x2283 -x84 -x2281 -x2279 -x2277 -x83 -x2275 -x2273 -x2271 -x82 -x2269
1800.03/1800.62 v -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x81 -x2255 -x2253 -x2251 -x80 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237
1800.03/1800.62 v -x79 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x78 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203
1800.03/1800.62 v -x2201 -x2199 -x2197 -x2195 -x2193 -x77 -x2191 -x2189 -x2187 -x76 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x75 -x2171
1800.03/1800.62 v -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x74 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137
1800.03/1800.62 v -x2135 -x2133 -x2131 -x2129 -x73 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x72 -x2113 -x2111 -x2109 -x2107 -x2105
1800.03/1800.62 v -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x71 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071
1800.03/1800.62 v -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x70 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037
1800.03/1800.62 v -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001
1800.03/1800.62 v -x1999 -x1997 -x1995 -x1993 -x69 -x1991 -x1989 -x1987 -x68 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x67 -x1971 -x1969
1800.03/1800.62 v -x1967 -x1965 -x1963 -x1961 -x1959 -x66 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 x1937 -x1935
1800.03/1800.62 v -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x65 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901
1800.03/1800.62 v -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x64 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865
1800.03/1800.62 v -x1863 -x1861 -x1859 -x1857 -x1855 -x63 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831
1800.03/1800.62 v -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795
1800.03/1800.62 v -x1793 -x62 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x61 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763
1800.03/1800.62 v -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x60 -x1747 -x1745 -x1743 -x1741 x1739 -x1737 -x1735 -x1733 -x1731 -x1729
1800.03/1800.62 v -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693
1800.03/1800.62 v -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657
1800.03/1800.62 v -x59 -x1655 -x1653 x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623
1800.03/1800.62 v -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587
1800.03/1800.62 v -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x58 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553
1800.03/1800.62 v -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1516
1800.03/1800.62 v -x1514 -x1512 -x1510 -x1508 -x1506 -x57 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482
1800.03/1800.62 v -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446
1800.03/1800.62 v -x1444 -x1442 x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410
1800.03/1800.62 v -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374
1800.03/1800.62 v -x56 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x55 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x54 -x1344 -x1342
1800.03/1800.62 v -x1340 -x1338 -x1336 -x1334 -x1332 -x53 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308
1800.03/1800.62 v -x1306 -x1304 -x1302 -x52 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x51 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276
1800.03/1800.62 v -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x50 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x49 -x1242
1800.03/1800.62 v -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x48 -x1210 -x1208
1800.03/1800.62 v -x1206 -x47 -x1204 -x1202 -x1200 -x46 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x45 -x1184 -x1182 -x1180 -x44 -x1178
1800.03/1800.62 v -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x43 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x42 -x1150 -x1148 -x41 -x1146
1800.03/1800.62 v -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x40 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x39 -x1118 -x1116 -x1114
1800.03/1800.62 v -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x38 -x1088 -x1086 -x1084 -x37 -x1082 -x1080
1800.03/1800.62 v -x1078 -x1076 -x1074 -x1072 -x1070 -x36 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x35 -x1054 -x1052 -x1050 -x1048
1800.03/1800.62 v -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x34 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014
1800.03/1800.62 v -x1012 -x33 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976
1800.03/1800.62 v -x32 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x31 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x30 -x946 x944 -x942 -x940 -x938
1800.03/1800.62 v -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x29 -x902 -x900 -x898
1800.03/1800.62 v -x896 -x894 -x892 -x890 -x888 -x886 x884 -x882 -x880 -x878 -x876 -x874 -x872 x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856
1800.03/1800.62 v -x854 -x28 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x27 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818
1800.03/1800.62 v -x816 -x814 -x812 -x810 -x26 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x25 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780
1800.03/1800.62 v -x778 -x776 -x774 x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x24 -x750 -x748 -x746 -x744 -x742 -x740
1800.03/1800.62 v -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x23 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700
1800.03/1800.62 v -x698 -x696 -x694 -x692 -x22 -x690 -x688 -x686 -x684 -x682 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659
1800.03/1800.62 v -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617
1800.03/1800.62 v -x21 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x20 -x585 -x583 -x581 -x579
1800.03/1800.62 v -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x19 -x555 -x553 -x551 -x549 -x547 -x545 x543 -x541 -x539
1800.03/1800.62 v -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497
1800.03/1800.62 v -x495 -x493 -x18 -x491 -x489 -x487 -x17 -x485 -x483 -x481 -x16 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x15 -x465 -x463 -x461
1800.03/1800.62 v -x14 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x13 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x12 -x431 -x429 -x427 -x425
1800.03/1800.62 v -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x11 -x401 -x399 -x397 -x10 -x395 -x393 -x391 -x389 -x387
1800.03/1800.62 v -x385 -x383 -x9 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x8 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347
1800.03/1800.62 v -x345 -x343 -x341 -x339 -x7 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x6 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309
1800.03/1800.62 v -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x5 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269
1800.03/1800.62 v -x267 -x265 -x4 -x263 -x261 -x259 x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227
1800.03/1800.62 v -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x3 -x195 -x193 -x191 -x189 -x187
1800.03/1800.62 v -x185 -x183 -x2 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x1 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 x149 -x147
1800.03/1800.62 v -x145 -x143 -x141 -x139 -x137 x3187 x3185 -x3183 -x3181 x3179 x3177 -x3175 -x3173 -x3171 -x3169 x3167 -x3165 -x3163 x3161
1800.03/1800.62 v -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125
1800.03/1800.62 v -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089
1800.03/1800.62 v -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053
1800.03/1800.62 v x3051 -x3049 -x3047 -x3045 -x3043 -x3041 x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017
1800.03/1800.62 v -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981
1800.03/1800.62 v -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945
1800.03/1800.62 v -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909
1800.03/1800.62 v -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873
1800.03/1800.62 v -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839
1800.03/1800.62 v -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803
1800.03/1800.62 v -x2801 -x2799 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768
1800.03/1800.62 v -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732
1800.03/1800.62 v -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696
1800.03/1800.62 v -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660
1800.03/1800.62 v -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624
1800.03/1800.62 v -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590
1800.03/1800.62 v -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554
1800.03/1800.62 v -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518
1800.03/1800.62 v -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482
1800.03/1800.62 v -x2480 -x2478 -x2476 x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446
1800.03/1800.62 v -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410
1800.03/1800.62 v -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374
1800.03/1800.62 v -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338
1800.03/1800.62 v x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302
1800.03/1800.62 v -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268
1800.03/1800.62 v -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232
1800.03/1800.62 v -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196
1800.03/1800.62 v -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160
1800.03/1800.62 v -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124
1800.03/1800.62 v -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088
1800.03/1800.62 v -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052
1800.03/1800.62 v -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018
1800.03/1800.62 v -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982
1800.03/1800.62 v -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946
1800.03/1800.62 v -x1944 -x1942 -x1940 x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910
1800.03/1800.62 v -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874
1800.03/1800.62 v -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838
1800.03/1800.62 v -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802
1800.03/1800.62 v -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766
1800.03/1800.62 v -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 x1740 -x1738 -x1736 -x1734 -x1732 -x1730
1800.03/1800.62 v -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696
1800.03/1800.62 v -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660
1800.03/1800.62 v -x1658 -x1656 -x1654 x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624
1800.03/1800.62 v -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588
1800.03/1800.62 v -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552
1800.03/1800.62 v -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1517
1800.03/1800.62 v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481
1800.03/1800.62 v -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445
1800.03/1800.62 v -x1443 x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409
1800.03/1800.62 v -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375
1800.03/1800.62 v -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339
1800.03/1800.62 v -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303
1800.03/1800.62 v -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267
1800.03/1800.62 v -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231
1800.03/1800.62 v x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195
1800.03/1800.62 v -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159
1800.03/1800.62 v -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123
1800.03/1800.62 v -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089
1800.03/1800.62 v -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053
1800.03/1800.62 v -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017
1800.03/1800.62 v -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977
1800.03/1800.62 v -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 x945 -x943 -x941 -x939 -x937 -x935
1800.03/1800.62 v -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893
1800.03/1800.62 v -x891 -x889 -x887 x885 -x883 -x881 -x879 -x877 -x875 -x873 x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851
1800.03/1800.62 v -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809
1800.03/1800.62 v -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 x773 -x771 -x769 -x767
1800.03/1800.62 v -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727
1800.03/1800.62 v -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685
1800.03/1800.62 v -x683 x681 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644
1800.03/1800.62 v -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602
1800.03/1800.62 v -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560
1800.03/1800.62 v -x558 -x556 -x554 -x552 -x550 -x548 -x546 x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518
1800.03/1800.62 v -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476
1800.03/1800.62 v -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434
1800.03/1800.62 v -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394
1800.03/1800.62 v -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352
1800.03/1800.62 v -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310
1800.03/1800.62 v -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268
1800.03/1800.62 v -x266 -x264 -x262 -x260 x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226
1800.03/1800.62 v -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184
1800.03/1800.62 v -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 -x166 -x164 -x162 -x160 -x158 -x156 -x154 -x152 x150 -x148 -x146 -x144 -x142
1800.03/1800.62 v -x140 -x138
1800.03/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.62 c Solving Time : 1761.47
1800.03/1800.62 c Original Problem :
1800.03/1800.62 c Problem name : HOME/instance-2665372-1276636196.opb
1800.03/1800.62 c Variables : 3187 (3187 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 8922 initial, 8922 maximal
1800.03/1800.62 c Presolved Problem :
1800.03/1800.62 c Problem name : t_HOME/instance-2665372-1276636196.opb
1800.03/1800.62 c Variables : 825 (825 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 2143 initial, 2490 maximal
1800.03/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.62 c trivial : 0.01 733 0 0 0 0 0 0 0
1800.03/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c implics : 0.00 0 9 0 0 0 0 0 0
1800.03/1800.62 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.62 c knapsack : 0.08 0 0 0 0 0 0 0 0
1800.03/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c linear : 0.10 94 1526 0 94 0 3919 2 2
1800.03/1800.62 c logicor : 0.07 0 0 0 0 0 2141 0 0
1800.03/1800.62 c root node : - 733 - - 733 - - - -
1800.03/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c integral : 0 0 0 2 0 0 0 0 0 4
1800.03/1800.62 c knapsack : 7 1 4558317 0 0 0 0 0 0 0
1800.03/1800.62 c setppc : 13 1 4548882 0 0 0 2 0 0 0
1800.03/1800.62 c logicor : 2123+ 16 3207258 0 0 620362 5430009 0 0 0
1800.03/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.62 c integral : 3.69 0.00 0.00 3.69 0.00
1800.03/1800.62 c knapsack : 1263.31 0.26 1263.05 0.00 0.00
1800.03/1800.62 c setppc : 3.19 0.00 3.19 0.00 0.00
1800.03/1800.62 c logicor : 178.71 0.00 178.71 0.00 0.00
1800.03/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.62 c vbounds : 2.09 3 0 0
1800.03/1800.62 c rootredcost : 1.84 0 0 0
1800.03/1800.62 c pseudoobj : 168.98 4672773 114440 9359895
1800.03/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.62 c propagation : 162.85 734802 734802 734802 111.8 9509 48.1 -
1800.03/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c pseudo solution : 0.00 12 12 12 87.2 0 0.0 -
1800.03/1800.62 c applied globally : - - - 150232 50.9 - - -
1800.03/1800.62 c applied locally : - - - 591854 126.2 - - -
1800.03/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 7)
1800.03/1800.62 c redcost : 0.01 16 0 684 0 0
1800.03/1800.62 c impliedbounds : 0.00 16 0 0 0 0
1800.03/1800.62 c intobj : 0.00 0 0 0 0 0
1800.03/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.62 c gomory : 7.58 16 0 0 1400 0
1800.03/1800.62 c strongcg : 6.51 16 0 0 4713 0
1800.03/1800.62 c cmir : 0.41 11 0 0 0 0
1800.03/1800.62 c flowcover : 0.71 11 0 0 0 0
1800.03/1800.62 c clique : 0.01 16 0 0 48 0
1800.03/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.62 c mcf : 0.01 2 0 0 0 0
1800.03/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.62 c Pricers : Time Calls Vars
1800.03/1800.62 c problem variables: 0.00 0 0
1800.03/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c relpscost : 3.69 2 0 0 0 0 4
1800.03/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c inference : 18.75 851939 0 0 0 0 1703878
1800.03/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c random : 0.00 0 0 0 0 0 0
1800.03/1800.62 c Primal Heuristics : Time Calls Found
1800.03/1800.62 c LP solutions : 0.00 - 0
1800.03/1800.62 c pseudo solutions : 0.00 - 0
1800.03/1800.62 c crossover : 0.00 0 0
1800.03/1800.62 c oneopt : 0.59 3 1
1800.03/1800.62 c trivial : 0.01 2 0
1800.03/1800.62 c simplerounding : 0.00 0 0
1800.03/1800.62 c zirounding : 0.01 2 0
1800.03/1800.62 c rounding : 0.01 16 3
1800.03/1800.62 c shifting : 0.10 16 0
1800.03/1800.62 c intshifting : 0.00 0 0
1800.03/1800.62 c twoopt : 0.00 0 0
1800.03/1800.62 c fixandinfer : 0.00 0 0
1800.03/1800.62 c feaspump : 0.00 0 0
1800.03/1800.62 c coefdiving : 0.00 0 0
1800.03/1800.62 c pscostdiving : 0.00 0 0
1800.03/1800.62 c fracdiving : 0.00 0 0
1800.03/1800.62 c veclendiving : 0.00 0 0
1800.03/1800.62 c intdiving : 0.00 0 0
1800.03/1800.62 c actconsdiving : 0.00 0 0
1800.03/1800.62 c objpscostdiving : 0.00 0 0
1800.03/1800.62 c rootsoldiving : 0.00 0 0
1800.03/1800.62 c linesearchdiving : 0.00 0 0
1800.03/1800.62 c guideddiving : 0.00 0 0
1800.03/1800.62 c octane : 0.00 0 0
1800.03/1800.62 c rens : 0.40 1 1
1800.03/1800.62 c rins : 0.00 0 0
1800.03/1800.62 c localbranching : 0.00 0 0
1800.03/1800.62 c mutation : 0.00 0 0
1800.03/1800.62 c dins : 0.00 0 0
1800.03/1800.62 c undercover : 0.00 0 0
1800.03/1800.62 c nlp : 0.43 0 0
1800.03/1800.62 c trysol : 0.55 0 0
1800.03/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.62 c dual LP : 0.59 16 1917 119.81 3249.15
1800.03/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.62 c strong branching : 3.69 48 12946 269.71 3508.40
1800.03/1800.62 c (at root node) : - 48 12946 269.71 -
1800.03/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.62 c B&B Tree :
1800.03/1800.62 c number of runs : 2
1800.03/1800.62 c nodes : 1159062
1800.03/1800.62 c nodes (total) : 1159063
1800.03/1800.62 c nodes left : 346
1800.03/1800.62 c max depth : 375
1800.03/1800.62 c max depth (total): 375
1800.03/1800.62 c backtracks : 439205 (37.9%)
1800.03/1800.62 c delayed cutoffs : 544470
1800.03/1800.62 c repropagations : 1247940 (8434217 domain reductions, 427692 cutoffs)
1800.03/1800.62 c avg switch length: 2.92
1800.03/1800.62 c switching time : 38.65
1800.03/1800.62 c Solution :
1800.03/1800.62 c Solutions found : 5 (5 improvements)
1800.03/1800.62 c First Solution : +4.79999999999999e+01 (in run 1, after 1 nodes, 0.34 seconds, depth 0, found by <rounding>)
1800.03/1800.62 c Primal Bound : +2.60000000000000e+01 (in run 1, after 1 nodes, 14.82 seconds, depth 0, found by <rens>)
1800.03/1800.62 c Dual Bound : +2.40472440944882e+01
1800.03/1800.62 c Gap : 8.12 %
1800.03/1800.62 c Root Dual Bound : +2.40004603593291e+01
1800.03/1800.62 c Root Iterations : 1917
1800.03/1800.66 c Time complete: 1800.09.
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665372-1276636196/watcher-2665372-1276636196 -o /tmp/evaluation-result-2665372-1276636196/solver-2665372-1276636196 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665372-1276636196.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13223 /proc/meminfo: memFree=1817244/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=9288 CPUtime=0 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 1053 0 0 0 0 0 0 0 22 0 1 0 4913330 9510912 974 1992294400 4194304 9819077 140733210897936 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13223/statm: 2322 984 371 1374 0 943 0 [startup+0.012214 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13223 /proc/meminfo: memFree=1817244/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=11020 CPUtime=0 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 1671 0 0 0 0 0 0 0 22 0 1 0 4913330 11284480 1592 1992294400 4194304 9819077 140733210897936 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13223/statm: 2755 1594 384 1374 0 1376 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11020 [startup+0.101222 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13223 /proc/meminfo: memFree=1817244/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=16580 CPUtime=0.09 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 3078 0 0 0 8 1 0 0 24 0 1 0 4913330 16977920 2998 1992294400 4194304 9819077 140733210897936 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13223/statm: 4145 2998 388 1374 0 2766 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16580 [startup+0.301242 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13223 /proc/meminfo: memFree=1817244/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=30176 CPUtime=0.29 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 7158 0 0 0 26 3 0 0 25 0 1 0 4913330 30900224 6210 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 7544 6210 492 1374 0 6165 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30176 [startup+0.701283 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13223 /proc/meminfo: memFree=1817244/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=47572 CPUtime=0.69 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 12397 0 0 0 63 6 0 0 18 0 1 0 4913330 48713728 9904 1992294400 4194304 9819077 140733210897936 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 11893 9904 650 1374 0 10514 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47572 [startup+1.50136 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13224 /proc/meminfo: memFree=1772596/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55432 CPUtime=1.49 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 14499 0 0 0 141 8 0 0 19 0 1 0 4913330 56762368 11853 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13858 11853 673 1374 0 12479 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55432 [startup+3.10153 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13224 /proc/meminfo: memFree=1771852/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55896 CPUtime=3.09 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 14845 0 0 0 300 9 0 0 22 0 1 0 4913330 57237504 11979 1992294400 4194304 9819077 140733210897936 18446744073709551615 6555543 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13974 11979 675 1374 0 12595 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55896 [startup+6.30086 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13224 /proc/meminfo: memFree=1770736/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=56112 CPUtime=6.29 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 15292 0 0 0 617 12 0 0 25 0 1 0 4913330 57458688 12092 1992294400 4194304 9819077 140733210897936 18446744073709551615 8495012 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 14028 12092 675 1374 0 12649 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56112 [startup+12.7005 s] /proc/loadavg: 1.23 1.05 1.02 2/107 13224 /proc/meminfo: memFree=1770372/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=56404 CPUtime=12.68 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 15999 0 0 0 1252 16 0 0 25 0 1 0 4913330 57757696 12146 1992294400 4194304 9819077 140733210897936 18446744073709551615 7311697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 14101 12146 675 1374 0 12722 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 56404 [startup+25.5008 s] /proc/loadavg: 1.20 1.05 1.01 2/107 13224 /proc/meminfo: memFree=1770248/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=54424 CPUtime=25.48 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37417 0 0 0 2510 38 0 0 25 0 1 0 4913330 55730176 12205 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13606 12205 728 1374 0 12227 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54424 [startup+51.1015 s] /proc/loadavg: 1.13 1.04 1.01 2/107 13226 /proc/meminfo: memFree=1770124/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=54824 CPUtime=51.06 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37538 0 0 0 5012 94 0 0 25 0 1 0 4913330 56139776 12326 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13706 12326 728 1374 0 12327 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 54824 [startup+102.309 s] /proc/loadavg: 1.05 1.03 1.01 2/107 13226 /proc/meminfo: memFree=1769876/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55092 CPUtime=102.25 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37608 0 0 0 10024 201 0 0 25 0 1 0 4913330 56414208 12396 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13773 12396 728 1374 0 12394 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 55092 [startup+162.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 13228 /proc/meminfo: memFree=1769752/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55228 CPUtime=162.22 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37639 0 0 0 15895 327 0 0 25 0 1 0 4913330 56553472 12427 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13807 12427 729 1374 0 12428 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 55228 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13230 /proc/meminfo: memFree=1769504/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55364 CPUtime=222.21 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37673 0 0 0 21762 459 0 0 25 0 1 0 4913330 56692736 12461 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13841 12461 729 1374 0 12462 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 55364 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13232 /proc/meminfo: memFree=1769504/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55496 CPUtime=282.19 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37686 0 0 0 27623 596 0 0 25 0 1 0 4913330 56827904 12474 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13874 12474 729 1374 0 12495 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 55496 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13234 /proc/meminfo: memFree=1769380/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55496 CPUtime=342.18 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37712 0 0 0 33489 729 0 0 25 0 1 0 4913330 56827904 12500 1992294400 4194304 9819077 140733210897936 18446744073709551615 5925439 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13874 12500 729 1374 0 12495 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 55496 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13234 /proc/meminfo: memFree=1769256/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55628 CPUtime=402.15 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37725 0 0 0 39356 859 0 0 25 0 1 0 4913330 56963072 12513 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13907 12513 729 1374 0 12528 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 55628 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13236 /proc/meminfo: memFree=1769132/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55628 CPUtime=462.13 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37735 0 0 0 45225 988 0 0 25 0 1 0 4913330 56963072 12523 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13907 12523 729 1374 0 12528 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 55628 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13238 /proc/meminfo: memFree=1769132/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55628 CPUtime=522.11 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37739 0 0 0 51093 1118 0 0 25 0 1 0 4913330 56963072 12527 1992294400 4194304 9819077 140733210897936 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13907 12527 729 1374 0 12528 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 55628 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13240 /proc/meminfo: memFree=1768884/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55760 CPUtime=582.09 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37753 0 0 0 56962 1247 0 0 25 0 1 0 4913330 57098240 12541 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13940 12541 729 1374 0 12561 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 55760 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13242 /proc/meminfo: memFree=1768884/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55760 CPUtime=642.08 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37766 0 0 0 62833 1375 0 0 25 0 1 0 4913330 57098240 12554 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13940 12554 729 1374 0 12561 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 55760 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13246 /proc/meminfo: memFree=1768512/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=822.02 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37794 0 0 0 80432 1770 0 0 25 0 1 0 4913330 57233408 12582 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12582 729 1374 0 12594 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 55892 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13248 /proc/meminfo: memFree=1768388/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=882 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37795 0 0 0 86302 1898 0 0 25 0 1 0 4913330 57233408 12583 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854270 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12583 729 1374 0 12594 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 55892 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13250 /proc/meminfo: memFree=1768388/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=941.98 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37799 0 0 0 92170 2028 0 0 25 0 1 0 4913330 57233408 12587 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12587 729 1374 0 12594 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 55892 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13250 /proc/meminfo: memFree=1768264/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1001.97 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37801 0 0 0 98038 2159 0 0 25 0 1 0 4913330 57233408 12589 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12589 729 1374 0 12594 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 55892 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13252 /proc/meminfo: memFree=1768264/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1061.95 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37805 0 0 0 103908 2287 0 0 25 0 1 0 4913330 57233408 12593 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12593 729 1374 0 12594 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 55892 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13254 /proc/meminfo: memFree=1768140/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1121.94 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37805 0 0 0 109770 2424 0 0 25 0 1 0 4913330 57233408 12593 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12593 729 1374 0 12594 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 55892 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13256 /proc/meminfo: memFree=1768016/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1181.91 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37805 0 0 0 115640 2551 0 0 25 0 1 0 4913330 57233408 12593 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12593 729 1374 0 12594 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 55892 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13258 /proc/meminfo: memFree=1767768/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1241.9 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37806 0 0 0 121512 2678 0 0 25 0 1 0 4913330 57233408 12594 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12594 729 1374 0 12594 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 55892 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13258 /proc/meminfo: memFree=1767768/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1301.88 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37808 0 0 0 127394 2794 0 0 25 0 1 0 4913330 57233408 12596 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12596 729 1374 0 12594 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 55892 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13260 /proc/meminfo: memFree=1767768/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1361.85 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37810 0 0 0 133261 2924 0 0 25 0 1 0 4913330 57233408 12598 1992294400 4194304 9819077 140733210897936 18446744073709551615 4704207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12598 729 1374 0 12594 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 55892 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13262 /proc/meminfo: memFree=1767768/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1421.84 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37810 0 0 0 139131 3053 0 0 25 0 1 0 4913330 57233408 12598 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12598 729 1374 0 12594 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 55892 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13264 /proc/meminfo: memFree=1767644/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1481.82 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37810 0 0 0 145005 3177 0 0 25 0 1 0 4913330 57233408 12598 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12598 729 1374 0 12594 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 55892 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13269 /proc/meminfo: memFree=1766776/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1541.8 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37810 0 0 0 150882 3298 0 0 25 0 1 0 4913330 57233408 12598 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12598 729 1374 0 12594 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 55892 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13269 /proc/meminfo: memFree=1766776/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1601.78 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37810 0 0 0 156757 3421 0 0 25 0 1 0 4913330 57233408 12598 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12598 729 1374 0 12594 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 55892 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13271 /proc/meminfo: memFree=1766776/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1661.76 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37811 0 0 0 162627 3549 0 0 25 0 1 0 4913330 57233408 12599 1992294400 4194304 9819077 140733210897936 18446744073709551615 8675020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12599 729 1374 0 12594 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 55892 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13273 /proc/meminfo: memFree=1766776/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1721.74 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37811 0 0 0 168499 3675 0 0 25 0 1 0 4913330 57233408 12599 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12599 729 1374 0 12594 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 55892 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13275 /proc/meminfo: memFree=1766776/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1781.72 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37811 0 0 0 174366 3806 0 0 25 0 1 0 4913330 57233408 12599 1992294400 4194304 9819077 140733210897936 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12599 729 1374 0 12594 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 55892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13275 /proc/meminfo: memFree=1766776/2059040 swapFree=4175448/4192956 [pid=13223] ppid=13221 vsize=55892 CPUtime=1800.03 /proc/13223/stat : 13223 (pbscip.linux.x8) R 13221 13223 12951 0 -1 4202496 37814 0 0 0 176160 3843 0 0 25 0 1 0 4913330 57233408 12602 1992294400 4194304 9819077 140733210897936 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13223/statm: 13973 12602 729 1374 0 12594 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 55892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.09 CPU user time (s): 1761.65 CPU system time (s): 38.4422 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 74032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.65 system time used= 38.4422 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37822 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3959 runsolver used 3.06653 second user time and 8.42472 second system time The end
Begin job on node083 at 2010-06-15 23:09:56 IDJOB=2665372 IDBENCH=24997 IDSOLVER=1168 FILE ID=node083/2665372-1276636196 PBS_JOBID= 11172378 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665372-1276636196/watcher-2665372-1276636196 -o /tmp/evaluation-result-2665372-1276636196/solver-2665372-1276636196 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665372-1276636196.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED=2038707494 node083.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1817648 kB Buffers: 10924 kB Cached: 98404 kB SwapCached: 13528 kB Active: 73384 kB Inactive: 91864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1817648 kB SwapTotal: 4192956 kB SwapFree: 4175448 kB Dirty: 6536 kB Writeback: 0 kB AnonPages: 42340 kB Mapped: 14364 kB Slab: 54336 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181180 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node083 at 2010-06-15 23:39:59