Trace number 3709322

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)25 1800.03 1800.31

General information on the benchmark

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

Verifier Data 

OK	25

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19896
/proc/meminfo: memFree=31367096/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0

[startup+0.091319 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19896
/proc/meminfo: memFree=31367096/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19896
/proc/meminfo: memFree=31367096/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300183 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19896
/proc/meminfo: memFree=31367096/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19896
/proc/meminfo: memFree=31367096/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19898
/proc/meminfo: memFree=31363972/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=6084 CPUtime=1.49 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 1453 0 0 0 149 0 0 0 20 0 1 0 283240218 6230016 1190 33554432000 4194304 6212839 140736801720336 140736801718344 4424413 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 1521 1190 237 493 0 1026 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15236

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19898
/proc/meminfo: memFree=31362980/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=6216 CPUtime=3.09 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 1505 0 0 0 309 0 0 0 20 0 1 0 283240218 6365184 1242 33554432000 4194304 6212839 140736801720336 140736801718344 4423550 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 1554 1242 237 493 0 1059 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15368

[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19898
/proc/meminfo: memFree=31362368/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=6876 CPUtime=6.29 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 1675 0 0 0 629 0 0 0 20 0 1 0 283240218 7041024 1412 33554432000 4194304 6212839 140736801720336 140736801718744 4421884 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 1719 1412 237 493 0 1224 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16028

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19898
/proc/meminfo: memFree=31360632/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=7812 CPUtime=12.69 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 1902 0 0 0 1269 0 0 0 20 0 1 0 283240218 7999488 1639 33554432000 4194304 6212839 140736801720336 140736801718344 4424413 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 1953 1639 237 493 0 1458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16964

[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 19898
/proc/meminfo: memFree=31359396/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=9016 CPUtime=25.48 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 2205 0 0 0 2548 0 0 0 20 0 1 0 283240218 9232384 1946 33554432000 4194304 6212839 140736801720336 140736801718488 4634964 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 2254 1946 237 493 0 1759 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18168

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 19898
/proc/meminfo: memFree=31356916/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=10828 CPUtime=51.08 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 2629 0 0 0 5108 0 0 0 20 0 1 0 283240218 11087872 2370 33554432000 4194304 6212839 140736801720336 140736801718488 4421920 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 2707 2370 237 493 0 2212 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19980

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19898
/proc/meminfo: memFree=31352384/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=13956 CPUtime=102.28 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 3379 0 0 0 10228 0 0 0 20 0 1 0 283240218 14290944 3151 33554432000 4194304 6212839 140736801720336 140736801718488 4424409 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 3489 3151 237 493 0 2994 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 23108

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19898
/proc/meminfo: memFree=31349900/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=15360 CPUtime=162.26 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 3693 0 0 0 16226 0 0 0 20 0 1 0 283240218 15728640 3497 33554432000 4194304 6212839 140736801720336 140736801718344 4328480 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 3840 3497 237 493 0 3345 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 24512

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19899
/proc/meminfo: memFree=31346800/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=17596 CPUtime=222.25 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 4236 0 0 0 22225 0 0 0 20 0 1 0 283240218 18018304 4040 33554432000 4194304 6212839 140736801720336 140736801718488 4333860 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 4399 4040 237 493 0 3904 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 26748

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19899
/proc/meminfo: memFree=31344252/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=18888 CPUtime=282.24 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 4525 0 0 0 28224 0 0 0 20 0 1 0 283240218 19341312 4387 33554432000 4194304 6212839 140736801720336 140736801718344 4683395 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 4722 4387 237 493 0 4227 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 28040

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19899
/proc/meminfo: memFree=31342516/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=20412 CPUtime=342.23 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 4860 0 0 0 34223 0 0 0 20 0 1 0 283240218 20901888 4722 33554432000 4194304 6212839 140736801720336 140736801718488 4333828 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 5103 4722 237 493 0 4608 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29564

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19899
/proc/meminfo: memFree=31341276/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=31504 CPUtime=1122.11 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 7295 0 0 0 112210 1 0 0 20 0 1 0 283240218 32260096 7540 33554432000 4194304 6212839 140736801720336 140736801718488 4333799 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 7876 7540 237 493 0 7381 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 40656

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19908
/proc/meminfo: memFree=31321724/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=31712 CPUtime=1182.1 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 7312 0 0 0 118209 1 0 0 20 0 1 0 283240218 32473088 7557 33554432000 4194304 6212839 140736801720336 140736801718488 4683122 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 7928 7557 237 493 0 7433 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 40864

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19908
/proc/meminfo: memFree=31320856/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=31712 CPUtime=1242.1 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 7343 0 0 0 124209 1 0 0 20 0 1 0 283240218 32473088 7588 33554432000 4194304 6212839 140736801720336 140736801718488 4674599 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 7928 7588 237 493 0 7433 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 40864

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 19908
/proc/meminfo: memFree=31319056/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=32108 CPUtime=1302.09 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 7424 0 0 0 130208 1 0 0 20 0 1 0 283240218 32878592 7669 33554432000 4194304 6212839 140736801720336 140736801718344 4683129 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 8027 7669 237 493 0 7532 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 41260

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 19908
/proc/meminfo: memFree=31318064/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=33004 CPUtime=1362.08 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 7605 0 0 0 136207 1 0 0 20 0 1 0 283240218 33796096 7850 33554432000 4194304 6212839 140736801720336 140736801718488 4372048 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 8251 7850 237 493 0 7756 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 42156

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19908
/proc/meminfo: memFree=31317008/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=33700 CPUtime=1422.07 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 7757 0 0 0 142206 1 0 0 20 0 1 0 283240218 34508800 8049 33554432000 4194304 6212839 140736801720336 140736801718344 4683366 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 8425 8049 237 493 0 7930 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 42852

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19909
/proc/meminfo: memFree=31316884/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=33700 CPUtime=1482.06 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 7765 0 0 0 148205 1 0 0 20 0 1 0 283240218 34508800 8057 33554432000 4194304 6212839 140736801720336 140736801718344 4683420 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 8425 8057 237 493 0 7930 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 42852

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19949
/proc/meminfo: memFree=31347728/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=33840 CPUtime=1542.05 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 7799 0 0 0 154204 1 0 0 20 0 1 0 283240218 34652160 8091 33554432000 4194304 6212839 140736801720336 140736801718488 4372112 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 8460 8091 237 493 0 7965 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 42992

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 19949
/proc/meminfo: memFree=31344500/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=34980 CPUtime=1602.04 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 8020 0 0 0 160203 1 0 0 20 0 1 0 283240218 35819520 8394 33554432000 4194304 6212839 140736801720336 140736801718488 4424518 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 8745 8394 237 493 0 8250 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 44132

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 19952
/proc/meminfo: memFree=31342684/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=35736 CPUtime=1662.03 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 8207 0 0 0 166202 1 0 0 20 0 1 0 283240218 36593664 8581 33554432000 4194304 6212839 140736801720336 140736801718488 4674914 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 8934 8581 237 493 0 8439 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 44888

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19952
/proc/meminfo: memFree=31341708/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=36076 CPUtime=1722.02 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 8291 0 0 0 172201 1 0 0 20 0 1 0 283240218 36941824 8665 33554432000 4194304 6212839 140736801720336 140736801718488 4424505 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 9019 8665 237 493 0 8524 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 45228

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19953
/proc/meminfo: memFree=31340592/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=36244 CPUtime=1782.01 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 8326 0 0 0 178200 1 0 0 20 0 1 0 283240218 37113856 8700 33554432000 4194304 6212839 140736801720336 140736801718488 4422296 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 9061 8700 237 493 0 8566 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 45396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19953
/proc/meminfo: memFree=31339908/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=36244 CPUtime=1800.02 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 8326 0 0 0 180001 1 0 0 20 0 1 0 283240218 37113856 8700 33554432000 4194304 6212839 140736801720336 140736801718488 4683418 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 9061 8700 237 493 0 8566 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 45396

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/181 19953
/proc/meminfo: memFree=31339908/32873844 swapFree=7616/7616
[pid=19896] ppid=19894 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19896/stat : 19896 (clasp-opt.sh) S 19894 19896 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283240217 9371648 274 33554432000 4194304 5064252 140737149308048 140737149306960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19896/statm: 2288 274 232 213 0 73 0
[pid=19897] ppid=19896 vsize=36244 CPUtime=1800.02 cores=1,3,5,7
/proc/19897/stat : 19897 (clasp-R5325) R 19896 19896 18057 0 -1 4202496 8326 0 0 0 180001 1 0 0 20 0 1 0 283240218 37113856 8700 33554432000 4194304 6212839 140736801720336 140736801718488 4683418 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/19897/statm: 9061 8700 237 493 0 8566 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 45396

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.01
CPU system time (s): 0.015997
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 45396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.015997
maximum resident set size= 34828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8697
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= 20
involuntary context switches= 1856

runsolver used 5.98809 second user time and 20.0869 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-28 04:12:34
IDJOB=3709322
IDBENCH=24991
IDSOLVER=2288
FILE ID=node135/3709322-1338171154
RUNJOBID= node135-1338152725-18074
PBS_JOBID= 14624521
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241
RANDOM SEED=1216198024

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.55
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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31367368 kB
Buffers:          309264 kB
Cached:           350296 kB
SwapCached:         1720 kB
Active:           560532 kB
Inactive:         129124 kB
Active(anon):      20264 kB
Inactive(anon):    12016 kB
Active(file):     540268 kB
Inactive(file):   117108 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:         78972 kB
Mapped:            12776 kB
Shmem:               132 kB
Slab:             675012 kB
SReclaimable:     117144 kB
SUnreclaim:       557868 kB
KernelStack:        1512 kB
PageTables:         3944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     143392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71636 MiB
End job on node135 at 2012-05-28 04:42:35