Trace number 3468045

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0-R4191SAT (TO)45 1800.05 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir05_area_opers.opb
MD5SUMfb30dc68ef00299e3d850b79fb8a2728
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark0.25596
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables6033
Total number of constraints11966
Number of constraints which are clauses11966
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3140
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3140
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	45

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468045-1307114694/watcher-3468045-1307114694 -o /tmp/evaluation-result-3468045-1307114694/solver-3468045-1307114694 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468045-1307114694.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

running on 4 cores: 1,3,5,7

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.01 2.03 2.00 3/469 7860
/proc/meminfo: memFree=24208332/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=13648 CPUtime=0 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 837 0 0 0 0 0 0 0 25 0 1 0 901699858 13975552 730 33554432000 4194304 4933572 140734298280000 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 3412 730 332 181 0 421 0

[startup+0.078687 s]
/proc/loadavg: 2.01 2.03 2.00 3/469 7860
/proc/meminfo: memFree=24208332/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=15312 CPUtime=0.07 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 1394 0 0 0 7 0 0 0 25 0 1 0 901699858 15679488 1170 33554432000 4194304 4933572 140734298280000 18446744073709551615 4368953 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 3828 1170 378 181 0 837 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15312

[startup+0.100686 s]
/proc/loadavg: 2.01 2.03 2.00 3/469 7860
/proc/meminfo: memFree=24208332/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=15312 CPUtime=0.09 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 1400 0 0 0 9 0 0 0 25 0 1 0 901699858 15679488 1176 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649040 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 3828 1176 384 181 0 837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15312

[startup+0.300647 s]
/proc/loadavg: 2.01 2.03 2.00 3/469 7860
/proc/meminfo: memFree=24208332/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=15312 CPUtime=0.29 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 1401 0 0 0 29 0 0 0 25 0 1 0 901699858 15679488 1177 33554432000 4194304 4933572 140734298280000 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 3828 1177 385 181 0 837 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15312

[startup+0.700572 s]
/proc/loadavg: 2.01 2.03 2.00 3/469 7860
/proc/meminfo: memFree=24208332/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=15312 CPUtime=0.69 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 1401 0 0 0 69 0 0 0 25 0 1 0 901699858 15679488 1177 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 3828 1177 385 181 0 837 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15312

[startup+1.50042 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7861
/proc/meminfo: memFree=24203264/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=15972 CPUtime=1.49 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 1569 0 0 0 149 0 0 0 25 0 1 0 901699858 16355328 1345 33554432000 4194304 4933572 140734298280000 18446744073709551615 4428002 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 3993 1345 385 181 0 1002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15972

[startup+3.10012 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7861
/proc/meminfo: memFree=24200784/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=16656 CPUtime=3.09 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 1727 0 0 0 309 0 0 0 25 0 1 0 901699858 17055744 1503 33554432000 4194304 4933572 140734298280000 18446744073709551615 4648426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 4164 1503 385 181 0 1173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16656

[startup+6.30053 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7861
/proc/meminfo: memFree=24200728/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=16656 CPUtime=6.29 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 1728 0 0 0 629 0 0 0 25 0 1 0 901699858 17055744 1504 33554432000 4194304 4933572 140734298280000 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 4164 1504 385 181 0 1173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16656

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7861
/proc/meminfo: memFree=24196832/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=19164 CPUtime=12.69 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 2364 0 0 0 1269 0 0 0 25 0 1 0 901699858 19623936 2140 33554432000 4194304 4933572 140734298280000 18446744073709551615 4428087 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 4791 2140 385 181 0 1800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19164

[startup+25.501 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 7861
/proc/meminfo: memFree=24195192/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=19164 CPUtime=25.49 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 2364 0 0 0 2549 0 0 0 25 0 1 0 901699858 19623936 2140 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 4791 2140 385 181 0 1800 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19164

[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7862
/proc/meminfo: memFree=24193896/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=19320 CPUtime=51.09 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 2403 0 0 0 5109 0 0 0 25 0 1 0 901699858 19783680 2179 33554432000 4194304 4933572 140734298280000 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 4830 2179 385 181 0 1839 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19320

[startup+102.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7863
/proc/meminfo: memFree=24190660/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=20504 CPUtime=102.31 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 2658 0 0 0 10231 0 0 0 25 0 1 0 901699858 20996096 2434 33554432000 4194304 4933572 140734298280000 18446744073709551615 4428566 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 5126 2434 385 181 0 2135 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20504

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7865
/proc/meminfo: memFree=24186292/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=21748 CPUtime=162.29 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 2966 0 0 0 16229 0 0 0 25 0 1 0 901699858 22269952 2742 33554432000 4194304 4933572 140734298280000 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 5437 2742 385 181 0 2446 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21748

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7867
/proc/meminfo: memFree=24186020/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=22436 CPUtime=222.29 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 3138 0 0 0 22229 0 0 0 25 0 1 0 901699858 22974464 2914 33554432000 4194304 4933572 140734298280000 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7860/statm: 5609 2914 385 181 0 2618 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 22436

[startup+282.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/470 7868
/proc/meminfo: memFree=24180792/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=27452 CPUtime=282.27 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 4382 0 0 0 28227 0 0 0 25 0 1 0 901699858 28110848 4158 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 6863 4158 385 181 0 3872 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 27452

[startup+342.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/470 7870
/proc/meminfo: memFree=24179912/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=27100 CPUtime=342.27 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 4385 0 0 0 34227 0 0 0 25 0 1 0 901699858 27750400 4082 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 6775 4082 385 181 0 3784 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 27100

[startup+402.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/470 7871
/proc/meminfo: memFree=24179528/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=27100 CPUtime=402.27 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 4389 0 0 0 40227 0 0 0 25 0 1 0 901699858 27750400 4086 33554432000 4194304 4933572 140734298280000 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 6775 4086 385 181 0 3784 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 27100

[startup+462.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/470 7873
/proc/meminfo: memFree=24179024/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=27244 CPUtime=462.27 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 4417 0 0 0 46227 0 0 0 25 0 1 0 901699858 27897856 4114 33554432000 4194304 4933572 140734298280000 18446744073709551615 4637439 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 6811 4114 385 181 0 3820 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 27244

[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/470 7875
/proc/meminfo: memFree=24178748/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=27592 CPUtime=522.27 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 4490 0 0 0 52227 0 0 0 25 0 1 0 901699858 28254208 4187 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 6898 4187 385 181 0 3907 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 27592

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7876
/proc/meminfo: memFree=24177856/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=27952 CPUtime=582.27 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 4554 0 0 0 58227 0 0 0 25 0 1 0 901699858 28622848 4251 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 6988 4251 385 181 0 3997 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 27952

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/470 7883
/proc/meminfo: memFree=24174556/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=29300 CPUtime=822.28 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 4868 0 0 0 82228 0 0 0 25 0 1 0 901699858 30003200 4565 33554432000 4194304 4933572 140734298280000 18446744073709551615 4648515 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7325 4565 387 181 0 4334 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 29300

[startup+882.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/470 7887
/proc/meminfo: memFree=24173824/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=29444 CPUtime=882.28 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 4900 0 0 0 88228 0 0 0 25 0 1 0 901699858 30150656 4597 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7361 4597 387 181 0 4370 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 29444

[startup+942.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/470 7889
/proc/meminfo: memFree=24174032/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=29944 CPUtime=942.29 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5047 0 0 0 94228 1 0 0 25 0 1 0 901699858 30662656 4744 33554432000 4194304 4933572 140734298280000 18446744073709551615 4648398 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7486 4744 387 181 0 4495 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 29944

[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/470 7890
/proc/meminfo: memFree=24172648/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=30256 CPUtime=1002.3 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5120 0 0 0 100229 1 0 0 25 0 1 0 901699858 30982144 4817 33554432000 4194304 4933572 140734298280000 18446744073709551615 4340878 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7564 4817 387 181 0 4573 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 30256

[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/470 7892
/proc/meminfo: memFree=24171876/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=30396 CPUtime=1062.3 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5131 0 0 0 106229 1 0 0 25 0 1 0 901699858 31125504 4828 33554432000 4194304 4933572 140734298280000 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7599 4828 387 181 0 4608 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 30396

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 7894
/proc/meminfo: memFree=24171096/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=30396 CPUtime=1122.3 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5163 0 0 0 112229 1 0 0 25 0 1 0 901699858 31125504 4860 33554432000 4194304 4933572 140734298280000 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7599 4860 387 181 0 4608 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 30396

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7895
/proc/meminfo: memFree=24170576/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=30580 CPUtime=1182.3 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5176 0 0 0 118229 1 0 0 25 0 1 0 901699858 31313920 4873 33554432000 4194304 4933572 140734298280000 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7645 4873 387 181 0 4654 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 30580

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7897
/proc/meminfo: memFree=24169576/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=30580 CPUtime=1242.31 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5176 0 0 0 124230 1 0 0 25 0 1 0 901699858 31313920 4873 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649153 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7645 4873 387 181 0 4654 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 30580

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7898
/proc/meminfo: memFree=24168688/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=30580 CPUtime=1302.31 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5192 0 0 0 130230 1 0 0 25 0 1 0 901699858 31313920 4889 33554432000 4194304 4933572 140734298280000 18446744073709551615 4368931 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7645 4889 387 181 0 4654 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 30580

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7900
/proc/meminfo: memFree=24168180/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=31060 CPUtime=1362.31 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5288 0 0 0 136230 1 0 0 25 0 1 0 901699858 31805440 4985 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649744 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7765 4985 387 181 0 4774 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 31060

[startup+1422.32 s]
/proc/loadavg: 2.18 2.05 2.01 3/470 7902
/proc/meminfo: memFree=24167908/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=31260 CPUtime=1422.33 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5351 0 0 0 142232 1 0 0 25 0 1 0 901699858 32010240 5048 33554432000 4194304 4933572 140734298280000 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7815 5048 387 181 0 4824 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 31260

[startup+1482.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/470 7903
/proc/meminfo: memFree=24167380/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=31560 CPUtime=1482.31 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5411 0 0 0 148230 1 0 0 25 0 1 0 901699858 32317440 5108 33554432000 4194304 4933572 140734298280000 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7890 5108 387 181 0 4899 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 31560

[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/470 7905
/proc/meminfo: memFree=24166976/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=31868 CPUtime=1542.31 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5485 0 0 0 154230 1 0 0 25 0 1 0 901699858 32632832 5182 33554432000 4194304 4933572 140734298280000 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7967 5182 387 181 0 4976 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 31868

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 7906
/proc/meminfo: memFree=24167080/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=31868 CPUtime=1602.32 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5489 0 0 0 160231 1 0 0 25 0 1 0 901699858 32632832 5186 33554432000 4194304 4933572 140734298280000 18446744073709551615 4648318 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 7967 5186 387 181 0 4976 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 31868

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7908
/proc/meminfo: memFree=24167056/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=32048 CPUtime=1662.32 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5527 0 0 0 166231 1 0 0 25 0 1 0 901699858 32817152 5224 33554432000 4194304 4933572 140734298280000 18446744073709551615 4333280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 8012 5224 387 181 0 5021 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 32048

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7910
/proc/meminfo: memFree=24166536/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=32268 CPUtime=1722.32 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5562 0 0 0 172231 1 0 0 25 0 1 0 901699858 33042432 5259 33554432000 4194304 4933572 140734298280000 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 8067 5259 387 181 0 5076 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 32268

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7911
/proc/meminfo: memFree=24165636/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=32268 CPUtime=1782.32 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5573 0 0 0 178231 1 0 0 25 0 1 0 901699858 33042432 5270 33554432000 4194304 4933572 140734298280000 18446744073709551615 4649747 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 8067 5270 387 181 0 5076 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 32268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 2/468 7913
/proc/meminfo: memFree=24184872/32951124 swapFree=56297244/67111528
[pid=7860] ppid=7858 vsize=32408 CPUtime=1800.03 cores=1,3,5,7
/proc/7860/stat : 7860 (clasp) R 7858 7860 6224 0 -1 4202496 5594 0 0 0 180002 1 0 0 25 0 1 0 901699858 33185792 5291 33554432000 4194304 4933572 140734298280000 18446744073709551615 4414957 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7860/statm: 8102 5291 387 181 0 5111 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 32408

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.02
CPU time (s): 1800.05
CPU user time (s): 1800.04
CPU system time (s): 0.012998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 32408

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

runsolver used 7.61884 second user time and 18.6032 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-03 17:24:54
IDJOB=3468045
IDBENCH=25036
IDSOLVER=1958
FILE ID=node111/3468045-1307114694
RUNJOBID= node111-1307109286-7481
PBS_JOBID= 13497983
Free space on /tmp= 73864 MiB

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

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

MD5SUM BENCH= fb30dc68ef00299e3d850b79fb8a2728
RANDOM SEED=1473764712

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.75
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.849
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.849
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.849
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.83
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.849
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.67
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.849
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:     32951124 kB
MemFree:      24208612 kB
Buffers:        285624 kB
Cached:         781804 kB
SwapCached:      11784 kB
Active:        7722432 kB
Inactive:       743316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24208612 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            2608 kB
Writeback:           0 kB
AnonPages:     7395920 kB
Mapped:          28212 kB
Slab:           142548 kB
PageTables:      66220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149089712 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73864 MiB
End job on node111 at 2011-06-03 17:54:56