Trace number 3699924

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
npSolver incOPT8 544.043 544.386

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx84.opb
MD5SUM13a1c43c96eef592ca49f745f65e3ff1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.270958
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6088
Total number of constraints6677
Number of constraints which are clauses6080
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints512
Minimum length of a constraint2
Maximum length of a constraint512
Number of terms in the objective function 8
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 8
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1039
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	8

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3699924-1338083270/watcher-3699924-1338083270 -o /tmp/evaluation-result-3699924-1338083270/solver-3699924-1338083270 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699924-1338083270.opb 676113772 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.05 2.01 3/178 6211
/proc/meminfo: memFree=30341296/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0

[startup+0.01816 s]
/proc/loadavg: 2.03 2.05 2.01 3/178 6211
/proc/meminfo: memFree=30341296/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100267 s]
/proc/loadavg: 2.03 2.05 2.01 3/178 6211
/proc/meminfo: memFree=30341296/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300308 s]
/proc/loadavg: 2.03 2.05 2.01 3/178 6211
/proc/meminfo: memFree=30341296/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700308 s]
/proc/loadavg: 2.03 2.05 2.01 3/178 6211
/proc/meminfo: memFree=30341296/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50019 s]
/proc/loadavg: 2.03 2.05 2.01 3/180 6213
/proc/meminfo: memFree=30235284/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=1.38 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22230 0 0 0 124 14 0 0 20 0 1 0 274455578 144953344 34371 33554432000 4194304 5992684 140734768921824 140734768916272 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6212/statm: 35389 34371 165 440 0 34945 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 150704

[startup+3.10044 s]
/proc/loadavg: 2.03 2.05 2.01 3/182 6215
/proc/meminfo: memFree=30033488/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=1.38 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22230 0 0 0 124 14 0 0 20 0 1 0 274455578 144953344 34371 33554432000 4194304 5992684 140734768921824 140734768916272 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6212/statm: 35389 34371 165 440 0 34945 0
[pid=6214] ppid=6212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6214/stat : 6214 (cp2_pre.sh) S 6212 6211 1127 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274455717 9367552 277 33554432000 4194304 5064252 140734660361664 140734660360368 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6214/statm: 2287 277 234 213 0 72 0
[pid=6215] ppid=6214 vsize=676236 CPUtime=1.69 cores=1,3,5,7
/proc/6215/stat : 6215 (coprocessor) R 6214 6211 1127 0 -1 4202496 47651 0 0 0 150 19 0 0 20 0 1 0 274455718 692465664 146358 33554432000 4194304 6586260 140733263217568 140733263213832 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/6215/statm: 169092 146360 164 584 0 168504 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 836088

[startup+6.30046 s]
/proc/loadavg: 2.03 2.05 2.01 3/182 6215
/proc/meminfo: memFree=29321256/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=1.38 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22230 0 0 0 124 14 0 0 20 0 1 0 274455578 144953344 34371 33554432000 4194304 5992684 140734768921824 140734768916272 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6212/statm: 35389 34371 165 440 0 34945 0
[pid=6214] ppid=6212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6214/stat : 6214 (cp2_pre.sh) S 6212 6211 1127 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274455717 9367552 277 33554432000 4194304 5064252 140734660361664 140734660360368 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6214/statm: 2287 277 234 213 0 72 0
[pid=6215] ppid=6214 vsize=830056 CPUtime=4.89 cores=1,3,5,7
/proc/6215/stat : 6215 (coprocessor) R 6214 6211 1127 0 -1 4202496 84588 0 0 0 463 26 0 0 20 0 1 0 274455718 849977344 203730 33554432000 4194304 6586260 140733263217568 140733263213592 4770132 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/6215/statm: 207514 203730 179 584 0 206926 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 989908

[startup+12.7005 s]
/proc/loadavg: 2.02 2.04 2.01 3/182 6215
/proc/meminfo: memFree=29203648/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=1.38 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22230 0 0 0 124 14 0 0 20 0 1 0 274455578 144953344 34371 33554432000 4194304 5992684 140734768921824 140734768916272 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6212/statm: 35389 34371 165 440 0 34945 0
[pid=6214] ppid=6212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6214/stat : 6214 (cp2_pre.sh) S 6212 6211 1127 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274455717 9367552 277 33554432000 4194304 5064252 140734660361664 140734660360368 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6214/statm: 2287 277 234 213 0 72 0
[pid=6215] ppid=6214 vsize=946804 CPUtime=11.29 cores=1,3,5,7
/proc/6215/stat : 6215 (coprocessor) R 6214 6211 1127 0 -1 4202496 94466 0 0 0 1099 30 0 0 20 0 1 0 274455718 969527296 234048 33554432000 4194304 6586260 140733263217568 140733263212888 5599447 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/6215/statm: 236701 234048 188 584 0 236113 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1106656

[startup+25.5005 s]
/proc/loadavg: 2.02 2.04 2.01 3/182 6215
/proc/meminfo: memFree=29199564/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=1.38 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22230 0 0 0 124 14 0 0 20 0 1 0 274455578 144953344 34371 33554432000 4194304 5992684 140734768921824 140734768916272 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6212/statm: 35389 34371 165 440 0 34945 0
[pid=6214] ppid=6212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6214/stat : 6214 (cp2_pre.sh) S 6212 6211 1127 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274455717 9367552 277 33554432000 4194304 5064252 140734660361664 140734660360368 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6214/statm: 2287 277 234 213 0 72 0
[pid=6215] ppid=6214 vsize=951336 CPUtime=24.08 cores=1,3,5,7
/proc/6215/stat : 6215 (coprocessor) R 6214 6211 1127 0 -1 4202496 95568 0 0 0 2378 30 0 0 20 0 1 0 274455718 974168064 235150 33554432000 4194304 6586260 140733263217568 140733263212936 4683293 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/6215/statm: 237834 235150 188 584 0 237246 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1111188

[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.01 3/182 6215
/proc/meminfo: memFree=29170672/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=1.38 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22230 0 0 0 124 14 0 0 20 0 1 0 274455578 144953344 34371 33554432000 4194304 5992684 140734768921824 140734768916272 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6212/statm: 35389 34371 165 440 0 34945 0
[pid=6214] ppid=6212 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6214/stat : 6214 (cp2_pre.sh) S 6212 6211 1127 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274455717 9367552 277 33554432000 4194304 5064252 140734660361664 140734660360368 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6214/statm: 2287 277 234 213 0 72 0
[pid=6215] ppid=6214 vsize=952924 CPUtime=49.68 cores=1,3,5,7
/proc/6215/stat : 6215 (coprocessor) R 6214 6211 1127 0 -1 4202496 96357 0 0 0 4930 38 0 0 20 0 1 0 274455718 975794176 235549 33554432000 4194304 6586260 140733263217568 140733263213320 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/6215/statm: 238231 235549 192 584 0 237643 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1112776

[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 6218
/proc/meminfo: memFree=29703252/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=52.23 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22246 97260 0 0 124 14 5037 48 20 0 1 0 274455578 144953344 34373 33554432000 4194304 5992684 140734768921824 140734768908088 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 35389 34373 167 440 0 34945 0
[pid=6217] ppid=6212 vsize=519820 CPUtime=50.02 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) R 6212 6211 1127 0 -1 4202496 77536 0 0 0 4983 19 0 0 20 0 1 0 274460805 532295680 108318 33554432000 4194304 5654031 140735842324448 140735842312264 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 129955 108318 141 357 0 129595 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 670524

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 6221
/proc/meminfo: memFree=29698208/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=52.23 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22246 97260 0 0 124 14 5037 48 20 0 1 0 274455578 144953344 34373 33554432000 4194304 5992684 140734768921824 140734768908088 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 35389 34373 167 440 0 34945 0
[pid=6217] ppid=6212 vsize=520820 CPUtime=110 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) R 6212 6211 1127 0 -1 4202496 77795 0 0 0 10981 19 0 0 20 0 1 0 274460805 533319680 109599 33554432000 4194304 5654031 140735842324448 140735842322344 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 130205 109599 141 357 0 129845 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 671524

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 6221
/proc/meminfo: memFree=29693652/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 6221
/proc/meminfo: memFree=29741580/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=52.23 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22246 97260 0 0 124 14 5037 48 20 0 1 0 274455578 144953344 34373 33554432000 4194304 5992684 140734768921824 140734768908088 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 35389 34373 167 440 0 34945 0
[pid=6217] ppid=6212 vsize=521980 CPUtime=229.96 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) R 6212 6211 1127 0 -1 4202496 78256 0 0 0 22975 21 0 0 20 0 1 0 274460805 534507520 108419 33554432000 4194304 5654031 140735842324448 140735842322472 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 130495 108419 142 357 0 130135 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 672684

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 6221
/proc/meminfo: memFree=29728920/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=52.23 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22246 97260 0 0 124 14 5037 48 20 0 1 0 274455578 144953344 34373 33554432000 4194304 5992684 140734768921824 140734768908088 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 35389 34373 167 440 0 34945 0
[pid=6217] ppid=6212 vsize=522756 CPUtime=289.94 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) R 6212 6211 1127 0 -1 4202496 78435 0 0 0 28973 21 0 0 20 0 1 0 274460805 535302144 110119 33554432000 4194304 5654031 140735842324448 140735842322344 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 130689 110119 142 357 0 130329 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 673460

[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 6222
/proc/meminfo: memFree=29717268/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=52.23 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22246 97260 0 0 124 14 5037 48 20 0 1 0 274455578 144953344 34373 33554432000 4194304 5992684 140734768921824 140734768908088 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 35389 34373 167 440 0 34945 0
[pid=6217] ppid=6212 vsize=523736 CPUtime=349.92 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) R 6212 6211 1127 0 -1 4202496 78682 0 0 0 34971 21 0 0 20 0 1 0 274460805 536305664 112973 33554432000 4194304 5654031 140735842324448 140735842322232 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 130934 112973 142 357 0 130574 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 674440

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 6222
/proc/meminfo: memFree=29727756/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=52.23 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22246 97260 0 0 124 14 5037 48 20 0 1 0 274455578 144953344 34373 33554432000 4194304 5992684 140734768921824 140734768908088 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 35389 34373 167 440 0 34945 0
[pid=6217] ppid=6212 vsize=525052 CPUtime=409.91 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) R 6212 6211 1127 0 -1 4202496 79229 0 0 0 40969 22 0 0 20 0 1 0 274460805 537653248 110257 33554432000 4194304 5654031 140735842324448 140735842322472 4232473 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 131263 110257 142 357 0 130903 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 675756

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6222
/proc/meminfo: memFree=29717948/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=52.23 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22246 97260 0 0 124 14 5037 48 20 0 1 0 274455578 144953344 34373 33554432000 4194304 5992684 140734768921824 140734768908088 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 35389 34373 167 440 0 34945 0
[pid=6217] ppid=6212 vsize=527596 CPUtime=469.91 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) R 6212 6211 1127 0 -1 4202496 79845 0 0 0 46968 23 0 0 20 0 1 0 274460805 540258304 112917 33554432000 4194304 5654031 140735842324448 140735842322328 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 131899 112917 142 357 0 131539 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 678300

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

[startup+524.707 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6222
/proc/meminfo: memFree=29717452/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=141556 CPUtime=52.23 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 22246 97260 0 0 124 14 5037 48 20 0 1 0 274455578 144953344 34373 33554432000 4194304 5992684 140734768921824 140734768908088 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 35389 34373 167 440 0 34945 0
[pid=6217] ppid=6212 vsize=527728 CPUtime=472.31 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) R 6212 6211 1127 0 -1 4202496 79903 0 0 0 47208 23 0 0 20 0 1 0 274460805 540393472 112975 33554432000 4194304 5654031 140735842324448 140735842322328 4232505 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 131932 112975 142 357 0 131572 0
Current children cumulated CPU time (s) 524.54
Current children cumulated vsize (KiB) 678432

[startup+537.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6222
/proc/meminfo: memFree=29655420/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=186088 CPUtime=54.32 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) R 6211 6211 1127 0 -1 4202496 25742 97260 0 0 173 174 5037 48 20 0 1 0 274455578 190554112 45513 33554432000 4194304 5992684 140734768921824 140734768916008 5179696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 46522 45513 174 440 0 46078 0
[pid=6217] ppid=6212 vsize=530744 CPUtime=483.05 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) S 6212 6211 1127 0 -1 4202496 80610 0 0 0 48281 24 0 0 20 0 1 0 274460805 543481856 114193 33554432000 4194304 5654031 140735842324448 140735842322760 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 132686 114193 148 357 0 132326 0
Current children cumulated CPU time (s) 537.37
Current children cumulated vsize (KiB) 725980

[startup+540.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6222
/proc/meminfo: memFree=29614128/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=186088 CPUtime=57.3 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) D 6211 6211 1127 0 -1 4202496 25742 97260 0 0 223 422 5037 48 20 0 1 0 274455578 190554112 45513 33554432000 4194304 5992684 140734768921824 140734768916008 5179696 0 0 4096 0 18446744071580543392 0 0 17 1 0 0 0 0 0
/proc/6212/statm: 46522 45513 174 440 0 46078 0
[pid=6217] ppid=6212 vsize=530744 CPUtime=483.05 cores=1,3,5,7
/proc/6217/stat : 6217 (glucosInc) S 6212 6211 1127 0 -1 4202496 80610 0 0 0 48281 24 0 0 20 0 1 0 274460805 543481856 114193 33554432000 4194304 5654031 140735842324448 140735842322760 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6217/statm: 132686 114193 148 357 0 132326 0
Current children cumulated CPU time (s) 540.35
Current children cumulated vsize (KiB) 725980

[startup+542.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6226
/proc/meminfo: memFree=30141644/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=151560 CPUtime=541.9 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 25853 250456 0 0 226 440 53397 127 20 0 1 0 274455578 155197440 36918 33554432000 4194304 5992684 140734768921824 140734768906728 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/6212/statm: 37890 36918 179 440 0 37446 0
Current children cumulated CPU time (s) 541.9
Current children cumulated vsize (KiB) 160708

[startup+543.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6226
/proc/meminfo: memFree=30141644/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=151560 CPUtime=541.9 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 25853 250456 0 0 226 440 53397 127 20 0 1 0 274455578 155197440 36918 33554432000 4194304 5992684 140734768921824 140734768906728 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/6212/statm: 37890 36918 179 440 0 37446 0
Current children cumulated CPU time (s) 541.9
Current children cumulated vsize (KiB) 160708

[startup+543.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 6228
/proc/meminfo: memFree=30107884/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=151560 CPUtime=543 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 25894 320552 0 0 226 441 53476 157 20 0 1 0 274455578 155197440 36918 33554432000 4194304 5992684 140734768921824 140734768906728 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/6212/statm: 37890 36918 179 440 0 37446 0
Current children cumulated CPU time (s) 543
Current children cumulated vsize (KiB) 160708

[startup+544.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 6228
/proc/meminfo: memFree=30107884/32873844 swapFree=7108/7108
[pid=6211] ppid=6209 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (npSolver-pbo-I.) S 6209 6211 1127 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274455578 9367552 275 33554432000 4194304 5064252 140737161114752 140737161113664 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6211/statm: 2287 275 233 213 0 72 0
[pid=6212] ppid=6211 vsize=151560 CPUtime=543 cores=1,3,5,7
/proc/6212/stat : 6212 (npSolver-pbo) S 6211 6211 1127 0 -1 4202496 25894 320552 0 0 226 441 53476 157 20 0 1 0 274455578 155197440 36918 33554432000 4194304 5992684 140734768921824 140734768906728 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/6212/statm: 37890 36918 179 440 0 37446 0
Current children cumulated CPU time (s) 543
Current children cumulated vsize (KiB) 160708

Child status: 0
Real time (s): 544.386
CPU time (s): 544.043
CPU user time (s): 537.824
CPU system time (s): 6.21905
CPU usage (%): 99.937
Max. virtual memory (cumulated for all children) (KiB): 1112776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 537.824
system time used= 6.21905
maximum resident set size= 980536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418403
page faults= 0
swaps= 0
block input operations= 8
block output operations= 867008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3103
involuntary context switches= 619

runsolver used 1.20982 second user time and 2.68059 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-27 03:47:50
IDJOB=3699924
IDBENCH=71845
IDSOLVER=2276
FILE ID=node102/3699924-1338083270
RUNJOBID= node102-1338052958-1144
PBS_JOBID= 14624412
Free space on /tmp= 71484 MiB

SOLVER NAME= npSolver inc
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx84.opb
COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3699924-1338083270/watcher-3699924-1338083270 -o /tmp/evaluation-result-3699924-1338083270/solver-3699924-1338083270 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-I.sh HOME/instance-3699924-1338083270.opb 676113772 HOME HOME

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

MD5SUM BENCH= 13a1c43c96eef592ca49f745f65e3ff1
RANDOM SEED=676113772

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30341832 kB
Buffers:          300708 kB
Cached:          1101648 kB
SwapCached:            0 kB
Active:          1099728 kB
Inactive:         591172 kB
Active(anon):     278924 kB
Inactive(anon):    12260 kB
Active(file):     820804 kB
Inactive(file):   578912 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8552 kB
Writeback:            40 kB
AnonPages:        312024 kB
Mapped:            15604 kB
Shmem:               200 kB
Slab:             684744 kB
SReclaimable:     126896 kB
SUnreclaim:       557848 kB
KernelStack:        1456 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     437520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71416 MiB
End job on node102 at 2012-05-27 03:56:55