Trace number 3708979

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0.6-R5325 (opt)SAT (TO)179 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
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 constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	179

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708979-1338154829/watcher-3708979-1338154829 -o /tmp/evaluation-result-3708979-1338154829/solver-3708979-1338154829 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708979-1338154829.opb 

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.04 2.01 2.00 4/178 31077
/proc/meminfo: memFree=31409936/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0

[startup+0.0830519 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 31077
/proc/meminfo: memFree=31409936/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100288 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 31077
/proc/meminfo: memFree=31409936/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300224 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 31077
/proc/meminfo: memFree=31409936/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700223 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 31077
/proc/meminfo: memFree=31409936/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50026 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 31079
/proc/meminfo: memFree=31405200/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=7880 CPUtime=1.49 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 1852 0 0 0 149 0 0 0 20 0 1 0 281608591 8069120 1639 33554432000 4194304 6212839 140735208060736 140735208058744 4422289 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 1970 1639 234 493 0 1475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17032

[startup+3.10026 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 31079
/proc/meminfo: memFree=31404076/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=8936 CPUtime=3.09 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 2123 0 0 0 309 0 0 0 20 0 1 0 281608591 9150464 1910 33554432000 4194304 6212839 140735208060736 140735208058744 4333789 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2234 1910 234 493 0 1739 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18088

[startup+6.30026 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 31079
/proc/meminfo: memFree=31401348/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=10796 CPUtime=6.29 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 2607 0 0 0 629 0 0 0 20 0 1 0 281608591 11055104 2394 33554432000 4194304 6212839 140735208060736 140735208058744 4421884 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 2699 2394 234 493 0 2204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19948

[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 31118
/proc/meminfo: memFree=31401352/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=13704 CPUtime=12.68 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 3308 0 0 0 1268 0 0 0 20 0 1 0 281608591 14032896 3095 33554432000 4194304 6212839 140735208060736 140735208058744 4683420 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 3426 3095 234 493 0 2931 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22856

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 31118
/proc/meminfo: memFree=31384312/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=18960 CPUtime=25.48 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 4647 0 0 0 2548 0 0 0 20 0 1 0 281608591 19415040 4437 33554432000 4194304 6212839 140735208060736 140735208059032 4424518 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 4740 4437 234 493 0 4245 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28112

[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 31119
/proc/meminfo: memFree=31371472/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=24952 CPUtime=51.08 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 6096 0 0 0 5107 1 0 0 20 0 1 0 281608591 25550848 5886 33554432000 4194304 6212839 140735208060736 140735208059032 4421933 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 6238 5886 234 493 0 5743 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34104

[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 31119
/proc/meminfo: memFree=31353660/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=32680 CPUtime=102.27 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 8030 0 0 0 10226 1 0 0 20 0 1 0 281608591 33464320 7845 33554432000 4194304 6212839 140735208060736 140735208058744 4307655 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 8170 7845 234 493 0 7675 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41832

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 31119
/proc/meminfo: memFree=31340864/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=39520 CPUtime=162.25 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 10246 0 0 0 16224 1 0 0 20 0 1 0 281608591 40468480 9569 33554432000 4194304 6212839 140735208060736 140735208058744 4421867 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 9880 9569 234 493 0 9385 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48672

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 31119
/proc/meminfo: memFree=31328584/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=48688 CPUtime=222.25 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 12482 0 0 0 22223 2 0 0 20 0 1 0 281608591 49856512 11741 33554432000 4194304 6212839 140735208060736 140735208058744 4421959 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 12172 11741 234 493 0 11677 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 57840

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31119
/proc/meminfo: memFree=31320584/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=54072 CPUtime=282.24 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 13947 0 0 0 28221 3 0 0 20 0 1 0 281608591 55369728 13051 33554432000 4194304 6212839 140735208060736 140735208058744 4307897 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 13518 13051 234 493 0 13023 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 63224

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31119
/proc/meminfo: memFree=31310408/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=59696 CPUtime=342.22 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 15492 0 0 0 34219 3 0 0 20 0 1 0 281608591 61128704 14621 33554432000 4194304 6212839 140735208060736 140735208058744 4328942 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 14924 14621 234 493 0 14429 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 68848

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31120
/proc/meminfo: memFree=31301028/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=120868 CPUtime=1062.11 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 32238 0 0 0 106203 8 0 0 20 0 1 0 281608591 123768832 29920 33554432000 4194304 6212839 140735208060736 140735208059032 4683115 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 30217 29920 234 493 0 29722 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 130020

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 31136
/proc/meminfo: memFree=31220720/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=120868 CPUtime=1122.1 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 32238 0 0 0 112202 8 0 0 20 0 1 0 281608591 123768832 29920 33554432000 4194304 6212839 140735208060736 140735208059032 4685809 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 30217 29920 234 493 0 29722 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 130020

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31139
/proc/meminfo: memFree=31218352/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=122064 CPUtime=1182.08 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 34566 0 0 0 118200 8 0 0 20 0 1 0 281608591 124993536 30207 33554432000 4194304 6212839 140735208060736 140735208058744 4423547 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 30516 30207 234 493 0 30021 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 131216

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31162
/proc/meminfo: memFree=31215616/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=123752 CPUtime=1242.08 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 34937 0 0 0 124199 9 0 0 20 0 1 0 281608591 126722048 30578 33554432000 4194304 6212839 140735208060736 140735208058888 4424377 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 30938 30578 234 493 0 30443 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 132904

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31163
/proc/meminfo: memFree=31213148/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=125692 CPUtime=1302.08 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 35372 0 0 0 130199 9 0 0 20 0 1 0 281608591 128708608 31033 33554432000 4194304 6212839 140735208060736 140735208058888 4328971 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 31423 31033 234 493 0 30928 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 134844

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31163
/proc/meminfo: memFree=31211844/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=126164 CPUtime=1362.06 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 35506 0 0 0 136197 9 0 0 20 0 1 0 281608591 129191936 31167 33554432000 4194304 6212839 140735208060736 140735208058888 4422336 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 31541 31167 234 493 0 31046 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 135316

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31163
/proc/meminfo: memFree=31208492/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=128788 CPUtime=1422.06 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 36209 0 0 0 142197 9 0 0 20 0 1 0 281608591 131878912 31860 33554432000 4194304 6212839 140735208060736 140735208058744 4424505 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 32197 31860 234 493 0 31702 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 137940

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31163
/proc/meminfo: memFree=31202352/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=133580 CPUtime=1482.04 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 37761 0 0 0 148195 9 0 0 20 0 1 0 281608591 136785920 33054 33554432000 4194304 6212839 140735208060736 140735208058888 4312695 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 33395 33054 234 493 0 32900 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 142732

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 31163
/proc/meminfo: memFree=31199376/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=136020 CPUtime=1542.03 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 38757 0 0 0 154194 9 0 0 20 0 1 0 281608591 139284480 33661 33554432000 4194304 6212839 140735208060736 140735208058888 4421938 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 34005 33661 234 493 0 33510 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 145172

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 31164
/proc/meminfo: memFree=31193972/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=140440 CPUtime=1602.02 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 40576 0 0 0 160192 10 0 0 20 0 1 0 281608591 143810560 34808 33554432000 4194304 6212839 140735208060736 140735208059032 4681533 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 35110 34808 234 493 0 34615 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 149592

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 31164
/proc/meminfo: memFree=31191056/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=142712 CPUtime=1662.01 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 41152 0 0 0 166191 10 0 0 20 0 1 0 281608591 146137088 35334 33554432000 4194304 6212839 140735208060736 140735208058744 4335226 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 35678 35334 234 493 0 35183 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 151864

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 31164
/proc/meminfo: memFree=31185972/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=147388 CPUtime=1722.01 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 42740 0 0 0 172190 11 0 0 20 0 1 0 281608591 150925312 36489 33554432000 4194304 6212839 140735208060736 140735208058744 4334954 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 36847 36489 234 493 0 36352 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 156540

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 31167
/proc/meminfo: memFree=31179864/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=152496 CPUtime=1781.99 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 44463 0 0 0 178188 11 0 0 20 0 1 0 281608591 156155904 37803 33554432000 4194304 6212839 140735208060736 140735208058744 4683384 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 38124 37803 234 493 0 37629 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 161648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 31167
/proc/meminfo: memFree=31180004/32873844 swapFree=7112/7112
[pid=31077] ppid=31075 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31077/stat : 31077 (clasp-opt.sh) S 31075 31077 30483 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281608591 9371648 275 33554432000 4194304 5064252 140736301868208 140736301867120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31077/statm: 2288 275 232 213 0 73 0
[pid=31078] ppid=31077 vsize=152496 CPUtime=1800.1 cores=1,3,5,7
/proc/31078/stat : 31078 (clasp-R5325) R 31077 31077 30483 0 -1 4202496 44463 0 0 0 179999 11 0 0 20 0 1 0 281608591 156155904 37803 33554432000 4194304 6212839 140735208060736 140735208058744 4421869 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31078/statm: 38124 37803 234 493 0 37629 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 161648

Sending SIGTERM to process tree (bottom up)

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.99
CPU system time (s): 0.115982
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 161648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.115982
maximum resident set size= 151244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44836
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= 67
involuntary context switches= 1850

runsolver used 2.47662 second user time and 7.37888 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-27 23:40:29
IDJOB=3708979
IDBENCH=2042
IDSOLVER=2288
FILE ID=node119/3708979-1338154829
RUNJOBID= node119-1338147404-30500
PBS_JOBID= 14624518
Free space on /tmp= 71608 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708979-1338154829/watcher-3708979-1338154829 -o /tmp/evaluation-result-3708979-1338154829/solver-3708979-1338154829 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3708979-1338154829.opb

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=596795612

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31410572 kB
Buffers:          309060 kB
Cached:           340960 kB
SwapCached:         1844 kB
Active:           520004 kB
Inactive:         144776 kB
Active(anon):      14628 kB
Inactive(anon):     2068 kB
Active(file):     505376 kB
Inactive(file):   142708 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100196 kB
Dirty:              3120 kB
Writeback:             0 kB
AnonPages:         19936 kB
Mapped:            12668 kB
Shmem:                 8 kB
Slab:             657828 kB
SReclaimable:     100032 kB
SUnreclaim:       557796 kB
KernelStack:        1480 kB
PageTables:         4180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     133324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71608 MiB
End job on node119 at 2012-05-28 00:10:30