Trace number 432770

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)294914 1800.24 1800.18

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	294914

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-432770-1177949311 -o ROOT/results/node16/solver-432770-1177949311 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432770-1177949311/instance-432770-1177949311.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: 1.00 1.00 0.93 3/77 20378
/proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=13724 CPUtime=0
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242848776 14053376 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 3431 334 279 324 0 2004 0

[startup+0.0104729 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 20378
/proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=14008 CPUtime=0
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 418 0 0 0 0 0 0 0 18 0 1 0 242848776 14344192 388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134539173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 3502 388 286 324 0 2075 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14008

[startup+0.101453 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 20378
/proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=7052 CPUtime=0.09
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 762 0 0 0 9 0 0 0 18 0 1 0 242848776 7221248 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 1763 732 397 324 0 336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7052

[startup+0.30141 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 20378
/proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=8452 CPUtime=0.29
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 1355 0 0 0 29 0 0 0 19 0 1 0 242848776 8654848 1325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 2113 1325 643 324 0 686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8452

[startup+0.701325 s]
/proc/loadavg: 1.00 1.00 0.93 3/77 20378
/proc/meminfo: memFree=1850176/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=8140 CPUtime=0.69
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 1916 0 0 0 69 0 0 0 23 0 1 0 242848776 8335360 1389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 2035 1389 303 324 0 1105 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8140

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1844984/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=8576 CPUtime=1.49
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 2887 0 0 0 148 1 0 0 25 0 1 0 242848776 8781824 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 2144 1516 305 324 0 1214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8576

[startup+3.10182 s]
/proc/loadavg: 1.08 1.02 0.93 2/78 20379
/proc/meminfo: memFree=1844920/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=8576 CPUtime=3.09
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 2887 0 0 0 308 1 0 0 25 0 1 0 242848776 8781824 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 2144 1516 305 324 0 1214 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8576

[startup+6.30115 s]
/proc/loadavg: 1.08 1.02 0.93 2/78 20379
/proc/meminfo: memFree=1844984/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=8576 CPUtime=6.29
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 2887 0 0 0 628 1 0 0 25 0 1 0 242848776 8781824 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 2144 1516 305 324 0 1214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8576

[startup+12.7018 s]
/proc/loadavg: 1.07 1.02 0.93 2/78 20379
/proc/meminfo: memFree=1831864/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=26356 CPUtime=12.69
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 7332 0 0 0 1266 3 0 0 25 0 1 0 242848776 26988544 5961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 6589 5961 310 324 0 5659 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26356

[startup+25.5021 s]
/proc/loadavg: 1.06 1.01 0.93 2/78 20379
/proc/meminfo: memFree=1771000/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=83676 CPUtime=25.49
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 21677 0 0 0 2541 8 0 0 25 0 1 0 242848776 85684224 20306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 20919 20306 310 324 0 19989 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83676

[startup+51.1027 s]
/proc/loadavg: 1.04 1.01 0.93 2/78 20379
/proc/meminfo: memFree=1704760/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=149920 CPUtime=51.1
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 38217 0 0 0 5095 15 0 0 25 0 1 0 242848776 153518080 36846 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 37480 36846 310 324 0 36550 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 149920

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 0.93 2/78 20379
/proc/meminfo: memFree=1582200/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=271400 CPUtime=102.3
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 68612 0 0 0 10200 30 0 0 25 0 1 0 242848776 277913600 67241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 67850 67241 310 324 0 66920 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 271400

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1484792/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=369064 CPUtime=162.29
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 93007 0 0 0 16189 40 0 0 25 0 1 0 242848776 377921536 91636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 92266 91636 310 324 0 91336 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 369064

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1399032/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=454100 CPUtime=222.3
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 114277 0 0 0 22176 54 0 0 25 0 1 0 242848776 464998400 112906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 113525 112906 310 324 0 112595 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 454100

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1324344/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=528848 CPUtime=282.3
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 132946 0 0 0 28168 62 0 0 25 0 1 0 242848776 541540352 131575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 132212 131575 310 324 0 131282 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 528848

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1282936/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=569688 CPUtime=342.3
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 143178 0 0 0 34162 68 0 0 25 0 1 0 242848776 583360512 141807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 142422 141807 310 324 0 141492 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 569688

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1236728/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=616068 CPUtime=402.3
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 154760 0 0 0 40156 74 0 0 25 0 1 0 242848776 630853632 153389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 154017 153389 310 324 0 153087 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 616068

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1202936/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=649340 CPUtime=462.3
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 163096 0 0 0 46151 79 0 0 25 0 1 0 242848776 664924160 161725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7639190 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 162335 161725 310 324 0 161405 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 649340

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1180664/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=671836 CPUtime=522.31
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 168703 0 0 0 52147 84 0 0 25 0 1 0 242848776 687960064 167332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 167959 167332 310 324 0 167029 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 671836

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1168632/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=683504 CPUtime=582.31
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 171615 0 0 0 58145 86 0 0 25 0 1 0 242848776 699908096 170244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 170876 170244 310 324 0 169946 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 683504

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1157880/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=694032 CPUtime=642.32
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 174245 0 0 0 64143 89 0 0 25 0 1 0 242848776 710688768 172874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 173508 172874 310 324 0 172578 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 694032


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1109112/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=742212 CPUtime=882.32
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 186312 0 0 0 88132 100 0 0 25 0 1 0 242848776 760025088 184941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 185553 184941 310 324 0 184623 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 742212

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1093560/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=757816 CPUtime=942.32
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 190216 0 0 0 94129 103 0 0 25 0 1 0 242848776 776003584 188845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 189454 188845 310 324 0 188524 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 757816

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 20379
/proc/meminfo: memFree=1065784/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=785396 CPUtime=1002.32
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 197112 0 0 0 100123 109 0 0 25 0 1 0 242848776 804245504 195741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 196349 195741 310 324 0 195419 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 785396

[startup+1062.3 s]
/proc/loadavg: 1.04 1.01 0.94 2/78 20379
/proc/meminfo: memFree=1049528/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=801688 CPUtime=1062.32
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 201178 0 0 0 106121 111 0 0 25 0 1 0 242848776 820928512 199807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 200422 199807 310 324 0 199492 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 801688

[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 0.94 2/78 20379
/proc/meminfo: memFree=1031544/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=819808 CPUtime=1122.33
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 205686 0 0 0 112119 114 0 0 25 0 1 0 242848776 839483392 204315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 204952 204315 310 324 0 204022 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 819808

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20379
/proc/meminfo: memFree=1009144/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=842296 CPUtime=1182.33
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 211311 0 0 0 118115 118 0 0 25 0 1 0 242848776 862511104 209940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 210574 209940 310 324 0 209644 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 842296

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20379
/proc/meminfo: memFree=994424/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=856348 CPUtime=1242.33
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 214835 0 0 0 124113 120 0 0 25 0 1 0 242848776 876900352 213464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 214087 213464 310 324 0 213157 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 856348

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20379
/proc/meminfo: memFree=977016/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=873536 CPUtime=1302.34
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 219128 0 0 0 130111 123 0 0 25 0 1 0 242848776 894500864 217757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 218384 217757 310 324 0 217454 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 873536

[startup+1362.3 s]
/proc/loadavg: 1.04 1.01 0.94 2/78 20379
/proc/meminfo: memFree=953528/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=897100 CPUtime=1362.34
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 225032 0 0 0 136107 127 0 0 25 0 1 0 242848776 918630400 223661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 224275 223661 310 324 0 223345 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 897100

[startup+1422.31 s]
/proc/loadavg: 1.01 1.01 0.94 2/78 20379
/proc/meminfo: memFree=920568/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=929828 CPUtime=1422.34
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 233191 0 0 0 142103 131 0 0 25 0 1 0 242848776 952143872 231820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 232457 231820 310 324 0 231527 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 929828

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20379
/proc/meminfo: memFree=894456/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=955968 CPUtime=1482.34
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 239728 0 0 0 148098 136 0 0 25 0 1 0 242848776 978911232 238357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 238992 238357 310 324 0 238062 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 955968

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20379
/proc/meminfo: memFree=874232/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=975984 CPUtime=1542.34
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 244736 0 0 0 154095 139 0 0 25 0 1 0 242848776 999407616 243365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 243996 243365 310 324 0 243066 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 975984

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20381
/proc/meminfo: memFree=854648/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=995408 CPUtime=1602.34
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 249604 0 0 0 160092 142 0 0 25 0 1 0 242848776 1019297792 248233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 248852 248233 310 324 0 247922 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 995408

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20381
/proc/meminfo: memFree=831416/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=1018552 CPUtime=1662.34
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 255379 0 0 0 166089 145 0 0 25 0 1 0 242848776 1042997248 254008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 254638 254008 310 324 0 253708 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1018552

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20381
/proc/meminfo: memFree=807928/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=1042152 CPUtime=1722.35
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 261286 0 0 0 172086 149 0 0 25 0 1 0 242848776 1067163648 259915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 260538 259915 310 324 0 259608 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1042152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20381
/proc/meminfo: memFree=779192/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=1070456 CPUtime=1782.35
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 268376 0 0 0 178081 154 0 0 25 0 1 0 242848776 1096146944 267005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 267614 267005 310 324 0 266684 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1070456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20381
/proc/meminfo: memFree=771576/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=1077932 CPUtime=1800.06
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194304 270228 0 0 0 179851 155 0 0 25 0 1 0 242848776 1103802368 268857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 269483 268857 310 324 0 268553 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1077932

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

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

[startup+1800.11 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20381
/proc/meminfo: memFree=771576/2055920 swapFree=4148672/4192956
[pid=20378] ppid=20376 vsize=0 CPUtime=1800.15
/proc/20378/stat : 20378 (bsolo3.0.17) R 20376 20378 19623 0 -1 4194308 270232 0 0 0 179851 164 0 0 25 0 1 0 242848776 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/20378/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.18
CPU time (s): 1800.24
CPU user time (s): 1798.51
CPU system time (s): 1.72274
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1077932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 1.72274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270232
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= 14
involuntary context switches= 37546

runsolver used 1.37979 second user time and 3.91341 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Mon Apr 30 16:08:31 UTC 2007

IDJOB= 432770
IDBENCH= 1777
IDSOLVER= 199
FILE ID= node16/432770-1177949311

PBS_JOBID= 4727827

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432770-1177949311/instance-432770-1177949311.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-432770-1177949311 -o ROOT/results/node16/solver-432770-1177949311 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432770-1177949311/instance-432770-1177949311.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  b75dadb532de8158b35ca12cd6b47e2f

RANDOM SEED= 474140623

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1850648 kB
Buffers:          6428 kB
Cached:          83240 kB
SwapCached:      11992 kB
Active:          93824 kB
Inactive:        46556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850648 kB
SwapTotal:     4192956 kB
SwapFree:      4148672 kB
Dirty:            8680 kB
Writeback:           0 kB
Mapped:          58104 kB
Slab:            50388 kB
Committed_AS:  7697676 kB
PageTables:       1904 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 node16 on Mon Apr 30 16:38:34 UTC 2007