Trace number 2663966

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)22 1800.97 1801.48

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1800.97
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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-2663966-1276642137.opb>
0.29/0.35	c original problem has 5499 variables (5499 bin, 0 int, 0 impl, 0 cont) and 19319 constraints
0.29/0.35	c problem read
0.29/0.35	c presolving settings loaded
0.29/0.35	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.39/0.46	c presolving:
0.59/0.66	c (round 1) 553 del vars, 1089 del conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 0 upgd conss, 144116 impls, 0 clqs
0.59/0.68	c (round 2) 553 del vars, 1107 del conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 0 upgd conss, 144116 impls, 0 clqs
0.79/0.88	c (round 3) 553 del vars, 1107 del conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 18212 upgd conss, 144116 impls, 0 clqs
1.59/1.65	c    (1.2s) probing: 380/4946 (7.7%) - 0 fixings, 2 aggregations, 1907 implications, 0 bound changes
1.59/1.65	c    (1.2s) probing aborted: 100/100 successive totally useless probings
1.59/1.65	c (round 4) 555 del vars, 1107 del conss, 5 chg bounds, 6 chg sides, 6 chg coeffs, 18212 upgd conss, 147822 impls, 0 clqs
1.69/1.71	c    (1.2s) probing: 390/4946 (7.9%) - 0 fixings, 2 aggregations, 1907 implications, 0 bound changes
1.69/1.71	c    (1.2s) probing aborted: 100/100 successive totally useless probings
1.69/1.71	c presolving (5 rounds):
1.69/1.71	c  555 deleted vars, 1107 deleted constraints, 5 tightened bounds, 0 added holes, 6 changed sides, 6 changed coefficients
1.69/1.71	c  147822 implications, 0 cliques
1.69/1.71	c presolved problem has 4944 variables (4944 bin, 0 int, 0 impl, 0 cont) and 18212 constraints
1.69/1.71	c       1 constraints of type <knapsack>
1.69/1.71	c   18211 constraints of type <logicor>
1.69/1.71	c transformed objective value is always integral (scale: 1)
1.69/1.71	c Presolving Time: 1.17
1.69/1.71	c - non default parameters ----------------------------------------------------------------------
1.69/1.71	c # SCIP version 1.2.1.2
1.69/1.71	c 
1.69/1.71	c # frequency for displaying node information lines
1.69/1.71	c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.71	c display/freq = 10000
1.69/1.71	c 
1.69/1.71	c # maximal time in seconds to run
1.69/1.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.71	c limits/time = 1799.65
1.69/1.71	c 
1.69/1.71	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.71	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.71	c limits/memory = 1620
1.69/1.71	c 
1.69/1.71	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.69/1.71	c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.71	c lp/solvefreq = -1
1.69/1.71	c 
1.69/1.71	c # should presolving try to simplify inequalities
1.69/1.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.71	c constraints/linear/simplifyinequalities = TRUE
1.69/1.71	c 
1.69/1.71	c # should presolving try to simplify knapsacks
1.69/1.71	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.71	c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.71	c 
1.69/1.71	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.71	c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.71	c separating/rapidlearning/freq = 0
1.69/1.71	c 
1.69/1.71	c -----------------------------------------------------------------------------------------------
1.69/1.71	c start solving
1.69/1.72	c 
1.69/1.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.69/1.74	c   1.2s|     1 |     2 |     0 |     - |  29M|   0 |   - |4944 |  18k|   0 |   0 |   0 |   0 |   0 | 5.000000e+00 |      --      |    Inf 
27.18/27.23	o 30
27.18/27.23	c *26.7s|  2492 |  2463 |     0 |   0.0 |  30M|2478 |   - |4944 |  18k|   0 |   0 |   0 |  74 |   0 | 5.000000e+00 | 3.000000e+01 | 500.00%
31.09/31.14	o 26
31.09/31.14	c *30.6s|  2949 |  2889 |     0 |   0.0 |  31M|2478 |   - |4944 |  18k|   0 |   0 |   0 | 171 |   0 | 5.000000e+00 | 2.600000e+01 | 420.00%
67.57/67.65	o 25
67.57/67.65	c *67.0s|  6362 |  6121 |     0 |   0.0 |  36M|2478 |   - |4944 |  18k|   0 |   0 |   0 | 689 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
101.46/101.50	c   101s| 10000 |  9601 |     0 |   0.0 |  41M|2478 |   - |4944 |  18k|   0 |   0 |   0 |1237 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
185.44/185.59	c   184s| 20000 | 19031 |     0 |   0.0 |  57M|2478 |   - |4944 |  18k|   0 |   0 |   0 |3451 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
261.12/261.23	c   260s| 30000 | 28468 |     0 |   0.0 |  73M|2478 |   - |4944 |  19k|   0 |   0 |   0 |5853 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
335.31/335.46	c   333s| 40000 | 37872 |     0 |   0.0 |  90M|2478 |   - |4944 |  19k|   0 |   0 |   0 |8399 |   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
401.88/402.01	c   399s| 50000 | 47227 |     0 |   0.0 | 106M|2478 |   - |4944 |  19k|   0 |   0 |   0 |  10k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
469.48/469.60	c   466s| 60000 | 56391 |     0 |   0.0 | 122M|2478 |   - |4944 |  19k|   0 |   0 |   0 |  14k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
536.15/536.32	c   533s| 70000 | 65626 |     0 |   0.0 | 138M|2478 |   - |4944 |  19k|   0 |   0 |   0 |  16k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
597.73/597.98	c   594s| 80000 | 74758 |     0 |   0.0 | 153M|2478 |   - |4944 |  19k|   0 |   0 |   0 |  19k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
652.62/652.87	c   648s| 90000 | 83950 |     0 |   0.0 | 167M|2478 |   - |4944 |  19k|   0 |   0 |   0 |  22k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
706.81/707.04	c   702s|100000 | 93212 |     0 |   0.0 | 180M|2478 |   - |4944 |  19k|   0 |   0 |   0 |  25k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
758.87/759.13	c   754s|110000 |102548 |     0 |   0.0 | 193M|2478 |   - |4944 |  19k|   0 |   0 |   0 |  27k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
836.06/836.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
836.06/836.33	c   830s|120000 |111045 |     0 |   0.0 | 206M|2478 |   - |4944 |  20k|   0 |   0 |   0 |  31k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
1055.99/1056.33	c  1050s|130000 |119893 |     0 |   0.0 | 216M|2478 |   - |4944 |  20k|   0 |   0 |   0 |  34k|   0 | 5.000000e+00 | 2.500000e+01 | 400.00%
1149.56/1149.98	o 24
1149.56/1149.98	c *1143s|138260 |125312 |     0 |   0.0 | 224M|2478 |   - |4944 |  20k|   0 |   0 |   0 |  36k|   0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1157.87/1158.26	c  1151s|140000 |126808 |     0 |   0.0 | 226M|2478 |   - |4944 |  20k|   0 |   0 |   0 |  37k|   0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1234.34/1234.72	c  1227s|150000 |135650 |     0 |   0.0 | 235M|2484 |   - |4944 |  21k|   0 |   0 |   0 |  41k|   0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1280.03/1280.44	c  1272s|160000 |145059 |     0 |   0.0 | 246M|2484 |   - |4944 |  21k|   0 |   0 |   0 |  43k|   0 | 6.000000e+00 | 2.400000e+01 | 300.00%
1324.61/1325.04	c  1317s|170000 |154388 |     0 |   0.0 | 257M|2484 |   - |4944 |  21k|   0 |   0 |   0 |  46k|   0 | 7.000000e+00 | 2.400000e+01 | 242.86%
1373.60/1374.03	c  1365s|180000 |163665 |     0 |   0.0 | 270M|2484 |   - |4944 |  22k|   0 |   0 |   0 |  49k|   0 | 7.000000e+00 | 2.400000e+01 | 242.86%
1425.29/1425.76	c  1417s|190000 |172966 |     0 |   0.0 | 284M|2484 |   - |4944 |  23k|   0 |   0 |   0 |  52k|   0 | 7.000000e+00 | 2.400000e+01 | 242.86%
1468.47/1469.00	c  1460s|200000 |182130 |     0 |   0.0 | 294M|2484 |   - |4944 |  23k|   0 |   0 |   0 |  56k|   0 | 7.000000e+00 | 2.400000e+01 | 242.86%
1511.06/1511.59	c  1502s|210000 |191407 |     0 |   0.0 | 305M|2484 |   - |4944 |  24k|   0 |   0 |   0 |  59k|   0 | 7.000000e+00 | 2.400000e+01 | 242.86%
1534.75/1535.28	o 22
1534.75/1535.28	c *1525s|216763 |180411 |     0 |   0.0 | 298M|2484 |   - |4944 |  24k|   0 |   0 |   0 |  61k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1545.95/1546.49	c  1536s|220000 |183406 |     0 |   0.0 | 302M|2484 |   - |4944 |  24k|   0 |   0 |   0 |  63k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1586.43/1586.93	c  1577s|230000 |192586 |     0 |   0.0 | 313M|2484 |   - |4944 |  24k|   0 |   0 |   0 |  66k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1621.82/1622.38	c  1612s|240000 |201849 |     0 |   0.0 | 324M|2484 |   - |4944 |  25k|   0 |   0 |   0 |  70k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1662.92/1663.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1662.92/1663.42	c  1652s|250000 |211045 |     0 |   0.0 | 335M|2484 |   - |4944 |  25k|   0 |   0 |   0 |  73k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1724.60/1725.14	c  1714s|260000 |220292 |     0 |   0.0 | 345M|2484 |   - |4944 |  26k|   0 |   0 |   0 |  76k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1752.70/1753.23	c  1742s|270000 |229725 |     0 |   0.0 | 354M|2484 |   - |4944 |  26k|   0 |   0 |   0 |  79k|   0 | 7.000000e+00 | 2.200000e+01 | 214.29%
1800.10/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.62	c 
1800.10/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.62	c Solving Time (sec) : 1788.73
1800.10/1800.62	c Solving Nodes      : 277802
1800.10/1800.62	c Primal Bound       : +2.20000000000000e+01 (5 solutions)
1800.10/1800.62	c Dual Bound         : +7.00000000000000e+00
1800.10/1800.62	c Gap                : 214.29 %
1800.10/1800.64	s SATISFIABLE
1800.10/1800.64	v -x5499 -x5497 -x5495 -x5493 x5491 x5489 x5487 x5485 -x5483 x5481 x5479 -x5477 -x5475 -x5473 -x5471 -x5469 x5467 -x5465 -x5464 -x5463 
1800.10/1800.64	v x5462 -x5460 -x5459 -x5458 x5457 -x5455 -x5454 -x5453 x5452 -x5450 -x5449 -x5448 -x5447 -x5445 -x5444 -x5443 -x5442 -x5440 
1800.10/1800.64	v -x5439 -x5438 -x5437 -x5435 -x5434 x5433 x5432 -x5430 -x5429 -x5428 -x5427 -x5425 -x5424 -x5423 -x5422 -x5420 -x5419 -x5418 
1800.10/1800.64	v x5417 -x5415 -x5414 -x5413 -x5412 -x5410 -x5409 -x5408 -x5407 -x5405 -x5404 -x5403 -x5402 -x5400 -x5399 -x5398 x5397 -x5395 
1800.10/1800.64	v -x5394 -x5393 x5392 x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 x5380 -x5378 -x5377 -x5376 -x5375 
1800.10/1800.64	v -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 
1800.10/1800.64	v -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 
1800.10/1800.64	v -x5335 -x5334 x5333 x5332 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5318 -x5317 -x5316 
1800.10/1800.64	v -x5315 -x5313 -x5311 -x5310 -x5309 -x5308 -x5306 -x5304 -x5303 -x5302 -x5301 -x5299 -x5297 -x5296 -x5295 -x5294 -x5292 -x5290 
1800.10/1800.64	v -x5289 -x5288 -x5287 -x5285 -x5284 -x5283 -x5282 x5280 -x5278 -x5277 -x5276 x5275 x5273 -x5271 -x5270 -x5269 -x5268 -x5266 
1800.10/1800.64	v -x5264 -x5263 -x5262 -x5261 -x5259 -x5257 -x5256 -x5255 -x5254 x5252 -x5250 -x5249 -x5248 -x5247 -x5245 -x5244 -x5243 -x5242 
1800.10/1800.64	v -x5240 -x5238 -x5237 -x5236 -x5235 -x5233 -x5232 -x5231 x5230 x5228 -x5226 -x5225 -x5224 -x5223 x5221 -x5219 -x5218 -x5217 -x5216 
1800.10/1800.64	v x5214 -x5212 -x5211 -x5210 -x5209 -x5207 -x5206 -x5205 -x5204 -x5202 -x5201 -x5200 -x5199 x5197 -x5195 -x5194 -x5193 -x5192 
1800.10/1800.64	v x5190 -x5188 x5187 -x5186 x5185 -x5183 -x5181 -x5180 -x5179 -x5178 -x5176 -x5174 -x5173 -x5172 x5171 -x5169 -x5167 -x5166 
1800.10/1800.64	v -x5165 x5164 -x5162 -x5160 -x5159 -x5158 -x5157 -x5155 -x5153 -x5151 -x5150 -x5149 -x5148 -x5146 -x5144 -x5143 -x5142 x5141 
1800.10/1800.64	v -x5139 -x5137 -x5136 -x5135 x5134 x5132 -x5130 -x5129 -x5128 -x5127 -x5125 -x5123 -x5122 -x5121 x5120 -x5118 -x5116 -x5115 -x5114 
1800.10/1800.64	v -x5113 -x5111 -x5109 -x5108 -x5107 -x5106 -x5104 -x5102 -x5101 -x5100 x5099 x5097 -x5095 -x5094 -x5093 -x5092 -x5090 -x5088 
1800.10/1800.64	v -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 
1800.10/1800.64	v -x5068 -x5067 -x5066 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 x5054 -x5052 -x5051 -x5050 -x5049 
1800.10/1800.64	v -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 
1800.10/1800.64	v -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 
1800.10/1800.64	v -x5010 -x5009 -x5008 -x5007 -x5006 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 x4994 -x4992 -x4991 
1800.10/1800.64	v -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 x4982 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 
1800.10/1800.64	v -x4971 -x4970 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4956 -x4955 -x4954 -x4953 -x4952 
1800.10/1800.64	v -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4932 
1800.10/1800.64	v -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 
1800.10/1800.64	v -x4912 -x4911 -x4910 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 x4900 -x4899 x4898 -x4896 -x4895 -x4894 -x4893 
1800.10/1800.64	v x4892 -x4891 -x4890 -x4889 -x4888 -x4887 x4886 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 
1800.10/1800.64	v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 
1800.10/1800.64	v -x4853 -x4852 -x4851 -x4850 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4836 -x4835 -x4834 
1800.10/1800.64	v -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 
1800.10/1800.64	v -x4815 -x4814 -x4813 -x4812 -x4811 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 
1800.10/1800.64	v -x4796 x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 x4784 -x4782 -x4781 -x4780 -x4779 -x4778 
1800.10/1800.64	v -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 
1800.10/1800.64	v -x4759 -x4758 -x4757 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 
1800.10/1800.64	v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 
1800.10/1800.64	v -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 
1800.10/1800.64	v -x4704 -x4703 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 
1800.10/1800.64	v -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4674 -x4673 -x4672 x4671 -x4670 -x4669 -x4668 -x4667 
1800.10/1800.64	v -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 x4649 
1800.10/1800.64	v -x4647 -x4646 -x4645 -x4644 -x4642 -x4641 -x4640 -x4639 -x4637 -x4636 -x4635 x4634 -x4632 -x4631 -x4630 -x4629 -x4627 -x4626 
1800.10/1800.64	v -x4625 -x4624 -x4622 -x4621 -x4620 -x4619 -x4617 -x4616 -x4615 -x4614 -x4612 -x4611 -x4610 -x4609 -x4607 -x4606 -x4605 -x4604 
1800.10/1800.64	v -x4602 -x4601 -x4600 -x4599 -x4597 -x4596 -x4595 -x4594 -x4592 -x4591 -x4590 -x4589 -x4587 -x4586 -x4585 x4584 -x4582 -x4581 
1800.10/1800.64	v -x4580 -x4579 -x4577 -x4576 -x4575 -x4574 -x4572 -x4571 -x4570 -x4569 -x4567 -x4566 -x4565 -x4564 -x4562 -x4561 -x4560 -x4559 
1800.10/1800.64	v -x4557 -x4556 -x4555 -x4554 -x4552 -x4551 -x4550 -x4549 -x4547 x4546 -x4545 x4544 -x4542 -x4541 -x4540 -x4539 -x4537 -x4536 
1800.10/1800.64	v -x4535 -x4534 -x4532 -x4531 -x4530 -x4529 -x4527 -x4526 -x4525 x4524 -x4522 -x4521 -x4520 -x4519 -x4517 -x4516 -x4515 -x4514 
1800.10/1800.64	v -x4512 -x4511 -x4510 -x4509 -x4507 -x4506 -x4505 -x4504 -x4502 -x4501 -x4500 -x4499 -x4497 -x4496 -x4495 -x4494 -x4492 -x4491 
1800.10/1800.64	v -x4490 -x4489 -x4487 -x4486 -x4485 -x4484 -x4482 -x4481 -x4480 -x4479 -x4477 -x4476 -x4475 x4474 -x4472 -x4471 -x4470 -x4469 
1800.10/1800.64	v -x4467 -x4466 -x4465 x4464 -x4462 -x4461 -x4460 x4459 -x4457 -x4456 -x4455 -x4454 -x4452 -x4451 -x4450 -x4449 -x4447 -x4446 
1800.10/1800.64	v -x4445 x4444 -x4442 -x4441 -x4440 -x4439 -x4437 -x4436 -x4435 -x4434 -x4432 -x4431 -x4430 -x4429 -x4427 -x4426 -x4425 -x4424 
1800.10/1800.64	v -x4422 -x4421 -x4420 -x4419 -x4417 -x4416 -x4415 x4414 -x4412 -x4411 -x4410 x4409 -x4407 -x4406 -x4405 x4404 -x4402 -x4401 
1800.10/1800.64	v -x4400 -x4399 -x4397 -x4396 -x4395 -x4394 -x4392 -x4391 -x4390 -x4389 -x4387 -x4386 -x4385 -x4384 -x4382 -x4381 -x4380 -x4379 
1800.10/1800.64	v -x4377 -x4376 -x4375 -x4374 -x4372 -x4371 -x4370 -x4369 -x4367 -x4366 -x4365 -x4364 -x4362 -x4361 -x4360 -x4359 -x4357 -x4356 
1800.10/1800.64	v -x4355 -x4354 -x4352 -x4351 -x4350 -x4349 -x4347 -x4346 -x4345 -x4344 -x4342 -x4341 -x4340 -x4339 -x4337 -x4336 -x4335 -x4334 
1800.10/1800.64	v -x4332 -x4331 -x4330 -x4329 -x4327 -x4326 -x4325 -x4324 -x4322 -x4321 -x4320 -x4319 -x4317 -x4316 -x4315 -x4314 -x4312 -x4311 
1800.10/1800.64	v -x4310 -x4309 -x4307 -x4306 -x4305 -x4304 -x4302 -x4301 -x4300 -x4299 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 
1800.10/1800.64	v -x4289 -x4288 -x4287 -x4285 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4271 -x4269 
1800.10/1800.64	v -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4257 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 
1800.10/1800.64	v -x4248 -x4247 -x4246 -x4245 -x4243 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4229 -x4227 
1800.10/1800.64	v -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 x4215 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 
1800.10/1800.64	v -x4206 -x4205 -x4204 x4203 x4201 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4187 -x4185 
1800.10/1800.64	v -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4173 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 
1800.10/1800.64	v -x4164 -x4163 -x4162 -x4161 x4159 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4145 -x4143 
1800.10/1800.64	v -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4131 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 
1800.10/1800.64	v -x4122 -x4121 -x4120 x4119 -x4117 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4103 -x4101 
1800.10/1800.64	v -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4089 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 
1800.10/1800.64	v -x4080 -x4079 -x4078 -x4077 -x4075 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4061 -x4059 
1800.10/1800.64	v -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 x4049 -x4047 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 
1800.10/1800.64	v -x4038 -x4037 -x4036 x4035 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4021 -x4019 -x4018 
1800.10/1800.64	v -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4007 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 
1800.10/1800.64	v -x3997 -x3996 -x3995 -x3993 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 -x3977 
1800.10/1800.64	v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 x3965 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 
1800.10/1800.64	v -x3956 -x3955 -x3954 -x3953 x3951 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 x3937 -x3935 -x3934 
1800.10/1800.64	v -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3923 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 
1800.10/1800.64	v -x3914 -x3913 -x3912 -x3911 -x3909 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 x3895 -x3893 
1800.10/1800.64	v -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 
1800.10/1800.64	v -x3872 -x3871 -x3870 -x3869 -x3867 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3853 -x3851 
1800.10/1800.64	v -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 
1800.10/1800.64	v -x3830 -x3829 -x3828 -x3827 x3825 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3811 -x3809 
1800.10/1800.64	v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 x3802 -x3801 -x3800 x3799 -x3797 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 
1800.10/1800.64	v -x3788 -x3787 -x3786 -x3785 -x3783 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3769 -x3767 
1800.10/1800.64	v -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 
1800.10/1800.64	v -x3746 -x3745 -x3744 -x3743 -x3741 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3727 -x3725 
1800.10/1800.64	v -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3713 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 
1800.10/1800.64	v -x3704 -x3703 -x3702 -x3701 -x3699 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 x3685 -x3683 
1800.10/1800.64	v -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3671 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 
1800.10/1800.64	v -x3662 -x3661 -x3660 -x3659 -x3657 -x3655 -x3654 -x3653 -x3652 x3651 -x3650 -x3649 -x3648 -x3647 -x3646 x3645 -x3643 -x3641 
1800.10/1800.64	v -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3629 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 
1800.10/1800.64	v -x3620 -x3619 -x3618 -x3617 -x3615 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3601 
1800.10/1800.64	v -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3587 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 
1800.10/1800.64	v -x3579 -x3578 -x3577 -x3576 -x3575 -x3573 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3559 
1800.10/1800.64	v -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 x3547 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 
1800.10/1800.64	v -x3538 -x3537 -x3536 -x3535 -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3519 -x3517 
1800.10/1800.64	v -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 
1800.10/1800.64	v -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 
1800.10/1800.64	v -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3463 -x3462 -x3461 
1800.10/1800.64	v -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 
1800.10/1800.64	v -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 
1800.10/1800.64	v -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3409 -x3408 -x3407 -x3406 
1800.10/1800.64	v -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 
1800.10/1800.64	v -x3387 -x3386 -x3385 -x3384 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 
1800.10/1800.64	v -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 
1800.10/1800.64	v -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 
1800.10/1800.64	v -x3331 -x3330 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 
1800.10/1800.64	v -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 
1800.10/1800.64	v -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 
1800.10/1800.64	v x3276 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 
1800.10/1800.64	v -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 
1800.10/1800.64	v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3220 
1800.10/1800.64	v -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 x3206 -x3205 -x3204 -x3203 -x3202 
1800.10/1800.64	v -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 x3195 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 
1800.10/1800.64	v -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 x3168 -x3166 -x3165 -x3164 
1800.10/1800.64	v -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 
1800.10/1800.64	v -x3145 -x3144 -x3143 -x3142 -x3141 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 
1800.10/1800.64	v -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 x3114 -x3112 -x3111 -x3110 -x3109 -x3108 
1800.10/1800.64	v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 
1800.10/1800.64	v -x3090 -x3089 -x3088 -x3087 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 
1800.10/1800.64	v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 
1800.10/1800.64	v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 
1800.10/1800.64	v -x3034 -x3033 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 
1800.10/1800.64	v -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 
1800.10/1800.64	v -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 
1800.10/1800.64	v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 
1800.10/1800.64	v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 
1800.10/1800.64	v -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2923 
1800.10/1800.64	v x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 
1800.10/1800.64	v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 x2898 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 
1800.10/1800.64	v -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2869 -x2868 -x2867 
1800.10/1800.64	v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 
1800.10/1800.64	v -x2848 -x2847 -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 
1800.10/1800.64	v -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2815 -x2814 -x2813 -x2812 -x2811 
1800.10/1800.64	v -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 
1800.10/1800.64	v -x2793 -x2792 -x2791 -x2790 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 
1800.10/1800.64	v -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 
1800.10/1800.64	v -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 
1800.10/1800.64	v -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 
1800.10/1800.64	v -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 
1800.10/1800.64	v -x2700 -x2699 -x2698 -x2697 -x2696 x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
1800.10/1800.64	v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 
1800.10/1800.64	v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 
1800.10/1800.64	v x2647 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 
1800.10/1800.64	v -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 
1800.10/1800.64	v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 
1800.10/1800.64	v -x2592 -x2591 -x2590 -x2589 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 
1800.10/1800.64	v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 
1800.10/1800.64	v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 
1800.10/1800.64	v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 
1800.10/1800.64	v -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 
1800.10/1800.64	v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 
1800.10/1800.64	v -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 
1800.10/1800.64	v -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 
1800.10/1800.64	v -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 
1800.10/1800.64	v x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 x2415 -x2413 -x2412 -x2411 -x2410 
1800.10/1800.64	v -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 
1800.10/1800.64	v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 
1800.10/1800.64	v -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2355 
1800.10/1800.64	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 
1800.10/1800.64	v -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 
1800.10/1800.64	v -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 
1800.10/1800.64	v -x2301 -x2300 -x2299 -x2297 -x2296 -x2295 -x2294 -x2292 -x2290 -x2289 -x2288 -x2287 -x2285 -x2283 -x2282 -x2281 -x2280 -x2278 
1800.10/1800.64	v -x2276 -x2275 -x2274 -x2273 -x2271 -x2269 -x2268 -x2267 -x2266 -x2264 -x2262 -x2261 -x2260 -x2259 x2257 -x2255 -x2254 -x2253 
1800.10/1800.64	v -x2252 x2250 -x2248 -x2247 -x2246 -x2245 -x2243 -x2241 -x2240 -x2239 -x2238 -x2236 -x2234 -x2233 -x2232 -x2231 x2229 -x2227 
1800.10/1800.64	v x2226 -x2225 x2224 -x2222 -x2220 -x2219 -x2218 -x2217 -x2215 -x2213 -x2212 -x2211 -x2210 -x2208 -x2206 -x2205 -x2204 -x2203 
1800.10/1800.64	v -x2201 -x2199 -x2198 -x2197 x2196 -x2194 -x2192 -x2191 -x2190 -x2189 -x2187 -x2185 -x2184 -x2183 -x2182 -x2180 -x2178 -x2177 
1800.10/1800.64	v -x2176 -x2175 -x2173 -x2171 -x2170 -x2169 -x2168 x2166 -x2164 -x2163 -x2162 -x2161 -x2159 -x2157 -x2156 -x2155 -x2154 -x2152 
1800.10/1800.64	v -x2150 -x2149 -x2148 -x2147 -x2145 -x2143 -x2142 -x2141 -x2140 -x2138 -x2136 -x2135 -x2134 -x2133 x2131 -x2129 -x2128 -x2127 
1800.10/1800.64	v x2126 x2124 -x2122 -x2121 -x2120 -x2119 x2117 -x2115 -x2114 -x2113 -x2112 -x2110 -x2108 -x2107 -x2106 -x2105 -x2103 -x2101 -x2100 
1800.10/1800.64	v -x2099 -x2098 x2096 -x2094 -x2093 -x2092 -x2091 x2089 -x2087 -x2086 -x2085 -x2084 -x2082 -x2080 -x2079 -x2078 x2077 -x2075 
1800.10/1800.64	v -x2073 -x2072 -x2071 -x2070 -x2068 -x2066 -x2065 -x2064 x2063 x2061 -x2059 -x2058 -x2057 -x2056 -x2054 -x2052 -x2051 -x2050 
1800.10/1800.64	v -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 
1800.10/1800.64	v -x2030 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 
1800.10/1800.64	v -x2010 -x2009 -x2008 -x2007 -x2006 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 x1994 -x1992 -x1991 
1800.10/1800.64	v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 
1800.10/1800.64	v -x1971 -x1970 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1956 -x1955 -x1954 -x1953 
1800.10/1800.64	v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 
1800.10/1800.64	v -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 
1800.10/1800.64	v -x1913 x1912 -x1911 x1910 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1896 -x1895 -x1894 
1800.10/1800.64	v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 
1800.10/1800.64	v -x1874 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 
1800.10/1800.64	v -x1854 -x1853 -x1852 -x1851 x1850 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1836 -x1835 
1800.10/1800.64	v -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 x1826 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 
1800.10/1800.64	v -x1815 -x1814 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1800 -x1799 -x1798 -x1797 -x1796 
1800.10/1800.64	v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 
1800.10/1800.64	v -x1777 -x1776 -x1775 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 
1800.10/1800.64	v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 x1751 -x1750 -x1749 x1748 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
1800.10/1800.64	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 
1800.10/1800.64	v -x1721 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
1800.10/1800.64	v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 x1694 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 
1800.10/1800.64	v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 
1800.10/1800.64	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 
1800.10/1800.64	v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 
1800.10/1800.64	v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 x1613 -x1611 -x1610 
1800.10/1800.64	v -x1609 -x1608 -x1606 -x1604 -x1603 -x1602 x1601 -x1599 -x1597 -x1596 -x1595 -x1594 -x1592 -x1590 -x1589 -x1588 -x1587 -x1585 
1800.10/1800.64	v -x1583 -x1582 -x1581 x1580 x1578 -x1576 -x1575 -x1574 -x1573 -x1571 -x1569 -x1568 -x1567 -x1566 x1564 -x1562 -x1561 -x1560 
1800.10/1800.64	v x1559 -x1557 -x1555 -x1554 -x1553 x1552 x1550 -x1548 -x1547 -x1546 -x1545 -x1543 -x1541 -x1540 -x1539 -x1538 -x1536 -x1534 -x1533 
1800.10/1800.64	v -x1532 -x1531 x1529 -x1527 -x1526 -x1525 -x1524 x1522 -x1520 -x1519 -x1518 -x1517 -x1515 -x1513 -x1512 -x1511 -x1510 -x1508 
1800.10/1800.64	v -x1506 -x1505 -x1504 -x1503 x1501 -x1499 -x1498 -x1497 -x1496 -x1494 -x1492 -x1491 -x1490 -x1489 x1487 -x1485 -x1484 -x1483 
1800.10/1800.64	v -x1482 x1480 -x1478 -x1477 -x1476 -x1475 -x1473 -x1471 -x1470 -x1469 -x1468 -x1466 -x1464 -x1463 -x1462 -x1461 -x1459 -x1457 
1800.10/1800.64	v -x1456 -x1455 -x1454 -x1452 -x1450 x1449 -x1448 x1447 -x1445 -x1443 -x1442 -x1441 -x1440 -x1438 -x1436 -x1435 -x1434 -x1433 
1800.10/1800.64	v -x1431 -x1429 -x1428 -x1427 -x1426 -x1424 -x1422 -x1421 -x1420 -x1419 x1417 -x1415 -x1414 -x1413 -x1412 -x1410 -x1408 -x1407 
1800.10/1800.64	v -x1406 -x1405 -x1403 -x1401 -x1400 -x1399 -x1398 -x1396 -x1394 -x1393 -x1392 -x1391 -x1389 -x1387 -x1386 -x1385 -x1384 x1382 
1800.10/1800.64	v -x1380 -x1379 -x1378 -x1377 -x1375 -x1373 -x1372 -x1371 -x1370 -x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 
1800.10/1800.64	v -x1358 -x1357 x1356 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1342 -x1341 -x1340 -x1339 
1800.10/1800.64	v -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1330 x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 x1320 
1800.10/1800.64	v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 
1800.10/1800.64	v -x1299 -x1298 -x1297 -x1296 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 x1284 -x1282 -x1281 -x1280 
1800.10/1800.64	v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 
1800.10/1800.64	v -x1260 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 
1800.10/1800.64	v -x1240 -x1239 -x1238 -x1237 -x1236 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1222 -x1221 
1800.10/1800.64	v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 
1800.10/1800.64	v -x1202 -x1201 -x1200 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1186 -x1185 -x1184 -x1183 
1800.10/1800.64	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 
1800.10/1800.64	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 
1800.10/1800.64	v -x1143 -x1142 -x1141 -x1140 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1126 -x1125 -x1124 
1800.10/1800.64	v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 
1800.10/1800.64	v -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1087 -x1086 
1800.10/1800.64	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 
1800.10/1800.64	v -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 
1800.10/1800.64	v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1033 -x1032 -x1031 -x1030 
1800.10/1800.64	v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 
1800.10/1800.64	v -x1012 -x1011 -x1010 -x1009 -x1008 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 
1800.10/1800.64	v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 
1800.10/1800.64	v -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x952 -x951 -x950 -x949 
1800.10/1800.64	v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 
1800.10/1800.64	v -x927 -x863 -x862 -x861 -x860 -x859 -x858 -x925 -x923 -x924 -x922 -x921 -x920 -x918 -x919 -x917 -x915 -x916 -x913 -x914 -x912 
1800.10/1800.64	v -x910 -x911 -x909 -x907 -x908 -x906 -x904 -x905 -x903 -x901 -x902 x899 x900 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x890 
1800.10/1800.64	v -x889 -x887 -x886 -x884 -x883 -x882 -x881 -x879 -x878 -x877 -x876 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 
1800.10/1800.64	v -x864 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x856 -x854 -x855 -x853 -x851 -x852 -x850 -x848 -x849 -x847 -x845 -x846 -x844 
1800.10/1800.64	v -x843 -x842 -x840 -x841 x839 x837 x838 -x836 -x834 -x835 -x833 -x831 -x832 -x830 -x828 -x829 -x827 -x826 -x825 -x823 -x824 
1800.10/1800.64	v -x822 -x821 -x820 -x818 x819 -x817 -x815 -x816 -x814 -x812 -x813 -x811 -x810 -x809 -x808 -x807 -x805 -x806 -x804 -x802 -x803 
1800.10/1800.64	v -x801 -x799 -x800 -x798 -x796 -x797 -x795 -x793 -x794 -x792 -x790 -x791 -x789 -x787 -x788 -x785 -x786 -x784 -x782 -x783 -x781 
1800.10/1800.64	v -x779 -x780 -x778 -x776 -x777 -x775 -x773 -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x764 -x765 -x763 -x761 -x762 -x760 
1800.10/1800.64	v -x758 -x759 -x757 -x756 -x755 -x753 -x752 -x751 -x750 -x749 -x748 -x746 -x745 -x743 -x742 -x741 -x740 -x739 -x738 -x737 
1800.10/1800.64	v -x736 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x721 -x720 -x718 -x717 -x716 -x715 -x713 -x712 
1800.10/1800.64	v -x711 -x710 -x708 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x699 -x697 -x698 -x696 -x694 -x695 -x693 -x691 -x692 -x690 
1800.10/1800.64	v -x688 -x689 -x687 -x685 -x686 -x684 -x682 -x683 -x681 -x679 -x680 -x678 -x676 -x677 -x675 -x673 -x674 -x672 -x670 -x671 -x669 
1800.10/1800.64	v -x667 -x668 -x666 -x664 -x665 -x663 -x661 -x662 -x660 -x658 -x659 -x657 -x655 -x656 -x654 -x652 -x653 -x651 -x649 -x650 -x648 
1800.10/1800.64	v -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639 -x637 -x638 -x636 -x634 -x635 -x633 -x631 -x632 -x630 -x628 x629 -x627 
1800.10/1800.64	v -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 -x607 -x608 -x606 
1800.10/1800.64	v -x604 -x605 -x603 -x601 -x602 -x600 -x598 -x599 -x597 -x595 -x596 -x594 -x592 -x593 -x591 -x589 -x590 -x588 -x586 -x587 
1800.10/1800.64	v -x585 -x583 -x584 -x582 -x580 -x581 -x579 -x577 -x578 -x576 -x574 -x575 -x573 -x571 -x572 -x570 -x568 -x569 -x567 -x565 -x566 
1800.10/1800.64	v -x564 -x562 -x563 -x561 -x559 -x560 -x558 -x556 -x557 -x555 -x553 -x554 -x552 -x550 -x551 -x549 -x547 -x548 -x546 -x544 -x545 
1800.10/1800.64	v -x543 -x541 -x542 x540 x539 -x538 -x536 -x537 -x535 -x533 -x534 -x532 -x530 -x531 -x529 -x527 -x528 -x526 -x524 x525 -x523 
1800.10/1800.64	v -x521 -x522 -x520 -x518 -x519 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x506 -x507 -x505 -x503 -x504 -x502 
1800.10/1800.64	v -x500 -x501 -x499 -x497 -x498 -x496 -x494 -x495 -x493 -x491 -x492 -x490 -x488 -x489 -x487 -x485 -x486 -x484 -x482 -x483 -x481 
1800.10/1800.64	v -x479 -x480 -x478 -x476 -x477 -x475 -x473 -x474 -x472 -x470 -x471 -x469 -x467 -x468 -x466 -x464 -x465 -x463 -x461 -x462 -x460 
1800.10/1800.64	v -x458 -x459 -x457 -x455 -x456 -x454 -x452 -x453 -x451 -x449 -x450 -x448 -x446 -x447 -x445 -x443 -x444 -x442 -x440 -x441 -x439 
1800.10/1800.64	v -x438 -x437 -x435 -x436 -x434 -x432 -x433 -x431 -x429 -x430 -x428 -x426 -x425 -x424 -x423 -x421 -x420 -x418 -x417 -x416 -x415 
1800.10/1800.64	v -x414 -x413 -x411 -x410 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x399 -x398 -x397 -x396 -x394 -x393 -x392 -x391 
1800.10/1800.64	v -x389 -x388 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x377 -x376 -x375 -x374 -x372 -x371 -x370 -x369 -x367 -x366 -x364 
1800.10/1800.64	v -x363 -x361 -x360 -x359 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342 -x340 
1800.10/1800.64	v -x338 -x339 -x337 -x335 -x336 -x334 -x332 x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 -x324 -x322 -x320 -x321 -x319 
1800.10/1800.64	v -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300 -x298 
1800.10/1800.64	v -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279 x277 
1800.10/1800.64	v -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 -x258 -x256 
1800.10/1800.64	v -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x241 -x239 -x238 -x236 -x235 -x234 -x233 -x231 
1800.10/1800.64	v -x230 -x228 -x227 -x225 -x224 -x222 -x221 -x219 -x218 -x217 -x216 -x214 -x213 -x211 -x210 -x209 -x208 -x206 -x205 -x203 
1800.10/1800.64	v -x202 -x200 -x199 -x197 -x196 -x194 x193 x191 -x190 -x188 -x187 -x185 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x176 -x174 -x175 -x173 -x171 
1800.10/1800.64	v -x172 -x170 -x168 -x169 -x167 -x165 -x166 x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154 -x152 -x150 
1800.10/1800.64	v -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133 -x131 -x129 
1800.10/1800.64	v -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 -x111 -x112 -x110 -x108 
1800.10/1800.64	v -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91 -x89 -x87 -x88 -x86 
1800.10/1800.64	v -x84 -x85 -x83 -x81 -x82 -x80 -x78 x79 -x77 -x75 -x76 -x74 -x72 -x73 -x71 -x69 -x68 -x66 -x65 -x63 -x62 -x60 -x59 -x57 -x56 
1800.10/1800.64	v -x54 -x53 -x51 x50 x48 -x47 -x45 -x44 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x30 -x29 -x27 -x26 -x24 -x23 -x21 -x20 -x18 
1800.10/1800.64	v -x17 -x15 -x14 -x12 -x11 -x9 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 
1800.10/1800.64	v -x5470 -x5468 x5466 -x5461 -x5456 -x5451 -x5446 -x891 -x5441 -x888 -x5436 -x885 -x5431 -x5426 -x880 -x5421 -x5416 -x875 -x5411 
1800.10/1800.64	v -x5406 -x5401 -x5396 -x5391 -x5379 -x5367 -x5355 -x5343 -x5331 -x5319 -x5314 -x5312 -x5307 -x5305 -x5300 -x5298 -x5293 -x5291 
1800.10/1800.64	v -x5286 -x5281 -x5279 x5274 x5272 -x5267 -x5265 -x5260 -x5258 -x5253 -x5251 -x5246 -x5241 -x5239 -x5234 -x5229 x5227 -x5222 
1800.10/1800.64	v -x5220 -x5215 -x5213 -x5208 -x5203 -x5198 -x5196 -x5191 -x5189 -x5184 -x5182 -x5177 -x5175 -x5170 -x5168 -x5163 -x5161 -x5156 
1800.10/1800.64	v -x5154 -x5152 -x5147 -x5145 -x5140 -x5138 -x5133 -x5131 -x5126 -x5124 -x5119 -x5117 -x5112 -x5110 -x5105 -x5103 -x5098 -x5096 
1800.10/1800.64	v -x5091 -x5089 -x5077 -x5065 -x754 -x5053 -x5041 -x5029 -x747 -x5017 -x744 -x5005 -x4993 -x4981 -x4969 -x735 -x4957 -x4945 
1800.10/1800.64	v -x4933 -x4921 -x4909 -x4897 -x722 -x4885 -x719 -x4873 -x4861 -x714 -x4849 -x4837 -x709 -x4810 -x4783 -x4756 -x4729 -x4702 
1800.10/1800.64	v -x4675 -x4648 -x4643 -x4638 -x4633 -x4628 -x4623 -x4618 -x4613 -x4608 -x4603 -x4598 -x4593 -x4588 -x4583 -x4578 -x4573 -x4568 
1800.10/1800.64	v -x4563 -x4558 -x4553 -x4548 -x4543 -x4538 -x4533 -x4528 -x4523 -x4518 -x4513 -x4508 -x4503 -x4498 -x4493 -x4488 -x4483 -x4478 
1800.10/1800.64	v -x4473 -x4468 -x4463 -x4458 -x4453 -x4448 -x4443 -x4438 -x4433 -x4428 -x4423 -x4418 -x4413 x4408 -x4403 -x4398 -x4393 -x4388 
1800.10/1800.64	v -x4383 -x4378 -x4373 -x4368 -x4363 -x4358 -x4353 -x4348 -x4343 -x4338 -x4333 -x4328 -x4323 -x4318 -x4313 -x4308 -x4303 -x4298 
1800.10/1800.64	v -x4286 -x4284 -x4272 -x4270 -x4258 -x4256 -x4244 -x4242 -x4230 -x4228 -x4216 -x4214 -x4202 -x4200 -x4188 -x4186 -x4174 -x4172 
1800.10/1800.64	v -x4160 -x4158 -x4146 -x4144 -x4132 -x4130 -x4118 -x4116 -x4104 -x4102 -x4090 -x4088 -x4076 -x4074 -x4062 -x4060 -x4048 -x4046 
1800.10/1800.64	v x4034 -x4022 -x4020 -x4008 -x4006 -x3994 -x3992 -x3980 -x3978 -x3966 x3964 -x3952 -x3950 -x3938 -x3936 -x3924 -x3922 -x3910 
1800.10/1800.64	v -x3908 -x3896 -x3894 -x3882 -x3880 -x3868 -x3866 -x3854 -x3852 -x3840 -x3838 -x3826 -x3824 -x3812 -x3810 -x3798 -x3796 -x3784 
1800.10/1800.64	v -x3782 -x3770 -x3768 -x3756 -x3754 -x3742 -x3740 -x3728 -x3726 -x3714 -x3712 -x3700 -x3698 -x3686 -x3684 -x3672 -x3670 -x3658 
1800.10/1800.64	v -x3656 -x3644 -x3642 -x3630 -x3628 -x3616 -x3614 -x3602 -x3600 -x3588 -x3586 -x3574 -x3572 -x3560 -x3548 -x3546 -x3534 
1800.10/1800.64	v -x3532 -x3520 -x3518 -x3491 -x427 -x3464 -x3437 -x422 -x3410 -x419 -x3383 -x3356 -x3329 -x412 -x3302 -x409 -x3275 -x3248 -x3221 
1800.10/1800.64	v -x3194 -x400 -x3167 -x3140 -x395 -x3113 -x3086 -x390 -x3059 -x387 -x3032 -x3005 -x2978 -x2951 -x378 -x2924 -x2897 -x373 -x2870 
1800.10/1800.64	v -x2843 -x368 -x2816 -x365 -x2789 -x362 -x2762 -x2704 -x2646 -x2588 -x2530 -x2472 -x2414 -x2356 -x2298 -x2293 -x2291 -x2286 
1800.10/1800.64	v -x2284 -x2279 -x2277 -x2272 -x2270 -x2265 -x2263 -x2258 x2256 -x2251 -x2249 -x2244 -x2242 -x2237 -x2235 -x2230 -x2228 -x2223 
1800.10/1800.64	v -x2221 -x2216 -x2214 -x2209 -x2207 -x2202 -x2200 -x2195 -x2193 -x2188 -x2186 -x2181 -x2179 -x2174 -x2172 -x2167 -x2165 -x2160 
1800.10/1800.64	v -x2158 -x2153 -x2151 -x2146 -x2144 -x2139 -x2137 -x2132 -x2130 x2125 -x2123 -x2118 -x2116 -x2111 -x2109 -x2104 -x2102 -x2097 
1800.10/1800.64	v -x2095 -x2090 -x2088 -x2083 -x2081 -x2076 -x2074 -x2069 -x2067 -x2062 -x2060 -x2055 -x2053 -x2041 -x243 -x2029 -x240 -x2017 
1800.10/1800.64	v -x237 -x2005 -x1993 -x232 -x1981 -x229 -x1969 -x226 -x1957 -x223 -x1945 x220 -x1933 -x1921 -x215 -x1909 -x212 -x1897 -x1885 
1800.10/1800.64	v -x207 -x1873 -x204 -x1861 -x201 -x1849 -x198 -x1837 -x195 x1825 x192 -x1813 -x189 -x1801 -x186 -x1774 -x1747 -x1720 -x1693 
1800.10/1800.64	v -x1666 -x1639 -x1612 -x1607 -x1605 -x1600 -x1598 -x1593 -x1591 -x1586 -x1584 x1579 -x1577 -x1572 -x1570 -x1565 -x1563 -x1558 
1800.10/1800.64	v -x1556 -x1551 -x1549 -x1544 -x1542 -x1537 -x1535 -x1530 -x1528 -x1523 -x1521 -x1516 -x1514 -x1509 -x1507 -x1502 -x1500 -x1495 
1800.10/1800.64	v -x1493 -x1488 -x1486 -x1481 -x1479 -x1474 -x1472 -x1467 -x1465 -x1460 -x1458 -x1453 -x1451 -x1446 -x1444 -x1439 -x1437 -x1432 
1800.10/1800.64	v -x1430 -x1425 -x1423 -x1418 -x1416 -x1411 -x1409 -x1404 -x1402 -x1397 -x1395 -x1390 -x1388 -x1383 x1381 -x1376 -x1374 -x1369 
1800.10/1800.64	v -x1367 -x1355 -x70 -x1343 -x67 -x1331 -x64 -x1319 -x61 -x1307 -x58 -x1295 -x55 -x1283 -x52 x1271 x49 -x1259 -x46 -x1247 -x43 
1800.10/1800.64	v -x1235 -x40 -x1223 -x37 -x1211 x34 -x1199 -x31 -x1187 -x28 -x1175 -x25 -x1163 -x22 -x1151 -x19 -x1139 -x16 -x1127 -x13 -x1115 
1800.10/1800.64	v -x10 -x1088 -x1061 -x1034 -x1007 -x980 -x953 -x926 x857 x700 x350 x177 x1 
1800.10/1800.64	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.64	c Solving Time       :    1788.73
1800.10/1800.64	c Original Problem   :
1800.10/1800.64	c   Problem name     : HOME/instance-2663966-1276642137.opb
1800.10/1800.64	c   Variables        : 5499 (5499 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.64	c   Constraints      : 19319 initial, 19319 maximal
1800.10/1800.64	c Presolved Problem  :
1800.10/1800.64	c   Problem name     : t_HOME/instance-2663966-1276642137.opb
1800.10/1800.64	c   Variables        : 4944 (4944 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.64	c   Constraints      : 18212 initial, 26895 maximal
1800.10/1800.64	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.64	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.64	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.64	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.64	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.64	c   implics          :       0.01          0          6          0          0          0          0          0          0
1800.10/1800.64	c   probing          :       0.69          0          2          0          0          0          0          0          0
1800.10/1800.64	c   knapsack         :       0.02          0          0          0          0          0          0          0          0
1800.10/1800.64	c   linear           :       0.27          5        542          0          5          0       1107          6          6
1800.10/1800.64	c   logicor          :       0.11          0          0          0          0          0          0          0          0
1800.10/1800.64	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.64	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.64	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.64	c   knapsack         :          1          0    1201116          0     268466          0          0          0          0          0
1800.10/1800.64	c   logicor          :      18211+         0     876445          0     268467      10654    5988714          0          0          0
1800.10/1800.64	c   countsols        :          0          0          0          0     268467          0          0          0          0          0
1800.10/1800.64	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.64	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.64	c   knapsack         :     129.81       0.00     120.53       0.00       9.28
1800.10/1800.64	c   logicor          :    1377.69       0.00     479.43       0.00     898.26
1800.10/1800.64	c   countsols        :       0.35       0.00       0.00       0.00       0.35
1800.10/1800.64	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.64	c   vbounds          :       0.83          2          0          0
1800.10/1800.64	c   rootredcost      :       0.80          0          0          0
1800.10/1800.64	c   pseudoobj        :      63.88    1201587       1277     168976
1800.10/1800.64	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.64	c   propagation      :     445.90      11931      11931     557467      623.2       3916       87.2          -
1800.10/1800.64	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.64	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.64	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.64	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.64	c   applied globally :          -          -          -      80316      154.0          -          -          -
1800.10/1800.64	c   applied locally  :          -          -          -        413      534.0          -          -          -
1800.10/1800.64	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.64	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.10/1800.64	c   redcost          :       0.00          0          0          0          0          0
1800.10/1800.64	c   impliedbounds    :       0.00          0          0          0          0          0
1800.10/1800.64	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.64	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.64	c   gomory           :       0.00          0          0          0          0          0
1800.10/1800.64	c   strongcg         :       0.00          0          0          0          0          0
1800.10/1800.64	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.64	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.64	c   clique           :       0.00          0          0          0          0          0
1800.10/1800.64	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.64	c   mcf              :       0.00          0          0          0          0          0
1800.10/1800.64	c   rapidlearning    :       0.00          0          0          0          0          0
1800.10/1800.64	c Pricers            :       Time      Calls       Vars
1800.10/1800.64	c   problem variables:       0.00          0          0
1800.10/1800.64	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.64	c   relpscost        :       0.00          0          0          0          0          0          0
1800.10/1800.64	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.64	c   inference        :     133.44     268462          0          0          0          0     536924
1800.10/1800.64	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.64	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.64	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.64	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.64	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.64	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.64	c   LP solutions     :       0.00          -          0
1800.10/1800.64	c   pseudo solutions :       0.05          -          5
1800.10/1800.64	c   oneopt           :       0.79          0          0
1800.10/1800.64	c   trivial          :       0.02          2          0
1800.10/1800.64	c   simplerounding   :       0.00          0          0
1800.10/1800.64	c   zirounding       :       0.00          0          0
1800.10/1800.64	c   rounding         :       0.00          0          0
1800.10/1800.64	c   shifting         :       0.00          0          0
1800.10/1800.64	c   intshifting      :       0.00          0          0
1800.10/1800.64	c   twoopt           :       0.00          0          0
1800.10/1800.64	c   fixandinfer      :       0.00          0          0
1800.10/1800.64	c   feaspump         :       0.00          0          0
1800.10/1800.64	c   coefdiving       :       0.00          0          0
1800.10/1800.64	c   pscostdiving     :       0.00          0          0
1800.10/1800.64	c   fracdiving       :       0.00          0          0
1800.10/1800.64	c   veclendiving     :       0.00          0          0
1800.10/1800.64	c   intdiving        :       0.00          0          0
1800.10/1800.64	c   actconsdiving    :       0.00          0          0
1800.10/1800.64	c   objpscostdiving  :       0.00          0          0
1800.10/1800.64	c   rootsoldiving    :       0.00          0          0
1800.10/1800.64	c   linesearchdiving :       0.00          0          0
1800.10/1800.64	c   guideddiving     :       0.00          0          0
1800.10/1800.64	c   octane           :       0.00          0          0
1800.10/1800.64	c   rens             :       0.00          0          0
1800.10/1800.64	c   rins             :       0.00          0          0
1800.10/1800.64	c   localbranching   :       0.00          0          0
1800.10/1800.64	c   mutation         :       0.00          0          0
1800.10/1800.64	c   crossover        :       0.00          0          0
1800.10/1800.64	c   dins             :       0.00          0          0
1800.10/1800.64	c   undercover       :       0.00          0          0
1800.10/1800.64	c   nlp              :       0.17          0          0
1800.10/1800.64	c   trysol           :       0.10          0          0
1800.10/1800.64	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.64	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.64	c   dual LP          :       0.00          0          0       0.00          -
1800.10/1800.64	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.64	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.64	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.64	c   strong branching :       0.00          0          0       0.00          -
1800.10/1800.64	c     (at root node) :          -          0          0       0.00          -
1800.10/1800.64	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.64	c B&B Tree           :
1800.10/1800.64	c   number of runs   :          1
1800.10/1800.64	c   nodes            :     277802
1800.10/1800.64	c   nodes (total)    :     277802
1800.10/1800.64	c   nodes left       :     237105
1800.10/1800.64	c   max depth        :       2484
1800.10/1800.64	c   max depth (total):       2484
1800.10/1800.64	c   backtracks       :       3938 (1.4%)
1800.10/1800.64	c   delayed cutoffs  :       2670
1800.10/1800.64	c   repropagations   :     315722 (276567 domain reductions, 2596 cutoffs)
1800.10/1800.64	c   avg switch length:       5.32
1800.10/1800.64	c   switching time   :      48.12
1800.10/1800.64	c Solution           :
1800.10/1800.64	c   Solutions found  :          5 (5 improvements)
1800.10/1800.64	c   First Solution   : +3.00000000000000e+01   (in run 1, after 2492 nodes, 26.68 seconds, depth 2478, found by <relaxation>)
1800.10/1800.64	c   Primal Bound     : +2.20000000000000e+01   (in run 1, after 216763 nodes, 1525.30 seconds, depth 242, found by <relaxation>)
1800.10/1800.64	c   Dual Bound       : +7.00000000000000e+00
1800.10/1800.64	c   Gap              :     214.29 %
1800.10/1800.64	c   Root Dual Bound  : +5.00000000000000e+00
1800.10/1800.64	c   Root Iterations  :          0
1800.88/1801.48	c Time complete: 1800.96.

Verifier Data 

OK	22

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663966-1276642137/watcher-2663966-1276642137 -o /tmp/evaluation-result-2663966-1276642137/solver-2663966-1276642137 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663966-1276642137.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.08 3/106 12085
/proc/meminfo: memFree=1812088/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=6584 CPUtime=0
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 977 0 0 0 0 0 0 0 20 0 1 0 5509048 6742016 900 1992294400 4194304 7136930 140737349340400 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12085/statm: 1646 910 254 719 0 925 0

[startup+0.0970869 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 12085
/proc/meminfo: memFree=1812088/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=12752 CPUtime=0.09
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 2677 0 0 0 8 1 0 0 20 0 1 0 5509048 13058048 2600 1992294400 4194304 7136930 140737349340400 18446744073709551615 5650699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12085/statm: 3188 2600 271 719 0 2467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12752

[startup+0.101086 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 12085
/proc/meminfo: memFree=1812088/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=12752 CPUtime=0.09
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 2677 0 0 0 8 1 0 0 20 0 1 0 5509048 13058048 2600 1992294400 4194304 7136930 140737349340400 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12085/statm: 3188 2600 271 719 0 2467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12752

[startup+0.301098 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 12085
/proc/meminfo: memFree=1812088/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=19572 CPUtime=0.29
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 4369 0 0 0 28 1 0 0 20 0 1 0 5509048 20041728 4292 1992294400 4194304 7136930 140737349340400 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12085/statm: 4893 4292 271 719 0 4172 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19572

[startup+0.701124 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 12085
/proc/meminfo: memFree=1812088/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=49520 CPUtime=0.69
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 11756 0 0 0 60 9 0 0 21 0 1 0 5509048 50708480 11064 1992294400 4194304 7136930 140737349340400 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 12380 11074 349 719 0 11659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49520

[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12086
/proc/meminfo: memFree=1762232/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=57560 CPUtime=1.49
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 17171 0 0 0 134 15 0 0 22 0 1 0 5509048 58941440 13537 1992294400 4194304 7136930 140737349340400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 14390 13537 376 719 0 13669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57560

[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12086
/proc/meminfo: memFree=1757892/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=58588 CPUtime=3.09
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 18714 0 0 0 292 17 0 0 25 0 1 0 5509048 59994112 13812 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 14647 13812 394 719 0 13926 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58588

[startup+6.30148 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12086
/proc/meminfo: memFree=1757768/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=58588 CPUtime=6.29
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 18714 0 0 0 612 17 0 0 25 0 1 0 5509048 59994112 13812 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 14647 13812 394 719 0 13926 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58588

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12086
/proc/meminfo: memFree=1757272/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=58976 CPUtime=12.69
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 18812 0 0 0 1251 18 0 0 25 0 1 0 5509048 60391424 13910 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 14744 13910 394 719 0 14023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58976

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12088
/proc/meminfo: memFree=1756900/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=59392 CPUtime=25.48
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 18926 0 0 0 2528 20 0 0 25 0 1 0 5509048 60817408 14024 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 14848 14024 398 719 0 14127 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59392

[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 12088
/proc/meminfo: memFree=1744128/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=72516 CPUtime=51.08
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 22153 0 0 0 5078 30 0 0 25 0 1 0 5509048 74256384 17251 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 18129 17251 398 719 0 17408 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72516

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 12090
/proc/meminfo: memFree=1733092/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=83288 CPUtime=102.27
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 24830 0 0 0 10181 46 0 0 25 0 1 0 5509048 85286912 19928 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 20822 19928 398 719 0 20101 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83288

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 12090
/proc/meminfo: memFree=1720320/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=96184 CPUtime=162.25
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 27996 0 0 0 16150 75 0 0 25 0 1 0 5509048 98492416 23094 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 24046 23094 398 719 0 23325 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 96184

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 12092
/proc/meminfo: memFree=1703084/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=114028 CPUtime=222.23
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 32299 0 0 0 22114 109 0 0 25 0 1 0 5509048 116764672 27397 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 28507 27397 398 719 0 27786 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 114028

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 12094
/proc/meminfo: memFree=1688824/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=129572 CPUtime=282.21
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 36018 0 0 0 28082 139 0 0 25 0 1 0 5509048 132681728 31116 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697674 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 32393 31116 398 719 0 31672 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 129572

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 12096
/proc/meminfo: memFree=1671216/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=147560 CPUtime=342.2
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 40249 0 0 0 34045 175 0 0 25 0 1 0 5509048 151101440 35347 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 36890 35347 398 719 0 36169 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 147560

[startup+402.301 s]
/proc/loadavg: 1.06 1.02 1.04 2/107 12098
/proc/meminfo: memFree=1650632/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=170400 CPUtime=402.18
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 45657 0 0 0 40002 216 0 0 25 0 1 0 5509048 174489600 40755 1992294400 4194304 7136930 140737349340400 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 42600 40755 398 719 0 41879 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 170400

[startup+462.301 s]
/proc/loadavg: 1.07 1.03 1.04 2/107 12098
/proc/meminfo: memFree=1628560/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=191712 CPUtime=462.17
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 50872 0 0 0 45955 262 0 0 25 0 1 0 5509048 196313088 45970 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 47928 45970 398 719 0 47207 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 191712

[startup+522.301 s]
/proc/loadavg: 1.08 1.03 1.04 2/107 12100
/proc/meminfo: memFree=1611448/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=209912 CPUtime=522.15
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 55200 0 0 0 51916 299 0 0 25 0 1 0 5509048 214949888 50298 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 52478 50298 398 719 0 51757 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 209912

[startup+582.301 s]
/proc/loadavg: 1.02 1.03 1.04 2/107 12102
/proc/meminfo: memFree=1590492/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=234224 CPUtime=582.14
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 60314 0 0 0 57875 339 0 0 25 0 1 0 5509048 239845376 55412 1992294400 4194304 7136930 140737349340400 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 58556 55412 398 719 0 57835 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 234224

[startup+642.3 s]
/proc/loadavg: 1.01 1.02 1.03 2/107 12104
/proc/meminfo: memFree=1570156/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=256104 CPUtime=642.12
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 65387 0 0 0 63828 384 0 0 25 0 1 0 5509048 262250496 60485 1992294400 4194304 7136930 140737349340400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 64026 60485 398 719 0 63305 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 256104

[startup+702.3 s]

################
# More data... #
################

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12121
/proc/meminfo: memFree=1491912/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=338856 CPUtime=942.02
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 84734 0 0 0 93627 575 0 0 25 0 1 0 5509048 346988544 79832 1992294400 4194304 7136930 140737349340400 18446744073709551615 5909045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 84714 79832 398 719 0 83993 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 338856

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12123
/proc/meminfo: memFree=1487448/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=343956 CPUtime=1002
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 85843 0 0 0 99615 585 0 0 25 0 1 0 5509048 352210944 80941 1992294400 4194304 7136930 140737349340400 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 85989 80941 398 719 0 85268 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 343956

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12123
/proc/meminfo: memFree=1482240/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=349940 CPUtime=1061.98
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 87183 0 0 0 105602 596 0 0 25 0 1 0 5509048 358338560 82281 1992294400 4194304 7136930 140737349340400 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 87485 82281 398 719 0 86764 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 349940

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12125
/proc/meminfo: memFree=1478024/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=354320 CPUtime=1121.97
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 88197 0 0 0 111586 611 0 0 25 0 1 0 5509048 362823680 83295 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 88580 83295 398 719 0 87859 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 354320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12127
/proc/meminfo: memFree=1459796/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=373968 CPUtime=1181.95
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 92833 0 0 0 117535 660 0 0 25 0 1 0 5509048 382943232 87931 1992294400 4194304 7136930 140737349340400 18446744073709551615 5922923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 93492 87931 398 719 0 92771 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 373968

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12129
/proc/meminfo: memFree=1445660/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=388452 CPUtime=1241.93
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 96255 0 0 0 123495 698 0 0 25 0 1 0 5509048 397774848 91353 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 97113 91353 398 719 0 96392 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 388452

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12131
/proc/meminfo: memFree=1428176/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=406288 CPUtime=1301.92
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 100621 0 0 0 129452 740 0 0 25 0 1 0 5509048 416038912 95719 1992294400 4194304 7136930 140737349340400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 101572 95719 398 719 0 100851 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 406288

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12131
/proc/meminfo: memFree=1409700/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=424884 CPUtime=1361.91
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 105277 0 0 0 135402 789 0 0 25 0 1 0 5509048 435081216 100375 1992294400 4194304 7136930 140737349340400 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 106221 100375 398 719 0 105500 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 424884

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12133
/proc/meminfo: memFree=1394820/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=440792 CPUtime=1421.89
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 108917 0 0 0 141361 828 0 0 25 0 1 0 5509048 451371008 104015 1992294400 4194304 7136930 140737349340400 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 110198 104015 398 719 0 109477 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 440792

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12135
/proc/meminfo: memFree=1375228/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=461388 CPUtime=1481.86
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 113830 0 0 0 147316 870 0 0 25 0 1 0 5509048 472461312 108928 1992294400 4194304 7136930 140737349340400 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 115347 108928 398 719 0 114626 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 461388

[startup+1542.3 s]
/proc/loadavg: 1.11 1.04 1.01 2/107 12137
/proc/meminfo: memFree=1356132/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=485204 CPUtime=1541.84
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 118556 0 0 0 153263 921 0 0 25 0 1 0 5509048 496848896 113654 1992294400 4194304 7136930 140737349340400 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 121301 113654 398 719 0 120580 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 485204

[startup+1602.3 s]
/proc/loadavg: 1.04 1.03 1.01 2/107 12139
/proc/meminfo: memFree=1346088/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=495728 CPUtime=1601.83
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 121072 0 0 0 159216 967 0 0 25 0 1 0 5509048 507625472 116170 1992294400 4194304 7136930 140737349340400 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 123932 116170 398 719 0 123211 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 495728

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 12139
/proc/meminfo: memFree=1326620/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=515932 CPUtime=1661.81
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 125929 0 0 0 165164 1017 0 0 25 0 1 0 5509048 528314368 121027 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 128983 121027 398 719 0 128262 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 515932

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12141
/proc/meminfo: memFree=1318188/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=524440 CPUtime=1721.8
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 128036 0 0 0 171133 1047 0 0 25 0 1 0 5509048 537026560 123134 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 131110 123134 398 719 0 130389 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 524440

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12143
/proc/meminfo: memFree=1301324/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=541928 CPUtime=1781.79
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 132150 0 0 0 177082 1097 0 0 25 0 1 0 5509048 554934272 127248 1992294400 4194304 7136930 140737349340400 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 135482 127248 398 719 0 134761 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 541928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12143
/proc/meminfo: memFree=1299464/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=543708 CPUtime=1800.1
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 132609 0 0 0 178906 1104 0 0 25 0 1 0 5509048 556756992 127707 1992294400 4194304 7136930 140737349340400 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12085/statm: 135927 127707 398 719 0 135206 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 543708

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1801 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12143
/proc/meminfo: memFree=1299464/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=543708 CPUtime=1800.48
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 132615 0 0 0 178944 1104 0 0 25 0 1 0 5509048 556756992 127713 1992294400 4194304 7136930 140737349340400 18446744073709551615 4670071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12085/statm: 135927 127713 404 719 0 135206 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 543708

[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12143
/proc/meminfo: memFree=1299464/2059040 swapFree=4192956/4192956
[pid=12085] ppid=12083 vsize=503536 CPUtime=1800.88
/proc/12085/stat : 12085 (pbscip.linux.x8) R 12083 12085 11375 0 -1 4202496 132643 0 0 0 178984 1104 0 0 25 0 1 0 5509048 515620864 117694 1992294400 4194304 7136930 140737349340400 18446744073709551615 6166364 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12085/statm: 125884 117694 404 719 0 125163 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 503536

Child status: 0
Real time (s): 1801.48
CPU time (s): 1800.97
CPU user time (s): 1789.87
CPU system time (s): 11.1013
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 543708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.87
system time used= 11.1013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132650
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5609

runsolver used 3.00054 second user time and 8.48571 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-16 00:48:57
IDJOB=2663966
IDBENCH=25021
IDSOLVER=1167
FILE ID=node030/2663966-1276642137
PBS_JOBID= 11172374
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
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-2663966-1276642137/watcher-2663966-1276642137 -o /tmp/evaluation-result-2663966-1276642137/solver-2663966-1276642137 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663966-1276642137.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=220932144

node030.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.244
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.48
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.244
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	: 5599.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1812492 kB
Buffers:         20272 kB
Cached:         102440 kB
SwapCached:          0 kB
Active:         113328 kB
Inactive:        69248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1812492 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3828 kB
Writeback:           0 kB
AnonPages:       59844 kB
Mapped:          15468 kB
Slab:            42156 kB
PageTables:       3924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180992 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= 62556 MiB
End job on node030 at 2010-06-16 01:19:00