Trace number 453100

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.01 1803.33

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_4.opb
MD5SUMca18e0f90c225db0db25139874012827
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark1800.34
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
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 constraint61
Maximum length of a constraint108
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)75484
Sum of products size (including duplicates)150968
Number of different products75484
Sum of products size150968

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)

25.86/25.92	o 997
39.74/39.84	o 996
53.79/53.92	o 995
67.77/67.98	o 994
81.87/82.04	o 993
95.96/96.15	o 992
110.16/110.35	o 991
124.34/124.53	o 990
138.53/138.74	o 989
152.83/153.02	o 988
167.15/167.33	o 987
181.44/181.65	o 986
195.85/196.04	o 985
210.22/210.48	o 984
224.75/224.90	o 983
239.12/239.36	o 982
253.74/253.90	o 981
268.21/268.46	o 980
282.70/282.99	o 979
297.30/297.56	o 978
311.94/312.26	o 977
326.52/326.89	o 976
341.23/341.55	o 975
355.92/356.27	o 974
370.71/371.06	o 973
385.52/385.84	o 972
400.31/400.64	o 971
415.22/415.50	o 970
430.05/430.46	o 969
444.98/445.35	o 968
459.85/460.28	o 967
474.84/475.29	o 966
489.95/490.32	o 965
504.94/505.36	o 964
520.04/520.41	o 963
535.13/535.53	o 962
550.19/550.69	o 961
565.42/565.82	o 960
580.49/580.99	o 959
595.71/596.18	o 958
611.01/611.46	o 957
626.30/626.75	o 956
641.59/642.06	o 955
656.98/657.42	o 954
672.37/672.83	o 953
687.77/688.25	o 952
703.16/703.66	o 951
718.65/719.14	o 950
734.16/734.68	o 949
749.77/750.27	o 948
765.36/765.84	o 947
780.85/781.38	o 946
796.57/797.10	o 945
812.14/812.79	o 944
827.85/828.49	o 943
843.54/844.17	o 942
859.34/859.94	o 941
875.13/875.78	o 940
891.04/891.63	o 939
906.92/907.52	o 938
922.80/923.42	o 937
938.70/939.36	o 936
954.59/955.29	o 935
970.59/971.30	o 934
986.66/987.41	o 933
1002.62/1003.49	o 932
1018.71/1019.55	o 931
1034.80/1035.68	o 930
1050.99/1051.85	o 929
1067.18/1068.09	o 928
1083.38/1084.27	o 927
1099.66/1100.50	o 926
1115.86/1116.78	o 925
1132.24/1133.11	o 924
1148.55/1149.47	o 923
1164.84/1165.80	o 922
1181.23/1182.18	o 921
1197.73/1198.61	o 920
1214.11/1215.08	o 919
1230.61/1231.53	o 918
1247.11/1248.01	o 917
1263.59/1264.53	o 916
1280.09/1281.08	o 915
1296.71/1297.75	o 914
1313.30/1314.36	o 913
1329.99/1331.04	o 912
1346.59/1347.68	o 911
1363.28/1364.37	o 910
1379.99/1381.06	o 909
1396.78/1397.81	o 908
1413.57/1414.63	o 907
1430.36/1431.45	o 906
1447.26/1448.32	o 905
1464.15/1465.25	o 904
1481.04/1482.13	o 903
1498.03/1499.10	o 902
1514.97/1516.16	o 901
1532.07/1533.23	o 900
1549.17/1550.30	o 899
1566.15/1567.34	o 898
1583.24/1584.46	o 897
1600.33/1601.58	o 896
1617.52/1618.74	o 895
1634.70/1635.94	o 894
1651.90/1653.17	o 893
1669.21/1670.42	o 892
1686.40/1687.69	o 891
1703.78/1705.00	o 890
1721.09/1722.35	o 889
1738.38/1739.67	o 888
1755.77/1757.06	o 887
1773.26/1774.53	o 886
1790.67/1791.98	o 885
1800.04/1801.31	c Somebody sent me a SIGTERM
1800.04/1801.31	s SATISFIABLE
1800.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	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.04/1801.31	v x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728
1800.04/1801.31	v x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754
1800.04/1801.31	v x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780
1800.04/1801.31	v x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806
1800.04/1801.31	v x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 x826 x827 x828 x829 x830 x831 x832
1800.04/1801.31	v x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858
1800.04/1801.31	v x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884
1800.04/1801.31	v x885 x886 x1182 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1198 x1199 x1201 x1203 x1204
1800.04/1801.31	v x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 x1223 x1224 x1225 x1226
1800.04/1801.31	v x1227 x1228 x1229 x1230 x1231 x1232 x1233 x1234 x1235 x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248
1800.04/1801.31	v x1249 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x69484
1800.04/1801.31	v x69485 x69486 x69487 x69488 x69489 x69490 x69491 x69492 x69493 x69494 x69495 x69496 x69497 x69498 x69499 x69500 x69501
1800.04/1801.31	v x69502 x69503 x69504 x69505 x69506 x69507 x69508 x69509 x69510 x69511 x69512 x69513 x69514 x69515 x69516 x69517 x69518
1800.04/1801.31	v x69519 x69520 x69521 x69522 x69523 x69524 x69525 x69526 x69527 x69528 x69529 x69530 x69531 x69532 x69533 x69534 x69535
1800.04/1801.31	v x69536 x69537 x69549 x69550 x69551 x69552 x69553 x69554 x69555 x69556 x69557 x69558 x69559 x69560 x69561 x69562 x69563
1800.04/1801.31	v x69564 x69565 x69566 x69567 x69568 x69569 x69570 x69571 x69572 x69573 x69574 x69575 x69576 x69577 x69578 x69579 x69580
1800.04/1801.31	v x69581 x69582 x69583 x69584 x69585 x69586 x69587 x69588 x69589 x69590 x69591 x69592 x69593 x69594 x69595 x69596 x69597
1800.04/1801.31	v x69598 x69599 x69600 x69601 x69602 x69603 x69604 x69605 x69612 x69613 x69614 x69615 x69616 x69617 x69618 x69619 x69620
1800.04/1801.31	v x69621 x69622 x69623 x69624 x69625 x69626 x69627 x69628 x69629 x69630 x69631 x69632 x69633 x69634 x69635 x69636 x69637
1800.04/1801.31	v x69638 x69639 x69640 x69641 x69642 x69643 x69644 x69645 x69646 x69647 x69648 x69649 x69650 x69651 x69652 x69653 x69654
1800.04/1801.31	v x69655 x69656 x69657 x69658 x69659 x69660 x69661 x69662 x69663 x69664 x69665 x69666 x69667 x69668 x69669 x69674 x69675
1800.04/1801.31	v x69676 x69677 x69678 x69679 x69680 x69681 x69682 x69683 x69684 x69685 x69686 x69687 x69688 x69689 x69690 x69691 x69692
1800.04/1801.31	v x69693 x69694 x69695 x69696 x69697 x69698 x69699 x69700 x69701 x69702 x69703 x69704 x69705 x69706 x69707 x69708 x69709
1800.04/1801.31	v x69710 x69711 x69712 x69713 x69714 x69715 x69716 x69717 x69718 x69719 x69720 x69721 x69722 x69723 x69724 x69725 x69726
1800.04/1801.31	v x69727 x69728 x69729 x69736 x69737 x69738 x69739 x69740 x69741 x69742 x69743 x69744 x69745 x69746 x69747 x69748 x69749
1800.04/1801.31	v x69750 x69751 x69752 x69753 x69754 x69755 x69756 x69757 x69758 x69759 x69760 x69761 x69762 x69763 x69764 x69765 x69766
1800.04/1801.31	v x69767 x69768 x69769 x69770 x69771 x69772 x69773 x69774 x69775 x69776 x69777 x69778 x69779 x69780 x69781 x69782 x69783
1800.04/1801.31	v x69784 x69785 x69786 x69787 x69788 x69789 x69790 x69791 x69792 x69793 x69794 x69800 x69801 x69802 x69803 x69804 x69805
1800.04/1801.31	v x69806 x69807 x69808 x69809 x69810 x69811 x69812 x69813 x69814 x69815 x69816 x69817 x69818 x69819 x69820 x69821 x69822
1800.04/1801.31	v x69823 x69824 x69825 x69826 x69827 x69828 x69829 x69830 x69831 x69832 x69833 x69834 x69835 x69836 x69837 x69838 x69839
1800.04/1801.31	v x69840 x69841 x69842 x69843 x69844 x69845 x69846 x69847 x69848 x69849 x69850 x69851 x69852 x69853 x69854 x69855 x69856
1800.04/1801.31	v x69863 x69864 x69865 x69866 x69867 x69868 x69869 x69870 x69871 x69872 x69873 x69874 x69875 x69876 x69877 x69878 x69879
1800.04/1801.31	v x69880 x69881 x69882 x69883 x69884 x69885 x69886 x69887 x69888 x69889 x69890 x69891 x69892 x69893 x69894 x69895 x69896
1800.04/1801.31	v x69897 x69898 x69899 x69900 x69901 x69902 x69903 x69904 x69905 x69906 x69907 x69908 x69909 x69910 x69911 x69912 x69913
1800.04/1801.31	v x69914 x69915 x69916 x69917 x69918 x69919 x69920 x69927 x69928 x69929 x69930 x69931 x69932 x69933 x69934 x69935 x69936
1800.04/1801.31	v x69937 x69938 x69939 x69940 x69941 x69942 x69943 x69944 x69945 x69946 x69947 x69948 x69949 x69950 x69951 x69952 x69953
1800.04/1801.31	v x69954 x69955 x69956 x69957 x69958 x69959 x69960 x69961 x69962 x69963 x69964 x69965 x69966 x69967 x69968 x69969 x69970
1800.04/1801.31	v x69971 x69972 x69973 x69974 x69975 x69976 x69977 x69978 x69979 x69980 x69981 x69982 x69989 x69990 x69991 x69992 x69993
1800.04/1801.31	v x69994 x69995 x69996 x69997 x69998 x69999 x70000 x70001 x70002 x70003 x70004 x70005 x70006 x70007 x70008 x70009 x70010
1800.04/1801.31	v x70011 x70012 x70013 x70014 x70015 x70016 x70017 x70018 x70019 x70020 x70021 x70022 x70023 x70024 x70025 x70026 x70027
1800.04/1801.31	v x70028 x70029 x70030 x70031 x70032 x70033 x70034 x70035 x70036 x70037 x70038 x70039 x70040 x70041 x70042 x70043 x70044
1800.04/1801.31	v x70045 x70046 x70047 x70055 x70056 x70057 x70058 x70059 x70060 x70061 x70062 x70063 x70064 x70065 x70066 x70067 x70068
1800.04/1801.31	v x70069 x70070 x70071 x70072 x70073 x70074 x70075 x70076 x70077 x70078 x70079 x70080 x70081 x70082 x70083 x70084 x70085
1800.04/1801.31	v x70086 x70087 x70088 x70089 x70090 x70091 x70092 x70093 x70094 x70095 x70096 x70097 x70098 x70099 x70100 x70101 x70102
1800.04/1801.31	v x70103 x70104 x70105 x70106 x70107 x70108 x70109 x70116 x70117 x70118 x70119 x70120 x70121 x70122 x70123 x70124 x70125
1800.04/1801.31	v x70126 x70127 x70128 x70129 x70130 x70131 x70132 x70133 x70134 x70135 x70136 x70137 x70138 x70139 x70140 x70141 x70142
1800.04/1801.31	v x70143 x70144 x70145 x70146 x70147 x70148 x70149 x70150 x70151 x70152 x70153 x70154 x70155 x70156 x70157 x70158 x70159
1800.04/1801.31	v x70160 x70161 x70162 x70163 x70164 x70165 x70166 x70167 x70168 x70169 x70170 x70171 x70172 x70178 x70179 x70180 x70181
1800.04/1801.31	v x70182 x70183 x70184 x70185 x70186 x70187 x70188 x70189 x70190 x70191 x70192 x70193 x70194 x70195 x70196 x70197 x70198
1800.04/1801.31	v x70199 x70200 x70201 x70202 x70203 x70204 x70205 x70206 x70207 x70208 x70209 x70210 x70211 x70212 x70213 x70214 x70215
1800.04/1801.31	v x70216 x70217 x70218 x70219 x70220 x70221 x70222 x70223 x70224 x70225 x70226 x70227 x70228 x70229 x70230 x70231 x70232
1800.04/1801.31	v x70233 x70241 x70242 x70243 x70244 x70245 x70246 x70247 x70248 x70249 x70250 x70251 x70252 x70253 x70254 x70255 x70256
1800.04/1801.31	v x70257 x70258 x70259 x70260 x70261 x70262 x70263 x70264 x70265 x70266 x70267 x70268 x70269 x70270 x70271 x70272 x70273
1800.04/1801.31	v x70274 x70275 x70276 x70277 x70278 x70279 x70280 x70281 x70282 x70283 x70284 x70285 x70286 x70287 x70288 x70289 x70290
1800.04/1801.31	v x70291 x70292 x70293 x70294 x70295 x70296 x70297 x70302 x70303 x70304 x70305 x70306 x70307 x70308 x70309 x70310 x70311
1800.04/1801.31	v x70312 x70313 x70314 x70315 x70316 x70317 x70318 x70319 x70320 x70321 x70322 x70323 x70324 x70325 x70326 x70327 x70328
1800.04/1801.31	v x70329 x70330 x70331 x70332 x70333 x70334 x70335 x70336 x70337 x70338 x70339 x70340 x70341 x70342 x70343 x70344 x70345
1800.04/1801.31	v x70346 x70347 x70348 x70349 x70350 x70351 x70352 x70353 x70354 x70355 x70356 x70357 x70358 x70364 x70365 x70366 x70367
1800.04/1801.31	v x70368 x70369 x70370 x70371 x70372 x70373 x70374 x70375 x70376 x70377 x70378 x70379 x70380 x70381 x70382 x70383 x70384
1800.04/1801.31	v x70385 x70386 x70387 x70388 x70389 x70390 x70391 x70392 x70393 x70394 x70395 x70396 x70397 x70398 x70399 x70400 x70401
1800.04/1801.31	v x70402 x70403 x70404 x70405 x70406 x70407 x70408 x70409 x70410 x70411 x70412 x70413 x70414 x70415 x70416 x70417 x70418
1800.04/1801.31	v x70419 x70420 x70421 x70429 x70430 x70431 x70432 x70433 x70434 x70435 x70436 x70437 x70438 x70439 x70440 x70441 x70442
1800.04/1801.31	v x70443 x70444 x70445 x70446 x70447 x70448 x70449 x70450 x70451 x70452 x70453 x70454 x70455 x70456 x70457 x70458 x70459
1800.04/1801.31	v x70460 x70461 x70462 x70463 x70464 x70465 x70466 x70467 x70468 x70469 x70470 x70471 x70472 x70473 x70474 x70475 x70476
1800.04/1801.31	v x70477 x70478 x70479 x70480 x70481 x70482 x70483 x70484 x70485 x70486 x70487 x70489 x70490 x70491 x70492 x70493 x70494
1800.04/1801.31	v x70495 x70496 x70497 x70498 x70499 x70500 x70501 x70502 x70503 x70504 x70505 x70506 x70507 x70508 x70509 x70510 x70511
1800.04/1801.31	v x70512 x70513 x70514 x70515 x70516 x70517 x70518 x70519 x70520 x70521 x70522 x70523 x70524 x70525 x70526 x70527 x70528
1800.04/1801.31	v x70529 x70530 x70531 x70532 x70533 x70534 x70535 x70536 x70537 x70538 x70539 x70540 x70541 x70542 x70543 x70544 x70545
1800.04/1801.31	v x70549 x70550 x70551 x70552 x70553 x70554 x70555 x70556 x70557 x70558 x70559 x70560 x70561 x70562 x70563 x70564 x70565
1800.04/1801.31	v x70566 x70567 x70568 x70569 x70570 x70571 x70572 x70573 x70574 x70575 x70576 x70577 x70578 x70579 x70580 x70581 x70582
1800.04/1801.31	v x70583 x70584 x70585 x70586 x70587 x70588 x70589 x70590 x70591 x70592 x70593 x70594 x70595 x70596 x70597 x70598 x70599
1800.04/1801.31	v x70600 x70601 x70602 x70603 x70612 x70613 x70614 x70615 x70616 x70617 x70618 x70619 x70620 x70621 x70622 x70623 x70624
1800.04/1801.31	v x70625 x70626 x70627 x70628 x70629 x70630 x70631 x70632 x70633 x70634 x70635 x70636 x70637 x70638 x70639 x70640 x70641
1800.04/1801.31	v x70642 x70643 x70644 x70645 x70646 x70647 x70648 x70649 x70650 x70651 x70652 x70653 x70654 x70655 x70656 x70657 x70658
1800.04/1801.31	v x70659 x70660 x70661 x70662 x70663 x70664 x70665 x70666 x70667 x70668 x70669 x70670 x70671 x70674 x70675 x70676 x70677
1800.04/1801.31	v x70678 x70679 x70680 x70681 x70682 x70683 x70684 x70685 x70686 x70687 x70688 x70689 x70690 x70691 x70692 x70693 x70694
1800.04/1801.31	v x70695 x70696 x70697 x70698 x70699 x70700 x70701 x70702 x70703 x70704 x70705 x70706 x70707 x70708 x70709 x70710 x70711
1800.04/1801.31	v x70712 x70713 x70714 x70715 x70716 x70717 x70718 x70719 x70720 x70721 x70722 x70723 x70724 x70725 x70726 x70727 x70728
1800.04/1801.31	v x70729 x70737 x70738 x70739 x70740 x70741 x70742 x70743 x70744 x70745 x70746 x70747 x70748 x70749 x70750 x70751 x70752
1800.04/1801.31	v x70753 x70754 x70755 x70756 x70757 x70758 x70759 x70760 x70761 x70762 x70763 x70764 x70765 x70766 x70767 x70768 x70769
1800.04/1801.31	v x70770 x70771 x70772 x70773 x70774 x70775 x70776 x70777 x70778 x70779 x70780 x70781 x70782 x70783 x70784 x70785 x70786
1800.04/1801.31	v x70787 x70788 x70789 x70790 x70791 x70792 x70793 x70794 x70798 x70799 x70800 x70801 x70802 x70803 x70804 x70805 x70806
1800.04/1801.31	v x70807 x70808 x70809 x70810 x70811 x70812 x70813 x70814 x70815 x70816 x70817 x70818 x70819 x70820 x70821 x70822 x70823
1800.04/1801.31	v x70824 x70825 x70826 x70827 x70828 x70829 x70830 x70831 x70832 x70833 x70834 x70835 x70836 x70837 x70838 x70839 x70840
1800.04/1801.31	v x70841 x70842 x70843 x70844 x70845 x70846 x70847 x70848 x70849 x70850 x70851 x70852 x70853 x70854 x70855 x70856 x70858
1800.04/1801.31	v x70859 x70860 x70861 x70862 x70863 x70864 x70865 x70866 x70867 x70868 x70869 x70870 x70871 x70872 x70873 x70874 x70875
1800.04/1801.31	v x70876 x70877 x70878 x70879 x70880 x70881 x70882 x70883 x70884 x70885 x70886 x70887 x70888 x70889 x70890 x70891 x70892
1800.04/1801.31	v x70893 x70894 x70895 x70896 x70897 x70898 x70899 x70900 x70901 x70902 x70903 x70904 x70905 x70906 x70907 x70908 x70909
1800.04/1801.31	v x70910 x70911 x70912 x70913 x70914 x70915 x70921 x70922 x70923 x70924 x70925 x70926 x70927 x70928 x70929 x70930 x70931
1800.04/1801.31	v x70932 x70933 x70934 x70935 x70936 x70937 x70938 x70939 x70940 x70941 x70942 x70943 x70944 x70945 x70946 x70947 x70948
1800.04/1801.31	v x70949 x70950 x70951 x70952 x70953 x70954 x70955 x70956 x70957 x70958 x70959 x70960 x70961 x70962 x70963 x70964 x70965
1800.04/1801.31	v x70966 x70967 x70968 x70969 x70970 x70971 x70972 x70973 x70974 x70975 x70976 x70982 x70983 x70984 x70985 x70986 x70987
1800.04/1801.31	v x70988 x70989 x70990 x70991 x70992 x70993 x70994 x70995 x70996 x70997 x70998 x70999 x71000 x71001 x71002 x71003 x71004
1800.04/1801.31	v x71005 x71006 x71007 x71008 x71009 x71010 x71011 x71012 x71013 x71014 x71015 x71016 x71017 x71018 x71019 x71020 x71021
1800.04/1801.31	v x71022 x71023 x71024 x71025 x71026 x71027 x71028 x71029 x71030 x71031 x71032 x71033 x71034 x71035 x71036 x71037 x71038
1800.04/1801.31	v x71039 x71047 x71048 x71049 x71050 x71051 x71052 x71053 x71054 x71055 x71056 x71057 x71058 x71059 x71060 x71061 x71062
1800.04/1801.31	v x71063 x71064 x71065 x71066 x71067 x71068 x71069 x71070 x71071 x71072 x71073 x71074 x71075 x71076 x71077 x71078 x71079
1800.04/1801.31	v x71080 x71081 x71082 x71083 x71084 x71085 x71086 x71087 x71088 x71089 x71090 x71091 x71092 x71093 x71094 x71095 x71096
1800.04/1801.31	v x71097 x71098 x71099 x71100 x71101 x71102 x71103 x71104 x71108 x71109 x71110 x71111 x71112 x71113 x71114 x71115 x71116
1800.04/1801.31	v x71117 x71118 x71119 x71120 x71121 x71122 x71123 x71124 x71125 x71126 x71127 x71128 x71129 x71130 x71131 x71132 x71133
1800.04/1801.31	v x71134 x71135 x71136 x71137 x71138 x71139 x71140 x71141 x71142 x71143 x71144 x71145 x71146 x71147 x71148 x71149 x71150
1800.04/1801.31	v x71151 x71152 x71153 x71154 x71155 x71156 x71157 x71158 x71159 x71160 x71161 x71162 x71163 x71170 x71171 x71172 x71173
1800.04/1801.31	v x71174 x71175 x71176 x71177 x71178 x71179 x71180 x71181 x71182 x71183 x71184 x71185 x71186 x71187 x71188 x71189 x71190
1800.04/1801.31	v x71191 x71192 x71193 x71194 x71195 x71196 x71197 x71198 x71199 x71200 x71201 x71202 x71203 x71204 x71205 x71206 x71207
1800.04/1801.31	v x71208 x71209 x71210 x71211 x71212 x71213 x71214 x71215 x71216 x71217 x71218 x71219 x71220 x71221 x71222 x71223 x71224
1800.04/1801.31	v x71225 x71226 x71227 x71232 x71233 x71234 x71235 x71236 x71237 x71238 x71239 x71240 x71241 x71242 x71243 x71244 x71245
1800.04/1801.31	v x71246 x71247 x71248 x71249 x71250 x71251 x71252 x71253 x71254 x71255 x71256 x71257 x71258 x71259 x71260 x71261 x71262
1800.04/1801.31	v x71263 x71264 x71265 x71266 x71267 x71268 x71269 x71270 x71271 x71272 x71273 x71274 x71275 x71276 x71277 x71278 x71279
1800.04/1801.31	v x71280 x71281 x71282 x71283 x71284 x71285 x71286 x71287 x71288 x71294 x71295 x71296 x71297 x71298 x71299 x71300 x71301
1800.04/1801.31	v x71302 x71303 x71304 x71305 x71306 x71307 x71308 x71309 x71310 x71311 x71312 x71313 x71314 x71315 x71316 x71317 x71318
1800.04/1801.31	v x71319 x71320 x71321 x71322 x71323 x71324 x71325 x71326 x71327 x71328 x71329 x71330 x71331 x71332 x71333 x71334 x71335
1800.04/1801.31	v x71336 x71337 x71338 x71339 x71340 x71341 x71342 x71343 x71344 x71345 x71346 x71347 x71348 x71349 x71350 x71351 x71357
1800.04/1801.31	v x71358 x71359 x71360 x71361 x71362 x71363 x71364 x71365 x71366 x71367 x71368 x71369 x71370 x71371 x71372 x71373 x71374
1800.04/1801.31	v x71375 x71376 x71377 x71378 x71379 x71380 x71381 x71382 x71383 x71384 x71385 x71386 x71387 x71388 x71389 x71390 x71391
1800.04/1801.31	v x71392 x71393 x71394 x71395 x71396 x71397 x71398 x71399 x71400 x71401 x71402 x71403 x71404 x71405 x71406 x71407 x71408
1800.04/1801.31	v x71409 x71410 x71411 x71418 x71419 x71420 x71421 x71422 x71423 x71424 x71425 x71426 x71427 x71428 x71429 x71430 x71431
1800.04/1801.31	v x71432 x71433 x71434 x71435 x71436 x71437 x71438 x71439 x71440 x71441 x71442 x71443 x71444 x71445 x71446 x71447 x71448
1800.04/1801.31	v x71449 x71450 x71451 x71452 x71453 x71454 x71455 x71456 x71457 x71458 x71459 x71460 x71461 x71462 x71463 x71464 x71465
1800.04/1801.31	v x71466 x71467 x71468 x71469 x71470 x71471 x71472 x71473 x71474 x71482 x71483 x71484 x71485 x71486 x71487 x71488 x71489
1800.04/1801.31	v x71490 x71491 x71492 x71493 x71494 x71495 x71496 x71497 x71498 x71499 x71500 x71501 x71502 x71503 x71504 x71505 x71506
1800.04/1801.31	v x71507 x71508 x71509 x71510 x71511 x71512 x71513 x71514 x71515 x71516 x71517 x71518 x71519 x71520 x71521 x71522 x71523
1800.04/1801.31	v x71524 x71525 x71526 x71527 x71528 x71529 x71530 x71531 x71532 x71533 x71534 x71535 x71536 x71537 x71543 x71544 x71545
1800.04/1801.31	v x71546 x71547 x71548 x71549 x71550 x71551 x71552 x71553 x71554 x71555 x71556 x71557 x71558 x71559 x71560 x71561 x71562
1800.04/1801.31	v x71563 x71564 x71565 x71566 x71567 x71568 x71569 x71570 x71571 x71572 x71573 x71574 x71575 x71576 x71577 x71578 x71579
1800.04/1801.31	v x71580 x71581 x71582 x71583 x71584 x71585 x71586 x71587 x71588 x71589 x71590 x71591 x71592 x71593 x71594 x71595 x71596
1800.04/1801.31	v x71597 x71598 x71604 x71605 x71606 x71607 x71608 x71609 x71610 x71611 x71612 x71613 x71614 x71615 x71616 x71617 x71618
1800.04/1801.31	v x71619 x71620 x71621 x71622 x71623 x71624 x71625 x71626 x71627 x71628 x71629 x71630 x71631 x71632 x71633 x71634 x71635
1800.04/1801.31	v x71636 x71637 x71638 x71639 x71640 x71641 x71642 x71643 x71644 x71645 x71646 x71647 x71648 x71649 x71650 x71651 x71652
1800.04/1801.31	v x71653 x71654 x71655 x71656 x71657 x71658 x71659 x71660 x71661 x71662 x71667 x71668 x71669 x71670 x71671 x71672 x71673
1800.04/1801.31	v x71674 x71675 x71676 x71677 x71678 x71679 x71680 x71681 x71682 x71683 x71684 x71685 x71686 x71687 x71688 x71689 x71690
1800.04/1801.31	v x71691 x71692 x71693 x71694 x71695 x71696 x71697 x71698 x71699 x71700 x71701 x71702 x71703 x71704 x71705 x71706 x71707
1800.04/1801.31	v x71708 x71709 x71710 x71711 x71712 x71713 x71714 x71715 x71716 x71717 x71718 x71719 x71720 x71721 x71722 x71723 x71724
1800.04/1801.31	v x71730 x71731 x71732 x71733 x71734 x71735 x71736 x71737 x71738 x71739 x71740 x71741 x71742 x71743 x71744 x71745 x71746
1800.04/1801.31	v x71747 x71748 x71749 x71750 x71751 x71752 x71753 x71754 x71755 x71756 x71757 x71758 x71759 x71760 x71761 x71762 x71763
1800.04/1801.31	v x71764 x71765 x71766 x71767 x71768 x71769 x71770 x71771 x71772 x71773 x71774 x71775 x71776 x71777 x71778 x71779 x71780
1800.04/1801.31	v x71781 x71782 x71783 x71784 x71785 x71786 x71791 x71792 x71793 x71794 x71795 x71796 x71797 x71798 x71799 x71800 x71801
1800.04/1801.31	v x71802 x71803 x71804 x71805 x71806 x71807 x71808 x71809 x71810 x71811 x71812 x71813 x71814 x71815 x71816 x71817 x71818
1800.04/1801.31	v x71819 x71820 x71821 x71822 x71823 x71824 x71825 x71826 x71827 x71828 x71829 x71830 x71831 x71832 x71833 x71834 x71835
1800.04/1801.31	v x71836 x71837 x71838 x71839 x71840 x71841 x71842 x71843 x71844 x71845 x71846 x71854 x71855 x71856 x71857 x71858 x71859
1800.04/1801.31	v x71860 x71861 x71862 x71863 x71864 x71865 x71866 x71867 x71868 x71869 x71870 x71871 x71872 x71873 x71874 x71875 x71876
1800.04/1801.31	v x71877 x71878 x71879 x71880 x71881 x71882 x71883 x71884 x71885 x71886 x71887 x71888 x71889 x71890 x71891 x71892 x71893
1800.04/1801.31	v x71894 x71895 x71896 x71897 x71898 x71899 x71900 x71901 x71902 x71903 x71904 x71905 x71906 x71907 x71908 x71915 x71916
1800.04/1801.31	v x71917 x71918 x71919 x71920 x71921 x71922 x71923 x71924 x71925 x71926 x71927 x71928 x71929 x71930 x71931 x71932 x71933
1800.04/1801.31	v x71934 x71935 x71936 x71937 x71938 x71939 x71940 x71941 x71942 x71943 x71944 x71945 x71946 x71947 x71948 x71949 x71950
1800.04/1801.31	v x71951 x71952 x71953 x71954 x71955 x71956 x71957 x71958 x71959 x71960 x71961 x71962 x71963 x71964 x71965 x71966 x71967
1800.04/1801.31	v x71968 x71969 x71970 x71977 x71978 x71979 x71980 x71981 x71982 x71983 x71984 x71985 x71986 x71987 x71988 x71989 x71990
1800.04/1801.31	v x71991 x71992 x71993 x71994 x71995 x71996 x71997 x71998 x71999 x72000 x72001 x72002 x72003 x72004 x72005 x72006 x72007
1800.04/1801.31	v x72008 x72009 x72010 x72011 x72012 x72013 x72014 x72015 x72016 x72017 x72018 x72019 x72020 x72021 x72022 x72023 x72024
1800.04/1801.31	v x72025 x72026 x72027 x72028 x72029 x72030 x72031 x72032 x72033 x72034 x72035 x72041 x72042 x72043 x72044 x72045 x72046
1800.04/1801.31	v x72047 x72048 x72049 x72050 x72051 x72052 x72053 x72054 x72055 x72056 x72057 x72058 x72059 x72060 x72061 x72062 x72063
1800.04/1801.31	v x72064 x72065 x72066 x72067 x72068 x72069 x72070 x72071 x72072 x72073 x72074 x72075 x72076 x72077 x72078 x72079 x72080
1800.04/1801.31	v x72081 x72082 x72083 x72084 x72085 x72086 x72087 x72088 x72089 x72090 x72091 x72092 x72093 x72094 x72095 x72096 x72097
1800.04/1801.31	v x72098 x72099 x72103 x72104 x72105 x72106 x72107 x72108 x72109 x72110 x72111 x72112 x72113 x72114 x72115 x72116 x72117
1800.04/1801.31	v x72118 x72119 x72120 x72121 x72122 x72123 x72124 x72125 x72126 x72127 x72128 x72129 x72130 x72131 x72132 x72133 x72134
1800.04/1801.31	v x72135 x72136 x72137 x72138 x72139 x72140 x72141 x72142 x72143 x72144 x72145 x72146 x72147 x72148 x72149 x72150 x72151
1800.04/1801.31	v x72152 x72153 x72154 x72155 x72156 x72157 x72164 x72165 x72166 x72167 x72168 x72169 x72170 x72171 x72172 x72173 x72174
1800.04/1801.31	v x72175 x72176 x72177 x72178 x72179 x72180 x72181 x72182 x72183 x72184 x72185 x72186 x72187 x72188 x72189 x72190 x72191
1800.04/1801.31	v x72192 x72193 x72194 x72195 x72196 x72197 x72198 x72199 x72200 x72201 x72202 x72203 x72204 x72205 x72206 x72207 x72208
1800.04/1801.31	v x72209 x72210 x72211 x72212 x72213 x72214 x72215 x72216 x72217 x72218 x72219 x72220 x72225 x72226 x72227 x72228 x72229
1800.04/1801.31	v x72230 x72231 x72232 x72233 x72234 x72235 x72236 x72237 x72238 x72239 x72240 x72241 x72242 x72243 x72244 x72245 x72246
1800.04/1801.31	v x72247 x72248 x72249 x72250 x72251 x72252 x72253 x72254 x72255 x72256 x72257 x72258 x72259 x72260 x72261 x72262 x72263
1800.04/1801.31	v x72264 x72265 x72266 x72267 x72268 x72269 x72270 x72271 x72272 x72273 x72274 x72275 x72276 x72277 x72287 x72288 x72289
1800.04/1801.31	v x72290 x72291 x72292 x72293 x72294 x72295 x72296 x72297 x72298 x72299 x72300 x72301 x72302 x72303 x72304 x72305 x72306
1800.04/1801.31	v x72307 x72308 x72309 x72310 x72311 x72312 x72313 x72314 x72315 x72316 x72317 x72318 x72319 x72320 x72321 x72322 x72323
1800.04/1801.31	v x72324 x72325 x72326 x72327 x72328 x72329 x72330 x72331 x72332 x72333 x72334 x72335 x72336 x72337 x72338 x72339 x72340
1800.04/1801.31	v x72341 x72342 x72350 x72351 x72352 x72353 x72354 x72355 x72356 x72357 x72358 x72359 x72360 x72361 x72362 x72363 x72364
1800.04/1801.31	v x72365 x72366 x72367 x72368 x72369 x72370 x72371 x72372 x72373 x72374 x72375 x72376 x72377 x72378 x72379 x72380 x72381
1800.04/1801.31	v x72382 x72383 x72384 x72385 x72386 x72387 x72388 x72389 x72390 x72391 x72392 x72393 x72394 x72395 x72396 x72397 x72398
1800.04/1801.31	v x72399 x72400 x72401 x72402 x72403 x72404 x72405 x72409 x72410 x72411 x72412 x72413 x72414 x72415 x72416 x72417 x72418
1800.04/1801.31	v x72419 x72420 x72421 x72422 x72423 x72424 x72425 x72426 x72427 x72428 x72429 x72430 x72431 x72432 x72433 x72434 x72435
1800.04/1801.31	v x72436 x72437 x72438 x72439 x72440 x72441 x72442 x72443 x72444 x72445 x72446 x72447 x72448 x72449 x72450 x72451 x72452
1800.04/1801.31	v x72453 x72454 x72455 x72456 x72457 x72458 x72459 x72460 x72461 x72462 x72463 x72469 x72470 x72471 x72472 x72473 x72474
1800.04/1801.31	v x72475 x72476 x72477 x72478 x72479 x72480 x72481 x72482 x72483 x72484 x72485 x72486 x72487 x72488 x72489 x72490 x72491
1800.04/1801.31	v x72492 x72493 x72494 x72495 x72496 x72497 x72498 x72499 x72500 x72501 x72502 x72503 x72504 x72505 x72506 x72507 x72508
1800.04/1801.31	v x72509 x72510 x72511 x72512 x72513 x72514 x72515 x72516 x72517 x72518 x72519 x72520 x72521 x72531 x72532 x72533 x72534
1800.04/1801.31	v x72535 x72536 x72537 x72538 x72539 x72540 x72541 x72542 x72543 x72544 x72545 x72546 x72547 x72548 x72549 x72550 x72551
1800.04/1801.31	v x72552 x72553 x72554 x72555 x72556 x72557 x72558 x72559 x72560 x72561 x72562 x72563 x72564 x72565 x72566 x72567 x72568
1800.04/1801.31	v x72569 x72570 x72571 x72572 x72573 x72574 x72575 x72576 x72577 x72578 x72579 x72580 x72581 x72582 x72583 x72584 x72585
1800.04/1801.31	v x72586 x72592 x72593 x72594 x72595 x72596 x72597 x72598 x72599 x72600 x72601 x72602 x72603 x72604 x72605 x72606 x72607
1800.04/1801.31	v x72608 x72609 x72610 x72611 x72612 x72613 x72614 x72615 x72616 x72617 x72618 x72619 x72620 x72621 x72622 x72623 x72624
1800.04/1801.31	v x72625 x72626 x72627 x72628 x72629 x72630 x72631 x72632 x72633 x72634 x72635 x72636 x72637 x72638 x72639 x72640 x72641
1800.04/1801.31	v x72642 x72643 x72644 x72645 x72646 x72647 x72648 x72649 x72650 x72653 x72654 x72655 x72656 x72657 x72658 x72659 x72660
1800.04/1801.31	v x72661 x72662 x72663 x72664 x72665 x72666 x72667 x72668 x72669 x72670 x72671 x72672 x72673 x72674 x72675 x72676 x72677
1800.04/1801.31	v x72678 x72679 x72680 x72681 x72682 x72683 x72684 x72685 x72686 x72687 x72688 x72689 x72690 x72691 x72692 x72693 x72694
1800.04/1801.31	v x72695 x72696 x72697 x72698 x72699 x72700 x72701 x72702 x72703 x72704 x72705 x72706 x72707 x72708 x72709 x72716 x72717
1800.04/1801.31	v x72718 x72719 x72720 x72721 x72722 x72723 x72724 x72725 x72726 x72727 x72728 x72729 x72730 x72731 x72732 x72733 x72734
1800.04/1801.31	v x72735 x72736 x72737 x72738 x72739 x72740 x72741 x72742 x72743 x72744 x72745 x72746 x72747 x72748 x72749 x72750 x72751
1800.04/1801.31	v x72752 x72753 x72754 x72755 x72756 x72757 x72758 x72759 x72760 x72761 x72762 x72763 x72764 x72765 x72766 x72767 x72768
1800.04/1801.31	v x72769 x72777 x72778 x72779 x72780 x72781 x72782 x72783 x72784 x72785 x72786 x72787 x72788 x72789 x72790 x72791 x72792
1800.04/1801.31	v x72793 x72794 x72795 x72796 x72797 x72798 x72799 x72800 x72801 x72802 x72803 x72804 x72805 x72806 x72807 x72808 x72809
1800.04/1801.31	v x72810 x72811 x72812 x72813 x72814 x72815 x72816 x72817 x72818 x72819 x72820 x72821 x72822 x72823 x72824 x72825 x72826
1800.04/1801.31	v x72827 x72828 x72829 x72830 x72831 x72832 x72833 x72834 x72838 x72839 x72840 x72841 x72842 x72843 x72844 x72845 x72846
1800.04/1801.31	v x72847 x72848 x72849 x72850 x72851 x72852 x72853 x72854 x72855 x72856 x72857 x72858 x72859 x72860 x72861 x72862 x72863
1800.04/1801.31	v x72864 x72865 x72866 x72867 x72868 x72869 x72870 x72871 x72872 x72873 x72874 x72875 x72876 x72877 x72878 x72879 x72880
1800.04/1801.31	v x72881 x72882 x72883 x72884 x72885 x72886 x72887 x72888 x72889 x72890 x72900 x72901 x72902 x72903 x72904 x72905 x72906
1800.04/1801.31	v x72907 x72908 x72909 x72910 x72911 x72912 x72913 x72914 x72915 x72916 x72917 x72918 x72919 x72920 x72921 x72922 x72923
1800.04/1801.31	v x72924 x72925 x72926 x72927 x72928 x72929 x72930 x72931 x72932 x72933 x72934 x72935 x72936 x72937 x72938 x72939 x72940
1800.04/1801.31	v x72941 x72942 x72943 x72944 x72945 x72946 x72947 x72948 x72949 x72950 x72951 x72952 x72953 x72954 x72960 x72961 x72962
1800.04/1801.31	v x72963 x72964 x72965 x72966 x72967 x72968 x72969 x72970 x72971 x72972 x72973 x72974 x72975 x72976 x72977 x72978 x72979
1800.04/1801.31	v x72980 x72981 x72982 x72983 x72984 x72985 x72986 x72987 x72988 x72989 x72990 x72991 x72992 x72993 x72994 x72995 x72996
1800.04/1801.31	v x72997 x72998 x72999 x73000 x73001 x73002 x73003 x73004 x73005 x73006 x73007 x73008 x73009 x73010 x73011 x73012 x73013
1800.04/1801.31	v x73014 x73015 x73021 x73022 x73023 x73024 x73025 x73026 x73027 x73028 x73029 x73030 x73031 x73032 x73033 x73034 x73035
1800.04/1801.31	v x73036 x73037 x73038 x73039 x73040 x73041 x73042 x73043 x73044 x73045 x73046 x73047 x73048 x73049 x73050 x73051 x73052
1800.04/1801.31	v x73053 x73054 x73055 x73056 x73057 x73058 x73059 x73060 x73061 x73062 x73063 x73064 x73065 x73066 x73067 x73068 x73069
1800.04/1801.31	v x73070 x73071 x73072 x73073 x73074 x73075 x73076 x73077 x73084 x73085 x73086 x73087 x73088 x73089 x73090 x73091 x73092
1800.04/1801.31	v x73093 x73094 x73095 x73096 x73097 x73098 x73099 x73100 x73101 x73102 x73103 x73104 x73105 x73106 x73107 x73108 x73109
1800.04/1801.31	v x73110 x73111 x73112 x73113 x73114 x73115 x73116 x73117 x73118 x73119 x73120 x73121 x73122 x73123 x73124 x73125 x73126
1800.04/1801.31	v x73127 x73128 x73129 x73130 x73131 x73132 x73133 x73134 x73135 x73144 x73145 x73146 x73147 x73148 x73149 x73150 x73151
1800.04/1801.31	v x73152 x73153 x73154 x73155 x73156 x73157 x73158 x73159 x73160 x73161 x73162 x73163 x73164 x73165 x73166 x73167 x73168
1800.04/1801.31	v x73169 x73170 x73171 x73172 x73173 x73174 x73175 x73176 x73177 x73178 x73179 x73180 x73181 x73182 x73183 x73184 x73185
1800.04/1801.31	v x73186 x73187 x73188 x73189 x73190 x73191 x73192 x73193 x73194 x73195 x73196 x73206 x73207 x73208 x73209 x73210 x73211
1800.04/1801.31	v x73212 x73213 x73214 x73215 x73216 x73217 x73218 x73219 x73220 x73221 x73222 x73223 x73224 x73225 x73226 x73227 x73228
1800.04/1801.31	v x73229 x73230 x73231 x73232 x73233 x73234 x73235 x73236 x73237 x73238 x73239 x73240 x73241 x73242 x73243 x73244 x73245
1800.04/1801.31	v x73246 x73247 x73248 x73249 x73250 x73251 x73252 x73253 x73254 x73255 x73256 x73257 x73258 x73259 x73260 x73261 x73262
1800.04/1801.31	v x73267 x73268 x73269 x73270 x73271 x73272 x73273 x73274 x73275 x73276 x73277 x73278 x73279 x73280 x73281 x73282 x73283
1800.04/1801.31	v x73284 x73285 x73286 x73287 x73288 x73289 x73290 x73291 x73292 x73293 x73294 x73295 x73296 x73297 x73298 x73299 x73300
1800.04/1801.31	v x73301 x73302 x73303 x73304 x73305 x73306 x73307 x73308 x73309 x73310 x73311 x73312 x73313 x73314 x73315 x73316 x73317
1800.04/1801.31	v x73318 x73319 x73320 x73321 x73328 x73329 x73330 x73331 x73332 x73333 x73334 x73335 x73336 x73337 x73338 x73339 x73340
1800.04/1801.31	v x73341 x73342 x73343 x73344 x73345 x73346 x73347 x73348 x73349 x73350 x73351 x73352 x73353 x73354 x73355 x73356 x73357
1800.04/1801.31	v x73358 x73359 x73360 x73361 x73362 x73363 x73364 x73365 x73366 x73367 x73368 x73369 x73370 x73371 x73372 x73373 x73374
1800.04/1801.31	v x73375 x73376 x73377 x73378 x73379 x73380 x73381 x73382 x73383 x73390 x73391 x73392 x73393 x73394 x73395 x73396 x73397
1800.04/1801.31	v x73398 x73399 x73400 x73401 x73402 x73403 x73404 x73405 x73406 x73407 x73408 x73409 x73410 x73411 x73412 x73413 x73414
1800.04/1801.31	v x73415 x73416 x73417 x73418 x73419 x73420 x73421 x73422 x73423 x73424 x73425 x73426 x73427 x73428 x73429 x73430 x73431
1800.04/1801.31	v x73432 x73433 x73434 x73435 x73436 x73437 x73438 x73439 x73440 x73441 x73442 x73443 x73444 x73450 x73451 x73452 x73453
1800.04/1801.31	v x73454 x73455 x73456 x73457 x73458 x73459 x73460 x73461 x73462 x73463 x73464 x73465 x73466 x73467 x73468 x73469 x73470
1800.04/1801.31	v x73471 x73472 x73473 x73474 x73475 x73476 x73477 x73478 x73479 x73480 x73481 x73482 x73483 x73484 x73485 x73486 x73487
1800.04/1801.31	v x73488 x73489 x73490 x73491 x73492 x73493 x73494 x73495 x73496 x73497 x73498 x73499 x73500 x73501 x73502 x73503 x73504
1800.04/1801.31	v x73511 x73512 x73513 x73514 x73515 x73516 x73517 x73518 x73519 x73520 x73521 x73522 x73523 x73524 x73525 x73526 x73527
1800.04/1801.31	v x73528 x73529 x73530 x73531 x73532 x73533 x73534 x73535 x73536 x73537 x73538 x73539 x73540 x73541 x73542 x73543 x73544
1800.04/1801.31	v x73545 x73546 x73547 x73548 x73549 x73550 x73551 x73552 x73553 x73554 x73555 x73556 x73557 x73558 x73559 x73560 x73561
1800.04/1801.31	v x73562 x73563 x73572 x73573 x73574 x73575 x73576 x73577 x73578 x73579 x73580 x73581 x73582 x73583 x73584 x73585 x73586
1800.04/1801.31	v x73587 x73588 x73589 x73590 x73591 x73592 x73593 x73594 x73595 x73596 x73597 x73598 x73599 x73600 x73601 x73602 x73603
1800.04/1801.31	v x73604 x73605 x73606 x73607 x73608 x73609 x73610 x73611 x73612 x73613 x73614 x73615 x73616 x73617 x73618 x73619 x73620
1800.04/1801.31	v x73621 x73622 x73623 x73624 x73625 x73626 x73632 x73633 x73634 x73635 x73636 x73637 x73638 x73639 x73640 x73641 x73642
1800.04/1801.31	v x73643 x73644 x73645 x73646 x73647 x73648 x73649 x73650 x73651 x73652 x73653 x73654 x73655 x73656 x73657 x73658 x73659
1800.04/1801.31	v x73660 x73661 x73662 x73663 x73664 x73665 x73666 x73667 x73668 x73669 x73670 x73671 x73672 x73673 x73674 x73675 x73676
1800.04/1801.31	v x73677 x73678 x73679 x73680 x73681 x73682 x73683 x73684 x73685 x73686 x73687 x73688 x73689 x73690 x73691 x73693 x73694
1800.04/1801.31	v x73695 x73696 x73697 x73698 x73699 x73700 x73701 x73702 x73703 x73704 x73705 x73706 x73707 x73708 x73709 x73710 x73711
1800.04/1801.31	v x73712 x73713 x73714 x73715 x73716 x73717 x73718 x73719 x73720 x73721 x73722 x73723 x73724 x73725 x73726 x73727 x73728
1800.04/1801.31	v x73729 x73730 x73731 x73732 x73733 x73734 x73735 x73736 x73737 x73738 x73739 x73740 x73741 x73742 x73743 x73744 x73745
1800.04/1801.31	v x73746 x73747 x73748 x73753 x73754 x73755 x73756 x73757 x73758 x73759 x73760 x73761 x73762 x73763 x73764 x73765 x73766
1800.04/1801.31	v x73767 x73768 x73769 x73770 x73771 x73772 x73773 x73774 x73775 x73776 x73777 x73778 x73779 x73780 x73781 x73782 x73783
1800.04/1801.31	v x73784 x73785 x73786 x73787 x73788 x73789 x73790 x73791 x73792 x73793 x73794 x73795 x73796 x73797 x73798 x73799 x73800
1800.04/1801.31	v x73801 x73802 x73803 x73804 x73805 x73806 x73807 x73808 x73809 x73814 x73815 x73816 x73817 x73818 x73819 x73820 x73821
1800.04/1801.31	v x73822 x73823 x73824 x73825 x73826 x73827 x73828 x73829 x73830 x73831 x73832 x73833 x73834 x73835 x73836 x73837 x73838
1800.04/1801.31	v x73839 x73840 x73841 x73842 x73843 x73844 x73845 x73846 x73847 x73848 x73849 x73850 x73851 x73852 x73853 x73854 x73855
1800.04/1801.31	v x73856 x73857 x73858 x73859 x73860 x73861 x73862 x73863 x73864 x73865 x73866 x73867 x73868 x73869 x73875 x73876 x73877
1800.04/1801.31	v x73878 x73879 x73880 x73881 x73882 x73883 x73884 x73885 x73886 x73887 x73888 x73889 x73890 x73891 x73892 x73893 x73894
1800.04/1801.31	v x73895 x73896 x73897 x73898 x73899 x73900 x73901 x73902 x73903 x73904 x73905 x73906 x73907 x73908 x73909 x73910 x73911
1800.04/1801.31	v x73912 x73913 x73914 x73915 x73916 x73917 x73918 x73919 x73920 x73921 x73922 x73923 x73924 x73925 x73926 x73927 x73928
1800.04/1801.31	v x73929 x73930 x73931 x73932 x73933 x73934 x73938 x73939 x73940 x73941 x73942 x73943 x73944 x73945 x73946 x73947 x73948
1800.04/1801.31	v x73949 x73950 x73951 x73952 x73953 x73954 x73955 x73956 x73957 x73958 x73959 x73960 x73961 x73962 x73963 x73964 x73965
1800.04/1801.31	v x73966 x73967 x73968 x73969 x73970 x73971 x73972 x73973 x73974 x73975 x73976 x73977 x73978 x73979 x73980 x73981 x73982
1800.04/1801.31	v x73983 x73984 x73985 x73986 x73987 x73988 x73989 x73990 x73991 x73992 x73993 x73994 x73995 x74001 x74002 x74003 x74004
1800.04/1801.31	v x74005 x74006 x74007 x74008 x74009 x74010 x74011 x74012 x74013 x74014 x74015 x74016 x74017 x74018 x74019 x74020 x74021
1800.04/1801.31	v x74022 x74023 x74024 x74025 x74026 x74027 x74028 x74029 x74030 x74031 x74032 x74033 x74034 x74035 x74036 x74037 x74038
1800.04/1801.31	v x74039 x74040 x74041 x74042 x74043 x74044 x74045 x74046 x74047 x74048 x74049 x74050 x74051 x74052 x74053 x74054 x74055
1800.04/1801.31	v x74056 x74057 x74058 x74059 x74065 x74066 x74067 x74068 x74069 x74070 x74071 x74072 x74073 x74074 x74075 x74076 x74077
1800.04/1801.31	v x74078 x74079 x74080 x74081 x74082 x74083 x74084 x74085 x74086 x74087 x74088 x74089 x74090 x74091 x74092 x74093 x74094
1800.04/1801.31	v x74095 x74096 x74097 x74098 x74099 x74100 x74101 x74102 x74103 x74104 x74105 x74106 x74107 x74108 x74109 x74110 x74111
1800.04/1801.31	v x74112 x74113 x74114 x74115 x74116 x74117 x74118 x74119 x74120 x74121 x74127 x74128 x74129 x74130 x74131 x74132 x74133
1800.04/1801.31	v x74134 x74135 x74136 x74137 x74138 x74139 x74140 x74141 x74142 x74143 x74144 x74145 x74146 x74147 x74148 x74149 x74150
1800.04/1801.31	v x74151 x74152 x74153 x74154 x74155 x74156 x74157 x74158 x74159 x74160 x74161 x74162 x74163 x74164 x74165 x74166 x74167
1800.04/1801.31	v x74168 x74169 x74170 x74171 x74172 x74173 x74174 x74175 x74176 x74177 x74178 x74179 x74180 x74181 x74182 x74183 x74188
1800.04/1801.31	v x74189 x74190 x74191 x74192 x74193 x74194 x74195 x74196 x74197 x74198 x74199 x74200 x74201 x74202 x74203 x74204 x74205
1800.04/1801.31	v x74206 x74207 x74208 x74209 x74210 x74211 x74212 x74213 x74214 x74215 x74216 x74217 x74218 x74219 x74220 x74221 x74222
1800.04/1801.31	v x74223 x74224 x74225 x74226 x74227 x74228 x74229 x74230 x74231 x74232 x74233 x74234 x74235 x74236 x74237 x74238 x74239
1800.04/1801.31	v x74240 x74241 x74249 x74250 x74251 x74252 x74253 x74254 x74255 x74256 x74257 x74258 x74259 x74260 x74261 x74262 x74263
1800.04/1801.31	v x74264 x74265 x74266 x74267 x74268 x74269 x74270 x74271 x74272 x74273 x74274 x74275 x74276 x74277 x74278 x74279 x74280
1800.04/1801.31	v x74281 x74282 x74283 x74284 x74285 x74286 x74287 x74288 x74289 x74290 x74291 x74292 x74293 x74294 x74295 x74296 x74297
1800.04/1801.31	v x74298 x74299 x74300 x74301 x74302 x74303 x74304 x74305 x74306 x74310 x74311 x74312 x74313 x74314 x74315 x74316 x74317
1800.04/1801.31	v x74318 x74319 x74320 x74321 x74322 x74323 x74324 x74325 x74326 x74327 x74328 x74329 x74330 x74331 x74332 x74333 x74334
1800.04/1801.31	v x74335 x74336 x74337 x74338 x74339 x74340 x74341 x74342 x74343 x74344 x74345 x74346 x74347 x74348 x74349 x74350 x74351
1800.04/1801.31	v x74352 x74353 x74354 x74355 x74356 x74357 x74358 x74359 x74360 x74361 x74362 x74363 x74364 x74371 x74372 x74373 x74374
1800.04/1801.31	v x74375 x74376 x74377 x74378 x74379 x74380 x74381 x74382 x74383 x74384 x74385 x74386 x74387 x74388 x74389 x74390 x74391
1800.04/1801.31	v x74392 x74393 x74394 x74395 x74396 x74397 x74398 x74399 x74400 x74401 x74402 x74403 x74404 x74405 x74406 x74407 x74408
1800.04/1801.31	v x74409 x74410 x74411 x74412 x74413 x74414 x74415 x74416 x74417 x74418 x74419 x74420 x74421 x74422 x74423 x74424 x74425
1800.04/1801.31	v x74426 x74427 x74431 x74432 x74433 x74434 x74435 x74436 x74437 x74438 x74439 x74440 x74441 x74442 x74443 x74444 x74445
1800.04/1801.31	v x74446 x74447 x74448 x74449 x74450 x74451 x74452 x74453 x74454 x74455 x74456 x74457 x74458 x74459 x74460 x74461 x74462
1800.04/1801.31	v x74463 x74464 x74465 x74466 x74467 x74468 x74469 x74470 x74471 x74472 x74473 x74474 x74475 x74476 x74477 x74478 x74479
1800.04/1801.31	v x74480 x74481 x74482 x74483 x74484 x74485 x74486 x74487 x74492 x74493 x74494 x74495 x74496 x74497 x74498 x74499 x74500
1800.04/1801.31	v x74501 x74502 x74503 x74504 x74505 x74506 x74507 x74508 x74509 x74510 x74511 x74512 x74513 x74514 x74515 x74516 x74517
1800.04/1801.31	v x74518 x74519 x74520 x74521 x74522 x74523 x74524 x74525 x74526 x74527 x74528 x74529 x74530 x74531 x74532 x74533 x74534
1800.04/1801.31	v x74535 x74536 x74537 x74538 x74539 x74540 x74541 x74542 x74543 x74544 x74545 x74546 x74547 x74548 x74549 x74554 x74555
1800.04/1801.31	v x74556 x74557 x74558 x74559 x74560 x74561 x74562 x74563 x74564 x74565 x74566 x74567 x74568 x74569 x74570 x74571 x74572
1800.04/1801.31	v x74573 x74574 x74575 x74576 x74577 x74578 x74579 x74580 x74581 x74582 x74583 x74584 x74585 x74586 x74587 x74588 x74589
1800.04/1801.31	v x74590 x74591 x74592 x74593 x74594 x74595 x74596 x74597 x74598 x74599 x74600 x74601 x74602 x74603 x74604 x74605 x74606
1800.04/1801.31	v x74607 x74608 x74609 x74610 x74614 x74615 x74616 x74617 x74618 x74619 x74620 x74621 x74622 x74623 x74624 x74625 x74626
1800.04/1801.31	v x74627 x74628 x74629 x74630 x74631 x74632 x74633 x74634 x74635 x74636 x74637 x74638 x74639 x74640 x74641 x74642 x74643
1800.04/1801.31	v x74644 x74645 x74646 x74647 x74648 x74649 x74650 x74651 x74652 x74653 x74654 x74655 x74656 x74657 x74658 x74659 x74660
1800.04/1801.31	v x74661 x74662 x74663 x74664 x74665 x74666 x74667 x74668 x74674 x74675 x74676 x74677 x74678 x74679 x74680 x74681 x74682
1800.04/1801.31	v x74683 x74684 x74685 x74686 x74687 x74688 x74689 x74690 x74691 x74692 x74693 x74694 x74695 x74696 x74697 x74698 x74699
1800.04/1801.31	v x74700 x74701 x74702 x74703 x74704 x74705 x74706 x74707 x74708 x74709 x74710 x74711 x74712 x74713 x74714 x74715 x74716
1800.04/1801.31	v x74717 x74718 x74719 x74720 x74721 x74722 x74723 x74724 x74725 x74726 x74727 x74728 x74735 x74736 x74737 x74738 x74739
1800.04/1801.31	v x74740 x74741 x74742 x74743 x74744 x74745 x74746 x74747 x74748 x74749 x74750 x74751 x74752 x74753 x74754 x74755 x74756
1800.04/1801.31	v x74757 x74758 x74759 x74760 x74761 x74762 x74763 x74764 x74765 x74766 x74767 x74768 x74769 x74770 x74771 x74772 x74773
1800.04/1801.31	v x74774 x74775 x74776 x74777 x74778 x74779 x74780 x74781 x74782 x74783 x74784 x74785 x74786 x74787 x74788 x74795 x74796
1800.04/1801.31	v x74797 x74798 x74799 x74800 x74801 x74802 x74803 x74804 x74805 x74806 x74807 x74808 x74809 x74810 x74811 x74812 x74813
1800.04/1801.31	v x74814 x74815 x74816 x74817 x74818 x74819 x74820 x74821 x74822 x74823 x74824 x74825 x74826 x74827 x74828 x74829 x74830
1800.04/1801.31	v x74831 x74832 x74833 x74834 x74835 x74836 x74837 x74838 x74839 x74840 x74841 x74842 x74843 x74844 x74845 x74846 x74847
1800.04/1801.31	v x74848 x74849 x74850 x74851 x74852 x74855 x74856 x74857 x74858 x74859 x74860 x74861 x74862 x74863 x74864 x74865 x74866
1800.04/1801.31	v x74867 x74868 x74869 x74870 x74871 x74872 x74873 x74874 x74875 x74876 x74877 x74878 x74879 x74880 x74881 x74882 x74883
1800.04/1801.31	v x74884 x74885 x74886 x74887 x74888 x74889 x74890 x74891 x74892 x74893 x74894 x74895 x74896 x74897 x74898 x74899 x74900
1800.04/1801.31	v x74901 x74902 x74903 x74904 x74905 x74906 x74907 x74908 x74909 x74910 x74911 x74912 x74916 x74917 x74918 x74919 x74920
1800.04/1801.31	v x74921 x74922 x74923 x74924 x74925 x74926 x74927 x74928 x74929 x74930 x74931 x74932 x74933 x74934 x74935 x74936 x74937
1800.04/1801.31	v x74938 x74939 x74940 x74941 x74942 x74943 x74944 x74945 x74946 x74947 x74948 x74949 x74950 x74951 x74952 x74953 x74954
1800.04/1801.31	v x74955 x74956 x74957 x74958 x74959 x74960 x74961 x74962 x74963 x74964 x74965 x74966 x74967 x74968 x74969 x74970 x74976
1800.04/1801.31	v x74977 x74978 x74979 x74980 x74981 x74982 x74983 x74984 x74985 x74986 x74987 x74988 x74989 x74990 x74991 x74992 x74993
1800.04/1801.31	v x74994 x74995 x74996 x74997 x74998 x74999 x75000 x75001 x75002 x75003 x75004 x75005 x75006 x75007 x75008 x75009 x75010
1800.04/1801.31	v x75011 x75012 x75013 x75014 x75015 x75016 x75017 x75018 x75019 x75020 x75021 x75022 x75023 x75024 x75025 x75026 x75027
1800.04/1801.31	v x75028 x75029 x75030 x75037 x75038 x75039 x75040 x75041 x75042 x75043 x75044 x75045 x75046 x75047 x75048 x75049 x75050
1800.04/1801.31	v x75051 x75052 x75053 x75054 x75055 x75056 x75057 x75058 x75059 x75060 x75061 x75062 x75063 x75064 x75065 x75066 x75067
1800.04/1801.31	v x75068 x75069 x75070 x75071 x75072 x75073 x75074 x75075 x75076 x75077 x75078 x75079 x75080 x75081 x75082 x75083 x75084
1800.04/1801.31	v x75085 x75086 x75087 x75088 x75089 x75090 x75091 x75098 x75099 x75100 x75101 x75102 x75103 x75104 x75105 x75106 x75107
1800.04/1801.31	v x75108 x75109 x75110 x75111 x75112 x75113 x75114 x75115 x75116 x75117 x75118 x75119 x75120 x75121 x75122 x75123 x75124
1800.04/1801.31	v x75125 x75126 x75127 x75128 x75129 x75130 x75131 x75132 x75133 x75134 x75135 x75136 x75137 x75138 x75139 x75140 x75141
1800.04/1801.31	v x75142 x75143 x75144 x75145 x75146 x75147 x75148 x75149 x75150 x75151 x75152 x75160 x75161 x75162 x75163 x75164 x75165
1800.04/1801.31	v x75166 x75167 x75168 x75169 x75170 x75171 x75172 x75173 x75174 x75175 x75176 x75177 x75178 x75179 x75180 x75181 x75182
1800.04/1801.31	v x75183 x75184 x75185 x75186 x75187 x75188 x75189 x75190 x75191 x75192 x75193 x75194 x75195 x75196 x75197 x75198 x75199
1800.04/1801.31	v x75200 x75201 x75202 x75203 x75204 x75205 x75206 x75207 x75208 x75209 x75210 x75211 x75212 x75220 x75221 x75222 x75223
1800.04/1801.31	v x75224 x75225 x75226 x75227 x75228 x75229 x75230 x75231 x75232 x75233 x75234 x75235 x75236 x75237 x75238 x75239 x75240
1800.04/1801.31	v x75241 x75242 x75243 x75244 x75245 x75246 x75247 x75248 x75249 x75250 x75251 x75252 x75253 x75254 x75255 x75256 x75257
1800.04/1801.31	v x75258 x75259 x75260 x75261 x75262 x75263 x75264 x75265 x75266 x75267 x75268 x75269 x75270 x75271 x75272 x75273 x75281
1800.04/1801.31	v x75282 x75283 x75284 x75285 x75286 x75287 x75288 x75289 x75290 x75291 x75292 x75293 x75294 x75295 x75296 x75297 x75298
1800.04/1801.31	v x75299 x75300 x75301 x75302 x75303 x75304 x75305 x75306 x75307 x75308 x75309 x75310 x75311 x75312 x75313 x75314 x75315
1800.04/1801.31	v x75316 x75317 x75318 x75319 x75320 x75321 x75322 x75323 x75324 x75325 x75326 x75327 x75328 x75329 x75330 x75331 x75332
1800.04/1801.31	v x75333 x75334 x75335 x75336 x75337 x75338 x75339 x75340 x75341 x75342 x75343 x75344 x75345 x75346 x75347 x75348 x75349
1800.04/1801.31	v x75350 x75351 x75352 x75353 x75354 x75355 x75356 x75357 x75358 x75359 x75360 x75361 x75362 x75363 x75364 x75365 x75366
1800.04/1801.31	v x75367 x75368 x75369 x75370 x75371 x75372 x75373 x75374 x75375 x75376 x75377 x75378 x75379 x75380 x75381 x75382 x75383
1800.04/1801.31	v x75384 x75385 x75386 x75387 x75388 x75389 x75390 x75391 x75392 x75400 x75401 x75402 x75403 x75404 x75405 x75406 x75407
1800.04/1801.31	v x75408 x75409 x75410 x75411 x75412 x75413 x75414 x75415 x75416 x75417 x75418 x75419 x75420 x75421 x75422 x75423 x75424
1800.04/1801.31	v x75425 x75426 x75427 x75428 x75429 x75430 x75431 x75432 x75433 x75434 x75435 x75436 x75437 x75438 x75439 x75440 x75441
1800.04/1801.31	v x75442 x75443 x75444 x75445 x75446 x75447 x75448 x75449 x75450 x75451 x75452 x75453 x75454 x75455 x75456 x75460 x75461
1800.04/1801.31	v x75462 x75463 x75464 x75465 x75466 x75467 x75468 x75469 x75470 x75471 x75472 x75473 x75474 x75475 x75476 x75477 x75478
1800.04/1801.31	v x75479 x75480 x75481 x75482 x75483 x75484 x75485 x75486 x75487 x75488 x75489 x75490 x75491 x75492 x75493 x75494 x75495
1800.04/1801.31	v x75496 x75497 x75498 x75499 x75500 x75501 x75502 x75503 x75504 x75505 x75506 x75507 x75508 x75509 x75510 x75511 x75512
1800.04/1801.31	v x75513 x75514 x75521 x75522 x75523 x75524 x75525 x75526 x75527 x75528 x75529 x75530 x75531 x75532 x75533 x75534 x75535
1800.04/1801.31	v x75536 x75537 x75538 x75539 x75540 x75541 x75542 x75543 x75544 x75545 x75546 x75547 x75548 x75549 x75550 x75551 x75552
1800.04/1801.31	v x75553 x75554 x75555 x75556 x75557 x75558 x75559 x75560 x75561 x75562 x75563 x75564 x75565 x75566 x75567 x75568 x75569
1800.04/1801.31	v x75570 x75571 x75572 x75573 x75574 x75581 x75582 x75583 x75584 x75585 x75586 x75587 x75588 x75589 x75590 x75591 x75592
1800.04/1801.31	v x75593 x75594 x75595 x75596 x75597 x75598 x75599 x75600 x75601 x75602 x75603 x75604 x75605 x75606 x75607 x75608 x75609
1800.04/1801.31	v x75610 x75611 x75612 x75613 x75614 x75615 x75616 x75617 x75618 x75619 x75620 x75621 x75622 x75623 x75624 x75625 x75626
1800.04/1801.31	v x75627 x75628 x75629 x75630 x75631 x75632 x75633 x75634 x75635 x75636 x75644 x75645 x75646 x75647 x75648 x75649 x75650
1800.04/1801.31	v x75651 x75652 x75653 x75654 x75655 x75656 x75657 x75658 x75659 x75660 x75661 x75662 x75663 x75664 x75665 x75666 x75667
1800.04/1801.31	v x75668 x75669 x75670 x75671 x75672 x75673 x75674 x75675 x75676 x75677 x75678 x75679 x75680 x75681 x75682 x75683 x75684
1800.04/1801.31	v x75685 x75686 x75687 x75688 x75689 x75690 x75691 x75692 x75693 x75694 x75695 x75704 x75705 x75706 x75707 x75708 x75709
1800.04/1801.31	v x75710 x75711 x75712 x75713 x75714 x75715 x75716 x75717 x75718 x75719 x75720 x75721 x75722 x75723 x75724 x75725 x75726
1800.04/1801.31	v x75727 x75728 x75729 x75730 x75731 x75732 x75733 x75734 x75735 x75736 x75737 x75738 x75739 x75740 x75741 x75742 x75743
1800.04/1801.31	v x75744 x75745 x75746 x75747 x75748 x75749 x75750 x75751 x75752 x75753 x75754 x75755 x75756 x75757 x75758 x75759 x75764
1800.04/1801.31	v x75765 x75766 x75767 x75768 x75769 x75770 x75771 x75772 x75773 x75774 x75775 x75776 x75777 x75778 x75779 x75780 x75781
1800.04/1801.31	v x75782 x75783 x75784 x75785 x75786 x75787 x75788 x75789 x75790 x75791 x75792 x75793 x75794 x75795 x75796 x75797 x75798
1800.04/1801.31	v x75799 x75800 x75801 x75802 x75803 x75804 x75805 x75806 x75807 x75808 x75809 x75810 x75811 x75812 x75813 x75814 x75815
1800.04/1801.31	v x75816 x75817 x75818 x75824 x75825 x75826 x75827 x75828 x75829 x75830 x75831 x75832 x75833 x75834 x75835 x75836 x75837
1800.04/1801.31	v x75838 x75839 x75840 x75841 x75842 x75843 x75844 x75845 x75846 x75847 x75848 x75849 x75850 x75851 x75852 x75853 x75854
1800.04/1801.31	v x75855 x75856 x75857 x75858 x75859 x75860 x75861 x75862 x75863 x75864 x75865 x75866 x75867 x75868 x75869 x75870 x75871
1800.04/1801.31	v x75872 x75873 x75874 x75875 x75876 x75877 x75878 x75884 x75885 x75886 x75887 x75888 x75889 x75890 x75891 x75892 x75893
1800.04/1801.31	v x75894 x75895 x75896 x75897 x75898 x75899 x75900 x75901 x75902 x75903 x75904 x75905 x75906 x75907 x75908 x75909 x75910
1800.04/1801.31	v x75911 x75912 x75913 x75914 x75915 x75916 x75917 x75918 x75919 x75920 x75921 x75922 x75923 x75924 x75925 x75926 x75927
1800.04/1801.31	v x75928 x75929 x75930 x75931 x75932 x75933 x75934 x75935 x75936 x75937 x75938 x75939 x75944 x75945 x75946 x75947 x75948
1800.04/1801.31	v x75949 x75950 x75951 x75952 x75953 x75954 x75955 x75956 x75957 x75958 x75959 x75960 x75961 x75962 x75963 x75964 x75965
1800.04/1801.31	v x75966 x75967 x75968 x75969 x75970 x75971 x75972 x75973 x75974 x75975 x75976 x75977 x75978 x75979 x75980 x75981 x75982
1800.04/1801.31	v x75983 x75984 x75985 x75986 x75987 x75988 x75989 x75990 x75991 x75992 x75993 x75994 x75995 x75996 x76006 x76007 x76008
1800.04/1801.31	v x76009 x76010 x76011 x76012 x76013 x76014 x76015 x76016 x76017 x76018 x76019 x76020 x76021 x76022 x76023 x76024 x76025
1800.04/1801.31	v x76026 x76027 x76028 x76029 x76030 x76031 x76032 x76033 x76034 x76035 x76036 x76037 x76038 x76039 x76040 x76041 x76042
1800.04/1801.31	v x76043 x76044 x76045 x76046 x76047 x76048 x76049 x76050 x76051 x76052 x76053 x76054 x76055 x76056 x76057 x76058 x76059
1800.04/1801.31	v x76060 x76061 x76065 x76066 x76067 x76068 x76069 x76070 x76071 x76072 x76073 x76074 x76075 x76076 x76077 x76078 x76079
1800.04/1801.31	v x76080 x76081 x76082 x76083 x76084 x76085 x76086 x76087 x76088 x76089 x76090 x76091 x76092 x76093 x76094 x76095 x76096
1800.04/1801.31	v x76097 x76098 x76099 x76100 x76101 x76102 x76103 x76104 x76105 x76106 x76107 x76108 x76109 x76110 x76111 x76112 x76113
1800.04/1801.31	v x76114 x76115 x76116 x76117 x76118 x76119 x76125 x76126 x76127 x76128 x76129 x76130 x76131 x76132 x76133 x76134 x76135
1800.04/1801.31	v x76136 x76137 x76138 x76139 x76140 x76141 x76142 x76143 x76144 x76145 x76146 x76147 x76148 x76149 x76150 x76151 x76152
1800.04/1801.31	v x76153 x76154 x76155 x76156 x76157 x76158 x76159 x76160 x76161 x76162 x76163 x76164 x76165 x76166 x76167 x76168 x76169
1800.04/1801.31	v x76170 x76171 x76172 x76173 x76174 x76185 x76186 x76187 x76188 x76189 x76190 x76191 x76192 x76193 x76194 x76195 x76196
1800.04/1801.31	v x76197 x76198 x76199 x76200 x76201 x76202 x76203 x76204 x76205 x76206 x76207 x76208 x76209 x76210 x76211 x76212 x76213
1800.04/1801.31	v x76214 x76215 x76216 x76217 x76218 x76219 x76220 x76221 x76222 x76223 x76224 x76225 x76226 x76227 x76228 x76229 x76230
1800.04/1801.31	v x76231 x76232 x76233 x76234 x76235 x76236 x76237 x76245 x76246 x76247 x76248 x76249 x76250 x76251 x76252 x76253 x76254
1800.04/1801.31	v x76255 x76256 x76257 x76258 x76259 x76260 x76261 x76262 x76263 x76264 x76265 x76266 x76267 x76268 x76269 x76270 x76271
1800.04/1801.31	v x76272 x76273 x76274 x76275 x76276 x76277 x76278 x76279 x76280 x76281 x76282 x76283 x76284 x76285 x76286 x76287 x76288
1800.04/1801.31	v x76289 x76290 x76291 x76292 x76293 x76294 x76295 x76305 x76306 x76307 x76308 x76309 x76310 x76311 x76312 x76313 x76314
1800.04/1801.31	v x76315 x76316 x76317 x76318 x76319 x76320 x76321 x76322 x76323 x76324 x76325 x76326 x76327 x76328 x76329 x76330 x76331
1800.04/1801.31	v x76332 x76333 x76334 x76335 x76336 x76337 x76338 x76339 x76340 x76341 x76342 x76343 x76344 x76345 x76346 x76347 x76348
1800.04/1801.31	v x76349 x76350 x76351 x76352 x76353 x76354 x76355 x76365 x76366 x76367 x76368 x76369 x76370 x76371 x76372 x76373 x76374
1800.04/1801.31	v x76375 x76376 x76377 x76378 x76379 x76380 x76381 x76382 x76383 x76384 x76385 x76386 x76387 x76388 x76389 x76390 x76391
1800.04/1801.31	v x76392 x76393 x76394 x76395 x76396 x76397 x76398 x76399 x76400 x76401 x76402 x76403 x76404 x76405 x76406 x76407 x76408
1800.04/1801.31	v x76409 x76410 x76411 x76412 x76413 x76414 x76415 x76416 x76417 x76418 x76425 x76426 x76427 x76428 x76429 x76430 x76431
1800.04/1801.31	v x76432 x76433 x76434 x76435 x76436 x76437 x76438 x76439 x76440 x76441 x76442 x76443 x76444 x76445 x76446 x76447 x76448
1800.04/1801.31	v x76449 x76450 x76451 x76452 x76453 x76454 x76455 x76456 x76457 x76458 x76459 x76460 x76461 x76462 x76463 x76464 x76465
1800.04/1801.31	v x76466 x76467 x76468 x76469 x76470 x76471 x76472 x76473 x76474 x76475 x76476 x76477
1800.04/1801.32	pb2clasp1: no process killed
1792.79/1803.32	sh: line 1: 13404 Killed                  cat /tmp/evaluation/453100-1178115524/temp/instance-453100-1178115524.opb.op
1792.79/1803.32	     13405                       | clasp >/tmp/evaluation/453100-1178115524/temp/instance-453100-1178115524.opb.clasp

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x3[=0]*x981[=0]+1*~x3[=0]*x212[=1]+1*~x3[=0]*x945[=0]+1*~x3[=0]*x827[=1]+1*~x3[=0]*x589[=1]+1*~x3[=0]*x385[=1]+1*~x3[=0]*x164[=1]+1*~x3[=0]*x826[=1]+1*~x3[=0]*x703[=1]+1*~x3[=0]*x463[=1]+1*~x3[=0]*x384[=1]+1*~x3[=0]*x427[=1]+1*~x3[=0]*x556[=1]+1*~x3[=0]*x439[=1]+1*~x3[=0]*x105[=1]+1*~x3[=0]*x271[=1]+1*~x3[=0]*x932[=0]+1*~x3[=0]*x483[=1]+1*~x3[=0]*x135[=1]+1*~x3[=0]*x910[=0]+1*~x3[=0]*x160[=1]+1*~x3[=0]*x987[=0]+1*~x3[=0]*x321[=1]+1*~x3[=0]*x57[=1]+1*~x3[=0]*x352[=1]+1*~x3[=0]*x37[=1]+1*~x3[=0]*x810[=1]+1*~x3[=0]*x724[=1]+1*~x3[=0]*x869[=1]+1*~x3[=0]*x421[=1]+1*~x3[=0]*x849[=1]+1*~x3[=0]*x638[=1]+1*~x3[=0]*x365[=1]+1*~x3[=0]*x27[=1]+1*~x3[=0]*x578[=1]+1*~x3[=0]*x101[=1]+1*~x3[=0]*x190[=1]+1*~x3[=0]*x756[=1]+1*~x3[=0]*x155[=1]+1*~x3[=0]*x5[=1]+1*~x3[=0]*x139[=1]+1*~x3[=0]*x933[=0]+1*~x3[=0]*x560[=1]+1*~x3[=0]*x577[=1]+1*~x3[=0]*x182[=1]+1*~x3[=0]*x860[=1]+1*~x3[=0]*x519[=1]+1*~x3[=0]*x317[=1]+1*~x3[=0]*x770[=1]+1*~x3[=0]*x679[=1]+1*~x3[=0]*x303[=1]+1*~x3[=0]*x90[=1]+1*~x3[=0]*x87[=1]+1*~x3[=0]*x6[=1]+1*~x3[=0]*x479[=1]+1*~x3[=0]*x896[=0]+1*~x3[=0]*x730[=1]+1*~x3[=0]*x347[=1]+1*~x3[=0]*x674[=1]+1*~x3[=0]*x502[=1]+1*~x3[=0]*x20[=1]+1*~x3[=0]*x62[=1]+1*~x3[=0]*x63[=1]+1*~x3[=0]*x100[=1]+1*~x3[=0]*x107[=1]+1*~x3[=0]*x156[=1]+1*~x3[=0]*x172[=1]+1*~x3[=0]*x181[=1]+1*~x3[=0]*x186[=1]+1*~x3[=0]*x194[=1]+1*~x3[=0]*x230[=1]+1*~x3[=0]*x276[=1]+1*~x3[=0]*x290[=1]+1*~x3[=0]*x312[=1]+1*~x3[=0]*x313[=1]+1*~x3[=0]*x338[=1]+1*~x3[=0]*x340[=1]+1*~x3[=0]*x348[=1]+1*~x3[=0]*x433[=1]+1*~x3[=0]*x453[=1]+1*~x3[=0]*x515[=1]+1*~x3[=0]*x525[=1]+1*~x3[=0]*x586[=1]+1*~x3[=0]*x615[=1]+1*~x3[=0]*x751[=1]+1*~x3[=0]*x754[=1]+1*~x3[=0]*x789[=1]+1*~x3[=0]*x837[=1]+1*~x3[=0]*x979[=0]+1*~x3[=0]*x993[=0]+1*x3[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453100-1178115524/instance-453100-1178115524.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-453100-1178115524 -o ROOT/results/node3/solver-453100-1178115524 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453100-1178115524.opb /tmp/evaluation/453100-1178115524/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.85 0.97 0.90 3/77 12478
/proc/meminfo: memFree=1774368/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=12268 CPUtime=0
/proc/12478/stat : 12478 (pbclasp) D 12476 12478 12024 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 287590464 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233632922213 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/12478/statm: 3067 317 242 3 0 167 0

[startup+0.0793591 s]
/proc/loadavg: 0.85 0.97 0.90 3/77 12478
/proc/meminfo: memFree=1774368/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15788 CPUtime=0.07
/proc/12478/stat : 12478 (pbclasp) R 12476 12478 12024 0 -1 4194304 1307 0 0 0 7 0 0 0 18 0 1 0 287590464 16166912 1274 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233632600801 0 0 4224 16384 0 0 0 17 1 0 0
/proc/12478/statm: 3947 1274 320 3 0 1047 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15788

[startup+0.101364 s]
/proc/loadavg: 0.85 0.97 0.90 3/77 12478
/proc/meminfo: memFree=1774368/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15788 CPUtime=0.07
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 287590464 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641652322 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12478/statm: 3947 1286 324 3 0 1047 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15788

[startup+0.301393 s]
/proc/loadavg: 0.85 0.97 0.90 3/77 12478
/proc/meminfo: memFree=1774368/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15788 CPUtime=0.07
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 287590464 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641652322 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12478/statm: 3947 1286 324 3 0 1047 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15788

[startup+0.701458 s]
/proc/loadavg: 0.85 0.97 0.90 3/77 12478
/proc/meminfo: memFree=1774368/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15788 CPUtime=0.07
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 287590464 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641652322 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12478/statm: 3947 1286 324 3 0 1047 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15788

[startup+1.50259 s]
/proc/loadavg: 0.86 0.97 0.90 2/80 12481
/proc/meminfo: memFree=1768968/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15788 CPUtime=0.07
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 287590464 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641652322 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12478/statm: 3947 1286 324 3 0 1047 0
[pid=12480] ppid=12478 vsize=5356 CPUtime=0
/proc/12480/stat : 12480 (sh) S 12478 12478 12024 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 287590472 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12480/statm: 1339 231 193 169 0 50 0
[pid=12481] ppid=12480 vsize=12400 CPUtime=1.41
/proc/12481/stat : 12481 (pb2clasp1) R 12480 12478 12024 0 -1 4194304 505 0 0 0 141 0 0 0 25 0 1 0 287590472 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233652710779 0 0 4224 0 0 0 0 17 1 0 0
/proc/12481/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33544

[startup+3.10185 s]
/proc/loadavg: 0.86 0.97 0.90 2/80 12481
/proc/meminfo: memFree=1768136/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15788 CPUtime=0.07
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 287590464 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641652322 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12478/statm: 3947 1286 324 3 0 1047 0
[pid=12480] ppid=12478 vsize=5356 CPUtime=0
/proc/12480/stat : 12480 (sh) S 12478 12478 12024 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 287590472 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12480/statm: 1339 231 193 169 0 50 0
[pid=12481] ppid=12480 vsize=12400 CPUtime=3.01
/proc/12481/stat : 12481 (pb2clasp1) R 12480 12478 12024 0 -1 4194304 505 0 0 0 300 1 0 0 25 0 1 0 287590472 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233652834945 0 0 4224 0 0 0 0 17 1 0 0
/proc/12481/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33544

[startup+6.30237 s]
/proc/loadavg: 0.86 0.97 0.90 2/80 12481
/proc/meminfo: memFree=1766728/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15788 CPUtime=0.07
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 287590464 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641652322 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/12478/statm: 3947 1286 324 3 0 1047 0
[pid=12480] ppid=12478 vsize=5356 CPUtime=0
/proc/12480/stat : 12480 (sh) S 12478 12478 12024 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 287590472 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12480/statm: 1339 231 193 169 0 50 0
[pid=12481] ppid=12480 vsize=12400 CPUtime=6.2
/proc/12481/stat : 12481 (pb2clasp1) R 12480 12478 12024 0 -1 4194304 505 0 0 0 619 1 0 0 25 0 1 0 287590472 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 233652713954 0 0 4224 0 0 0 0 17 1 0 0
/proc/12481/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 33544

[startup+12.7014 s]
/proc/loadavg: 0.88 0.97 0.90 3/80 12481
/proc/meminfo: memFree=1763336/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15920 CPUtime=12.14
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1455 1597 0 0 7 1 1197 9 17 0 1 0 287590464 16302080 1328 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 3980 1328 343 3 0 1080 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 15920

[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.90 2/80 12488
/proc/meminfo: memFree=1584328/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15920 CPUtime=12.14
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1455 1597 0 0 7 1 1197 9 17 0 1 0 287590464 16302080 1328 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 3980 1328 343 3 0 1080 0
[pid=12486] ppid=12478 vsize=5356 CPUtime=0.02
/proc/12486/stat : 12486 (sh) S 12478 12478 12024 0 -1 4194304 287 122 0 0 0 0 0 2 16 0 1 0 287591680 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12486/statm: 1339 225 188 169 0 50 0
[pid=12488] ppid=12486 vsize=177188 CPUtime=13.3
/proc/12488/stat : 12488 (clasp) R 12486 12478 12024 0 -1 4194304 45096 0 0 0 1309 21 0 0 25 0 1 0 287591680 181440512 42765 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/12488/statm: 44297 42765 194 154 0 43767 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 198464

[startup+51.1016 s]
/proc/loadavg: 0.94 0.97 0.90 2/80 12504
/proc/meminfo: memFree=1579784/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15920 CPUtime=39.87
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 1754 96495 0 0 10 1 3902 74 16 0 1 0 287590464 16302080 1346 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 3980 1346 343 3 0 1080 0
[pid=12502] ppid=12478 vsize=5356 CPUtime=0.01
/proc/12502/stat : 12502 (sh) S 12478 12478 12024 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 287594460 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12502/statm: 1339 225 188 169 0 50 0
[pid=12504] ppid=12502 vsize=179740 CPUtime=11.1
/proc/12504/stat : 12504 (clasp) R 12502 12478 12024 0 -1 4194304 47121 0 0 0 1090 20 0 0 25 0 1 0 287594461 184053760 43697 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629578 0 0 4096 0 0 0 0 17 1 0 0
/proc/12504/statm: 44935 43697 196 154 0 44405 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 201016

[startup+102.307 s]
/proc/loadavg: 0.97 0.97 0.91 2/81 12536
/proc/meminfo: memFree=1649024/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15920 CPUtime=96.09
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 2280 291537 0 0 16 1 9390 202 16 0 1 0 287590464 16302080 1350 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 3980 1350 343 3 0 1080 0
[pid=12534] ppid=12478 vsize=5356 CPUtime=0
/proc/12534/stat : 12534 (sh) S 12478 12478 12024 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 287600085 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12534/statm: 1339 225 188 169 0 50 0
[pid=12535] ppid=12534 vsize=2520 CPUtime=0.01
/proc/12535/stat : 12535 (cat) S 12534 12478 12024 0 -1 4194304 120 0 0 0 0 1 0 0 15 0 1 0 287600085 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 233632923874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/12535/statm: 630 87 71 4 0 42 0
[pid=12536] ppid=12534 vsize=108124 CPUtime=6.07
/proc/12536/stat : 12536 (clasp) R 12534 12478 12024 0 -1 4194304 26849 0 0 0 595 12 0 0 25 0 1 0 287600085 110718976 26584 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135029530 0 0 4096 0 0 0 0 17 1 0 0
/proc/12536/statm: 27031 26584 176 154 0 26501 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 131920

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/81 12568
/proc/meminfo: memFree=1632576/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=15920 CPUtime=152.94
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 2814 490932 0 0 24 2 14932 336 17 0 1 0 287590464 16302080 1353 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 3980 1353 343 3 0 1080 0
[pid=12566] ppid=12478 vsize=5356 CPUtime=0.02
/proc/12566/stat : 12566 (sh) S 12478 12478 12024 0 -1 4194304 288 122 0 0 0 0 0 2 16 0 1 0 287605772 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12566/statm: 1339 225 188 169 0 50 0
[pid=12568] ppid=12566 vsize=161128 CPUtime=9.19
/proc/12568/stat : 12568 (clasp) R 12566 12478 12024 0 -1 4194304 41535 0 0 0 899 20 0 0 25 0 1 0 287605772 164995072 39439 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 11390562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12568/statm: 40282 39439 194 154 0 39752 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 182404

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/80 12600
/proc/meminfo: memFree=1569096/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16060 CPUtime=210.4
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 3366 693853 0 0 34 3 20533 470 16 0 1 0 287590464 16445440 1361 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4015 1361 343 3 0 1115 0
[pid=12598] ppid=12478 vsize=5356 CPUtime=0.02
/proc/12598/stat : 12598 (sh) S 12478 12478 12024 0 -1 4194304 288 122 0 0 0 0 0 2 16 0 1 0 287611518 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12598/statm: 1339 225 188 169 0 50 0
[pid=12600] ppid=12598 vsize=189504 CPUtime=11.71
/proc/12600/stat : 12600 (clasp) R 12598 12478 12024 0 -1 4194304 49839 0 0 0 1148 23 0 0 25 0 1 0 287611519 194052096 46412 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/12600/statm: 47376 46412 196 154 0 46846 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 210920

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/80 12632
/proc/meminfo: memFree=1572104/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16060 CPUtime=268.34
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 3924 900091 0 0 47 3 26176 608 17 0 1 0 287590464 16445440 1362 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4015 1362 343 3 0 1115 0
[pid=12630] ppid=12478 vsize=5356 CPUtime=0.02
/proc/12630/stat : 12630 (sh) S 12478 12478 12024 0 -1 4194304 288 122 0 0 0 0 0 2 16 0 1 0 287617316 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12630/statm: 1339 225 188 169 0 50 0
[pid=12632] ppid=12630 vsize=188720 CPUtime=13.75
/proc/12632/stat : 12632 (clasp) R 12630 12478 12024 0 -1 4194304 49081 0 0 0 1353 22 0 0 25 0 1 0 287617316 193249280 45658 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629572 0 0 4096 0 0 0 0 17 1 0 0
/proc/12632/statm: 47180 45658 196 154 0 46650 0

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

/proc/meminfo: memFree=1489992/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1721.09
/proc/12478/stat : 12478 (pbclasp) R 12476 12478 12024 0 -1 4194304 20423 6524414 0 0 1610 24 166344 4131 17 0 1 0 287590464 16887808 1466 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233632634355 0 0 4224 16384 0 0 0 17 0 0 0
/proc/12478/statm: 4123 1466 343 3 0 1223 0
Current children cumulated CPU time (s) 1721.09
Current children cumulated vsize (KiB) 16492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/81 13386
/proc/meminfo: memFree=1595776/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1773.35
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21209 6746497 0 0 1727 25 171308 4275 17 0 1 0 287590464 16887808 1467 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1467 343 3 0 1223 0
[pid=13384] ppid=12478 vsize=5356 CPUtime=0
/proc/13384/stat : 13384 (sh) S 12478 12478 12024 0 -1 4194304 288 0 0 0 0 0 0 0 19 0 1 0 287767922 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13384/statm: 1339 225 188 169 0 50 0
[pid=13385] ppid=13384 vsize=2520 CPUtime=0.02
/proc/13385/stat : 13385 (cat) S 13384 12478 12024 0 -1 4194304 120 0 0 0 0 2 0 0 15 0 1 0 287767923 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 233632923874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13385/statm: 630 87 71 4 0 42 0
[pid=13386] ppid=13384 vsize=161004 CPUtime=7.67
/proc/13386/stat : 13386 (clasp) R 13384 12478 12024 0 -1 4194304 41481 0 0 0 749 18 0 0 25 0 1 0 287767923 164868096 39572 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134656401 0 0 4096 0 0 0 0 17 1 0 0
/proc/13386/statm: 40251 39572 184 154 0 39721 0
Current children cumulated CPU time (s) 1781.04
Current children cumulated vsize (KiB) 185372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/80 13394
/proc/meminfo: memFree=1593928/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1790.8
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21453 6820705 0 0 1765 25 172971 4319 17 0 1 0 287590464 16887808 1467 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1467 343 3 0 1223 0
[pid=13392] ppid=12478 vsize=5356 CPUtime=0.01
/proc/13392/stat : 13392 (sh) S 12478 12478 12024 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 287769669 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13392/statm: 1339 225 188 169 0 50 0
[pid=13394] ppid=13392 vsize=159296 CPUtime=9.23
/proc/13394/stat : 13394 (clasp) R 13392 12478 12024 0 -1 4194304 41696 0 0 0 904 19 0 0 25 0 1 0 287769669 163119104 39361 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134755034 0 0 4096 0 0 0 0 17 1 0 0
/proc/13394/statm: 39824 39361 188 154 0 39294 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 181144

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

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/80 13394
/proc/meminfo: memFree=1593928/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1790.8
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21453 6820705 0 0 1765 25 172971 4319 17 0 1 0 287590464 16887808 1467 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1467 343 3 0 1223 0
[pid=13392] ppid=12478 vsize=5356 CPUtime=0.01
/proc/13392/stat : 13392 (sh) S 12478 12478 12024 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 287769669 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13392/statm: 1339 225 188 169 0 50 0
[pid=13394] ppid=13392 vsize=159296 CPUtime=9.23
/proc/13394/stat : 13394 (clasp) R 13392 12478 12024 0 -1 4194304 41696 0 0 0 904 19 0 0 25 0 1 0 287769669 163119104 39361 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134755034 0 0 4096 0 0 0 0 17 1 0 0
/proc/13394/statm: 39824 39361 188 154 0 39294 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 181144

# WARNING:
# current cumulated CPU time (1790.89 s) is less than in the last sample (1800.04 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (9.15002 s) to the 'lost time'.

[startup+1801.42 s]
/proc/loadavg: 1.00 1.00 0.93 2/80 13394
/proc/meminfo: memFree=1593928/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1790.89
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21681 6822485 0 0 1765 25 172972 4327 16 0 1 0 287590464 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1479 343 3 0 1223 0
Current children cumulated CPU time (s) 1790.89
Current children cumulated vsize (KiB) 16492

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.42 s]
/proc/loadavg: 1.00 1.00 0.93 2/80 13394
/proc/meminfo: memFree=1593928/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1790.89
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21681 6822485 0 0 1765 25 172972 4327 16 0 1 0 287590464 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1479 343 3 0 1223 0
Current children cumulated CPU time (s) 1790.89
Current children cumulated vsize (KiB) 16492

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 0.93 2/82 13405
/proc/meminfo: memFree=1749880/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1790.89
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21681 6822485 0 0 1765 25 172972 4327 16 0 1 0 287590464 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1479 343 3 0 1223 0
[pid=13403] ppid=12478 vsize=5356 CPUtime=0
/proc/13403/stat : 13403 (sh) S 12478 12478 12024 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 287770602 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13403/statm: 1339 225 188 169 0 50 0
[pid=13404] ppid=13403 vsize=2520 CPUtime=0
/proc/13404/stat : 13404 (cat) S 13403 12478 12024 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 287770602 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 233632923874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13404/statm: 630 87 71 4 0 42 0
[pid=13405] ppid=13403 vsize=8512 CPUtime=0.8
/proc/13405/stat : 13405 (clasp) R 13403 12478 12024 0 -1 4194304 1795 0 0 0 80 0 0 0 25 0 1 0 287770602 8716288 1757 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 11391958 0 0 4096 0 0 0 0 17 1 0 0
/proc/13405/statm: 2128 1757 173 154 0 1598 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (KiB) 32880

[startup+1803 s]
/proc/loadavg: 1.00 1.00 0.93 2/82 13405
/proc/meminfo: memFree=1732216/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1790.89
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21681 6822485 0 0 1765 25 172972 4327 16 0 1 0 287590464 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1479 343 3 0 1223 0
[pid=13403] ppid=12478 vsize=5356 CPUtime=0
/proc/13403/stat : 13403 (sh) S 12478 12478 12024 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 287770602 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13403/statm: 1339 225 188 169 0 50 0
[pid=13404] ppid=13403 vsize=2520 CPUtime=0
/proc/13404/stat : 13404 (cat) S 13403 12478 12024 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 287770602 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 233632923874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13404/statm: 630 87 71 4 0 42 0
[pid=13405] ppid=13403 vsize=24752 CPUtime=1.6
/proc/13405/stat : 13405 (clasp) R 13403 12478 12024 0 -1 4194304 5831 0 0 0 158 2 0 0 25 0 1 0 287770602 25346048 5793 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 11297333 0 0 4096 0 0 0 0 17 1 0 0
/proc/13405/statm: 6188 5793 173 154 0 5658 0
Current children cumulated CPU time (s) 1792.49
Current children cumulated vsize (KiB) 49120

[startup+1803.2 s]
/proc/loadavg: 1.00 1.00 0.93 2/82 13405
/proc/meminfo: memFree=1732216/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1790.89
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21681 6822485 0 0 1765 25 172972 4327 16 0 1 0 287590464 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1479 343 3 0 1223 0
[pid=13403] ppid=12478 vsize=5356 CPUtime=0
/proc/13403/stat : 13403 (sh) S 12478 12478 12024 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 287770602 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13403/statm: 1339 225 188 169 0 50 0
[pid=13404] ppid=13403 vsize=2520 CPUtime=0
/proc/13404/stat : 13404 (cat) S 13403 12478 12024 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 287770602 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 233632923874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13404/statm: 630 87 71 4 0 42 0
[pid=13405] ppid=13403 vsize=28864 CPUtime=1.8
/proc/13405/stat : 13405 (clasp) R 13403 12478 12024 0 -1 4194304 6873 0 0 0 177 3 0 0 25 0 1 0 287770602 29556736 6802 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135030881 0 0 4096 0 0 0 0 17 1 0 0
/proc/13405/statm: 7216 6802 173 154 0 6686 0
Current children cumulated CPU time (s) 1792.69
Current children cumulated vsize (KiB) 53232

[startup+1803.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/82 13405
/proc/meminfo: memFree=1732216/2055920 swapFree=4139076/4192956
[pid=12478] ppid=12476 vsize=16492 CPUtime=1790.89
/proc/12478/stat : 12478 (pbclasp) S 12476 12478 12024 0 -1 4194304 21681 6822485 0 0 1765 25 172972 4327 16 0 1 0 287590464 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/12478/statm: 4123 1479 343 3 0 1223 0
[pid=13403] ppid=12478 vsize=5356 CPUtime=0
/proc/13403/stat : 13403 (sh) S 12478 12478 12024 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 287770602 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13403/statm: 1339 225 188 169 0 50 0
[pid=13404] ppid=13403 vsize=2520 CPUtime=0
/proc/13404/stat : 13404 (cat) S 13403 12478 12024 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 287770602 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 233632923874 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13404/statm: 630 87 71 4 0 42 0
[pid=13405] ppid=13403 vsize=30872 CPUtime=1.9
/proc/13405/stat : 13405 (clasp) R 13403 12478 12024 0 -1 4194304 7379 0 0 0 187 3 0 0 25 0 1 0 287770602 31612928 7308 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/13405/statm: 7718 7309 173 154 0 7188 0
Current children cumulated CPU time (s) 1792.79
Current children cumulated vsize (KiB) 55240

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 9.15002
#  lost CPU user time (s): 9.03003
#  lost CPU system time (s): 0.119995

Real time (s): 1803.33
CPU time (s): 1802.01
CPU user time (s): 1758.3
CPU system time (s): 43.7104
CPU usage (%): 99.9268
Max. virtual memory (cumulated for all children) (KiB): 293420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.27
system time used= 43.5904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6852798
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= 215335
involuntary context switches= 197773

runsolver used 1.66075 second user time and 4.91625 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Wed May  2 14:18:44 UTC 2007

IDJOB= 453100
IDBENCH= 48108
IDSOLVER= 158
FILE ID= node3/453100-1178115524

PBS_JOBID= 4751025

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_60_4.opb
COMMAND LINE= pbclasp instance-453100-1178115524.opb /tmp/evaluation/453100-1178115524/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node3/convwatcher-453100-1178115524 -o ROOT/results/node3/conversion-453100-1178115524 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453100-1178115524/instance-453100-1178115524.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  ca18e0f90c225db0db25139874012827

RANDOM SEED= 884395198

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1774712 kB
Buffers:        104628 kB
Cached:          80284 kB
SwapCached:      17048 kB
Active:         102460 kB
Inactive:       110052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774712 kB
SwapTotal:     4192956 kB
SwapFree:      4139076 kB
Dirty:            6972 kB
Writeback:           0 kB
Mapped:          32604 kB
Slab:            54224 kB
Committed_AS: 11152100 kB
PageTables:       1784 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= 66543 MiB

End job on node3 on Wed May  2 14:48:51 UTC 2007