Trace number 350942

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, and are wall clock time (not CPU 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
Pueblo 1.4SAT393218 1782.75 1783.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
MD5SUM5afe2e688387cc46a3d150d955d27ab1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark294914
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 294914
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527653
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.01	c Pueblo version 1.4 (September 2005)
0.00/0.01	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.01	c  by Hossein Sheini
0.78/0.88	c starting to Solve
0.78/0.88	c #variables read: 6651 - #constraints read: 722
0.89/0.95	o 393218
1782.70/1783.22	c total time              : 1783 s
1782.70/1783.22	s SATISFIABLE
1782.70/1783.22	v -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637
1782.70/1783.22	v -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 x6650 x6651 -x1 -x2 -x1113 -x2224 -x3335
1782.70/1783.22	v -x4446 -x5557 -x6288 -x6399 -x6510 -x3 -x114 -x225 -x336 -x447 -x558 -x669 -x780 -x891 -x1002 -x1114 -x1225 -x1336 -x1447
1782.70/1783.22	v -x1558 -x1669 -x1780 -x1891 -x2002 -x2113 -x2225 -x2336 -x2447 -x2558 -x2669 -x2780 -x2891 -x3002 -x3113 -x3224 -x3336
1782.70/1783.22	v -x3447 -x3558 -x3669 -x3780 -x3891 -x4002 -x4113 -x4224 -x4335 -x4447 -x4558 -x4669 -x4780 -x4891 -x5002 -x5113 -x5224
1782.70/1783.22	v -x5335 -x5446 -x5558 -x5669 -x5780 -x5891 -x6002 -x6113 -x6224 -x6255 -x6266 -x6277 -x6289 -x6300 -x6311 -x6322 -x6333
1782.70/1783.22	v -x6344 -x6355 -x6366 -x6377 -x6388 -x6400 -x6411 -x6422 -x6433 -x6444 -x6455 -x6466 -x6477 -x6488 -x6499 -x6511 -x6522
1782.70/1783.22	v -x6533 -x6544 -x6555 -x6566 -x6577 -x6588 -x6599 -x6610 -x4 -x15 -x26 -x37 -x48 -x59 -x70 -x81 -x92 -x103 -x115 -x126 -x137
1782.70/1783.22	v -x148 -x159 -x170 -x181 -x192 -x203 -x214 -x226 -x237 -x248 -x259 -x270 -x281 -x292 -x303 -x314 -x325 -x337 -x348 -x359 -x370
1782.70/1783.22	v -x381 -x392 -x403 -x414 -x425 -x436 -x448 -x459 -x470 -x481 -x492 -x503 -x514 -x525 -x536 -x547 -x559 -x570 -x581 -x592 -x603
1782.70/1783.22	v -x614 -x625 -x636 -x647 -x658 -x670 -x681 -x692 -x703 -x714 -x725 -x736 -x747 -x758 -x769 -x781 -x792 -x803 -x814 -x825 -x836
1782.70/1783.22	v -x847 -x858 -x869 -x880 -x892 -x903 -x914 -x925 -x936 -x947 -x958 -x969 -x980 -x991 -x1003 -x1014 -x1025 -x1036 -x1047 -x1058
1782.70/1783.22	v -x1069 -x1080 -x1091 -x1102 -x1115 -x1126 -x1137 -x1148 -x1159 -x1170 -x1181 -x1192 -x1203 -x1214 -x1226 -x1237 -x1248
1782.70/1783.22	v -x1259 -x1270 -x1281 -x1292 -x1303 -x1314 -x1325 -x1337 -x1348 -x1359 -x1370 -x1381 -x1392 -x1403 -x1414 -x1425 -x1436
1782.70/1783.22	v -x1448 -x1459 -x1470 -x1481 -x1492 -x1503 -x1514 -x1525 -x1536 -x1547 -x1559 -x1570 -x1581 -x1592 -x1603 -x1614 -x1625
1782.70/1783.22	v -x1636 -x1647 -x1658 -x1670 -x1681 -x1692 -x1703 -x1714 -x1725 -x1736 -x1747 -x1758 -x1769 -x1781 -x1792 -x1803 -x1814
1782.70/1783.22	v -x1825 -x1836 -x1847 -x1858 -x1869 -x1880 -x1892 -x1903 -x1914 -x1925 -x1936 -x1947 -x1958 -x1969 -x1980 -x1991 -x2003
1782.70/1783.22	v -x2014 -x2025 -x2036 -x2047 -x2058 -x2069 -x2080 -x2091 -x2102 -x2114 -x2125 -x2136 -x2147 -x2158 -x2169 -x2180 -x2191
1782.70/1783.22	v -x2202 -x2213 -x2226 -x2237 -x2248 -x2259 -x2270 -x2281 -x2292 -x2303 -x2314 -x2325 -x2337 -x2348 -x2359 -x2370 -x2381
1782.70/1783.22	v -x2392 -x2403 -x2414 -x2425 -x2436 -x2448 -x2459 -x2470 -x2481 -x2492 -x2503 -x2514 -x2525 -x2536 -x2547 -x2559 -x2570
1782.70/1783.22	v -x2581 -x2592 -x2603 -x2614 -x2625 -x2636 -x2647 -x2658 -x2670 -x2681 -x2692 -x2703 -x2714 -x2725 -x2736 -x2747 -x2758
1782.70/1783.22	v -x2769 -x2781 -x2792 -x2803 -x2814 -x2825 -x2836 -x2847 -x2858 -x2869 -x2880 -x2892 -x2903 -x2914 -x2925 -x2936 -x2947
1782.70/1783.22	v -x2958 -x2969 -x2980 -x2991 -x3003 -x3014 -x3025 -x3036 -x3047 -x3058 -x3069 -x3080 -x3091 -x3102 -x3114 -x3125 -x3136
1782.70/1783.22	v -x3147 -x3158 -x3169 -x3180 -x3191 -x3202 -x3213 -x3225 -x3236 -x3247 -x3258 -x3269 -x3280 -x3291 -x3302 -x3313 -x3324
1782.70/1783.22	v -x3337 -x3348 -x3359 -x3370 -x3381 -x3392 -x3403 -x3414 -x3425 -x3436 -x3448 -x3459 -x3470 -x3481 -x3492 -x3503 -x3514
1782.70/1783.22	v -x3525 -x3536 -x3547 -x3559 -x3570 -x3581 -x3592 -x3603 -x3614 -x3625 -x3636 -x3647 -x3658 -x3670 -x3681 -x3692 -x3703
1782.70/1783.22	v -x3714 -x3725 -x3736 -x3747 -x3758 -x3769 -x3781 -x3792 -x3803 -x3814 -x3825 -x3836 -x3847 -x3858 -x3869 -x3880 -x3892
1782.70/1783.22	v -x3903 -x3914 -x3925 -x3936 -x3947 -x3958 -x3969 -x3980 -x3991 -x4003 -x4014 -x4025 -x4036 -x4047 -x4058 -x4069 -x4080
1782.70/1783.22	v -x4091 -x4102 -x4114 -x4125 -x4136 -x4147 -x4158 -x4169 -x4180 -x4191 -x4202 -x4213 -x4225 -x4236 -x4247 -x4258 -x4269
1782.70/1783.22	v -x4280 -x4291 -x4302 -x4313 -x4324 -x4336 -x4347 -x4358 -x4369 -x4380 -x4391 -x4402 -x4413 -x4424 -x4435 -x4448 -x4459
1782.70/1783.22	v -x4470 -x4481 -x4492 -x4503 -x4514 -x4525 -x4536 -x4547 -x4559 -x4570 -x4581 -x4592 -x4603 -x4614 -x4625 -x4636 -x4647
1782.70/1783.22	v -x4658 -x4670 -x4681 -x4692 -x4703 -x4714 -x4725 -x4736 -x4747 -x4758 -x4769 -x4781 -x4792 -x4803 -x4814 -x4825 -x4836
1782.70/1783.22	v -x4847 -x4858 -x4869 -x4880 -x4892 -x4903 -x4914 -x4925 -x4936 -x4947 -x4958 -x4969 -x4980 -x4991 -x5003 -x5014 -x5025
1782.70/1783.22	v -x5036 -x5047 -x5058 -x5069 -x5080 -x5091 -x5102 -x5114 -x5125 -x5136 -x5147 -x5158 -x5169 -x5180 -x5191 -x5202 -x5213
1782.70/1783.22	v -x5225 -x5236 -x5247 -x5258 -x5269 -x5280 -x5291 -x5302 -x5313 -x5324 -x5336 -x5347 -x5358 -x5369 -x5380 -x5391 -x5402
1782.70/1783.22	v -x5413 -x5424 -x5435 -x5447 -x5458 -x5469 -x5480 -x5491 -x5502 -x5513 -x5524 -x5535 -x5546 -x5559 -x5570 -x5581 -x5592
1782.70/1783.22	v -x5603 -x5614 -x5625 -x5636 -x5647 -x5658 -x5670 -x5681 -x5692 -x5703 -x5714 -x5725 -x5736 -x5747 -x5758 -x5769 -x5781
1782.70/1783.22	v -x5792 -x5803 -x5814 -x5825 -x5836 -x5847 -x5858 -x5869 -x5880 -x5892 -x5903 -x5914 -x5925 -x5936 -x5947 -x5958 -x5969
1782.70/1783.22	v -x5980 -x5991 -x6003 -x6014 -x6025 -x6036 -x6047 -x6058 -x6069 -x6080 -x6091 -x6102 -x6114 -x6125 -x6136 -x6147 -x6158
1782.70/1783.22	v -x6169 -x6180 -x6191 -x6202 -x6213 -x6225 -x6236 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6256 -x6257
1782.70/1783.22	v -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275
1782.70/1783.22	v -x6276 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295
1782.70/1783.22	v -x6296 -x6297 -x6298 -x6299 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6314
1782.70/1783.22	v -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332
1782.70/1783.22	v -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351
1782.70/1783.22	v -x6352 -x6353 -x6354 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6367 -x6368 -x6369 -x6370
1782.70/1783.22	v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6389
1782.70/1783.22	v -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408
1782.70/1783.22	v -x6409 -x6410 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6423 -x6424 -x6425 -x6426 -x6427
1782.70/1783.22	v -x6428 -x6429 -x6430 -x6431 -x6432 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6445 -x6446
1782.70/1783.22	v -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464
1782.70/1783.22	v -x6465 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483
1782.70/1783.22	v -x6484 -x6485 -x6486 -x6487 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6500 -x6501 -x6502
1782.70/1783.22	v -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521
1782.70/1783.22	v -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 x6532 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540
1782.70/1783.22	v -x6541 -x6542 -x6543 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6556 -x6557 -x6558 -x6559
1782.70/1783.22	v -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6578
1782.70/1783.22	v -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596
1782.70/1783.22	v -x6597 -x6598 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6611 -x6612 -x6613 -x6614 -x6615
1782.70/1783.22	v -x6616 -x6617 -x6618 -x6619 -x6620 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24
1782.70/1783.22	v -x25 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x49 -x50 -x51 -x52 -x53
1782.70/1783.22	v -x54 -x55 -x56 -x57 -x58 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x82
1782.70/1783.22	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x104 -x105 -x106 -x107 -x108
1782.70/1783.22	v -x109 -x110 -x111 -x112 -x113 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x127 -x128 -x129 -x130 -x131 -x132
1782.70/1783.22	v -x133 -x134 -x135 -x136 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x149 -x150 -x151 -x152 -x153 -x154 -x155
1782.70/1783.22	v -x156 -x157 -x158 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178
1782.70/1783.22	v -x179 -x180 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201
1782.70/1783.22	v -x202 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224
1782.70/1783.22	v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x249
1782.70/1783.22	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x271 -x272
1782.70/1783.22	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x293 -x294 -x295
1782.70/1783.22	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x315 -x316 -x317 -x318
1782.70/1783.22	v -x319 -x320 -x321 -x322 -x323 -x324 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x338 -x339 -x340 -x341 -x342
1782.70/1783.22	v -x343 -x344 -x345 -x346 -x347 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x360 -x361 -x362 -x363 -x364 -x365
1782.70/1783.22	v -x366 -x367 -x368 -x369 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x382 -x383 -x384 -x385 -x386 -x387 -x388
1782.70/1783.22	v -x389 -x390 -x391 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411
1782.70/1783.22	v -x412 -x413 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434
1782.70/1783.22	v -x435 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1782.70/1783.22	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x482
1782.70/1783.22	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x504 -x505
1782.70/1783.22	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x526 -x527 -x528
1782.70/1783.22	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x548 -x549 -x550 -x551
1782.70/1783.22	v -x552 -x553 -x554 -x555 -x556 -x557 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x571 -x572 -x573 -x574 -x575
1782.70/1783.22	v -x576 -x577 -x578 -x579 -x580 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x593 -x594 -x595 -x596 -x597 -x598
1782.70/1783.22	v -x599 -x600 -x601 -x602 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x615 -x616 -x617 -x618 -x619 -x620 -x621
1782.70/1783.22	v -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644
1782.70/1783.22	v -x645 -x646 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667
1782.70/1783.22	v -x668 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
1782.70/1783.22	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x715
1782.70/1783.22	v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x737 -x738
1782.70/1783.22	v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x759 -x760 -x761
1782.70/1783.22	v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x782 -x783 -x784 -x785
1782.70/1783.22	v -x786 -x787 -x788 -x789 -x790 -x791 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x804 -x805 -x806 -x807 -x808
1782.70/1783.22	v -x809 -x810 -x811 -x812 -x813 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x826 -x827 -x828 -x829 -x830 -x831
1782.70/1783.22	v -x832 -x833 -x834 -x835 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x848 -x849 -x850 -x851 -x852 -x853 -x854
1782.70/1783.22	v -x855 -x856 -x857 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1782.70/1783.22	v -x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901
1782.70/1783.22	v -x902 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1782.70/1783.22	v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x948
1782.70/1783.22	v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x970 -x971
1782.70/1783.22	v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x992 -x993 -x994
1782.70/1783.22	v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1015
1782.70/1783.22	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033
1782.70/1783.22	v -x1034 -x1035 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1048 -x1049 -x1050 -x1051 -x1052
1782.70/1783.22	v -x1053 -x1054 -x1055 -x1056 -x1057 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1070 -x1071
1782.70/1783.22	v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089
1782.70/1783.22	v -x1090 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1782.70/1783.22	v -x1109 -x1110 -x1111 x1112 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1127 -x1128 -x1129
1782.70/1783.22	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1782.70/1783.22	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1782.70/1783.22	v -x1167 -x1168 -x1169 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1182 -x1183 -x1184 -x1185
1782.70/1783.22	v -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1204
1782.70/1783.22	v -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222
1782.70/1783.22	v -x1223 x1224 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1238 -x1239 -x1240 -x1241 -x1242
1782.70/1783.22	v -x1243 -x1244 -x1245 -x1246 -x1247 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261
1782.70/1783.22	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1782.70/1783.22	v -x1280 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298
1782.70/1783.22	v -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1315 -x1316 -x1317
1782.70/1783.22	v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335
1782.70/1783.22	v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355
1782.70/1783.22	v -x1356 -x1357 -x1358 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1371 -x1372 -x1373 -x1374
1782.70/1783.22	v -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1393
1782.70/1783.22	v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411
1782.70/1783.22	v -x1412 -x1413 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1426 -x1427 -x1428 -x1429 -x1430
1782.70/1783.22	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1449 -x1450
1782.70/1783.22	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1782.70/1783.22	v -x1469 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487
1782.70/1783.22	v -x1488 -x1489 -x1490 -x1491 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1504 -x1505 -x1506
1782.70/1783.22	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
1782.70/1783.22	v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543
1782.70/1783.22	v -x1544 -x1545 -x1546 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1560 -x1561 -x1562 -x1563
1782.70/1783.22	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1582
1782.70/1783.22	v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1782.70/1783.22	v -x1601 -x1602 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1615 -x1616 -x1617 -x1618 -x1619
1782.70/1783.22	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1637 -x1638
1782.70/1783.22	v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1782.70/1783.22	v -x1657 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
1782.70/1783.22	v -x1677 -x1678 -x1679 -x1680 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1693 -x1694 -x1695
1782.70/1783.22	v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713
1782.70/1783.22	v -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732
1782.70/1783.22	v -x1733 -x1734 -x1735 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751
1782.70/1783.22	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1770
1782.70/1783.22	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789
1782.70/1783.22	v -x1790 -x1791 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1804 -x1805 -x1806 -x1807 -x1808
1782.70/1783.22	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827
1782.70/1783.22	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845
1782.70/1783.22	v x1846 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864
1782.70/1783.22	v -x1865 -x1866 -x1867 x1868 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1881 -x1882 -x1883
1782.70/1783.22	v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902
1782.70/1783.22	v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921
1782.70/1783.22	v -x1922 -x1923 -x1924 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1937 -x1938 -x1939 -x1940
1782.70/1783.22	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1959
1782.70/1783.22	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977
1782.70/1783.22	v -x1978 -x1979 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1992 -x1993 -x1994 -x1995 -x1996
1782.70/1783.22	v -x1997 -x1998 -x1999 -x2000 -x2001 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016
1782.70/1783.22	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1782.70/1783.22	v -x2035 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
1782.70/1783.22	v -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2070 -x2071 -x2072
1782.70/1783.22	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
1782.70/1783.22	v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109
1782.70/1783.22	v -x2110 -x2111 -x2112 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2126 -x2127 -x2128 -x2129
1782.70/1783.22	v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2148
1782.70/1783.22	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1782.70/1783.22	v -x2167 -x2168 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2181 -x2182 -x2183 -x2184 -x2185
1782.70/1783.22	v -x2186 -x2187 -x2188 -x2189 -x2190 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2203 -x2204
1782.70/1783.22	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222
1782.70/1783.22	v -x2223 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243
1782.70/1783.22	v -x2244 -x2245 -x2246 -x2247 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2260 -x2261 -x2262
1782.70/1783.22	v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1782.70/1783.22	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299
1782.70/1783.22	v -x2300 -x2301 -x2302 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2315 -x2316 -x2317 -x2318
1782.70/1783.22	v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2338
1782.70/1783.22	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
1782.70/1783.22	v -x2357 x2358 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371 -x2372 -x2373 -x2374 -x2375
1782.70/1783.22	v -x2376 -x2377 -x2378 -x2379 x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2393 -x2394
1782.70/1783.22	v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412
1782.70/1783.22	v -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431
1782.70/1783.22	v -x2432 -x2433 -x2434 -x2435 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2449 -x2450 -x2451
1782.70/1783.22	v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469
1782.70/1783.22	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488
1782.70/1783.22	v -x2489 -x2490 -x2491 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2504 -x2505 -x2506 -x2507
1782.70/1783.22	v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2526
1782.70/1783.22	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544
1782.70/1783.22	v -x2545 -x2546 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2560 -x2561 -x2562 -x2563 -x2564
1782.70/1783.22	v -x2565 -x2566 -x2567 -x2568 -x2569 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2582 -x2583
1782.70/1783.22	v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601
1782.70/1783.22	v -x2602 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
1782.70/1783.22	v -x2621 -x2622 -x2623 -x2624 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2637 -x2638 -x2639
1782.70/1783.22	v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
1782.70/1783.22	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677
1782.70/1783.22	v -x2678 -x2679 -x2680 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2693 -x2694 -x2695 -x2696
1782.70/1783.22	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2715
1782.70/1783.22	v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733
1782.70/1783.22	v -x2734 -x2735 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2748 -x2749 -x2750 -x2751 -x2752
1782.70/1783.22	v -x2753 -x2754 -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2770 -x2771
1782.70/1783.22	v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1782.70/1783.22	v -x2791 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1782.70/1783.22	v -x2810 -x2811 -x2812 -x2813 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2826 -x2827 -x2828
1782.70/1783.22	v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846
1782.70/1783.22	v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865
1782.70/1783.22	v -x2866 -x2867 x2868 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2881 -x2882 -x2883 -x2884
1782.70/1783.22	v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2904
1782.70/1783.22	v -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922
1782.70/1783.22	v -x2923 -x2924 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2937 -x2938 -x2939 -x2940 -x2941
1782.70/1783.22	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960
1782.70/1783.22	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978
1782.70/1783.22	v -x2979 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997
1782.70/1783.22	v -x2998 -x2999 -x3000 -x3001 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3015 -x3016 -x3017
1782.70/1783.22	v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035
1782.70/1783.22	v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054
1782.70/1783.22	v -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3071 -x3072 -x3073
1782.70/1783.22	v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3092
1782.70/1783.22	v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
1782.70/1783.22	v -x3111 -x3112 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3126 -x3127 -x3128 -x3129 -x3130
1782.70/1783.22	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3148 -x3149
1782.70/1783.22	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167
1782.70/1783.22	v -x3168 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186
1782.70/1783.22	v -x3187 -x3188 -x3189 -x3190 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3203 -x3204 -x3205
1782.70/1783.22	v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223
1782.70/1783.22	v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243
1782.70/1783.22	v -x3244 -x3245 -x3246 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3259 -x3260 -x3261 -x3262
1782.70/1783.22	v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3281
1782.70/1783.22	v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
1782.70/1783.22	v -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3314 -x3315 -x3316 -x3317 -x3318
1782.70/1783.22	v -x3319 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3338 -x3339
1782.70/1783.22	v -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357
1782.70/1783.22	v -x3358 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376
1782.70/1783.22	v -x3377 -x3378 -x3379 -x3380 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3393 -x3394 -x3395
1782.70/1783.22	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413
1782.70/1783.22	v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432
1782.70/1783.22	v -x3433 -x3434 -x3435 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3449 -x3450 -x3451 -x3452
1782.70/1783.22	v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3471
1782.70/1783.22	v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489
1782.70/1783.22	v -x3490 -x3491 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3504 -x3505 -x3506 -x3507 -x3508
1782.70/1783.22	v -x3509 -x3510 -x3511 -x3512 -x3513 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527
1782.70/1783.22	v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545
1782.70/1783.22	v -x3546 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565
1782.70/1783.22	v -x3566 -x3567 -x3568 -x3569 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3582 -x3583 -x3584
1782.70/1783.22	v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602
1782.70/1783.22	v -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621
1782.70/1783.22	v -x3622 -x3623 -x3624 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3637 -x3638 -x3639 -x3640
1782.70/1783.22	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3659
1782.70/1783.22	v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678
1782.70/1783.22	v -x3679 -x3680 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3693 -x3694 -x3695 -x3696 -x3697
1782.70/1783.22	v -x3698 -x3699 -x3700 -x3701 -x3702 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3715 -x3716
1782.70/1783.22	v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734
1782.70/1783.22	v -x3735 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753
1782.70/1783.22	v -x3754 -x3755 -x3756 -x3757 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3770 -x3771 -x3772
1782.70/1783.22	v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791
1782.70/1783.22	v -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1782.70/1783.22	v -x3811 -x3812 -x3813 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3826 -x3827 -x3828 -x3829
1782.70/1783.22	v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3848
1782.70/1783.22	v -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866
1782.70/1783.22	v -x3867 -x3868 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3882 -x3883 -x3884 -x3885
1782.70/1783.22	v -x3886 -x3887 -x3888 -x3889 -x3890 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3904 -x3905
1782.70/1783.22	v -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923
1782.70/1783.22	v -x3924 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942
1782.70/1783.22	v -x3943 -x3944 -x3945 -x3946 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3959 -x3960 -x3961
1782.70/1783.22	v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979
1782.70/1783.22	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998
1782.70/1783.22	v -x3999 -x4000 -x4001 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4015 -x4016 -x4017 -x4018
1782.70/1783.22	v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4037
1782.70/1783.22	v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055
1782.70/1783.22	v -x4056 -x4057 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4070 -x4071 -x4072 -x4073 -x4074
1782.70/1783.22	v -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4092 -x4093
1782.70/1783.22	v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111
1782.70/1783.22	v -x4112 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131
1782.70/1783.22	v -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4148 -x4149 -x4150
1782.70/1783.22	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168
1782.70/1783.22	v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187
1782.70/1783.22	v -x4188 -x4189 -x4190 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4203 -x4204 -x4205 -x4206
1782.70/1783.22	v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4226
1782.70/1783.22	v -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244
1782.70/1783.22	v -x4245 -x4246 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263
1782.70/1783.22	v -x4264 -x4265 -x4266 -x4267 -x4268 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4281 -x4282
1782.70/1783.22	v -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
1782.70/1783.22	v -x4301 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319
1782.70/1783.22	v -x4320 -x4321 -x4322 -x4323 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4337 -x4338 -x4339
1782.70/1783.22	v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357
1782.70/1783.22	v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376
1782.70/1783.22	v -x4377 -x4378 -x4379 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395
1782.70/1783.22	v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4414
1782.70/1783.22	v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432
1782.70/1783.22	v -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4449 -x4450 -x4451 -x4452 -x4453
1782.70/1783.22	v -x4454 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4471 -x4472
1782.70/1783.22	v -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490
1782.70/1783.22	v -x4491 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509
1782.70/1783.22	v -x4510 -x4511 -x4512 -x4513 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4526 -x4527 -x4528
1782.70/1783.22	v -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546
1782.70/1783.22	v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566
1782.70/1783.22	v -x4567 -x4568 -x4569 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4582 -x4583 -x4584 -x4585
1782.70/1783.22	v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4604
1782.70/1783.22	v -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622
1782.70/1783.22	v -x4623 -x4624 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 -x4641
1782.70/1783.22	v -x4642 -x4643 -x4644 -x4645 -x4646 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4659 -x4660
1782.70/1783.22	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679
1782.70/1783.22	v -x4680 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698
1782.70/1783.22	v -x4699 -x4700 -x4701 -x4702 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4715 -x4716 -x4717
1782.70/1783.22	v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735
1782.70/1783.22	v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754
1782.70/1783.22	v -x4755 -x4756 -x4757 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4770 -x4771 -x4772 -x4773
1782.70/1783.22	v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4793
1782.70/1783.22	v -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811
1782.70/1783.22	v -x4812 -x4813 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4826 -x4827 -x4828 -x4829 -x4830
1782.70/1783.22	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4848 -x4849
1782.70/1783.22	v -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867
1782.70/1783.22	v -x4868 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886
1782.70/1783.22	v -x4887 -x4888 -x4889 -x4890 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4904 -x4905 -x4906
1782.70/1783.22	v -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924
1782.70/1783.22	v -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943
1782.70/1783.22	v -x4944 -x4945 -x4946 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4959 -x4960 -x4961 -x4962
1782.70/1783.22	v -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4981
1782.70/1783.22	v -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999
1782.70/1783.22	v -x5000 -x5001 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5015 -x5016 -x5017 -x5018 -x5019
1782.70/1783.22	v -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5037 -x5038
1782.70/1783.22	v -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056
1782.70/1783.22	v -x5057 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075
1782.70/1783.22	v -x5076 -x5077 -x5078 -x5079 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5092 -x5093 -x5094
1782.70/1783.22	v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112
1782.70/1783.22	v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132
1782.70/1783.22	v -x5133 -x5134 -x5135 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5148 -x5149 -x5150 -x5151
1782.70/1783.22	v -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5170
1782.70/1783.22	v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188
1782.70/1783.22	v -x5189 -x5190 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5203 -x5204 -x5205 -x5206 -x5207
1782.70/1783.22	v -x5208 -x5209 -x5210 -x5211 -x5212 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5226 -x5227
1782.70/1783.22	v -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245
1782.70/1783.22	v -x5246 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264
1782.70/1783.22	v -x5265 -x5266 -x5267 -x5268 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5281 -x5282 -x5283
1782.70/1783.22	v -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301
1782.70/1783.22	v -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320
1782.70/1783.22	v -x5321 -x5322 -x5323 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5337 -x5338 -x5339 -x5340
1782.70/1783.22	v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5359
1782.70/1783.22	v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377
1782.70/1783.22	v -x5378 -x5379 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 -x5396
1782.70/1783.22	v -x5397 -x5398 -x5399 -x5400 -x5401 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5414 -x5415
1782.70/1783.22	v -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433
1782.70/1783.22	v -x5434 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453
1782.70/1783.22	v -x5454 -x5455 -x5456 -x5457 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5470 -x5471 -x5472
1782.70/1783.22	v -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490
1782.70/1783.22	v -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509
1782.70/1783.22	v -x5510 -x5511 -x5512 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5525 -x5526 -x5527 -x5528
1782.70/1783.22	v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5547
1782.70/1783.22	v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567
1782.70/1783.22	v -x5568 -x5569 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5582 -x5583 -x5584 -x5585 -x5586
1782.70/1783.22	v -x5587 -x5588 -x5589 -x5590 -x5591 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5604 -x5605
1782.70/1783.22	v -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623
1782.70/1783.22	v -x5624 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642
1782.70/1783.22	v -x5643 -x5644 -x5645 -x5646 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5659 -x5660 -x5661
1782.70/1783.22	v -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
1782.70/1783.22	v -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699
1782.70/1783.22	v -x5700 -x5701 -x5702 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5715 -x5716 -x5717 -x5718
1782.70/1783.22	v -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5737
1782.70/1783.22	v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755
1782.70/1783.22	v -x5756 -x5757 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5770 -x5771 -x5772 -x5773 -x5774
1782.70/1783.22	v -x5775 -x5776 -x5777 -x5778 -x5779 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5793 -x5794
1782.70/1783.22	v -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812
1782.70/1783.22	v -x5813 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831
1782.70/1783.22	v -x5832 -x5833 -x5834 -x5835 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5848 -x5849 -x5850
1782.70/1783.22	v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868
1782.70/1783.22	v -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887
1782.70/1783.22	v -x5888 -x5889 -x5890 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5904 -x5905 -x5906 -x5907
1782.70/1783.22	v -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5926
1782.70/1783.22	v -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944
1782.70/1783.22	v -x5945 -x5946 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5959 -x5960 -x5961 -x5962 -x5963
1782.70/1783.22	v -x5964 -x5965 -x5966 -x5967 -x5968 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5981 -x5982
1782.70/1783.22	v -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000
1782.70/1783.22	v -x6001 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020
1782.70/1783.22	v -x6021 -x6022 -x6023 -x6024 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6037 -x6038 -x6039
1782.70/1783.22	v -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057
1782.70/1783.22	v -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076
1782.70/1783.22	v -x6077 -x6078 -x6079 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6092 -x6093 -x6094 -x6095
1782.70/1783.22	v -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6115
1782.70/1783.22	v -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133
1782.70/1783.22	v -x6134 -x6135 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6148 -x6149 -x6150 -x6151 -x6152
1782.70/1783.22	v -x6153 -x6154 -x6155 -x6156 -x6157 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6170 -x6171
1782.70/1783.22	v -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189
1782.70/1783.22	v -x6190 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208
1782.70/1783.22	v -x6209 -x6210 -x6211 -x6212 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6226 -x6227 -x6228
1782.70/1783.22	v -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 x6246

Verifier Data (download as text)

OK	393218

Conversion Script Data (download as text)

/tmp/evaluation/350942-1176570108/instance-350942-1176570108.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node24/watcher-350942-1176570108 -o ROOT/results/node24/solver-350942-1176570108 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/350942-1176570108/instance-350942-1176570108.opb 

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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 24525
/proc/meminfo: memFree=1490696/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=2296 CPUtime=0
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 219 0 3 0 0 0 0 0 18 0 1 0 104928804 2351104 192 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 3392176 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 574 192 169 16 0 13 0

[startup+0.046586 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 24525
/proc/meminfo: memFree=1490696/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=3216 CPUtime=0.03
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 451 0 3 0 3 0 0 0 18 0 1 0 104928804 3293184 424 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 3071703 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 804 424 199 16 0 243 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3216

[startup+0.10159 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 24525
/proc/meminfo: memFree=1490696/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=3616 CPUtime=0.08
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 519 0 3 0 8 0 0 0 18 0 1 0 104928804 3702784 492 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 904 492 199 16 0 343 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3616

[startup+0.301613 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 24525
/proc/meminfo: memFree=1490696/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=4548 CPUtime=0.28
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 764 0 3 0 28 0 0 0 19 0 1 0 104928804 4657152 737 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 1137 737 199 16 0 576 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4548

[startup+0.701656 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 24525
/proc/meminfo: memFree=1490696/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=6548 CPUtime=0.68
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 1254 0 3 0 68 0 0 0 22 0 1 0 104928804 6705152 1227 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 1637 1227 199 16 0 1076 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6548

[startup+1.50174 s]
/proc/loadavg: 0.92 0.98 0.99 2/84 24526
/proc/meminfo: memFree=1480000/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=12296 CPUtime=1.48
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 2700 0 3 0 146 2 0 0 25 0 1 0 104928804 12591104 2673 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134558690 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3074 2673 205 16 0 2513 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12296

[startup+3.10192 s]
/proc/loadavg: 0.92 0.98 0.99 2/84 24528
/proc/meminfo: memFree=1479808/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=12296 CPUtime=3.08
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 2700 0 3 0 306 2 0 0 25 0 1 0 104928804 12591104 2673 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528052 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3074 2673 205 16 0 2513 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12296

[startup+6.30126 s]
/proc/loadavg: 0.93 0.98 0.99 2/84 24530
/proc/meminfo: memFree=1479808/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=12296 CPUtime=6.27
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 2700 0 3 0 624 3 0 0 25 0 1 0 104928804 12591104 2673 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3074 2673 205 16 0 2513 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 12296

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1480944/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=12296 CPUtime=12.66
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 2700 0 3 0 1260 6 0 0 25 0 1 0 104928804 12591104 2673 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528544 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3074 2673 205 16 0 2513 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 12296

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1481144/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=12296 CPUtime=25.46
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 2700 0 3 0 2536 10 0 0 25 0 1 0 104928804 12591104 2673 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3074 2673 205 16 0 2513 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 12296

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1479992/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=13580 CPUtime=51.05
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 3028 0 3 0 5088 17 0 0 25 0 1 0 104928804 13905920 3001 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3395 3001 205 16 0 2834 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 13580

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1478456/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=15232 CPUtime=102.25
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 3417 0 3 0 10203 22 0 0 25 0 1 0 104928804 15597568 3390 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134558844 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3808 3390 205 16 0 3247 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 15232

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1477944/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=15608 CPUtime=162.22
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 3532 0 3 0 16196 26 0 0 25 0 1 0 104928804 15982592 3505 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3902 3505 205 16 0 3341 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 15608

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1477880/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=15608 CPUtime=222.2
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 3532 0 3 0 22189 31 0 0 25 0 1 0 104928804 15982592 3505 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 3902 3505 205 16 0 3341 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 15608

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1476856/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=16832 CPUtime=282.19
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 3815 0 3 0 28166 53 0 0 25 0 1 0 104928804 17235968 3788 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 4208 3788 205 16 0 3647 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 16832

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1470520/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=23016 CPUtime=342.18
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 5370 0 3 0 34152 66 0 0 25 0 1 0 104928804 23568384 5343 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 5754 5343 205 16 0 5193 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 23016

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1468088/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=25372 CPUtime=402.16
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 5989 0 3 0 40134 82 0 0 25 0 1 0 104928804 25980928 5947 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520442 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 6343 5947 205 16 0 5782 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 25372

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1468280/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=25372 CPUtime=462.14
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 5989 0 3 0 46123 91 0 0 25 0 1 0 104928804 25980928 5947 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 6343 5947 205 16 0 5782 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 25372

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1469304/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=24176 CPUtime=522.13
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 5989 0 3 0 52112 101 0 0 25 0 1 0 104928804 24756224 5648 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528547 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 6044 5648 205 16 0 5483 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 24176

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1460216/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=33276 CPUtime=582.11
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 8443 0 3 0 58101 110 0 0 25 0 1 0 104928804 34074624 7923 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 8319 7923 205 16 0 7758 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 33276

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1460280/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=33204 CPUtime=642.1
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 8443 0 3 0 64091 119 0 0 25 0 1 0 104928804 34000896 7905 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 8301 7905 205 16 0 7740 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 33204


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

/proc/meminfo: memFree=1460344/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=33180 CPUtime=882.03
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 8443 0 3 0 88048 155 0 0 25 0 1 0 104928804 33976320 7899 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559228 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 8295 7899 205 16 0 7734 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 33180

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1460408/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=33180 CPUtime=942.02
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 8443 0 3 0 94038 164 0 0 25 0 1 0 104928804 33976320 7899 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 8295 7899 205 16 0 7734 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 33180

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1460408/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=33180 CPUtime=1002
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 8443 0 3 0 100027 173 0 0 25 0 1 0 104928804 33976320 7899 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 8295 7899 205 16 0 7734 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 33180

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1460408/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=33180 CPUtime=1061.99
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 8443 0 3 0 106011 188 0 0 25 0 1 0 104928804 33976320 7899 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 8295 7899 205 16 0 7734 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 33180

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1460472/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=33180 CPUtime=1121.97
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 8443 0 3 0 111995 202 0 0 25 0 1 0 104928804 33976320 7899 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527886 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 8295 7899 205 16 0 7734 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 33180

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1460472/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=33180 CPUtime=1181.95
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 8443 0 3 0 117983 212 0 0 25 0 1 0 104928804 33976320 7899 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 8295 7899 205 16 0 7734 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 33180

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1453496/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=40224 CPUtime=1241.95
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 10183 0 3 0 123964 231 0 0 25 0 1 0 104928804 41189376 9639 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 10056 9639 205 16 0 9495 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 40224

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1453560/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=39852 CPUtime=1301.93
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 10183 0 3 0 129949 244 0 0 25 0 1 0 104928804 40808448 9567 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 9963 9567 205 16 0 9402 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 39852

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1453560/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=39852 CPUtime=1361.91
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 10183 0 3 0 135939 252 0 0 25 0 1 0 104928804 40808448 9567 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 9963 9567 205 16 0 9402 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 39852

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1453624/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=39852 CPUtime=1421.9
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 10183 0 3 0 141926 264 0 0 25 0 1 0 104928804 40808448 9567 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 9963 9567 205 16 0 9402 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 39852

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1453624/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=39776 CPUtime=1481.88
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 10183 0 3 0 147916 272 0 0 25 0 1 0 104928804 40730624 9548 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 9944 9548 205 16 0 9383 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 39776

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1442296/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=51324 CPUtime=1541.86
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 13050 0 3 0 153901 285 0 0 25 0 1 0 104928804 52555776 12415 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556215 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 12831 12415 205 16 0 12270 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 51324

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1446264/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=47112 CPUtime=1601.85
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 13050 0 3 0 159892 293 0 0 25 0 1 0 104928804 48242688 11382 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 11778 11382 205 16 0 11217 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 47112

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1446648/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=46764 CPUtime=1661.83
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 13050 0 3 0 165878 305 0 0 25 0 1 0 104928804 47886336 11295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134557302 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 11691 11295 205 16 0 11130 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 46764

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1446648/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=46764 CPUtime=1721.81
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 13050 0 3 0 171864 317 0 0 25 0 1 0 104928804 47886336 11295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 11691 11295 205 16 0 11130 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 46764

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1446712/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=46764 CPUtime=1781.8
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 13050 0 3 0 177852 328 0 0 25 0 1 0 104928804 47886336 11295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 11691 11295 205 16 0 11130 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 46764

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

[startup+1782.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1446712/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=46764 CPUtime=1782.2
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 13050 0 3 0 177892 328 0 0 25 0 1 0 104928804 47886336 11295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 11691 11295 205 16 0 11130 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 46764

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1446712/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=46764 CPUtime=1782.6
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 13050 0 3 0 177932 328 0 0 25 0 1 0 104928804 47886336 11295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 11691 11295 205 16 0 11130 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (KiB) 46764

[startup+1783.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 24550
/proc/meminfo: memFree=1446712/2055920 swapFree=4191880/4192956
[pid=24525] ppid=24523 vsize=46764 CPUtime=1782.7
/proc/24525/stat : 24525 (Pueblo) R 24523 24525 21337 0 -1 4194304 13050 0 3 0 177942 328 0 0 25 0 1 0 104928804 47886336 11295 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24525/statm: 11691 11295 205 16 0 11130 0
Current children cumulated CPU time (s) 1782.7
Current children cumulated vsize (KiB) 46764

Child status: 10
Real time (s): 1783.24
CPU time (s): 1782.75
CPU user time (s): 1779.45
CPU system time (s): 3.2935
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 51324

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

runsolver used 2.07668 second user time and 4.37333 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Apr 14 17:01:48 UTC 2007

IDJOB= 350942
IDBENCH= 1622
IDSOLVER= 165
FILE ID= node24/350942-1176570108

PBS_JOBID= 4556908

Free space on /tmp= 66560 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= Pueblo /tmp/evaluation/350942-1176570108/instance-350942-1176570108.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-350942-1176570108 -o ROOT/results/node24/conversion-350942-1176570108 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350942-1176570108/instance-350942-1176570108.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-350942-1176570108 -o ROOT/results/node24/solver-350942-1176570108 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/350942-1176570108/instance-350942-1176570108.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  5afe2e688387cc46a3d150d955d27ab1

RANDOM SEED= 671920174

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.238
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.238
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1491104 kB
Buffers:         46244 kB
Cached:         332384 kB
SwapCached:        268 kB
Active:         216040 kB
Inactive:       218360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1491104 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4376 kB
Writeback:           0 kB
Mapped:          73220 kB
Slab:           115496 kB
Committed_AS:   235932 kB
PageTables:       2016 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node24 on Sat Apr 14 17:31:31 UTC 2007