Trace number 433367

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.17SAT (TO)1207959552 1800.19 1800.76

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

Verifier Data (download as text)

OK	1207959552

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node43/watcher-433367-1177958205 -o ROOT/results/node43/solver-433367-1177958205 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433367-1177958205/instance-433367-1177958205.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.95 3/77 32112
/proc/meminfo: memFree=1548288/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=13756 CPUtime=0
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 243732344 14086144 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 3439 332 279 324 0 2004 0

[startup+0.0187611 s]
/proc/loadavg: 0.92 0.98 0.95 3/77 32112
/proc/meminfo: memFree=1548288/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=14400 CPUtime=0.01
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 527 0 0 0 1 0 0 0 18 0 1 0 243732344 14745600 497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 3600 497 303 324 0 2165 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14400

[startup+0.101769 s]
/proc/loadavg: 0.92 0.98 0.95 3/77 32112
/proc/meminfo: memFree=1548288/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=7084 CPUtime=0.09
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 770 0 0 0 9 0 0 0 18 0 1 0 243732344 7254016 740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 1771 740 405 324 0 336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7084

[startup+0.301786 s]
/proc/loadavg: 0.92 0.98 0.95 3/77 32112
/proc/meminfo: memFree=1548288/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=8484 CPUtime=0.29
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 1372 0 0 0 29 0 0 0 19 0 1 0 243732344 8687616 1342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 2121 1342 655 324 0 686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8484

[startup+0.70182 s]
/proc/loadavg: 0.92 0.98 0.95 3/77 32112
/proc/meminfo: memFree=1548288/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=8140 CPUtime=0.69
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 1926 0 0 0 68 1 0 0 23 0 1 0 243732344 8335360 1391 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 2035 1391 303 324 0 1105 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8140

[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1543288/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=8580 CPUtime=1.49
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 2893 0 0 0 147 2 0 0 25 0 1 0 243732344 8785920 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540538 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 2145 1516 305 324 0 1215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8580

[startup+3.10103 s]
/proc/loadavg: 0.92 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1542840/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=8580 CPUtime=3.09
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 2893 0 0 0 307 2 0 0 25 0 1 0 243732344 8785920 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 2145 1516 305 324 0 1215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8580

[startup+6.30131 s]
/proc/loadavg: 0.93 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1542912/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=8580 CPUtime=6.29
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 2893 0 0 0 626 3 0 0 25 0 1 0 243732344 8785920 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 2145 1516 305 324 0 1215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8580

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1527296/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=26916 CPUtime=12.69
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 7494 0 0 0 1264 5 0 0 25 0 1 0 243732344 27561984 6117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 6729 6117 310 324 0 5799 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26916

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1485824/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=66820 CPUtime=25.49
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 17450 0 0 0 2539 10 0 0 25 0 1 0 243732344 68423680 16073 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 16705 16073 310 324 0 15775 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66820

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1419968/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=131952 CPUtime=51.08
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 33751 0 0 0 5088 20 0 0 25 0 1 0 243732344 135118848 32374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 32988 32374 310 324 0 32058 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 131952

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1333376/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=218168 CPUtime=102.27
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 55304 0 0 0 10196 31 0 0 25 0 1 0 243732344 223404032 53927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5165206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 54542 53927 310 324 0 53612 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 218168

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1250624/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=301448 CPUtime=162.25
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 76131 0 0 0 16182 43 0 0 25 0 1 0 243732344 308682752 74754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 75362 74754 310 324 0 74432 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 301448

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32113
/proc/meminfo: memFree=1197888/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=353368 CPUtime=222.23
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 89101 0 0 0 22172 51 0 0 25 0 1 0 243732344 361848832 87724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 88342 87724 310 324 0 87412 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 353368

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=1169792/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=381456 CPUtime=282.21
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 96116 0 0 0 28166 55 0 0 25 0 1 0 243732344 390610944 94739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 95364 94739 310 324 0 94434 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 381456

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=1148288/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=402832 CPUtime=342.2
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 101449 0 0 0 34161 59 0 0 25 0 1 0 243732344 412499968 100072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 100708 100072 310 324 0 99778 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 402832

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=1128000/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=423036 CPUtime=402.18
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 106528 0 0 0 40156 62 0 0 25 0 1 0 243732344 433188864 105151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 105759 105151 310 324 0 104829 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 423036

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=1098752/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=452108 CPUtime=462.17
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 113795 0 0 0 46151 66 0 0 25 0 1 0 243732344 462958592 112418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 113027 112418 310 324 0 112097 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 452108

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=1084608/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=466496 CPUtime=522.15
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 117376 0 0 0 52146 69 0 0 25 0 1 0 243732344 477691904 115999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 116624 115999 310 324 0 115694 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 466496

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=1073344/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=477600 CPUtime=582.14
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 120151 0 0 0 58142 72 0 0 25 0 1 0 243732344 489062400 118774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 119400 118774 310 324 0 118470 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 477600

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=1057728/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=493004 CPUtime=642.13
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 124016 0 0 0 64138 75 0 0 25 0 1 0 243732344 504836096 122639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5164783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 123251 122639 310 324 0 122321 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 493004


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=963456/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=587376 CPUtime=882.05
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 147589 0 0 0 88114 91 0 0 25 0 1 0 243732344 601473024 146212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 146844 146212 310 324 0 145914 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 587376

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=945216/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=605672 CPUtime=942.04
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 152161 0 0 0 94109 95 0 0 25 0 1 0 243732344 620208128 150784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 151418 150784 310 324 0 150488 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 605672

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=927168/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=623360 CPUtime=1002.02
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 156605 0 0 0 100104 98 0 0 25 0 1 0 243732344 638320640 155228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 155840 155228 310 324 0 154910 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 623360

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=913664/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=636952 CPUtime=1062.01
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 160007 0 0 0 106100 101 0 0 25 0 1 0 243732344 652238848 158630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 159238 158630 310 324 0 158308 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 636952

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=897856/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=652676 CPUtime=1121.99
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 163923 0 0 0 112095 104 0 0 25 0 1 0 243732344 668340224 162546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 163169 162546 310 324 0 162239 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 652676

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=883008/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=667660 CPUtime=1181.98
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 167660 0 0 0 118090 108 0 0 25 0 1 0 243732344 683683840 166283 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 166915 166283 310 324 0 165985 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 667660

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=867264/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=683220 CPUtime=1241.96
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 171570 0 0 0 124085 111 0 0 25 0 1 0 243732344 699617280 170193 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 170805 170193 310 324 0 169875 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 683220

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=853312/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=697012 CPUtime=1301.95
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 175021 0 0 0 130081 114 0 0 25 0 1 0 243732344 713740288 173644 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 174253 173644 310 324 0 173323 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 697012

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=841920/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=708580 CPUtime=1361.93
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 177884 0 0 0 136077 116 0 0 25 0 1 0 243732344 725585920 176507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 177145 176507 310 324 0 176215 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 708580

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32115
/proc/meminfo: memFree=831168/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=719224 CPUtime=1421.92
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 180549 0 0 0 142073 119 0 0 25 0 1 0 243732344 736485376 179172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 179806 179172 310 324 0 178876 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 719224

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/84 32253
/proc/meminfo: memFree=822216/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=726948 CPUtime=1481.84
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 182485 0 0 0 148062 122 0 0 25 0 1 0 243732344 744394752 181108 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 181737 181108 310 324 0 180807 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 726948

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32313
/proc/meminfo: memFree=780088/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=770244 CPUtime=1541.8
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 193309 0 0 0 154051 129 0 0 25 0 1 0 243732344 788729856 191932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 192561 191932 310 324 0 191631 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 770244

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32313
/proc/meminfo: memFree=731256/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=819064 CPUtime=1601.78
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 205513 0 0 0 160044 134 0 0 25 0 1 0 243732344 838721536 204136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 204766 204136 310 324 0 203836 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 819064

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32313
/proc/meminfo: memFree=690808/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=859300 CPUtime=1661.76
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 215573 0 0 0 166036 140 0 0 25 0 1 0 243732344 879923200 214196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 214825 214196 310 324 0 213895 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 859300

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32313
/proc/meminfo: memFree=663736/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=886660 CPUtime=1721.75
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 222408 0 0 0 172030 145 0 0 25 0 1 0 243732344 907939840 221031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 221665 221031 310 324 0 220735 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 886660

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32313
/proc/meminfo: memFree=622840/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=927276 CPUtime=1781.73
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 232575 0 0 0 178022 151 0 0 25 0 1 0 243732344 949530624 231198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 231819 231198 310 324 0 230889 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 927276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 32313
/proc/meminfo: memFree=610616/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=939192 CPUtime=1800.03
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194304 235545 0 0 0 179851 152 0 0 25 0 1 0 243732344 961732608 234168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 234798 234168 310 324 0 233868 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 939192

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: 0.99 0.98 0.95 2/78 32313
/proc/meminfo: memFree=610616/2055920 swapFree=4158592/4192956
[pid=32112] ppid=32110 vsize=0 CPUtime=1800.13
/proc/32112/stat : 32112 (bsolo3.0.17) R 32110 32112 31607 0 -1 4194308 235549 0 0 0 179852 161 0 0 25 0 1 0 243732344 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/32112/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.76
CPU time (s): 1800.19
CPU user time (s): 1798.52
CPU system time (s): 1.66975
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 939192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.66975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235549
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= 37383

runsolver used 1.39479 second user time and 3.9494 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Mon Apr 30 18:36:45 UTC 2007

IDJOB= 433367
IDBENCH= 2527
IDSOLVER= 199
FILE ID= node43/433367-1177958205

PBS_JOBID= 4727701

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/433367-1177958205/instance-433367-1177958205.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-433367-1177958205 -o ROOT/results/node43/solver-433367-1177958205 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433367-1177958205/instance-433367-1177958205.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  6eba7367ef128fb0872fe815e4ef2398

RANDOM SEED= 497975033

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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:       1548696 kB
Buffers:         38824 kB
Cached:         370516 kB
SwapCached:       2808 kB
Active:         242796 kB
Inactive:       190900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1548696 kB
SwapTotal:     4192956 kB
SwapFree:      4158592 kB
Dirty:            8684 kB
Writeback:           0 kB
Mapped:          32136 kB
Slab:            58952 kB
Committed_AS:  2813000 kB
PageTables:       1900 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= 66556 MiB

End job on node43 on Mon Apr 30 19:06:48 UTC 2007