Trace number 1885581

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 NameAnswerCPU timeWall clock time
wbo 1.0SAT 114.297 114.335

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
satComp09_BioInstances/ndhf_xits_22_SAT.opb
MD5SUMbbe4a7bae4108a0ac84eb053f8f57ca7
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark94.1617
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4692
Total number of constraints582514
Number of constraints which are clauses582514
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint23
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 24
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1885581-1245267683.opb.
0.00/0.00	c Instance file HOME/instance-1885581-1245267683.opb
0.00/0.00	c File size is 19325626 bytes.
2.68/2.76	c Highest Coefficient sum: 24
2.68/2.77	c ============================[ Problem Statistics ]=============================
2.68/2.77	c |                                                                             |
2.68/2.77	c |  Parsing time:          2.69         s                                      |
2.68/2.77	c |  Number Variables:      4692                                                |
2.68/2.77	c |  Number Clauses:        582514                                              |
2.68/2.77	c |  Number Cardinality:    0                                                   |
2.68/2.77	c |  Number PB Constraints: 0                                                   |
2.68/2.77	c ============================[ Search Statistics ]==============================
2.68/2.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.68/2.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.68/2.77	c ===============================================================================
2.68/2.77	c |         0 |    4692   582514  1741093 |   194171        0    nan |  0.000 % |
2.79/2.80	c |       101 |    4692   582514  1741093 |   213588      101     89 |  0.000 % |
2.79/2.85	c |       251 |    4692   582514  1741093 |   234947      251     90 |  0.000 % |
2.99/3.07	c |       479 |    4692   582514  1741093 |   258442      479    103 |  0.000 % |
3.09/3.20	c |       817 |    4692   582514  1741093 |   284286      817    111 |  0.000 % |
3.49/3.57	c |      1325 |    4692   582514  1741093 |   312714     1325    138 |  0.000 % |
3.89/3.98	c |      2087 |    4692   582514  1741093 |   343986     2087    141 |  0.000 % |
4.99/5.07	c |      3226 |    4692   582514  1741093 |   378384     3226    159 |  0.000 % |
6.69/6.74	c |      4934 |    4692   582514  1741093 |   416223     4934    175 |  0.000 % |
8.89/8.97	c |      7498 |    4692   582514  1741093 |   457845     7498    204 |  0.000 % |
11.79/11.82	c |     11342 |    4692   582514  1741093 |   503630    11342    194 |  0.000 % |
17.08/17.17	c |     17111 |    4692   582514  1741093 |   553993    17111    185 |  0.000 % |
29.08/29.15	c |     25760 |    4692   582514  1741093 |   609392    25760    196 |  0.000 % |
46.57/46.66	c |     38736 |    4692   582514  1741093 |   670332    38736    194 |  0.000 % |
91.56/91.63	c |     58199 |    4692   582514  1741093 |   737365    58199    230 |  0.000 % |
114.15/114.29	c ===============================================================================
114.26/114.31	c Verified 582514 original clauses.
114.26/114.31	c #cores: 0
114.26/114.31	c Final Weight: 0
114.26/114.31	s SATISFIABLE
114.26/114.31	v -x1 -x32 -x63 -x94 -x125 -x156 -x187 x218 -x249 -x280 -x311 -x342 -x373 -x404 -x435 -x466 -x497 -x528 -x559 -x590 -x621 -x652 -x683 -x2 -x33 -x64 -x95 -x126 -x157 -x188 -x219 -x250 -x281 -x312 -x343 -x374 -x405 -x436 -x467 -x498 -x529 -x560 -x591 x622 -x653 -x684 -x3 -x34 -x65 -x96 -x127 -x158 -x189 -x220 -x251 -x282 -x313 -x344 -x375 -x406 -x437 -x468 -x499 -x530 -x561 x592 -x623 -x654 -x685 -x4 -x35 -x66 -x97 -x128 -x159 -x190 -x221 -x252 -x283 -x314 -x345 -x376 -x407 -x438 -x469 -x500 -x531 -x562 -x593 -x624 x655 -x686 -x5 -x36 -x67 -x98 -x129 -x160 -x191 -x222 -x253 -x284 -x315 -x346 -x377 -x408 -x439 -x470 x501 -x532 -x563 -x594 -x625 -x656 -x687 -x6 -x37 -x68 -x99 -x130 -x161 -x192 -x223 -x254 -x285 -x316 -x347 -x378 -x409 -x440 -x471 -x502 -x533 -x564 -x595 -x626 x657 -x688 -x7 -x38 -x69 -x100 -x131 -x162 -x193 -x224 -x255 -x286 -x317 -x348 -x379 -x410 -x441 -x472 -x503 x534 -x565 -x596 -x627 -x658 -x689 -x8 -x39 x70 -x101 -x132 -x163 -x194 -x225 -x256 -x287 -x318 -x349 -x380 -x411 -x442 -x473 -x504 -x535 -x566 -x597 -x628 -x659 -x690 -x9 -x40 -x71 -x102 -x133 -x164 -x195 -x226 -x257 -x288 -x319 -x350 -x381 -x412 -x443 -x474 -x505 x536 -x567 -x598 -x629 -x660 -x691 -x10 -x41 -x72 -x103 x134 -x165 -x196 -x227 -x258 -x289 -x320 -x351 -x382 -x413 -x444 -x475 -x506 -x537 -x568 -x599 -x630 -x661 -x692 -x11 -x42 -x73 -x104 -x135 -x166 -x197 -x228 -x259 -x290 -x321 -x352 -x383 -x414 -x445 -x476 -x507 x538 -x569 -x600 -x631 -x662 -x693 -x12 -x43 -x74 -x105 -x136 -x167 x198 -x229 -x260 -x291 -x322 -x353 -x384 -x415 -x446 -x477 -x508 -x539 -x570 -x601 -x632 -x663 -x694 -x13 -x44 -x75 -x106 -x137 -x168 x199 -x230 -x261 -x292 -x323 -x354 -x385 -x416 -x447 -x478 -x509 -x540 -x571 -x602 -x633 -x664 -x695 -x14 -x45 -x76 -x107 -x138 -x169 -x200 -x231 -x262 -x293 -x324 -x355 -x386 -x417 -x448 x479 -x510 -x541 -x572 -x603 -x634 -x665 -x696 -x15 x46 -x77 -x108 -x139 -x170 -x201 -x232 -x263 -x294 -x325 -x356 -x387 -x418 -x449 -x480 -x511 -x542 -x573 -x604 -x635 -x666 -x697 -x16 -x47 -x78 -x109 -x140 -x171 -x202 -x233 -x264 -x295 -x326 -x357 -x388 -x419 x450 -x481 -x512 -x543 -x574 -x605 -x636 -x667 -x698 -x17 -x48 -x79 -x110 -x141 -x172 -x203 -x234 -x265 -x296 -x327 -x358 -x389 x420 -x451 -x482 -x513 -x544 -x575 -x606 -x637 -x668 -x699 -x18 -x49 -x80 -x111 -x142 -x173 -x204 -x235 -x266 -x297 -x328 x359 -x390 -x421 -x452 -x483 -x514 -x545 -x576 -x607 -x638 -x669 -x700 -x19 -x50 -x81 -x112 -x143 -x174 -x205 -x236 -x267 -x298 -x329 -x360 x391 -x422 -x453 -x484 -x515 -x546 -x577 -x608 -x639 -x670 -x701 -x20 -x51 -x82 -x113 -x144 -x175 -x206 -x237 -x268 -x299 -x330 -x361 -x392 x423 -x454 -x485 -x516 -x547 -x578 -x609 -x640 -x671 -x702 -x21 -x52 -x83 -x114 -x145 -x176 -x207 -x238 -x269 -x300 -x331 -x362 -x393 x424 -x455 -x486 -x517 -x548 -x579 -x610 -x641 -x672 -x703 -x22 -x53 -x84 -x115 -x146 -x177 -x208 -x239 x270 -x301 -x332 -x363 -x394 -x425 -x456 -x487 -x518 -x549 -x580 -x611 -x642 -x673 -x704 -x23 -x54 -x85 -x116 -x147 -x178 -x209 -x240 -x271 -x302 -x333 -x364 -x395 x426 -x457 -x488 -x519 -x550 -x581 -x612 -x643 -x674 -x705 -x24 -x55 -x86 -x117 -x148 -x179 -x210 -x241 -x272 -x303 -x334 -x365 -x396 -x427 -x458 -x489 -x520 -x551 -x582 -x613 -x644 -x675 x706 -x25 -x56 -x87 -x118 -x149 -x180 -x211 -x242 -x273 -x304 -x335 -x366 -x397 x428 -x459 -x490 -x521 -x552 -x583 -x614 -x645 -x676 -x707 -x26 -x57 -x88 -x119 -x150 x181 -x212 -x243 -x274 -x305 -x336 -x367 -x398 -x429 -x460 -x491 -x522 -x553 -x584 -x615 -x646 -x677 -x708 -x27 -x58 -x89 -x120 -x151 -x182 -x213 -x244 -x275 -x306 -x337 -x368 -x399 -x430 -x461 -x492 -x523 -x554 x585 -x616 -x647 -x678 -x709 -x28 -x59 -x90 x121 -x152 -x183 -x214 -x245 -x276 -x307 -x338 -x369 -x400 -x431 -x462 -x493 -x524 -x555 -x586 -x617 -x648 -x679 -x710 -x29 -x60 -x91 -x122 -x153 -x184 -x215 -x246 -x277 -x308 x339 -x370 -x401 -x432 -x463 -x494 -x525 -x556 -x587 -x618 -x649 -x680 -x711 -x30 -x61 -x92 -x123 -x154 -x185 -x216 -x247 -x278 x309 -x340 -x371 -x402 -x433 -x464 -x495 -x526 -x557 -x588 -x619 -x650 -x681 -x712 x31 -x62 -x93 -x124 -x155 -x186 -x217 -x248 -x279 -x310 -x341 -x372 -x403 -x434 -x465 -x496 -x527 -x558 -x589 -x620 -x651 -x682 -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 x2807 x1427 x2808 x1428 x2809 x1429 x2810 x1430 -x2811 -x1431 -x2812 -x1432 -x2813 -x1433 -x2814 -x1434 -x2815 -x1435 -x2816 -x1436 -x2817 -x1437 -x2818 -x1438 -x2819 -x1439 -x2820 -x1440 -x2821 -x1441 -x2822 -x1442 -x2823 -x1443 -x2824 -x1444 -x2825 -x1445 -x2826 -x1446 -x2827 -x1447 -x2828 -x1448 -x2829 -x1449 -x2830 -x1450 -x2831 -x1451 -x2832 -x1452 -x2833 -x1453 -x2834 -x1454 -x2835 -x1455 -x2836 -x1456 x3497 x2117 x3498 x2118 -x3499 -x2119 -x3500 -x2120 -x3501 -x2121 -x3502 -x2122 -x3503 -x2123 -x3504 -x2124 -x3505 -x2125 -x3506 -x2126 -x3507 -x2127 -x3508 -x2128 -x3509 -x2129 -x3510 -x2130 -x3511 -x2131 -x3512 -x2132 -x3513 -x2133 -x3514 -x2134 -x3515 -x2135 -x3516 -x2136 -x3517 -x2137 -x3518 -x2138 -x3519 -x2139 -x3520 -x2140 -x3521 -x2141 -x3522 -x2142 -x3523 -x2143 -x3524 -x2144 -x3525 -x2145 -x3526 -x2146 x2837 -x1457 x2838 -x1458 x2839 -x1459 x2840 -x1460 -x2841 -x1461 -x2842 -x1462 -x2843 -x1463 -x2844 -x1464 -x2845 -x1465 -x2846 -x1466 -x2847 -x1467 -x2848 -x1468 -x2849 -x1469 -x2850 -x1470 -x2851 -x1471 -x2852 -x1472 -x2853 -x1473 -x2854 -x1474 -x2855 -x1475 -x2856 -x1476 -x2857 -x1477 -x2858 -x1478 -x2859 -x1479 -x2860 -x1480 -x2861 -x1481 -x2862 -x1482 -x2863 -x1483 -x2864 -x1484 -x2865 -x1485 -x2866 -x1486 x2867 -x1487 x2868 -x1488 x2869 -x1489 x2870 -x1490 -x2871 -x1491 -x2872 -x1492 -x2873 -x1493 -x2874 -x1494 -x2875 -x1495 -x2876 -x1496 -x2877 -x1497 -x2878 -x1498 -x2879 -x1499 -x2880 -x1500 -x2881 -x1501 -x2882 -x1502 -x2883 -x1503 -x2884 -x1504 -x2885 -x1505 -x2886 -x1506 -x2887 -x1507 -x2888 -x1508 -x2889 -x1509 -x2890 -x1510 -x2891 -x1511 -x2892 -x1512 -x2893 -x1513 -x2894 -x1514 -x2895 -x1515 -x2896 -x1516 x2897 -x1517 x2898 -x1518 x2899 -x1519 x2900 -x1520 -x2901 -x1521 -x2902 -x1522 -x2903 -x1523 -x2904 -x1524 -x2905 -x1525 -x2906 -x1526 -x2907 -x1527 -x2908 -x1528 -x2909 -x1529 -x2910 -x1530 -x2911 -x1531 -x2912 -x1532 -x2913 -x1533 -x2914 -x1534 -x2915 -x1535 -x2916 -x1536 -x2917 -x1537 -x2918 -x1538 -x2919 -x1539 -x2920 -x1540 -x2921 -x1541 -x2922 -x1542 -x2923 -x1543 -x2924 -x1544 -x2925 -x1545 -x2926 -x1546 x2927 -x1547 x2928 -x1548 x2929 -x1549 x2930 -x1550 -x2931 -x1551 -x2932 -x1552 -x2933 -x1553 -x2934 -x1554 -x2935 -x1555 -x2936 -x1556 -x2937 -x1557 -x2938 -x1558 -x2939 -x1559 -x2940 -x1560 -x2941 -x1561 -x2942 -x1562 -x2943 -x1563 -x2944 -x1564 -x2945 -x1565 -x2946 -x1566 -x2947 -x1567 -x2948 -x1568 -x2949 -x1569 -x2950 -x1570 -x2951 -x1571 -x2952 -x1572 -x2953 -x1573 -x2954 -x1574 -x2955 -x1575 -x2956 -x1576 x2957 -x1577 x2958 -x1578 x2959 -x1579 x2960 -x1580 -x2961 -x1581 -x2962 -x1582 -x2963 -x1583 -x2964 -x1584 -x2965 -x1585 -x2966 -x1586 -x2967 -x1587 -x2968 -x1588 -x2969 -x1589 -x2970 -x1590 -x2971 -x1591 -x2972 -x1592 -x2973 -x1593 -x2974 -x1594 -x2975 -x1595 -x2976 -x1596 -x2977 -x1597 -x2978 -x1598 -x2979 -x1599 -x2980 -x1600 -x2981 -x1601 -x2982 -x1602 -x2983 -x1603 -x2984 -x1604 -x2985 -x1605 -x2986 -x1606 x2987 -x1607 x2988 -x1608 x2989 -x1609 x2990 -x1610 -x2991 -x1611 -x2992 -x1612 -x2993 -x1613 -x2994 -x1614 -x2995 -x1615 -x2996 -x1616 -x2997 -x1617 -x2998 -x1618 -x2999 -x1619 -x3000 -x1620 -x3001 -x1621 -x3002 x1622 -x3003 -x1623 -x3004 -x1624 -x3005 -x1625 -x3006 -x1626 -x3007 -x1627 -x3008 -x1628 -x3009 -x1629 -x3010 -x1630 -x3011 -x1631 -x3012 -x1632 -x3013 -x1633 -x3014 -x1634 -x3015 -x1635 -x3016 -x1636 x3017 -x1637 x3018 -x1638 x3019 -x1639 x3020 -x1640 -x3021 -x1641 -x3022 -x1642 -x3023 -x1643 -x3024 -x1644 -x3025 -x1645 -x3026 -x1646 -x3027 -x1647 -x3028 -x1648 -x3029 -x1649 -x3030 -x1650 -x3031 -x1651 x3032 -x1652 -x3033 -x1653 -x3034 -x1654 -x3035 -x1655 -x3036 -x1656 -x3037 -x1657 -x3038 -x1658 -x3039 -x1659 -x3040 -x1660 -x3041 -x1661 -x3042 -x1662 -x3043 -x1663 -x3044 -x1664 -x3045 -x1665 -x3046 -x1666 x3047 -x1667 x3048 -x1668 x3049 -x1669 x3050 -x1670 -x3051 -x1671 -x3052 -x1672 -x3053 -x1673 -x3054 -x1674 -x3055 -x1675 -x3056 -x1676 -x3057 -x1677 -x3058 -x1678 -x3059 -x1679 -x3060 -x1680 -x3061 -x1681 x3062 -x1682 -x3063 -x1683 -x3064 -x1684 -x3065 -x1685 -x3066 -x1686 -x3067 -x1687 -x3068 -x1688 -x3069 -x1689 -x3070 -x1690 -x3071 -x1691 -x3072 -x1692 -x3073 -x1693 -x3074 -x1694 -x3075 -x1695 -x3076 -x1696 x3077 -x1697 x3078 -x1698 x3079 -x1699 x3080 -x1700 -x3081 -x1701 -x3082 -x1702 -x3083 -x1703 -x3084 -x1704 -x3085 -x1705 -x3086 -x1706 -x3087 -x1707 -x3088 -x1708 -x3089 -x1709 -x3090 -x1710 -x3091 -x1711 x3092 -x1712 -x3093 -x1713 -x3094 -x1714 -x3095 -x1715 -x3096 -x1716 -x3097 -x1717 -x3098 -x1718 -x3099 -x1719 -x3100 -x1720 -x3101 -x1721 -x3102 -x1722 -x3103 -x1723 -x3104 -x1724 -x3105 -x1725 -x3106 -x1726 x3107 -x1727 x3108 -x1728 x3109 -x1729 x3110 -x1730 -x3111 -x1731 -x3112 -x1732 -x3113 -x1733 -x3114 -x1734 -x3115 -x1735 -x3116 -x1736 -x3117 -x1737 -x3118 -x1738 -x3119 -x1739 -x3120 -x1740 -x3121 -x1741 x3122 -x1742 -x3123 -x1743 -x3124 -x1744 -x3125 -x1745 -x3126 -x1746 -x3127 -x1747 -x3128 -x1748 -x3129 -x1749 -x3130 -x1750 -x3131 -x1751 -x3132 -x1752 -x3133 -x1753 -x3134 -x1754 -x3135 -x1755 -x3136 -x1756 x3137 -x1757 x3138 -x1758 x3139 -x1759 x3140 -x1760 -x3141 -x1761 -x3142 -x1762 -x3143 -x1763 -x3144 -x1764 -x3145 -x1765 -x3146 -x1766 -x3147 -x1767 -x3148 -x1768 -x3149 -x1769 -x3150 -x1770 -x3151 -x1771 x3152 -x1772 -x3153 -x1773 -x3154 -x1774 -x3155 -x1775 -x3156 -x1776 -x3157 -x1777 -x3158 -x1778 -x3159 -x1779 -x3160 -x1780 -x3161 -x1781 -x3162 -x1782 -x3163 -x1783 -x3164 -x1784 -x3165 -x1785 -x3166 -x1786 x3167 -x1787 x3168 -x1788 x3169 -x1789 x3170 -x1790 -x3171 -x1791 -x3172 -x1792 -x3173 -x1793 -x3174 -x1794 -x3175 -x1795 -x3176 -x1796 -x3177 -x1797 -x3178 -x1798 -x3179 -x1799 -x3180 -x1800 -x3181 -x1801 x3182 -x1802 -x3183 -x1803 -x3184 -x1804 -x3185 -x1805 -x3186 -x1806 -x3187 -x1807 -x3188 -x1808 -x3189 -x1809 -x3190 -x1810 -x3191 -x1811 -x3192 -x1812 -x3193 -x1813 -x3194 -x1814 -x3195 -x1815 -x3196 -x1816 x3197 -x1817 x3198 -x1818 x3199 -x1819 x3200 -x1820 -x3201 -x1821 -x3202 -x1822 -x3203 -x1823 -x3204 -x1824 -x3205 -x1825 -x3206 -x1826 -x3207 -x1827 -x3208 -x1828 -x3209 -x1829 -x3210 -x1830 -x3211 -x1831 x3212 -x1832 -x3213 -x1833 -x3214 -x1834 -x3215 -x1835 -x3216 x1836 -x3217 x1837 -x3218 x1838 -x3219 x1839 -x3220 x1840 -x3221 x1841 -x3222 x1842 -x3223 x1843 -x3224 x1844 -x3225 x1845 -x3226 -x1846 x3227 -x1847 x3228 -x1848 x3229 -x1849 x3230 -x1850 -x3231 -x1851 -x3232 -x1852 -x3233 -x1853 -x3234 -x1854 -x3235 -x1855 -x3236 -x1856 -x3237 -x1857 -x3238 -x1858 -x3239 -x1859 -x3240 -x1860 -x3241 -x1861 x3242 -x1862 -x3243 -x1863 -x3244 -x1864 -x3245 -x1865 x3246 -x1866 x3247 -x1867 x3248 -x1868 x3249 -x1869 x3250 -x1870 x3251 -x1871 x3252 -x1872 x3253 -x1873 x3254 -x1874 x3255 -x1875 -x3256 -x1876 x3257 -x1877 x3258 -x1878 x3259 -x1879 x3260 -x1880 -x3261 -x1881 -x3262 -x1882 -x3263 -x1883 -x3264 -x1884 -x3265 -x1885 -x3266 -x1886 -x3267 -x1887 -x3268 -x1888 -x3269 -x1889 -x3270 -x1890 -x3271 -x1891 x3272 -x1892 -x3273 -x1893 -x3274 -x1894 -x3275 -x1895 x3276 -x1896 x3277 -x1897 x3278 -x1898 x3279 -x1899 x3280 -x1900 x3281 -x1901 x3282 -x1902 x3283 -x1903 x3284 -x1904 x3285 -x1905 -x3286 -x1906 x3287 -x1907 x3288 -x1908 x3289 -x1909 x3290 -x1910 -x3291 -x1911 -x3292 -x1912 -x3293 -x1913 -x3294 -x1914 -x3295 -x1915 -x3296 -x1916 -x3297 -x1917 -x3298 -x1918 -x3299 -x1919 -x3300 -x1920 -x3301 -x1921 x3302 -x1922 -x3303 -x1923 -x3304 -x1924 -x3305 -x1925 x3306 -x1926 x3307 -x1927 x3308 -x1928 x3309 -x1929 x3310 -x1930 x3311 -x1931 x3312 -x1932 x3313 -x1933 x3314 -x1934 x3315 -x1935 -x3316 -x1936 x3317 -x1937 x3318 -x1938 x3319 -x1939 x3320 -x1940 -x3321 -x1941 -x3322 -x1942 -x3323 -x1943 -x3324 x1944 -x3325 x1945 -x3326 -x1946 -x3327 -x1947 -x3328 x1948 -x3329 x1949 -x3330 x1950 -x3331 -x1951 x3332 -x1952 -x3333 -x1953 -x3334 -x1954 -x3335 -x1955 x3336 -x1956 x3337 -x1957 x3338 -x1958 x3339 -x1959 x3340 -x1960 x3341 -x1961 x3342 -x1962 x3343 -x1963 x3344 -x1964 x3345 -x1965 -x3346 -x1966 x3347 -x1967 x3348 -x1968 x3349 -x1969 x3350 -x1970 -x3351 -x1971 -x3352 -x1972 -x3353 -x1973 x3354 -x1974 x3355 -x1975 -x3356 -x1976 -x3357 -x1977 x3358 -x1978 x3359 -x1979 x3360 -x1980 -x3361 -x1981 x3362 -x1982 -x3363 -x1983 -x3364 -x1984 -x3365 -x1985 x3366 -x1986 x3367 -x1987 x3368 -x1988 x3369 -x1989 x3370 -x1990 x3371 -x1991 x3372 -x1992 x3373 -x1993 x3374 -x1994 x3375 -x1995 -x3376 -x1996 x3377 -x1997 x3378 -x1998 x3379 -x1999 x3380 -x2000 -x3381 -x2001 -x3382 -x2002 -x3383 -x2003 x3384 -x2004 x3385 -x2005 -x3386 -x2006 -x3387 -x2007 x3388 -x2008 x3389 -x2009 x3390 -x2010 -x3391 -x2011 x3392 -x2012 -x3393 -x2013 -x3394 -x2014 -x3395 -x2015 x3396 -x2016 x3397 -x2017 x3398 -x2018 x3399 -x2019 x3400 -x2020 x3401 -x2021 x3402 -x2022 x3403 -x2023 x3404 -x2024 x3405 -x2025 -x3406 -x2026 x3407 -x2027 x3408 -x2028 x3409 -x2029 x3410 -x2030 -x3411 -x2031 -x3412 -x2032 -x3413 -x2033 x3414 -x2034 x3415 -x2035 -x3416 -x2036 -x3417 -x2037 x3418 -x2038 x3419 -x2039 x3420 -x2040 -x3421 -x2041 x3422 -x2042 -x3423 -x2043 -x3424 -x2044 -x3425 -x2045 x3426 -x2046 x3427 -x2047 x3428 -x2048 x3429 -x2049 x3430 -x2050 x3431 -x2051 x3432 -x2052 x3433 -x2053 x3434 -x2054 x3435 -x2055 -x3436 -x2056 x3437 -x2057 x3438 -x2058 x3439 -x2059 x3440 -x2060 -x3441 -x2061 -x3442 -x2062 -x3443 -x2063 x3444 -x2064 x3445 -x2065 -x3446 x2066 -x3447 x2067 x3448 -x2068 x3449 -x2069 x3450 -x2070 -x3451 -x2071 x3452 -x2072 -x3453 -x2073 -x3454 -x2074 -x3455 -x2075 x3456 -x2076 x3457 -x2077 x3458 -x2078 x3459 -x2079 x3460 -x2080 x3461 -x2081 x3462 -x2082 x3463 -x2083 x3464 -x2084 x3465 -x2085 -x3466 -x2086 x3467 -x2087 x3468 -x2088 x3469 -x2089 x3470 -x2090 -x3471 -x2091 -x3472 -x2092 -x3473 -x2093 x3474 -x2094 x3475 -x2095 x3476 -x2096 x3477 -x2097 x3478 -x2098 x3479 -x2099 x3480 -x2100 -x3481 -x2101 x3482 -x2102 -x3483 -x2103 -x3484 -x2104 -x3485 -x2105 x3486 -x2106 x3487 -x2107 x3488 -x2108 x3489 -x2109 x3490 -x2110 x3491 -x2111 x3492 -x2112 x3493 -x2113 x3494 -x2114 x3495 -x2115 -x3496 -x2116 x3527 -x2147 x3528 -x2148 -x3529 -x2149 -x3530 -x2150 -x3531 -x2151 -x3532 -x2152 -x3533 -x2153 -x3534 -x2154 -x3535 -x2155 -x3536 -x2156 -x3537 -x2157 -x3538 -x2158 -x3539 -x2159 -x3540 -x2160 -x3541 -x2161 -x3542 -x2162 -x3543 -x2163 -x3544 -x2164 -x3545 -x2165 -x3546 -x2166 -x3547 -x2167 -x3548 -x2168 -x3549 -x2169 -x3550 -x2170 -x3551 -x2171 -x3552 -x2172 -x3553 -x2173 -x3554 -x2174 -x3555 -x2175 -x3556 -x2176 x3557 -x2177 x3558 -x2178 -x3559 -x2179 -x3560 -x2180 -x3561 -x2181 -x3562 -x2182 -x3563 -x2183 -x3564 -x2184 -x3565 -x2185 -x3566 -x2186 -x3567 -x2187 -x3568 -x2188 -x3569 -x2189 -x3570 -x2190 -x3571 -x2191 -x3572 -x2192 -x3573 -x2193 -x3574 -x2194 -x3575 -x2195 -x3576 -x2196 -x3577 -x2197 -x3578 -x2198 -x3579 -x2199 -x3580 -x2200 -x3581 -x2201 -x3582 -x2202 -x3583 -x2203 -x3584 -x2204 -x3585 -x2205 -x3586 -x2206 x3587 -x2207 x3588 -x2208 -x3589 -x2209 -x3590 -x2210 -x3591 -x2211 -x3592 -x2212 -x3593 -x2213 -x3594 -x2214 -x3595 -x2215 -x3596 -x2216 -x3597 -x2217 -x3598 -x2218 -x3599 -x2219 -x3600 -x2220 -x3601 -x2221 -x3602 -x2222 -x3603 -x2223 -x3604 -x2224 -x3605 -x2225 -x3606 -x2226 -x3607 -x2227 -x3608 -x2228 -x3609 -x2229 -x3610 -x2230 -x3611 -x2231 -x3612 -x2232 -x3613 -x2233 -x3614 -x2234 -x3615 -x2235 -x3616 -x2236 x3617 -x2237 x3618 -x2238 -x3619 -x2239 -x3620 -x2240 -x3621 -x2241 -x3622 -x2242 -x3623 -x2243 -x3624 -x2244 -x3625 -x2245 -x3626 -x2246 -x3627 -x2247 -x3628 -x2248 -x3629 -x2249 -x3630 -x2250 -x3631 -x2251 -x3632 -x2252 -x3633 -x2253 -x3634 -x2254 -x3635 -x2255 -x3636 -x2256 -x3637 -x2257 -x3638 -x2258 -x3639 -x2259 -x3640 -x2260 -x3641 -x2261 -x3642 -x2262 -x3643 -x2263 -x3644 -x2264 -x3645 -x2265 -x3646 -x2266 x3647 -x2267 x3648 -x2268 -x3649 -x2269 -x3650 -x2270 -x3651 -x2271 -x3652 -x2272 -x3653 -x2273 -x3654 -x2274 -x3655 -x2275 -x3656 -x2276 -x3657 -x2277 -x3658 -x2278 -x3659 -x2279 -x3660 -x2280 -x3661 -x2281 -x3662 -x2282 -x3663 -x2283 -x3664 -x2284 -x3665 -x2285 -x3666 -x2286 -x3667 -x2287 -x3668 -x2288 -x3669 -x2289 -x3670 -x2290 -x3671 -x2291 -x3672 -x2292 -x3673 -x2293 -x3674 -x2294 -x3675 -x2295 -x3676 -x2296 x3677 -x2297 x3678 -x2298 -x3679 -x2299 -x3680 -x2300 -x3681 -x2301 -x3682 -x2302 -x3683 -x2303 -x3684 x2304 -x3685 x2305 -x3686 x2306 -x3687 x2307 -x3688 x2308 -x3689 -x2309 -x3690 -x2310 -x3691 -x2311 -x3692 -x2312 -x3693 -x2313 -x3694 -x2314 -x3695 -x2315 -x3696 -x2316 -x3697 -x2317 -x3698 -x2318 -x3699 -x2319 -x3700 -x2320 -x3701 -x2321 -x3702 -x2322 -x3703 -x2323 -x3704 -x2324 -x3705 -x2325 -x3706 -x2326 x3707 -x2327 x3708 -x2328 -x3709 -x2329 -x3710 -x2330 -x3711 -x2331 -x3712 -x2332 -x3713 -x2333 x3714 -x2334 x3715 -x2335 x3716 -x2336 x3717 -x2337 x3718 -x2338 -x3719 -x2339 -x3720 -x2340 -x3721 -x2341 -x3722 -x2342 -x3723 -x2343 -x3724 -x2344 -x3725 -x2345 -x3726 -x2346 -x3727 -x2347 -x3728 -x2348 -x3729 -x2349 -x3730 -x2350 -x3731 -x2351 -x3732 -x2352 -x3733 -x2353 -x3734 -x2354 -x3735 -x2355 -x3736 -x2356 x3737 -x2357 x3738 -x2358 -x3739 -x2359 -x3740 -x2360 -x3741 -x2361 -x3742 -x2362 -x3743 -x2363 x3744 -x2364 x3745 -x2365 x3746 -x2366 x3747 -x2367 x3748 -x2368 -x3749 -x2369 -x3750 -x2370 -x3751 -x2371 -x3752 -x2372 -x3753 -x2373 -x3754 -x2374 -x3755 -x2375 -x3756 -x2376 -x3757 -x2377 -x3758 -x2378 -x3759 -x2379 -x3760 -x2380 -x3761 -x2381 -x3762 -x2382 -x3763 -x2383 -x3764 -x2384 -x3765 -x2385 -x3766 -x2386 x3767 -x2387 x3768 -x2388 -x3769 -x2389 -x3770 -x2390 -x3771 -x2391 -x3772 -x2392 -x3773 -x2393 x3774 -x2394 x3775 -x2395 x3776 -x2396 x3777 -x2397 x3778 -x2398 -x3779 -x2399 -x3780 -x2400 -x3781 -x2401 -x3782 -x2402 -x3783 -x2403 -x3784 -x2404 -x3785 -x2405 -x3786 -x2406 -x3787 -x2407 -x3788 -x2408 -x3789 -x2409 -x3790 -x2410 -x3791 -x2411 -x3792 -x2412 -x3793 -x2413 -x3794 -x2414 -x3795 -x2415 -x3796 -x2416 x3797 -x2417 x3798 -x2418 -x3799 -x2419 -x3800 -x2420 -x3801 -x2421 -x3802 -x2422 -x3803 -x2423 x3804 -x2424 x3805 -x2425 x3806 -x2426 x3807 -x2427 x3808 -x2428 -x3809 -x2429 -x3810 -x2430 -x3811 -x2431 -x3812 -x2432 -x3813 -x2433 -x3814 -x2434 -x3815 -x2435 -x3816 -x2436 -x3817 -x2437 -x3818 -x2438 -x3819 -x2439 -x3820 -x2440 -x3821 -x2441 -x3822 -x2442 -x3823 -x2443 -x3824 -x2444 -x3825 -x2445 -x3826 -x2446 x3827 -x2447 x3828 -x2448 -x3829 -x2449 -x3830 -x2450 -x3831 -x2451 -x3832 -x2452 -x3833 -x2453 x3834 -x2454 x3835 -x2455 x3836 -x2456 x3837 -x2457 x3838 -x2458 -x3839 -x2459 -x3840 -x2460 -x3841 -x2461 -x3842 -x2462 -x3843 -x2463 -x3844 -x2464 -x3845 -x2465 -x3846 -x2466 -x3847 -x2467 -x3848 -x2468 -x3849 -x2469 -x3850 -x2470 -x3851 -x2471 -x3852 -x2472 -x3853 -x2473 -x3854 -x2474 -x3855 -x2475 -x3856 -x2476 x3857 -x2477 x3858 -x2478 -x3859 -x2479 -x3860 -x2480 -x3861 -x2481 -x3862 -x2482 -x3863 -x2483 x3864 -x2484 x3865 -x2485 x3866 -x2486 x3867 -x2487 x3868 -x2488 -x3869 -x2489 -x3870 -x2490 -x3871 -x2491 -x3872 -x2492 -x3873 -x2493 -x3874 -x2494 -x3875 -x2495 -x3876 -x2496 -x3877 -x2497 -x3878 -x2498 -x3879 -x2499 -x3880 -x2500 -x3881 -x2501 -x3882 -x2502 -x3883 -x2503 -x3884 -x2504 -x3885 -x2505 -x3886 -x2506 x3887 -x2507 x3888 -x2508 -x3889 -x2509 -x3890 -x2510 -x3891 -x2511 -x3892 -x2512 -x3893 -x2513 x3894 -x2514 x3895 -x2515 x3896 -x2516 x3897 -x2517 x3898 -x2518 -x3899 -x2519 -x3900 -x2520 -x3901 -x2521 -x3902 -x2522 -x3903 -x2523 -x3904 -x2524 -x3905 x2525 -x3906 x2526 -x3907 x2527 -x3908 x2528 -x3909 -x2529 -x3910 x2530 -x3911 x2531 -x3912 x2532 -x3913 -x2533 -x3914 x2534 -x3915 x2535 -x3916 -x2536 x3917 -x2537 x3918 -x2538 -x3919 -x2539 -x3920 -x2540 -x3921 -x2541 -x3922 -x2542 -x3923 -x2543 x3924 -x2544 x3925 -x2545 x3926 -x2546 x3927 -x2547 x3928 -x2548 -x3929 -x2549 -x3930 -x2550 -x3931 -x2551 -x3932 -x2552 -x3933 -x2553 -x3934 -x2554 x3935 -x2555 x3936 -x2556 x3937 -x2557 x3938 -x2558 -x3939 -x2559 x3940 -x2560 x3941 -x2561 x3942 -x2562 -x3943 -x2563 x3944 -x2564 x3945 -x2565 -x3946 -x2566 x3947 -x2567 x3948 -x2568 -x3949 -x2569 -x3950 -x2570 -x3951 -x2571 -x3952 -x2572 -x3953 -x2573 x3954 -x2574 x3955 -x2575 x3956 -x2576 x3957 -x2577 x3958 -x2578 -x3959 -x2579 -x3960 -x2580 -x3961 -x2581 -x3962 -x2582 -x3963 -x2583 -x3964 -x2584 x3965 -x2585 x3966 -x2586 x3967 -x2587 x3968 -x2588 -x3969 -x2589 x3970 -x2590 x3971 -x2591 x3972 -x2592 -x3973 -x2593 x3974 -x2594 x3975 -x2595 -x3976 -x2596 x3977 -x2597 x3978 -x2598 -x3979 -x2599 -x3980 -x2600 -x3981 -x2601 -x3982 -x2602 -x3983 -x2603 x3984 -x2604 x3985 -x2605 x3986 -x2606 x3987 -x2607 x3988 -x2608 -x3989 -x2609 -x3990 -x2610 -x3991 -x2611 -x3992 -x2612 -x3993 -x2613 -x3994 -x2614 x3995 -x2615 x3996 -x2616 x3997 -x2617 x3998 -x2618 -x3999 -x2619 x4000 -x2620 x4001 -x2621 x4002 -x2622 -x4003 -x2623 x4004 -x2624 x4005 -x2625 -x4006 -x2626 x4007 -x2627 x4008 -x2628 -x4009 -x2629 -x4010 -x2630 -x4011 x2631 -x4012 x2632 -x4013 x2633 x4014 -x2634 x4015 -x2635 x4016 -x2636 x4017 -x2637 x4018 -x2638 -x4019 -x2639 -x4020 -x2640 -x4021 -x2641 -x4022 x2642 -x4023 x2643 -x4024 x2644 x4025 -x2645 x4026 -x2646 x4027 -x2647 x4028 -x2648 -x4029 -x2649 x4030 -x2650 x4031 -x2651 x4032 -x2652 -x4033 -x2653 x4034 -x2654 x4035 -x2655 -x4036 x2656 x4037 -x2657 x4038 -x2658 -x4039 -x2659 -x4040 -x2660 x4041 -x2661 x4042 -x2662 x4043 -x2663 x4044 -x2664 x4045 -x2665 x4046 -x2666 x4047 -x2667 x4048 -x2668 -x4049 -x2669 -x4050 -x2670 -x4051 -x2671 x4052 -x2672 x4053 -x2673 x4054 -x2674 x4055 -x2675 x4056 -x2676 x4057 -x2677 x4058 -x2678 -x4059 -x2679 x4060 -x2680 x4061 -x2681 x4062 -x2682 -x4063 -x2683 x4064 -x2684 x4065 -x2685 x4066 -x2686 x4067 -x2687 x4068 -x2688 -x4069 -x2689 -x4070 -x2690 x4071 -x2691 x4072 -x2692 x4073 -x2693 x4074 -x2694 x4075 -x2695 x4076 -x2696 x4077 -x2697 x4078 -x2698 -x4079 -x2699 -x4080 -x2700 -x4081 -x2701 x4082 -x2702 x4083 -x2703 x4084 -x2704 x4085 -x2705 x4086 -x2706 x4087 -x2707 x4088 -x2708 -x4089 -x2709 x4090 -x2710 x4091 -x2711 x4092 -x2712 -x4093 -x2713 x4094 -x2714 x4095 -x2715 x4096 -x2716 x4097 -x2717 x4098 -x2718 -x4099 -x2719 -x4100 -x2720 x4101 -x2721 x4102 -x2722 x4103 -x2723 x4104 -x2724 x4105 -x2725 x4106 -x2726 x4107 -x2727 x4108 -x2728 -x4109 -x2729 -x4110 -x2730 -x4111 -x2731 x4112 -x2732 x4113 -x2733 x4114 -x2734 x4115 -x2735 x4116 -x2736 x4117 -x2737 x4118 -x2738 -x4119 -x2739 x4120 -x2740 x4121 -x2741 x4122 -x2742 -x4123 -x2743 x4124 -x2744 x4125 -x2745 x4126 -x2746 x4127 -x2747 x4128 -x2748 -x4129 -x2749 -x4130 x2750 x4131 -x2751 x4132 -x2752 x4133 -x2753 x4134 -x2754 x4135 -x2755 x4136 -x2756 x4137 -x2757 x4138 -x2758 -x4139 -x2759 -x4140 -x2760 -x4141 -x2761 x4142 -x2762 x4143 -x2763 x4144 -x2764 x4145 -x2765 x4146 -x2766 x4147 -x2767 x4148 -x2768 -x4149 -x2769 x4150 -x2770 x4151 -x2771 x4152 -x2772 -x4153 -x2773 x4154 -x2774 x4155 -x2775 x4156 -x2776 x4157 -x2777 x4158 -x2778 -x4159 -x2779 x4160 -x2780 x4161 -x2781 x4162 -x2782 x4163 -x2783 x4164 -x2784 x4165 -x2785 x4166 -x2786 x4167 -x2787 x4168 -x2788 -x4169 -x2789 -x4170 -x2790 -x4171 -x2791 x4172 -x2792 x4173 -x2793 x4174 -x2794 x4175 -x2795 x4176 -x2796 x4177 -x2797 x4178 -x2798 -x4179 -x2799 x4180 -x2800 x4181 -x2801 x4182 -x2802 -x4183 -x2803 x4184 -x2804 x4185 -x2805 x4186 -x2806 -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

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885581-1245267683/watcher-1885581-1245267683 -o /tmp/evaluation-result-1885581-1245267683/solver-1885581-1245267683 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1885581-1245267683.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9219
/proc/meminfo: memFree=1786624/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=21536 CPUtime=0
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 236 0 0 0 0 0 0 0 18 0 1 0 194365473 22052864 220 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 5384 220 124 292 0 370 0

[startup+0.06167 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9219
/proc/meminfo: memFree=1786624/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=22720 CPUtime=0.05
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 591 0 0 0 5 0 0 0 18 0 1 0 194365473 23265280 575 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 5680 575 219 292 0 666 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22720

[startup+0.101674 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9219
/proc/meminfo: memFree=1786624/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=23076 CPUtime=0.09
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 765 0 0 0 9 0 0 0 18 0 1 0 194365473 23629824 749 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 5769 749 285 292 0 755 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23076

[startup+0.301702 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9219
/proc/meminfo: memFree=1786624/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=25420 CPUtime=0.29
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 1653 0 0 0 29 0 0 0 19 0 1 0 194365473 26030080 1637 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 6355 1637 619 292 0 1341 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25420

[startup+0.70176 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 9219
/proc/meminfo: memFree=1786624/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=29960 CPUtime=0.69
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 3434 0 0 0 67 2 0 0 22 0 1 0 194365473 30679040 3418 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 7490 3418 1292 292 0 2476 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29960

[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1774584/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=39420 CPUtime=1.49
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 7107 0 0 0 146 3 0 0 25 0 1 0 194365473 40366080 7091 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 9855 7091 2689 292 0 4841 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39420

[startup+3.10111 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1761848/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=39092 CPUtime=3.09
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 14476 0 0 0 301 8 0 0 25 0 1 0 194365473 40030208 8745 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 9773 8745 134 292 0 9478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39092

[startup+6.30156 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1748664/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=43448 CPUtime=6.29
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 15557 0 0 0 619 10 0 0 25 0 1 0 194365473 44490752 9826 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 10862 9826 134 292 0 10567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43448

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1740216/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=51792 CPUtime=12.69
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 17635 0 0 0 1256 13 0 0 25 0 1 0 194365473 53035008 11904 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 12948 11904 134 292 0 12653 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51792

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1728504/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=62724 CPUtime=25.49
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 20391 0 0 0 2531 18 0 0 25 0 1 0 194365473 64229376 14660 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 15681 14660 134 292 0 15386 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62724

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1710712/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=80948 CPUtime=51.07
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 24907 0 0 0 5082 25 0 0 25 0 1 0 194365473 82890752 19176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 20237 19176 134 292 0 19942 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80948

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1680312/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=110944 CPUtime=102.26
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 32408 0 0 0 10188 38 0 0 25 0 1 0 194365473 113606656 26677 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 27736 26677 134 292 0 27441 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 110944

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

[startup+108.701 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1677688/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=113856 CPUtime=108.65
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 33124 0 0 0 10825 40 0 0 25 0 1 0 194365473 116588544 27393 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 28464 27393 134 292 0 28169 0
Current children cumulated CPU time (s) 108.65
Current children cumulated vsize (KiB) 113856

[startup+111.902 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1676344/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=115308 CPUtime=111.85
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 33509 0 0 0 11144 41 0 0 25 0 1 0 194365473 118075392 27778 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 28827 27778 134 292 0 28532 0
Current children cumulated CPU time (s) 111.85
Current children cumulated vsize (KiB) 115308

[startup+113.503 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1675000/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=116236 CPUtime=113.46
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 33733 0 0 0 11304 42 0 0 25 0 1 0 194365473 119025664 28002 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 29059 28002 134 292 0 28764 0
Current children cumulated CPU time (s) 113.46
Current children cumulated vsize (KiB) 116236

[startup+113.902 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1675000/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=116368 CPUtime=113.86
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 33782 0 0 0 11344 42 0 0 25 0 1 0 194365473 119160832 28051 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 29092 28051 134 292 0 28797 0
Current children cumulated CPU time (s) 113.86
Current children cumulated vsize (KiB) 116368

[startup+114.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 9220
/proc/meminfo: memFree=1674488/2055920 swapFree=4181524/4192956
[pid=9219] ppid=9217 vsize=116632 CPUtime=114.26
/proc/9219/stat : 9219 (wbo) R 9217 9219 8701 0 -1 4194304 33829 0 0 0 11384 42 0 0 25 0 1 0 194365473 119431168 28098 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/9219/statm: 29158 28098 135 292 0 28863 0
Current children cumulated CPU time (s) 114.26
Current children cumulated vsize (KiB) 116632

Child status: 0
Real time (s): 114.335
CPU time (s): 114.297
CPU user time (s): 113.854
CPU system time (s): 0.442932
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 116632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.854
system time used= 0.442932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33830
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= 2
involuntary context switches= 198

runsolver used 0.121981 second user time and 0.211967 second system time

The end

Launcher Data 

Begin job on node39 at 2009-06-17 21:41:24
IDJOB=1885581
IDBENCH=72071
IDSOLVER=698
FILE ID=node39/1885581-1245267683
PBS_JOBID= 9372414
Free space on /tmp= 66112 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_22_SAT.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885581-1245267683/watcher-1885581-1245267683 -o /tmp/evaluation-result-1885581-1245267683/solver-1885581-1245267683 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1885581-1245267683.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= bbe4a7bae4108a0ac84eb053f8f57ca7
RANDOM SEED=1289269273

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

/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.263
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.263
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:       1786976 kB
Buffers:         56192 kB
Cached:         142472 kB
SwapCached:       5200 kB
Active:          93868 kB
Inactive:       112656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786976 kB
SwapTotal:     4192956 kB
SwapFree:      4181524 kB
Dirty:           21248 kB
Writeback:           0 kB
Mapped:          13588 kB
Slab:            48436 kB
Committed_AS:   161964 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1885581-1245267683.opb

Free space on /tmp at the end= 66108 MiB
End job on node39 at 2009-06-17 21:43:19