Trace number 363977

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.4SAT207 1782.73 1783.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
MD5SUMdf1c0055bf82833faa95d352e28c6731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark15.5636
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved YES
Number of variables4676
Total number of constraints398
Number of constraints which are clauses398
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4676
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 4676
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4676
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (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.01/0.06	c starting to Solve
0.01/0.06	c #variables read: 4676 - #constraints read: 399
0.01/0.06	o 263
0.01/0.07	o 262
0.01/0.08	o 261
0.01/0.09	o 260
0.09/0.11	o 259
0.19/0.20	o 239
0.59/0.69	o 223
0.99/1.04	o 222
1.89/1.98	o 218
8.99/9.02	o 212
13.69/13.72	o 207
1782.72/1783.21	c total time              : 1783 s
1782.72/1783.21	s SATISFIABLE
1782.72/1783.21	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
1782.72/1783.21	v -x29 -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
1782.72/1783.21	v x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1782.72/1783.21	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105
1782.72/1783.21	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126
1782.72/1783.21	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1782.72/1783.21	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1782.72/1783.21	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1782.72/1783.21	v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1782.72/1783.21	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231
1782.72/1783.21	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1782.72/1783.21	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1782.72/1783.21	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1782.72/1783.21	v -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315
1782.72/1783.21	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1782.72/1783.21	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1782.72/1783.21	v -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378
1782.72/1783.21	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1782.72/1783.21	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1782.72/1783.21	v -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1782.72/1783.21	v -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1782.72/1783.21	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1782.72/1783.21	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1782.72/1783.21	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1782.72/1783.21	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1782.72/1783.21	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1782.72/1783.21	v -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1782.72/1783.21	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1782.72/1783.21	v -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1782.72/1783.21	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1782.72/1783.21	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1782.72/1783.21	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1782.72/1783.21	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
1782.72/1783.21	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1782.72/1783.21	v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1782.72/1783.21	v -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777
1782.72/1783.21	v x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1782.72/1783.21	v -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1782.72/1783.21	v -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1782.72/1783.21	v -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1782.72/1783.21	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1782.72/1783.21	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1782.72/1783.21	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1782.72/1783.21	v -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1782.72/1783.21	v -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966
1782.72/1783.21	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1782.72/1783.21	v -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1782.72/1783.21	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1782.72/1783.21	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1782.72/1783.21	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1782.72/1783.21	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1782.72/1783.21	v -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1782.72/1783.21	v -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1782.72/1783.21	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1782.72/1783.21	v x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1782.72/1783.21	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1782.72/1783.21	v x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1782.72/1783.21	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1782.72/1783.21	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210
1782.72/1783.21	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1782.72/1783.21	v -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1782.72/1783.21	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1782.72/1783.21	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278
1782.72/1783.21	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295
1782.72/1783.21	v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
1782.72/1783.21	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329
1782.72/1783.21	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1782.72/1783.21	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1782.72/1783.21	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1782.72/1783.21	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397
1782.72/1783.21	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
1782.72/1783.21	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
1782.72/1783.21	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
1782.72/1783.21	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465
1782.72/1783.21	v x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482
1782.72/1783.21	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499
1782.72/1783.21	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516
1782.72/1783.21	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533
1782.72/1783.21	v -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1782.72/1783.21	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1782.72/1783.21	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1782.72/1783.21	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601
1782.72/1783.21	v -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 x1617 -x1618 -x1619
1782.72/1783.21	v -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637
1782.72/1783.21	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1782.72/1783.21	v -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1782.72/1783.21	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688
1782.72/1783.21	v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1782.72/1783.21	v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722
1782.72/1783.21	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1782.72/1783.21	v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756
1782.72/1783.21	v x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
1782.72/1783.21	v -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1782.72/1783.21	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807
1782.72/1783.21	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824
1782.72/1783.21	v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841
1782.72/1783.21	v -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858
1782.72/1783.21	v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875
1782.72/1783.21	v -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892
1782.72/1783.21	v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909
1782.72/1783.21	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926
1782.72/1783.21	v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943
1782.72/1783.21	v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
1782.72/1783.21	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977
1782.72/1783.21	v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1782.72/1783.21	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011
1782.72/1783.21	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028
1782.72/1783.21	v -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045
1782.72/1783.21	v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062
1782.72/1783.21	v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080
1782.72/1783.21	v -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098
1782.72/1783.21	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115
1782.72/1783.21	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1782.72/1783.21	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
1782.72/1783.21	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166
1782.72/1783.21	v -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1782.72/1783.21	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1782.72/1783.21	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1782.72/1783.21	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1782.72/1783.21	v x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1782.72/1783.21	v -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269
1782.72/1783.21	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286
1782.72/1783.21	v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303
1782.72/1783.21	v -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
1782.72/1783.21	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337
1782.72/1783.21	v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354
1782.72/1783.21	v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371
1782.72/1783.21	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388
1782.72/1783.21	v x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
1782.72/1783.21	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423
1782.72/1783.21	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1782.72/1783.21	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458
1782.72/1783.21	v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475
1782.72/1783.21	v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492
1782.72/1783.21	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1782.72/1783.21	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1782.72/1783.21	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543
1782.72/1783.21	v -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
1782.72/1783.21	v -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1782.72/1783.21	v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596
1782.72/1783.21	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613
1782.72/1783.21	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1782.72/1783.21	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
1782.72/1783.21	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664
1782.72/1783.21	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681
1782.72/1783.21	v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1782.72/1783.21	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715
1782.72/1783.21	v x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733
1782.72/1783.21	v -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 -x2751
1782.72/1783.21	v -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769
1782.72/1783.21	v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786
1782.72/1783.21	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803
1782.72/1783.21	v -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
1782.72/1783.21	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837
1782.72/1783.21	v -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855
1782.72/1783.21	v x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872
1782.72/1783.21	v x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
1782.72/1783.21	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907
1782.72/1783.21	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924
1782.72/1783.21	v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941
1782.72/1783.21	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958
1782.72/1783.21	v -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975
1782.72/1783.21	v -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992
1782.72/1783.21	v -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009
1782.72/1783.21	v x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027
1782.72/1783.21	v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044
1782.72/1783.21	v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061
1782.72/1783.21	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078
1782.72/1783.21	v -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 -x3096
1782.72/1783.21	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1782.72/1783.21	v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
1782.72/1783.21	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147
1782.72/1783.21	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164
1782.72/1783.21	v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182
1782.72/1783.21	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199
1782.72/1783.21	v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216
1782.72/1783.21	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233
1782.72/1783.21	v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
1782.72/1783.21	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
1782.72/1783.21	v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284
1782.72/1783.21	v -x3285 -x3286 -x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301
1782.72/1783.21	v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318
1782.72/1783.21	v x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335
1782.72/1783.21	v -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353
1782.72/1783.21	v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370
1782.72/1783.21	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387
1782.72/1783.21	v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404
1782.72/1783.21	v -x3405 x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 -x3421 -x3422
1782.72/1783.21	v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439
1782.72/1783.21	v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456
1782.72/1783.21	v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473
1782.72/1783.21	v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
1782.72/1783.21	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507
1782.72/1783.21	v -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524
1782.72/1783.21	v -x3525 -x3526 -x3527 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541
1782.72/1783.21	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558
1782.72/1783.21	v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575
1782.72/1783.21	v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592
1782.72/1783.21	v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609
1782.72/1783.21	v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626
1782.72/1783.21	v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643
1782.72/1783.21	v -x3644 -x3645 -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
1782.72/1783.21	v -x3661 -x3662 -x3663 -x3664 x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678
1782.72/1783.21	v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695
1782.72/1783.21	v -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712
1782.72/1783.21	v -x3713 x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730
1782.72/1783.21	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747
1782.72/1783.21	v -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764
1782.72/1783.21	v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781
1782.72/1783.21	v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798
1782.72/1783.21	v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815
1782.72/1783.21	v x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832
1782.72/1783.21	v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849
1782.72/1783.21	v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867
1782.72/1783.21	v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884
1782.72/1783.21	v -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901
1782.72/1783.21	v -x3902 -x3903 -x3904 -x3905 -x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918
1782.72/1783.21	v -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935
1782.72/1783.21	v -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
1782.72/1783.21	v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969
1782.72/1783.21	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986
1782.72/1783.21	v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003
1782.72/1783.21	v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4018 -x4019 -x4020
1782.72/1783.21	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037
1782.72/1783.21	v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054
1782.72/1783.21	v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071
1782.72/1783.21	v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088
1782.72/1783.21	v x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105
1782.72/1783.21	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122
1782.72/1783.21	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139
1782.72/1783.21	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156
1782.72/1783.21	v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173
1782.72/1783.21	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
1782.72/1783.21	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207
1782.72/1783.21	v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224
1782.72/1783.21	v -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241
1782.72/1783.21	v -x4242 x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259
1782.72/1783.21	v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276
1782.72/1783.21	v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 x4293
1782.72/1783.21	v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
1782.72/1783.21	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327
1782.72/1783.21	v -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344
1782.72/1783.21	v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361
1782.72/1783.21	v -x4362 -x4363 -x4364 -x4365 -x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378
1782.72/1783.21	v -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395
1782.72/1783.21	v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412
1782.72/1783.21	v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429
1782.72/1783.21	v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446
1782.72/1783.21	v -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463
1782.72/1783.21	v x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481
1782.72/1783.21	v -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498
1782.72/1783.21	v -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515
1782.72/1783.21	v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532
1782.72/1783.21	v x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549
1782.72/1783.21	v x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567
1782.72/1783.21	v -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 -x4584
1782.72/1783.21	v -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601
1782.72/1783.21	v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618
1782.72/1783.21	v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635
1782.72/1783.21	v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 x4650 -x4651 -x4652
1782.72/1783.21	v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669
1782.72/1783.21	v -x4670 -x4671 x4672 -x4673 -x4674 -x4675 x4676

Verifier Data (download as text)

OK	207

Conversion Script Data (download as text)

/tmp/evaluation/363977-1177035833/instance-363977-1177035833.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node51/watcher-363977-1177035833 -o ROOT/results/node51/solver-363977-1177035833 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/363977-1177035833/instance-363977-1177035833.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 1.00 3/64 20909
/proc/meminfo: memFree=1754280/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=2552 CPUtime=0
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 58428415 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3083991 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 638 230 193 16 0 77 0

[startup+0.0205729 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20909
/proc/meminfo: memFree=1754280/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=2952 CPUtime=0.01
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 377 0 0 0 1 0 0 0 18 0 1 0 58428415 3022848 347 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3083991 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 738 347 193 16 0 177 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2952

[startup+0.101581 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20909
/proc/meminfo: memFree=1754280/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=4472 CPUtime=0.09
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 707 0 0 0 9 0 0 0 18 0 1 0 58428415 4579328 677 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134529097 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 1118 677 205 16 0 557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4472

[startup+0.301598 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20909
/proc/meminfo: memFree=1754280/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=4564 CPUtime=0.29
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 747 0 0 0 29 0 0 0 19 0 1 0 58428415 4673536 717 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 1141 717 205 16 0 580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4564

[startup+0.701634 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20909
/proc/meminfo: memFree=1754280/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=4820 CPUtime=0.69
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 791 0 0 0 68 1 0 0 22 0 1 0 58428415 4935680 761 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 1205 761 205 16 0 644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4820

[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1751840/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=5396 CPUtime=1.49
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 926 0 0 0 147 2 0 0 25 0 1 0 58428415 5525504 896 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 1349 896 205 16 0 788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5396

[startup+3.10185 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1751328/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=5524 CPUtime=3.09
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 962 0 0 0 306 3 0 0 25 0 1 0 58428415 5656576 932 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 1381 932 205 16 0 820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5524

[startup+6.30114 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1750624/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=6320 CPUtime=6.29
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 1177 0 0 0 621 8 0 0 25 0 1 0 58428415 6471680 1147 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 1580 1147 205 16 0 1019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6320

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1749160/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=7780 CPUtime=12.68
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 1529 0 0 0 1256 12 0 0 25 0 1 0 58428415 7966720 1499 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527995 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 1945 1499 205 16 0 1384 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7780

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1746664/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=10020 CPUtime=25.49
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 2086 0 0 0 2525 24 0 0 25 0 1 0 58428415 10260480 2056 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 2505 2056 205 16 0 1944 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10020

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1746152/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=10628 CPUtime=51.08
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 2253 0 0 0 5072 36 0 0 25 0 1 0 58428415 10883072 2223 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 2657 2223 205 16 0 2096 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10628

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1746088/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=10628 CPUtime=102.27
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 2253 0 0 0 10144 83 0 0 25 0 1 0 58428415 10883072 2223 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 2657 2223 205 16 0 2096 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10628

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1746024/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=10628 CPUtime=162.24
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 2253 0 0 0 16097 127 0 0 25 0 1 0 58428415 10883072 2223 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 2657 2223 205 16 0 2096 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10628

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1745512/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=11084 CPUtime=222.23
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 2367 0 0 0 22054 169 0 0 25 0 1 0 58428415 11350016 2337 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 2771 2337 205 16 0 2210 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 11084

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1743528/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=13032 CPUtime=282.21
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 2863 0 0 0 27990 231 0 0 25 0 1 0 58428415 13344768 2833 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3258 2833 205 16 0 2697 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 13032

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1744488/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=11848 CPUtime=342.2
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 2989 0 0 0 33972 248 0 0 25 0 1 0 58428415 12132352 2539 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 2962 2539 205 16 0 2401 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 11848

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1744552/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=11848 CPUtime=402.18
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 3051 0 0 0 39943 275 0 0 25 0 1 0 58428415 12132352 2539 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528049 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 2962 2539 205 16 0 2401 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 11848

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1744552/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=11848 CPUtime=462.16
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 3051 0 0 0 45901 315 0 0 25 0 1 0 58428415 12132352 2539 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134529041 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 2962 2539 205 16 0 2401 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 11848

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1744104/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=12492 CPUtime=522.15
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 3205 0 0 0 51796 419 0 0 25 0 1 0 58428415 12791808 2693 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3123 2693 205 16 0 2562 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 12492

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1744168/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=12340 CPUtime=582.14
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 3205 0 0 0 57698 516 0 0 25 0 1 0 58428415 12636160 2662 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3085 2662 205 16 0 2524 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 12340

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1744168/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=12340 CPUtime=642.12
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 3205 0 0 0 63645 567 0 0 25 0 1 0 58428415 12636160 2662 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3085 2662 205 16 0 2524 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 12340


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

/proc/meminfo: memFree=1743336/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=13256 CPUtime=882.05
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 3419 0 0 0 87452 753 0 0 25 0 1 0 58428415 13574144 2876 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3314 2876 205 16 0 2753 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 13256

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741416/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=15084 CPUtime=942.03
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 3886 0 0 0 93424 779 0 0 25 0 1 0 58428415 15446016 3343 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3771 3343 205 16 0 3210 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 15084

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1742504/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14084 CPUtime=1002.02
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4024 0 0 0 99391 811 0 0 25 0 1 0 58428415 14422016 3081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528788 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3521 3081 205 16 0 2960 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 14084

[startup+1062.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 20910
/proc/meminfo: memFree=1742376/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14024 CPUtime=1062
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4070 0 0 0 105363 837 0 0 25 0 1 0 58428415 14360576 3083 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3506 3083 205 16 0 2945 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 14024

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 20910
/proc/meminfo: memFree=1742440/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14012 CPUtime=1121.99
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4089 0 0 0 111340 859 0 0 25 0 1 0 58428415 14348288 3080 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3503 3080 205 16 0 2942 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 14012

[startup+1182.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/65 20910
/proc/meminfo: memFree=1742376/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14108 CPUtime=1181.97
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4120 0 0 0 117314 883 0 0 25 0 1 0 58428415 14446592 3101 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528751 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3527 3101 205 16 0 2966 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 14108

[startup+1242.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 20910
/proc/meminfo: memFree=1742312/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14220 CPUtime=1241.96
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4146 0 0 0 123282 914 0 0 25 0 1 0 58428415 14561280 3125 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3555 3125 205 16 0 2994 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 14220

[startup+1302.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 20910
/proc/meminfo: memFree=1742120/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14316 CPUtime=1301.94
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4176 0 0 0 129239 955 0 0 25 0 1 0 58428415 14659584 3154 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3579 3154 205 16 0 3018 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 14316

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20910
/proc/meminfo: memFree=1742056/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14404 CPUtime=1361.92
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4201 0 0 0 135196 996 0 0 25 0 1 0 58428415 14749696 3178 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3601 3178 205 16 0 3040 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 14404

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20910
/proc/meminfo: memFree=1741864/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14404 CPUtime=1421.91
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4269 0 0 0 141146 1045 0 0 25 0 1 0 58428415 14749696 3178 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3601 3178 205 16 0 3040 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 14404

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20910
/proc/meminfo: memFree=1741736/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14640 CPUtime=1481.89
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4428 0 0 0 147123 1066 0 0 25 0 1 0 58428415 14991360 3237 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3660 3237 205 16 0 3099 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 14640

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741672/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14920 CPUtime=1541.88
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4481 0 0 0 153077 1111 0 0 25 0 1 0 58428415 15278080 3290 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3730 3290 205 16 0 3169 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 14920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741672/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14672 CPUtime=1601.86
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4564 0 0 0 159026 1160 0 0 25 0 1 0 58428415 15024128 3245 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3668 3245 205 16 0 3107 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 14672

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741672/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14800 CPUtime=1661.85
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4617 0 0 0 164998 1187 0 0 25 0 1 0 58428415 15155200 3272 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527975 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3700 3272 205 16 0 3139 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 14800

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741544/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=14968 CPUtime=1721.82
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4657 0 0 0 170959 1223 0 0 25 0 1 0 58428415 15327232 3312 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528630 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3742 3312 205 16 0 3181 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 14968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741288/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=15300 CPUtime=1781.81
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4735 0 0 0 176945 1236 0 0 25 0 1 0 58428415 15667200 3390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134529023 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3825 3390 205 16 0 3264 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 15300

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741288/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=15300 CPUtime=1782.22
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4735 0 0 0 176985 1237 0 0 25 0 1 0 58428415 15667200 3390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 3056589 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3825 3390 205 16 0 3264 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 15300

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741288/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=15300 CPUtime=1782.62
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4735 0 0 0 177025 1237 0 0 25 0 1 0 58428415 15667200 3390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3825 3390 205 16 0 3264 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (KiB) 15300

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20910
/proc/meminfo: memFree=1741288/2055920 swapFree=4183244/4192956
[pid=20909] ppid=20907 vsize=15300 CPUtime=1782.72
/proc/20909/stat : 20909 (Pueblo) R 20907 20909 1767 0 -1 4194304 4735 0 0 0 177035 1237 0 0 25 0 1 0 58428415 15667200 3390 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556290 0 0 4096 0 0 0 0 17 1 0 0
/proc/20909/statm: 3825 3390 205 16 0 3264 0
Current children cumulated CPU time (s) 1782.72
Current children cumulated vsize (KiB) 15300

Child status: 10
Real time (s): 1783.22
CPU time (s): 1782.73
CPU user time (s): 1770.36
CPU system time (s): 12.3731
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 15300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.36
system time used= 12.3731
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4742
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= 16
involuntary context switches= 3418

runsolver used 1.11083 second user time and 3.76443 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Fri Apr 20 02:23:53 UTC 2007

IDJOB= 363977
IDBENCH= 2048
IDSOLVER= 165
FILE ID= node51/363977-1177035833

PBS_JOBID= 4630612

Free space on /tmp= 66459 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb
COMMAND LINE= Pueblo /tmp/evaluation/363977-1177035833/instance-363977-1177035833.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node51/convwatcher-363977-1177035833 -o ROOT/results/node51/conversion-363977-1177035833 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363977-1177035833/instance-363977-1177035833.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  df1c0055bf82833faa95d352e28c6731

RANDOM SEED= 744087502

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1754752 kB
Buffers:         42924 kB
Cached:         198292 kB
SwapCached:       3448 kB
Active:          92548 kB
Inactive:       168672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754752 kB
SwapTotal:     4192956 kB
SwapFree:      4183244 kB
Dirty:            2396 kB
Writeback:           0 kB
Mapped:          24248 kB
Slab:            25996 kB
Committed_AS:  3678212 kB
PageTables:       1432 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= 66459 MiB

End job on node51 on Fri Apr 20 02:53:36 UTC 2007