Trace number 3468008

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-R4191SAT (TO)42 1800.02 1800.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark28.1547
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
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 constraint1
Maximum length of a constraint63
Number of terms in the objective function 2531
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 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
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 clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...112867/instance-3468008-1307112867.opb
0.00/0.02	c Solving...
0.00/0.02	o 109
0.00/0.02	o 44
0.00/0.02	o 43
0.00/0.03	o 42
1800.00/1800.00	
1800.00/1800.00	*** INTERRUPTED! ***
1800.00/1800.00	c Answer: 4
1800.00/1800.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16
1800.00/1800.01	v -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31
1800.00/1800.01	v x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46
1800.00/1800.01	v -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61
1800.00/1800.01	v -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76
1800.00/1800.01	v -x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91
1800.00/1800.01	v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.00/1800.01	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117
1800.00/1800.01	v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.00/1800.01	v x130 -x131 x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 x142
1800.00/1800.01	v x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154
1800.00/1800.01	v -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 x163 -x164 -x165 -x166 x167
1800.00/1800.01	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179
1800.00/1800.01	v -x180 x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 x192
1800.00/1800.01	v x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205
1800.00/1800.01	v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217
1800.00/1800.01	v -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.00/1800.01	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241
1800.00/1800.01	v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1800.00/1800.01	v -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266
1800.00/1800.01	v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.00/1800.01	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1800.00/1800.01	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302
1800.00/1800.01	v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.00/1800.01	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326
1800.00/1800.01	v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1800.00/1800.01	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 x348 -x349 -x350 -x351
1800.00/1800.01	v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363
1800.00/1800.01	v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.00/1800.01	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387
1800.00/1800.01	v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.00/1800.01	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411
1800.00/1800.01	v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1800.00/1800.01	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435
1800.00/1800.01	v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447
1800.00/1800.01	v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.00/1800.01	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471
1800.00/1800.01	v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.00/1800.01	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495
1800.00/1800.01	v -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
1800.00/1800.01	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519
1800.00/1800.01	v -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531
1800.00/1800.01	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
1800.00/1800.01	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555
1800.00/1800.01	v -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.00/1800.01	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579
1800.00/1800.01	v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
1800.00/1800.01	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603
1800.00/1800.01	v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615
1800.00/1800.01	v -x616 -x617 -x618 -x619 -x620 x621 x622 -x623 -x624 -x625 -x626 -x627 -x628
1800.00/1800.01	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
1800.00/1800.01	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1800.00/1800.01	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664
1800.00/1800.01	v -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1800.00/1800.01	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
1800.00/1800.01	v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
1800.00/1800.01	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1800.00/1800.01	v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724
1800.00/1800.01	v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736
1800.00/1800.01	v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748
1800.00/1800.01	v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1800.00/1800.01	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772
1800.00/1800.01	v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784
1800.00/1800.01	v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796
1800.00/1800.01	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808
1800.00/1800.01	v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1800.00/1800.01	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832
1800.00/1800.01	v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844
1800.00/1800.01	v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856
1800.00/1800.01	v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868
1800.00/1800.01	v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
1800.00/1800.01	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892
1800.00/1800.01	v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904
1800.00/1800.01	v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916
1800.00/1800.01	v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928
1800.00/1800.01	v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1800.00/1800.01	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952
1800.00/1800.01	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964
1800.00/1800.01	v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976
1800.00/1800.01	v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
1800.00/1800.01	v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
1800.00/1800.01	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
1800.00/1800.01	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.00/1800.01	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033
1800.00/1800.01	v x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044
1800.00/1800.01	v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055
1800.00/1800.01	v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
1800.00/1800.01	v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1800.00/1800.01	v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088
1800.00/1800.01	v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099
1800.00/1800.01	v -x1100 x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.00/1800.01	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121
1800.00/1800.01	v -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1800.00/1800.01	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.00/1800.01	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154
1800.00/1800.01	v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165
1800.00/1800.01	v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.00/1800.01	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187
1800.00/1800.01	v -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1800.00/1800.01	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.00/1800.01	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220
1800.00/1800.01	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231
1800.00/1800.01	v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242
1800.00/1800.01	v -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
1800.00/1800.01	v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264
1800.00/1800.01	v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275
1800.00/1800.01	v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286
1800.00/1800.01	v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297
1800.00/1800.01	v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
1800.00/1800.01	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1800.00/1800.01	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1800.00/1800.01	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
1800.00/1800.01	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352
1800.00/1800.01	v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1800.00/1800.01	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374
1800.00/1800.01	v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385
1800.00/1800.01	v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1800.00/1800.01	v -x1397 -x1398 x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407
1800.00/1800.01	v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1800.00/1800.01	v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429
1800.00/1800.01	v -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1800.00/1800.01	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1800.00/1800.01	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462
1800.00/1800.01	v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473
1800.00/1800.01	v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484
1800.00/1800.01	v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495
1800.00/1800.01	v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.00/1800.01	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1800.00/1800.01	v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528
1800.00/1800.01	v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539
1800.00/1800.01	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1800.00/1800.01	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561
1800.00/1800.01	v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572
1800.00/1800.01	v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1800.00/1800.01	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594
1800.00/1800.01	v -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605
1800.00/1800.01	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616
1800.00/1800.01	v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627
1800.00/1800.01	v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
1800.00/1800.01	v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649
1800.00/1800.01	v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1800.00/1800.01	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1800.00/1800.01	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682
1800.00/1800.01	v -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693
1800.00/1800.01	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
1800.00/1800.01	v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715
1800.00/1800.01	v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1800.00/1800.01	v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737
1800.00/1800.01	v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748
1800.00/1800.01	v -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759
1800.00/1800.01	v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 x1768 -x1769 -x1770
1800.00/1800.01	v -x1771 -x1772 x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781
1800.00/1800.01	v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1800.00/1800.01	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803
1800.00/1800.01	v -x1804 x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814
1800.00/1800.01	v -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.00/1800.01	v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836
1800.00/1800.01	v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 x1844 -x1845 -x1846 -x1847
1800.00/1800.01	v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858
1800.00/1800.01	v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869
1800.00/1800.01	v -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1800.00/1800.01	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1800.00/1800.01	v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902
1800.00/1800.01	v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913
1800.00/1800.01	v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
1800.00/1800.01	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935
1800.00/1800.01	v -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946
1800.00/1800.01	v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
1800.00/1800.01	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
1800.00/1800.01	v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979
1800.00/1800.01	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1800.00/1800.01	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001
1800.00/1800.01	v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012
1800.00/1800.01	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023
1800.00/1800.01	v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1800.00/1800.01	v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045
1800.00/1800.01	v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056
1800.00/1800.01	v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
1800.00/1800.01	v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078
1800.00/1800.01	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089
1800.00/1800.01	v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
1800.00/1800.01	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111
1800.00/1800.01	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122
1800.00/1800.01	v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133
1800.00/1800.01	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144
1800.00/1800.01	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155
1800.00/1800.01	v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1800.00/1800.01	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177
1800.00/1800.01	v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188
1800.00/1800.01	v -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1800.00/1800.01	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
1800.00/1800.01	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221
1800.00/1800.01	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232
1800.00/1800.01	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243
1800.00/1800.01	v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1800.00/1800.01	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265
1800.00/1800.01	v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
1800.00/1800.01	v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287
1800.00/1800.01	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298
1800.00/1800.01	v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309
1800.00/1800.01	v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
1800.00/1800.01	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
1800.00/1800.01	v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342
1800.00/1800.01	v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353
1800.00/1800.01	v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364
1800.00/1800.01	v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375
1800.00/1800.01	v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386
1800.00/1800.01	v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
1800.00/1800.01	v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1800.00/1800.01	v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 x2416 -x2417 -x2418 -x2419
1800.00/1800.01	v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
1800.00/1800.01	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441
1800.00/1800.01	v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452
1800.00/1800.01	v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463
1800.00/1800.01	v -x2464 -x2465 -x2466 x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474
1800.00/1800.01	v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
1800.00/1800.01	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
1800.00/1800.01	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507
1800.00/1800.01	v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
1800.00/1800.01	v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529
1800.00/1800.01	v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
1800.00/1800.01	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551
1800.00/1800.01	v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562
1800.00/1800.01	v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573
1800.00/1800.01	v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
1800.00/1800.01	v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595
1800.00/1800.01	v -x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 -x2603 -x2604 -x2605 -x2606
1800.00/1800.01	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617
1800.00/1800.01	v -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628
1800.00/1800.01	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639
1800.00/1800.01	v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
1800.00/1800.01	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661
1800.00/1800.01	v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672
1800.00/1800.01	v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683
1800.00/1800.01	v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694
1800.00/1800.01	v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
1800.00/1800.01	v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
1800.00/1800.01	v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727
1800.00/1800.01	v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738
1800.00/1800.01	v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749
1800.00/1800.01	v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
1800.00/1800.01	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771
1800.00/1800.01	v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782
1800.00/1800.01	v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
1800.00/1800.01	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804
1800.00/1800.01	v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815
1800.00/1800.01	v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1800.00/1800.01	v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837
1800.00/1800.01	v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848
1800.00/1800.01	v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859
1800.00/1800.01	v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
1800.00/1800.01	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881
1800.00/1800.01	v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
1800.00/1800.01	v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903
1800.00/1800.01	v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914
1800.00/1800.01	v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925
1800.00/1800.01	v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936
1800.00/1800.01	v -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947
1800.00/1800.01	v -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 x2958
1800.00/1800.01	v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969
1800.00/1800.01	v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
1800.00/1800.01	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991
1800.00/1800.01	v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
1800.00/1800.01	v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013
1800.00/1800.01	v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024
1800.00/1800.01	v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035
1800.00/1800.01	v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046
1800.00/1800.01	v -x3047 -x3048 x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057
1800.00/1800.01	v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068
1800.00/1800.01	v -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1800.00/1800.01	v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
1800.00/1800.01	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101
1800.00/1800.01	v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112
1800.00/1800.01	v -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 -x3121 -x3122 -x3123
1800.00/1800.01	v -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134
1800.00/1800.01	v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145
1800.00/1800.01	v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156
1800.00/1800.01	v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167
1800.00/1800.01	v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178
1800.00/1800.01	v x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 x3188 -x3189
1800.00/1800.01	v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
1800.00/1800.01	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211
1800.00/1800.01	v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222
1800.00/1800.01	v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233
1800.00/1800.01	v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244
1800.00/1800.01	v -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255
1800.00/1800.01	v -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266
1800.00/1800.01	v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277
1800.00/1800.01	v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
1800.00/1800.01	v -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
1800.00/1800.01	v -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
1800.00/1800.01	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321
1800.00/1800.01	v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332
1800.00/1800.01	v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343
1800.00/1800.01	v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1800.00/1800.01	v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365
1800.00/1800.01	v -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376
1800.00/1800.01	v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387
1800.00/1800.01	v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398
1800.00/1800.01	v -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409
1800.00/1800.01	v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
1800.00/1800.01	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431
1800.00/1800.01	v -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442
1800.00/1800.01	v -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
1800.00/1800.01	v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464
1800.00/1800.01	v -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475
1800.00/1800.01	v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486
1800.00/1800.01	v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497
1800.00/1800.01	v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508
1800.00/1800.01	v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519
1800.00/1800.01	v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
1800.00/1800.01	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541
1800.00/1800.01	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552
1800.00/1800.01	v -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563
1800.00/1800.01	v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574
1800.00/1800.01	v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585
1800.00/1800.01	v -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596
1800.00/1800.01	v -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607
1800.00/1800.01	v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618
1800.00/1800.01	v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
1800.00/1800.01	v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
1800.00/1800.01	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651
1800.00/1800.01	v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662
1800.00/1800.01	v -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673
1800.00/1800.01	v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684
1800.00/1800.01	v -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695
1800.00/1800.01	v -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706
1800.00/1800.01	v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717
1800.00/1800.01	v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728
1800.00/1800.01	v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739
1800.00/1800.01	v -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
1800.00/1800.01	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761
1800.00/1800.01	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772
1800.00/1800.01	v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783
1800.00/1800.01	v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 x3792 -x3793 -x3794
1800.00/1800.01	v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805
1800.00/1800.01	v -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816
1800.00/1800.01	v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1800.00/1800.01	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838
1800.00/1800.01	v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849
1800.00/1800.01	v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
1800.00/1800.01	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871
1800.00/1800.01	v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882
1800.00/1800.01	v -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893
1800.00/1800.01	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904
1800.00/1800.01	v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915
1800.00/1800.01	v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926
1800.00/1800.01	v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937
1800.00/1800.01	v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948
1800.00/1800.01	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959
1800.00/1800.01	v -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
1800.00/1800.01	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981
1800.00/1800.01	v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992
1800.00/1800.01	v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003
1800.00/1800.01	v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014
1800.00/1800.01	v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025
1800.00/1800.01	v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036
1800.00/1800.01	v -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047
1800.00/1800.01	v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058
1800.00/1800.01	v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069
1800.00/1800.01	v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
1800.00/1800.01	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091
1800.00/1800.01	v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102
1800.00/1800.01	v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113
1800.00/1800.01	v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124
1800.00/1800.01	v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135
1800.00/1800.01	v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146
1800.00/1800.01	v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157
1800.00/1800.01	v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168
1800.00/1800.01	v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179
1800.00/1800.01	v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
1800.00/1800.01	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201
1800.00/1800.01	v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212
1800.00/1800.01	v -x4213 -x4214 -x4215 -x4216 x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223
1800.00/1800.01	v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234
1800.00/1800.01	v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245
1800.00/1800.01	v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256
1800.00/1800.01	v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267
1800.00/1800.01	v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278
1800.00/1800.01	v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289
1800.00/1800.01	v -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
1800.00/1800.01	v -x4301 -x4302 x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311
1800.00/1800.01	v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322
1800.00/1800.01	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333
1800.00/1800.01	v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344
1800.00/1800.01	v -x4345 -x4346 -x4347 -x4348 x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1800.00/1800.01	v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 x4364 -x4365 -x4366
1800.00/1800.01	v -x4367 -x4368 x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377
1800.00/1800.01	v -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1800.00/1800.01	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399
1800.00/1800.01	v x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410
1800.00/1800.01	v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421
1800.00/1800.01	v -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432
1800.00/1800.01	v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443
1800.00/1800.01	v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454
1800.00/1800.01	v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465
1800.00/1800.01	v x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476
1800.00/1800.01	v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487
1800.00/1800.01	v -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498
1800.00/1800.01	v -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509
1800.00/1800.01	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520
1800.00/1800.01	v -x4521 -x4522 x4523 x4524 x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531
1800.00/1800.01	v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542
1800.00/1800.01	v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553
1800.00/1800.01	v -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564
1800.00/1800.01	v -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575
1800.00/1800.01	v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586
1800.00/1800.01	v -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597
1800.00/1800.01	v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608
1800.00/1800.01	v -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619
1800.00/1800.01	v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630
1800.00/1800.01	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641
1800.00/1800.01	v -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652
1800.00/1800.01	v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663
1800.00/1800.01	v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674
1800.00/1800.01	v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685
1800.00/1800.01	v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696
1800.00/1800.01	v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707
1800.00/1800.01	v -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718
1800.00/1800.01	v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729
1800.00/1800.01	v -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740
1800.00/1800.01	v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751
1800.00/1800.01	v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762
1800.00/1800.01	v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773
1800.00/1800.01	v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784
1800.00/1800.01	v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795
1800.00/1800.01	v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806
1800.00/1800.01	v -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817
1800.00/1800.01	v -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828
1800.00/1800.01	v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839
1800.00/1800.01	v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850
1800.00/1800.01	v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861
1800.00/1800.01	v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872
1800.00/1800.01	v -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
1800.00/1800.01	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894
1800.00/1800.01	v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905
1800.00/1800.01	v -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 x4913 x4914 -x4915 -x4916
1800.00/1800.01	v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 x4926 -x4927
1800.00/1800.01	v -x4928 -x4929 -x4930 -x4931 -x4932 x4933 x4934 -x4935 -x4936 -x4937 -x4938
1800.00/1800.01	v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949
1800.00/1800.01	v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960
1800.00/1800.01	v x4961 x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971
1800.00/1800.01	v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982
1800.00/1800.01	v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993
1800.00/1800.01	v -x4994 -x4995 -x4996 x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004
1800.00/1800.01	v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015
1800.00/1800.01	v -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026
1800.00/1800.01	v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037
1800.00/1800.01	v -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
1800.00/1800.01	v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059
1800.00/1800.01	v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
1800.00/1800.01	v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081
1800.00/1800.01	v -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092
1800.00/1800.01	v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103
1800.00/1800.01	v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114
1800.00/1800.01	v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125
1800.00/1800.01	v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136
1800.00/1800.01	v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147
1800.00/1800.01	v -x5148 x5149 x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158
1800.00/1800.01	v -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 x5166 -x5167 -x5168 -x5169
1800.00/1800.01	v -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180
1800.00/1800.01	v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 x5189 x5190 -x5191
1800.00/1800.01	v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202
1800.00/1800.01	v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213
1800.00/1800.01	v -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 x5222 -x5223 -x5224
1800.00/1800.01	v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235
1800.00/1800.01	v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246
1800.00/1800.01	v x5247 x5248 -x5249 -x5250 -x5251 -x5252 x5253 x5254 x5255 x5256
1800.00/1800.01	s SATISFIABLE
1800.00/1800.01	
1800.00/1800.01	c INTERRUPTED   : 1
1800.00/1800.01	c Models        : 1+    
1800.00/1800.01	c   Enumerated  : 4
1800.00/1800.01	c   Optimum     : unknown
1800.00/1800.01	c Optimization  : 42
1800.00/1800.01	c Time          : 1800.008s (Solving: 1799.98s 1st Model: 0.00s Unsat: 0.00s)
1800.00/1800.01	c CPU Time      : 1800.010s

Verifier Data 

OK	42

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3468008-1307112867/watcher-3468008-1307112867 -o /tmp/evaluation-result-3468008-1307112867/solver-3468008-1307112867 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468008-1307112867.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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.97 1.99 1.99 2/273 5601
/proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=13632 CPUtime=0 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 793 0 0 0 0 0 0 0 25 0 1 0 822887481 13959168 692 33554432000 4194304 4933572 140735144789872 18446744073709551615 222921438241 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5601/statm: 3408 693 331 181 0 417 0

[startup+0.065273 s]
/proc/loadavg: 1.97 1.99 1.99 2/273 5601
/proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=14848 CPUtime=0.06 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1308 0 0 0 6 0 0 0 25 0 1 0 822887481 15204352 1073 33554432000 4194304 4933572 140735144789872 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5601/statm: 3712 1073 378 181 0 721 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14848

[startup+0.100266 s]
/proc/loadavg: 1.97 1.99 1.99 2/273 5601
/proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=14848 CPUtime=0.09 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1314 0 0 0 9 0 0 0 25 0 1 0 822887481 15204352 1079 33554432000 4194304 4933572 140735144789872 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5601/statm: 3712 1079 384 181 0 721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14848

[startup+0.300225 s]
/proc/loadavg: 1.97 1.99 1.99 2/273 5601
/proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=14848 CPUtime=0.29 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1315 0 0 0 29 0 0 0 25 0 1 0 822887481 15204352 1080 33554432000 4194304 4933572 140735144789872 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5601/statm: 3712 1080 385 181 0 721 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14848

[startup+0.701152 s]
/proc/loadavg: 1.97 1.99 1.99 2/273 5601
/proc/meminfo: memFree=28410656/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=14980 CPUtime=0.69 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1349 0 0 0 69 0 0 0 25 0 1 0 822887481 15339520 1114 33554432000 4194304 4933572 140735144789872 18446744073709551615 4371108 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5601/statm: 3745 1114 385 181 0 754 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14980

[startup+1.50101 s]
/proc/loadavg: 1.97 1.99 1.99 3/274 5602
/proc/meminfo: memFree=28407432/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=15248 CPUtime=1.49 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1393 0 0 0 149 0 0 0 25 0 1 0 822887481 15613952 1158 33554432000 4194304 4933572 140735144789872 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5601/statm: 3812 1158 385 181 0 821 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15248

[startup+3.10069 s]
/proc/loadavg: 1.97 1.99 1.99 3/274 5602
/proc/meminfo: memFree=28406440/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=15512 CPUtime=3.09 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1479 0 0 0 309 0 0 0 25 0 1 0 822887481 15884288 1244 33554432000 4194304 4933572 140735144789872 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5601/statm: 3878 1244 385 181 0 887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15512

[startup+6.30114 s]
/proc/loadavg: 1.97 1.99 1.99 3/274 5602
/proc/meminfo: memFree=28405324/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=16180 CPUtime=6.29 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1618 0 0 0 629 0 0 0 25 0 1 0 822887481 16568320 1383 33554432000 4194304 4933572 140735144789872 18446744073709551615 4369039 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5601/statm: 4045 1383 385 181 0 1054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16180

[startup+12.7009 s]
/proc/loadavg: 1.98 1.99 1.99 3/274 5602
/proc/meminfo: memFree=28404064/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=16728 CPUtime=12.67 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 1777 0 0 0 1267 0 0 0 25 0 1 0 822887481 17129472 1542 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/5601/statm: 4182 1542 385 181 0 1191 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 16728

[startup+25.5006 s]
/proc/loadavg: 1.98 1.99 1.99 3/274 5603
/proc/meminfo: memFree=28402696/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=17788 CPUtime=25.45 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 2010 0 0 0 2545 0 0 0 25 0 1 0 822887481 18214912 1775 33554432000 4194304 4933572 140735144789872 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 4447 1775 385 181 0 1456 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 17788

[startup+51.1009 s]
/proc/loadavg: 1.99 1.99 1.99 3/274 5603
/proc/meminfo: memFree=28400692/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=19020 CPUtime=51.05 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 2324 0 0 0 5105 0 0 0 25 0 1 0 822887481 19476480 2089 33554432000 4194304 4933572 140735144789872 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 4755 2089 385 181 0 1764 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 19020

[startup+102.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/274 5605
/proc/meminfo: memFree=28396088/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=21100 CPUtime=102.26 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 2808 0 0 0 10226 0 0 0 25 0 1 0 822887481 21606400 2573 33554432000 4194304 4933572 140735144789872 18446744073709551615 4632952 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 5275 2573 385 181 0 2284 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21100

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/274 5606
/proc/meminfo: memFree=28393708/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=22248 CPUtime=162.26 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 3096 0 0 0 16226 0 0 0 25 0 1 0 822887481 22781952 2861 33554432000 4194304 4933572 140735144789872 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 5562 2861 385 181 0 2571 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 22248

[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/274 5608
/proc/meminfo: memFree=28391328/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=24136 CPUtime=222.26 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 3545 0 0 0 22226 0 0 0 25 0 1 0 822887481 24715264 3310 33554432000 4194304 4933572 140735144789872 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 6034 3310 385 181 0 3043 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 24136

[startup+282.301 s]
/proc/loadavg: 2.07 2.01 2.00 3/274 5609
/proc/meminfo: memFree=28390188/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=25080 CPUtime=282.26 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 3737 0 0 0 28226 0 0 0 25 0 1 0 822887481 25681920 3502 33554432000 4194304 4933572 140735144789872 18446744073709551615 4340904 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 6270 3502 385 181 0 3279 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 25080

[startup+342.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/274 5611
/proc/meminfo: memFree=28388796/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=25976 CPUtime=342.26 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 3947 0 0 0 34226 0 0 0 25 0 1 0 822887481 26599424 3712 33554432000 4194304 4933572 140735144789872 18446744073709551615 4369145 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 6494 3712 385 181 0 3503 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 25976

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 5622
/proc/meminfo: memFree=28388152/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=26376 CPUtime=402.26 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4054 0 0 0 40226 0 0 0 25 0 1 0 822887481 27009024 3819 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428423 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 6594 3819 385 181 0 3603 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 26376

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5623
/proc/meminfo: memFree=28386036/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=27416 CPUtime=462.26 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4295 0 0 0 46225 1 0 0 25 0 1 0 822887481 28073984 4060 33554432000 4194304 4933572 140735144789872 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 6854 4060 385 181 0 3863 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 27416

[startup+522.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/274 5625
/proc/meminfo: memFree=28384648/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=27868 CPUtime=522.26 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4397 0 0 0 52225 1 0 0 25 0 1 0 822887481 28536832 4162 33554432000 4194304 4933572 140735144789872 18446744073709551615 4648403 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 6967 4162 385 181 0 3976 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 27868

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/274 5629
/proc/meminfo: memFree=28382496/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=28036 CPUtime=582.27 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4438 0 0 0 58226 1 0 0 25 0 1 0 822887481 28708864 4203 33554432000 4194304 4933572 140735144789872 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 7009 4203 385 181 0 4018 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 28036

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5636
/proc/meminfo: memFree=28378604/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=29864 CPUtime=822.27 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4891 0 0 0 82226 1 0 0 25 0 1 0 822887481 30580736 4656 33554432000 4194304 4933572 140735144789872 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 7466 4656 385 181 0 4475 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 29864

[startup+882.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/274 5637
/proc/meminfo: memFree=28378824/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=30296 CPUtime=882.27 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 4988 0 0 0 88226 1 0 0 25 0 1 0 822887481 31023104 4753 33554432000 4194304 4933572 140735144789872 18446744073709551615 4649216 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 7574 4753 385 181 0 4583 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 30296

[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/274 5639
/proc/meminfo: memFree=28378072/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=30996 CPUtime=942.27 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5159 0 0 0 94226 1 0 0 25 0 1 0 822887481 31739904 4924 33554432000 4194304 4933572 140735144789872 18446744073709551615 4664548 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 7749 4924 385 181 0 4758 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 30996

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5641
/proc/meminfo: memFree=28377188/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=31572 CPUtime=1002.28 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5300 0 0 0 100227 1 0 0 25 0 1 0 822887481 32329728 5065 33554432000 4194304 4933572 140735144789872 18446744073709551615 4648515 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 7893 5065 385 181 0 4902 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 31572

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5642
/proc/meminfo: memFree=28376172/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=32060 CPUtime=1062.28 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5410 0 0 0 106226 2 0 0 25 0 1 0 822887481 32829440 5175 33554432000 4194304 4933572 140735144789872 18446744073709551615 4369399 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8015 5175 385 181 0 5024 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 32060

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5644
/proc/meminfo: memFree=28375532/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=32396 CPUtime=1122.28 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5478 0 0 0 112226 2 0 0 25 0 1 0 822887481 33173504 5243 33554432000 4194304 4933572 140735144789872 18446744073709551615 4635448 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8099 5243 385 181 0 5108 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 32396

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5645
/proc/meminfo: memFree=28374396/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=33128 CPUtime=1182.28 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5652 0 0 0 118226 2 0 0 25 0 1 0 822887481 33923072 5417 33554432000 4194304 4933572 140735144789872 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8282 5417 385 181 0 5291 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 33128

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5647
/proc/meminfo: memFree=28373000/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=33456 CPUtime=1242.28 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5706 0 0 0 124226 2 0 0 25 0 1 0 822887481 34258944 5471 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8364 5471 385 181 0 5373 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 33456

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5649
/proc/meminfo: memFree=28373224/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=33456 CPUtime=1302.29 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5710 0 0 0 130227 2 0 0 25 0 1 0 822887481 34258944 5475 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8364 5475 385 181 0 5373 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 33456

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5650
/proc/meminfo: memFree=28372828/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=33624 CPUtime=1362.29 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5756 0 0 0 136227 2 0 0 25 0 1 0 822887481 34430976 5521 33554432000 4194304 4933572 140735144789872 18446744073709551615 4664528 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8406 5521 385 181 0 5415 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 33624

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/274 5652
/proc/meminfo: memFree=28372184/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=34252 CPUtime=1422.3 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 5906 0 0 0 142228 2 0 0 25 0 1 0 822887481 35074048 5671 33554432000 4194304 4933572 140735144789872 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8563 5671 385 181 0 5572 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 34252

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/274 5653
/proc/meminfo: memFree=28371176/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=35084 CPUtime=1482.29 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6127 0 0 0 148227 2 0 0 25 0 1 0 822887481 35926016 5892 33554432000 4194304 4933572 140735144789872 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8771 5892 385 181 0 5780 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 35084

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 5655
/proc/meminfo: memFree=28370652/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=35596 CPUtime=1542.29 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6218 0 0 0 154227 2 0 0 25 0 1 0 822887481 36450304 5983 33554432000 4194304 4933572 140735144789872 18446744073709551615 4428409 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8899 5983 385 181 0 5908 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 35596

[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/274 5657
/proc/meminfo: memFree=28370880/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=35768 CPUtime=1602.29 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6262 0 0 0 160227 2 0 0 25 0 1 0 822887481 36626432 6027 33554432000 4194304 4933572 140735144789872 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8942 6027 385 181 0 5951 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 35768

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/274 5658
/proc/meminfo: memFree=28370604/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=35908 CPUtime=1662.3 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6303 0 0 0 166227 3 0 0 25 0 1 0 822887481 36769792 6068 33554432000 4194304 4933572 140735144789872 18446744073709551615 4340865 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 8977 6068 385 181 0 5986 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 35908

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 5660
/proc/meminfo: memFree=28369340/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=36040 CPUtime=1722.3 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6346 0 0 0 172227 3 0 0 25 0 1 0 822887481 36904960 6111 33554432000 4194304 4933572 140735144789872 18446744073709551615 4369145 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 9010 6111 385 181 0 6019 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 36040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 5770
/proc/meminfo: memFree=28387868/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=36428 CPUtime=1782.3 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6418 0 0 0 178227 3 0 0 25 0 1 0 822887481 37302272 6183 33554432000 4194304 4933572 140735144789872 18446744073709551615 4370584 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 9107 6183 385 181 0 6116 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 36428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 5771
/proc/meminfo: memFree=28386748/32951124 swapFree=55664332/67111528
[pid=5601] ppid=5599 vsize=36560 CPUtime=1800 cores=0,2,4,6
/proc/5601/stat : 5601 (clasp) R 5599 5601 4051 0 -1 4202496 6456 0 0 0 179997 3 0 0 25 0 1 0 822887481 37437440 6221 33554432000 4194304 4933572 140735144789872 18446744073709551615 4372896 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 9140 6221 385 181 0 6149 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 36560

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

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

Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.02
CPU user time (s): 1799.98
CPU system time (s): 0.036994
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 36560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6464
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= 8
involuntary context switches= 21785

runsolver used 4.78427 second user time and 9.95449 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-03 16:54:27
IDJOB=3468008
IDBENCH=24999
IDSOLVER=1958
FILE ID=node109/3468008-1307112867
RUNJOBID= node109-1307105431-4946
PBS_JOBID= 13497981
Free space on /tmp= 73912 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468008-1307112867/watcher-3468008-1307112867 -o /tmp/evaluation-result-3468008-1307112867/solver-3468008-1307112867 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468008-1307112867.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1739141938

node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28410936 kB
Buffers:        308680 kB
Cached:        2239196 kB
SwapCached:      10392 kB
Active:         846912 kB
Inactive:      3438352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28410936 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:            1224 kB
Writeback:           0 kB
AnonPages:     1733452 kB
Mapped:          16780 kB
Slab:           155340 kB
PageTables:      37428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30896228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node109 at 2011-06-03 17:24:29