Trace number 351577

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.24 1801.39

General information on the benchmark

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

[startup+0.020418 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 8145
/proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=14152 CPUtime=0.01
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 482 0 0 0 1 0 0 0 18 0 1 0 136511281 14491648 450 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 3538 450 297 324 0 2110 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14152

[startup+0.101427 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 8145
/proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=7052 CPUtime=0.09
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 775 0 0 0 9 0 0 0 18 0 1 0 136511281 7221248 743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3430188 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 1763 743 403 324 0 335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7052

[startup+0.301448 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 8145
/proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=8584 CPUtime=0.29
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 1416 0 0 0 29 0 0 0 19 0 1 0 136511281 8790016 1384 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134539139 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 2146 1384 669 324 0 718 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8584

[startup+0.701488 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 8145
/proc/meminfo: memFree=1730132/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=8140 CPUtime=0.69
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 1920 0 0 0 68 1 0 0 23 0 1 0 136511281 8335360 1391 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 2035 1391 305 324 0 1104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8140

[startup+1.50157 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1725196/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=8576 CPUtime=1.49
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 2891 0 0 0 148 1 0 0 25 0 1 0 136511281 8781824 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 2144 1518 307 324 0 1213 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8576

[startup+3.10174 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1724812/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=8576 CPUtime=3.08
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 2891 0 0 0 307 1 0 0 25 0 1 0 136511281 8781824 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 2144 1518 307 324 0 1213 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8576

[startup+6.30108 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1724820/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=8576 CPUtime=6.28
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 2891 0 0 0 627 1 0 0 25 0 1 0 136511281 8781824 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 2144 1518 307 324 0 1213 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8576

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1705044/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=32712 CPUtime=12.69
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 8936 0 0 0 1259 10 0 0 25 0 1 0 136511281 33497088 7563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 8178 7563 312 324 0 7247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32712

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1644500/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=91552 CPUtime=25.48
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 23636 0 0 0 2521 27 0 0 25 0 1 0 136511281 93749248 22263 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 22888 22263 312 324 0 21957 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91552

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1580052/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=154608 CPUtime=51.06
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 39413 0 0 0 5069 37 0 0 25 0 1 0 136511281 158318592 38040 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 38652 38040 312 324 0 37721 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 154608

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1447188/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=286396 CPUtime=102.23
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 72360 0 0 0 10164 59 0 0 25 0 1 0 136511281 293269504 70987 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 71599 70987 312 324 0 70668 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 286396

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1351764/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=382508 CPUtime=162.19
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 96384 0 0 0 16133 86 0 0 25 0 1 0 136511281 391688192 95011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 95627 95011 312 324 0 94696 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 382508

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1264468/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=468684 CPUtime=222.15
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 117933 0 0 0 22103 112 0 0 25 0 1 0 136511281 479932416 116560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 117171 116560 312 324 0 116240 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 468684

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1195028/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=538432 CPUtime=282.11
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 135347 0 0 0 28087 124 0 0 25 0 1 0 136511281 551354368 133974 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 134608 133974 312 324 0 133677 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 538432

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1147860/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=585160 CPUtime=342.08
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 147037 0 0 0 34076 132 0 0 25 0 1 0 136511281 599203840 145664 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 146290 145664 312 324 0 145359 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 585160

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1106900/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=625944 CPUtime=402.02
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 157233 0 0 0 40065 137 0 0 25 0 1 0 136511281 640966656 155860 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 156486 155860 312 324 0 155555 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 625944

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1071828/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=660808 CPUtime=461.99
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 165964 0 0 0 46055 144 0 0 25 0 1 0 136511281 676667392 164591 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 165202 164591 312 324 0 164271 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 660808

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1056340/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=676312 CPUtime=521.95
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 169819 0 0 0 52048 147 0 0 25 0 1 0 136511281 692543488 168446 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3404223 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 169078 168446 312 324 0 168147 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 676312

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1044756/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=687736 CPUtime=581.91
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 172698 0 0 0 58041 150 0 0 25 0 1 0 136511281 704241664 171325 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 171934 171325 312 324 0 171003 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 687736

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8146
/proc/meminfo: memFree=1033108/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=699312 CPUtime=641.87
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 175578 0 0 0 64034 153 0 0 25 0 1 0 136511281 716095488 174205 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 174828 174205 312 324 0 173897 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 699312


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 8310
/proc/meminfo: memFree=981732/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=749164 CPUtime=881.72
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 188054 0 0 0 87997 175 0 0 25 0 1 0 136511281 767143936 186681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 187291 186681 312 324 0 186360 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 749164

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=953876/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=778472 CPUtime=941.68
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 195361 0 0 0 93983 185 0 0 25 0 1 0 136511281 797155328 193988 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 194618 193988 312 324 0 193687 0
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (KiB) 778472

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=937876/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=794212 CPUtime=1001.64
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 199301 0 0 0 99975 189 0 0 25 0 1 0 136511281 813273088 197928 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 198553 197928 312 324 0 197622 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 794212

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=918164/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=814220 CPUtime=1061.62
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 204302 0 0 0 105969 193 0 0 25 0 1 0 136511281 833761280 202929 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 203555 202929 312 324 0 202624 0
Current children cumulated CPU time (s) 1061.62
Current children cumulated vsize (KiB) 814220

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=894868/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=837188 CPUtime=1121.57
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 210035 0 0 0 111958 199 0 0 25 0 1 0 136511281 857280512 208662 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 209297 208662 312 324 0 208366 0
Current children cumulated CPU time (s) 1121.57
Current children cumulated vsize (KiB) 837188

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=878484/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=853560 CPUtime=1181.54
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 214148 0 0 0 117950 204 0 0 25 0 1 0 136511281 874045440 212775 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 213390 212775 312 324 0 212459 0
Current children cumulated CPU time (s) 1181.54
Current children cumulated vsize (KiB) 853560

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=860628/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=871160 CPUtime=1241.5
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 218549 0 0 0 123942 208 0 0 25 0 1 0 136511281 892067840 217176 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 217790 217176 312 324 0 216859 0
Current children cumulated CPU time (s) 1241.5
Current children cumulated vsize (KiB) 871160

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=837076/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=894588 CPUtime=1301.47
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 224389 0 0 0 129934 213 0 0 25 0 1 0 136511281 916058112 223016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 223647 223016 312 324 0 222716 0
Current children cumulated CPU time (s) 1301.47
Current children cumulated vsize (KiB) 894588

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=804628/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=927492 CPUtime=1361.44
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 232622 0 0 0 135926 218 0 0 25 0 1 0 136511281 949751808 231249 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 231873 231249 312 324 0 230942 0
Current children cumulated CPU time (s) 1361.44
Current children cumulated vsize (KiB) 927492

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=776084/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=955704 CPUtime=1421.4
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 239665 0 0 0 141917 223 0 0 25 0 1 0 136511281 978640896 238292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 238926 238292 312 324 0 237995 0
Current children cumulated CPU time (s) 1421.4
Current children cumulated vsize (KiB) 955704

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=755476/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=976368 CPUtime=1481.36
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 244834 0 0 0 147908 228 0 0 25 0 1 0 136511281 999800832 243461 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 244092 243461 312 324 0 243161 0
Current children cumulated CPU time (s) 1481.36
Current children cumulated vsize (KiB) 976368

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=734996/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=996712 CPUtime=1541.32
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 249930 0 0 0 153901 231 0 0 25 0 1 0 136511281 1020633088 248557 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 249178 248557 312 324 0 248247 0
Current children cumulated CPU time (s) 1541.32
Current children cumulated vsize (KiB) 996712

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=710932/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=1020844 CPUtime=1601.28
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 255953 0 0 0 159893 235 0 0 25 0 1 0 136511281 1045344256 254580 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 255211 254580 312 324 0 254280 0
Current children cumulated CPU time (s) 1601.28
Current children cumulated vsize (KiB) 1020844

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=685396/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=1046276 CPUtime=1661.24
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 262307 0 0 0 165884 240 0 0 25 0 1 0 136511281 1071386624 260934 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 261569 260934 312 324 0 260638 0
Current children cumulated CPU time (s) 1661.24
Current children cumulated vsize (KiB) 1046276

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=657364/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=1074372 CPUtime=1721.21
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 269343 0 0 0 171876 245 0 0 25 0 1 0 136511281 1100156928 267970 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 268593 267970 312 324 0 267662 0
Current children cumulated CPU time (s) 1721.21
Current children cumulated vsize (KiB) 1074372

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=625300/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=1106092 CPUtime=1781.17
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 277267 0 0 0 177868 249 0 0 25 0 1 0 136511281 1132638208 275894 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 276523 275894 312 324 0 275592 0
Current children cumulated CPU time (s) 1781.17
Current children cumulated vsize (KiB) 1106092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=614932/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=1116332 CPUtime=1800.06
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194304 279823 0 0 0 179755 251 0 0 25 0 1 0 136511281 1143123968 278450 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551895 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8145/statm: 279083 278450 312 324 0 278152 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1116332

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

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

[startup+1801.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8344
/proc/meminfo: memFree=614932/2055920 swapFree=4191892/4192956
[pid=8145] ppid=8143 vsize=0 CPUtime=1800.16
/proc/8145/stat : 8145 (bsolo3.0.16) R 8143 8145 21906 0 -1 4194308 279827 0 0 0 179755 261 0 0 25 0 1 0 136511281 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/8145/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1801.39
CPU time (s): 1800.24
CPU user time (s): 1797.55
CPU system time (s): 2.69059
CPU usage (%): 99.9365
Max. virtual memory (cumulated for all children) (KiB): 1116332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.69059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 4907

runsolver used 1.81272 second user time and 4.75028 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Sun Apr 15 02:46:54 UTC 2007

IDJOB= 351577
IDBENCH= 1777
IDSOLVER= 163
FILE ID= node63/351577-1176605214

PBS_JOBID= 4557011

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/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351577-1176605214/instance-351577-1176605214.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-351577-1176605214 -o ROOT/results/node63/solver-351577-1176605214 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351577-1176605214/instance-351577-1176605214.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  b75dadb532de8158b35ca12cd6b47e2f

RANDOM SEED= 428287222

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1730476 kB
Buffers:         27956 kB
Cached:         173736 kB
SwapCached:        268 kB
Active:         101392 kB
Inactive:       120240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1730476 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            6372 kB
Writeback:           0 kB
Mapped:          28168 kB
Slab:            89784 kB
Committed_AS:   270152 kB
PageTables:       1468 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 node63 on Sun Apr 15 03:16:57 UTC 2007