Trace number 3448346

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.07 1800.01

General information on the benchmark

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

Verifier Data 

OK	1076

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-3448346-1307896847/watcher-3448346-1307896847 -o /var/tmp/evaluation-result-3448346-1307896847/solver-3448346-1307896847 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448346-1307896847.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: 2.00 1.99 1.79 2/170 27227
/proc/meminfo: memFree=1471048/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=3372 CPUtime=0 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 710 0 0 0 0 0 0 0 24 0 1 0 882100643 3452928 581 33554432000 134512640 136285325 4288447520 18446744073709551615 134930227 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 843 581 203 433 0 408 0

[startup+0.0172731 s]
/proc/loadavg: 2.00 1.99 1.79 2/170 27227
/proc/meminfo: memFree=1471048/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=3660 CPUtime=0.01 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 780 0 0 0 1 0 0 0 24 0 1 0 882100643 3747840 651 33554432000 134512640 136285325 4288447520 18446744073709551615 134647833 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 915 651 209 433 0 480 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3660

[startup+0.100273 s]
/proc/loadavg: 2.00 1.99 1.79 2/170 27227
/proc/meminfo: memFree=1471048/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=5376 CPUtime=0.09 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 1218 0 0 0 9 0 0 0 24 0 1 0 882100643 5505024 1089 33554432000 134512640 136285325 4288447520 18446744073709551615 135027230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 1344 1090 209 433 0 909 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5376

[startup+0.300248 s]
/proc/loadavg: 2.00 1.99 1.79 2/170 27227
/proc/meminfo: memFree=1471048/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=6564 CPUtime=0.29 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 1490 0 0 0 29 0 0 0 25 0 1 0 882100643 6721536 1361 33554432000 134512640 136285325 4288447520 18446744073709551615 135027340 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 1641 1361 209 433 0 1206 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6564

[startup+0.700151 s]
/proc/loadavg: 2.00 1.99 1.79 2/170 27227
/proc/meminfo: memFree=1471048/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=7620 CPUtime=0.69 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 1768 0 0 0 69 0 0 0 25 0 1 0 882100643 7802880 1639 33554432000 134512640 136285325 4288447520 18446744073709551615 135027924 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 1905 1639 209 433 0 1470 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7620

[startup+1.50103 s]
/proc/loadavg: 2.00 1.99 1.79 3/175 27237
/proc/meminfo: memFree=1458516/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=8676 CPUtime=1.49 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 2044 0 0 0 149 0 0 0 25 0 1 0 882100643 8884224 1915 33554432000 134512640 136285325 4288447520 18446744073709551615 135028320 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 2169 1915 209 433 0 1734 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8676

[startup+3.10074 s]
/proc/loadavg: 2.00 1.99 1.80 3/175 27237
/proc/meminfo: memFree=1455368/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=10128 CPUtime=3.09 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 2394 0 0 0 309 0 0 0 25 0 1 0 882100643 10371072 2265 33554432000 134512640 136285325 4288447520 18446744073709551615 134930619 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 2532 2265 209 433 0 2097 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10128

[startup+6.30112 s]
/proc/loadavg: 2.00 1.99 1.80 3/175 27237
/proc/meminfo: memFree=1451472/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=12380 CPUtime=6.29 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 2947 0 0 0 629 0 0 0 25 0 1 0 882100643 12677120 2818 33554432000 134512640 136285325 4288447520 18446744073709551615 134625325 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 3095 2818 209 433 0 2660 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12380

[startup+12.701 s]
/proc/loadavg: 2.00 1.99 1.80 3/175 27238
/proc/meminfo: memFree=1448516/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=13436 CPUtime=12.69 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 3219 0 0 0 1269 0 0 0 25 0 1 0 882100643 13758464 3090 33554432000 134512640 136285325 4288447520 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 3359 3090 209 433 0 2924 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13436

[startup+25.5006 s]
/proc/loadavg: 2.08 2.00 1.80 3/175 27238
/proc/meminfo: memFree=1444932/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=15732 CPUtime=25.49 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 3813 0 0 0 2549 0 0 0 25 0 1 0 882100643 16109568 3660 33554432000 134512640 136285325 4288447520 18446744073709551615 134667167 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 3933 3660 210 433 0 3498 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15732

[startup+51.1009 s]
/proc/loadavg: 2.05 2.00 1.81 3/175 27239
/proc/meminfo: memFree=1440840/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=17456 CPUtime=51.09 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 4320 0 0 0 5109 0 0 0 25 0 1 0 882100643 17874944 4115 33554432000 134512640 136285325 4288447520 18446744073709551615 135027366 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 4364 4115 210 433 0 3929 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17456

[startup+102.306 s]
/proc/loadavg: 2.02 2.00 1.82 3/175 27240
/proc/meminfo: memFree=1433724/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=21812 CPUtime=102.3 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 5398 0 0 0 10230 0 0 0 25 0 1 0 882100643 22335488 5193 33554432000 134512640 136285325 4288447520 18446744073709551615 134625453 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 5453 5193 210 433 0 5018 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 21812

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 1.83 3/175 27242
/proc/meminfo: memFree=1430300/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=23296 CPUtime=162.29 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 6046 0 0 0 16229 0 0 0 25 0 1 0 882100643 23855104 5572 33554432000 134512640 136285325 4288447520 18446744073709551615 134667196 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 5824 5572 210 433 0 5389 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23296

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.84 3/175 27243
/proc/meminfo: memFree=1425164/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=26344 CPUtime=222.3 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 7157 0 0 0 22229 1 0 0 25 0 1 0 882100643 26976256 6334 33554432000 134512640 136285325 4288447520 18446744073709551615 134625317 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 6586 6334 210 433 0 6151 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26344

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/175 27245
/proc/meminfo: memFree=1422748/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=27288 CPUtime=282.3 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 7924 0 0 0 28229 1 0 0 25 0 1 0 882100643 27942912 6544 33554432000 134512640 136285325 4288447520 18446744073709551615 134625544 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 6822 6544 210 433 0 6387 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27288

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/175 27246
/proc/meminfo: memFree=1419240/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=29720 CPUtime=342.3 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 9191 0 0 0 34229 1 0 0 25 0 1 0 882100643 30433280 7135 33554432000 134512640 136285325 4288447520 18446744073709551615 134625325 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 7430 7135 210 433 0 6995 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 29720

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/175 27248
/proc/meminfo: memFree=1416092/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=31060 CPUtime=402.3 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 9853 0 0 0 40229 1 0 0 25 0 1 0 882100643 31805440 7445 33554432000 134512640 136285325 4288447520 18446744073709551615 134625481 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 7765 7445 210 433 0 7330 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31060

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/175 27250
/proc/meminfo: memFree=1414304/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=32908 CPUtime=462.31 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 10339 0 0 0 46229 2 0 0 25 0 1 0 882100643 33697792 7931 33554432000 134512640 136285325 4288447520 18446744073709551615 134625314 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 8227 7931 210 433 0 7792 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 32908

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 27251
/proc/meminfo: memFree=1413644/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=33304 CPUtime=522.31 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 10428 0 0 0 52229 2 0 0 25 0 1 0 882100643 34103296 8020 33554432000 134512640 136285325 4288447520 18446744073709551615 134958584 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 8326 8020 210 433 0 7891 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 33304

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 27253
/proc/meminfo: memFree=1410992/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=33504 CPUtime=582.31 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 11350 0 0 0 58229 2 0 0 25 0 1 0 882100643 34308096 8089 33554432000 134512640 136285325 4288447520 18446744073709551615 134667111 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 8376 8089 210 433 0 7941 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33504

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.00 1.90 3/175 27259
/proc/meminfo: memFree=1404132/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=37104 CPUtime=822.31 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 13152 0 0 0 82229 2 0 0 25 0 1 0 882100643 37994496 8966 33554432000 134512640 136285325 4288447520 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 9276 8966 210 433 0 8841 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 37104

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27261
/proc/meminfo: memFree=1403600/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=37212 CPUtime=882.32 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 13825 0 0 0 88229 3 0 0 25 0 1 0 882100643 38105088 8985 33554432000 134512640 136285325 4288447520 18446744073709551615 134625386 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 9303 8985 210 433 0 8868 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 37212

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27262
/proc/meminfo: memFree=1402432/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=37840 CPUtime=942.32 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 15050 0 0 0 94229 3 0 0 25 0 1 0 882100643 38748160 9166 33554432000 134512640 136285325 4288447520 18446744073709551615 134954332 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 9460 9166 210 433 0 9025 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 37840

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27264
/proc/meminfo: memFree=1399664/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=40792 CPUtime=1002.33 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 16180 0 0 0 100230 3 0 0 25 0 1 0 882100643 41771008 9894 33554432000 134512640 136285325 4288447520 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 10198 9894 210 433 0 9763 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 40792

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27266
/proc/meminfo: memFree=1401348/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=38572 CPUtime=1062.33 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 16180 0 0 0 106230 3 0 0 25 0 1 0 882100643 39497728 9350 33554432000 134512640 136285325 4288447520 18446744073709551615 134954385 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 9643 9350 210 433 0 9208 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 38572

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27267
/proc/meminfo: memFree=1400184/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=40052 CPUtime=1122.33 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 16586 0 0 0 112230 3 0 0 25 0 1 0 882100643 41013248 9720 33554432000 134512640 136285325 4288447520 18446744073709551615 134636729 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 10013 9720 210 433 0 9578 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 40052

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27269
/proc/meminfo: memFree=1399520/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=40648 CPUtime=1182.33 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 16946 0 0 0 118230 3 0 0 25 0 1 0 882100643 41623552 9877 33554432000 134512640 136285325 4288447520 18446744073709551615 134970919 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 10162 9877 210 433 0 9727 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 40648

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27279
/proc/meminfo: memFree=1393484/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44080 CPUtime=1242.33 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 17814 0 0 0 124230 3 0 0 25 0 1 0 882100643 45137920 10745 33554432000 134512640 136285325 4288447520 18446744073709551615 135028006 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11020 10745 210 433 0 10585 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 44080

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27281
/proc/meminfo: memFree=1393284/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44120 CPUtime=1302.34 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 18194 0 0 0 130231 3 0 0 25 0 1 0 882100643 45178880 10759 33554432000 134512640 136285325 4288447520 18446744073709551615 134954575 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11030 10759 210 433 0 10595 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 44120

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27283
/proc/meminfo: memFree=1393716/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=42500 CPUtime=1362.33 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 18194 0 0 0 136230 3 0 0 25 0 1 0 882100643 43520000 10370 33554432000 134512640 136285325 4288447520 18446744073709551615 134958535 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 10625 10370 210 433 0 10190 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 42500

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27284
/proc/meminfo: memFree=1394036/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=42500 CPUtime=1422.34 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 18706 0 0 0 142231 3 0 0 25 0 1 0 882100643 43520000 10370 33554432000 134512640 136285325 4288447520 18446744073709551615 134648684 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 10625 10370 210 433 0 10190 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 42500

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 27286
/proc/meminfo: memFree=1391740/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44348 CPUtime=1482.33 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 19150 0 0 0 148230 3 0 0 25 0 1 0 882100643 45412352 10814 33554432000 134512640 136285325 4288447520 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11087 10814 210 433 0 10652 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 44348

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/175 27287
/proc/meminfo: memFree=1391824/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44480 CPUtime=1542.34 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 19174 0 0 0 154231 3 0 0 25 0 1 0 882100643 45547520 10838 33554432000 134512640 136285325 4288447520 18446744073709551615 134625295 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11120 10838 210 433 0 10685 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 44480

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/175 27289
/proc/meminfo: memFree=1391772/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44480 CPUtime=1602.34 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 19174 0 0 0 160231 3 0 0 25 0 1 0 882100643 45547520 10838 33554432000 134512640 136285325 4288447520 18446744073709551615 134960526 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11120 10838 210 433 0 10685 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 44480

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/175 27291
/proc/meminfo: memFree=1391596/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44480 CPUtime=1662.35 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 19174 0 0 0 166231 4 0 0 25 0 1 0 882100643 45547520 10838 33554432000 134512640 136285325 4288447520 18446744073709551615 134954371 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11120 10838 210 433 0 10685 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 44480

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/175 27292
/proc/meminfo: memFree=1391524/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44480 CPUtime=1722.35 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 19174 0 0 0 172231 4 0 0 25 0 1 0 882100643 45547520 10838 33554432000 134512640 136285325 4288447520 18446744073709551615 134954371 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11120 10838 210 433 0 10685 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 44480

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/175 27294
/proc/meminfo: memFree=1391360/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44480 CPUtime=1782.35 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 19174 0 0 0 178231 4 0 0 25 0 1 0 882100643 45547520 10838 33554432000 134512640 136285325 4288447520 18446744073709551615 134646713 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11120 10838 210 433 0 10685 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 44480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.02 1.93 3/175 27294
/proc/meminfo: memFree=1391328/32951124 swapFree=67062232/67111528
[pid=27227] ppid=27225 vsize=44480 CPUtime=1800.06 cores=0,2,4,6
/proc/27227/stat : 27227 (clasp) R 27225 27227 27059 0 -1 4202496 19174 0 0 0 180002 4 0 0 25 0 1 0 882100643 45547520 10838 33554432000 134512640 136285325 4288447520 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/27227/statm: 11120 10838 210 433 0 10685 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 44480

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.07
CPU user time (s): 1800.02
CPU system time (s): 0.042993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 44612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19183
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= 2752

runsolver used 2.81657 second user time and 5.37918 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-12 18:40:47
IDJOB=3448346
IDBENCH=78722
IDSOLVER=1946
FILE ID=node147/3448346-1307896847
RUNJOBID= node147-1307896847-27208
PBS_JOBID= 13559562
Free space on /var/tmp= 2912 MiB

SOLVER NAME= clasp 2.0-RC2
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--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-3448346-1307896847/watcher-3448346-1307896847 -o /var/tmp/evaluation-result-3448346-1307896847/solver-3448346-1307896847 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3448346-1307896847.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= 9f59d922c085a32576bd21436364ce6a
RANDOM SEED=1635423623

node147.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.836
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.67
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.836
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.836
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.82
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.836
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.836
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.836
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.76
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.836
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.836
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1471624 kB
Buffers:         49100 kB
Cached:       30469072 kB
SwapCached:       9832 kB
Active:       15695192 kB
Inactive:     14838668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1471624 kB
SwapTotal:    67111528 kB
SwapFree:     67062232 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:       13928 kB
Mapped:           9664 kB
Slab:           882620 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   157840 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= 2908 MiB
End job on node147 at 2011-06-12 19:10:49