Trace number 453130

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
PB-clasp 2007-03-23Wrong Cert. 1802.07 1803.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_1.opb
MD5SUM0c93b84d697c3c1b68cbcf423dabc710
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 72
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint52
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31640
Sum of products size (including duplicates)63280
Number of different products31640
Sum of products size63280

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)

10.98/11.05	o 889
20.08/20.18	o 888
29.27/29.33	o 887
38.47/38.50	o 886
47.55/47.63	o 885
56.75/56.82	o 884
65.95/66.09	o 883
75.13/75.28	o 882
84.53/84.62	o 881
93.73/93.88	o 880
103.13/103.27	o 879
112.42/112.59	o 878
121.84/122.07	o 877
131.13/131.39	o 876
140.63/140.81	o 875
150.02/150.27	o 874
159.52/159.75	o 873
169.01/169.25	o 872
178.51/178.77	o 871
188.11/188.31	o 870
197.61/197.85	o 869
207.23/207.52	o 868
216.82/217.10	o 867
226.42/226.71	o 866
236.00/236.33	o 865
245.71/246.04	o 864
255.41/255.71	o 863
265.09/265.46	o 862
274.78/275.16	o 861
284.53/284.95	o 860
294.23/294.68	o 859
304.13/304.53	o 858
313.93/314.32	o 857
323.81/324.20	o 856
333.61/334.02	o 855
343.50/343.96	o 854
353.39/353.82	o 853
363.28/363.78	o 852
373.22/373.72	o 851
383.21/383.71	o 850
393.10/393.67	o 849
403.19/403.82	o 848
413.20/413.80	o 847
423.22/423.95	o 846
433.23/433.98	o 845
443.42/444.11	o 844
453.41/454.17	o 843
463.61/464.34	o 842
473.71/474.45	o 841
483.91/484.64	o 840
494.10/494.80	o 839
504.28/505.06	o 838
514.39/515.20	o 837
524.69/525.58	o 836
534.96/535.82	o 835
545.26/546.14	o 834
555.47/556.39	o 833
565.85/566.73	o 832
576.15/577.04	o 831
586.55/587.43	o 830
596.84/597.77	o 829
607.24/608.15	o 828
617.63/618.56	o 827
628.14/629.01	o 826
638.54/639.47	o 825
649.03/649.90	o 824
659.53/660.41	o 823
670.02/670.92	o 822
680.51/681.46	o 821
691.12/692.01	o 820
701.62/702.59	o 819
712.10/713.08	o 818
722.70/723.69	o 817
733.29/734.23	o 816
744.00/744.91	o 815
754.59/755.52	o 814
765.29/766.27	o 813
775.98/776.95	o 812
786.69/787.72	o 811
797.38/798.44	o 810
808.08/809.20	o 809
818.88/819.94	o 808
829.58/830.68	o 807
840.36/841.43	o 806
851.06/852.14	o 805
861.95/863.04	o 804
872.75/873.84	o 803
883.64/884.76	o 802
894.52/895.60	o 801
905.42/906.53	o 800
916.33/917.44	o 799
927.34/928.41	o 798
938.23/939.37	o 797
949.22/950.34	o 796
960.22/961.34	o 795
971.20/972.34	o 794
982.21/983.39	o 793
993.21/994.39	o 792
1004.29/1005.49	o 791
1015.39/1016.52	o 790
1026.49/1027.62	o 789
1037.58/1038.71	o 788
1048.69/1049.83	o 787
1059.78/1060.95	o 786
1070.87/1072.07	o 785
1082.07/1083.25	o 784
1093.16/1094.38	o 783
1104.45/1105.61	o 782
1115.53/1116.77	o 781
1126.73/1127.96	o 780
1137.94/1139.17	o 779
1149.22/1150.40	o 778
1160.42/1161.68	o 777
1171.71/1172.92	o 776
1183.00/1184.23	o 775
1194.20/1195.47	o 774
1205.59/1206.82	o 773
1216.89/1218.11	o 772
1228.17/1229.43	o 771
1239.47/1240.76	o 770
1250.86/1252.11	o 769
1262.15/1263.49	o 768
1273.55/1274.87	o 767
1285.05/1286.30	o 766
1296.33/1297.67	o 765
1307.83/1309.14	o 764
1319.22/1320.54	o 763
1330.62/1331.93	o 762
1342.11/1343.42	o 761
1353.50/1354.87	o 760
1365.00/1366.36	o 759
1376.50/1377.85	o 758
1388.08/1389.40	o 757
1399.57/1400.94	o 756
1411.03/1412.49	o 755
1422.62/1424.07	o 754
1434.19/1435.66	o 753
1445.79/1447.28	o 752
1457.38/1458.86	o 751
1468.98/1470.45	o 750
1480.57/1482.08	o 749
1492.17/1493.65	o 748
1503.86/1505.35	o 747
1515.51/1517.03	o 746
1527.21/1528.71	o 745
1538.80/1540.40	o 744
1550.51/1552.08	o 743
1562.19/1563.80	o 742
1573.89/1575.46	o 741
1585.68/1587.22	o 740
1597.37/1598.94	o 739
1609.05/1610.69	o 738
1620.86/1622.46	o 737
1632.65/1634.20	o 736
1644.46/1646.06	o 735
1656.25/1657.91	o 734
1668.05/1669.71	o 733
1679.85/1681.55	o 732
1691.64/1693.38	o 731
1703.53/1705.27	o 730
1715.44/1717.11	o 729
1727.33/1729.01	o 728
1739.23/1740.90	o 727
1751.01/1752.78	o 726
1763.01/1764.72	o 725
1774.90/1776.63	o 724
1786.80/1788.59	o 723
1798.79/1800.53	o 722
1800.09/1801.81	sh: line 1: 23334 Terminated              cat /tmp/evaluation/453130-1178119055/temp/instance-453130-1178119055.opb.op
1800.09/1801.81	     23335                       | clasp >/tmp/evaluation/453130-1178119055/temp/instance-453130-1178119055.opb.clasp
1800.09/1801.82	c Somebody sent me a SIGTERM
1800.09/1801.82	s SATISFIABLE
1800.09/1801.82	v x1 x2 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 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38
1800.09/1801.82	v x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72
1800.09/1801.82	v x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104
1800.09/1801.82	v x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130
1800.09/1801.82	v x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156
1800.09/1801.82	v x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182
1800.09/1801.82	v x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208
1800.09/1801.82	v x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234
1800.09/1801.82	v x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260
1800.09/1801.82	v x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286
1800.09/1801.82	v x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312
1800.09/1801.82	v x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338
1800.09/1801.82	v x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364
1800.09/1801.82	v x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390
1800.09/1801.82	v x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416
1800.09/1801.82	v x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442
1800.09/1801.82	v x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468
1800.09/1801.82	v x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494
1800.09/1801.82	v x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520
1800.09/1801.82	v x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546
1800.09/1801.82	v x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572
1800.09/1801.82	v x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598
1800.09/1801.82	v x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624
1800.09/1801.82	v x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650
1800.09/1801.82	v x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676
1800.09/1801.82	v x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702
1800.09/1801.82	v x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x1082 x1083 x1084 x1089
1800.09/1801.82	v x1091 x1092 x1094 x1095 x1096 x1097 x1100 x1102 x1104 x1105 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117
1800.09/1801.82	v x1118 x1119 x1120 x25325 x25326 x25327 x25328 x25329 x25330 x25331 x25332 x25333 x25334 x25335 x25336 x25337 x25338 x25339
1800.09/1801.82	v x25340 x25341 x25342 x25343 x25344 x25345 x25346 x25347 x25357 x25358 x25359 x25360 x25361 x25362 x25363 x25364 x25365
1800.09/1801.82	v x25366 x25367 x25368 x25369 x25370 x25371 x25372 x25373 x25374 x25375 x25376 x25377 x25386 x25387 x25388 x25389 x25390
1800.09/1801.82	v x25391 x25392 x25393 x25394 x25395 x25396 x25397 x25398 x25399 x25400 x25401 x25402 x25403 x25404 x25405 x25413 x25414
1800.09/1801.82	v x25415 x25416 x25417 x25418 x25419 x25420 x25421 x25422 x25423 x25424 x25425 x25426 x25427 x25428 x25429 x25430 x25431
1800.09/1801.82	v x25432 x25433 x25434 x25435 x25440 x25441 x25442 x25443 x25444 x25445 x25446 x25447 x25448 x25449 x25450 x25451 x25452
1800.09/1801.82	v x25453 x25454 x25455 x25456 x25457 x25458 x25459 x25468 x25469 x25470 x25471 x25472 x25473 x25474 x25475 x25476 x25477
1800.09/1801.82	v x25478 x25479 x25480 x25481 x25482 x25483 x25484 x25485 x25486 x25487 x25488 x25489 x25495 x25496 x25497 x25498 x25499
1800.09/1801.82	v x25500 x25501 x25502 x25503 x25504 x25505 x25506 x25507 x25508 x25509 x25510 x25511 x25512 x25513 x25514 x25515 x25516
1800.09/1801.82	v x25517 x25525 x25526 x25527 x25528 x25529 x25530 x25531 x25532 x25533 x25534 x25535 x25536 x25537 x25538 x25539 x25540
1800.09/1801.82	v x25541 x25542 x25543 x25544 x25552 x25553 x25554 x25555 x25556 x25557 x25558 x25559 x25560 x25561 x25562 x25563 x25564
1800.09/1801.82	v x25565 x25566 x25567 x25568 x25569 x25570 x25571 x25572 x25573 x25574 x25579 x25580 x25581 x25582 x25583 x25584 x25585
1800.09/1801.82	v x25586 x25587 x25588 x25589 x25590 x25591 x25592 x25593 x25594 x25595 x25596 x25597 x25598 x25599 x25610 x25611 x25612
1800.09/1801.82	v x25613 x25614 x25615 x25616 x25617 x25618 x25619 x25620 x25621 x25622 x25623 x25624 x25625 x25626 x25627 x25628 x25629
1800.09/1801.82	v x25638 x25639 x25640 x25641 x25642 x25643 x25644 x25645 x25646 x25647 x25648 x25649 x25650 x25651 x25652 x25653 x25654
1800.09/1801.82	v x25655 x25656 x25657 x25658 x25665 x25666 x25667 x25668 x25669 x25670 x25671 x25672 x25673 x25674 x25675 x25676 x25677
1800.09/1801.82	v x25678 x25679 x25680 x25681 x25682 x25683 x25684 x25685 x25686 x25687 x25688 x25692 x25693 x25694 x25695 x25696 x25697
1800.09/1801.82	v x25698 x25699 x25700 x25701 x25702 x25703 x25704 x25705 x25706 x25707 x25708 x25709 x25710 x25711 x25712 x25713 x25722
1800.09/1801.82	v x25723 x25724 x25725 x25726 x25727 x25728 x25729 x25730 x25731 x25732 x25733 x25734 x25735 x25736 x25737 x25738 x25739
1800.09/1801.82	v x25740 x25741 x25742 x25743 x25744 x25749 x25750 x25751 x25752 x25753 x25754 x25755 x25756 x25757 x25758 x25759 x25760
1800.09/1801.82	v x25761 x25762 x25763 x25764 x25765 x25766 x25767 x25768 x25769 x25777 x25778 x25779 x25780 x25781 x25782 x25783 x25784
1800.09/1801.82	v x25785 x25786 x25787 x25788 x25789 x25790 x25791 x25792 x25793 x25794 x25795 x25796 x25797 x25798 x25808 x25809 x25810
1800.09/1801.82	v x25811 x25812 x25813 x25814 x25815 x25816 x25817 x25818 x25819 x25820 x25821 x25822 x25823 x25824 x25825 x25826 x25827
1800.09/1801.82	v x25837 x25838 x25839 x25840 x25841 x25842 x25843 x25844 x25845 x25846 x25847 x25848 x25849 x25850 x25851 x25852 x25853
1800.09/1801.82	v x25854 x25855 x25856 x25857 x25858 x25866 x25867 x25868 x25869 x25870 x25871 x25872 x25873 x25874 x25875 x25876 x25877
1800.09/1801.82	v x25878 x25879 x25880 x25881 x25882 x25883 x25884 x25885 x25886 x25895 x25896 x25897 x25898 x25899 x25900 x25901 x25902
1800.09/1801.82	v x25903 x25904 x25905 x25906 x25907 x25908 x25909 x25910 x25911 x25912 x25913 x25914 x25915 x25922 x25923 x25924 x25925
1800.09/1801.82	v x25926 x25927 x25928 x25929 x25930 x25931 x25932 x25933 x25934 x25935 x25936 x25937 x25938 x25939 x25940 x25941 x25942
1800.09/1801.82	v x25943 x25944 x25945 x25946 x25948 x25949 x25950 x25951 x25952 x25953 x25954 x25955 x25956 x25957 x25958 x25959 x25960
1800.09/1801.82	v x25961 x25962 x25963 x25964 x25965 x25966 x25967 x25968 x25969 x25970 x25971 x25972 x25977 x25978 x25979 x25980 x25981
1800.09/1801.82	v x25982 x25983 x25984 x25985 x25986 x25987 x25988 x25989 x25990 x25991 x25992 x25993 x25994 x25995 x25996 x25997 x25998
1800.09/1801.82	v x25999 x26000 x26004 x26005 x26006 x26007 x26008 x26009 x26010 x26011 x26012 x26013 x26014 x26015 x26016 x26017 x26018
1800.09/1801.82	v x26019 x26020 x26021 x26022 x26030 x26031 x26032 x26033 x26034 x26035 x26036 x26037 x26038 x26039 x26040 x26041 x26042
1800.09/1801.82	v x26043 x26044 x26045 x26046 x26047 x26048 x26056 x26057 x26058 x26059 x26060 x26061 x26062 x26063 x26064 x26065 x26066
1800.09/1801.82	v x26067 x26068 x26069 x26070 x26071 x26072 x26073 x26074 x26075 x26076 x26077 x26078 x26079 x26085 x26086 x26087 x26088
1800.09/1801.82	v x26089 x26090 x26091 x26092 x26093 x26094 x26095 x26096 x26097 x26098 x26099 x26100 x26101 x26102 x26103 x26104 x26105
1800.09/1801.82	v x26106 x26112 x26113 x26114 x26115 x26116 x26117 x26118 x26119 x26120 x26121 x26122 x26123 x26124 x26125 x26126 x26127
1800.09/1801.82	v x26128 x26129 x26130 x26131 x26132 x26133 x26140 x26141 x26142 x26143 x26144 x26145 x26146 x26147 x26148 x26149 x26150
1800.09/1801.82	v x26151 x26152 x26153 x26154 x26155 x26156 x26157 x26158 x26159 x26160 x26161 x26162 x26167 x26168 x26169 x26170 x26171
1800.09/1801.82	v x26172 x26173 x26174 x26175 x26176 x26177 x26178 x26179 x26180 x26181 x26182 x26183 x26184 x26185 x26186 x26187 x26188
1800.09/1801.82	v x26189 x26197 x26198 x26199 x26200 x26201 x26202 x26203 x26204 x26205 x26206 x26207 x26208 x26209 x26210 x26211 x26212
1800.09/1801.82	v x26213 x26214 x26215 x26216 x26217 x26218 x26224 x26225 x26226 x26227 x26228 x26229 x26230 x26231 x26232 x26233 x26234
1800.09/1801.82	v x26235 x26236 x26237 x26238 x26239 x26240 x26241 x26242 x26243 x26244 x26245 x26251 x26252 x26253 x26254 x26255 x26256
1800.09/1801.82	v x26257 x26258 x26259 x26260 x26261 x26262 x26263 x26264 x26265 x26266 x26278 x26279 x26280 x26281 x26282 x26283 x26284
1800.09/1801.82	v x26285 x26286 x26287 x26288 x26289 x26290 x26291 x26292 x26293 x26294 x26295 x26296 x26297 x26298 x26299 x26300 x26308
1800.09/1801.82	v x26309 x26310 x26311 x26312 x26313 x26314 x26315 x26316 x26317 x26318 x26319 x26320 x26321 x26322 x26323 x26324 x26325
1800.09/1801.82	v x26336 x26337 x26338 x26339 x26340 x26341 x26342 x26343 x26344 x26345 x26346 x26347 x26348 x26349 x26350 x26351 x26352
1800.09/1801.82	v x26353 x26354 x26355 x26356 x26357 x26358 x26362 x26363 x26364 x26365 x26366 x26367 x26368 x26369 x26370 x26371 x26372
1800.09/1801.82	v x26373 x26374 x26375 x26376 x26377 x26378 x26379 x26380 x26391 x26392 x26393 x26394 x26395 x26396 x26397 x26398 x26399
1800.09/1801.82	v x26400 x26401 x26402 x26403 x26404 x26405 x26406 x26407 x26408 x26409 x26417 x26418 x26419 x26420 x26421 x26422 x26423
1800.09/1801.82	v x26424 x26425 x26426 x26427 x26428 x26429 x26430 x26431 x26432 x26433 x26434 x26435 x26436 x26437 x26443 x26444 x26445
1800.09/1801.82	v x26446 x26447 x26448 x26449 x26450 x26451 x26452 x26453 x26454 x26455 x26456 x26457 x26458 x26459 x26460 x26461 x26462
1800.09/1801.82	v x26463 x26464 x26465 x26470 x26471 x26472 x26473 x26474 x26475 x26476 x26477 x26478 x26479 x26480 x26481 x26482 x26483
1800.09/1801.82	v x26484 x26485 x26486 x26487 x26488 x26489 x26490 x26491 x26492 x26497 x26498 x26499 x26500 x26501 x26502 x26503 x26504
1800.09/1801.82	v x26505 x26506 x26507 x26508 x26509 x26510 x26511 x26512 x26513 x26514 x26515 x26516 x26517 x26524 x26525 x26526 x26527
1800.09/1801.82	v x26528 x26529 x26530 x26531 x26532 x26533 x26534 x26535 x26536 x26537 x26538 x26539 x26540 x26541 x26542 x26543 x26553
1800.09/1801.82	v x26554 x26555 x26556 x26557 x26558 x26559 x26560 x26561 x26562 x26563 x26564 x26565 x26566 x26567 x26568 x26569 x26570
1800.09/1801.82	v x26583 x26584 x26585 x26586 x26587 x26588 x26589 x26590 x26591 x26592 x26593 x26594 x26595 x26596 x26597 x26598 x26599
1800.09/1801.82	v x26600 x26601 x26602 x26603 x26604 x26609 x26610 x26611 x26612 x26613 x26614 x26615 x26616 x26617 x26618 x26619 x26620
1800.09/1801.82	v x26621 x26622 x26623 x26624 x26625 x26626 x26627 x26628 x26629 x26636 x26637 x26638 x26639 x26640 x26641 x26642 x26643
1800.09/1801.82	v x26644 x26645 x26646 x26647 x26648 x26649 x26650 x26651 x26652 x26653 x26654 x26655 x26656 x26657 x26665 x26666 x26667
1800.09/1801.82	v x26668 x26669 x26670 x26671 x26672 x26673 x26674 x26675 x26676 x26677 x26678 x26679 x26680 x26681 x26682 x26683 x26692
1800.09/1801.82	v x26693 x26694 x26695 x26696 x26697 x26698 x26699 x26700 x26701 x26702 x26703 x26704 x26705 x26706 x26707 x26708 x26709
1800.09/1801.82	v x26710 x26711 x26712 x26713 x26719 x26720 x26721 x26722 x26723 x26724 x26725 x26726 x26727 x26728 x26729 x26730 x26731
1800.09/1801.82	v x26732 x26733 x26734 x26735 x26736 x26737 x26738 x26739 x26745 x26746 x26747 x26748 x26749 x26750 x26751 x26752 x26753
1800.09/1801.82	v x26754 x26755 x26756 x26757 x26758 x26759 x26760 x26761 x26762 x26763 x26772 x26773 x26774 x26775 x26776 x26777 x26778
1800.09/1801.82	v x26779 x26780 x26781 x26782 x26783 x26784 x26785 x26786 x26787 x26788 x26789 x26790 x26791 x26800 x26801 x26802 x26803
1800.09/1801.82	v x26804 x26805 x26806 x26807 x26808 x26809 x26810 x26811 x26812 x26813 x26814 x26815 x26816 x26817 x26818 x26819 x26820
1800.09/1801.82	v x26821 x26822 x26823 x26827 x26828 x26829 x26830 x26831 x26832 x26833 x26834 x26835 x26836 x26837 x26838 x26839 x26840
1800.09/1801.82	v x26841 x26842 x26843 x26844 x26845 x26846 x26847 x26848 x26849 x26854 x26855 x26856 x26857 x26858 x26859 x26860 x26861
1800.09/1801.82	v x26862 x26863 x26864 x26865 x26866 x26867 x26868 x26869 x26880 x26881 x26882 x26883 x26884 x26885 x26886 x26887 x26888
1800.09/1801.82	v x26889 x26890 x26891 x26892 x26893 x26894 x26895 x26896 x26897 x26898 x26899 x26908 x26909 x26910 x26911 x26912 x26913
1800.09/1801.82	v x26914 x26915 x26916 x26917 x26918 x26919 x26920 x26921 x26922 x26923 x26924 x26925 x26926 x26927 x26928 x26929 x26930
1800.09/1801.82	v x26931 x26932 x26934 x26935 x26936 x26937 x26938 x26939 x26940 x26941 x26942 x26943 x26944 x26945 x26946 x26947 x26948
1800.09/1801.82	v x26949 x26950 x26951 x26952 x26953 x26954 x26960 x26961 x26962 x26963 x26964 x26965 x26966 x26967 x26968 x26969 x26970
1800.09/1801.82	v x26971 x26972 x26973 x26974 x26975 x26976 x26977 x26978 x26987 x26988 x26989 x26990 x26991 x26992 x26993 x26994 x26995
1800.09/1801.82	v x26996 x26997 x26998 x26999 x27000 x27001 x27002 x27003 x27004 x27005 x27015 x27016 x27017 x27018 x27019 x27020 x27021
1800.09/1801.82	v x27022 x27023 x27024 x27025 x27026 x27027 x27028 x27029 x27030 x27031 x27032 x27033 x27034 x27035 x27036 x27037 x27038
1800.09/1801.82	v x27041 x27042 x27043 x27044 x27045 x27046 x27047 x27048 x27049 x27050 x27051 x27052 x27053 x27054 x27055 x27056 x27057
1800.09/1801.82	v x27058 x27059 x27060 x27061 x27068 x27069 x27070 x27071 x27072 x27073 x27074 x27075 x27076 x27077 x27078 x27079 x27080
1800.09/1801.82	v x27081 x27082 x27083 x27084 x27085 x27086 x27087 x27088 x27089 x27095 x27096 x27097 x27098 x27099 x27100 x27101 x27102
1800.09/1801.82	v x27103 x27104 x27105 x27106 x27107 x27108 x27109 x27110 x27111 x27112 x27113 x27125 x27126 x27127 x27128 x27129 x27130
1800.09/1801.82	v x27131 x27132 x27133 x27134 x27135 x27136 x27137 x27138 x27139 x27140 x27141 x27142 x27143 x27144 x27145 x27146 x27151
1800.09/1801.82	v x27152 x27153 x27154 x27155 x27156 x27157 x27158 x27159 x27160 x27161 x27162 x27163 x27164 x27165 x27166 x27167 x27168
1800.09/1801.82	v x27169 x27170 x27171 x27172 x27173 x27174 x27175 x27178 x27179 x27180 x27181 x27182 x27183 x27184 x27185 x27186 x27187
1800.09/1801.82	v x27188 x27189 x27190 x27191 x27192 x27193 x27194 x27195 x27196 x27197 x27198 x27203 x27204 x27205 x27206 x27207 x27208
1800.09/1801.82	v x27209 x27210 x27211 x27212 x27213 x27214 x27215 x27216 x27217 x27218 x27219 x27220 x27221 x27222 x27223 x27224 x27225
1800.09/1801.82	v x27229 x27230 x27231 x27232 x27233 x27234 x27235 x27236 x27237 x27238 x27239 x27240 x27241 x27242 x27243 x27244 x27245
1800.09/1801.82	v x27246 x27247 x27248 x27249 x27250 x27255 x27256 x27257 x27258 x27259 x27260 x27261 x27262 x27263 x27264 x27265 x27266
1800.09/1801.82	v x27267 x27268 x27269 x27270 x27271 x27272 x27273 x27274 x27275 x27283 x27284 x27285 x27286 x27287 x27288 x27289 x27290
1800.09/1801.82	v x27291 x27292 x27293 x27294 x27295 x27296 x27297 x27298 x27299 x27300 x27301 x27302 x27310 x27311 x27312 x27313 x27314
1800.09/1801.82	v x27315 x27316 x27317 x27318 x27319 x27320 x27321 x27322 x27323 x27324 x27325 x27326 x27327 x27335 x27336 x27337 x27338
1800.09/1801.82	v x27339 x27340 x27341 x27342 x27343 x27344 x27345 x27346 x27347 x27348 x27349 x27350 x27351 x27352 x27353 x27364 x27365
1800.09/1801.82	v x27366 x27367 x27368 x27369 x27370 x27371 x27372 x27373 x27374 x27375 x27376 x27377 x27378 x27379 x27380 x27381 x27382
1800.09/1801.82	v x27383 x27384 x27385 x27386 x27389 x27390 x27391 x27392 x27393 x27394 x27395 x27396 x27397 x27398 x27399 x27400 x27401
1800.09/1801.82	v x27402 x27403 x27404 x27405 x27406 x27407 x27415 x27416 x27417 x27418 x27419 x27420 x27421 x27422 x27423 x27424 x27425
1800.09/1801.82	v x27426 x27427 x27428 x27429 x27430 x27431 x27432 x27433 x27434 x27435 x27436 x27440 x27441 x27442 x27443 x27444 x27445
1800.09/1801.82	v x27446 x27447 x27448 x27449 x27450 x27451 x27452 x27453 x27454 x27455 x27456 x27466 x27467 x27468 x27469 x27470 x27471
1800.09/1801.82	v x27472 x27473 x27474 x27475 x27476 x27477 x27478 x27479 x27480 x27481 x27482 x27483 x27484 x27485 x27486 x27493 x27494
1800.09/1801.82	v x27495 x27496 x27497 x27498 x27499 x27500 x27501 x27502 x27503 x27504 x27505 x27506 x27507 x27508 x27509 x27510 x27511
1800.09/1801.82	v x27512 x27513 x27514 x27515 x27516 x27520 x27521 x27522 x27523 x27524 x27525 x27526 x27527 x27528 x27529 x27530 x27531
1800.09/1801.82	v x27532 x27533 x27534 x27535 x27536 x27537 x27538 x27539 x27540 x27547 x27548 x27549 x27550 x27551 x27552 x27553 x27554
1800.09/1801.82	v x27555 x27556 x27557 x27558 x27559 x27560 x27561 x27562 x27563 x27564 x27565 x27566 x27567 x27568 x27575 x27576 x27577
1800.09/1801.82	v x27578 x27579 x27580 x27581 x27582 x27583 x27584 x27585 x27586 x27587 x27588 x27589 x27590 x27591 x27592 x27593 x27594
1800.09/1801.82	v x27600 x27601 x27602 x27603 x27604 x27605 x27606 x27607 x27608 x27609 x27610 x27611 x27612 x27613 x27614 x27615 x27616
1800.09/1801.82	v x27628 x27629 x27630 x27631 x27632 x27633 x27634 x27635 x27636 x27637 x27638 x27639 x27640 x27641 x27642 x27643 x27644
1800.09/1801.82	v x27653 x27654 x27655 x27656 x27657 x27658 x27659 x27660 x27661 x27662 x27663 x27664 x27665 x27666 x27667 x27668 x27669
1800.09/1801.82	v x27670 x27671 x27672 x27673 x27674 x27680 x27681 x27682 x27683 x27684 x27685 x27686 x27687 x27688 x27689 x27690 x27691
1800.09/1801.82	v x27692 x27693 x27694 x27695 x27696 x27697 x27698 x27699 x27700 x27701 x27705 x27706 x27707 x27708 x27709 x27710 x27711
1800.09/1801.82	v x27712 x27713 x27714 x27715 x27716 x27717 x27718 x27719 x27720 x27721 x27722 x27723 x27724 x27725 x27726 x27734 x27735
1800.09/1801.82	v x27736 x27737 x27738 x27739 x27740 x27741 x27742 x27743 x27744 x27745 x27746 x27747 x27748 x27749 x27750 x27751 x27752
1800.09/1801.82	v x27753 x27754 x27755 x27761 x27762 x27763 x27764 x27765 x27766 x27767 x27768 x27769 x27770 x27771 x27772 x27773 x27774
1800.09/1801.82	v x27775 x27776 x27777 x27778 x27779 x27780 x27781 x27782 x27790 x27791 x27792 x27793 x27794 x27795 x27796 x27797 x27798
1800.09/1801.82	v x27799 x27800 x27801 x27802 x27803 x27804 x27805 x27806 x27807 x27808 x27809 x27817 x27818 x27819 x27820 x27821 x27822
1800.09/1801.82	v x27823 x27824 x27825 x27826 x27827 x27828 x27829 x27830 x27831 x27832 x27833 x27834 x27835 x27836 x27837 x27838 x27839
1800.09/1801.82	v x27842 x27843 x27844 x27845 x27846 x27847 x27848 x27849 x27850 x27851 x27852 x27853 x27854 x27855 x27856 x27857 x27858
1800.09/1801.82	v x27859 x27860 x27861 x27862 x27863 x27864 x27868 x27869 x27870 x27871 x27872 x27873 x27874 x27875 x27876 x27877 x27878
1800.09/1801.82	v x27879 x27880 x27881 x27882 x27883 x27884 x27885 x27894 x27895 x27896 x27897 x27898 x27899 x27900 x27901 x27902 x27903
1800.09/1801.82	v x27904 x27905 x27906 x27907 x27908 x27909 x27910 x27911 x27912 x27921 x27922 x27923 x27924 x27925 x27926 x27927 x27928
1800.09/1801.82	v x27929 x27930 x27931 x27932 x27933 x27934 x27935 x27936 x27937 x27938 x27939 x27940 x27941 x27942 x27943 x27948 x27949
1800.09/1801.82	v x27950 x27951 x27952 x27953 x27954 x27955 x27956 x27957 x27958 x27959 x27960 x27961 x27962 x27963 x27964 x27965 x27966
1800.09/1801.82	v x27967 x27968 x27969 x27970 x27973 x27974 x27975 x27976 x27977 x27978 x27979 x27980 x27981 x27982 x27983 x27984 x27985
1800.09/1801.82	v x27986 x27987 x27988 x27989 x27990 x27991 x27992 x28002 x28003 x28004 x28005 x28006 x28007 x28008 x28009 x28010 x28011
1800.09/1801.82	v x28012 x28013 x28014 x28015 x28016 x28017 x28018 x28030 x28031 x28032 x28033 x28034 x28035 x28036 x28037 x28038 x28039
1800.09/1801.82	v x28040 x28041 x28042 x28043 x28044 x28045 x28046 x28047 x28058 x28059 x28060 x28061 x28062 x28063 x28064 x28065 x28066
1800.09/1801.82	v x28067 x28068 x28069 x28070 x28071 x28072 x28073 x28074 x28075 x28076 x28077 x28078 x28079 x28086 x28087 x28088 x28089
1800.09/1801.82	v x28090 x28091 x28092 x28093 x28094 x28095 x28096 x28097 x28098 x28099 x28100 x28101 x28102 x28103 x28104 x28105 x28106
1800.09/1801.82	v x28111 x28112 x28113 x28114 x28115 x28116 x28117 x28118 x28119 x28120 x28121 x28122 x28123 x28124 x28125 x28126 x28127
1800.09/1801.82	v x28128 x28129 x28130 x28131 x28132 x28133 x28134 x28138 x28139 x28140 x28141 x28142 x28143 x28144 x28145 x28146 x28147
1800.09/1801.82	v x28148 x28149 x28150 x28151 x28152 x28153 x28154 x28155 x28156 x28157 x28158 x28159 x28163 x28164 x28165 x28166 x28167
1800.09/1801.82	v x28168 x28169 x28170 x28171 x28172 x28173 x28174 x28175 x28176 x28177 x28178 x28179 x28180 x28181 x28182 x28183 x28184
1800.09/1801.82	v x28190 x28191 x28192 x28193 x28194 x28195 x28196 x28197 x28198 x28199 x28200 x28201 x28202 x28203 x28204 x28205 x28206
1800.09/1801.82	v x28207 x28208 x28209 x28215 x28216 x28217 x28218 x28219 x28220 x28221 x28222 x28223 x28224 x28225 x28226 x28227 x28228
1800.09/1801.82	v x28229 x28230 x28231 x28232 x28233 x28234 x28235 x28236 x28237 x28242 x28243 x28244 x28245 x28246 x28247 x28248 x28249
1800.09/1801.82	v x28250 x28251 x28252 x28253 x28254 x28255 x28256 x28257 x28258 x28269 x28270 x28271 x28272 x28273 x28274 x28275 x28276
1800.09/1801.82	v x28277 x28278 x28279 x28280 x28281 x28282 x28283 x28284 x28285 x28286 x28287 x28288 x28298 x28299 x28300 x28301 x28302
1800.09/1801.82	v x28303 x28304 x28305 x28306 x28307 x28308 x28309 x28310 x28311 x28312 x28313 x28314 x28315 x28316 x28317 x28324 x28325
1800.09/1801.82	v x28326 x28327 x28328 x28329 x28330 x28331 x28332 x28333 x28334 x28335 x28336 x28337 x28338 x28339 x28340 x28341 x28342
1800.09/1801.82	v x28343 x28344 x28345 x28352 x28353 x28354 x28355 x28356 x28357 x28358 x28359 x28360 x28361 x28362 x28363 x28364 x28365
1800.09/1801.82	v x28366 x28367 x28368 x28369 x28370 x28371 x28372 x28373 x28380 x28381 x28382 x28383 x28384 x28385 x28386 x28387 x28388
1800.09/1801.82	v x28389 x28390 x28391 x28392 x28393 x28394 x28395 x28396 x28397 x28398 x28399 x28400 x28407 x28408 x28409 x28410 x28411
1800.09/1801.82	v x28412 x28413 x28414 x28415 x28416 x28417 x28418 x28419 x28420 x28421 x28422 x28423 x28424 x28425 x28426 x28434 x28435
1800.09/1801.82	v x28436 x28437 x28438 x28439 x28440 x28441 x28442 x28443 x28444 x28445 x28446 x28447 x28448 x28449 x28450 x28451 x28452
1800.09/1801.82	v x28453 x28454 x28455 x28456 x28457 x28461 x28462 x28463 x28464 x28465 x28466 x28467 x28468 x28469 x28470 x28471 x28472
1800.09/1801.82	v x28473 x28474 x28475 x28476 x28477 x28478 x28479 x28487 x28488 x28489 x28490 x28491 x28492 x28493 x28494 x28495 x28496
1800.09/1801.82	v x28497 x28498 x28499 x28500 x28501 x28502 x28503 x28504 x28505 x28506 x28507 x28508 x28513 x28514 x28515 x28516 x28517
1800.09/1801.82	v x28518 x28519 x28520 x28521 x28522 x28523 x28524 x28525 x28526 x28527 x28528 x28529 x28530 x28531 x28532 x28533 x28534
1800.09/1801.82	v x28535 x28539 x28540 x28541 x28542 x28543 x28544 x28545 x28546 x28547 x28548 x28549 x28550 x28551 x28552 x28553 x28554
1800.09/1801.82	v x28555 x28556 x28557 x28565 x28566 x28567 x28568 x28569 x28570 x28571 x28572 x28573 x28574 x28575 x28576 x28577 x28578
1800.09/1801.82	v x28579 x28580 x28581 x28582 x28583 x28584 x28585 x28590 x28591 x28592 x28593 x28594 x28595 x28596 x28597 x28598 x28599
1800.09/1801.82	v x28600 x28601 x28602 x28603 x28604 x28605 x28606 x28607 x28608 x28609 x28610 x28611 x28618 x28619 x28620 x28621 x28622
1800.09/1801.82	v x28623 x28624 x28625 x28626 x28627 x28628 x28629 x28630 x28631 x28632 x28633 x28634 x28635 x28636 x28637 x28645 x28646
1800.09/1801.82	v x28647 x28648 x28649 x28650 x28651 x28652 x28653 x28654 x28655 x28656 x28657 x28658 x28659 x28660 x28661 x28662 x28663
1800.09/1801.82	v x28676 x28677 x28678 x28679 x28680 x28681 x28682 x28683 x28684 x28685 x28686 x28687 x28688 x28689 x28690 x28691 x28692
1800.09/1801.82	v x28693 x28700 x28701 x28702 x28703 x28704 x28705 x28706 x28707 x28708 x28709 x28710 x28711 x28712 x28713 x28714 x28715
1800.09/1801.82	v x28716 x28717 x28718 x28719 x28720 x28721 x28722 x28723 x28727 x28728 x28729 x28730 x28731 x28732 x28733 x28734 x28735
1800.09/1801.82	v x28736 x28737 x28738 x28739 x28740 x28741 x28742 x28743 x28744 x28745 x28746 x28747 x28753 x28754 x28755 x28756 x28757
1800.09/1801.82	v x28758 x28759 x28760 x28761 x28762 x28763 x28764 x28765 x28766 x28767 x28768 x28769 x28770 x28771 x28779 x28780 x28781
1800.09/1801.82	v x28782 x28783 x28784 x28785 x28786 x28787 x28788 x28789 x28790 x28791 x28792 x28793 x28794 x28795 x28796 x28797 x28798
1800.09/1801.82	v x28799 x28800 x28804 x28805 x28806 x28807 x28808 x28809 x28810 x28811 x28812 x28813 x28814 x28815 x28816 x28817 x28818
1800.09/1801.82	v x28819 x28820 x28821 x28822 x28823 x28824 x28831 x28832 x28833 x28834 x28835 x28836 x28837 x28838 x28839 x28840 x28841
1800.09/1801.82	v x28842 x28843 x28844 x28845 x28846 x28847 x28848 x28849 x28850 x28858 x28859 x28860 x28861 x28862 x28863 x28864 x28865
1800.09/1801.82	v x28866 x28867 x28868 x28869 x28870 x28871 x28872 x28873 x28874 x28875 x28876 x28877 x28878 x28879 x28880 x28884 x28885
1800.09/1801.82	v x28886 x28887 x28888 x28889 x28890 x28891 x28892 x28893 x28894 x28895 x28896 x28897 x28898 x28899 x28900 x28901 x28902
1800.09/1801.82	v x28910 x28911 x28912 x28913 x28914 x28915 x28916 x28917 x28918 x28919 x28920 x28921 x28922 x28923 x28924 x28925 x28926
1800.09/1801.82	v x28927 x28928 x28929 x28930 x28937 x28938 x28939 x28940 x28941 x28942 x28943 x28944 x28945 x28946 x28947 x28948 x28949
1800.09/1801.82	v x28950 x28951 x28952 x28953 x28954 x28955 x28956 x28966 x28967 x28968 x28969 x28970 x28971 x28972 x28973 x28974 x28975
1800.09/1801.82	v x28976 x28977 x28978 x28979 x28980 x28981 x28982 x28983 x28984 x28985 x28986 x28987 x28988 x28992 x28993 x28994 x28995
1800.09/1801.82	v x28996 x28997 x28998 x28999 x29000 x29001 x29002 x29003 x29004 x29005 x29006 x29007 x29008 x29009 x29020 x29021 x29022
1800.09/1801.82	v x29023 x29024 x29025 x29026 x29027 x29028 x29029 x29030 x29031 x29032 x29033 x29034 x29035 x29036 x29037 x29038 x29039
1800.09/1801.82	v x29040 x29041 x29047 x29048 x29049 x29050 x29051 x29052 x29053 x29054 x29055 x29056 x29057 x29058 x29059 x29060 x29061
1800.09/1801.82	v x29062 x29063 x29064 x29074 x29075 x29076 x29077 x29078 x29079 x29080 x29081 x29082 x29083 x29084 x29085 x29086 x29087
1800.09/1801.82	v x29088 x29089 x29090 x29091 x29092 x29093 x29094 x29095 x29099 x29101 x29102 x29103 x29104 x29105 x29106 x29107 x29108
1800.09/1801.82	v x29109 x29110 x29111 x29112 x29113 x29114 x29115 x29116 x29117 x29118 x29119 x29124 x29125 x29126 x29127 x29128 x29129
1800.09/1801.82	v x29130 x29131 x29132 x29133 x29134 x29135 x29136 x29137 x29138 x29139 x29140 x29141 x29142 x29143 x29144 x29145 x29146
1800.09/1801.82	v x29151 x29152 x29153 x29154 x29155 x29156 x29157 x29158 x29159 x29160 x29161 x29162 x29163 x29164 x29165 x29166 x29167
1800.09/1801.82	v x29168 x29169 x29176 x29177 x29178 x29179 x29180 x29181 x29182 x29183 x29184 x29185 x29186 x29187 x29188 x29189 x29190
1800.09/1801.82	v x29191 x29192 x29193 x29194 x29195 x29196 x29197 x29198 x29199 x29200 x29201 x29205 x29206 x29207 x29208 x29209 x29210
1800.09/1801.82	v x29211 x29212 x29213 x29214 x29215 x29216 x29217 x29218 x29219 x29220 x29221 x29222 x29223 x29230 x29231 x29232 x29233
1800.09/1801.82	v x29234 x29235 x29236 x29237 x29238 x29239 x29240 x29241 x29242 x29243 x29244 x29245 x29246 x29247 x29248 x29249 x29250
1800.09/1801.82	v x29251 x29257 x29258 x29259 x29260 x29261 x29262 x29263 x29264 x29265 x29266 x29267 x29268 x29269 x29270 x29271 x29272
1800.09/1801.82	v x29273 x29274 x29275 x29276 x29277 x29278 x29283 x29284 x29285 x29286 x29287 x29288 x29289 x29290 x29291 x29292 x29293
1800.09/1801.82	v x29294 x29295 x29296 x29297 x29298 x29299 x29300 x29310 x29311 x29312 x29313 x29314 x29315 x29316 x29317 x29318 x29319
1800.09/1801.82	v x29320 x29321 x29322 x29323 x29324 x29325 x29326 x29327 x29328 x29329 x29336 x29337 x29338 x29339 x29340 x29341 x29342
1800.09/1801.82	v x29343 x29344 x29345 x29346 x29347 x29348 x29349 x29350 x29351 x29352 x29353 x29354 x29362 x29363 x29364 x29365 x29366
1800.09/1801.82	v x29367 x29368 x29369 x29370 x29371 x29372 x29373 x29374 x29375 x29376 x29377 x29378 x29379 x29380 x29390 x29391 x29392
1800.09/1801.82	v x29393 x29394 x29395 x29396 x29397 x29398 x29399 x29400 x29401 x29402 x29403 x29404 x29405 x29406 x29407 x29408 x29409
1800.09/1801.82	v x29410 x29411 x29418 x29419 x29420 x29421 x29422 x29423 x29424 x29425 x29426 x29427 x29428 x29429 x29430 x29431 x29432
1800.09/1801.82	v x29433 x29434 x29435 x29444 x29445 x29446 x29447 x29448 x29449 x29450 x29451 x29452 x29453 x29454 x29455 x29456 x29457
1800.09/1801.82	v x29458 x29459 x29460 x29461 x29462 x29463 x29470 x29471 x29472 x29473 x29474 x29475 x29476 x29477 x29478 x29479 x29480
1800.09/1801.82	v x29481 x29482 x29483 x29484 x29485 x29486 x29487 x29488 x29489 x29490 x29491 x29497 x29498 x29499 x29500 x29501 x29502
1800.09/1801.82	v x29503 x29504 x29505 x29506 x29507 x29508 x29509 x29510 x29511 x29512 x29513 x29514 x29515 x29522 x29523 x29524 x29525
1800.09/1801.82	v x29526 x29527 x29528 x29529 x29530 x29531 x29532 x29533 x29534 x29535 x29536 x29537 x29538 x29539 x29540 x29541 x29548
1800.09/1801.82	v x29549 x29550 x29551 x29552 x29553 x29554 x29555 x29556 x29557 x29558 x29559 x29560 x29561 x29562 x29563 x29564 x29565
1800.09/1801.82	v x29566 x29567 x29568 x29569 x29574 x29575 x29576 x29577 x29578 x29579 x29580 x29581 x29582 x29583 x29584 x29585 x29586
1800.09/1801.82	v x29587 x29588 x29589 x29590 x29591 x29599 x29600 x29601 x29602 x29603 x29604 x29605 x29606 x29607 x29608 x29609 x29610
1800.09/1801.82	v x29611 x29612 x29613 x29614 x29615 x29616 x29617 x29618 x29619 x29626 x29627 x29628 x29629 x29630 x29631 x29632 x29633
1800.09/1801.82	v x29634 x29635 x29636 x29637 x29638 x29639 x29640 x29641 x29642 x29643 x29644 x29645 x29646 x29647 x29652 x29653 x29654
1800.09/1801.82	v x29655 x29656 x29657 x29658 x29659 x29660 x29661 x29662 x29663 x29664 x29665 x29666 x29667 x29668 x29669 x29670 x29671
1800.09/1801.82	v x29672 x29680 x29681 x29682 x29683 x29684 x29685 x29686 x29687 x29688 x29689 x29690 x29691 x29692 x29693 x29694 x29695
1800.09/1801.82	v x29696 x29697 x29698 x29699 x29700 x29701 x29707 x29708 x29709 x29710 x29711 x29712 x29713 x29714 x29715 x29716 x29717
1800.09/1801.82	v x29718 x29719 x29720 x29721 x29722 x29723 x29733 x29734 x29735 x29736 x29737 x29738 x29739 x29740 x29741 x29742 x29743
1800.09/1801.82	v x29744 x29745 x29746 x29747 x29748 x29749 x29750 x29751 x29752 x29753 x29754 x29758 x29759 x29760 x29761 x29762 x29763
1800.09/1801.82	v x29764 x29765 x29766 x29767 x29768 x29769 x29770 x29771 x29772 x29773 x29774 x29775 x29783 x29784 x29785 x29786 x29787
1800.09/1801.82	v x29788 x29789 x29790 x29791 x29792 x29793 x29794 x29795 x29796 x29797 x29798 x29799 x29800 x29801 x29802 x29803 x29804
1800.09/1801.82	v x29805 x29810 x29811 x29812 x29813 x29814 x29815 x29816 x29817 x29818 x29819 x29820 x29821 x29822 x29823 x29824 x29825
1800.09/1801.82	v x29826 x29835 x29836 x29837 x29838 x29839 x29840 x29841 x29842 x29843 x29844 x29845 x29846 x29847 x29848 x29849 x29850
1800.09/1801.82	v x29851 x29852 x29853 x29854 x29861 x29862 x29863 x29864 x29865 x29866 x29867 x29868 x29869 x29870 x29871 x29872 x29873
1800.09/1801.82	v x29874 x29875 x29876 x29877 x29878 x29879 x29880 x29881 x29888 x29889 x29890 x29891 x29892 x29893 x29894 x29895 x29896
1800.09/1801.82	v x29897 x29898 x29899 x29900 x29901 x29902 x29903 x29904 x29905 x29906 x29907 x29913 x29914 x29915 x29916 x29917 x29918
1800.09/1801.82	v x29919 x29920 x29921 x29922 x29923 x29924 x29925 x29926 x29927 x29928 x29929 x29930 x29931 x29932 x29938 x29939 x29940
1800.09/1801.82	v x29941 x29942 x29943 x29944 x29945 x29946 x29947 x29948 x29949 x29950 x29951 x29952 x29953 x29954 x29955 x29956 x29957
1800.09/1801.82	v x29958 x29959 x29960 x29966 x29967 x29968 x29969 x29970 x29971 x29972 x29973 x29974 x29975 x29976 x29977 x29978 x29979
1800.09/1801.82	v x29980 x29981 x29991 x29992 x29993 x29994 x29995 x29996 x29997 x29998 x29999 x30000 x30001 x30002 x30003 x30004 x30005
1800.09/1801.82	v x30006 x30007 x30008 x30016 x30017 x30018 x30019 x30020 x30021 x30022 x30023 x30024 x30025 x30026 x30027 x30028 x30029
1800.09/1801.82	v x30030 x30031 x30032 x30033 x30034 x30041 x30042 x30043 x30044 x30045 x30046 x30047 x30048 x30049 x30050 x30051 x30052
1800.09/1801.82	v x30053 x30054 x30055 x30056 x30057 x30058 x30059 x30060 x30061 x30067 x30068 x30069 x30070 x30071 x30072 x30073 x30074
1800.09/1801.82	v x30075 x30076 x30077 x30078 x30079 x30080 x30081 x30082 x30083 x30084 x30085 x30086 x30087 x30093 x30094 x30095 x30096
1800.09/1801.82	v x30097 x30098 x30099 x30100 x30101 x30102 x30103 x30104 x30105 x30106 x30107 x30108 x30109 x30110 x30111 x30118 x30119
1800.09/1801.82	v x30120 x30121 x30122 x30123 x30124 x30125 x30126 x30127 x30128 x30129 x30130 x30131 x30132 x30133 x30134 x30135 x30136
1800.09/1801.82	v x30137 x30143 x30144 x30145 x30146 x30147 x30148 x30149 x30150 x30151 x30152 x30153 x30154 x30155 x30156 x30157 x30158
1800.09/1801.82	v x30159 x30160 x30161 x30162 x30163 x30164 x30170 x30171 x30172 x30173 x30174 x30175 x30176 x30177 x30178 x30179 x30180
1800.09/1801.82	v x30181 x30182 x30183 x30184 x30185 x30186 x30187 x30188 x30189 x30190 x30191 x30195 x30196 x30197 x30198 x30199 x30200
1800.09/1801.82	v x30201 x30202 x30203 x30204 x30205 x30206 x30207 x30208 x30209 x30210 x30211 x30212 x30213 x30214 x30215 x30216 x30217
1800.09/1801.82	v x30218 x30221 x30222 x30223 x30224 x30225 x30226 x30227 x30228 x30229 x30230 x30231 x30232 x30233 x30234 x30235 x30236
1800.09/1801.82	v x30237 x30238 x30239 x30247 x30248 x30249 x30250 x30251 x30252 x30253 x30254 x30255 x30256 x30257 x30258 x30259 x30260
1800.09/1801.82	v x30261 x30262 x30263 x30264 x30265 x30276 x30277 x30278 x30279 x30280 x30281 x30282 x30283 x30284 x30285 x30286 x30287
1800.09/1801.82	v x30288 x30289 x30290 x30291 x30292 x30293 x30301 x30302 x30303 x30304 x30305 x30306 x30307 x30308 x30309 x30310 x30311
1800.09/1801.82	v x30312 x30313 x30314 x30315 x30316 x30317 x30318 x30319 x30320 x30321 x30322 x30326 x30327 x30328 x30329 x30330 x30331
1800.09/1801.82	v x30332 x30333 x30334 x30335 x30336 x30337 x30338 x30339 x30340 x30341 x30353 x30354 x30355 x30356 x30357 x30358 x30359
1800.09/1801.82	v x30360 x30361 x30362 x30363 x30364 x30365 x30366 x30367 x30368 x30369 x30370 x30371 x30372 x30373 x30379 x30380 x30381
1800.09/1801.82	v x30382 x30383 x30384 x30385 x30386 x30387 x30388 x30389 x30390 x30391 x30392 x30393 x30394 x30395 x30396 x30397 x30406
1800.09/1801.82	v x30407 x30408 x30409 x30410 x30411 x30412 x30413 x30414 x30415 x30416 x30417 x30418 x30419 x30420 x30421 x30422 x30423
1800.09/1801.82	v x30432 x30433 x30434 x30435 x30436 x30437 x30438 x30439 x30440 x30441 x30442 x30443 x30444 x30445 x30446 x30447 x30448
1800.09/1801.82	v x30449 x30459 x30460 x30461 x30462 x30463 x30464 x30465 x30466 x30467 x30468 x30469 x30470 x30471 x30472 x30473 x30474
1800.09/1801.82	v x30475 x30485 x30486 x30487 x30488 x30489 x30490 x30491 x30492 x30493 x30494 x30495 x30496 x30497 x30498 x30499 x30500
1800.09/1801.82	v x30501 x30502 x30503 x30504 x30505 x30506 x30510 x30511 x30512 x30513 x30514 x30515 x30516 x30517 x30518 x30519 x30520
1800.09/1801.82	v x30521 x30522 x30523 x30524 x30525 x30526 x30527 x30528 x30529 x30530 x30531 x30535 x30536 x30537 x30538 x30539 x30540
1800.09/1801.82	v x30541 x30542 x30543 x30544 x30545 x30546 x30547 x30548 x30549 x30550 x30551 x30552 x30553 x30560 x30561 x30562 x30563
1800.09/1801.82	v x30564 x30565 x30566 x30567 x30568 x30569 x30570 x30571 x30572 x30573 x30574 x30575 x30576 x30577 x30578 x30579 x30580
1800.09/1801.82	v x30581 x30585 x30586 x30587 x30588 x30589 x30590 x30591 x30592 x30593 x30594 x30595 x30596 x30597 x30598 x30599 x30600
1800.09/1801.82	v x30601 x30602 x30603 x30604 x30605 x30606 x30607 x30611 x30612 x30613 x30614 x30615 x30616 x30617 x30618 x30619 x30620
1800.09/1801.82	v x30621 x30622 x30623 x30624 x30625 x30626 x30627 x30628 x30629 x30630 x30631 x30632 x30635 x30636 x30637 x30638 x30639
1800.09/1801.82	v x30640 x30641 x30642 x30643 x30644 x30645 x30646 x30647 x30648 x30649 x30650 x30651 x30652 x30653 x30661 x30662 x30663
1800.09/1801.82	v x30664 x30665 x30666 x30667 x30668 x30669 x30670 x30671 x30672 x30673 x30674 x30675 x30676 x30677 x30678 x30679 x30680
1800.09/1801.82	v x30681 x30682 x30686 x30687 x30688 x30689 x30690 x30691 x30692 x30693 x30694 x30695 x30696 x30697 x30698 x30699 x30700
1800.09/1801.82	v x30701 x30702 x30703 x30704 x30711 x30712 x30713 x30714 x30715 x30716 x30717 x30718 x30719 x30720 x30721 x30722 x30723
1800.09/1801.82	v x30724 x30725 x30726 x30727 x30728 x30729 x30730 x30731 x30732 x30733 x30737 x30738 x30739 x30740 x30741 x30742 x30743
1800.09/1801.82	v x30744 x30745 x30746 x30747 x30748 x30749 x30750 x30751 x30752 x30753 x30754 x30755 x30756 x30757 x30762 x30763 x30764
1800.09/1801.82	v x30765 x30766 x30767 x30768 x30769 x30770 x30771 x30772 x30773 x30774 x30775 x30776 x30777 x30778 x30787 x30788 x30789
1800.09/1801.82	v x30790 x30791 x30792 x30793 x30794 x30795 x30796 x30797 x30798 x30799 x30800 x30801 x30802 x30803 x30804 x30805 x30806
1800.09/1801.82	v x30814 x30815 x30816 x30817 x30818 x30819 x30820 x30821 x30822 x30823 x30824 x30825 x30826 x30827 x30828 x30829 x30830
1800.09/1801.82	v x30831 x30832 x30833 x30834 x30835 x30840 x30841 x30842 x30843 x30844 x30845 x30846 x30847 x30848 x30849 x30850 x30851
1800.09/1801.82	v x30852 x30853 x30854 x30855 x30856 x30857 x30858 x30865 x30866 x30867 x30868 x30869 x30870 x30871 x30872 x30873 x30874
1800.09/1801.82	v x30875 x30876 x30877 x30878 x30879 x30880 x30881 x30882 x30883 x30884 x30885 x30886 x30890 x30891 x30892 x30893 x30894
1800.09/1801.82	v x30895 x30896 x30897 x30898 x30899 x30900 x30901 x30902 x30903 x30904 x30905 x30906 x30907 x30908 x30909 x30910 x30911
1800.09/1801.82	v x30912 x30917 x30918 x30919 x30920 x30921 x30922 x30923 x30924 x30925 x30926 x30927 x30928 x30929 x30930 x30945 x30946
1800.09/1801.82	v x30947 x30948 x30949 x30950 x30951 x30952 x30953 x30954 x30955 x30956 x30957 x30958 x30959 x30960 x30961 x30962 x30963
1800.09/1801.82	v x30964 x30965 x30970 x30971 x30972 x30973 x30974 x30975 x30976 x30977 x30978 x30979 x30980 x30981 x30982 x30983 x30984
1800.09/1801.82	v x30985 x30986 x30987 x30988 x30989 x30995 x30996 x30997 x30998 x30999 x31000 x31001 x31002 x31003 x31004 x31005 x31006
1800.09/1801.82	v x31020 x31021 x31022 x31023 x31024 x31025 x31026 x31027 x31028 x31029 x31030 x31031 x31032 x31033 x31034 x31035 x31036
1800.09/1801.82	v x31037 x31038 x31039 x31040 x31041 x31042 x31045 x31046 x31047 x31048 x31049 x31050 x31051 x31052 x31053 x31054 x31055
1800.09/1801.82	v x31056 x31057 x31058 x31070 x31071 x31072 x31073 x31074 x31075 x31076 x31077 x31078 x31079 x31080 x31081 x31082 x31083
1800.09/1801.82	v x31084 x31085 x31086 x31087 x31088 x31096 x31097 x31098 x31099 x31100 x31101 x31102 x31103 x31104 x31105 x31106 x31107
1800.09/1801.82	v x31108 x31109 x31110 x31111 x31112 x31113 x31114 x31115 x31116 x31121 x31122 x31123 x31124 x31125 x31126 x31127 x31128
1800.09/1801.82	v x31129 x31130 x31131 x31132 x31133 x31134 x31135 x31136 x31137 x31138 x31139 x31140 x31147 x31148 x31149 x31150 x31151
1800.09/1801.82	v x31152 x31153 x31154 x31155 x31156 x31157 x31158 x31159 x31160 x31161 x31162 x31163 x31164 x31165 x31166 x31172 x31173
1800.09/1801.82	v x31174 x31175 x31176 x31177 x31178 x31179 x31180 x31181 x31182 x31183 x31184 x31185 x31186 x31187 x31188 x31189 x31190
1800.09/1801.82	v x31191 x31198 x31199 x31200 x31201 x31202 x31203 x31204 x31205 x31206 x31207 x31208 x31209 x31210 x31211 x31212 x31213
1800.09/1801.82	v x31214 x31215 x31216 x31217 x31224 x31225 x31226 x31227 x31228 x31229 x31230 x31231 x31232 x31233 x31234 x31235 x31236
1800.09/1801.82	v x31237 x31238 x31239 x31240 x31241 x31242 x31243 x31249 x31250 x31251 x31252 x31253 x31254 x31255 x31256 x31257 x31258
1800.09/1801.82	v x31259 x31260 x31261 x31262 x31263 x31264 x31265 x31266 x31267 x31268 x31269 x31274 x31275 x31276 x31277 x31278 x31279
1800.09/1801.82	v x31280 x31281 x31282 x31283 x31284 x31285 x31286 x31287 x31288 x31289 x31290 x31291 x31292 x31293 x31294 x31295 x31300
1800.09/1801.82	v x31301 x31302 x31303 x31304 x31305 x31306 x31307 x31308 x31309 x31310 x31311 x31312 x31313 x31314 x31315 x31316 x31317
1800.09/1801.82	v x31318 x31325 x31326 x31327 x31328 x31329 x31330 x31331 x31332 x31333 x31334 x31335 x31336 x31337 x31338 x31339 x31340
1800.09/1801.82	v x31341 x31342 x31343 x31344 x31350 x31351 x31352 x31353 x31354 x31355 x31356 x31357 x31358 x31359 x31360 x31361 x31362
1800.09/1801.82	v x31363 x31364 x31365 x31366 x31367 x31368 x31369 x31370 x31371 x31376 x31377 x31378 x31379 x31380 x31381 x31382 x31383
1800.09/1801.82	v x31384 x31385 x31386 x31387 x31388 x31389 x31390 x31391 x31392 x31393 x31394 x31404 x31405 x31406 x31407 x31408 x31409
1800.09/1801.82	v x31410 x31411 x31412 x31413 x31414 x31415 x31416 x31417 x31418 x31419 x31420 x31421 x31422 x31423 x31424 x31429 x31430
1800.09/1801.82	v x31431 x31432 x31433 x31434 x31435 x31436 x31437 x31438 x31439 x31440 x31441 x31442 x31443 x31444 x31445 x31446 x31447
1800.09/1801.82	v x31455 x31456 x31457 x31458 x31459 x31460 x31461 x31462 x31463 x31464 x31465 x31466 x31467 x31468 x31469 x31470 x31471
1800.09/1801.82	v x31472 x31473 x31474 x31475 x31476 x31480 x31481 x31482 x31483 x31484 x31485 x31486 x31487 x31488 x31489 x31490 x31491
1800.09/1801.82	v x31492 x31493 x31494 x31495 x31496 x31497 x31498 x31499 x31500 x31501 x31502 x31503 x31505 x31506 x31507 x31508 x31509
1800.09/1801.82	v x31510 x31511 x31512 x31513 x31514 x31515 x31516 x31517 x31518 x31519 x31520 x31521 x31522 x31523 x31524 x31531 x31532
1800.09/1801.82	v x31533 x31534 x31535 x31536 x31537 x31538 x31539 x31540 x31541 x31542 x31543 x31544 x31545 x31546 x31547 x31548 x31549
1800.09/1801.82	v x31557 x31558 x31559 x31560 x31561 x31562 x31563 x31564 x31565 x31566 x31567 x31568 x31569 x31570 x31571 x31572 x31573
1800.09/1801.82	v x31574 x31575 x31576 x31577 x31578 x31579 x31580 x31583 x31584 x31585 x31586 x31587 x31588 x31589 x31590 x31591 x31592
1800.09/1801.82	v x31593 x31594 x31595 x31596 x31597 x31598 x31599 x31600 x31601 x31602 x31603 x31604 x31608 x31609 x31610 x31611 x31612
1800.09/1801.82	v x31613 x31614 x31615 x31616 x31617 x31618 x31619 x31620 x31621 x31622 x31623 x31624 x31625 x31626 x31627 x31628 x31629
1800.09/1801.82	v x31630 x31634 x31635 x31636 x31637 x31638 x31639 x31640 x31641 x31642 x31643 x31644 x31645 x31646 x31647 x31648 x31649
1800.09/1801.82	v x31650 x31651 x31652 x31653 x31654 x31659 x31660 x31661 x31662 x31663 x31664 x31665 x31666 x31667 x31668 x31669 x31670
1800.09/1801.82	v x31671 x31672 x31673 x31674 x31675 x31684 x31685 x31686 x31687 x31688 x31689 x31690 x31691 x31692 x31693 x31694 x31695
1800.09/1801.82	v x31696 x31697 x31698 x31699 x31700 x31701 x31702 x31710 x31711 x31712 x31713 x31714 x31715 x31716 x31717 x31718 x31719
1800.09/1801.82	v x31720 x31721 x31722 x31723 x31724 x31725 x31726 x31727 x31728 x31729 x31730 x31735 x31736 x31737 x31738 x31739 x31740
1800.09/1801.82	v x31741 x31742 x31743 x31744 x31745 x31746 x31747 x31748 x31749 x31750 x31751 x31752 x31753 x31760 x31761 x31762 x31763
1800.09/1801.82	v x31764 x31765 x31766 x31767 x31768 x31769 x31770 x31771 x31772 x31773 x31774 x31775 x31776 x31777 x31778 x31779 x31780
1800.09/1801.82	v x31781 x31786 x31787 x31788 x31789 x31790 x31791 x31792 x31793 x31794 x31795 x31796 x31797 x31798 x31799 x31800 x31801
1800.09/1801.82	v x31802 x31803 x31804 x31805 x31806 x31807 x31811 x31812 x31813 x31814 x31815 x31816 x31817 x31818 x31819 x31820 x31821
1800.09/1801.82	v x31822 x31823 x31824 x31825 x31826 x31827 x31828 x31829 x31830 x31831 x31836 x31837 x31838 x31839 x31840 x31841 x31842
1800.09/1801.82	v x31843 x31844 x31845 x31846 x31847 x31848 x31849 x31850 x31851 x31852 x31853 x31854 x31861 x31862 x31863 x31864 x31865
1800.09/1801.82	v x31866 x31867 x31868 x31869 x31870 x31871 x31872 x31873 x31874 x31875 x31876 x31877 x31878 x31879 x31880 x31881 x31886
1800.09/1801.82	v x31887 x31888 x31889 x31890 x31891 x31892 x31893 x31894 x31895 x31896 x31897 x31898 x31899 x31900 x31901 x31902 x31903
1800.09/1801.82	v x31911 x31912 x31913 x31914 x31915 x31916 x31917 x31918 x31919 x31920 x31921 x31922 x31923 x31924 x31925 x31926 x31927
1800.09/1801.82	v x31928 x31929 x31930 x31936 x31937 x31938 x31939 x31940 x31941 x31942 x31943 x31944 x31945 x31946 x31947 x31948 x31949
1800.09/1801.82	v x31950 x31951 x31952 x31953 x31954 x31961 x31962 x31963 x31964 x31965 x31966 x31967 x31968 x31969 x31970 x31971 x31972
1800.09/1801.82	v x31973 x31974 x31975 x31976 x31977 x31978 x31979 x31980 x31981 x31982 x31986 x31987 x31988 x31989 x31990 x31991 x31992
1800.09/1801.82	v x31993 x31994 x31995 x31996 x31997 x31998 x31999 x32000 x32001 x32002 x32011 x32012 x32013 x32014 x32015 x32016 x32017
1800.09/1801.82	v x32018 x32019 x32020 x32021 x32022 x32023 x32024 x32025 x32026 x32027 x32028 x32029 x32036 x32037 x32038 x32039 x32040
1800.09/1801.82	v x32041 x32042 x32043 x32044 x32045 x32046 x32047 x32048 x32049 x32050 x32051 x32052 x32053 x32054 x32055 x32056 x32062
1800.09/1801.82	v x32063 x32064 x32065 x32066 x32067 x32068 x32069 x32070 x32071 x32072 x32073 x32074 x32075 x32076 x32077 x32078 x32079
1800.09/1801.82	v x32080 x32081 x32082 x32088 x32089 x32090 x32091 x32092 x32093 x32094 x32095 x32096 x32097 x32098 x32099 x32100 x32101
1800.09/1801.82	v x32102 x32103 x32104 x32105 x32106 x32113 x32114 x32115 x32116 x32117 x32118 x32119 x32120 x32121 x32122 x32123 x32124
1800.09/1801.82	v x32125 x32126 x32127 x32128 x32129 x32130 x32131 x32132 x32133 x32139 x32140 x32141 x32142 x32143 x32144 x32145 x32146
1800.09/1801.82	v x32147 x32148 x32149 x32150 x32151 x32152 x32153 x32154 x32155 x32156 x32157 x32163 x32164 x32165 x32166 x32167 x32168
1800.09/1801.82	v x32169 x32170 x32171 x32172 x32173 x32174 x32175 x32176 x32177 x32178 x32179 x32180 x32181 x32188 x32189 x32190 x32191
1800.09/1801.82	v x32192 x32193 x32194 x32195 x32196 x32197 x32198 x32199 x32200 x32201 x32202 x32203 x32204 x32205 x32206 x32207 x32213
1800.09/1801.82	v x32214 x32215 x32216 x32217 x32218 x32219 x32220 x32221 x32222 x32223 x32224 x32225 x32226 x32227 x32228 x32229 x32230
1800.09/1801.82	v x32231 x32238 x32239 x32240 x32241 x32242 x32243 x32244 x32245 x32246 x32247 x32248 x32249 x32250 x32251 x32252 x32253
1800.09/1801.82	v x32254 x32255 x32256 x32265 x32266 x32267 x32268 x32269 x32270 x32271 x32272 x32273 x32274 x32275 x32276 x32277 x32278
1800.09/1801.82	v x32279 x32280 x32281 x32290 x32291 x32292 x32293 x32294 x32295 x32296 x32297 x32298 x32299 x32300 x32301 x32302 x32303
1800.09/1801.82	v x32304 x32305 x32306 x32307 x32308 x32309 x32310 x32311 x32315 x32316 x32317 x32318 x32319 x32320 x32321 x32322 x32323
1800.09/1801.82	v x32324 x32325 x32326 x32327 x32328 x32329 x32330 x32331 x32332 x32333 x32340 x32341 x32342 x32343 x32344 x32345 x32346
1800.09/1801.82	v x32347 x32348 x32349 x32350 x32351 x32352 x32353 x32354 x32355 x32356 x32365 x32366 x32367 x32368 x32369 x32370 x32371
1800.09/1801.82	v x32372 x32373 x32374 x32375 x32376 x32377 x32378 x32379 x32380 x32381 x32382 x32383 x32384 x32385 x32391 x32392 x32393
1800.09/1801.82	v x32394 x32395 x32396 x32397 x32398 x32399 x32400 x32401 x32402 x32403 x32404 x32405 x32406 x32407 x32408 x32409 x32410
1800.09/1801.82	v x32416 x32417 x32418 x32419 x32420 x32421 x32422 x32423 x32424 x32425 x32426 x32427 x32428 x32429 x32430 x32431 x32432
1800.09/1801.82	v x32433 x32441 x32442 x32443 x32444 x32445 x32446 x32447 x32448 x32449 x32450 x32451 x32452 x32453 x32454 x32455 x32456
1800.09/1801.82	v x32457 x32458 x32459 x32466 x32467 x32468 x32469 x32470 x32471 x32472 x32473 x32474 x32475 x32476 x32477 x32478 x32479
1800.09/1801.82	v x32480 x32481 x32482 x32483 x32484 x32491 x32492 x32493 x32494 x32495 x32496 x32497 x32498 x32499 x32500 x32501 x32502
1800.09/1801.82	v x32503 x32504 x32505 x32506 x32507 x32508 x32509 x32510 x32511 x32512 x32516 x32517 x32518 x32519 x32520 x32521 x32522
1800.09/1801.82	v x32523 x32524 x32525 x32526 x32527 x32528 x32529 x32530 x32531 x32532 x32533 x32534 x32542 x32543 x32544 x32545 x32546
1800.09/1801.82	v x32547 x32548 x32549 x32550 x32551 x32552 x32553 x32554 x32555 x32556 x32557 x32558 x32559 x32560 x32561 x32566 x32567
1800.09/1801.82	v x32568 x32569 x32570 x32571 x32572 x32573 x32574 x32575 x32576 x32577 x32578 x32579 x32580 x32581 x32582 x32583 x32584
1800.09/1801.82	v x32585 x32591 x32592 x32593 x32594 x32595 x32596 x32597 x32598 x32599 x32600 x32601 x32602 x32603 x32604 x32605 x32606
1800.09/1801.82	v x32607 x32608 x32609 x32610 x32616 x32617 x32618 x32619 x32620 x32621 x32622 x32623 x32624 x32625 x32626 x32627 x32628
1800.09/1801.82	v x32629 x32630 x32631 x32632 x32633 x32634 x32635 x32636 x32637
1800.09/1801.82	pb2clasp1: no process killed
1800.09/1801.83	clasp: no process killed

Verifier Data (download as text)

FAILED
ERROR: unsatisfied constraint on line 0
	0>=1

Falsified constraint is:
+1*~x3[=0]*x414[=1]+1*~x3[=0]*x527[=1]+1*~x3[=0]*x92[=1]+1*~x3[=0]*x981[=0]+1*~x3[=0]*x957[=0]+1*~x3[=0]*x874[=0]+1*~x3[=0]*x863[=0]+1*~x3[=0]*x171[=1]+1*~x3[=0]*x997[=0]+1*~x3[=0]*x282[=1]+1*~x3[=0]*x306[=1]+1*~x3[=0]*x926[=0]+1*~x3[=0]*x85[=1]+1*~x3[=0]*x328[=1]+1*~x3[=0]*x337[=1]+1*~x3[=0]*x506[=1]+1*~x3[=0]*x847[=0]+1*~x3[=0]*x730[=0]+1*~x3[=0]*x314[=1]+1*~x3[=0]*x858[=0]+1*~x3[=0]*x125[=1]+1*~x3[=0]*x896[=0]+1*~x3[=0]*x583[=1]+1*~x3[=0]*x546[=1]+1*~x3[=0]*x815[=0]+1*~x3[=0]*x19[=1]+1*~x3[=0]*x26[=1]+1*~x3[=0]*x47[=1]+1*~x3[=0]*x105[=1]+1*~x3[=0]*x118[=1]+1*~x3[=0]*x128[=1]+1*~x3[=0]*x136[=1]+1*~x3[=0]*x226[=1]+1*~x3[=0]*x285[=1]+1*~x3[=0]*x318[=1]+1*~x3[=0]*x341[=1]+1*~x3[=0]*x367[=1]+1*~x3[=0]*x595[=1]+1*~x3[=0]*x602[=1]+1*~x3[=0]*x921[=0]+1*x3[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453130-1178119055/instance-453130-1178119055.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-453130-1178119055 -o ROOT/results/node9/solver-453130-1178119055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453130-1178119055.opb /tmp/evaluation/453130-1178119055/temp 

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.98 3/77 21979
/proc/meminfo: memFree=1795632/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=12268 CPUtime=0
/proc/21979/stat : 21979 (pbclasp) D 21977 21979 21194 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 287943247 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215419157093 0 0 4224 0 0 0 0 17 1 0 0
/proc/21979/statm: 3067 317 242 3 0 167 0

[startup+0.029625 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 21979
/proc/meminfo: memFree=1795632/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13320 CPUtime=0.02
/proc/21979/stat : 21979 (pbclasp) R 21977 21979 21194 0 -1 4194304 693 0 0 0 2 0 0 0 18 0 1 0 287943247 13639680 660 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215418835681 0 0 4224 16384 0 0 0 17 1 0 0
/proc/21979/statm: 3330 660 314 3 0 430 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13320

[startup+0.101636 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 21979
/proc/meminfo: memFree=1795632/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13584 CPUtime=0.03
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 799 0 0 0 3 0 0 0 16 0 1 0 287943247 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21979/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13584

[startup+0.301656 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 21979
/proc/meminfo: memFree=1795632/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13584 CPUtime=0.03
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 799 0 0 0 3 0 0 0 16 0 1 0 287943247 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21979/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13584

[startup+0.701701 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 21979
/proc/meminfo: memFree=1795632/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13584 CPUtime=0.03
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 799 0 0 0 3 0 0 0 16 0 1 0 287943247 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21979/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13584

[startup+1.50179 s]
/proc/loadavg: 0.93 0.98 0.98 2/80 21982
/proc/meminfo: memFree=1792536/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13584 CPUtime=0.03
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 799 0 0 0 3 0 0 0 16 0 1 0 287943247 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21979/statm: 3396 753 324 3 0 496 0
[pid=21981] ppid=21979 vsize=5356 CPUtime=0
/proc/21981/stat : 21981 (sh) S 21979 21979 21194 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 287943251 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21981/statm: 1339 231 193 169 0 50 0
[pid=21982] ppid=21981 vsize=12400 CPUtime=1.45
/proc/21982/stat : 21982 (pb2clasp1) R 21981 21979 21194 0 -1 4194304 501 0 0 0 144 1 0 0 25 0 1 0 287943252 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215437081217 0 0 4224 0 0 0 0 17 1 0 0
/proc/21982/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31340

[startup+3.10297 s]
/proc/loadavg: 0.93 0.98 0.98 2/80 21982
/proc/meminfo: memFree=1791704/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13584 CPUtime=0.03
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 799 0 0 0 3 0 0 0 16 0 1 0 287943247 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/21979/statm: 3396 753 324 3 0 496 0
[pid=21981] ppid=21979 vsize=5356 CPUtime=0
/proc/21981/stat : 21981 (sh) S 21979 21979 21194 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 287943251 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21981/statm: 1339 231 193 169 0 50 0
[pid=21982] ppid=21981 vsize=12400 CPUtime=3.04
/proc/21982/stat : 21982 (pb2clasp1) R 21981 21979 21194 0 -1 4194304 501 0 0 0 303 1 0 0 25 0 1 0 287943252 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215436792748 0 0 4224 0 0 0 0 17 1 0 0
/proc/21982/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 31340

[startup+6.30133 s]
/proc/loadavg: 0.93 0.98 0.98 2/81 21989
/proc/meminfo: memFree=1785872/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13716 CPUtime=5.14
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 938 1593 0 0 4 0 506 4 17 0 1 0 287943247 14045184 796 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3429 796 343 3 0 529 0
[pid=21987] ppid=21979 vsize=5356 CPUtime=0
/proc/21987/stat : 21987 (sh) S 21979 21979 21194 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 287943764 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21987/statm: 1339 225 188 169 0 50 0
[pid=21988] ppid=21987 vsize=2520 CPUtime=0
/proc/21988/stat : 21988 (cat) S 21987 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 287943764 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/21988/statm: 630 87 71 4 0 42 0
[pid=21989] ppid=21987 vsize=21296 CPUtime=1.11
/proc/21989/stat : 21989 (clasp) R 21987 21979 21194 0 -1 4194304 4955 0 0 0 110 1 0 0 25 0 1 0 287943764 21807104 4917 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135088678 0 0 4096 0 0 0 0 17 1 0 0
/proc/21989/statm: 5324 4917 173 154 0 4794 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 42888

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.98 2/81 21997
/proc/meminfo: memFree=1771920/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13852 CPUtime=11.06
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 1145 22277 0 0 15 0 1073 18 16 0 1 0 287943247 14184448 838 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3463 838 343 3 0 563 0
[pid=21995] ppid=21979 vsize=5356 CPUtime=0
/proc/21995/stat : 21995 (sh) S 21979 21979 21194 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 287944355 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21995/statm: 1339 225 188 169 0 50 0
[pid=21996] ppid=21995 vsize=2520 CPUtime=0
/proc/21996/stat : 21996 (cat) S 21995 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 287944356 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/21996/statm: 630 87 71 4 0 42 0
[pid=21997] ppid=21995 vsize=31292 CPUtime=1.6
/proc/21997/stat : 21997 (clasp) R 21995 21979 21194 0 -1 4194304 7461 0 0 0 157 3 0 0 25 0 1 0 287944356 32043008 7390 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 9036227 0 0 4096 0 0 0 0 17 1 0 0
/proc/21997/statm: 7823 7390 173 154 0 7293 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 53020

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.98 2/80 22005
/proc/meminfo: memFree=1645656/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13972 CPUtime=20.19
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 1329 67940 0 0 24 1 1950 44 16 0 1 0 287943247 14307328 844 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3493 844 343 3 0 593 0
[pid=22003] ppid=21979 vsize=5356 CPUtime=0
/proc/22003/stat : 22003 (sh) S 21979 21979 21194 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 287945268 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22003/statm: 1339 225 188 169 0 50 0
[pid=22005] ppid=22003 vsize=164788 CPUtime=5.27
/proc/22005/stat : 22005 (clasp) R 22003 21979 21194 0 -1 4194304 42816 0 0 0 508 19 0 0 25 0 1 0 287945269 168742912 39519 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134656958 0 0 4096 0 0 0 0 17 1 0 0
/proc/22005/statm: 41197 39519 194 154 0 40667 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 184116

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.98 2/81 22029
/proc/meminfo: memFree=1730328/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13972 CPUtime=47.62
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 1803 207768 0 0 51 1 4588 122 16 0 1 0 287943247 14307328 844 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3493 844 343 3 0 593 0
[pid=22027] ppid=21979 vsize=5356 CPUtime=0
/proc/22027/stat : 22027 (sh) S 21979 21979 21194 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 287948013 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22027/statm: 1339 225 188 169 0 50 0
[pid=22028] ppid=22027 vsize=2520 CPUtime=0
/proc/22028/stat : 22028 (cat) S 22027 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 287948013 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22028/statm: 630 87 71 4 0 42 0
[pid=22029] ppid=22027 vsize=93348 CPUtime=3.41
/proc/22029/stat : 22029 (clasp) R 22027 21979 21194 0 -1 4194304 24308 0 0 0 330 11 0 0 25 0 1 0 287948014 95588352 22666 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135020266 0 0 4096 0 0 0 0 17 1 0 0
/proc/22029/statm: 23337 22666 184 154 0 22807 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 115196

[startup+102.305 s]
/proc/loadavg: 1.04 1.00 0.98 2/80 22069
/proc/meminfo: memFree=1619352/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13972 CPUtime=93.86
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 2593 450998 0 0 99 2 9024 261 16 0 1 0 287943247 14307328 844 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3493 844 343 3 0 593 0
[pid=22067] ppid=21979 vsize=5356 CPUtime=0
/proc/22067/stat : 22067 (sh) S 21979 21979 21194 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 287952639 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22067/statm: 1339 225 188 169 0 50 0
[pid=22069] ppid=22067 vsize=174236 CPUtime=8.36
/proc/22069/stat : 22069 (clasp) R 22067 21979 21194 0 -1 4194304 47703 0 0 0 816 20 0 0 25 0 1 0 287952639 178417664 41904 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629605 0 0 4096 0 0 0 0 17 1 0 0
/proc/22069/statm: 43559 41904 196 154 0 43029 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 193564

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 0.98 2/81 22125
/proc/meminfo: memFree=1753416/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13972 CPUtime=159.6
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 3700 797899 0 0 171 3 15332 454 16 0 1 0 287943247 14307328 856 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3493 856 343 3 0 593 0
[pid=22123] ppid=21979 vsize=5356 CPUtime=0
/proc/22123/stat : 22123 (sh) S 21979 21979 21194 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 287959225 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22123/statm: 1339 225 188 169 0 50 0
[pid=22124] ppid=22123 vsize=2520 CPUtime=0
/proc/22124/stat : 22124 (cat) S 22123 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 287959225 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/22124/statm: 630 87 71 4 0 42 0
[pid=22125] ppid=22123 vsize=47076 CPUtime=2.5
/proc/22125/stat : 22125 (clasp) R 22123 21979 21194 0 -1 4194304 11419 0 0 0 244 6 0 0 25 0 1 0 287959225 48205824 11283 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 9043728 0 0 4096 0 0 0 0 17 1 0 0
/proc/22125/statm: 11769 11283 176 154 0 11239 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 68924

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/80 22173
/proc/meminfo: memFree=1634576/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=13972 CPUtime=216.85
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 4687 1095900 0 0 236 4 20823 622 16 0 1 0 287943247 14307328 869 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3493 869 343 3 0 593 0
[pid=22171] ppid=21979 vsize=5356 CPUtime=0
/proc/22171/stat : 22171 (sh) S 21979 21979 21194 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 287964960 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22171/statm: 1339 225 188 169 0 50 0
[pid=22173] ppid=22171 vsize=164992 CPUtime=5.14
/proc/22173/stat : 22173 (clasp) R 22171 21979 21194 0 -1 4194304 44651 0 0 0 493 21 0 0 25 0 1 0 287964960 168951808 39757 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/22173/statm: 41248 39758 194 154 0 40718 0

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

/proc/23158/stat : 23158 (cat) S 23157 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288097290 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23158/statm: 630 87 71 4 0 42 0
[pid=23159] ppid=23157 vsize=36148 CPUtime=1.85
/proc/23159/stat : 23159 (clasp) R 23157 21979 21194 0 -1 4194304 8701 0 0 0 182 3 0 0 25 0 1 0 288097290 37015552 8630 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134937334 0 0 4096 0 0 0 0 17 1 0 0
/proc/23159/statm: 9037 8630 173 154 0 8507 0
Current children cumulated CPU time (s) 1540.78
Current children cumulated vsize (KiB) 58152

[startup+1602.3 s]
/proc/loadavg: 1.04 1.12 1.06 2/81 23199
/proc/meminfo: memFree=1739792/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=14284 CPUtime=1597.44
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 28354 8917249 0 0 2676 27 152125 4916 16 0 1 0 287943247 14626816 926 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3571 926 343 3 0 671 0
[pid=23197] ppid=21979 vsize=5356 CPUtime=0
/proc/23197/stat : 23197 (sh) S 21979 21979 21194 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288103144 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23197/statm: 1339 225 188 169 0 50 0
[pid=23198] ppid=23197 vsize=2520 CPUtime=0
/proc/23198/stat : 23198 (cat) S 23197 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288103145 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23198/statm: 630 87 71 4 0 42 0
[pid=23199] ppid=23197 vsize=94972 CPUtime=3.3
/proc/23199/stat : 23199 (clasp) R 23197 21979 21194 0 -1 4194304 23560 0 0 0 320 10 0 0 25 0 1 0 288103145 97251328 22783 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/23199/statm: 23743 22784 184 154 0 23213 0
Current children cumulated CPU time (s) 1600.74
Current children cumulated vsize (KiB) 117132

[startup+1662.3 s]
/proc/loadavg: 1.16 1.14 1.07 2/81 23239
/proc/meminfo: memFree=1656968/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=14284 CPUtime=1656.29
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 29374 9270199 0 0 2812 28 157689 5100 16 0 1 0 287943247 14626816 926 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3571 926 343 3 0 671 0
[pid=23237] ppid=21979 vsize=5356 CPUtime=0
/proc/23237/stat : 23237 (sh) S 21979 21979 21194 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288109041 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23237/statm: 1339 225 188 169 0 50 0
[pid=23238] ppid=23237 vsize=2520 CPUtime=0
/proc/23238/stat : 23238 (cat) S 23237 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288109042 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23238/statm: 630 87 71 4 0 42 0
[pid=23239] ppid=23237 vsize=131128 CPUtime=4.33
/proc/23239/stat : 23239 (clasp) R 23237 21979 21194 0 -1 4194304 34113 0 0 0 417 16 0 0 25 0 1 0 288109042 134275072 32280 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135031377 0 0 4096 0 0 0 0 17 1 0 0
/proc/23239/statm: 32782 32280 184 154 0 32252 0
Current children cumulated CPU time (s) 1660.62
Current children cumulated vsize (KiB) 153288

[startup+1722.3 s]
/proc/loadavg: 1.06 1.11 1.06 2/81 23279
/proc/meminfo: memFree=1655368/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=14284 CPUtime=1715.47
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 30422 9636861 0 0 2953 29 163267 5298 16 0 1 0 287943247 14626816 926 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3571 926 343 3 0 671 0
[pid=23277] ppid=21979 vsize=5356 CPUtime=0.01
/proc/23277/stat : 23277 (sh) S 21979 21979 21194 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 288114962 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23277/statm: 1339 225 188 169 0 50 0
[pid=23279] ppid=23277 vsize=174200 CPUtime=5.13
/proc/23279/stat : 23279 (clasp) R 23277 21979 21194 0 -1 4194304 47111 0 0 0 491 22 0 0 25 0 1 0 288114962 178380800 39004 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134757422 0 0 4096 0 0 0 0 17 1 0 0
/proc/23279/statm: 43550 39006 189 154 0 43020 0
Current children cumulated CPU time (s) 1720.61
Current children cumulated vsize (KiB) 193840

[startup+1782.3 s]
/proc/loadavg: 1.02 1.09 1.05 3/80 23319
/proc/meminfo: memFree=1607440/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=14284 CPUtime=1774.96
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 31482 10005524 0 0 3097 31 168867 5501 16 0 1 0 287943247 14626816 927 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3571 927 343 3 0 671 0
[pid=23317] ppid=21979 vsize=5356 CPUtime=0
/proc/23317/stat : 23317 (sh) S 21979 21979 21194 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 288120913 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23317/statm: 1339 225 188 169 0 50 0
[pid=23319] ppid=23317 vsize=217452 CPUtime=5.62
/proc/23319/stat : 23319 (clasp) R 23317 21979 21194 0 -1 4194304 59590 0 0 0 537 25 0 0 25 0 1 0 288120913 222670848 51487 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/23319/statm: 54363 51487 194 154 0 53833 0
Current children cumulated CPU time (s) 1780.58
Current children cumulated vsize (KiB) 237092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.81 s]
/proc/loadavg: 1.01 1.08 1.05 2/81 23335
/proc/meminfo: memFree=1763032/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=14284 CPUtime=1798.86
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 31922 10154522 0 0 3156 31 171116 5583 17 0 1 0 287943247 14626816 927 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3571 927 343 3 0 671 0
[pid=23333] ppid=21979 vsize=5356 CPUtime=0
/proc/23333/stat : 23333 (sh) S 21979 21979 21194 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288123303 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23333/statm: 1339 225 188 169 0 50 0
[pid=23334] ppid=23333 vsize=2520 CPUtime=0
/proc/23334/stat : 23334 (cat) S 23333 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288123303 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23334/statm: 630 87 71 4 0 42 0
[pid=23335] ppid=23333 vsize=23248 CPUtime=1.23
/proc/23335/stat : 23335 (clasp) R 23333 21979 21194 0 -1 4194304 5465 0 0 0 120 3 0 0 25 0 1 0 288123303 23805952 5427 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 1 0 0
/proc/23335/statm: 5812 5427 173 154 0 5282 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 45408

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1803 s]
/proc/loadavg: 1.01 1.08 1.05 2/82 23346
/proc/meminfo: memFree=1768848/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=14284 CPUtime=1800.14
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 32128 10161788 0 0 3156 31 171237 5590 16 0 1 0 287943247 14626816 927 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3571 927 343 3 0 671 0
[pid=23344] ppid=21979 vsize=5356 CPUtime=0
/proc/23344/stat : 23344 (sh) S 21979 21979 21194 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288123432 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23344/statm: 1339 225 188 169 0 50 0
[pid=23345] ppid=23344 vsize=2520 CPUtime=0
/proc/23345/stat : 23345 (cat) S 23344 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288123432 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23345/statm: 630 87 71 4 0 42 0
[pid=23346] ppid=23344 vsize=21296 CPUtime=1.13
/proc/23346/stat : 23346 (clasp) R 23344 21979 21194 0 -1 4194304 4984 0 0 0 111 2 0 0 25 0 1 0 288123432 21807104 4946 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134932704 0 0 4096 0 0 0 0 17 1 0 0
/proc/23346/statm: 5324 4946 173 154 0 4794 0
Current children cumulated CPU time (s) 1801.27
Current children cumulated vsize (KiB) 43456

[startup+1803.4 s]
/proc/loadavg: 1.01 1.08 1.05 2/82 23346
/proc/meminfo: memFree=1768848/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=14284 CPUtime=1800.14
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 32128 10161788 0 0 3156 31 171237 5590 16 0 1 0 287943247 14626816 927 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3571 927 343 3 0 671 0
[pid=23344] ppid=21979 vsize=5356 CPUtime=0
/proc/23344/stat : 23344 (sh) S 21979 21979 21194 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288123432 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23344/statm: 1339 225 188 169 0 50 0
[pid=23345] ppid=23344 vsize=2520 CPUtime=0
/proc/23345/stat : 23345 (cat) S 23344 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288123432 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23345/statm: 630 87 71 4 0 42 0
[pid=23346] ppid=23344 vsize=29540 CPUtime=1.53
/proc/23346/stat : 23346 (clasp) R 23344 21979 21194 0 -1 4194304 7041 0 0 0 150 3 0 0 25 0 1 0 288123432 30248960 6970 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134933988 0 0 4096 0 0 0 0 17 1 0 0
/proc/23346/statm: 7385 6970 173 154 0 6855 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 51700

[startup+1803.8 s]
/proc/loadavg: 1.01 1.08 1.05 2/82 23346
/proc/meminfo: memFree=1768848/2055920 swapFree=4145492/4192956
[pid=21979] ppid=21977 vsize=14284 CPUtime=1800.14
/proc/21979/stat : 21979 (pbclasp) S 21977 21979 21194 0 -1 4194304 32128 10161788 0 0 3156 31 171237 5590 16 0 1 0 287943247 14626816 927 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/21979/statm: 3571 927 343 3 0 671 0
[pid=23344] ppid=21979 vsize=5356 CPUtime=0
/proc/23344/stat : 23344 (sh) S 21979 21979 21194 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288123432 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23344/statm: 1339 225 188 169 0 50 0
[pid=23345] ppid=23344 vsize=2520 CPUtime=0
/proc/23345/stat : 23345 (cat) S 23344 21979 21194 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288123432 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23345/statm: 630 87 71 4 0 42 0
[pid=23346] ppid=23344 vsize=37668 CPUtime=1.93
/proc/23346/stat : 23346 (clasp) R 23344 21979 21194 0 -1 4194304 9087 0 0 0 189 4 0 0 25 0 1 0 288123432 38572032 9016 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 9085912 0 0 4096 0 0 0 0 17 1 0 0
/proc/23346/statm: 9417 9016 173 154 0 8887 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 59828

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21979 and gives
#  childrusage.ru_utime.tv_sec=1743
#  childrusage.ru_utime.tv_usec=941880
#  childrusage.ru_stime.tv_sec=56
#  childrusage.ru_stime.tv_usec=229451
# CPU time returned by wait4() is 1800.17
# while last known CPU time is 1802.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1803.83
CPU time (s): 1802.07
CPU user time (s): 1745.82
CPU system time (s): 56.25
CPU usage (%): 99.9023
Max. virtual memory (cumulated for all children) (KiB): 283304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.94
system time used= 56.2295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10194726
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= 138492
involuntary context switches= 117038

runsolver used 1.65975 second user time and 4.93425 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Wed May  2 15:17:35 UTC 2007

IDJOB= 453130
IDBENCH= 48110
IDSOLVER= 158
FILE ID= node9/453130-1178119055

PBS_JOBID= 4751017

Free space on /tmp= 66563 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_1.opb
COMMAND LINE= pbclasp instance-453130-1178119055.opb /tmp/evaluation/453130-1178119055/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-453130-1178119055 -o ROOT/results/node9/conversion-453130-1178119055 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453130-1178119055/instance-453130-1178119055.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-453130-1178119055 -o ROOT/results/node9/solver-453130-1178119055 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-453130-1178119055.opb /tmp/evaluation/453130-1178119055/temp

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  0c93b84d697c3c1b68cbcf423dabc710

RANDOM SEED= 268903652

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1796104 kB
Buffers:         64848 kB
Cached:         102876 kB
SwapCached:      15400 kB
Active:         135940 kB
Inactive:        57448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1796104 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            3488 kB
Writeback:           0 kB
Mapped:          32304 kB
Slab:            51972 kB
Committed_AS:  8628180 kB
PageTables:       1788 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= 66555 MiB

End job on node9 on Wed May  2 15:47:41 UTC 2007