Trace number 352788

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.4SAT141 1782.74 1783.37

General information on the benchmark

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

Verifier Data (download as text)

OK	141

Conversion Script Data (download as text)

/tmp/evaluation/352788-1176641679/instance-352788-1176641679.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/node11/watcher-352788-1176641679 -o ROOT/results/node11/solver-352788-1176641679 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352788-1176641679/instance-352788-1176641679.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/77 17457
/proc/meminfo: memFree=1590328/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=2552 CPUtime=0
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 105216815 2613248 232 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8445655 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 638 232 193 16 0 77 0

[startup+0.044157 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17457
/proc/meminfo: memFree=1590328/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=3084 CPUtime=0.04
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 418 0 0 0 4 0 0 0 18 0 1 0 105216815 3158016 388 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8147782 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 771 388 199 16 0 210 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3084

[startup+0.101163 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17457
/proc/meminfo: memFree=1590328/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=3484 CPUtime=0.09
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 495 0 0 0 9 0 0 0 18 0 1 0 105216815 3567616 465 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 871 465 199 16 0 310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3484

[startup+0.301186 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17457
/proc/meminfo: memFree=1590328/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=4656 CPUtime=0.29
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 758 0 0 0 29 0 0 0 19 0 1 0 105216815 4767744 728 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 1164 728 205 16 0 603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4656

[startup+0.701234 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17457
/proc/meminfo: memFree=1590328/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=4988 CPUtime=0.69
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 840 0 0 0 69 0 0 0 23 0 1 0 105216815 5107712 810 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 1247 810 205 16 0 686 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4988

[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1587760/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=5196 CPUtime=1.49
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 890 0 0 0 148 1 0 0 25 0 1 0 105216815 5320704 860 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 1299 860 205 16 0 738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5196

[startup+3.10252 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1587440/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=5480 CPUtime=3.09
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 971 0 0 0 306 3 0 0 25 0 1 0 105216815 5611520 941 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 1370 941 205 16 0 809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5480

[startup+6.3019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1586608/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=6092 CPUtime=6.29
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 1128 0 0 0 624 5 0 0 25 0 1 0 105216815 6238208 1098 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528023 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 1523 1098 205 16 0 962 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6092

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1584176/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=8388 CPUtime=12.69
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 1688 0 0 0 1260 9 0 0 25 0 1 0 105216815 8589312 1658 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 2097 1658 205 16 0 1536 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8388

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1582896/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=9648 CPUtime=25.48
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 2014 0 0 0 2529 19 0 0 25 0 1 0 105216815 9879552 1984 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 2412 1984 205 16 0 1851 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9648

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1581808/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=10816 CPUtime=51.07
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 2287 0 0 0 5076 31 0 0 25 0 1 0 105216815 11075584 2257 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 2704 2257 205 16 0 2143 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10816

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1581872/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=10640 CPUtime=102.26
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 2287 0 0 0 10166 60 0 0 25 0 1 0 105216815 10895360 2236 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 2660 2236 205 16 0 2099 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10640

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1581552/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=10796 CPUtime=162.24
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 2446 0 0 0 16146 78 0 0 25 0 1 0 105216815 11055104 2275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 2699 2275 205 16 0 2138 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 10796

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1581424/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=10892 CPUtime=222.22
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 2561 0 0 0 22117 105 0 0 25 0 1 0 105216815 11153408 2299 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 2723 2299 205 16 0 2162 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 10892

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1581040/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=11444 CPUtime=282.2
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 2696 0 0 0 28087 133 0 0 25 0 1 0 105216815 11718656 2434 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 2861 2434 205 16 0 2300 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 11444

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17458
/proc/meminfo: memFree=1580464/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=12332 CPUtime=342.19
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 2976 0 0 0 34065 154 0 0 25 0 1 0 105216815 12627968 2643 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3083 2643 205 16 0 2522 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 12332

[startup+402.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/84 17566
/proc/meminfo: memFree=1578488/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=12644 CPUtime=402.12
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3179 0 0 0 40044 168 0 0 25 0 1 0 105216815 12947456 2737 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527966 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3161 2737 205 16 0 2600 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 12644

[startup+462.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 17656
/proc/meminfo: memFree=1578736/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=13488 CPUtime=462.05
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3402 0 0 0 46020 185 0 0 25 0 1 0 105216815 13811712 2948 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3372 2948 205 16 0 2811 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 13488

[startup+522.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1578864/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=13324 CPUtime=522.03
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3402 0 0 0 52001 202 0 0 25 0 1 0 105216815 13643776 2907 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3331 2907 205 16 0 2770 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 13324

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1578608/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=13688 CPUtime=582.02
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3488 0 0 0 57954 248 0 0 25 0 1 0 105216815 14016512 2993 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3422 2993 205 16 0 2861 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 13688

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1578160/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=13992 CPUtime=642
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3615 0 0 0 63922 278 0 0 25 0 1 0 105216815 14327808 3074 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3498 3074 205 16 0 2937 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 13992


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

/proc/meminfo: memFree=1577776/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=14608 CPUtime=821.94
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3757 0 0 0 81825 369 0 0 25 0 1 0 105216815 14958592 3216 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3652 3216 205 16 0 3091 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 14608

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1577648/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=14752 CPUtime=881.92
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3829 0 0 0 87807 385 0 0 25 0 1 0 105216815 15106048 3247 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3688 3247 205 16 0 3127 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 14752

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1577328/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=14924 CPUtime=941.9
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3920 0 0 0 93792 398 0 0 25 0 1 0 105216815 15282176 3307 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528811 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3731 3307 205 16 0 3170 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 14924

[startup+1002.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 17656
/proc/meminfo: memFree=1577456/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=14924 CPUtime=1001.89
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3920 0 0 0 99777 412 0 0 25 0 1 0 105216815 15282176 3307 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3731 3307 205 16 0 3170 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 14924

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 17656
/proc/meminfo: memFree=1577520/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=14924 CPUtime=1061.88
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3920 0 0 0 105757 431 0 0 25 0 1 0 105216815 15282176 3307 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3731 3307 205 16 0 3170 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 14924

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1577520/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=14924 CPUtime=1121.85
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3920 0 0 0 111738 447 0 0 25 0 1 0 105216815 15282176 3307 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3731 3307 205 16 0 3170 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 14924

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1577392/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=14964 CPUtime=1181.83
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 3951 0 0 0 117723 460 0 0 25 0 1 0 105216815 15323136 3317 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3741 3317 205 16 0 3180 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 14964

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1576816/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=15832 CPUtime=1241.82
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4158 0 0 0 123701 481 0 0 25 0 1 0 105216815 16211968 3514 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528823 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 3958 3514 205 16 0 3397 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 15832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1576432/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16024 CPUtime=1301.81
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4233 0 0 0 129684 497 0 0 25 0 1 0 105216815 16408576 3582 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4006 3582 205 16 0 3445 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 16024

[startup+1362.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 17656
/proc/meminfo: memFree=1576432/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16024 CPUtime=1361.78
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4233 0 0 0 135664 514 0 0 25 0 1 0 105216815 16408576 3582 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4006 3582 205 16 0 3445 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 16024

[startup+1422.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 17656
/proc/meminfo: memFree=1576432/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16024 CPUtime=1421.77
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4233 0 0 0 141647 530 0 0 25 0 1 0 105216815 16408576 3582 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4006 3582 205 16 0 3445 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 16024

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1576432/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16024 CPUtime=1481.75
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4233 0 0 0 147624 551 0 0 25 0 1 0 105216815 16408576 3582 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4006 3582 205 16 0 3445 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 16024

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1576560/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16024 CPUtime=1541.73
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4233 0 0 0 153593 580 0 0 25 0 1 0 105216815 16408576 3582 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4006 3582 205 16 0 3445 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 16024

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1576560/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16024 CPUtime=1601.71
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4233 0 0 0 159564 607 0 0 25 0 1 0 105216815 16408576 3582 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4006 3582 205 16 0 3445 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 16024

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1576560/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16024 CPUtime=1661.7
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4233 0 0 0 165533 637 0 0 25 0 1 0 105216815 16408576 3582 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4006 3582 205 16 0 3445 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 16024

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17656
/proc/meminfo: memFree=1576496/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16024 CPUtime=1721.68
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4233 0 0 0 171496 672 0 0 25 0 1 0 105216815 16408576 3582 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527934 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4006 3582 205 16 0 3445 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 16024

[startup+1782.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 17656
/proc/meminfo: memFree=1575664/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16668 CPUtime=1781.66
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4443 0 0 0 177466 700 0 0 25 0 1 0 105216815 17068032 3743 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4167 3743 205 16 0 3606 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 16668

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

[startup+1783.11 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 17656
/proc/meminfo: memFree=1575664/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16668 CPUtime=1782.46
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4443 0 0 0 177546 700 0 0 25 0 1 0 105216815 17068032 3743 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4167 3743 205 16 0 3606 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (KiB) 16668

[startup+1783.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 17656
/proc/meminfo: memFree=1575664/2055920 swapFree=4146224/4192956
[pid=17457] ppid=17455 vsize=16668 CPUtime=1782.66
/proc/17457/stat : 17457 (Pueblo) R 17455 17457 16748 0 -1 4194304 4443 0 0 0 177565 701 0 0 25 0 1 0 105216815 17068032 3743 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528574 0 0 4096 0 0 0 0 17 1 0 0
/proc/17457/statm: 4167 3743 205 16 0 3606 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (KiB) 16668

Child status: 10
Real time (s): 1783.37
CPU time (s): 1782.74
CPU user time (s): 1775.72
CPU system time (s): 7.01593
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 16956

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

runsolver used 1.74473 second user time and 4.19136 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun Apr 15 12:54:39 UTC 2007

IDJOB= 352788
IDBENCH= 2044
IDSOLVER= 165
FILE ID= node11/352788-1176641679

PBS_JOBID= 4556871

Free space on /tmp= 66468 MiB

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  c7b7ba2fb8a9fff5b9677d5bbd1edc0f

RANDOM SEED= 739654865

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1590736 kB
Buffers:         55636 kB
Cached:         335524 kB
SwapCached:      15684 kB
Active:         192280 kB
Inactive:       226032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1590736 kB
SwapTotal:     4192956 kB
SwapFree:      4146224 kB
Dirty:            2584 kB
Writeback:           0 kB
Mapped:          30608 kB
Slab:            32284 kB
Committed_AS:  5597968 kB
PageTables:       1848 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= 66468 MiB

End job on node11 on Sun Apr 15 13:24:22 UTC 2007