Trace number 3708876

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 2.0.6-R5325 (dec)SAT 1345.66 1345.89

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K93.opb
MD5SUM91412677f9785e1c6465ad7d3d170f82
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark510.634
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6324
Total number of constraints6512
Number of constraints which are clauses6419
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint93
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 94
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

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-3708876-1338168788/watcher-3708876-1338168788 -o /tmp/evaluation-result-3708876-1338168788/solver-3708876-1338168788 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708876-1338168788.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/176 26616
/proc/meminfo: memFree=28569016/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0

[startup+0.062487 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26616
/proc/meminfo: memFree=28569016/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 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/176 26616
/proc/meminfo: memFree=28569016/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26616
/proc/meminfo: memFree=28569016/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26616
/proc/meminfo: memFree=28569016/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26618
/proc/meminfo: memFree=28564032/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=7216 CPUtime=1.49 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 1685 0 0 0 149 0 0 0 20 0 1 0 283004298 7389184 1492 33554432000 4194304 6212839 140736577164784 140736577162936 4635600 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 1804 1492 230 493 0 1309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16368

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26618
/proc/meminfo: memFree=28563164/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=7216 CPUtime=3.09 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 1685 0 0 0 309 0 0 0 20 0 1 0 283004298 7389184 1492 33554432000 4194304 6212839 140736577164784 140736577162792 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 1804 1492 230 493 0 1309 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16368

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26618
/proc/meminfo: memFree=28562720/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=7744 CPUtime=6.29 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 1799 0 0 0 629 0 0 0 20 0 1 0 283004298 7929856 1606 33554432000 4194304 6212839 140736577164784 140736577162792 4685433 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 1936 1606 230 493 0 1441 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16896

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26618
/proc/meminfo: memFree=28559400/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=11180 CPUtime=12.69 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 2663 0 0 0 1269 0 0 0 20 0 1 0 283004298 11448320 2468 33554432000 4194304 6212839 140736577164784 140736577162792 4674384 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 2795 2468 230 493 0 2300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20332

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26618
/proc/meminfo: memFree=28558184/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=11840 CPUtime=25.48 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 2846 0 0 0 2548 0 0 0 20 0 1 0 283004298 12124160 2651 33554432000 4194304 6212839 140736577164784 140736577162952 4683257 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 2960 2651 230 493 0 2465 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20992

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26618
/proc/meminfo: memFree=28551488/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=18728 CPUtime=51.08 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 4561 0 0 0 5108 0 0 0 20 0 1 0 283004298 19177472 4366 33554432000 4194304 6212839 140736577164784 140736577163080 4674407 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 4682 4366 230 493 0 4187 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27880

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26618
/proc/meminfo: memFree=28550488/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=19608 CPUtime=102.27 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 4888 0 0 0 10227 0 0 0 20 0 1 0 283004298 20078592 4594 33554432000 4194304 6212839 140736577164784 140736577162792 4685696 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 4902 4594 230 493 0 4407 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28760

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26658
/proc/meminfo: memFree=28591072/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=23832 CPUtime=162.25 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 5931 0 0 0 16225 0 0 0 20 0 1 0 283004298 24403968 5634 33554432000 4194304 6212839 140736577164784 140736577162792 4635082 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 5958 5634 230 493 0 5463 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32984

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26659
/proc/meminfo: memFree=28583120/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=25944 CPUtime=222.24 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 6461 0 0 0 22224 0 0 0 20 0 1 0 283004298 26566656 6163 33554432000 4194304 6212839 140736577164784 140736577162792 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 6486 6163 230 493 0 5991 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 35096

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26659
/proc/meminfo: memFree=28575748/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=28980 CPUtime=282.23 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 7235 0 0 0 28223 0 0 0 20 0 1 0 283004298 29675520 6937 33554432000 4194304 6212839 140736577164784 140736577162792 4683420 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 7245 6937 230 493 0 6750 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 38132

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26659
/proc/meminfo: memFree=28571204/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=30740 CPUtime=342.22 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 7744 0 0 0 34222 0 0 0 20 0 1 0 283004298 31477760 7382 33554432000 4194304 6212839 140736577164784 140736577163080 4704863 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 7685 7382 230 493 0 7190 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 39892

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26659
/proc/meminfo: memFree=28568288/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7

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


[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26907
/proc/meminfo: memFree=28515008/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=52980 CPUtime=1062.1 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 14166 0 0 0 106208 2 0 0 20 0 1 0 283004298 54251520 12942 33554432000 4194304 6212839 140736577164784 140736577163080 4635102 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 13245 12942 230 493 0 12750 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 62132

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28510056/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=56412 CPUtime=1122.09 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 15017 0 0 0 112207 2 0 0 20 0 1 0 283004298 57765888 13793 33554432000 4194304 6212839 140736577164784 140736577162792 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 14103 13793 230 493 0 13608 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 65564

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28501364/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1182.08 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 118205 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4335006 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 71320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28501552/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1242.08 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 124205 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4674430 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 71320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28501428/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1302.07 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 130204 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4326256 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 71320

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

[startup+1305.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28501428/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1305.27 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 130524 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4681484 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1305.27
Current children cumulated vsize (KiB) 71320

[startup+1331.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28501428/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1330.86 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 133083 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4635118 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1330.86
Current children cumulated vsize (KiB) 71320

[startup+1337.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28501056/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1337.27 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 133724 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4683095 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1337.27
Current children cumulated vsize (KiB) 71320

[startup+1340.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28500684/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1340.46 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 134043 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4685389 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1340.46
Current children cumulated vsize (KiB) 71320

[startup+1343.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28500808/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1343.66 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 134363 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1343.66
Current children cumulated vsize (KiB) 71320

[startup+1344.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28500808/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1344.46 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 134443 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4635121 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1344.46
Current children cumulated vsize (KiB) 71320

[startup+1345.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28500808/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1345.26 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 134523 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4307907 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1345.26
Current children cumulated vsize (KiB) 71320

[startup+1345.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28500808/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1345.46 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 134543 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4326134 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1345.46
Current children cumulated vsize (KiB) 71320

[startup+1345.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26908
/proc/meminfo: memFree=28500808/32873624 swapFree=7104/7104
[pid=26616] ppid=26614 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (clasp-dec.sh) S 26614 26616 25502 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283004298 9371648 275 33554432000 4194304 5064252 140734557668928 140734557667840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26616/statm: 2288 275 232 213 0 73 0
[pid=26617] ppid=26616 vsize=62168 CPUtime=1345.56 cores=1,3,5,7
/proc/26617/stat : 26617 (clasp-R5325) R 26616 26616 25502 0 -1 4202496 16454 0 0 0 134553 3 0 0 20 0 1 0 283004298 63660032 15231 33554432000 4194304 6212839 140736577164784 140736577162792 4372527 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 15542 15231 230 493 0 15047 0
Current children cumulated CPU time (s) 1345.56
Current children cumulated vsize (KiB) 71320

Child status: 10
Real time (s): 1345.89
CPU time (s): 1345.66
CPU user time (s): 1345.63
CPU system time (s): 0.033994
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 71320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1345.63
system time used= 0.033994
maximum resident set size= 60964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16828
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= 32
involuntary context switches= 1385

runsolver used 1.9717 second user time and 5.37218 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-28 03:33:08
IDJOB=3708876
IDBENCH=90131
IDSOLVER=2287
FILE ID=node121/3708876-1338168788
RUNJOBID= node121-1338158102-25519
PBS_JOBID= 14624535
Free space on /tmp= 71672 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K93.opb
COMMAND LINE= HOME/clasp-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708876-1338168788/watcher-3708876-1338168788 -o /tmp/evaluation-result-3708876-1338168788/solver-3708876-1338168788 -C 1800 -W 1900 -M 15500  HOME/clasp-dec.sh HOME/instance-3708876-1338168788.opb

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

MD5SUM BENCH= 91412677f9785e1c6465ad7d3d170f82
RANDOM SEED=2064672191

node121.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		: 2667.042
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	: 5334.08
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		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        28569660 kB
Buffers:          518348 kB
Cached:          2857104 kB
SwapCached:            0 kB
Active:           898544 kB
Inactive:        2549992 kB
Active(anon):      73804 kB
Inactive(anon):        0 kB
Active(file):     824740 kB
Inactive(file):  2549992 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2788 kB
Writeback:             0 kB
AnonPages:         78228 kB
Mapped:            15160 kB
Shmem:               200 kB
Slab:             718072 kB
SReclaimable:     162460 kB
SUnreclaim:       555612 kB
KernelStack:        1472 kB
PageTables:         3768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     174676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node121 at 2012-05-28 03:55:34