Trace number 453220

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. 1801.99 1803.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_1.opb
MD5SUM04b9af5ff2583cb908a8972f40516a9e
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.3
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 constraint110
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)75586
Sum of products size (including duplicates)151172
Number of different products75586
Sum of products size151172

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.91/26.07	o 993
40.02/40.17	o 992
54.10/54.29	o 991
68.29/68.47	o 990
82.52/82.87	o 989
96.82/97.16	o 988
111.11/111.48	o 987
125.51/125.80	o 986
139.90/140.21	o 985
154.27/154.66	o 984
168.67/169.07	o 983
183.15/183.55	o 982
197.65/198.08	o 981
212.26/212.63	o 980
226.73/227.19	o 979
241.35/241.77	o 978
256.04/256.42	o 977
270.61/271.04	o 976
285.20/285.70	o 975
300.00/300.46	o 974
314.81/315.24	o 973
329.61/330.03	o 972
344.40/344.83	o 971
359.30/359.81	o 970
374.11/374.79	o 969
389.11/389.71	o 968
404.02/404.65	o 967
418.99/419.63	o 966
433.97/434.68	o 965
449.09/449.72	o 964
464.15/464.83	o 963
479.21/479.98	o 962
494.46/495.20	o 961
509.56/510.38	o 960
524.77/525.53	o 959
539.95/540.72	o 958
555.13/555.94	o 957
570.44/571.27	o 956
585.73/586.57	o 955
601.12/601.93	o 954
616.51/617.37	o 953
631.91/632.73	o 952
647.29/648.17	o 951
662.79/663.63	o 950
678.29/679.20	o 949
693.87/694.77	o 948
709.47/710.32	o 947
725.08/726.02	o 946
740.67/741.67	o 945
756.36/757.38	o 944
772.15/773.10	o 943
787.79/788.81	o 942
803.54/804.60	o 941
819.32/820.46	o 940
835.20/836.38	o 939
851.08/852.26	o 938
866.98/868.18	o 937
882.97/884.10	o 936
898.87/900.06	o 935
914.86/916.07	o 934
930.86/932.10	o 933
946.95/948.17	o 932
963.03/964.22	o 931
979.12/980.36	o 930
995.42/996.61	o 929
1011.51/1012.79	o 928
1027.79/1029.00	o 927
1043.89/1045.18	o 926
1060.17/1061.46	o 925
1076.47/1077.78	o 924
1092.85/1094.13	o 923
1109.15/1110.44	o 922
1125.53/1126.82	o 921
1141.93/1143.24	o 920
1158.32/1159.69	o 919
1174.83/1176.19	o 918
1191.32/1192.69	o 917
1207.91/1209.20	o 916
1224.41/1225.76	o 915
1240.99/1242.31	o 914
1257.58/1258.94	o 913
1274.28/1275.61	o 912
1290.87/1292.29	o 911
1307.65/1309.03	o 910
1324.35/1325.74	o 909
1341.14/1342.52	o 908
1357.94/1359.33	o 907
1374.83/1376.25	o 906
1391.72/1393.14	o 905
1408.61/1410.02	o 904
1425.50/1426.97	o 903
1442.49/1443.93	o 902
1459.48/1460.96	o 901
1476.36/1477.87	o 900
1493.46/1494.98	o 899
1510.55/1512.03	o 898
1527.64/1529.11	o 897
1544.74/1546.22	o 896
1561.82/1563.34	o 895
1579.02/1580.57	o 894
1596.21/1597.72	o 893
1613.40/1614.99	o 892
1630.70/1632.27	o 891
1647.98/1649.57	o 890
1665.33/1666.94	o 889
1682.52/1684.16	o 888
1699.92/1701.53	o 887
1717.31/1718.91	o 886
1734.68/1736.37	o 885
1752.18/1753.84	o 884
1769.65/1771.31	o 883
1787.14/1788.80	o 882
1800.02/1801.73	c Somebody sent me a SIGTERM
1800.02/1801.73	s SATISFIABLE
1800.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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.02/1801.73	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 x1197
1800.02/1801.73	v x1198 x1199 x1200 x1201 x1203 x1204 x1205 x1206 x1207 x1209 x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220
1800.02/1801.73	v x1221 x1222 x1223 x1224 x1225 x1226 x1227 x1228 x1229 x1230 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242
1800.02/1801.73	v x1245 x1246 x1247 x1248 x1249 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266
1800.02/1801.73	v x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287
1800.02/1801.73	v x1288 x1289 x1290 x1291 x1292 x1293 x1294 x69407 x69408 x69409 x69410 x69411 x69412 x69413 x69414 x69415 x69416 x69417
1800.02/1801.73	v x69418 x69419 x69420 x69421 x69422 x69423 x69424 x69425 x69426 x69427 x69428 x69429 x69430 x69431 x69432 x69433 x69434
1800.02/1801.73	v x69435 x69436 x69437 x69438 x69439 x69440 x69441 x69442 x69443 x69444 x69445 x69446 x69447 x69448 x69449 x69450 x69451
1800.02/1801.73	v x69452 x69453 x69454 x69455 x69456 x69457 x69458 x69459 x69460 x69461 x69462 x69470 x69471 x69472 x69473 x69474 x69475
1800.02/1801.73	v x69476 x69477 x69478 x69479 x69480 x69481 x69482 x69483 x69484 x69485 x69486 x69487 x69488 x69489 x69490 x69491 x69492
1800.02/1801.73	v x69493 x69494 x69495 x69496 x69497 x69498 x69499 x69500 x69501 x69502 x69503 x69504 x69505 x69506 x69507 x69508 x69509
1800.02/1801.73	v x69510 x69511 x69512 x69513 x69514 x69515 x69516 x69517 x69518 x69519 x69520 x69521 x69522 x69523 x69524 x69525 x69526
1800.02/1801.73	v x69527 x69532 x69533 x69534 x69535 x69536 x69537 x69538 x69539 x69540 x69541 x69542 x69543 x69544 x69545 x69546 x69547
1800.02/1801.73	v x69548 x69549 x69550 x69551 x69552 x69553 x69554 x69555 x69556 x69557 x69558 x69559 x69560 x69561 x69562 x69563 x69564
1800.02/1801.73	v x69565 x69566 x69567 x69568 x69569 x69570 x69571 x69572 x69573 x69574 x69575 x69576 x69577 x69578 x69579 x69580 x69581
1800.02/1801.73	v x69582 x69583 x69584 x69585 x69586 x69587 x69588 x69589 x69590 x69591 x69595 x69596 x69597 x69598 x69599 x69600 x69601
1800.02/1801.73	v x69602 x69603 x69604 x69605 x69606 x69607 x69608 x69609 x69610 x69611 x69612 x69613 x69614 x69615 x69616 x69617 x69618
1800.02/1801.73	v x69619 x69620 x69621 x69622 x69623 x69624 x69625 x69626 x69627 x69628 x69629 x69630 x69631 x69632 x69633 x69634 x69635
1800.02/1801.73	v x69636 x69637 x69638 x69639 x69640 x69641 x69642 x69643 x69644 x69645 x69646 x69647 x69648 x69649 x69650 x69651 x69660
1800.02/1801.73	v x69661 x69662 x69663 x69664 x69665 x69666 x69667 x69668 x69669 x69670 x69671 x69672 x69673 x69674 x69675 x69676 x69677
1800.02/1801.73	v x69678 x69679 x69680 x69681 x69682 x69683 x69684 x69685 x69686 x69687 x69688 x69689 x69690 x69691 x69692 x69693 x69694
1800.02/1801.73	v x69695 x69696 x69697 x69698 x69699 x69700 x69701 x69702 x69703 x69704 x69705 x69706 x69707 x69708 x69709 x69710 x69711
1800.02/1801.73	v x69712 x69713 x69714 x69715 x69716 x69725 x69726 x69727 x69728 x69729 x69730 x69731 x69732 x69733 x69734 x69735 x69736
1800.02/1801.73	v x69737 x69738 x69739 x69740 x69741 x69742 x69743 x69744 x69745 x69746 x69747 x69748 x69749 x69750 x69751 x69752 x69753
1800.02/1801.73	v x69754 x69755 x69756 x69757 x69758 x69759 x69760 x69761 x69762 x69763 x69764 x69765 x69766 x69767 x69768 x69769 x69770
1800.02/1801.73	v x69771 x69772 x69773 x69774 x69775 x69776 x69777 x69778 x69779 x69780 x69781 x69787 x69788 x69789 x69790 x69791 x69792
1800.02/1801.73	v x69793 x69794 x69795 x69796 x69797 x69798 x69799 x69800 x69801 x69802 x69803 x69804 x69805 x69806 x69807 x69808 x69809
1800.02/1801.73	v x69810 x69811 x69812 x69813 x69814 x69815 x69816 x69817 x69818 x69819 x69820 x69821 x69822 x69823 x69824 x69825 x69826
1800.02/1801.73	v x69827 x69828 x69829 x69830 x69831 x69832 x69833 x69834 x69835 x69836 x69837 x69838 x69839 x69840 x69841 x69842 x69843
1800.02/1801.73	v x69844 x69848 x69849 x69850 x69851 x69852 x69853 x69854 x69855 x69856 x69857 x69858 x69859 x69860 x69861 x69862 x69863
1800.02/1801.73	v x69864 x69865 x69866 x69867 x69868 x69869 x69870 x69871 x69872 x69873 x69874 x69875 x69876 x69877 x69878 x69879 x69880
1800.02/1801.73	v x69881 x69882 x69883 x69884 x69885 x69886 x69887 x69888 x69889 x69890 x69891 x69892 x69893 x69894 x69895 x69896 x69897
1800.02/1801.73	v x69898 x69899 x69900 x69901 x69902 x69903 x69904 x69905 x69906 x69909 x69910 x69911 x69912 x69913 x69914 x69915 x69916
1800.02/1801.73	v x69917 x69918 x69919 x69920 x69921 x69922 x69923 x69924 x69925 x69926 x69927 x69928 x69929 x69930 x69931 x69932 x69933
1800.02/1801.73	v x69934 x69935 x69936 x69937 x69938 x69939 x69940 x69941 x69942 x69943 x69944 x69945 x69946 x69947 x69948 x69949 x69950
1800.02/1801.73	v x69951 x69952 x69953 x69954 x69955 x69956 x69957 x69958 x69959 x69960 x69961 x69962 x69963 x69973 x69974 x69975 x69976
1800.02/1801.73	v x69977 x69978 x69979 x69980 x69981 x69982 x69983 x69984 x69985 x69986 x69987 x69988 x69989 x69990 x69991 x69992 x69993
1800.02/1801.73	v x69994 x69995 x69996 x69997 x69998 x69999 x70000 x70001 x70002 x70003 x70004 x70005 x70006 x70007 x70008 x70009 x70010
1800.02/1801.73	v x70011 x70012 x70013 x70014 x70015 x70016 x70017 x70018 x70019 x70020 x70021 x70022 x70023 x70024 x70025 x70026 x70027
1800.02/1801.73	v x70028 x70035 x70036 x70037 x70038 x70039 x70040 x70041 x70042 x70043 x70044 x70045 x70046 x70047 x70048 x70049 x70050
1800.02/1801.73	v x70051 x70052 x70053 x70054 x70055 x70056 x70057 x70058 x70059 x70060 x70061 x70062 x70063 x70064 x70065 x70066 x70067
1800.02/1801.73	v x70068 x70069 x70070 x70071 x70072 x70073 x70074 x70075 x70076 x70077 x70078 x70079 x70080 x70081 x70082 x70083 x70084
1800.02/1801.73	v x70085 x70086 x70087 x70088 x70089 x70090 x70100 x70101 x70102 x70103 x70104 x70105 x70106 x70107 x70108 x70109 x70110
1800.02/1801.73	v x70111 x70112 x70113 x70114 x70115 x70116 x70117 x70118 x70119 x70120 x70121 x70122 x70123 x70124 x70125 x70126 x70127
1800.02/1801.73	v x70128 x70129 x70130 x70131 x70132 x70133 x70134 x70135 x70136 x70137 x70138 x70139 x70140 x70141 x70142 x70143 x70144
1800.02/1801.73	v x70145 x70146 x70147 x70148 x70149 x70150 x70151 x70152 x70153 x70154 x70155 x70161 x70162 x70163 x70164 x70165 x70166
1800.02/1801.73	v x70167 x70168 x70169 x70170 x70171 x70172 x70173 x70174 x70175 x70176 x70177 x70178 x70179 x70180 x70181 x70182 x70183
1800.02/1801.73	v x70184 x70185 x70186 x70187 x70188 x70189 x70190 x70191 x70192 x70193 x70194 x70195 x70196 x70197 x70198 x70199 x70200
1800.02/1801.73	v x70201 x70202 x70203 x70204 x70205 x70206 x70207 x70208 x70209 x70210 x70211 x70212 x70213 x70214 x70215 x70216 x70217
1800.02/1801.73	v x70223 x70224 x70225 x70226 x70227 x70228 x70229 x70230 x70231 x70232 x70233 x70234 x70235 x70236 x70237 x70238 x70239
1800.02/1801.73	v x70240 x70241 x70242 x70243 x70244 x70245 x70246 x70247 x70248 x70249 x70250 x70251 x70252 x70253 x70254 x70255 x70256
1800.02/1801.73	v x70257 x70258 x70259 x70260 x70261 x70262 x70263 x70264 x70265 x70266 x70267 x70268 x70269 x70270 x70271 x70272 x70273
1800.02/1801.73	v x70274 x70275 x70276 x70277 x70278 x70288 x70289 x70290 x70291 x70292 x70293 x70294 x70295 x70296 x70297 x70298 x70299
1800.02/1801.73	v x70300 x70301 x70302 x70303 x70304 x70305 x70306 x70307 x70308 x70309 x70310 x70311 x70312 x70313 x70314 x70315 x70316
1800.02/1801.73	v x70317 x70318 x70319 x70320 x70321 x70322 x70323 x70324 x70325 x70326 x70327 x70328 x70329 x70330 x70331 x70332 x70333
1800.02/1801.73	v x70334 x70335 x70336 x70337 x70338 x70339 x70340 x70341 x70342 x70343 x70344 x70345 x70346 x70350 x70351 x70352 x70353
1800.02/1801.73	v x70354 x70355 x70356 x70357 x70358 x70359 x70360 x70361 x70362 x70363 x70364 x70365 x70366 x70367 x70368 x70369 x70370
1800.02/1801.73	v x70371 x70372 x70373 x70374 x70375 x70376 x70377 x70378 x70379 x70380 x70381 x70382 x70383 x70384 x70385 x70386 x70387
1800.02/1801.73	v x70388 x70389 x70390 x70391 x70392 x70393 x70394 x70395 x70396 x70397 x70398 x70399 x70400 x70401 x70402 x70403 x70404
1800.02/1801.73	v x70405 x70406 x70407 x70408 x70413 x70414 x70415 x70416 x70417 x70418 x70419 x70420 x70421 x70422 x70423 x70424 x70425
1800.02/1801.73	v x70426 x70427 x70428 x70429 x70430 x70431 x70432 x70433 x70434 x70435 x70436 x70437 x70438 x70439 x70440 x70441 x70442
1800.02/1801.73	v x70443 x70444 x70445 x70446 x70447 x70448 x70449 x70450 x70451 x70452 x70453 x70454 x70455 x70456 x70457 x70458 x70459
1800.02/1801.73	v x70460 x70461 x70462 x70463 x70464 x70465 x70477 x70478 x70479 x70480 x70481 x70482 x70483 x70484 x70485 x70486 x70487
1800.02/1801.73	v x70488 x70489 x70490 x70491 x70492 x70493 x70494 x70495 x70496 x70497 x70498 x70499 x70500 x70501 x70502 x70503 x70504
1800.02/1801.73	v x70505 x70506 x70507 x70508 x70509 x70510 x70511 x70512 x70513 x70514 x70515 x70516 x70517 x70518 x70519 x70520 x70521
1800.02/1801.73	v x70522 x70523 x70524 x70525 x70526 x70527 x70528 x70529 x70530 x70539 x70540 x70541 x70542 x70543 x70544 x70545 x70546
1800.02/1801.73	v x70547 x70548 x70549 x70550 x70551 x70552 x70553 x70554 x70555 x70556 x70557 x70558 x70559 x70560 x70561 x70562 x70563
1800.02/1801.73	v x70564 x70565 x70566 x70567 x70568 x70569 x70570 x70571 x70572 x70573 x70574 x70575 x70576 x70577 x70578 x70579 x70580
1800.02/1801.73	v x70581 x70582 x70583 x70584 x70585 x70586 x70587 x70588 x70589 x70590 x70591 x70592 x70593 x70594 x70595 x70602 x70603
1800.02/1801.73	v x70604 x70605 x70606 x70607 x70608 x70609 x70610 x70611 x70612 x70613 x70614 x70615 x70616 x70617 x70618 x70619 x70620
1800.02/1801.73	v x70621 x70622 x70623 x70624 x70625 x70626 x70627 x70628 x70629 x70630 x70631 x70632 x70633 x70634 x70635 x70636 x70637
1800.02/1801.73	v x70638 x70639 x70640 x70641 x70642 x70643 x70644 x70645 x70646 x70647 x70648 x70649 x70650 x70651 x70652 x70653 x70654
1800.02/1801.73	v x70655 x70656 x70657 x70658 x70659 x70664 x70665 x70666 x70667 x70668 x70669 x70670 x70671 x70672 x70673 x70674 x70675
1800.02/1801.73	v x70676 x70677 x70678 x70679 x70680 x70681 x70682 x70683 x70684 x70685 x70686 x70687 x70688 x70689 x70690 x70691 x70692
1800.02/1801.73	v x70693 x70694 x70695 x70696 x70697 x70698 x70699 x70700 x70701 x70702 x70703 x70704 x70705 x70706 x70707 x70708 x70709
1800.02/1801.73	v x70710 x70711 x70712 x70713 x70714 x70715 x70716 x70717 x70718 x70725 x70726 x70727 x70728 x70729 x70730 x70731 x70732
1800.02/1801.73	v x70733 x70734 x70735 x70736 x70737 x70738 x70739 x70740 x70741 x70742 x70743 x70744 x70745 x70746 x70747 x70748 x70749
1800.02/1801.73	v x70750 x70751 x70752 x70753 x70754 x70755 x70756 x70757 x70758 x70759 x70760 x70761 x70762 x70763 x70764 x70765 x70766
1800.02/1801.73	v x70767 x70768 x70769 x70770 x70771 x70772 x70773 x70774 x70775 x70776 x70777 x70778 x70779 x70780 x70781 x70782 x70783
1800.02/1801.73	v x70788 x70789 x70790 x70791 x70792 x70793 x70794 x70795 x70796 x70797 x70798 x70799 x70800 x70801 x70802 x70803 x70804
1800.02/1801.73	v x70805 x70806 x70807 x70808 x70809 x70810 x70811 x70812 x70813 x70814 x70815 x70816 x70817 x70818 x70819 x70820 x70821
1800.02/1801.73	v x70822 x70823 x70824 x70825 x70826 x70827 x70828 x70829 x70830 x70831 x70832 x70833 x70834 x70835 x70836 x70837 x70838
1800.02/1801.73	v x70839 x70840 x70841 x70842 x70850 x70851 x70852 x70853 x70854 x70855 x70856 x70857 x70858 x70859 x70860 x70861 x70862
1800.02/1801.73	v x70863 x70864 x70865 x70866 x70867 x70868 x70869 x70870 x70871 x70872 x70873 x70874 x70875 x70876 x70877 x70878 x70879
1800.02/1801.73	v x70880 x70881 x70882 x70883 x70884 x70885 x70886 x70887 x70888 x70889 x70890 x70891 x70892 x70893 x70894 x70895 x70896
1800.02/1801.73	v x70897 x70898 x70899 x70900 x70913 x70914 x70915 x70916 x70917 x70918 x70919 x70920 x70921 x70922 x70923 x70924 x70925
1800.02/1801.73	v x70926 x70927 x70928 x70929 x70930 x70931 x70932 x70933 x70934 x70935 x70936 x70937 x70938 x70939 x70940 x70941 x70942
1800.02/1801.73	v x70943 x70944 x70945 x70946 x70947 x70948 x70949 x70950 x70951 x70952 x70953 x70954 x70955 x70956 x70957 x70958 x70959
1800.02/1801.73	v x70960 x70961 x70962 x70963 x70964 x70965 x70966 x70967 x70968 x70975 x70976 x70977 x70978 x70979 x70980 x70981 x70982
1800.02/1801.73	v x70983 x70984 x70985 x70986 x70987 x70988 x70989 x70990 x70991 x70992 x70993 x70994 x70995 x70996 x70997 x70998 x70999
1800.02/1801.73	v x71000 x71001 x71002 x71003 x71004 x71005 x71006 x71007 x71008 x71009 x71010 x71011 x71012 x71013 x71014 x71015 x71016
1800.02/1801.73	v x71017 x71018 x71019 x71020 x71021 x71022 x71023 x71024 x71025 x71026 x71027 x71028 x71029 x71030 x71031 x71032 x71037
1800.02/1801.73	v x71038 x71039 x71040 x71041 x71042 x71043 x71044 x71045 x71046 x71047 x71048 x71049 x71050 x71051 x71052 x71053 x71054
1800.02/1801.73	v x71055 x71056 x71057 x71058 x71059 x71060 x71061 x71062 x71063 x71064 x71065 x71066 x71067 x71068 x71069 x71070 x71071
1800.02/1801.73	v x71072 x71073 x71074 x71075 x71076 x71077 x71078 x71079 x71080 x71081 x71082 x71083 x71084 x71085 x71086 x71087 x71088
1800.02/1801.73	v x71089 x71090 x71091 x71092 x71099 x71100 x71101 x71102 x71103 x71104 x71105 x71106 x71107 x71108 x71109 x71110 x71111
1800.02/1801.73	v x71112 x71113 x71114 x71115 x71116 x71117 x71118 x71119 x71120 x71121 x71122 x71123 x71124 x71125 x71126 x71127 x71128
1800.02/1801.73	v x71129 x71130 x71131 x71132 x71133 x71134 x71135 x71136 x71137 x71138 x71139 x71140 x71141 x71142 x71143 x71144 x71145
1800.02/1801.73	v x71146 x71147 x71148 x71149 x71150 x71151 x71152 x71153 x71154 x71162 x71163 x71164 x71165 x71166 x71167 x71168 x71169
1800.02/1801.73	v x71170 x71171 x71172 x71173 x71174 x71175 x71176 x71177 x71178 x71179 x71180 x71181 x71182 x71183 x71184 x71185 x71186
1800.02/1801.73	v x71187 x71188 x71189 x71190 x71191 x71192 x71193 x71194 x71195 x71196 x71197 x71198 x71199 x71200 x71201 x71202 x71203
1800.02/1801.73	v x71204 x71205 x71206 x71207 x71208 x71209 x71210 x71211 x71212 x71213 x71214 x71215 x71216 x71217 x71218 x71219 x71225
1800.02/1801.73	v x71226 x71227 x71228 x71229 x71230 x71231 x71232 x71233 x71234 x71235 x71236 x71237 x71238 x71239 x71240 x71241 x71242
1800.02/1801.73	v x71243 x71244 x71245 x71246 x71247 x71248 x71249 x71250 x71251 x71252 x71253 x71254 x71255 x71256 x71257 x71258 x71259
1800.02/1801.73	v x71260 x71261 x71262 x71263 x71264 x71265 x71266 x71267 x71268 x71269 x71270 x71271 x71272 x71273 x71274 x71275 x71276
1800.02/1801.73	v x71287 x71288 x71289 x71290 x71291 x71292 x71293 x71294 x71295 x71296 x71297 x71298 x71299 x71300 x71301 x71302 x71303
1800.02/1801.73	v x71304 x71305 x71306 x71307 x71308 x71309 x71310 x71311 x71312 x71313 x71314 x71315 x71316 x71317 x71318 x71319 x71320
1800.02/1801.73	v x71321 x71322 x71323 x71324 x71325 x71326 x71327 x71328 x71329 x71330 x71331 x71332 x71333 x71334 x71335 x71336 x71337
1800.02/1801.73	v x71338 x71339 x71340 x71341 x71342 x71353 x71354 x71355 x71356 x71357 x71358 x71359 x71360 x71361 x71362 x71363 x71364
1800.02/1801.73	v x71365 x71366 x71367 x71368 x71369 x71370 x71371 x71372 x71373 x71374 x71375 x71376 x71377 x71378 x71379 x71380 x71381
1800.02/1801.73	v x71382 x71383 x71384 x71385 x71386 x71387 x71388 x71389 x71390 x71391 x71392 x71393 x71394 x71395 x71396 x71397 x71398
1800.02/1801.73	v x71399 x71400 x71401 x71402 x71403 x71404 x71405 x71406 x71407 x71414 x71415 x71416 x71417 x71418 x71419 x71420 x71421
1800.02/1801.73	v x71422 x71423 x71424 x71425 x71426 x71427 x71428 x71429 x71430 x71431 x71432 x71433 x71434 x71435 x71436 x71437 x71438
1800.02/1801.73	v x71439 x71440 x71441 x71442 x71443 x71444 x71445 x71446 x71447 x71448 x71449 x71450 x71451 x71452 x71453 x71454 x71455
1800.02/1801.73	v x71456 x71457 x71458 x71459 x71460 x71461 x71462 x71463 x71464 x71465 x71466 x71467 x71468 x71469 x71476 x71477 x71478
1800.02/1801.73	v x71479 x71480 x71481 x71482 x71483 x71484 x71485 x71486 x71487 x71488 x71489 x71490 x71491 x71492 x71493 x71494 x71495
1800.02/1801.73	v x71496 x71497 x71498 x71499 x71500 x71501 x71502 x71503 x71504 x71505 x71506 x71507 x71508 x71509 x71510 x71511 x71512
1800.02/1801.73	v x71513 x71514 x71515 x71516 x71517 x71518 x71519 x71520 x71521 x71522 x71523 x71524 x71525 x71526 x71527 x71528 x71529
1800.02/1801.73	v x71530 x71531 x71532 x71533 x71537 x71538 x71539 x71540 x71541 x71542 x71543 x71544 x71545 x71546 x71547 x71548 x71549
1800.02/1801.73	v x71550 x71551 x71552 x71553 x71554 x71555 x71556 x71557 x71558 x71559 x71560 x71561 x71562 x71563 x71564 x71565 x71566
1800.02/1801.73	v x71567 x71568 x71569 x71570 x71571 x71572 x71573 x71574 x71575 x71576 x71577 x71578 x71579 x71580 x71581 x71582 x71583
1800.02/1801.73	v x71584 x71585 x71586 x71587 x71588 x71589 x71590 x71597 x71598 x71599 x71600 x71601 x71602 x71603 x71604 x71605 x71606
1800.02/1801.73	v x71607 x71608 x71609 x71610 x71611 x71612 x71613 x71614 x71615 x71616 x71617 x71618 x71619 x71620 x71621 x71622 x71623
1800.02/1801.73	v x71624 x71625 x71626 x71627 x71628 x71629 x71630 x71631 x71632 x71633 x71634 x71635 x71636 x71637 x71638 x71639 x71640
1800.02/1801.73	v x71641 x71642 x71643 x71644 x71645 x71646 x71647 x71648 x71649 x71650 x71651 x71652 x71653 x71654 x71659 x71660 x71661
1800.02/1801.73	v x71662 x71663 x71664 x71665 x71666 x71667 x71668 x71669 x71670 x71671 x71672 x71673 x71674 x71675 x71676 x71677 x71678
1800.02/1801.73	v x71679 x71680 x71681 x71682 x71683 x71684 x71685 x71686 x71687 x71688 x71689 x71690 x71691 x71692 x71693 x71694 x71695
1800.02/1801.73	v x71696 x71697 x71698 x71699 x71700 x71701 x71702 x71703 x71704 x71705 x71706 x71707 x71708 x71709 x71710 x71711 x71712
1800.02/1801.73	v x71713 x71714 x71715 x71721 x71722 x71723 x71724 x71725 x71726 x71727 x71728 x71729 x71730 x71731 x71732 x71733 x71734
1800.02/1801.73	v x71735 x71736 x71737 x71738 x71739 x71740 x71741 x71742 x71743 x71744 x71745 x71746 x71747 x71748 x71749 x71750 x71751
1800.02/1801.73	v x71752 x71753 x71754 x71755 x71756 x71757 x71758 x71759 x71760 x71761 x71762 x71763 x71764 x71765 x71766 x71767 x71768
1800.02/1801.73	v x71769 x71770 x71771 x71772 x71773 x71774 x71775 x71784 x71785 x71786 x71787 x71788 x71789 x71790 x71791 x71792 x71793
1800.02/1801.73	v x71794 x71795 x71796 x71797 x71798 x71799 x71800 x71801 x71802 x71803 x71804 x71805 x71806 x71807 x71808 x71809 x71810
1800.02/1801.73	v x71811 x71812 x71813 x71814 x71815 x71816 x71817 x71818 x71819 x71820 x71821 x71822 x71823 x71824 x71825 x71826 x71827
1800.02/1801.73	v x71828 x71829 x71830 x71831 x71832 x71833 x71834 x71835 x71836 x71837 x71838 x71839 x71840 x71846 x71847 x71848 x71849
1800.02/1801.73	v x71850 x71851 x71852 x71853 x71854 x71855 x71856 x71857 x71858 x71859 x71860 x71861 x71862 x71863 x71864 x71865 x71866
1800.02/1801.73	v x71867 x71868 x71869 x71870 x71871 x71872 x71873 x71874 x71875 x71876 x71877 x71878 x71879 x71880 x71881 x71882 x71883
1800.02/1801.73	v x71884 x71885 x71886 x71887 x71888 x71889 x71890 x71891 x71892 x71893 x71894 x71895 x71896 x71897 x71898 x71899 x71906
1800.02/1801.73	v x71907 x71908 x71909 x71910 x71911 x71912 x71913 x71914 x71915 x71916 x71917 x71918 x71919 x71920 x71921 x71922 x71923
1800.02/1801.73	v x71924 x71925 x71926 x71927 x71928 x71929 x71930 x71931 x71932 x71933 x71934 x71935 x71936 x71937 x71938 x71939 x71940
1800.02/1801.73	v x71941 x71942 x71943 x71944 x71945 x71946 x71947 x71948 x71949 x71950 x71951 x71952 x71953 x71954 x71955 x71956 x71957
1800.02/1801.73	v x71958 x71959 x71960 x71961 x71962 x71963 x71969 x71970 x71971 x71972 x71973 x71974 x71975 x71976 x71977 x71978 x71979
1800.02/1801.73	v x71980 x71981 x71982 x71983 x71984 x71985 x71986 x71987 x71988 x71989 x71990 x71991 x71992 x71993 x71994 x71995 x71996
1800.02/1801.73	v x71997 x71998 x71999 x72000 x72001 x72002 x72003 x72004 x72005 x72006 x72007 x72008 x72009 x72010 x72011 x72012 x72013
1800.02/1801.73	v x72014 x72015 x72016 x72017 x72018 x72019 x72020 x72021 x72022 x72023 x72024 x72030 x72031 x72032 x72033 x72034 x72035
1800.02/1801.73	v x72036 x72037 x72038 x72039 x72040 x72041 x72042 x72043 x72044 x72045 x72046 x72047 x72048 x72049 x72050 x72051 x72052
1800.02/1801.73	v x72053 x72054 x72055 x72056 x72057 x72058 x72059 x72060 x72061 x72062 x72063 x72064 x72065 x72066 x72067 x72068 x72069
1800.02/1801.73	v x72070 x72071 x72072 x72073 x72074 x72075 x72076 x72077 x72078 x72079 x72080 x72081 x72082 x72083 x72084 x72085 x72086
1800.02/1801.73	v x72087 x72093 x72094 x72095 x72096 x72097 x72098 x72099 x72100 x72101 x72102 x72103 x72104 x72105 x72106 x72107 x72108
1800.02/1801.73	v x72109 x72110 x72111 x72112 x72113 x72114 x72115 x72116 x72117 x72118 x72119 x72120 x72121 x72122 x72123 x72124 x72125
1800.02/1801.73	v x72126 x72127 x72128 x72129 x72130 x72131 x72132 x72133 x72134 x72135 x72136 x72137 x72138 x72139 x72140 x72141 x72142
1800.02/1801.73	v x72143 x72144 x72145 x72146 x72147 x72155 x72156 x72157 x72158 x72159 x72160 x72161 x72162 x72163 x72164 x72165 x72166
1800.02/1801.73	v x72167 x72168 x72169 x72170 x72171 x72172 x72173 x72174 x72175 x72176 x72177 x72178 x72179 x72180 x72181 x72182 x72183
1800.02/1801.73	v x72184 x72185 x72186 x72187 x72188 x72189 x72190 x72191 x72192 x72193 x72194 x72195 x72196 x72197 x72198 x72199 x72200
1800.02/1801.73	v x72201 x72202 x72203 x72204 x72205 x72206 x72207 x72208 x72209 x72210 x72211 x72215 x72216 x72217 x72218 x72219 x72220
1800.02/1801.73	v x72221 x72222 x72223 x72224 x72225 x72226 x72227 x72228 x72229 x72230 x72231 x72232 x72233 x72234 x72235 x72236 x72237
1800.02/1801.73	v x72238 x72239 x72240 x72241 x72242 x72243 x72244 x72245 x72246 x72247 x72248 x72249 x72250 x72251 x72252 x72253 x72254
1800.02/1801.73	v x72255 x72256 x72257 x72258 x72259 x72260 x72261 x72262 x72263 x72264 x72265 x72266 x72267 x72268 x72269 x72270 x72271
1800.02/1801.73	v x72272 x72278 x72279 x72280 x72281 x72282 x72283 x72284 x72285 x72286 x72287 x72288 x72289 x72290 x72291 x72292 x72293
1800.02/1801.73	v x72294 x72295 x72296 x72297 x72298 x72299 x72300 x72301 x72302 x72303 x72304 x72305 x72306 x72307 x72308 x72309 x72310
1800.02/1801.73	v x72311 x72312 x72313 x72314 x72315 x72316 x72317 x72318 x72319 x72320 x72321 x72322 x72323 x72324 x72325 x72326 x72327
1800.02/1801.73	v x72328 x72329 x72330 x72331 x72332 x72338 x72339 x72340 x72341 x72342 x72343 x72344 x72345 x72346 x72347 x72348 x72349
1800.02/1801.73	v x72350 x72351 x72352 x72353 x72354 x72355 x72356 x72357 x72358 x72359 x72360 x72361 x72362 x72363 x72364 x72365 x72366
1800.02/1801.73	v x72367 x72368 x72369 x72370 x72371 x72372 x72373 x72374 x72375 x72376 x72377 x72378 x72379 x72380 x72381 x72382 x72383
1800.02/1801.73	v x72384 x72385 x72386 x72387 x72388 x72389 x72390 x72391 x72392 x72393 x72394 x72400 x72401 x72402 x72403 x72404 x72405
1800.02/1801.73	v x72406 x72407 x72408 x72409 x72410 x72411 x72412 x72413 x72414 x72415 x72416 x72417 x72418 x72419 x72420 x72421 x72422
1800.02/1801.73	v x72423 x72424 x72425 x72426 x72427 x72428 x72429 x72430 x72431 x72432 x72433 x72434 x72435 x72436 x72437 x72438 x72439
1800.02/1801.73	v x72440 x72441 x72442 x72443 x72444 x72445 x72446 x72447 x72448 x72449 x72450 x72451 x72452 x72453 x72454 x72463 x72464
1800.02/1801.73	v x72465 x72466 x72467 x72468 x72469 x72470 x72471 x72472 x72473 x72474 x72475 x72476 x72477 x72478 x72479 x72480 x72481
1800.02/1801.73	v x72482 x72483 x72484 x72485 x72486 x72487 x72488 x72489 x72490 x72491 x72492 x72493 x72494 x72495 x72496 x72497 x72498
1800.02/1801.73	v x72499 x72500 x72501 x72502 x72503 x72504 x72505 x72506 x72507 x72508 x72509 x72510 x72511 x72512 x72513 x72514 x72515
1800.02/1801.73	v x72516 x72517 x72518 x72519 x72520 x72524 x72525 x72526 x72527 x72528 x72529 x72530 x72531 x72532 x72533 x72534 x72535
1800.02/1801.73	v x72536 x72537 x72538 x72539 x72540 x72541 x72542 x72543 x72544 x72545 x72546 x72547 x72548 x72549 x72550 x72551 x72552
1800.02/1801.73	v x72553 x72554 x72555 x72556 x72557 x72558 x72559 x72560 x72561 x72562 x72563 x72564 x72565 x72566 x72567 x72568 x72569
1800.02/1801.73	v x72570 x72571 x72572 x72573 x72574 x72575 x72576 x72577 x72585 x72586 x72587 x72588 x72589 x72590 x72591 x72592 x72593
1800.02/1801.73	v x72594 x72595 x72596 x72597 x72598 x72599 x72600 x72601 x72602 x72603 x72604 x72605 x72606 x72607 x72608 x72609 x72610
1800.02/1801.73	v x72611 x72612 x72613 x72614 x72615 x72616 x72617 x72618 x72619 x72620 x72621 x72622 x72623 x72624 x72625 x72626 x72627
1800.02/1801.73	v x72628 x72629 x72630 x72631 x72632 x72633 x72634 x72635 x72636 x72637 x72638 x72639 x72640 x72641 x72647 x72648 x72649
1800.02/1801.73	v x72650 x72651 x72652 x72653 x72654 x72655 x72656 x72657 x72658 x72659 x72660 x72661 x72662 x72663 x72664 x72665 x72666
1800.02/1801.73	v x72667 x72668 x72669 x72670 x72671 x72672 x72673 x72674 x72675 x72676 x72677 x72678 x72679 x72680 x72681 x72682 x72683
1800.02/1801.73	v x72684 x72685 x72686 x72687 x72688 x72689 x72690 x72691 x72692 x72693 x72694 x72695 x72696 x72697 x72698 x72699 x72700
1800.02/1801.73	v x72701 x72709 x72710 x72711 x72712 x72713 x72714 x72715 x72716 x72717 x72718 x72719 x72720 x72721 x72722 x72723 x72724
1800.02/1801.73	v x72725 x72726 x72727 x72728 x72729 x72730 x72731 x72732 x72733 x72734 x72735 x72736 x72737 x72738 x72739 x72740 x72741
1800.02/1801.73	v x72742 x72743 x72744 x72745 x72746 x72747 x72748 x72749 x72750 x72751 x72752 x72753 x72754 x72755 x72756 x72757 x72758
1800.02/1801.73	v x72759 x72760 x72761 x72762 x72769 x72770 x72771 x72772 x72773 x72774 x72775 x72776 x72777 x72778 x72779 x72780 x72781
1800.02/1801.73	v x72782 x72783 x72784 x72785 x72786 x72787 x72788 x72789 x72790 x72791 x72792 x72793 x72794 x72795 x72796 x72797 x72798
1800.02/1801.73	v x72799 x72800 x72801 x72802 x72803 x72804 x72805 x72806 x72807 x72808 x72809 x72810 x72811 x72812 x72813 x72814 x72815
1800.02/1801.73	v x72816 x72817 x72818 x72819 x72820 x72821 x72822 x72823 x72824 x72831 x72832 x72833 x72834 x72835 x72836 x72837 x72838
1800.02/1801.73	v x72839 x72840 x72841 x72842 x72843 x72844 x72845 x72846 x72847 x72848 x72849 x72850 x72851 x72852 x72853 x72854 x72855
1800.02/1801.73	v x72856 x72857 x72858 x72859 x72860 x72861 x72862 x72863 x72864 x72865 x72866 x72867 x72868 x72869 x72870 x72871 x72872
1800.02/1801.73	v x72873 x72874 x72875 x72876 x72877 x72878 x72879 x72880 x72881 x72882 x72895 x72896 x72897 x72898 x72899 x72900 x72901
1800.02/1801.73	v x72902 x72903 x72904 x72905 x72906 x72907 x72908 x72909 x72910 x72911 x72912 x72913 x72914 x72915 x72916 x72917 x72918
1800.02/1801.73	v x72919 x72920 x72921 x72922 x72923 x72924 x72925 x72926 x72927 x72928 x72929 x72930 x72931 x72932 x72933 x72934 x72935
1800.02/1801.73	v x72936 x72937 x72938 x72939 x72940 x72941 x72942 x72943 x72944 x72945 x72946 x72947 x72948 x72949 x72950 x72951 x72957
1800.02/1801.73	v x72958 x72959 x72960 x72961 x72962 x72963 x72964 x72965 x72966 x72967 x72968 x72969 x72970 x72971 x72972 x72973 x72974
1800.02/1801.73	v x72975 x72976 x72977 x72978 x72979 x72980 x72981 x72982 x72983 x72984 x72985 x72986 x72987 x72988 x72989 x72990 x72991
1800.02/1801.73	v x72992 x72993 x72994 x72995 x72996 x72997 x72998 x72999 x73000 x73001 x73002 x73003 x73004 x73005 x73006 x73007 x73008
1800.02/1801.73	v x73009 x73010 x73011 x73018 x73019 x73020 x73021 x73022 x73023 x73024 x73025 x73026 x73027 x73028 x73029 x73030 x73031
1800.02/1801.73	v x73032 x73033 x73034 x73035 x73036 x73037 x73038 x73039 x73040 x73041 x73042 x73043 x73044 x73045 x73046 x73047 x73048
1800.02/1801.73	v x73049 x73050 x73051 x73052 x73053 x73054 x73055 x73056 x73057 x73058 x73059 x73060 x73061 x73062 x73063 x73064 x73065
1800.02/1801.73	v x73066 x73067 x73068 x73069 x73070 x73071 x73072 x73073 x73074 x73079 x73080 x73081 x73082 x73083 x73084 x73085 x73086
1800.02/1801.73	v x73087 x73088 x73089 x73090 x73091 x73092 x73093 x73094 x73095 x73096 x73097 x73098 x73099 x73100 x73101 x73102 x73103
1800.02/1801.73	v x73104 x73105 x73106 x73107 x73108 x73109 x73110 x73111 x73112 x73113 x73114 x73115 x73116 x73117 x73118 x73119 x73120
1800.02/1801.73	v x73121 x73122 x73123 x73124 x73125 x73126 x73127 x73128 x73129 x73130 x73131 x73132 x73133 x73134 x73135 x73139 x73140
1800.02/1801.73	v x73141 x73142 x73143 x73144 x73145 x73146 x73147 x73148 x73149 x73150 x73151 x73152 x73153 x73154 x73155 x73156 x73157
1800.02/1801.73	v x73158 x73159 x73160 x73161 x73162 x73163 x73164 x73165 x73166 x73167 x73168 x73169 x73170 x73171 x73172 x73173 x73174
1800.02/1801.73	v x73175 x73176 x73177 x73178 x73179 x73180 x73181 x73182 x73183 x73184 x73185 x73186 x73187 x73188 x73189 x73190 x73191
1800.02/1801.73	v x73192 x73193 x73194 x73201 x73202 x73203 x73204 x73205 x73206 x73207 x73208 x73209 x73210 x73211 x73212 x73213 x73214
1800.02/1801.73	v x73215 x73216 x73217 x73218 x73219 x73220 x73221 x73222 x73223 x73224 x73225 x73226 x73227 x73228 x73229 x73230 x73231
1800.02/1801.73	v x73232 x73233 x73234 x73235 x73236 x73237 x73238 x73239 x73240 x73241 x73242 x73243 x73244 x73245 x73246 x73247 x73248
1800.02/1801.73	v x73249 x73250 x73251 x73252 x73253 x73254 x73255 x73256 x73257 x73261 x73262 x73263 x73264 x73265 x73266 x73267 x73268
1800.02/1801.73	v x73269 x73270 x73271 x73272 x73273 x73274 x73275 x73276 x73277 x73278 x73279 x73280 x73281 x73282 x73283 x73284 x73285
1800.02/1801.73	v x73286 x73287 x73288 x73289 x73290 x73291 x73292 x73293 x73294 x73295 x73296 x73297 x73298 x73299 x73300 x73301 x73302
1800.02/1801.73	v x73303 x73304 x73305 x73306 x73307 x73308 x73309 x73310 x73311 x73312 x73313 x73314 x73315 x73322 x73323 x73324 x73325
1800.02/1801.73	v x73326 x73327 x73328 x73329 x73330 x73331 x73332 x73333 x73334 x73335 x73336 x73337 x73338 x73339 x73340 x73341 x73342
1800.02/1801.73	v x73343 x73344 x73345 x73346 x73347 x73348 x73349 x73350 x73351 x73352 x73353 x73354 x73355 x73356 x73357 x73358 x73359
1800.02/1801.73	v x73360 x73361 x73362 x73363 x73364 x73365 x73366 x73367 x73368 x73369 x73370 x73371 x73372 x73373 x73374 x73375 x73376
1800.02/1801.73	v x73383 x73384 x73385 x73386 x73387 x73388 x73389 x73390 x73391 x73392 x73393 x73394 x73395 x73396 x73397 x73398 x73399
1800.02/1801.73	v x73400 x73401 x73402 x73403 x73404 x73405 x73406 x73407 x73408 x73409 x73410 x73411 x73412 x73413 x73414 x73415 x73416
1800.02/1801.73	v x73417 x73418 x73419 x73420 x73421 x73422 x73423 x73424 x73425 x73426 x73427 x73428 x73429 x73430 x73431 x73432 x73433
1800.02/1801.73	v x73434 x73435 x73436 x73437 x73438 x73445 x73446 x73447 x73448 x73449 x73450 x73451 x73452 x73453 x73454 x73455 x73456
1800.02/1801.73	v x73457 x73458 x73459 x73460 x73461 x73462 x73463 x73464 x73465 x73466 x73467 x73468 x73469 x73470 x73471 x73472 x73473
1800.02/1801.73	v x73474 x73475 x73476 x73477 x73478 x73479 x73480 x73481 x73482 x73483 x73484 x73485 x73486 x73487 x73488 x73489 x73490
1800.02/1801.73	v x73491 x73492 x73493 x73494 x73495 x73496 x73497 x73505 x73506 x73507 x73508 x73509 x73510 x73511 x73512 x73513 x73514
1800.02/1801.73	v x73515 x73516 x73517 x73518 x73519 x73520 x73521 x73522 x73523 x73524 x73525 x73526 x73527 x73528 x73529 x73530 x73531
1800.02/1801.73	v x73532 x73533 x73534 x73535 x73536 x73537 x73538 x73539 x73540 x73541 x73542 x73543 x73544 x73545 x73546 x73547 x73548
1800.02/1801.73	v x73549 x73550 x73551 x73552 x73553 x73554 x73555 x73556 x73557 x73558 x73559 x73560 x73561 x73562 x73565 x73566 x73567
1800.02/1801.73	v x73568 x73569 x73570 x73571 x73572 x73573 x73574 x73575 x73576 x73577 x73578 x73579 x73580 x73581 x73582 x73583 x73584
1800.02/1801.73	v x73585 x73586 x73587 x73588 x73589 x73590 x73591 x73592 x73593 x73594 x73595 x73596 x73597 x73598 x73599 x73600 x73601
1800.02/1801.73	v x73602 x73603 x73604 x73605 x73606 x73607 x73608 x73609 x73610 x73611 x73612 x73613 x73614 x73615 x73616 x73617 x73618
1800.02/1801.73	v x73619 x73620 x73621 x73626 x73627 x73628 x73629 x73630 x73631 x73632 x73633 x73634 x73635 x73636 x73637 x73638 x73639
1800.02/1801.73	v x73640 x73641 x73642 x73643 x73644 x73645 x73646 x73647 x73648 x73649 x73650 x73651 x73652 x73653 x73654 x73655 x73656
1800.02/1801.73	v x73657 x73658 x73659 x73660 x73661 x73662 x73663 x73664 x73665 x73666 x73667 x73668 x73669 x73670 x73671 x73672 x73673
1800.02/1801.73	v x73674 x73675 x73676 x73677 x73678 x73679 x73680 x73687 x73688 x73689 x73690 x73691 x73692 x73693 x73694 x73695 x73696
1800.02/1801.73	v x73697 x73698 x73699 x73700 x73701 x73702 x73703 x73704 x73705 x73706 x73707 x73708 x73709 x73710 x73711 x73712 x73713
1800.02/1801.73	v x73714 x73715 x73716 x73717 x73718 x73719 x73720 x73721 x73722 x73723 x73724 x73725 x73726 x73727 x73728 x73729 x73730
1800.02/1801.73	v x73731 x73732 x73733 x73734 x73735 x73736 x73737 x73738 x73739 x73740 x73741 x73748 x73749 x73750 x73751 x73752 x73753
1800.02/1801.73	v x73754 x73755 x73756 x73757 x73758 x73759 x73760 x73761 x73762 x73763 x73764 x73765 x73766 x73767 x73768 x73769 x73770
1800.02/1801.73	v x73771 x73772 x73773 x73774 x73775 x73776 x73777 x73778 x73779 x73780 x73781 x73782 x73783 x73784 x73785 x73786 x73787
1800.02/1801.73	v x73788 x73789 x73790 x73791 x73792 x73793 x73794 x73795 x73796 x73797 x73798 x73799 x73800 x73801 x73802 x73803 x73808
1800.02/1801.73	v x73809 x73810 x73811 x73812 x73813 x73814 x73815 x73816 x73817 x73818 x73819 x73820 x73821 x73822 x73823 x73824 x73825
1800.02/1801.73	v x73826 x73827 x73828 x73829 x73830 x73831 x73832 x73833 x73834 x73835 x73836 x73837 x73838 x73839 x73840 x73841 x73842
1800.02/1801.73	v x73843 x73844 x73845 x73846 x73847 x73848 x73849 x73850 x73851 x73852 x73853 x73854 x73855 x73856 x73857 x73858 x73859
1800.02/1801.73	v x73860 x73861 x73862 x73863 x73864 x73868 x73869 x73870 x73871 x73872 x73873 x73874 x73875 x73876 x73877 x73878 x73879
1800.02/1801.73	v x73880 x73881 x73882 x73883 x73884 x73885 x73886 x73887 x73888 x73889 x73890 x73891 x73892 x73893 x73894 x73895 x73896
1800.02/1801.73	v x73897 x73898 x73899 x73900 x73901 x73902 x73903 x73904 x73905 x73906 x73907 x73908 x73909 x73910 x73911 x73912 x73913
1800.02/1801.73	v x73914 x73915 x73916 x73917 x73918 x73919 x73920 x73921 x73922 x73923 x73928 x73929 x73930 x73931 x73932 x73933 x73934
1800.02/1801.73	v x73935 x73936 x73937 x73938 x73939 x73940 x73941 x73942 x73943 x73944 x73945 x73946 x73947 x73948 x73949 x73950 x73951
1800.02/1801.73	v x73952 x73953 x73954 x73955 x73956 x73957 x73958 x73959 x73960 x73961 x73962 x73963 x73964 x73965 x73966 x73967 x73968
1800.02/1801.73	v x73969 x73970 x73971 x73972 x73973 x73974 x73975 x73976 x73977 x73978 x73979 x73980 x73981 x73988 x73989 x73990 x73991
1800.02/1801.73	v x73992 x73993 x73994 x73995 x73996 x73997 x73998 x73999 x74000 x74001 x74002 x74003 x74004 x74005 x74006 x74007 x74008
1800.02/1801.73	v x74009 x74010 x74011 x74012 x74013 x74014 x74015 x74016 x74017 x74018 x74019 x74020 x74021 x74022 x74023 x74024 x74025
1800.02/1801.73	v x74026 x74027 x74028 x74029 x74030 x74031 x74032 x74033 x74034 x74035 x74036 x74037 x74038 x74039 x74049 x74050 x74051
1800.02/1801.73	v x74052 x74053 x74054 x74055 x74056 x74057 x74058 x74059 x74060 x74061 x74062 x74063 x74064 x74065 x74066 x74067 x74068
1800.02/1801.73	v x74069 x74070 x74071 x74072 x74073 x74074 x74075 x74076 x74077 x74078 x74079 x74080 x74081 x74082 x74083 x74084 x74085
1800.02/1801.73	v x74086 x74087 x74088 x74089 x74090 x74091 x74092 x74093 x74094 x74095 x74096 x74097 x74098 x74099 x74100 x74101 x74102
1800.02/1801.73	v x74103 x74104 x74105 x74106 x74110 x74111 x74112 x74113 x74114 x74115 x74116 x74117 x74118 x74119 x74120 x74121 x74122
1800.02/1801.73	v x74123 x74124 x74125 x74126 x74127 x74128 x74129 x74130 x74131 x74132 x74133 x74134 x74135 x74136 x74137 x74138 x74139
1800.02/1801.73	v x74140 x74141 x74142 x74143 x74144 x74145 x74146 x74147 x74148 x74149 x74150 x74151 x74152 x74153 x74154 x74155 x74156
1800.02/1801.73	v x74157 x74158 x74159 x74160 x74161 x74162 x74163 x74171 x74172 x74173 x74174 x74175 x74176 x74177 x74178 x74179 x74180
1800.02/1801.73	v x74181 x74182 x74183 x74184 x74185 x74186 x74187 x74188 x74189 x74190 x74191 x74192 x74193 x74194 x74195 x74196 x74197
1800.02/1801.73	v x74198 x74199 x74200 x74201 x74202 x74203 x74204 x74205 x74206 x74207 x74208 x74209 x74210 x74211 x74212 x74213 x74214
1800.02/1801.73	v x74215 x74216 x74217 x74218 x74219 x74220 x74221 x74222 x74223 x74224 x74225 x74226 x74227 x74232 x74233 x74234 x74235
1800.02/1801.73	v x74236 x74237 x74238 x74239 x74240 x74241 x74242 x74243 x74244 x74245 x74246 x74247 x74248 x74249 x74250 x74251 x74252
1800.02/1801.73	v x74253 x74254 x74255 x74256 x74257 x74258 x74259 x74260 x74261 x74262 x74263 x74264 x74265 x74266 x74267 x74268 x74269
1800.02/1801.73	v x74270 x74271 x74272 x74273 x74274 x74275 x74276 x74277 x74278 x74279 x74280 x74281 x74282 x74283 x74284 x74285 x74286
1800.02/1801.73	v x74294 x74295 x74296 x74297 x74298 x74299 x74300 x74301 x74302 x74303 x74304 x74305 x74306 x74307 x74308 x74309 x74310
1800.02/1801.73	v x74311 x74312 x74313 x74314 x74315 x74316 x74317 x74318 x74319 x74320 x74321 x74322 x74323 x74324 x74325 x74326 x74327
1800.02/1801.73	v x74328 x74329 x74330 x74331 x74332 x74333 x74334 x74335 x74336 x74337 x74338 x74339 x74340 x74341 x74342 x74343 x74344
1800.02/1801.73	v x74345 x74356 x74357 x74358 x74359 x74360 x74361 x74362 x74363 x74364 x74365 x74366 x74367 x74368 x74369 x74370 x74371
1800.02/1801.73	v x74372 x74373 x74374 x74375 x74376 x74377 x74378 x74379 x74380 x74381 x74382 x74383 x74384 x74385 x74386 x74387 x74388
1800.02/1801.73	v x74389 x74390 x74391 x74392 x74393 x74394 x74395 x74396 x74397 x74398 x74399 x74400 x74401 x74402 x74403 x74404 x74405
1800.02/1801.73	v x74406 x74407 x74408 x74409 x74416 x74417 x74418 x74419 x74420 x74421 x74422 x74423 x74424 x74425 x74426 x74427 x74428
1800.02/1801.73	v x74429 x74430 x74431 x74432 x74433 x74434 x74435 x74436 x74437 x74438 x74439 x74440 x74441 x74442 x74443 x74444 x74445
1800.02/1801.73	v x74446 x74447 x74448 x74449 x74450 x74451 x74452 x74453 x74454 x74455 x74456 x74457 x74458 x74459 x74460 x74461 x74462
1800.02/1801.73	v x74463 x74464 x74465 x74466 x74467 x74468 x74477 x74478 x74479 x74480 x74481 x74482 x74483 x74484 x74485 x74486 x74487
1800.02/1801.73	v x74488 x74489 x74490 x74491 x74492 x74493 x74494 x74495 x74496 x74497 x74498 x74499 x74500 x74501 x74502 x74503 x74504
1800.02/1801.73	v x74505 x74506 x74507 x74508 x74509 x74510 x74511 x74512 x74513 x74514 x74515 x74516 x74517 x74518 x74519 x74520 x74521
1800.02/1801.73	v x74522 x74523 x74524 x74525 x74526 x74527 x74528 x74529 x74530 x74531 x74532 x74537 x74538 x74539 x74540 x74541 x74542
1800.02/1801.73	v x74543 x74544 x74545 x74546 x74547 x74548 x74549 x74550 x74551 x74552 x74553 x74554 x74555 x74556 x74557 x74558 x74559
1800.02/1801.73	v x74560 x74561 x74562 x74563 x74564 x74565 x74566 x74567 x74568 x74569 x74570 x74571 x74572 x74573 x74574 x74575 x74576
1800.02/1801.73	v x74577 x74578 x74579 x74580 x74581 x74582 x74583 x74584 x74585 x74586 x74587 x74588 x74589 x74590 x74591 x74592 x74598
1800.02/1801.73	v x74599 x74600 x74601 x74602 x74603 x74604 x74605 x74606 x74607 x74608 x74609 x74610 x74611 x74612 x74613 x74614 x74615
1800.02/1801.73	v x74616 x74617 x74618 x74619 x74620 x74621 x74622 x74623 x74624 x74625 x74626 x74627 x74628 x74629 x74630 x74631 x74632
1800.02/1801.73	v x74633 x74634 x74635 x74636 x74637 x74638 x74639 x74640 x74641 x74642 x74643 x74644 x74645 x74646 x74647 x74648 x74649
1800.02/1801.73	v x74650 x74651 x74659 x74660 x74661 x74662 x74663 x74664 x74665 x74666 x74667 x74668 x74669 x74670 x74671 x74672 x74673
1800.02/1801.73	v x74674 x74675 x74676 x74677 x74678 x74679 x74680 x74681 x74682 x74683 x74684 x74685 x74686 x74687 x74688 x74689 x74690
1800.02/1801.73	v x74691 x74692 x74693 x74694 x74695 x74696 x74697 x74698 x74699 x74700 x74701 x74702 x74703 x74704 x74705 x74706 x74707
1800.02/1801.73	v x74708 x74709 x74710 x74711 x74712 x74713 x74714 x74715 x74719 x74720 x74721 x74722 x74723 x74724 x74725 x74726 x74727
1800.02/1801.73	v x74728 x74729 x74730 x74731 x74732 x74733 x74734 x74735 x74736 x74737 x74738 x74739 x74740 x74741 x74742 x74743 x74744
1800.02/1801.73	v x74745 x74746 x74747 x74748 x74749 x74750 x74751 x74752 x74753 x74754 x74755 x74756 x74757 x74758 x74759 x74760 x74761
1800.02/1801.73	v x74762 x74763 x74764 x74765 x74766 x74767 x74768 x74769 x74770 x74771 x74772 x74773 x74774 x74779 x74780 x74781 x74782
1800.02/1801.73	v x74783 x74784 x74785 x74786 x74787 x74788 x74789 x74790 x74791 x74792 x74793 x74794 x74795 x74796 x74797 x74798 x74799
1800.02/1801.73	v x74800 x74801 x74802 x74803 x74804 x74805 x74806 x74807 x74808 x74809 x74810 x74811 x74812 x74813 x74814 x74815 x74816
1800.02/1801.73	v x74817 x74818 x74819 x74820 x74821 x74822 x74823 x74824 x74825 x74826 x74827 x74828 x74829 x74830 x74831 x74832 x74839
1800.02/1801.73	v x74840 x74841 x74842 x74843 x74844 x74845 x74846 x74847 x74848 x74849 x74850 x74851 x74852 x74853 x74854 x74855 x74856
1800.02/1801.73	v x74857 x74858 x74859 x74860 x74861 x74862 x74863 x74864 x74865 x74866 x74867 x74868 x74869 x74870 x74871 x74872 x74873
1800.02/1801.73	v x74874 x74875 x74876 x74877 x74878 x74879 x74880 x74881 x74882 x74883 x74884 x74885 x74886 x74887 x74888 x74889 x74890
1800.02/1801.73	v x74891 x74892 x74899 x74900 x74901 x74902 x74903 x74904 x74905 x74906 x74907 x74908 x74909 x74910 x74911 x74912 x74913
1800.02/1801.73	v x74914 x74915 x74916 x74917 x74918 x74919 x74920 x74921 x74922 x74923 x74924 x74925 x74926 x74927 x74928 x74929 x74930
1800.02/1801.73	v x74931 x74932 x74933 x74934 x74935 x74936 x74937 x74938 x74939 x74940 x74941 x74942 x74943 x74944 x74945 x74946 x74947
1800.02/1801.73	v x74948 x74949 x74950 x74951 x74952 x74953 x74959 x74960 x74961 x74962 x74963 x74964 x74965 x74966 x74967 x74968 x74969
1800.02/1801.73	v x74970 x74971 x74972 x74973 x74974 x74975 x74976 x74977 x74978 x74979 x74980 x74981 x74982 x74983 x74984 x74985 x74986
1800.02/1801.73	v x74987 x74988 x74989 x74990 x74991 x74992 x74993 x74994 x74995 x74996 x74997 x74998 x74999 x75000 x75001 x75002 x75003
1800.02/1801.73	v x75004 x75005 x75006 x75007 x75008 x75009 x75010 x75011 x75012 x75013 x75014 x75015 x75016 x75019 x75020 x75021 x75022
1800.02/1801.73	v x75023 x75024 x75025 x75026 x75027 x75028 x75029 x75030 x75031 x75032 x75033 x75034 x75035 x75036 x75037 x75038 x75039
1800.02/1801.73	v x75040 x75041 x75042 x75043 x75044 x75045 x75046 x75047 x75048 x75049 x75050 x75051 x75052 x75053 x75054 x75055 x75056
1800.02/1801.73	v x75057 x75058 x75059 x75060 x75061 x75062 x75063 x75064 x75065 x75066 x75067 x75068 x75069 x75070 x75071 x75079 x75080
1800.02/1801.73	v x75081 x75082 x75083 x75084 x75085 x75086 x75087 x75088 x75089 x75090 x75091 x75092 x75093 x75094 x75095 x75096 x75097
1800.02/1801.73	v x75098 x75099 x75100 x75101 x75102 x75103 x75104 x75105 x75106 x75107 x75108 x75109 x75110 x75111 x75112 x75113 x75114
1800.02/1801.73	v x75115 x75116 x75117 x75118 x75119 x75120 x75121 x75122 x75123 x75124 x75125 x75126 x75127 x75128 x75129 x75130 x75131
1800.02/1801.73	v x75132 x75133 x75134 x75135 x75139 x75140 x75141 x75142 x75143 x75144 x75145 x75146 x75147 x75148 x75149 x75150 x75151
1800.02/1801.73	v x75152 x75153 x75154 x75155 x75156 x75157 x75158 x75159 x75160 x75161 x75162 x75163 x75164 x75165 x75166 x75167 x75168
1800.02/1801.73	v x75169 x75170 x75171 x75172 x75173 x75174 x75175 x75176 x75177 x75178 x75179 x75180 x75181 x75182 x75183 x75184 x75185
1800.02/1801.73	v x75186 x75187 x75188 x75189 x75190 x75191 x75192 x75193 x75194 x75199 x75200 x75201 x75202 x75203 x75204 x75205 x75206
1800.02/1801.73	v x75207 x75208 x75209 x75210 x75211 x75212 x75213 x75214 x75215 x75216 x75217 x75218 x75219 x75220 x75221 x75222 x75223
1800.02/1801.73	v x75224 x75225 x75226 x75227 x75228 x75229 x75230 x75231 x75232 x75233 x75234 x75235 x75236 x75237 x75238 x75239 x75240
1800.02/1801.73	v x75241 x75242 x75243 x75244 x75245 x75246 x75247 x75248 x75249 x75250 x75251 x75252 x75253 x75254 x75255 x75262 x75263
1800.02/1801.73	v x75264 x75265 x75266 x75267 x75268 x75269 x75270 x75271 x75272 x75273 x75274 x75275 x75276 x75277 x75278 x75279 x75280
1800.02/1801.73	v x75281 x75282 x75283 x75284 x75285 x75286 x75287 x75288 x75289 x75290 x75291 x75292 x75293 x75294 x75295 x75296 x75297
1800.02/1801.73	v x75298 x75299 x75300 x75301 x75302 x75303 x75304 x75305 x75306 x75307 x75308 x75309 x75310 x75311 x75312 x75313 x75322
1800.02/1801.73	v x75323 x75324 x75325 x75326 x75327 x75328 x75329 x75330 x75331 x75332 x75333 x75334 x75335 x75336 x75337 x75338 x75339
1800.02/1801.73	v x75340 x75341 x75342 x75343 x75344 x75345 x75346 x75347 x75348 x75349 x75350 x75351 x75352 x75353 x75354 x75355 x75356
1800.02/1801.73	v x75357 x75358 x75359 x75360 x75361 x75362 x75363 x75364 x75365 x75366 x75367 x75368 x75369 x75370 x75371 x75372 x75373
1800.02/1801.73	v x75374 x75375 x75376 x75384 x75385 x75386 x75387 x75388 x75389 x75390 x75391 x75392 x75393 x75394 x75395 x75396 x75397
1800.02/1801.73	v x75398 x75399 x75400 x75401 x75402 x75403 x75404 x75405 x75406 x75407 x75408 x75409 x75410 x75411 x75412 x75413 x75414
1800.02/1801.73	v x75415 x75416 x75417 x75418 x75419 x75420 x75421 x75422 x75423 x75424 x75425 x75426 x75427 x75428 x75429 x75430 x75431
1800.02/1801.73	v x75432 x75433 x75434 x75435 x75436 x75437 x75438 x75439 x75444 x75445 x75446 x75447 x75448 x75449 x75450 x75451 x75452
1800.02/1801.73	v x75453 x75454 x75455 x75456 x75457 x75458 x75459 x75460 x75461 x75462 x75463 x75464 x75465 x75466 x75467 x75468 x75469
1800.02/1801.73	v x75470 x75471 x75472 x75473 x75474 x75475 x75476 x75477 x75478 x75479 x75480 x75481 x75482 x75483 x75484 x75485 x75486
1800.02/1801.73	v x75487 x75488 x75489 x75490 x75491 x75492 x75493 x75494 x75495 x75496 x75497 x75498 x75504 x75505 x75506 x75507 x75508
1800.02/1801.73	v x75509 x75510 x75511 x75512 x75513 x75514 x75515 x75516 x75517 x75518 x75519 x75520 x75521 x75522 x75523 x75524 x75525
1800.02/1801.73	v x75526 x75527 x75528 x75529 x75530 x75531 x75532 x75533 x75534 x75535 x75536 x75537 x75538 x75539 x75540 x75541 x75542
1800.02/1801.73	v x75543 x75544 x75545 x75546 x75547 x75548 x75549 x75550 x75551 x75552 x75553 x75554 x75564 x75565 x75566 x75567 x75568
1800.02/1801.73	v x75569 x75570 x75571 x75572 x75573 x75574 x75575 x75576 x75577 x75578 x75579 x75580 x75581 x75582 x75583 x75584 x75585
1800.02/1801.73	v x75586 x75587 x75588 x75589 x75590 x75591 x75592 x75593 x75594 x75595 x75596 x75597 x75598 x75599 x75600 x75601 x75602
1800.02/1801.73	v x75603 x75604 x75605 x75606 x75607 x75608 x75609 x75610 x75611 x75612 x75613 x75614 x75615 x75616 x75617 x75618 x75626
1800.02/1801.73	v x75627 x75628 x75629 x75630 x75631 x75632 x75633 x75634 x75635 x75636 x75637 x75638 x75639 x75640 x75641 x75642 x75643
1800.02/1801.73	v x75644 x75645 x75646 x75647 x75648 x75649 x75650 x75651 x75652 x75653 x75654 x75655 x75656 x75657 x75658 x75659 x75660
1800.02/1801.73	v x75661 x75662 x75663 x75664 x75665 x75666 x75667 x75668 x75669 x75670 x75671 x75672 x75673 x75674 x75675 x75676 x75677
1800.02/1801.73	v x75678 x75679 x75680 x75681 x75682 x75687 x75688 x75689 x75690 x75691 x75692 x75693 x75694 x75695 x75696 x75697 x75698
1800.02/1801.73	v x75699 x75700 x75701 x75702 x75703 x75704 x75705 x75706 x75707 x75708 x75709 x75710 x75711 x75712 x75713 x75714 x75715
1800.02/1801.73	v x75716 x75717 x75718 x75719 x75720 x75721 x75722 x75723 x75724 x75725 x75726 x75727 x75728 x75729 x75730 x75731 x75732
1800.02/1801.73	v x75733 x75734 x75735 x75736 x75747 x75748 x75749 x75750 x75751 x75752 x75753 x75754 x75755 x75756 x75757 x75758 x75759
1800.02/1801.73	v x75760 x75761 x75762 x75763 x75764 x75765 x75766 x75767 x75768 x75769 x75770 x75771 x75772 x75773 x75774 x75775 x75776
1800.02/1801.73	v x75777 x75778 x75779 x75780 x75781 x75782 x75783 x75784 x75785 x75786 x75787 x75788 x75789 x75790 x75791 x75792 x75793
1800.02/1801.73	v x75794 x75795 x75796 x75797 x75798 x75799 x75808 x75809 x75810 x75811 x75812 x75813 x75814 x75815 x75816 x75817 x75818
1800.02/1801.73	v x75819 x75820 x75821 x75822 x75823 x75824 x75825 x75826 x75827 x75828 x75829 x75830 x75831 x75832 x75833 x75834 x75835
1800.02/1801.73	v x75836 x75837 x75838 x75839 x75840 x75841 x75842 x75843 x75844 x75845 x75846 x75847 x75848 x75849 x75850 x75851 x75852
1800.02/1801.73	v x75853 x75854 x75855 x75856 x75857 x75867 x75868 x75869 x75870 x75871 x75872 x75873 x75874 x75875 x75876 x75877 x75878
1800.02/1801.73	v x75879 x75880 x75881 x75882 x75883 x75884 x75885 x75886 x75887 x75888 x75889 x75890 x75891 x75892 x75893 x75894 x75895
1800.02/1801.73	v x75896 x75897 x75898 x75899 x75900 x75901 x75902 x75903 x75904 x75905 x75906 x75907 x75908 x75909 x75910 x75911 x75912
1800.02/1801.73	v x75913 x75914 x75915 x75916 x75917 x75918 x75919 x75920 x75921 x75922 x75923 x75927 x75928 x75929 x75930 x75931 x75932
1800.02/1801.73	v x75933 x75934 x75935 x75936 x75937 x75938 x75939 x75940 x75941 x75942 x75943 x75944 x75945 x75946 x75947 x75948 x75949
1800.02/1801.73	v x75950 x75951 x75952 x75953 x75954 x75955 x75956 x75957 x75958 x75959 x75960 x75961 x75962 x75963 x75964 x75965 x75966
1800.02/1801.73	v x75967 x75968 x75969 x75970 x75971 x75972 x75973 x75974 x75975 x75976 x75977 x75978 x75979 x75980 x75981 x75982 x75983
1800.02/1801.73	v x75987 x75988 x75989 x75990 x75991 x75992 x75993 x75994 x75995 x75996 x75997 x75998 x75999 x76000 x76001 x76002 x76003
1800.02/1801.73	v x76004 x76005 x76006 x76007 x76008 x76009 x76010 x76011 x76012 x76013 x76014 x76015 x76016 x76017 x76018 x76019 x76020
1800.02/1801.73	v x76021 x76022 x76023 x76024 x76025 x76026 x76027 x76028 x76029 x76030 x76031 x76032 x76033 x76034 x76035 x76036 x76037
1800.02/1801.73	v x76038 x76039 x76040 x76047 x76048 x76049 x76050 x76051 x76052 x76053 x76054 x76055 x76056 x76057 x76058 x76059 x76060
1800.02/1801.73	v x76061 x76062 x76063 x76064 x76065 x76066 x76067 x76068 x76069 x76070 x76071 x76072 x76073 x76074 x76075 x76076 x76077
1800.02/1801.73	v x76078 x76079 x76080 x76081 x76082 x76083 x76084 x76085 x76086 x76087 x76088 x76089 x76090 x76091 x76092 x76093 x76094
1800.02/1801.73	v x76095 x76096 x76097 x76098 x76099 x76100 x76101 x76102 x76103 x76107 x76108 x76109 x76110 x76111 x76112 x76113 x76114
1800.02/1801.73	v x76115 x76116 x76117 x76118 x76119 x76120 x76121 x76122 x76123 x76124 x76125 x76126 x76127 x76128 x76129 x76130 x76131
1800.02/1801.73	v x76132 x76133 x76134 x76135 x76136 x76137 x76138 x76139 x76140 x76141 x76142 x76143 x76144 x76145 x76146 x76147 x76148
1800.02/1801.73	v x76149 x76150 x76151 x76152 x76153 x76154 x76155 x76156 x76157 x76158 x76159 x76160 x76167 x76168 x76169 x76170 x76171
1800.02/1801.73	v x76172 x76173 x76174 x76175 x76176 x76177 x76178 x76179 x76180 x76181 x76182 x76183 x76184 x76185 x76186 x76187 x76188
1800.02/1801.73	v x76189 x76190 x76191 x76192 x76193 x76194 x76195 x76196 x76197 x76198 x76199 x76200 x76201 x76202 x76203 x76204 x76205
1800.02/1801.73	v x76206 x76207 x76208 x76209 x76210 x76211 x76212 x76213 x76214 x76215 x76216 x76217 x76218 x76219 x76220 x76221 x76227
1800.02/1801.73	v x76228 x76229 x76230 x76231 x76232 x76233 x76234 x76235 x76236 x76237 x76238 x76239 x76240 x76241 x76242 x76243 x76244
1800.02/1801.73	v x76245 x76246 x76247 x76248 x76249 x76250 x76251 x76252 x76253 x76254 x76255 x76256 x76257 x76258 x76259 x76260 x76261
1800.02/1801.73	v x76262 x76263 x76264 x76265 x76266 x76267 x76268 x76269 x76270 x76271 x76272 x76273 x76274 x76275 x76276 x76277 x76278
1800.02/1801.73	v x76279 x76280 x76281 x76282 x76287 x76288 x76289 x76290 x76291 x76292 x76293 x76294 x76295 x76296 x76297 x76298 x76299
1800.02/1801.73	v x76300 x76301 x76302 x76303 x76304 x76305 x76306 x76307 x76308 x76309 x76310 x76311 x76312 x76313 x76314 x76315 x76316
1800.02/1801.73	v x76317 x76318 x76319 x76320 x76321 x76322 x76323 x76324 x76325 x76326 x76327 x76328 x76329 x76330 x76331 x76332 x76333
1800.02/1801.73	v x76334 x76335 x76336 x76337 x76338 x76339 x76340 x76341 x76342 x76343 x76347 x76348 x76349 x76350 x76351 x76352 x76353
1800.02/1801.73	v x76354 x76355 x76356 x76357 x76358 x76359 x76360 x76361 x76362 x76363 x76364 x76365 x76366 x76367 x76368 x76369 x76370
1800.02/1801.73	v x76371 x76372 x76373 x76374 x76375 x76376 x76377 x76378 x76379 x76380 x76381 x76382 x76383 x76384 x76385 x76386 x76387
1800.02/1801.73	v x76388 x76389 x76390 x76391 x76392 x76393 x76394 x76395 x76396 x76397 x76398 x76399 x76407 x76408 x76409 x76410 x76411
1800.02/1801.73	v x76412 x76413 x76414 x76415 x76416 x76417 x76418 x76419 x76420 x76421 x76422 x76423 x76424 x76425 x76426 x76427 x76428
1800.02/1801.73	v x76429 x76430 x76431 x76432 x76433 x76434 x76435 x76436 x76437 x76438 x76439 x76440 x76441 x76442 x76443 x76444 x76445
1800.02/1801.73	v x76446 x76447 x76448 x76449 x76450 x76451 x76452 x76453 x76454 x76455 x76456 x76457 x76458 x76459 x76460 x76461 x76467
1800.02/1801.73	v x76468 x76469 x76470 x76471 x76472 x76473 x76474 x76475 x76476 x76477 x76478 x76479 x76480 x76481 x76482 x76483 x76484
1800.02/1801.73	v x76485 x76486 x76487 x76488 x76489 x76490 x76491 x76492 x76493 x76494 x76495 x76496 x76497 x76498 x76499 x76500 x76501
1800.02/1801.73	v x76502 x76503 x76504 x76505 x76506 x76507 x76508 x76509 x76510 x76511 x76512 x76513 x76514 x76515 x76516 x76517 x76518
1800.02/1801.73	v x76519 x76520 x76521 x76522 x76527 x76528 x76529 x76530 x76531 x76532 x76533 x76534 x76535 x76536 x76537 x76538 x76539
1800.02/1801.73	v x76540 x76541 x76542 x76543 x76544 x76545 x76546 x76547 x76548 x76549 x76550 x76551 x76552 x76553 x76554 x76555 x76556
1800.02/1801.73	v x76557 x76558 x76559 x76560 x76561 x76562 x76563 x76564 x76565 x76566 x76567 x76568 x76569 x76570 x76571 x76572 x76573
1800.02/1801.73	v x76574 x76575 x76576 x76577 x76578 x76579 x76580 x76581
1800.02/1801.73	pb2clasp1: no process killed
1789.18/1803.72	sh: line 1: 24870 Killed                  cat /tmp/evaluation/453220-1178124485/temp/instance-453220-1178124485.opb.op
1789.18/1803.72	     24871                       | clasp >/tmp/evaluation/453220-1178124485/temp/instance-453220-1178124485.opb.clasp

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x3[=0]*x98[=1]+1*~x3[=0]*x772[=1]+1*~x3[=0]*x482[=1]+1*~x3[=0]*x676[=1]+1*~x3[=0]*x710[=1]+1*~x3[=0]*x928[=0]+1*~x3[=0]*x568[=1]+1*~x3[=0]*x857[=1]+1*~x3[=0]*x498[=1]+1*~x3[=0]*x354[=1]+1*~x3[=0]*x587[=1]+1*~x3[=0]*x966[=0]+1*~x3[=0]*x307[=1]+1*~x3[=0]*x684[=1]+1*~x3[=0]*x220[=1]+1*~x3[=0]*x625[=1]+1*~x3[=0]*x529[=1]+1*~x3[=0]*x872[=1]+1*~x3[=0]*x733[=1]+1*~x3[=0]*x830[=1]+1*~x3[=0]*x504[=1]+1*~x3[=0]*x20[=1]+1*~x3[=0]*x271[=1]+1*~x3[=0]*x369[=1]+1*~x3[=0]*x709[=1]+1*~x3[=0]*x716[=1]+1*~x3[=0]*x341[=1]+1*~x3[=0]*x150[=1]+1*~x3[=0]*x797[=1]+1*~x3[=0]*x724[=1]+1*~x3[=0]*x619[=1]+1*~x3[=0]*x246[=1]+1*~x3[=0]*x847[=1]+1*~x3[=0]*x452[=1]+1*~x3[=0]*x922[=0]+1*~x3[=0]*x556[=1]+1*~x3[=0]*x380[=1]+1*~x3[=0]*x489[=1]+1*~x3[=0]*x765[=1]+1*~x3[=0]*x229[=1]+1*~x3[=0]*x842[=1]+1*~x3[=0]*x351[=1]+1*~x3[=0]*x194[=1]+1*~x3[=0]*x501[=1]+1*~x3[=0]*x35[=1]+1*~x3[=0]*x125[=1]+1*~x3[=0]*x915[=0]+1*~x3[=0]*x988[=0]+1*~x3[=0]*x744[=1]+1*~x3[=0]*x492[=1]+1*~x3[=0]*x228[=1]+1*~x3[=0]*x366[=1]+1*~x3[=0]*x860[=1]+1*~x3[=0]*x937[=0]+1*~x3[=0]*x433[=1]+1*~x3[=0]*x552[=1]+1*~x3[=0]*x438[=1]+1*~x3[=0]*x276[=1]+1*~x3[=0]*x408[=1]+1*~x3[=0]*x475[=1]+1*~x3[=0]*x8[=1]+1*~x3[=0]*x11[=1]+1*~x3[=0]*x19[=1]+1*~x3[=0]*x42[=1]+1*~x3[=0]*x47[=1]+1*~x3[=0]*x51[=1]+1*~x3[=0]*x54[=1]+1*~x3[=0]*x86[=1]+1*~x3[=0]*x107[=1]+1*~x3[=0]*x108[=1]+1*~x3[=0]*x118[=1]+1*~x3[=0]*x126[=1]+1*~x3[=0]*x134[=1]+1*~x3[=0]*x204[=1]+1*~x3[=0]*x206[=1]+1*~x3[=0]*x285[=1]+1*~x3[=0]*x305[=1]+1*~x3[=0]*x310[=1]+1*~x3[=0]*x333[=1]+1*~x3[=0]*x391[=1]+1*~x3[=0]*x416[=1]+1*~x3[=0]*x446[=1]+1*~x3[=0]*x478[=1]+1*~x3[=0]*x488[=1]+1*~x3[=0]*x496[=1]+1*~x3[=0]*x509[=1]+1*~x3[=0]*x523[=1]+1*~x3[=0]*x526[=1]+1*~x3[=0]*x539[=1]+1*~x3[=0]*x540[=1]+1*~x3[=0]*x610[=1]+1*~x3[=0]*x659[=1]+1*~x3[=0]*x706[=1]+1*~x3[=0]*x731[=1]+1*~x3[=0]*x774[=1]+1*~x3[=0]*x784[=1]+1*~x3[=0]*x817[=1]+1*~x3[=0]*x823[=1]+1*~x3[=0]*x934[=0]+1*x3[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453220-1178124485/instance-453220-1178124485.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-453220-1178124485 -o ROOT/results/node9/solver-453220-1178124485 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453220-1178124485.opb /tmp/evaluation/453220-1178124485/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.80 0.95 0.98 3/77 23757
/proc/meminfo: memFree=1792976/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=12268 CPUtime=0
/proc/23757/stat : 23757 (pbclasp) R 23755 23757 23670 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 288486468 12562432 364 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215418835681 0 0 4224 0 0 0 0 17 1 0 0
/proc/23757/statm: 3067 365 276 3 0 167 0

[startup+0.046175 s]
/proc/loadavg: 0.80 0.95 0.98 3/77 23757
/proc/meminfo: memFree=1792976/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=14232 CPUtime=0.03
/proc/23757/stat : 23757 (pbclasp) R 23755 23757 23670 0 -1 4194304 908 0 0 0 3 0 0 0 18 0 1 0 288486468 14573568 875 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215418835681 0 0 4224 16384 0 0 0 17 1 0 0
/proc/23757/statm: 3558 876 314 3 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14232

[startup+0.101183 s]
/proc/loadavg: 0.80 0.95 0.98 3/77 23757
/proc/meminfo: memFree=1792976/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15788 CPUtime=0.06
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1333 0 0 0 6 0 0 0 16 0 1 0 288486468 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23757/statm: 3947 1286 324 3 0 1047 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15788

[startup+0.301203 s]
/proc/loadavg: 0.80 0.95 0.98 3/77 23757
/proc/meminfo: memFree=1792976/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15788 CPUtime=0.06
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1333 0 0 0 6 0 0 0 16 0 1 0 288486468 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23757/statm: 3947 1286 324 3 0 1047 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15788

[startup+0.70125 s]
/proc/loadavg: 0.80 0.95 0.98 3/77 23757
/proc/meminfo: memFree=1792976/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15788 CPUtime=0.06
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1333 0 0 0 6 0 0 0 16 0 1 0 288486468 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23757/statm: 3947 1286 324 3 0 1047 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15788

[startup+1.50134 s]
/proc/loadavg: 0.80 0.95 0.98 2/80 23760
/proc/meminfo: memFree=1787320/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15788 CPUtime=0.06
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1333 0 0 0 6 0 0 0 16 0 1 0 288486468 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23757/statm: 3947 1286 324 3 0 1047 0
[pid=23759] ppid=23757 vsize=5356 CPUtime=0
/proc/23759/stat : 23759 (sh) S 23757 23757 23670 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 288486476 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23759/statm: 1339 231 193 169 0 50 0
[pid=23760] ppid=23759 vsize=12400 CPUtime=1.4
/proc/23760/stat : 23760 (pb2clasp1) R 23759 23757 23670 0 -1 4194304 505 0 0 0 140 0 0 0 25 0 1 0 288486477 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215436966377 0 0 4224 0 0 0 0 17 1 0 0
/proc/23760/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 33544

[startup+3.10252 s]
/proc/loadavg: 0.80 0.95 0.98 2/80 23760
/proc/meminfo: memFree=1786872/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15788 CPUtime=0.06
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1333 0 0 0 6 0 0 0 16 0 1 0 288486468 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23757/statm: 3947 1286 324 3 0 1047 0
[pid=23759] ppid=23757 vsize=5356 CPUtime=0
/proc/23759/stat : 23759 (sh) S 23757 23757 23670 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 288486476 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23759/statm: 1339 231 193 169 0 50 0
[pid=23760] ppid=23759 vsize=12400 CPUtime=3.01
/proc/23760/stat : 23760 (pb2clasp1) R 23759 23757 23670 0 -1 4194304 505 0 0 0 300 1 0 0 25 0 1 0 288486477 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215418869184 0 0 4224 0 0 0 0 17 1 0 0
/proc/23760/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33544

[startup+6.30189 s]
/proc/loadavg: 0.81 0.95 0.98 2/80 23760
/proc/meminfo: memFree=1785464/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15788 CPUtime=0.06
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1333 0 0 0 6 0 0 0 16 0 1 0 288486468 16166912 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427887202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/23757/statm: 3947 1286 324 3 0 1047 0
[pid=23759] ppid=23757 vsize=5356 CPUtime=0
/proc/23759/stat : 23759 (sh) S 23757 23757 23670 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 288486476 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23759/statm: 1339 231 193 169 0 50 0
[pid=23760] ppid=23759 vsize=12400 CPUtime=6.21
/proc/23760/stat : 23760 (pb2clasp1) R 23759 23757 23670 0 -1 4194304 505 0 0 0 619 2 0 0 25 0 1 0 288486477 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 215436965650 0 0 4224 0 0 0 0 17 1 0 0
/proc/23760/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 33544

[startup+12.7016 s]
/proc/loadavg: 0.83 0.95 0.98 2/80 23760
/proc/meminfo: memFree=1782712/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15920 CPUtime=12.23
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1456 1597 0 0 7 1 1207 8 17 0 1 0 288486468 16302080 1329 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 3980 1329 343 3 0 1080 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 15920

[startup+25.5011 s]
/proc/loadavg: 0.86 0.95 0.98 2/80 23767
/proc/meminfo: memFree=1602744/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15920 CPUtime=12.23
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1456 1597 0 0 7 1 1207 8 17 0 1 0 288486468 16302080 1329 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 3980 1329 343 3 0 1080 0
[pid=23765] ppid=23757 vsize=5356 CPUtime=0.01
/proc/23765/stat : 23765 (sh) S 23757 23757 23670 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 288487697 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23765/statm: 1339 225 188 169 0 50 0
[pid=23767] ppid=23765 vsize=177332 CPUtime=13.18
/proc/23767/stat : 23767 (clasp) R 23765 23757 23670 0 -1 4194304 45151 0 0 0 1298 20 0 0 25 0 1 0 288487697 181587968 42820 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/23767/statm: 44333 42820 194 154 0 43803 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 198608

[startup+51.101 s]
/proc/loadavg: 0.91 0.96 0.98 2/80 23783
/proc/meminfo: memFree=1601208/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15920 CPUtime=40.15
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 1769 97385 0 0 10 1 3933 71 17 0 1 0 288486468 16302080 1346 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 3980 1346 343 3 0 1080 0
[pid=23781] ppid=23757 vsize=5356 CPUtime=0.02
/proc/23781/stat : 23781 (sh) S 23757 23757 23670 0 -1 4194304 288 122 0 0 0 0 0 2 16 0 1 0 288490491 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23781/statm: 1339 225 188 169 0 50 0
[pid=23783] ppid=23781 vsize=185884 CPUtime=10.82
/proc/23783/stat : 23783 (clasp) R 23781 23757 23670 0 -1 4194304 47912 0 0 0 1062 20 0 0 25 0 1 0 288490491 190345216 44612 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/23783/statm: 46471 44612 196 154 0 45941 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 207160

[startup+102.306 s]
/proc/loadavg: 1.01 0.97 0.99 2/81 23815
/proc/meminfo: memFree=1681328/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=15920 CPUtime=96.95
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 2318 296932 0 0 19 1 9475 200 16 0 1 0 288486468 16302080 1353 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 3980 1353 343 3 0 1080 0
[pid=23813] ppid=23757 vsize=5356 CPUtime=0
/proc/23813/stat : 23813 (sh) S 23757 23757 23670 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 288496190 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23813/statm: 1339 225 188 169 0 50 0
[pid=23814] ppid=23813 vsize=2520 CPUtime=0.01
/proc/23814/stat : 23814 (cat) S 23813 23757 23670 0 -1 4194304 120 0 0 0 0 1 0 0 15 0 1 0 288496191 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23814/statm: 630 87 71 4 0 42 0
[pid=23815] ppid=23813 vsize=96560 CPUtime=5.06
/proc/23815/stat : 23815 (clasp) R 23813 23757 23670 0 -1 4194304 23868 0 0 0 494 12 0 0 25 0 1 0 288496191 98877440 23603 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 9129689 0 0 4096 0 0 0 0 17 1 0 0
/proc/23815/statm: 24140 23603 173 154 0 23610 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 120356

[startup+162.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/81 23847
/proc/meminfo: memFree=1649072/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16052 CPUtime=154.41
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 2894 500048 0 0 29 2 15076 334 16 0 1 0 288486468 16437248 1359 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4013 1359 343 3 0 1113 0
[pid=23845] ppid=23757 vsize=5356 CPUtime=0
/proc/23845/stat : 23845 (sh) S 23757 23757 23670 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288501940 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23845/statm: 1339 225 188 169 0 50 0
[pid=23846] ppid=23845 vsize=2520 CPUtime=0.02
/proc/23846/stat : 23846 (cat) S 23845 23757 23670 0 -1 4194304 120 0 0 0 0 2 0 0 15 0 1 0 288501941 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/23846/statm: 630 87 71 4 0 42 0
[pid=23847] ppid=23845 vsize=128288 CPUtime=7.54
/proc/23847/stat : 23847 (clasp) R 23845 23757 23670 0 -1 4194304 33101 0 0 0 737 17 0 0 25 0 1 0 288501941 131366912 31532 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134666040 0 0 4096 0 0 0 0 17 1 0 0
/proc/23847/statm: 32072 31532 184 154 0 31542 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 152216

[startup+222.302 s]
/proc/loadavg: 1.05 0.99 0.99 2/80 23879
/proc/meminfo: memFree=1606776/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16052 CPUtime=212.36
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 3477 706460 0 0 42 3 20723 468 16 0 1 0 288486468 16437248 1365 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4013 1365 343 3 0 1113 0
[pid=23877] ppid=23757 vsize=5356 CPUtime=0.01
/proc/23877/stat : 23877 (sh) S 23757 23757 23670 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 288507738 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23877/statm: 1339 225 188 169 0 50 0
[pid=23879] ppid=23877 vsize=174188 CPUtime=9.57
/proc/23879/stat : 23879 (clasp) R 23877 23757 23670 0 -1 4194304 44698 0 0 0 935 22 0 0 25 0 1 0 288507738 178368512 42472 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/23879/statm: 43547 42472 194 154 0 43017 0
Current children cumulated CPU time (s) 221.94
Current children cumulated vsize (KiB) 195596

[startup+282.302 s]
/proc/loadavg: 1.02 0.99 0.99 2/80 23911
/proc/meminfo: memFree=1587512/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16052 CPUtime=270.73
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 4072 909680 0 0 58 4 26413 598 17 0 1 0 288486468 16437248 1365 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4013 1365 343 3 0 1113 0
[pid=23909] ppid=23757 vsize=5356 CPUtime=0.01
/proc/23909/stat : 23909 (sh) S 23757 23757 23670 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 288513579 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23909/statm: 1339 225 188 169 0 50 0

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


[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 24828
/proc/meminfo: memFree=1732016/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1717.38
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 20797 6560833 0 0 1721 26 165892 4099 17 0 1 0 288486468 16887808 1478 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1478 343 3 0 1223 0
[pid=24826] ppid=23757 vsize=5356 CPUtime=0
/proc/24826/stat : 24826 (sh) S 23757 23757 23670 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288658368 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24826/statm: 1339 225 188 169 0 50 0
[pid=24827] ppid=24826 vsize=2520 CPUtime=0.01
/proc/24827/stat : 24827 (cat) S 24826 23757 23670 0 -1 4194304 120 0 0 0 0 1 0 0 15 0 1 0 288658368 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24827/statm: 630 87 71 4 0 42 0
[pid=24828] ppid=24826 vsize=59868 CPUtime=3.29
/proc/24828/stat : 24828 (clasp) R 24826 23757 23670 0 -1 4194304 14643 0 0 0 322 7 0 0 25 0 1 0 288658368 61304832 14507 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 9036389 0 0 4096 0 0 0 0 17 1 0 0
/proc/24828/statm: 14967 14507 173 154 0 14437 0
Current children cumulated CPU time (s) 1720.68
Current children cumulated vsize (KiB) 84236

[startup+1782.3 s]
/proc/loadavg: 1.09 1.03 1.01 2/80 24852
/proc/meminfo: memFree=1540600/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1769.73
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 21471 6784044 0 0 1837 27 170878 4231 17 0 1 0 288486468 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1479 343 3 0 1223 0
[pid=24850] ppid=23757 vsize=5356 CPUtime=0.01
/proc/24850/stat : 24850 (sh) S 23757 23757 23670 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 288663606 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24850/statm: 1339 225 188 169 0 50 0
[pid=24852] ppid=24850 vsize=256588 CPUtime=10.9
/proc/24852/stat : 24852 (clasp) R 24850 23757 23670 0 -1 4194304 67436 0 0 0 1060 30 0 0 25 0 1 0 288663606 262746112 62164 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/24852/statm: 64147 62164 194 154 0 63617 0
Current children cumulated CPU time (s) 1780.64
Current children cumulated vsize (KiB) 278436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.7 s]
/proc/loadavg: 1.06 1.03 1.00 2/80 24860
/proc/meminfo: memFree=1508280/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1787.2
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 21693 6857698 0 0 1876 27 172542 4275 16 0 1 0 288486468 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1479 343 3 0 1223 0
[pid=24858] ppid=23757 vsize=5356 CPUtime=0.01
/proc/24858/stat : 24858 (sh) S 23757 23757 23670 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 288665355 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24858/statm: 1339 225 188 169 0 50 0
[pid=24860] ppid=24858 vsize=272176 CPUtime=12.81
/proc/24860/stat : 24860 (clasp) R 24858 23757 23670 0 -1 4194304 72243 0 0 0 1251 30 0 0 25 0 1 0 288665355 278708224 65716 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/24860/statm: 68044 65716 196 154 0 67514 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 294024

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

[startup+1801.7 s]
/proc/loadavg: 1.06 1.03 1.00 2/80 24860
/proc/meminfo: memFree=1508280/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1787.2
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 21693 6857698 0 0 1876 27 172542 4275 16 0 1 0 288486468 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1479 343 3 0 1223 0
[pid=24858] ppid=23757 vsize=5356 CPUtime=0.01
/proc/24858/stat : 24858 (sh) S 23757 23757 23670 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 288665355 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24858/statm: 1339 225 188 169 0 50 0
[pid=24860] ppid=24858 vsize=272176 CPUtime=12.81
/proc/24860/stat : 24860 (clasp) R 24858 23757 23670 0 -1 4194304 72243 0 0 0 1251 30 0 0 25 0 1 0 288665355 278708224 65716 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/24860/statm: 68044 65716 196 154 0 67514 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 294024

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

[startup+1801.82 s]
/proc/loadavg: 1.06 1.03 1.00 2/80 24860
/proc/meminfo: memFree=1508280/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1787.29
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 21912 6859481 0 0 1876 28 172542 4283 16 0 1 0 288486468 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1479 343 3 0 1223 0
Current children cumulated CPU time (s) 1787.29
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+1803 s]
/proc/loadavg: 1.06 1.03 1.00 2/82 24871
/proc/meminfo: memFree=1760232/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1787.29
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 21912 6859481 0 0 1876 28 172542 4283 16 0 1 0 288486468 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1479 343 3 0 1223 0
[pid=24869] ppid=23757 vsize=5356 CPUtime=0
/proc/24869/stat : 24869 (sh) S 23757 23757 23670 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288666648 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24869/statm: 1339 225 188 169 0 50 0
[pid=24870] ppid=24869 vsize=2520 CPUtime=0
/proc/24870/stat : 24870 (cat) S 24869 23757 23670 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288666648 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24870/statm: 630 87 71 4 0 42 0
[pid=24871] ppid=24869 vsize=16612 CPUtime=1.19
/proc/24871/stat : 24871 (clasp) R 24869 23757 23670 0 -1 4194304 3824 0 0 0 118 1 0 0 25 0 1 0 288666648 17010688 3786 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135039876 0 0 4096 0 0 0 0 17 1 0 0
/proc/24871/statm: 4153 3786 173 154 0 3623 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (KiB) 40980

[startup+1803.4 s]
/proc/loadavg: 1.06 1.03 1.00 2/82 24871
/proc/meminfo: memFree=1760232/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1787.29
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 21912 6859481 0 0 1876 28 172542 4283 16 0 1 0 288486468 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1479 343 3 0 1223 0
[pid=24869] ppid=23757 vsize=5356 CPUtime=0
/proc/24869/stat : 24869 (sh) S 23757 23757 23670 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288666648 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24869/statm: 1339 225 188 169 0 50 0
[pid=24870] ppid=24869 vsize=2520 CPUtime=0
/proc/24870/stat : 24870 (cat) S 24869 23757 23670 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288666648 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24870/statm: 630 87 71 4 0 42 0
[pid=24871] ppid=24869 vsize=24756 CPUtime=1.59
/proc/24871/stat : 24871 (clasp) R 24869 23757 23670 0 -1 4194304 5863 0 0 0 157 2 0 0 25 0 1 0 288666648 25350144 5825 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 1 0 0
/proc/24871/statm: 6189 5825 173 154 0 5659 0
Current children cumulated CPU time (s) 1788.88
Current children cumulated vsize (KiB) 49124

[startup+1803.6 s]
/proc/loadavg: 1.06 1.03 1.00 2/82 24871
/proc/meminfo: memFree=1760232/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1787.29
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 21912 6859481 0 0 1876 28 172542 4283 16 0 1 0 288486468 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1479 343 3 0 1223 0
[pid=24869] ppid=23757 vsize=5356 CPUtime=0
/proc/24869/stat : 24869 (sh) S 23757 23757 23670 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288666648 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24869/statm: 1339 225 188 169 0 50 0
[pid=24870] ppid=24869 vsize=2520 CPUtime=0
/proc/24870/stat : 24870 (cat) S 24869 23757 23670 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288666648 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24870/statm: 630 87 71 4 0 42 0
[pid=24871] ppid=24869 vsize=29000 CPUtime=1.79
/proc/24871/stat : 24871 (clasp) R 24869 23757 23670 0 -1 4194304 6913 0 0 0 176 3 0 0 25 0 1 0 288666648 29696000 6842 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 9105174 0 0 4096 0 0 0 0 17 1 0 0
/proc/24871/statm: 7250 6842 173 154 0 6720 0
Current children cumulated CPU time (s) 1789.08
Current children cumulated vsize (KiB) 53368

[startup+1803.7 s]
/proc/loadavg: 1.06 1.03 1.00 2/82 24871
/proc/meminfo: memFree=1760232/2055920 swapFree=4145492/4192956
[pid=23757] ppid=23755 vsize=16492 CPUtime=1787.29
/proc/23757/stat : 23757 (pbclasp) S 23755 23757 23670 0 -1 4194304 21912 6859481 0 0 1876 28 172542 4283 16 0 1 0 288486468 16887808 1479 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 215427891092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/23757/statm: 4123 1479 343 3 0 1223 0
[pid=24869] ppid=23757 vsize=5356 CPUtime=0
/proc/24869/stat : 24869 (sh) S 23757 23757 23670 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 288666648 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24869/statm: 1339 225 188 169 0 50 0
[pid=24870] ppid=24869 vsize=2520 CPUtime=0
/proc/24870/stat : 24870 (cat) S 24869 23757 23670 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 288666648 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 215419158754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/24870/statm: 630 87 71 4 0 42 0
[pid=24871] ppid=24869 vsize=31008 CPUtime=1.89
/proc/24871/stat : 24871 (clasp) R 24869 23757 23670 0 -1 4194304 7423 0 0 0 186 3 0 0 25 0 1 0 288666648 31752192 7352 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135088290 0 0 4096 0 0 0 0 17 1 0 0
/proc/24871/statm: 7752 7352 173 154 0 7222 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 55376

Child status: 0

# 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): 12.73
#  lost CPU user time (s): 12.51
#  lost CPU system time (s): 0.219997

Real time (s): 1803.74
CPU time (s): 1801.99
CPU user time (s): 1758.6
CPU system time (s): 43.3954
CPU usage (%): 99.9032
Max. virtual memory (cumulated for all children) (KiB): 294916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.09
system time used= 43.1754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6890108
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= 213826
involuntary context switches= 190295

runsolver used 1.67575 second user time and 4.91225 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Wed May  2 16:48:05 UTC 2007

IDJOB= 453220
IDBENCH= 48116
IDSOLVER= 158
FILE ID= node9/453220-1178124485

PBS_JOBID= 4751038

Free space on /tmp= 66562 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_1.opb
COMMAND LINE= pbclasp instance-453220-1178124485.opb /tmp/evaluation/453220-1178124485/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-453220-1178124485 -o ROOT/results/node9/conversion-453220-1178124485 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453220-1178124485/instance-453220-1178124485.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  04b9af5ff2583cb908a8972f40516a9e

RANDOM SEED= 431282027

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1793384 kB
Buffers:         66288 kB
Cached:         106536 kB
SwapCached:      15400 kB
Active:         138160 kB
Inactive:        57748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793384 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            7148 kB
Writeback:           0 kB
Mapped:          29660 kB
Slab:            52116 kB
Committed_AS:  8627060 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 node9 on Wed May  2 17:18:13 UTC 2007