Trace number 3448244

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 NameAnswerCPU timeWall clock time
clasp 2.0-RC2MSAT (TO) 1800.08 1800.01

General information on the benchmark

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

Verifier Data 

OK	1786

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 /var/tmp/evaluation-result-3448244-1307895176/watcher-3448244-1307895176 -o /var/tmp/evaluation-result-3448244-1307895176/solver-3448244-1307895176 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448244-1307895176.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once 

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.68 1.04 1.24 3/176 31136
/proc/meminfo: memFree=1246712/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=3348 CPUtime=0 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 701 0 0 0 0 0 0 0 25 0 1 0 901117301 3428352 574 33554432000 134512640 136285325 4289611568 18446744073709551615 134680725 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 837 574 204 433 0 402 0

[startup+0.0853979 s]
/proc/loadavg: 1.68 1.04 1.24 3/176 31136
/proc/meminfo: memFree=1246712/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=4948 CPUtime=0.08 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 1088 0 0 0 8 0 0 0 25 0 1 0 901117301 5066752 961 33554432000 134512640 136285325 4289611568 18446744073709551615 134960499 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 1237 961 210 433 0 802 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4948

[startup+0.100396 s]
/proc/loadavg: 1.68 1.04 1.24 3/176 31136
/proc/meminfo: memFree=1246712/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=5080 CPUtime=0.09 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 1141 0 0 0 9 0 0 0 25 0 1 0 901117301 5201920 1014 33554432000 134512640 136285325 4289611568 18446744073709551615 134667186 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 1270 1014 210 433 0 835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5080

[startup+0.300358 s]
/proc/loadavg: 1.68 1.04 1.24 3/176 31136
/proc/meminfo: memFree=1246712/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=5740 CPUtime=0.29 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 1307 0 0 0 29 0 0 0 25 0 1 0 901117301 5877760 1180 33554432000 134512640 136285325 4289611568 18446744073709551615 134647836 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 1435 1180 210 433 0 1000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5740

[startup+0.70033 s]
/proc/loadavg: 1.68 1.04 1.24 3/176 31136
/proc/meminfo: memFree=1246712/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=6544 CPUtime=0.69 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 1485 0 0 0 69 0 0 0 25 0 1 0 901117301 6701056 1358 33554432000 134512640 136285325 4289611568 18446744073709551615 134625679 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 1636 1358 210 433 0 1201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6544

[startup+1.50025 s]
/proc/loadavg: 1.68 1.04 1.24 4/178 31138
/proc/meminfo: memFree=1241788/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=7600 CPUtime=1.49 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 1755 0 0 0 149 0 0 0 25 0 1 0 901117301 7782400 1628 33554432000 134512640 136285325 4289611568 18446744073709551615 134958535 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 1900 1628 210 433 0 1465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7600

[startup+3.10093 s]
/proc/loadavg: 1.68 1.04 1.24 4/178 31138
/proc/meminfo: memFree=1240240/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=8392 CPUtime=3.09 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 1963 0 0 0 309 0 0 0 25 0 1 0 901117301 8593408 1836 33554432000 134512640 136285325 4289611568 18446744073709551615 134625268 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 2098 1836 210 433 0 1663 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8392

[startup+6.30021 s]
/proc/loadavg: 1.70 1.06 1.24 4/178 31138
/proc/meminfo: memFree=1238500/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=9712 CPUtime=6.29 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 2281 0 0 0 629 0 0 0 25 0 1 0 901117301 9945088 2154 33554432000 134512640 136285325 4289611568 18446744073709551615 134970781 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 2428 2154 210 433 0 1993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9712

[startup+12.701 s]
/proc/loadavg: 1.73 1.07 1.25 4/178 31138
/proc/meminfo: memFree=1237060/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=10900 CPUtime=12.69 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 2592 0 0 0 1269 0 0 0 25 0 1 0 901117301 11161600 2465 33554432000 134512640 136285325 4289611568 18446744073709551615 134625342 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 2725 2465 210 433 0 2290 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10900

[startup+25.5007 s]
/proc/loadavg: 1.79 1.12 1.26 4/178 31138
/proc/meminfo: memFree=1235316/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=12352 CPUtime=25.49 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 2956 0 0 0 2549 0 0 0 25 0 1 0 901117301 12648448 2829 33554432000 134512640 136285325 4289611568 18446744073709551615 134960558 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 3088 2829 210 433 0 2653 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12352

[startup+51.1008 s]
/proc/loadavg: 1.86 1.19 1.28 4/178 31139
/proc/meminfo: memFree=1233308/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=14464 CPUtime=51.09 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 3471 0 0 0 5109 0 0 0 25 0 1 0 901117301 14811136 3344 33554432000 134512640 136285325 4289611568 18446744073709551615 134647090 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 3616 3344 210 433 0 3181 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14464

[startup+102.307 s]
/proc/loadavg: 1.94 1.31 1.31 4/178 31140
/proc/meminfo: memFree=1230176/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=17192 CPUtime=102.3 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 4295 0 0 0 10230 0 0 0 25 0 1 0 901117301 17604608 4049 33554432000 134512640 136285325 4289611568 18446744073709551615 134625314 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 4298 4049 210 433 0 3863 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17192

[startup+162.301 s]
/proc/loadavg: 1.97 1.43 1.35 3/178 31180
/proc/meminfo: memFree=1222420/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=18776 CPUtime=162.29 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 4915 0 0 0 16229 0 0 0 25 0 1 0 901117301 19226624 4444 33554432000 134512640 136285325 4289611568 18446744073709551615 134954382 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 4694 4444 210 433 0 4259 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18776

[startup+222.301 s]
/proc/loadavg: 1.99 1.53 1.39 3/178 31182
/proc/meminfo: memFree=1219156/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=20088 CPUtime=222.3 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 5369 0 0 0 22230 0 0 0 25 0 1 0 901117301 20570112 4771 33554432000 134512640 136285325 4289611568 18446744073709551615 134625266 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 5022 4771 210 433 0 4587 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20088

[startup+282.301 s]
/proc/loadavg: 1.99 1.62 1.43 3/178 31183
/proc/meminfo: memFree=1216032/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=22020 CPUtime=282.3 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 6378 0 0 0 28229 1 0 0 25 0 1 0 901117301 22548480 5255 33554432000 134512640 136285325 4289611568 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 5505 5255 210 433 0 5070 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 22020

[startup+342.3 s]
/proc/loadavg: 1.99 1.68 1.46 3/178 31185
/proc/meminfo: memFree=1215124/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=22812 CPUtime=342.3 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 6566 0 0 0 34229 1 0 0 25 0 1 0 901117301 23359488 5443 33554432000 134512640 136285325 4289611568 18446744073709551615 134625434 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 5703 5443 210 433 0 5268 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22812

[startup+402.301 s]
/proc/loadavg: 1.99 1.74 1.49 3/178 31186
/proc/meminfo: memFree=1213588/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=22812 CPUtime=402.3 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 6574 0 0 0 40229 1 0 0 25 0 1 0 901117301 23359488 5451 33554432000 134512640 136285325 4289611568 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 5703 5451 210 433 0 5268 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22812

[startup+462.3 s]
/proc/loadavg: 1.99 1.78 1.52 3/178 31188
/proc/meminfo: memFree=1211932/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=24132 CPUtime=462.31 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 6897 0 0 0 46230 1 0 0 25 0 1 0 901117301 24711168 5774 33554432000 134512640 136285325 4289611568 18446744073709551615 134647848 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 6033 5774 210 433 0 5598 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24132

[startup+522.301 s]
/proc/loadavg: 2.06 1.84 1.55 3/178 31190
/proc/meminfo: memFree=1209644/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=25332 CPUtime=522.31 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 7779 0 0 0 52230 1 0 0 25 0 1 0 901117301 25939968 6083 33554432000 134512640 136285325 4289611568 18446744073709551615 134625841 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 6333 6083 210 433 0 5898 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 25332

[startup+582.301 s]
/proc/loadavg: 2.02 1.86 1.58 3/178 31191
/proc/meminfo: memFree=1209100/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=25332 CPUtime=582.31 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 7779 0 0 0 58230 1 0 0 25 0 1 0 901117301 25939968 6083 33554432000 134512640 136285325 4289611568 18446744073709551615 134647135 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 6333 6083 210 433 0 5898 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25332

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.93 1.66 3/178 31198
/proc/meminfo: memFree=1203044/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=29512 CPUtime=822.32 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 9329 0 0 0 82230 2 0 0 25 0 1 0 901117301 30220288 7127 33554432000 134512640 136285325 4289611568 18446744073709551615 134625304 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 7378 7127 210 433 0 6943 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 29512

[startup+882.3 s]
/proc/loadavg: 2.04 1.95 1.68 3/178 31199
/proc/meminfo: memFree=1200512/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=31624 CPUtime=882.32 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 10006 0 0 0 88230 2 0 0 25 0 1 0 901117301 32382976 7655 33554432000 134512640 136285325 4289611568 18446744073709551615 134625306 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 7906 7655 210 433 0 7471 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 31624

[startup+942.301 s]
/proc/loadavg: 2.01 1.96 1.70 3/178 31201
/proc/meminfo: memFree=1199472/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=31624 CPUtime=942.33 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 10006 0 0 0 94231 2 0 0 25 0 1 0 901117301 32382976 7655 33554432000 134512640 136285325 4289611568 18446744073709551615 134625335 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 7906 7655 210 433 0 7471 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 31624

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/178 31202
/proc/meminfo: memFree=1199420/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=31624 CPUtime=1002.33 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 10006 0 0 0 100231 2 0 0 25 0 1 0 901117301 32382976 7655 33554432000 134512640 136285325 4289611568 18446744073709551615 134954371 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 7906 7655 210 433 0 7471 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 31624

[startup+1062.3 s]
/proc/loadavg: 2.04 1.98 1.74 3/178 31204
/proc/meminfo: memFree=1197392/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=31624 CPUtime=1062.33 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 10364 0 0 0 106231 2 0 0 25 0 1 0 901117301 32382976 7655 33554432000 134512640 136285325 4289611568 18446744073709551615 134648305 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 7906 7655 210 433 0 7471 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 31624

[startup+1122.3 s]
/proc/loadavg: 2.01 1.98 1.75 3/178 31206
/proc/meminfo: memFree=1197236/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=32416 CPUtime=1122.33 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 10539 0 0 0 112231 2 0 0 25 0 1 0 901117301 33193984 7830 33554432000 134512640 136285325 4289611568 18446744073709551615 135027340 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8104 7830 210 433 0 7669 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 32416

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.76 3/178 31207
/proc/meminfo: memFree=1195084/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=34396 CPUtime=1182.34 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 11033 0 0 0 118232 2 0 0 25 0 1 0 901117301 35221504 8324 33554432000 134512640 136285325 4289611568 18446744073709551615 134625314 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8599 8324 210 433 0 8164 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 34396

[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.77 3/178 31209
/proc/meminfo: memFree=1195044/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=33800 CPUtime=1242.34 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 11033 0 0 0 124232 2 0 0 25 0 1 0 901117301 34611200 8198 33554432000 134512640 136285325 4289611568 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8450 8198 210 433 0 8015 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 33800

[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.79 3/178 31210
/proc/meminfo: memFree=1195128/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=33800 CPUtime=1302.35 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 11033 0 0 0 130233 2 0 0 25 0 1 0 901117301 34611200 8198 33554432000 134512640 136285325 4289611568 18446744073709551615 134945122 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8450 8198 210 433 0 8015 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 33800

[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.80 3/178 31212
/proc/meminfo: memFree=1194580/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=34592 CPUtime=1362.34 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 11205 0 0 0 136232 2 0 0 25 0 1 0 901117301 35422208 8370 33554432000 134512640 136285325 4289611568 18446744073709551615 134953029 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8648 8370 210 433 0 8213 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 34592

[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.81 3/178 31214
/proc/meminfo: memFree=1194652/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=34592 CPUtime=1422.35 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 11205 0 0 0 142233 2 0 0 25 0 1 0 901117301 35422208 8370 33554432000 134512640 136285325 4289611568 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8648 8370 210 433 0 8213 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 34592

[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.82 3/178 31215
/proc/meminfo: memFree=1194472/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=34592 CPUtime=1482.35 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 11205 0 0 0 148233 2 0 0 25 0 1 0 901117301 35422208 8370 33554432000 134512640 136285325 4289611568 18446744073709551615 134625325 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8648 8370 210 433 0 8213 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 34592

[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.83 3/178 31217
/proc/meminfo: memFree=1194548/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=34592 CPUtime=1542.35 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 11205 0 0 0 154233 2 0 0 25 0 1 0 901117301 35422208 8370 33554432000 134512640 136285325 4289611568 18446744073709551615 134667175 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8648 8370 210 433 0 8213 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 34592

[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.83 3/178 31218
/proc/meminfo: memFree=1194492/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=34592 CPUtime=1602.35 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 11206 0 0 0 160233 2 0 0 25 0 1 0 901117301 35422208 8371 33554432000 134512640 136285325 4289611568 18446744073709551615 134954379 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 8648 8371 210 433 0 8213 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 34592

[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.84 3/178 31220
/proc/meminfo: memFree=1190964/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=38060 CPUtime=1662.35 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 12157 0 0 0 166233 2 0 0 25 0 1 0 901117301 38973440 9257 33554432000 134512640 136285325 4289611568 18446744073709551615 134669661 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 9515 9257 210 433 0 9080 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 38060

[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.84 3/178 31222
/proc/meminfo: memFree=1190908/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=38060 CPUtime=1722.35 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 12157 0 0 0 172233 2 0 0 25 0 1 0 901117301 38973440 9257 33554432000 134512640 136285325 4289611568 18446744073709551615 134625304 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 9515 9257 210 433 0 9080 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 38060

[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.85 3/178 31223
/proc/meminfo: memFree=1190736/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=38060 CPUtime=1782.35 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 12157 0 0 0 178233 2 0 0 25 0 1 0 901117301 38973440 9257 33554432000 134512640 136285325 4289611568 18446744073709551615 134960499 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 9515 9257 210 433 0 9080 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 38060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.98 1.85 3/178 31224
/proc/meminfo: memFree=1190596/32950928 swapFree=67055948/67111528
[pid=31134] ppid=31131 vsize=38060 CPUtime=1800.06 cores=0,2,4,6
/proc/31134/stat : 31134 (clasp) R 31131 31134 30857 0 -1 4202496 12158 0 0 0 180004 2 0 0 25 0 1 0 901117301 38973440 9258 33554432000 134512640 136285325 4289611568 18446744073709551615 134648126 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31134/statm: 9515 9258 210 433 0 9080 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 38060

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.08
CPU user time (s): 1800.05
CPU system time (s): 0.031995
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 38060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12166
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= 5
involuntary context switches= 3040

runsolver used 2.71959 second user time and 5.57915 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-12 18:12:56
IDJOB=3448244
IDBENCH=78664
IDSOLVER=1946
FILE ID=node127/3448244-1307895176
RUNJOBID= node127-1307895176-31109
PBS_JOBID= 13559579
Free space on /var/tmp= 2892 MiB

SOLVER NAME= clasp 2.0-RC2
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3448244-1307895176/watcher-3448244-1307895176 -o /var/tmp/evaluation-result-3448244-1307895176/solver-3448244-1307895176 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3448244-1307895176.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once

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

MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=1954620117

node127.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.823
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.64
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.823
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.83
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.823
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1247692 kB
Buffers:         48452 kB
Cached:       30678896 kB
SwapCached:       9120 kB
Active:       15416660 kB
Inactive:     15329116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1247692 kB
SwapTotal:    67111528 kB
SwapFree:     67055948 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:       15972 kB
Mapped:          12924 kB
Slab:           892900 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189248 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 /var/tmp at the end= 2888 MiB
End job on node127 at 2011-06-12 18:42:58