Trace number 3708880

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 650.612 650.729

General information on the benchmark

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

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-3708880-1338167811/watcher-3708880-1338167811 -o /tmp/evaluation-result-3708880-1338167811/solver-3708880-1338167811 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708880-1338167811.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/178 9069
/proc/meminfo: memFree=28050416/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0

[startup+0.0105279 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9069
/proc/meminfo: memFree=28050416/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100197 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9069
/proc/meminfo: memFree=28050416/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9069
/proc/meminfo: memFree=28050416/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 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/178 9069
/proc/meminfo: memFree=28050416/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 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/180 9071
/proc/meminfo: memFree=28045548/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=7016 CPUtime=1.49 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 1641 0 0 0 149 0 0 0 20 0 1 0 282907109 7184384 1443 33554432000 4194304 6212839 140736822023440 140736822021448 4356512 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 1754 1443 230 493 0 1259 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16168

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9071
/proc/meminfo: memFree=28044432/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=7676 CPUtime=3.09 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 1788 0 0 0 309 0 0 0 20 0 1 0 282907109 7860224 1590 33554432000 4194304 6212839 140736822023440 140736822021448 4739295 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 1919 1590 230 493 0 1424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16828

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9071
/proc/meminfo: memFree=28043756/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=8204 CPUtime=6.29 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 1921 0 0 0 629 0 0 0 20 0 1 0 282907109 8400896 1723 33554432000 4194304 6212839 140736822023440 140736822021448 4685303 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 2051 1723 230 493 0 1556 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17356

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9071
/proc/meminfo: memFree=28041324/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=10056 CPUtime=12.69 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 2408 0 0 0 1269 0 0 0 20 0 1 0 282907109 10297344 2210 33554432000 4194304 6212839 140736822023440 140736822021448 4356512 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 2514 2210 230 493 0 2019 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19208

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9071
/proc/meminfo: memFree=28038736/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=13096 CPUtime=25.48 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 3166 0 0 0 2548 0 0 0 20 0 1 0 282907109 13410304 2968 33554432000 4194304 6212839 140736822023440 140736822021448 4745296 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 3274 2968 230 493 0 2779 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22248

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9071
/proc/meminfo: memFree=28034448/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=16140 CPUtime=51.07 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 3921 0 0 0 5107 0 0 0 20 0 1 0 282907109 16527360 3721 33554432000 4194304 6212839 140736822023440 140736822021448 4685943 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 4035 3721 230 493 0 3540 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25292

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 9071
/proc/meminfo: memFree=28027332/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=22756 CPUtime=102.27 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 5582 0 0 0 10226 1 0 0 20 0 1 0 282907109 23302144 5379 33554432000 4194304 6212839 140736822023440 140736822021448 4307922 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 5689 5379 230 493 0 5194 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31908

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9071
/proc/meminfo: memFree=28022876/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=26200 CPUtime=162.26 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 6432 0 0 0 16225 1 0 0 20 0 1 0 282907109 26828800 6227 33554432000 4194304 6212839 140736822023440 140736822021448 4354293 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 6550 6227 230 493 0 6055 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 35352

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9075
/proc/meminfo: memFree=28017456/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=29108 CPUtime=222.25 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 7158 0 0 0 22224 1 0 0 20 0 1 0 282907109 29806592 6953 33554432000 4194304 6212839 140736822023440 140736822021448 4354180 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 7277 6953 230 493 0 6782 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 38260

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9075
/proc/meminfo: memFree=28016468/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=29856 CPUtime=282.24 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 7499 0 0 0 28222 2 0 0 20 0 1 0 282907109 30572544 7164 33554432000 4194304 6212839 140736822023440 140736822021736 4685801 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 7464 7164 230 493 0 6969 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 39008

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9075
/proc/meminfo: memFree=28014304/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=32232 CPUtime=342.23 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 8077 0 0 0 34221 2 0 0 20 0 1 0 282907109 33005568 7741 33554432000 4194304 6212839 140736822023440 140736822021448 4635099 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 8058 7741 230 493 0 7563 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 41384

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9075
/proc/meminfo: memFree=28008228/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=36324 CPUtime=402.21 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 9111 0 0 0 40219 2 0 0 20 0 1 0 282907109 37195776 8774 33554432000 4194304 6212839 140736822023440 140736822021448 4635097 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 9081 8774 230 493 0 8586 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 45476

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9075
/proc/meminfo: memFree=28005744/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=36324 CPUtime=462.21 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 9112 0 0 0 46219 2 0 0 20 0 1 0 282907109 37195776 8774 33554432000 4194304 6212839 140736822023440 140736822021448 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 9081 8774 230 493 0 8586 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 45476

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9076
/proc/meminfo: memFree=28002212/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=40160 CPUtime=522.19 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 10056 0 0 0 52217 2 0 0 20 0 1 0 282907109 41123840 9718 33554432000 4194304 6212839 140736822023440 140736822021448 4681562 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 10040 9718 230 493 0 9545 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 49312

[startup+582.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 9077
/proc/meminfo: memFree=27999688/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=42272 CPUtime=582.19 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 10589 0 0 0 58216 3 0 0 20 0 1 0 282907109 43286528 10258 33554432000 4194304 6212839 140736822023440 140736822021448 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 10568 10258 230 493 0 10073 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 51424

[startup+642.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9077
/proc/meminfo: memFree=27994796/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=42272 CPUtime=642.18 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 10590 0 0 0 64215 3 0 0 20 0 1 0 282907109 43286528 10258 33554432000 4194304 6212839 140736822023440 140736822021448 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 10568 10258 230 493 0 10073 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 51424

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

[startup+646.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9077
/proc/meminfo: memFree=27994672/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=42272 CPUtime=646.18 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 10590 0 0 0 64615 3 0 0 20 0 1 0 282907109 43286528 10258 33554432000 4194304 6212839 140736822023440 140736822021448 4635088 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 10568 10258 230 493 0 10073 0
Current children cumulated CPU time (s) 646.18
Current children cumulated vsize (KiB) 51424

[startup+647.906 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9077
/proc/meminfo: memFree=27994672/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=42272 CPUtime=647.78 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 10590 0 0 0 64775 3 0 0 20 0 1 0 282907109 43286528 10258 33554432000 4194304 6212839 140736822023440 140736822021448 4298183 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 10568 10258 230 493 0 10073 0
Current children cumulated CPU time (s) 647.78
Current children cumulated vsize (KiB) 51424

[startup+649.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9077
/proc/meminfo: memFree=27994672/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=42272 CPUtime=649.38 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 10590 0 0 0 64935 3 0 0 20 0 1 0 282907109 43286528 10258 33554432000 4194304 6212839 140736822023440 140736822021448 4307904 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 10568 10258 230 493 0 10073 0
Current children cumulated CPU time (s) 649.38
Current children cumulated vsize (KiB) 51424

[startup+650.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9077
/proc/meminfo: memFree=27994672/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=42272 CPUtime=650.18 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 10590 0 0 0 65015 3 0 0 20 0 1 0 282907109 43286528 10258 33554432000 4194304 6212839 140736822023440 140736822021448 4635510 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 10568 10258 230 493 0 10073 0
Current children cumulated CPU time (s) 650.18
Current children cumulated vsize (KiB) 51424

[startup+650.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 9077
/proc/meminfo: memFree=27994672/32873648 swapFree=6864/6864
[pid=9069] ppid=9067 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/9069/stat : 9069 (clasp-dec.sh) S 9067 9069 8283 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282907109 9371648 274 33554432000 4194304 5064252 140734871691216 140734871690128 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9069/statm: 2288 274 232 213 0 73 0
[pid=9070] ppid=9069 vsize=42272 CPUtime=650.58 cores=1,3,5,7
/proc/9070/stat : 9070 (clasp-R5325) R 9069 9069 8283 0 -1 4202496 10590 0 0 0 65055 3 0 0 20 0 1 0 282907109 43286528 10258 33554432000 4194304 6212839 140736822023440 140736822021448 4635173 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/9070/statm: 10568 10258 230 493 0 10073 0
Current children cumulated CPU time (s) 650.58
Current children cumulated vsize (KiB) 51424

Child status: 10
Real time (s): 650.729
CPU time (s): 650.612
CPU user time (s): 650.58
CPU system time (s): 0.031995
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 51424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 650.58
system time used= 0.031995
maximum resident set size= 41072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10963
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= 23
involuntary context switches= 667

runsolver used 2.08768 second user time and 5.61515 second system time

The end

Launcher Data 

Begin job on node120 at 2012-05-28 03:16:51
IDJOB=3708880
IDBENCH=90122
IDSOLVER=2287
FILE ID=node120/3708880-1338167811
RUNJOBID= node120-1338158427-8300
PBS_JOBID= 14624540
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= 43f0e9fb1c8ca4724fdfde37689b9cda
RANDOM SEED=1856525486

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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		: 2666.456
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28050688 kB
Buffers:          348000 kB
Cached:          3584932 kB
SwapCached:          636 kB
Active:           871604 kB
Inactive:        3119888 kB
Active(anon):      47416 kB
Inactive(anon):    12532 kB
Active(file):     824188 kB
Inactive(file):  3107356 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:         35040 kB
Mapped:            15332 kB
Shmem:               120 kB
Slab:             691092 kB
SReclaimable:     135492 kB
SUnreclaim:       555600 kB
KernelStack:        1496 kB
PageTables:         4180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     171752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 71664 MiB
End job on node120 at 2012-05-28 03:27:42