Trace number 350940

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
bsolo 3.0.16SAT (TO)294914 1800.23 1800.83

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	294914

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-350940-1176570038 -o ROOT/results/node61/solver-350940-1176570038 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350940-1176570038/instance-350940-1176570038.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.97 0.99 3/64 25441
/proc/meminfo: memFree=1402304/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=18568 CPUtime=0
/proc/25441/stat : 25441 (runsolver) R 25439 25441 25070 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 68967466 19013632 292 18446744073709551615 4194304 4296420 548682068976 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25441/statm: 4642 292 257 24 0 2626 0

[startup+0.062122 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 25441
/proc/meminfo: memFree=1402304/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=14500 CPUtime=0.04
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 612 0 3 0 4 0 0 0 18 0 1 0 68967466 14848000 583 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 3625 583 336 324 0 2197 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14500

[startup+0.101059 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 25441
/proc/meminfo: memFree=1402304/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=14756 CPUtime=0.08
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 725 0 3 0 8 0 0 0 18 0 1 0 68967466 15110144 696 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 3689 697 384 324 0 2261 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14756

[startup+0.301078 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 25441
/proc/meminfo: memFree=1402304/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=8304 CPUtime=0.27
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 1312 0 3 0 27 0 0 0 19 0 1 0 68967466 8503296 1283 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 2076 1283 629 324 0 648 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8304

[startup+0.701118 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 25441
/proc/meminfo: memFree=1402304/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=8140 CPUtime=0.67
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 1917 0 3 0 67 0 0 0 22 0 1 0 68967466 8335360 1391 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 2035 1391 305 324 0 1104 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8140

[startup+1.50119 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 25442
/proc/meminfo: memFree=1396728/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=8580 CPUtime=1.48
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 2887 0 3 0 147 1 0 0 25 0 1 0 68967466 8785920 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 2145 1518 307 324 0 1214 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8580

[startup+3.10134 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 25442
/proc/meminfo: memFree=1396408/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=8580 CPUtime=3.08
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 2887 0 3 0 307 1 0 0 25 0 1 0 68967466 8785920 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 2145 1518 307 324 0 1214 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8580

[startup+6.30165 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 25442
/proc/meminfo: memFree=1396480/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=8580 CPUtime=6.27
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 2887 0 3 0 626 1 0 0 25 0 1 0 68967466 8785920 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 2145 1518 307 324 0 1214 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 8580

[startup+12.7013 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 25442
/proc/meminfo: memFree=1384448/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=23568 CPUtime=12.67
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 6643 0 3 0 1259 8 0 0 25 0 1 0 68967466 24133632 5274 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 5892 5274 312 324 0 4961 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23568

[startup+25.5015 s]
/proc/loadavg: 0.95 0.97 0.99 2/71 25468
/proc/meminfo: memFree=1322312/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=82528 CPUtime=25.47
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 21381 0 3 0 2522 25 0 0 25 0 1 0 68967466 84508672 20012 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 20632 20012 312 324 0 19701 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 82528

[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.99 2/71 25580
/proc/meminfo: memFree=1256704/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=148772 CPUtime=51
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 37939 0 3 0 5063 37 0 0 25 0 1 0 68967466 152342528 36570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 37193 36570 312 324 0 36262 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 148772

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 25640
/proc/meminfo: memFree=1136704/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=268180 CPUtime=102.16
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 67783 0 3 0 10156 60 0 0 25 0 1 0 68967466 274616320 66414 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 67045 66414 312 324 0 66114 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 268180

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=1038656/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=366972 CPUtime=162.14
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 92493 0 3 0 16131 83 0 0 25 0 1 0 68967466 375779328 91124 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 91743 91124 312 324 0 90812 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 366972

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=952768/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=451608 CPUtime=222.12
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 113658 0 3 0 22102 110 0 0 25 0 1 0 68967466 462446592 112289 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 112902 112289 312 324 0 111971 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 451608

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=877184/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=527460 CPUtime=282.1
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 132601 0 3 0 28088 122 0 0 25 0 1 0 68967466 540119040 131232 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 131865 131232 312 324 0 130934 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 527460

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=835648/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=568520 CPUtime=342.09
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 142885 0 3 0 34078 131 0 0 25 0 1 0 68967466 582164480 141516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 142130 141516 312 324 0 141199 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 568520

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=789760/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=614648 CPUtime=402.07
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 154425 0 3 0 40069 138 0 0 25 0 1 0 68967466 629399552 153056 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10817377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 153662 153056 312 324 0 152731 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 614648

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=756928/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=647336 CPUtime=462.06
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 162580 0 3 0 46063 143 0 0 25 0 1 0 68967466 662872064 161211 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 161834 161211 312 324 0 160903 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 647336

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=733504/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=670776 CPUtime=522.04
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 168453 0 3 0 52058 146 0 0 25 0 1 0 68967466 686874624 167084 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 167694 167084 312 324 0 166763 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 670776

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=721408/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=682756 CPUtime=582.02
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 171436 0 3 0 58054 148 0 0 25 0 1 0 68967466 699142144 170067 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 170689 170067 312 324 0 169758 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 682756

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=710976/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=693024 CPUtime=642.01
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 174006 0 3 0 64050 151 0 0 25 0 1 0 68967466 709656576 172637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 173256 172637 312 324 0 172325 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 693024


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=662656/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=741356 CPUtime=881.94
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 186082 0 3 0 88032 162 0 0 25 0 1 0 68967466 759148544 184713 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 185339 184713 312 324 0 184408 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 741356

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=649344/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=754952 CPUtime=941.92
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 189485 0 3 0 94027 165 0 0 25 0 1 0 68967466 773070848 188116 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 188738 188116 312 324 0 187807 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 754952

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=620480/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=783500 CPUtime=1001.91
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 196614 0 3 0 100019 172 0 0 25 0 1 0 68967466 802304000 195245 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 195875 195245 312 324 0 194944 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 783500

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=603520/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=800756 CPUtime=1061.89
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 200927 0 3 0 106014 175 0 0 25 0 1 0 68967466 819974144 199558 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 200189 199558 312 324 0 199258 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 800756

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=586368/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=817528 CPUtime=1121.87
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 205138 0 3 0 112007 180 0 0 25 0 1 0 68967466 837148672 203769 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 204382 203769 312 324 0 203451 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 817528

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=563904/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=840168 CPUtime=1181.86
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 210796 0 3 0 118001 185 0 0 25 0 1 0 68967466 860332032 209427 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 210042 209427 312 324 0 209111 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 840168

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=549120/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=854688 CPUtime=1241.84
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 214434 0 3 0 123995 189 0 0 25 0 1 0 68967466 875200512 213065 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 213672 213065 312 324 0 212741 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 854688

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25640
/proc/meminfo: memFree=531904/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=871792 CPUtime=1301.83
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 218682 0 3 0 129990 193 0 0 25 0 1 0 68967466 892715008 217313 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 217948 217313 312 324 0 217017 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 871792

[startup+1362.3 s]
/proc/loadavg: 1.04 0.99 1.00 2/65 25640
/proc/meminfo: memFree=509760/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=894128 CPUtime=1361.81
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 224280 0 3 0 135983 198 0 0 25 0 1 0 68967466 915587072 222911 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 223532 222911 312 324 0 222601 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 894128

[startup+1422.31 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 25640
/proc/meminfo: memFree=478464/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=925184 CPUtime=1421.8
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 232044 0 3 0 141975 205 0 0 25 0 1 0 68967466 947388416 230675 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 231296 230675 312 324 0 230365 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 925184

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 25640
/proc/meminfo: memFree=450432/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=953324 CPUtime=1481.78
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 239064 0 3 0 147967 211 0 0 25 0 1 0 68967466 976203776 237695 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 238331 237695 312 324 0 237400 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 953324

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 25640
/proc/meminfo: memFree=429824/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=973576 CPUtime=1541.76
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 244153 0 3 0 153961 215 0 0 25 0 1 0 68967466 996941824 242784 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 243394 242784 312 324 0 242463 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 973576

[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 25640
/proc/meminfo: memFree=411584/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=992308 CPUtime=1601.75
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 248822 0 3 0 159956 219 0 0 25 0 1 0 68967466 1016123392 247453 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 248077 247453 312 324 0 247146 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 992308

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 25640
/proc/meminfo: memFree=389440/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=1013992 CPUtime=1661.73
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 254260 0 3 0 165950 223 0 0 25 0 1 0 68967466 1038327808 252891 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 253498 252891 312 324 0 252567 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1013992

[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 25642
/proc/meminfo: memFree=366592/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=1037132 CPUtime=1721.72
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 260029 0 3 0 171944 228 0 0 25 0 1 0 68967466 1062023168 258660 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 259283 258660 312 324 0 258352 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1037132

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25642
/proc/meminfo: memFree=336192/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=1067248 CPUtime=1781.69
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194304 267574 0 3 0 177936 233 0 0 25 0 1 0 68967466 1092861952 266205 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 266812 266205 312 324 0 265881 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1067248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25642
/proc/meminfo: memFree=622016/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=0 CPUtime=1800.1
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194308 269196 0 3 0 179771 239 0 0 17 0 1 0 68967466 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25642
/proc/meminfo: memFree=622016/2055920 swapFree=4192812/4192956
[pid=25441] ppid=25439 vsize=0 CPUtime=1800.19
/proc/25441/stat : 25441 (bsolo3.0.16) R 25439 25441 25070 0 -1 4194308 269196 0 3 0 179771 248 0 0 17 0 1 0 68967466 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25441/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.23
CPU user time (s): 1797.72
CPU system time (s): 2.51262
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 1073748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.72
system time used= 2.51262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269196
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= 18
involuntary context switches= 3162

runsolver used 1.3158 second user time and 3.67244 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Apr 14 17:00:38 UTC 2007

IDJOB= 350940
IDBENCH= 1622
IDSOLVER= 163
FILE ID= node61/350940-1176570038

PBS_JOBID= 4556907

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
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= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350940-1176570038/instance-350940-1176570038.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-350940-1176570038 -o ROOT/results/node61/solver-350940-1176570038 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350940-1176570038/instance-350940-1176570038.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  5afe2e688387cc46a3d150d955d27ab1

RANDOM SEED= 255660279

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1402776 kB
Buffers:         42116 kB
Cached:         468972 kB
SwapCached:          0 kB
Active:         320220 kB
Inactive:       210480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1402776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6464 kB
Writeback:           0 kB
Mapped:          29824 kB
Slab:           108584 kB
Committed_AS:   111288 kB
PageTables:       1396 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= 66558 MiB

End job on node61 on Sat Apr 14 17:30:41 UTC 2007