Trace number 354440

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)1207959552 1800.17 1800.75

General information on the benchmark

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

Verifier Data (download as text)

OK	1207959552

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node30/watcher-354440-1176709491 -o ROOT/results/node30/solver-354440-1176709491 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354440-1176709491/instance-354440-1176709491.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 1.00 0.99 3/77 2447
/proc/meminfo: memFree=1948784/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=2380 CPUtime=0
/proc/2447/stat : 2447 (bsolo3.0.16) D 2445 2447 1951 0 -1 4194304 53 0 1 0 0 0 0 0 18 0 1 0 118864791 2437120 37 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7017380 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/2447/statm: 595 37 29 324 0 8 0

[startup+0.078682 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 2447
/proc/meminfo: memFree=1948784/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=6716 CPUtime=0.03
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 595 0 7 0 3 0 0 0 18 0 1 0 118864791 6877184 570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524183 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2447/statm: 1679 570 335 324 0 243 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6716

[startup+0.101678 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 2447
/proc/meminfo: memFree=1948784/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=6844 CPUtime=0.05
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 665 0 7 0 5 0 0 0 18 0 1 0 118864791 7008256 640 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134539123 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2447/statm: 1711 640 365 324 0 275 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6844

[startup+0.301692 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 2447
/proc/meminfo: memFree=1948784/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=8352 CPUtime=0.25
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 1315 0 7 0 25 0 0 0 19 0 1 0 118864791 8552448 1290 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134585817 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2447/statm: 2088 1290 633 324 0 652 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 8352

[startup+0.701715 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 2447
/proc/meminfo: memFree=1948784/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=8140 CPUtime=0.66
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 1923 0 7 0 65 1 0 0 23 0 1 0 118864791 8335360 1393 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2447/statm: 2035 1393 305 324 0 1104 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 8140

[startup+1.50176 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1942632/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=8580 CPUtime=1.45
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 2890 0 7 0 144 1 0 0 25 0 1 0 118864791 8785920 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 2145 1518 307 324 0 1214 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 8580

[startup+3.10186 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1942504/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=8580 CPUtime=3.05
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 2890 0 7 0 303 2 0 0 25 0 1 0 118864791 8785920 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 2145 1518 307 324 0 1214 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8580

[startup+6.30106 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1942504/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=8580 CPUtime=6.25
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 2890 0 7 0 623 2 0 0 25 0 1 0 118864791 8785920 1518 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 2145 1518 307 324 0 1214 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8580

[startup+12.7015 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1926704/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=27304 CPUtime=12.65
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 7584 0 7 0 1256 9 0 0 25 0 1 0 118864791 27959296 6212 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 6826 6212 312 324 0 5895 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 27304

[startup+25.5013 s]
/proc/loadavg: 0.95 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1885872/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=66556 CPUtime=25.44
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 17400 0 7 0 2529 15 0 0 25 0 1 0 118864791 68153344 16028 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 16639 16028 312 324 0 15708 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 66556

[startup+51.1018 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1820144/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=131824 CPUtime=51.04
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 33715 0 7 0 5070 34 0 0 25 0 1 0 118864791 134987776 32343 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 32956 32343 312 324 0 32025 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 131824

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1734256/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=217148 CPUtime=102.23
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 55038 0 7 0 10171 52 0 0 25 0 1 0 118864791 222359552 53666 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 54287 53666 312 324 0 53356 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 217148

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1651824/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=300176 CPUtime=162.21
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 75784 0 7 0 16152 69 0 0 25 0 1 0 118864791 307380224 74412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 75044 74412 312 324 0 74113 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 300176

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1598896/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=352060 CPUtime=222.19
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 88776 0 7 0 22140 79 0 0 25 0 1 0 118864791 360509440 87404 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 88015 87404 312 324 0 87084 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 352060

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1570032/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=380932 CPUtime=282.18
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 95998 0 7 0 28131 87 0 0 25 0 1 0 118864791 390074368 94626 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7450108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 95233 94626 312 324 0 94302 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 380932

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1548080/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=402576 CPUtime=342.17
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 101385 0 7 0 34123 94 0 0 25 0 1 0 118864791 412237824 100013 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 100644 100013 312 324 0 99713 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 402576

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1527728/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=422908 CPUtime=402.15
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 106466 0 7 0 40118 97 0 0 25 0 1 0 118864791 433057792 105094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 105727 105094 312 324 0 104796 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 422908

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1498800/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=451724 CPUtime=462.14
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 113675 0 7 0 46112 102 0 0 25 0 1 0 118864791 462565376 112303 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 112931 112303 312 324 0 112000 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 451724

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1484528/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=465856 CPUtime=522.13
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 117224 0 7 0 52106 107 0 0 25 0 1 0 118864791 477036544 115852 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7134324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 116464 115852 312 324 0 115533 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 465856

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1473008/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=477220 CPUtime=582.11
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 120049 0 7 0 58101 110 0 0 25 0 1 0 118864791 488673280 118677 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 119305 118677 312 324 0 118374 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 477220

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1458480/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=491540 CPUtime=642.1
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 123650 0 7 0 64097 113 0 0 25 0 1 0 118864791 503336960 122278 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 122885 122278 312 324 0 121954 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 491540


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1363824/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=585676 CPUtime=882.03
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 147173 0 7 0 88071 132 0 0 25 0 1 0 118864791 599732224 145801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 146419 145801 312 324 0 145488 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 585676

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2448
/proc/meminfo: memFree=1345200/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=604268 CPUtime=942.03
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 151825 0 7 0 94065 138 0 0 25 0 1 0 118864791 618770432 150453 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 151067 150453 312 324 0 150136 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 604268

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/84 2617
/proc/meminfo: memFree=1325616/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=621924 CPUtime=1001.93
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 156217 0 7 0 100052 141 0 0 25 0 1 0 118864791 636850176 154845 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 155481 154845 312 324 0 154550 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 621924

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2659
/proc/meminfo: memFree=1312752/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=635900 CPUtime=1061.9
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 159718 0 7 0 106045 145 0 0 25 0 1 0 118864791 651161600 158346 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 158975 158346 312 324 0 158044 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 635900

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2659
/proc/meminfo: memFree=1297264/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=651236 CPUtime=1121.88
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 163564 0 7 0 112038 150 0 0 25 0 1 0 118864791 666865664 162192 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 162809 162192 312 324 0 161878 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 651236

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 2659
/proc/meminfo: memFree=1282032/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=666488 CPUtime=1181.87
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 167367 0 7 0 118034 153 0 0 25 0 1 0 118864791 682483712 165995 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 166622 165995 312 324 0 165691 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 666488

[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 2659
/proc/meminfo: memFree=1266544/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=681796 CPUtime=1241.85
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 171202 0 7 0 124028 157 0 0 25 0 1 0 118864791 698159104 169830 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 170449 169830 312 324 0 169518 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 681796

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 2659
/proc/meminfo: memFree=1252400/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=695836 CPUtime=1301.84
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 174695 0 7 0 130024 160 0 0 25 0 1 0 118864791 712536064 173323 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 173959 173323 312 324 0 173028 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 695836

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1241072/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=707160 CPUtime=1361.82
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 177527 0 7 0 136020 162 0 0 25 0 1 0 118864791 724131840 176155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 176790 176155 312 324 0 175859 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 707160

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1229808/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=718176 CPUtime=1421.81
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 180304 0 7 0 142016 165 0 0 25 0 1 0 118864791 735412224 178932 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 179544 178932 312 324 0 178613 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 718176

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1221872/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=726164 CPUtime=1481.79
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 182286 0 7 0 148012 167 0 0 25 0 1 0 118864791 743591936 180914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 181541 180914 312 324 0 180610 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 726164

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1185520/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=762400 CPUtime=1541.78
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 191353 0 7 0 154003 175 0 0 25 0 1 0 118864791 780697600 189981 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 190600 189981 312 324 0 189669 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 762400

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1133552/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=814428 CPUtime=1601.76
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 204373 0 7 0 159993 183 0 0 25 0 1 0 118864791 833974272 203001 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 203607 203001 312 324 0 202676 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 814428

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1091632/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=856000 CPUtime=1661.75
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 214746 0 7 0 165985 190 0 0 25 0 1 0 118864791 876544000 213374 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 214000 213374 312 324 0 213069 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 856000

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1067184/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=880544 CPUtime=1721.73
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 220875 0 7 0 171977 196 0 0 25 0 1 0 118864791 901677056 219503 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 220136 219503 312 324 0 219205 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 880544

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1025648/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=921484 CPUtime=1781.72
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 231135 0 7 0 177969 203 0 0 25 0 1 0 118864791 943599616 229763 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 230371 229763 312 324 0 229440 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 921484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1013296/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=933648 CPUtime=1800.03
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194304 234170 0 7 0 179798 205 0 0 25 0 1 0 118864791 956055552 232798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2447/statm: 233412 232798 312 324 0 232481 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 933648

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2659
/proc/meminfo: memFree=1013296/2055920 swapFree=4157068/4192956
[pid=2447] ppid=2445 vsize=0 CPUtime=1800.12
/proc/2447/stat : 2447 (bsolo3.0.16) R 2445 2447 1951 0 -1 4194308 234171 0 7 0 179798 214 0 0 25 0 1 0 118864791 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/2447/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.75
CPU time (s): 1800.17
CPU user time (s): 1797.98
CPU system time (s): 2.18667
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 933648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.18667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234171
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 3920

runsolver used 2.13368 second user time and 4.34734 second system time

The end

Launcher Data (download as text)

Begin job on node30 on Mon Apr 16 07:44:51 UTC 2007

IDJOB= 354440
IDBENCH= 2527
IDSOLVER= 163
FILE ID= node30/354440-1176709491

PBS_JOBID= 4560062

Free space on /tmp= 66527 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354440-1176709491/instance-354440-1176709491.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-354440-1176709491 -o ROOT/results/node30/solver-354440-1176709491 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354440-1176709491/instance-354440-1176709491.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  6eba7367ef128fb0872fe815e4ef2398

RANDOM SEED= 839868881

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node30.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.218
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.218
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:       1949448 kB
Buffers:          2040 kB
Cached:          35152 kB
SwapCached:      14488 kB
Active:          58700 kB
Inactive:        12496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1949448 kB
SwapTotal:     4192956 kB
SwapFree:      4157068 kB
Dirty:            6428 kB
Writeback:           0 kB
Mapped:          41032 kB
Slab:            20824 kB
Committed_AS:  2763724 kB
PageTables:       1812 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= 66527 MiB

End job on node30 on Mon Apr 16 08:14:54 UTC 2007