Trace number 3709315

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)27 1800.02 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
MD5SUMd6135de924aeb400fc0f7d1c419e5860
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark2.67559
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6080
Total number of constraints18113
Number of constraints which are clauses18113
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint125
Number of terms in the objective function 2975
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 2975
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2975
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	27

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-3709315-1338172214/watcher-3709315-1338172214 -o /tmp/evaluation-result-3709315-1338172214/solver-3709315-1338172214 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709315-1338172214.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 20542
/proc/meminfo: memFree=28746396/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0

[startup+0.0264549 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 20542
/proc/meminfo: memFree=28746396/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100214 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 20542
/proc/meminfo: memFree=28746396/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300181 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 20542
/proc/meminfo: memFree=28746396/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700184 s]
/proc/loadavg: 2.01 2.00 2.00 2/178 20542
/proc/meminfo: memFree=28746396/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50027 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20544
/proc/meminfo: memFree=28742272/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=6016 CPUtime=1.49 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 1395 0 0 0 149 0 0 0 20 0 1 0 283347388 6160384 1173 33554432000 4194304 6212839 140734930204016 140734930202424 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 1504 1173 237 493 0 1009 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15168

[startup+3.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20544
/proc/meminfo: memFree=28741916/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=6280 CPUtime=3.09 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 1488 0 0 0 309 0 0 0 20 0 1 0 283347388 6430720 1266 33554432000 4194304 6212839 140734930204016 140734930202024 4424518 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 1570 1266 237 493 0 1075 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15432

[startup+6.30022 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20544
/proc/meminfo: memFree=28740800/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=7072 CPUtime=6.29 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 1680 0 0 0 629 0 0 0 20 0 1 0 283347388 7241728 1458 33554432000 4194304 6212839 140734930204016 140734930202168 4683420 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 1768 1458 237 493 0 1273 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16224

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20544
/proc/meminfo: memFree=28738956/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=8268 CPUtime=12.69 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 1970 0 0 0 1269 0 0 0 20 0 1 0 283347388 8466432 1748 33554432000 4194304 6212839 140734930204016 140734930202024 4333806 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 2067 1748 237 493 0 1572 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17420

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20544
/proc/meminfo: memFree=28737608/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=9764 CPUtime=25.49 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 2353 0 0 0 2549 0 0 0 20 0 1 0 283347388 9998336 2131 33554432000 4194304 6212839 140734930204016 140734930202024 4424527 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 2441 2131 237 493 0 1946 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18916

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20544
/proc/meminfo: memFree=28734388/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=12076 CPUtime=51.08 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 2889 0 0 0 5108 0 0 0 20 0 1 0 283347388 12365824 2668 33554432000 4194304 6212839 140734930204016 140734930202168 4635497 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 3019 2668 237 493 0 2524 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21228

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20544
/proc/meminfo: memFree=28728632/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=14980 CPUtime=102.28 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 3612 0 0 0 10228 0 0 0 20 0 1 0 283347388 15339520 3415 33554432000 4194304 6212839 140734930204016 140734930202168 4661313 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 3745 3415 237 493 0 3250 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 24132

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20544
/proc/meminfo: memFree=28725968/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=17556 CPUtime=162.26 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 4190 0 0 0 16226 0 0 0 20 0 1 0 283347388 17977344 4023 33554432000 4194304 6212839 140734930204016 140734930202168 4333806 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 4389 4023 237 493 0 3894 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26708

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20545
/proc/meminfo: memFree=28722636/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=20556 CPUtime=222.25 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 4899 0 0 0 22225 0 0 0 20 0 1 0 283347388 21049344 4798 33554432000 4194304 6212839 140734930204016 140734930202168 4662741 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 5139 4798 237 493 0 4644 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 29708

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20545
/proc/meminfo: memFree=28721148/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=21896 CPUtime=282.24 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 5197 0 0 0 28224 0 0 0 20 0 1 0 283347388 22421504 5096 33554432000 4194304 6212839 140734930204016 140734930202168 4372048 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 5474 5096 237 493 0 4979 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31048

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20545
/proc/meminfo: memFree=28717576/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=23828 CPUtime=342.23 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 5670 0 0 0 34223 0 0 0 20 0 1 0 283347388 24399872 5617 33554432000 4194304 6212839 140734930204016 140734930202168 4356338 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 5957 5617 237 493 0 5462 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 32980

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20545
/proc/meminfo: memFree=28713976/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=38592 CPUtime=1122.11 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 8976 0 0 0 112210 1 0 0 20 0 1 0 283347388 39518208 9307 33554432000 4194304 6212839 140734930204016 140734930202168 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 9648 9307 237 493 0 9153 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 47744

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/179 20591
/proc/meminfo: memFree=28735456/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=39148 CPUtime=1182.1 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 9066 0 0 0 118209 1 0 0 20 0 1 0 283347388 40087552 9397 33554432000 4194304 6212839 140734930204016 140734930202168 4661283 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 9787 9397 237 493 0 9292 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 48300

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/180 20594
/proc/meminfo: memFree=28734268/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=39724 CPUtime=1242.09 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 9206 0 0 0 124208 1 0 0 20 0 1 0 283347388 40677376 9537 33554432000 4194304 6212839 140734930204016 140734930202168 4298216 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 9931 9537 237 493 0 9436 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 48876

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20594
/proc/meminfo: memFree=28732996/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=40192 CPUtime=1302.08 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 9310 0 0 0 130207 1 0 0 20 0 1 0 283347388 41156608 9734 33554432000 4194304 6212839 140734930204016 140734930202168 4685336 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 10048 9734 237 493 0 9553 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 49344

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 20594
/proc/meminfo: memFree=28731880/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=41016 CPUtime=1362.07 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 9495 0 0 0 136206 1 0 0 20 0 1 0 283347388 42000384 9919 33554432000 4194304 6212839 140734930204016 140734930202168 4421869 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 10254 9919 237 493 0 9759 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 50168

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 20595
/proc/meminfo: memFree=28730500/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=41568 CPUtime=1422.07 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 9619 0 0 0 142206 1 0 0 20 0 1 0 283347388 42565632 10043 33554432000 4194304 6212839 140734930204016 140734930202168 4422311 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 10392 10043 237 493 0 9897 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 50720

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20595
/proc/meminfo: memFree=28729196/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=42540 CPUtime=1482.05 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 9825 0 0 0 148204 1 0 0 20 0 1 0 283347388 43560960 10309 33554432000 4194304 6212839 140734930204016 140734930202168 4685685 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 10635 10309 237 493 0 10140 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 51692

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20595
/proc/meminfo: memFree=28727336/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=43720 CPUtime=1542.04 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 10190 0 0 0 154203 1 0 0 20 0 1 0 283347388 44769280 10601 33554432000 4194304 6212839 140734930204016 140734930202312 4424389 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 10930 10601 237 493 0 10435 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 52872

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20595
/proc/meminfo: memFree=28726840/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=44440 CPUtime=1602.03 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 10325 0 0 0 160202 1 0 0 20 0 1 0 283347388 45506560 10736 33554432000 4194304 6212839 140734930204016 140734930202168 4422311 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 11110 10736 237 493 0 10615 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 53592

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20595
/proc/meminfo: memFree=28725100/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=44648 CPUtime=1662.02 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 10368 0 0 0 166201 1 0 0 20 0 1 0 283347388 45719552 10823 33554432000 4194304 6212839 140734930204016 140734930202168 4683206 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 11162 10823 237 493 0 10667 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 53800

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20596
/proc/meminfo: memFree=28724864/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=45072 CPUtime=1722.01 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 10452 0 0 0 172200 1 0 0 20 0 1 0 283347388 46153728 10907 33554432000 4194304 6212839 140734930204016 140734930202168 4683366 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 11268 10907 237 493 0 10773 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 54224

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20596
/proc/meminfo: memFree=28723872/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=46068 CPUtime=1782 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 10649 0 0 0 178199 1 0 0 20 0 1 0 283347388 47173632 11104 33554432000 4194304 6212839 140734930204016 140734930202168 4372073 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 11517 11104 237 493 0 11022 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 55220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20599
/proc/meminfo: memFree=28723604/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=46068 CPUtime=1800 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 10649 0 0 0 179999 1 0 0 20 0 1 0 283347388 47173632 11104 33554432000 4194304 6212839 140734930204016 140734930202168 4424366 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 11517 11104 237 493 0 11022 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 55220

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20599
/proc/meminfo: memFree=28723604/32873648 swapFree=7372/7372
[pid=20542] ppid=20540 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20542/stat : 20542 (clasp-opt.sh) S 20540 20542 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283347388 9371648 275 33554432000 4194304 5064252 140733550321536 140733550320448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20542/statm: 2288 275 232 213 0 73 0
[pid=20543] ppid=20542 vsize=46068 CPUtime=1800 cores=0,2,4,6
/proc/20543/stat : 20543 (clasp-R5325) R 20542 20542 17700 0 -1 4202496 10649 0 0 0 179999 1 0 0 20 0 1 0 283347388 47173632 11104 33554432000 4194304 6212839 140734930204016 140734930202168 4424366 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20543/statm: 11517 11104 237 493 0 11022 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 55220

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.020996
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 55220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.020996
maximum resident set size= 44448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11022
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= 24
involuntary context switches= 1871

runsolver used 4.52031 second user time and 11.5752 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-28 04:30:14
IDJOB=3709315
IDBENCH=24996
IDSOLVER=2288
FILE ID=node122/3709315-1338172214
RUNJOBID= node122-1338154979-17716
PBS_JOBID= 14624523
Free space on /tmp= 71692 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709315-1338172214/watcher-3709315-1338172214 -o /tmp/evaluation-result-3709315-1338172214/solver-3709315-1338172214 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709315-1338172214.opb

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

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=1315314261

node122.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.533
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.06
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.533
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.533
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	: 5332.04
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.533
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.533
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.91
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.533
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	: 5438.54
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.533
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.91
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.533
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:       32873648 kB
MemFree:        28746660 kB
Buffers:          318268 kB
Cached:          2958740 kB
SwapCached:            0 kB
Active:          1247052 kB
Inactive:        2080492 kB
Active(anon):      41776 kB
Inactive(anon):    11052 kB
Active(file):    1205276 kB
Inactive(file):  2069440 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2892 kB
Writeback:             0 kB
AnonPages:         57500 kB
Mapped:            14704 kB
Shmem:               200 kB
Slab:             661668 kB
SReclaimable:     105804 kB
SUnreclaim:       555864 kB
KernelStack:        1472 kB
PageTables:         3968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     165340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node122 at 2012-05-28 05:00:14