Trace number 3709507

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)SAT (TO)212 1800.04 1800.41

General information on the benchmark

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

Verifier Data

OK	212

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-3709507-1338221667/watcher-3709507-1338221667 -o /tmp/evaluation-result-3709507-1338221667/solver-3709507-1338221667 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709507-1338221667.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.84 1.97 1.87 2/175 26745
/proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0

[startup+0.0537749 s]
/proc/loadavg: 1.84 1.97 1.87 2/175 26745
/proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100281 s]
/proc/loadavg: 1.84 1.97 1.87 2/175 26745
/proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300254 s]
/proc/loadavg: 1.84 1.97 1.87 2/175 26745
/proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700246 s]
/proc/loadavg: 1.84 1.97 1.87 2/175 26745
/proc/meminfo: memFree=31231216/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50027 s]
/proc/loadavg: 1.93 1.98 1.88 3/176 26763
/proc/meminfo: memFree=31182080/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=55732 CPUtime=1.49 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 14178 0 0 0 145 4 0 0 20 0 1 0 288292100 57069568 13592 33554432000 4194304 6212839 140733498442336 140733498440344 4685294 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 13933 13592 233 493 0 13438 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64884

[startup+3.10033 s]
/proc/loadavg: 1.93 1.98 1.88 3/181 26779
/proc/meminfo: memFree=31152564/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=63804 CPUtime=3.08 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 16215 0 0 0 304 4 0 0 20 0 1 0 288292100 65335296 15629 33554432000 4194304 6212839 140733498442336 140733498440344 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 15951 15629 233 493 0 15456 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 72956

[startup+6.30026 s]
/proc/loadavg: 1.94 1.98 1.88 3/181 26779
/proc/meminfo: memFree=31139264/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=72316 CPUtime=6.28 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 18317 0 0 0 623 5 0 0 20 0 1 0 288292100 74051584 17723 33554432000 4194304 6212839 140733498442336 140733498440344 4685321 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 18079 17723 234 493 0 17584 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 81468

[startup+12.7004 s]
/proc/loadavg: 1.94 1.98 1.88 3/181 26779
/proc/meminfo: memFree=31125736/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=81352 CPUtime=12.68 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 20577 0 0 0 1262 6 0 0 20 0 1 0 288292100 83304448 19983 33554432000 4194304 6212839 140733498442336 140733498440344 4422336 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 20338 19983 234 493 0 19843 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 90504

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.88 3/181 26779
/proc/meminfo: memFree=31122488/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=84520 CPUtime=25.46 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 21399 0 0 0 2540 6 0 0 20 0 1 0 288292100 86548480 20809 33554432000 4194304 6212839 140733498442336 140733498440344 4685515 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 21130 20809 234 493 0 20635 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 93672

[startup+51.1066 s]
/proc/loadavg: 1.97 1.98 1.88 3/181 26779
/proc/meminfo: memFree=31108816/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=97228 CPUtime=51.05 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 24291 0 0 0 5099 6 0 0 20 0 1 0 288292100 99561472 23717 33554432000 4194304 6212839 140733498442336 140733498440344 4674268 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 24307 23717 234 493 0 23812 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 106380

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.89 3/181 26779
/proc/meminfo: memFree=31079952/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=119748 CPUtime=102.23 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 29261 0 0 0 10215 8 0 0 20 0 1 0 288292100 122621952 28970 33554432000 4194304 6212839 140733498442336 140733498440344 4421962 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 29937 28970 234 493 0 29442 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 128900

[startup+162.3 s]
/proc/loadavg: 2.07 2.00 1.90 3/181 26779
/proc/meminfo: memFree=31060208/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=128860 CPUtime=162.21 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 31603 0 0 0 16213 8 0 0 20 0 1 0 288292100 131952640 31917 33554432000 4194304 6212839 140733498442336 140733498440344 4421938 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 32215 31917 234 493 0 31720 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 138012

[startup+222.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/181 26780
/proc/meminfo: memFree=31037688/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=150116 CPUtime=222.21 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 35720 0 0 0 22212 9 0 0 20 0 1 0 288292100 153718784 36034 33554432000 4194304 6212839 140733498442336 140733498440632 4681500 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 37529 36034 234 493 0 37034 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 159268

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/181 26780
/proc/meminfo: memFree=31023964/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=155196 CPUtime=282.19 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 37419 0 0 0 28210 9 0 0 20 0 1 0 288292100 158920704 38416 33554432000 4194304 6212839 140733498442336 140733498440632 4683366 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 38799 38416 234 493 0 38304 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 164348

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 26783
/proc/meminfo: memFree=31014204/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=160540 CPUtime=342.18 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 38596 0 0 0 34209 9 0 0 20 0 1 0 288292100 164392960 39677 33554432000 4194304 6212839 140733498442336 140733498440632 4411603 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 40135 39677 234 493 0 39640 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 169692

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 26783
/proc/meminfo: memFree=31001440/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=225732 CPUtime=1122.04 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 56353 0 0 0 112190 14 0 0 20 0 1 0 288292100 231149568 56134 33554432000 4194304 6212839 140733498442336 140733498440632 4674290 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 56433 56134 234 493 0 55938 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 234884

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/181 26789
/proc/meminfo: memFree=30890844/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=233324 CPUtime=1182.02 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 58234 0 0 0 118188 14 0 0 20 0 1 0 288292100 238923776 58013 33554432000 4194304 6212839 140733498442336 140733498440344 4334731 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 58331 58013 234 493 0 57836 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 242476

[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/181 26789
/proc/meminfo: memFree=30882468/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=240712 CPUtime=1242.03 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 60073 0 0 0 124188 15 0 0 20 0 1 0 288292100 246489088 59852 33554432000 4194304 6212839 140733498442336 140733498440344 4421948 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 60178 59852 234 493 0 59683 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 249864

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/181 26789
/proc/meminfo: memFree=30878252/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=241768 CPUtime=1302.01 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 60333 0 0 0 130186 15 0 0 20 0 1 0 288292100 247570432 60112 33554432000 4194304 6212839 140733498442336 140733498440344 4685317 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 60442 60112 234 493 0 59947 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 250920

[startup+1362.31 s]
/proc/loadavg: 2.05 2.03 1.94 3/181 26789
/proc/meminfo: memFree=30857048/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=268600 CPUtime=1362 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65293 0 0 0 136185 15 0 0 20 0 1 0 288292100 275046400 65072 33554432000 4194304 6212839 140733498442336 140733498440632 4325971 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 67150 65072 234 493 0 66655 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 277752

[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/181 26789
/proc/meminfo: memFree=30848264/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=268600 CPUtime=1421.98 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65302 0 0 0 142183 15 0 0 20 0 1 0 288292100 275046400 66752 33554432000 4194304 6212839 140733498442336 140733498440744 4683194 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 67150 66752 234 493 0 66655 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 277752

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/181 26790
/proc/meminfo: memFree=30846208/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=268600 CPUtime=1481.97 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65302 0 0 0 148182 15 0 0 20 0 1 0 288292100 275046400 66752 33554432000 4194304 6212839 140733498442336 140733498440744 4683360 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 67150 66752 234 493 0 66655 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 277752

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/182 26793
/proc/meminfo: memFree=30844332/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=268600 CPUtime=1541.97 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65302 0 0 0 154181 16 0 0 20 0 1 0 288292100 275046400 66752 33554432000 4194304 6212839 140733498442336 140733498440744 4676343 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 67150 66752 234 493 0 66655 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 277752

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 26793
/proc/meminfo: memFree=30843108/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=268600 CPUtime=1601.96 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 65302 0 0 0 160180 16 0 0 20 0 1 0 288292100 275046400 66752 33554432000 4194304 6212839 140733498442336 140733498440744 4421959 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 67150 66752 234 493 0 66655 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 277752

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 26793
/proc/meminfo: memFree=30834548/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=271868 CPUtime=1661.95 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 66117 0 0 0 166179 16 0 0 20 0 1 0 288292100 278392832 67641 33554432000 4194304 6212839 140733498442336 140733498440344 4326056 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 67967 67641 234 493 0 67472 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 281020

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/181 26793
/proc/meminfo: memFree=30832244/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=271868 CPUtime=1721.94 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 66117 0 0 0 172178 16 0 0 20 0 1 0 288292100 278392832 67641 33554432000 4194304 6212839 140733498442336 140733498440344 4424532 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 67967 67641 234 493 0 67472 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 281020

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/181 26794
/proc/meminfo: memFree=30830260/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=272132 CPUtime=1781.93 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 66204 0 0 0 178177 16 0 0 20 0 1 0 288292100 278663168 67728 33554432000 4194304 6212839 140733498442336 140733498440344 4307731 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 68033 67728 234 493 0 67538 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 281284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 1.94 3/181 26794
/proc/meminfo: memFree=30826664/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=275860 CPUtime=1800.03 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 67116 0 0 0 179987 16 0 0 20 0 1 0 288292100 282480640 68640 33554432000 4194304 6212839 140733498442336 140733498440344 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 68965 68640 234 493 0 68470 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 285012

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 1.94 3/181 26794
/proc/meminfo: memFree=30826664/32873844 swapFree=7112/7112
[pid=26745] ppid=26743 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26745/stat : 26745 (clasp-opt.sh) S 26743 26745 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 288292100 9371648 275 33554432000 4194304 5064252 140733497950336 140733497949248 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26745/statm: 2288 275 232 213 0 73 0
[pid=26746] ppid=26745 vsize=275860 CPUtime=1800.03 cores=0,2,4,6
/proc/26746/stat : 26746 (clasp-R5325) R 26745 26745 26693 0 -1 4202496 67116 0 0 0 179987 16 0 0 20 0 1 0 288292100 282480640 68640 33554432000 4194304 6212839 140733498442336 140733498440344 4333789 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26746/statm: 68965 68640 234 493 0 68470 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 285012

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.88
CPU system time (s): 0.164974
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 285012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.164974
maximum resident set size= 274592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67488
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= 98
involuntary context switches= 2004

runsolver used 2.6546 second user time and 7.17491 second system time

The end

Launcher Data

Begin job on node132 at 2012-05-28 18:14:28
IDJOB=3709507
IDBENCH=89912
IDSOLVER=2288
FILE ID=node132/3709507-1338221667
RUNJOBID= node132-1338221667-26709
PBS_JOBID= 14624620
Free space on /tmp= 71604 MiB

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

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

MD5SUM BENCH= 0476e702136eda2e813dad2792abe9ac
RANDOM SEED=1086098533

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31231588 kB
Buffers:          476580 kB
Cached:           262448 kB
SwapCached:         2284 kB
Active:           561448 kB
Inactive:         187848 kB
Active(anon):       2500 kB
Inactive(anon):     8148 kB
Active(file):     558948 kB
Inactive(file):   179700 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67103740 kB
Dirty:             38696 kB
Writeback:             4 kB
AnonPages:         13364 kB
Mapped:            10612 kB
Shmem:                 8 kB
Slab:             752512 kB
SReclaimable:     193628 kB
SUnreclaim:       558884 kB
KernelStack:        1456 kB
PageTables:         3940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71600 MiB
End job on node132 at 2012-05-28 18:44:28