Trace number 453332

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT76 1782.74 1783.48

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_1.opb
MD5SUM08f3a00099e19d384504c40fc611777e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products6318
Sum of products size12636

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	76

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453332-1178131707/instance-453332-1178131707.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node20/watcher-453332-1178131707 -o ROOT/results/node20/solver-453332-1178131707 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453332-1178131707/instance-453332-1178131707.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 10704
/proc/meminfo: memFree=1649968/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=2552 CPUtime=0
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 261088105 2613248 228 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 638 230 193 16 0 77 0

[startup+0.011889 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 10704
/proc/meminfo: memFree=1649968/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=2684 CPUtime=0
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 317 0 0 0 0 0 0 0 18 0 1 0 261088105 2748416 288 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 671 288 199 16 0 110 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2684

[startup+0.101907 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 10704
/proc/meminfo: memFree=1649968/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=4016 CPUtime=0.09
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 652 0 0 0 9 0 0 0 18 0 1 0 261088105 4112384 623 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 1004 623 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301946 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 10704
/proc/meminfo: memFree=1649968/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=6808 CPUtime=0.29
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 1300 0 0 0 29 0 0 0 19 0 1 0 261088105 6971392 1271 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8054395 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 1702 1271 203 16 0 1141 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6808

[startup+0.702028 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 10704
/proc/meminfo: memFree=1649968/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=7472 CPUtime=0.69
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 1499 0 0 0 69 0 0 0 23 0 1 0 261088105 7651328 1470 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 1868 1470 205 16 0 1307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7472

[startup+1.50119 s]
/proc/loadavg: 0.93 1.01 0.99 2/78 10705
/proc/meminfo: memFree=1644264/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=8672 CPUtime=1.48
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 1781 0 0 0 148 0 0 0 25 0 1 0 261088105 8880128 1752 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 2168 1752 205 16 0 1607 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8672

[startup+3.10151 s]
/proc/loadavg: 0.93 1.01 0.99 2/78 10705
/proc/meminfo: memFree=1642600/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=11268 CPUtime=3.09
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 2426 0 0 0 308 1 0 0 25 0 1 0 261088105 11538432 2397 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 2817 2397 205 16 0 2256 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11268

[startup+6.30115 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1638320/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=14888 CPUtime=6.29
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 3343 0 0 0 626 3 0 0 25 0 1 0 261088105 15245312 3314 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 3722 3314 205 16 0 3161 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14888

[startup+12.7014 s]
/proc/loadavg: 0.94 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1635184/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=17864 CPUtime=12.69
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 4071 0 0 0 1265 4 0 0 25 0 1 0 261088105 18292736 4042 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 4466 4042 205 16 0 3905 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17864

[startup+25.502 s]
/proc/loadavg: 0.95 1.00 0.99 3/78 10705
/proc/meminfo: memFree=1627568/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=24896 CPUtime=25.48
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 5835 0 0 0 2540 8 0 0 25 0 1 0 261088105 25493504 5806 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 6224 5806 205 16 0 5663 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24896

[startup+51.1012 s]
/proc/loadavg: 0.97 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1622448/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=29800 CPUtime=51.07
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 7054 0 0 0 5095 12 0 0 25 0 1 0 261088105 30515200 7025 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 7450 7025 205 16 0 6889 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29800

[startup+102.305 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1618096/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=34224 CPUtime=102.25
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 8146 0 0 0 10205 20 0 0 25 0 1 0 261088105 35045376 8117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 8556 8117 205 16 0 7995 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 34224

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1613872/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=38648 CPUtime=162.23
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 9264 0 0 0 16194 29 0 0 25 0 1 0 261088105 39575552 9235 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 9662 9235 205 16 0 9101 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 38648

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1610096/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=42224 CPUtime=222.21
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 10139 0 0 0 22188 33 0 0 25 0 1 0 261088105 43237376 10110 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 10556 10110 205 16 0 9995 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 42224

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1606256/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=46032 CPUtime=282.19
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 11095 0 0 0 28180 39 0 0 25 0 1 0 261088105 47136768 11066 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557734 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 11508 11066 205 16 0 10947 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 46032

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1606192/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=46032 CPUtime=342.17
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 11095 0 0 0 34173 44 0 0 25 0 1 0 261088105 47136768 11066 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 11508 11066 205 16 0 10947 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 46032

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1606192/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=46032 CPUtime=402.15
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 11095 0 0 0 40166 49 0 0 25 0 1 0 261088105 47136768 11066 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 11508 11066 205 16 0 10947 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 46032

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1606256/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=46016 CPUtime=462.13
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 11095 0 0 0 46158 55 0 0 25 0 1 0 261088105 47120384 11066 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 11504 11066 205 16 0 10943 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 46016

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1604912/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=47296 CPUtime=522.1
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 11424 0 0 0 52148 62 0 0 25 0 1 0 261088105 48431104 11395 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 11824 11395 205 16 0 11263 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 47296

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1604912/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=47296 CPUtime=582.08
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 11424 0 0 0 58139 69 0 0 25 0 1 0 261088105 48431104 11395 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 11824 11395 205 16 0 11263 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 47296

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10705
/proc/meminfo: memFree=1604400/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=47804 CPUtime=642.06
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 11547 0 0 0 64130 76 0 0 25 0 1 0 261088105 48951296 11518 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 11951 11518 205 16 0 11390 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 47804


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

/proc/meminfo: memFree=1598704/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=53276 CPUtime=881.88
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 12989 0 0 0 88084 104 0 0 25 0 1 0 261088105 54554624 12873 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 13319 12873 205 16 0 12758 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 53276

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1598896/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=53232 CPUtime=941.86
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 12989 0 0 0 94076 110 0 0 25 0 1 0 261088105 54509568 12862 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527552 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 13308 12862 205 16 0 12747 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 53232

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1598896/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=53176 CPUtime=1001.83
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 12989 0 0 0 100066 117 0 0 25 0 1 0 261088105 54452224 12848 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 13294 12848 205 16 0 12733 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 53176

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1598960/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=53176 CPUtime=1061.82
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 12989 0 0 0 106059 123 0 0 25 0 1 0 261088105 54452224 12848 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527688 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 13294 12848 205 16 0 12733 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 53176

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1598960/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=53176 CPUtime=1121.8
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 12989 0 0 0 112052 128 0 0 25 0 1 0 261088105 54452224 12848 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 13294 12848 205 16 0 12733 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 53176

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1598960/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=53176 CPUtime=1181.78
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 12989 0 0 0 118044 134 0 0 25 0 1 0 261088105 54452224 12848 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527120 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 13294 12848 205 16 0 12733 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 53176

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1597872/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=54488 CPUtime=1241.75
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13300 0 0 0 124036 139 0 0 25 0 1 0 261088105 55795712 13159 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 13622 13159 205 16 0 13061 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 54488

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1597808/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=54476 CPUtime=1301.74
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13300 0 0 0 130029 145 0 0 25 0 1 0 261088105 55783424 13159 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 13619 13159 205 16 0 13058 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 54476

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1596208/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56056 CPUtime=1361.71
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13699 0 0 0 136021 150 0 0 25 0 1 0 261088105 57401344 13558 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14014 13558 205 16 0 13453 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 56056

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1596208/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56056 CPUtime=1421.69
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13699 0 0 0 142015 154 0 0 25 0 1 0 261088105 57401344 13558 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 8052568 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14014 13558 205 16 0 13453 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 56056

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1596208/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56056 CPUtime=1481.67
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13699 0 0 0 148008 159 0 0 25 0 1 0 261088105 57401344 13558 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134561739 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14014 13558 205 16 0 13453 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 56056

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1596144/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56056 CPUtime=1541.65
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13699 0 0 0 154000 165 0 0 25 0 1 0 261088105 57401344 13558 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14014 13558 205 16 0 13453 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 56056

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1596144/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56056 CPUtime=1601.62
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13699 0 0 0 159992 170 0 0 25 0 1 0 261088105 57401344 13558 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527610 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14014 13558 205 16 0 13453 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 56056

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1596272/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56040 CPUtime=1661.6
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13699 0 0 0 165986 174 0 0 25 0 1 0 261088105 57384960 13558 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528011 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14010 13558 205 16 0 13449 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 56040

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1595696/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56580 CPUtime=1721.59
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13838 0 0 0 171980 179 0 0 25 0 1 0 261088105 57937920 13697 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14145 13697 205 16 0 13584 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 56580

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1595696/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56580 CPUtime=1781.57
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13838 0 0 0 177973 184 0 0 25 0 1 0 261088105 57937920 13697 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14145 13697 205 16 0 13584 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 56580

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

[startup+1783.11 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1595696/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56580 CPUtime=1782.37
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13838 0 0 0 178053 184 0 0 25 0 1 0 261088105 57937920 13697 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14145 13697 205 16 0 13584 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 56580

[startup+1783.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1595696/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56580 CPUtime=1782.56
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13838 0 0 0 178072 184 0 0 25 0 1 0 261088105 57937920 13697 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14145 13697 205 16 0 13584 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (KiB) 56580

[startup+1783.4 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 10903
/proc/meminfo: memFree=1595696/2055920 swapFree=4154924/4192956
[pid=10704] ppid=10702 vsize=56580 CPUtime=1782.66
/proc/10704/stat : 10704 (Pueblo) R 10702 10704 9780 0 -1 4194304 13838 0 0 0 178082 184 0 0 25 0 1 0 261088105 57937920 13697 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/10704/statm: 14145 13697 205 16 0 13584 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (KiB) 56580

Child status: 10
Real time (s): 1783.48
CPU time (s): 1782.74
CPU user time (s): 1780.89
CPU system time (s): 1.85372
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 56580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.89
system time used= 1.85372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13845
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= 17
involuntary context switches= 36560

runsolver used 1.55376 second user time and 3.68044 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Wed May  2 18:48:27 UTC 2007

IDJOB= 453332
IDBENCH= 48123
IDSOLVER= 165
FILE ID= node20/453332-1178131707

PBS_JOBID= 4751037

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb
COMMAND LINE= Pueblo /tmp/evaluation/453332-1178131707/instance-453332-1178131707.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-453332-1178131707 -o ROOT/results/node20/conversion-453332-1178131707 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453332-1178131707/instance-453332-1178131707.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-453332-1178131707 -o ROOT/results/node20/solver-453332-1178131707 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/453332-1178131707/instance-453332-1178131707.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  08f3a00099e19d384504c40fc611777e

RANDOM SEED= 488474498

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1650312 kB
Buffers:        213940 kB
Cached:          74484 kB
SwapCached:      16828 kB
Active:         187968 kB
Inactive:       129264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1650312 kB
SwapTotal:     4192956 kB
SwapFree:      4154924 kB
Dirty:            2772 kB
Writeback:           0 kB
Mapped:          34980 kB
Slab:            73896 kB
Committed_AS:  6508364 kB
PageTables:       1756 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node20 on Wed May  2 19:18:11 UTC 2007