Trace number 453257

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.4SAT78 1782.74 1783.21

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_4.opb
MD5SUM7603a459a5769ea7e43f52c522eb87aa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark68
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 68
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 constraint22
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)6326
Sum of products size (including duplicates)12652
Number of different products6326
Sum of products size12652

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

Verifier Data (download as text)

OK	78

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453257-1178126525/instance-453257-1178126525.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-453257-1178126525 -o ROOT/results/node14/solver-453257-1178126525 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453257-1178126525/instance-453257-1178126525.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: 1.00 1.00 0.94 3/77 20635
/proc/meminfo: memFree=1792696/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=2552 CPUtime=0
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 260570330 2613248 232 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 638 232 193 16 0 77 0

[startup+0.0133189 s]
/proc/loadavg: 1.00 1.00 0.94 3/77 20635
/proc/meminfo: memFree=1792696/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=2816 CPUtime=0
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 327 0 0 0 0 0 0 0 18 0 1 0 260570330 2883584 298 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 704 298 199 16 0 143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2816

[startup+0.102337 s]
/proc/loadavg: 1.00 1.00 0.94 3/77 20635
/proc/meminfo: memFree=1792696/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=4016 CPUtime=0.09
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 649 0 0 0 9 0 0 0 18 0 1 0 260570330 4112384 620 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134542999 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 1004 620 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301346 s]
/proc/loadavg: 1.00 1.00 0.94 3/77 20635
/proc/meminfo: memFree=1792696/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=6688 CPUtime=0.29
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 1272 0 0 0 29 0 0 0 19 0 1 0 260570330 6848512 1243 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7359282 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 1672 1244 203 16 0 1111 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6688

[startup+0.701385 s]
/proc/loadavg: 1.00 1.00 0.94 3/77 20635
/proc/meminfo: memFree=1792696/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=7484 CPUtime=0.69
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 1500 0 0 0 69 0 0 0 23 0 1 0 260570330 7663616 1471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 1871 1471 205 16 0 1310 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7484

[startup+1.50146 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1787120/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=8912 CPUtime=1.5
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 1849 0 0 0 149 1 0 0 25 0 1 0 260570330 9125888 1820 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 2228 1820 205 16 0 1667 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 8912

[startup+3.10161 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1784880/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=11632 CPUtime=3.1
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 2523 0 0 0 308 2 0 0 25 0 1 0 260570330 11911168 2494 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559218 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 2908 2494 205 16 0 2347 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 11632

[startup+6.30191 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1780088/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=15300 CPUtime=6.3
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 3433 0 0 0 627 3 0 0 25 0 1 0 260570330 15667200 3404 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 3825 3404 205 16 0 3264 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15300

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1777656/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=18264 CPUtime=12.69
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 4177 0 0 0 1264 5 0 0 25 0 1 0 260570330 18702336 4148 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 4566 4148 205 16 0 4005 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18264

[startup+25.5027 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1771576/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=23312 CPUtime=25.49
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 5433 0 0 0 2542 7 0 0 25 0 1 0 260570330 23871488 5404 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 5828 5404 205 16 0 5267 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23312

[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1767416/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=27388 CPUtime=51.08
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 6465 0 0 0 5096 12 0 0 25 0 1 0 260570330 28045312 6436 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 6847 6436 205 16 0 6286 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27388

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1765752/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=29072 CPUtime=102.27
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 6874 0 0 0 10207 20 0 0 25 0 1 0 260570330 29769728 6845 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 7268 6845 205 16 0 6707 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29072

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1764088/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=31168 CPUtime=162.25
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 7385 0 0 0 16197 28 0 0 25 0 1 0 260570330 31916032 7356 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134558881 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 7792 7356 205 16 0 7231 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31168

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1759480/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=35288 CPUtime=222.24
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 8407 0 0 0 22188 36 0 0 25 0 1 0 260570330 36134912 8378 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 8822 8378 205 16 0 8261 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 35288

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1756600/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=38048 CPUtime=282.22
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 9113 0 0 0 28178 44 0 0 25 0 1 0 260570330 38961152 9084 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 9512 9084 205 16 0 8951 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 38048

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1752696/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=41908 CPUtime=342.2
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 10078 0 0 0 34169 51 0 0 25 0 1 0 260570330 42913792 10049 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 10477 10049 205 16 0 9916 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 41908

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1752568/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=41884 CPUtime=402.19
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 10078 0 0 0 40162 57 0 0 25 0 1 0 260570330 42889216 10048 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7359920 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 10471 10048 205 16 0 9910 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 41884

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1752760/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=41504 CPUtime=462.18
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 10080 0 0 0 46155 63 0 0 25 0 1 0 260570330 42500096 9955 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 10376 9955 205 16 0 9815 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 41504

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1752504/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=41904 CPUtime=522.16
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 10169 0 0 0 52148 68 0 0 25 0 1 0 260570330 42909696 10043 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 10476 10043 205 16 0 9915 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 41904

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1752440/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=41904 CPUtime=582.14
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 10169 0 0 0 58140 74 0 0 25 0 1 0 260570330 42909696 10043 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 10476 10043 205 16 0 9915 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 41904

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1751992/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=42284 CPUtime=642.14
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 10269 0 0 0 64133 81 0 0 25 0 1 0 260570330 43298816 10143 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 10571 10143 205 16 0 10010 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 42284


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

/proc/meminfo: memFree=1740984/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=53044 CPUtime=882.08
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 12953 0 0 0 88103 105 0 0 25 0 1 0 260570330 54317056 12827 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13261 12827 205 16 0 12700 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 53044

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1739512/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54448 CPUtime=942.06
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13303 0 0 0 94094 112 0 0 25 0 1 0 260570330 55754752 13177 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13612 13177 205 16 0 13051 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 54448

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1739448/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54448 CPUtime=1002.04
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13303 0 0 0 100087 117 0 0 25 0 1 0 260570330 55754752 13177 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13612 13177 205 16 0 13051 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 54448

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20636
/proc/meminfo: memFree=1739384/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54448 CPUtime=1062.02
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13305 0 0 0 106081 121 0 0 25 0 1 0 260570330 55754752 13179 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13612 13179 205 16 0 13051 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 54448

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20638
/proc/meminfo: memFree=1739256/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54408 CPUtime=1122.01
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13305 0 0 0 112074 127 0 0 25 0 1 0 260570330 55713792 13179 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13602 13179 205 16 0 13041 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 54408

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20638
/proc/meminfo: memFree=1739256/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54408 CPUtime=1181.99
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13305 0 0 0 118066 133 0 0 25 0 1 0 260570330 55713792 13179 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13602 13179 205 16 0 13041 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 54408

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20638
/proc/meminfo: memFree=1739128/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54408 CPUtime=1241.98
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13305 0 0 0 124060 138 0 0 25 0 1 0 260570330 55713792 13179 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528589 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13602 13179 205 16 0 13041 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 54408

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20638
/proc/meminfo: memFree=1738872/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54664 CPUtime=1301.97
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13362 0 0 0 130054 143 0 0 25 0 1 0 260570330 55975936 13236 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13666 13236 205 16 0 13105 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 54664

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20638
/proc/meminfo: memFree=1738744/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54664 CPUtime=1361.95
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13368 0 0 0 136046 149 0 0 25 0 1 0 260570330 55975936 13242 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13666 13242 205 16 0 13105 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 54664

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20638
/proc/meminfo: memFree=1738744/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54664 CPUtime=1421.94
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13368 0 0 0 142040 154 0 0 25 0 1 0 260570330 55975936 13242 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13666 13242 205 16 0 13105 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 54664

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20638
/proc/meminfo: memFree=1738424/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=55036 CPUtime=1481.92
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13432 0 0 0 148033 159 0 0 25 0 1 0 260570330 56356864 13306 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13759 13306 205 16 0 13198 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 55036

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 20638
/proc/meminfo: memFree=1738360/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54976 CPUtime=1541.91
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13432 0 0 0 154027 164 0 0 25 0 1 0 260570330 56295424 13306 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13744 13306 205 16 0 13183 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 54976

[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 0.94 2/78 20638
/proc/meminfo: memFree=1738296/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54976 CPUtime=1601.89
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13432 0 0 0 160020 169 0 0 25 0 1 0 260570330 56295424 13306 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13744 13306 205 16 0 13183 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 54976

[startup+1662.3 s]
/proc/loadavg: 1.07 1.03 0.95 2/78 20638
/proc/meminfo: memFree=1738232/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=54976 CPUtime=1661.88
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13432 0 0 0 166013 175 0 0 25 0 1 0 260570330 56295424 13306 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13744 13306 205 16 0 13183 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 54976

[startup+1722.3 s]
/proc/loadavg: 1.07 1.03 0.95 2/78 20638
/proc/meminfo: memFree=1737592/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=55620 CPUtime=1721.86
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13584 0 0 0 172005 181 0 0 25 0 1 0 260570330 56954880 13458 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13905 13458 205 16 0 13344 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 55620

[startup+1782.3 s]
/proc/loadavg: 1.06 1.04 0.96 2/78 20638
/proc/meminfo: memFree=1737400/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=55748 CPUtime=1781.86
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13617 0 0 0 177999 187 0 0 25 0 1 0 260570330 57085952 13491 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13937 13491 205 16 0 13376 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 55748

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

[startup+1782.7 s]
/proc/loadavg: 1.06 1.04 0.96 2/78 20638
/proc/meminfo: memFree=1737400/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=55748 CPUtime=1782.26
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13617 0 0 0 178039 187 0 0 25 0 1 0 260570330 57085952 13491 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13937 13491 205 16 0 13376 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 55748

[startup+1783.11 s]
/proc/loadavg: 1.05 1.04 0.96 2/78 20638
/proc/meminfo: memFree=1737400/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=55748 CPUtime=1782.66
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194304 13617 0 0 0 178079 187 0 0 25 0 1 0 260570330 57085952 13491 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 13937 13491 205 16 0 13376 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (KiB) 55748

[startup+1783.2 s]
/proc/loadavg: 1.05 1.04 0.96 2/78 20638
/proc/meminfo: memFree=1737400/2055920 swapFree=4148808/4192956
[pid=20635] ppid=20633 vsize=0 CPUtime=1782.73
/proc/20635/stat : 20635 (Pueblo) R 20633 20635 20295 0 -1 4194308 13624 0 0 0 178086 187 0 0 16 0 1 0 260570330 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/20635/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.73
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.21
CPU time (s): 1782.74
CPU user time (s): 1780.86
CPU system time (s): 1.88071
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 55748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.86
system time used= 1.88071
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13624
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= 35836

runsolver used 1.36979 second user time and 3.82942 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Wed May  2 17:22:05 UTC 2007

IDJOB= 453257
IDBENCH= 48118
IDSOLVER= 165
FILE ID= node14/453257-1178126525

PBS_JOBID= 4751043

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_4.opb
COMMAND LINE= Pueblo /tmp/evaluation/453257-1178126525/instance-453257-1178126525.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-453257-1178126525 -o ROOT/results/node14/conversion-453257-1178126525 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453257-1178126525/instance-453257-1178126525.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  7603a459a5769ea7e43f52c522eb87aa

RANDOM SEED= 81073459

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1793040 kB
Buffers:         99780 kB
Cached:          73484 kB
SwapCached:      11220 kB
Active:          86056 kB
Inactive:       117728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793040 kB
SwapTotal:     4192956 kB
SwapFree:      4148808 kB
Dirty:            2772 kB
Writeback:           0 kB
Mapped:          36196 kB
Slab:            44592 kB
Committed_AS:  9225880 kB
PageTables:       1796 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 node14 on Wed May  2 17:51:49 UTC 2007