Trace number 3709504

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
clasp 2.0.6-R5325 (opt)? (TO) 1800.08 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_13_shg.opb
MD5SUMf53fdd20c3684d222e9e7b0e8ed09bf8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark1798.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
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 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

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

Falsified constraint is:
+1*x1[=0] +1*x13[=0] +1*x47[=0] +1*x89[=0] +1*x177[=0] +1*x187[=0] +1*x217[=0] +1*x405[=0] +1*x473[=0] +1*x507[=0] +1*x543[=0] +1*x711[=0] +1*x791[=0] +1*x829[=0] +1*x837[=0] +1*x2066[=0] +1*x2088[=0] +1*x2139[=0] +1*x2153[=0] +1*x2253[=0] +1*x2303[=0] +1*x2640[=0] +1*x2657[=0] +1*x2717[=0] +1*x2743[=0] +1*x2841[=0] +1*x2847[=0] +1*x2871[=0] +1*x6569[=0] +1*x6577[=0] +1*x6643[=0] +1*x6689[=0] +1*x6701[=0] +1*x6715[=0] +1*x6729[=0] +1*x6834[=0] +1*x6841[=0] +1*x6859[=0] +1*x6917[=0] +1*x7180[=0] +1*x7281[=0] +1*x7321[=0] +1*x7347[=0] +1*x7384[=0] +1*x7511[=0] +1*x7539[=0] +1*x7557[=0] +1*x7599[=0] +1*x7603[=0] +1*x8341[=0] +1*x8361[=0] +1*x8398[=0] +1*x8502[=0] +1*x8521[=0] +1*x8726[=0] +1*x8749[=0] +1*x8803[=0] +1*x8823[=0] +1*x8919[=0] +1*x8939[=0] +1*x8963[=0] +1*x8972[=0] +1*x9534[=0] +1*x9546[=0] +1*x9561[=0] +1*x9579[=0] +1*x9612[=0] +1*x9627[=0] +1*x9661[=0] +1*x9675[=0] +1*x9692[=0] +1*x11022[=0] +1*x11039[=0] +1*x11059[=0] +1*x11086[=0] +1*x11246[=0] +1*x11263[=0] +1*x11283[=0] +1*x11319[=0] +1*x11442[=0] +1*x11477[=0] +1*x11509[=0] +1*x11523[=0] +1*x11546[=0] +1*x11605[=0] +1*x11607[=0] >= 1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709504-1338218174/watcher-3709504-1338218174 -o /tmp/evaluation-result-3709504-1338218174/solver-3709504-1338218174 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709504-1338218174.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 6580
/proc/meminfo: memFree=29172564/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0

[startup+0.074217 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 6580
/proc/meminfo: memFree=29172564/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100256 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 6580
/proc/meminfo: memFree=29172564/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300221 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 6580
/proc/meminfo: memFree=29172564/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.70023 s]
/proc/loadavg: 1.92 1.98 1.99 2/179 6580
/proc/meminfo: memFree=29172564/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 6582
/proc/meminfo: memFree=29116848/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=65556 CPUtime=1.49 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 18041 0 0 0 146 3 0 0 20 0 1 0 287942286 67129344 16036 33554432000 4194304 6212839 140734958981040 140734958979048 4683100 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/6581/statm: 16389 16036 227 493 0 15894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74708

[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 6582
/proc/meminfo: memFree=29097132/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=83500 CPUtime=3.08 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 22554 0 0 0 304 4 0 0 20 0 1 0 287942286 85504000 20549 33554432000 4194304 6212839 140734958981040 140734958979048 5437001 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 20875 20549 233 493 0 20380 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 92652

[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 6582
/proc/meminfo: memFree=29071340/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=104408 CPUtime=6.29 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 27765 0 0 0 624 5 0 0 20 0 1 0 287942286 106913792 25760 33554432000 4194304 6212839 140734958981040 140734958979048 5484523 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 26102 25760 234 493 0 25607 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113560

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 6582
/proc/meminfo: memFree=29044696/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=131032 CPUtime=12.68 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 33908 0 0 0 1262 6 0 0 20 0 1 0 287942286 134176768 31903 33554432000 4194304 6212839 140734958981040 140734958979336 4421959 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 32758 31903 234 493 0 32263 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 140184

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 6582
/proc/meminfo: memFree=29030248/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=145404 CPUtime=25.48 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 37719 0 0 0 2541 7 0 0 20 0 1 0 287942286 148893696 35705 33554432000 4194304 6212839 140734958981040 140734958979048 4421867 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 36351 35705 234 493 0 35856 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 154556

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 6582
/proc/meminfo: memFree=29019288/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=170184 CPUtime=51.07 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 43114 0 0 0 5098 9 0 0 20 0 1 0 287942286 174268416 41085 33554432000 4194304 6212839 140734958981040 140734958979048 4326279 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 42546 41085 234 493 0 42051 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 179336

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 6582
/proc/meminfo: memFree=28997388/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=178272 CPUtime=102.24 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 46219 0 0 0 10215 9 0 0 20 0 1 0 287942286 182550528 43814 33554432000 4194304 6212839 140734958981040 140734958979048 4334733 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 44568 43814 234 493 0 44073 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 187424

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 6582
/proc/meminfo: memFree=28962256/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=213644 CPUtime=162.23 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 54837 0 0 0 16212 11 0 0 20 0 1 0 287942286 218771456 52477 33554432000 4194304 6212839 140734958981040 140734958979336 4422299 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 53411 52477 234 493 0 52916 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 222796

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 6583
/proc/meminfo: memFree=28960020/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=215624 CPUtime=222.22 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 55363 0 0 0 22211 11 0 0 20 0 1 0 287942286 220798976 53048 33554432000 4194304 6212839 140734958981040 140734958979048 4326269 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 53906 53048 234 493 0 53411 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 224776

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 6586
/proc/meminfo: memFree=28951352/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=222092 CPUtime=282.21 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 57230 0 0 0 28210 11 0 0 20 0 1 0 287942286 227422208 55183 33554432000 4194304 6212839 140734958981040 140734958979048 4356895 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 55523 55183 234 493 0 55028 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 231244

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 6586
/proc/meminfo: memFree=28914160/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=271416 CPUtime=342.2 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 66521 0 0 0 34207 13 0 0 20 0 1 0 287942286 277929984 64474 33554432000 4194304 6212839 140734958981040 140734958979336 4683117 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 67854 64474 234 493 0 67359 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 280568

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 6586
/proc/meminfo: memFree=28914036/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/6581/statm: 83261 82942 234 493 0 82766 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 342196

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6633
/proc/meminfo: memFree=28495860/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=340764 CPUtime=1242.06 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 86394 0 0 0 124188 18 0 0 20 0 1 0 287942286 348942336 84841 33554432000 4194304 6212839 140734958981040 140734958979048 4421869 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 85191 84841 234 493 0 84696 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 349916

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6633
/proc/meminfo: memFree=28496108/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=340592 CPUtime=1302.05 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 86908 0 0 0 130187 18 0 0 20 0 1 0 287942286 348766208 84812 33554432000 4194304 6212839 140734958981040 140734958979048 4674295 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 85148 84812 234 493 0 84653 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 349744

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6633
/proc/meminfo: memFree=28485532/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=346728 CPUtime=1362.04 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 89616 0 0 0 136185 19 0 0 20 0 1 0 287942286 355049472 86370 33554432000 4194304 6212839 140734958981040 140734958979336 4307682 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 86682 86370 234 493 0 86187 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 355880

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6633
/proc/meminfo: memFree=28466320/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=353136 CPUtime=1422.03 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 91217 0 0 0 142184 19 0 0 20 0 1 0 287942286 361611264 87971 33554432000 4194304 6212839 140734958981040 140734958979048 4333840 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 88284 87971 234 493 0 87789 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 362288

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 6637
/proc/meminfo: memFree=28418068/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=419128 CPUtime=1482.02 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 103002 0 0 0 148181 21 0 0 20 0 1 0 287942286 429187072 99756 33554432000 4194304 6212839 140734958981040 140734958979336 4662640 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 104782 99756 234 493 0 104287 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 428280

[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 6637
/proc/meminfo: memFree=28413660/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=419128 CPUtime=1542.02 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 103002 0 0 0 154181 21 0 0 20 0 1 0 287942286 429187072 99756 33554432000 4194304 6212839 140734958981040 140734958979336 4421959 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 104782 99756 234 493 0 104287 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 428280

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6637
/proc/meminfo: memFree=28361876/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=470260 CPUtime=1602 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 117957 0 0 0 160176 24 0 0 20 0 1 0 287942286 481546240 112567 33554432000 4194304 6212839 140734958981040 140734958979336 4421873 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 117565 112567 234 493 0 117070 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 479412

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6637
/proc/meminfo: memFree=28356544/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=470260 CPUtime=1661.99 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 117957 0 0 0 166175 24 0 0 20 0 1 0 287942286 481546240 112567 33554432000 4194304 6212839 140734958981040 140734958979336 4685275 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 117565 112567 234 493 0 117070 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 479412

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6637
/proc/meminfo: memFree=28348980/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=470260 CPUtime=1721.99 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 117957 0 0 0 172174 25 0 0 20 0 1 0 287942286 481546240 112567 33554432000 4194304 6212839 140734958981040 140734958979336 4307655 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 117565 112567 234 493 0 117070 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 479412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6638
/proc/meminfo: memFree=28332948/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=470260 CPUtime=1781.98 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 117963 0 0 0 178173 25 0 0 20 0 1 0 287942286 481546240 114440 33554432000 4194304 6212839 140734958981040 140734958979336 4681518 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 117565 114440 234 493 0 117070 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 479412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6638
/proc/meminfo: memFree=28322624/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=470260 CPUtime=1800.08 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 117964 0 0 0 179983 25 0 0 20 0 1 0 287942286 481546240 116960 33554432000 4194304 6212839 140734958981040 140734958979336 4333789 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 117565 116960 234 493 0 117070 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 479412

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6638
/proc/meminfo: memFree=28322624/32873844 swapFree=7372/7372
[pid=6580] ppid=6578 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (clasp-opt.sh) S 6578 6580 6321 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287942286 9371648 275 33554432000 4194304 5064252 140737262159072 140737262157984 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2288 275 232 213 0 73 0
[pid=6581] ppid=6580 vsize=470260 CPUtime=1800.08 cores=0,2,4,6
/proc/6581/stat : 6581 (clasp-R5325) R 6580 6580 6321 0 -1 4202496 117964 0 0 0 179983 25 0 0 20 0 1 0 287942286 481546240 116960 33554432000 4194304 6212839 140734958981040 140734958979336 4333789 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/6581/statm: 117565 116960 234 493 0 117070 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 479412

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6580 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.83
CPU system time (s): 0.25
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 486612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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= 3
involuntary context switches= 1

runsolver used 3.37249 second user time and 9.1836 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-28 17:16:15
IDJOB=3709504
IDBENCH=89908
IDSOLVER=2288
FILE ID=node133/3709504-1338218174
RUNJOBID= node133-1338214546-6337
PBS_JOBID= 14624616
Free space on /tmp= 71180 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709504-1338218174/watcher-3709504-1338218174 -o /tmp/evaluation-result-3709504-1338218174/solver-3709504-1338218174 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709504-1338218174.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f53fdd20c3684d222e9e7b0e8ed09bf8
RANDOM SEED=1331986863

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29172664 kB
Buffers:          413032 kB
Cached:          2419656 kB
SwapCached:          104 kB
Active:          1262784 kB
Inactive:        1599860 kB
Active(anon):      18840 kB
Inactive(anon):    11368 kB
Active(file):    1243944 kB
Inactive(file):  1588492 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:             50124 kB
Writeback:             0 kB
AnonPages:         36868 kB
Mapped:            15416 kB
Shmem:               212 kB
Slab:             699504 kB
SReclaimable:     141392 kB
SUnreclaim:       558112 kB
KernelStack:        1496 kB
PageTables:         3960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     142636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71132 MiB
End job on node133 at 2012-05-28 17:46:15