Trace number 3712722

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
pwbo 2.01MSAT (TO) 1800.49 900.34

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4abf964a0a4662f4172f30dfa55a3bc2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1.40079
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 9197
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9196
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712722-1338199378.wbo.
0.00/0.00	c Instance file HOME/instance-3712722-1338199378.wbo
0.00/0.00	c File size is 72271 bytes.
0.00/0.01	c Highest Coefficient sum: 51
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      4180                                                |
0.00/0.01	c |  Number Clauses:        100                                                 |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 80                                                  |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.18/900.31	o 1185
1800.18/900.31	o 1180
1800.18/900.31	o 689
1800.18/900.31	o 438
1800.18/900.31	o 286
1800.18/900.31	o 283
1800.18/900.31	o 280
1800.18/900.31	o 274
1800.18/900.31	o 270
1800.18/900.31	o 252
1800.18/900.31	o 236
1800.18/900.31	o 234
1800.18/900.31	o 233
1800.18/900.31	o 229
1800.18/900.31	o 213
1800.18/900.31	o 189
1800.18/900.31	o 168
1800.18/900.31	o 163
1800.18/900.31	o 150
1800.18/900.31	o 143
1800.18/900.31	o 132
1800.18/900.31	o 120
1800.18/900.31	o 118
1800.18/900.31	o 116
1800.18/900.31	o 99
1800.18/900.31	o 93
1800.18/900.31	o 77
1800.18/900.31	o 69
1800.18/900.31	o 68
1800.18/900.31	o 65
1800.18/900.31	o 58
1800.18/900.31	o 57
1800.18/900.31	o 41
1800.18/900.31	o 39
1800.18/900.31	o 33
1800.18/900.31	o 30
1800.18/900.31	o 27
1800.18/900.31	o 22
1800.18/900.31	o 16
1800.18/900.31	o 13
1800.18/900.31	o 6
1800.18/900.31	c ===============================================================================
1800.18/900.31	c Wall Clock Time: 900.31 s
1800.18/900.31	c Best Solution: 6
1800.18/900.31	s SATISFIABLE
1800.18/900.31	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

Verifier Data 

OK	6

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-3712722-1338199378/watcher-3712722-1338199378 -o /tmp/evaluation-result-3712722-1338199378/solver-3712722-1338199378 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712722-1338199378.wbo 

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: 3.90 3.96 3.95 4/178 22321
/proc/meminfo: memFree=29765820/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=5320 CPUtime=0 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) R 22319 22321 20320 0 -1 4202496 617 0 0 0 0 0 0 0 20 0 1 0 286061930 5447680 570 33554432000 4194304 5964478 140733582901120 140733582898904 4395390 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 1330 578 163 433 0 876 0

[startup+0.0996619 s]
/proc/loadavg: 3.90 3.96 3.95 4/178 22321
/proc/meminfo: memFree=29765820/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=164736 CPUtime=0.17 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 2590 0 0 0 17 0 0 0 20 0 3 0 286061930 168689664 2455 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 41184 2455 198 433 0 40748 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164736

[startup+0.100191 s]
/proc/loadavg: 3.90 3.96 3.95 4/178 22321
/proc/meminfo: memFree=29765820/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=164736 CPUtime=0.17 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 2591 0 0 0 17 0 0 0 20 0 3 0 286061930 168689664 2456 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 41184 2456 198 433 0 40748 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164736

[startup+0.300117 s]
/proc/loadavg: 3.90 3.96 3.95 4/178 22321
/proc/meminfo: memFree=29765820/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=164736 CPUtime=0.57 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 3474 0 0 0 56 1 0 0 20 0 3 0 286061930 168689664 3339 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 41184 3339 198 433 0 40748 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164736

[startup+0.700128 s]
/proc/loadavg: 3.90 3.96 3.95 4/178 22321
/proc/meminfo: memFree=29765820/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=164736 CPUtime=1.38 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 5168 0 0 0 136 2 0 0 20 0 3 0 286061930 168689664 5033 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 41184 5033 198 433 0 40748 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164736

[startup+1.50025 s]
/proc/loadavg: 3.90 3.96 3.95 5/181 22324
/proc/meminfo: memFree=29737012/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=164736 CPUtime=2.98 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 7946 0 0 0 295 3 0 0 20 0 3 0 286061930 168689664 7811 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 41184 7811 198 433 0 40748 0
[pid=22321/tid=22323] ppid=22319 vsize=164736 CPUtime=1.47 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 3469 0 0 0 145 2 0 0 20 0 3 0 286061931 168689664 7811 33554432000 4194304 5964478 140733582901120 140283928791032 4400062 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=164736 CPUtime=1.47 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 3144 0 0 0 146 1 0 0 20 0 3 0 286061931 168689664 7811 33554432000 4194304 5964478 140733582901120 140283918301544 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164736

[startup+3.10027 s]
/proc/loadavg: 3.90 3.96 3.95 5/181 22324
/proc/meminfo: memFree=29720396/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=164736 CPUtime=6.17 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 10710 0 0 0 614 3 0 0 20 0 3 0 286061930 168689664 10575 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 41184 10575 198 433 0 40748 0
[pid=22321/tid=22323] ppid=22319 vsize=164736 CPUtime=3.07 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 4761 0 0 0 305 2 0 0 20 0 3 0 286061931 168689664 10575 33554432000 4194304 5964478 140733582901120 140283928791032 4381544 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=164736 CPUtime=3.07 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 4617 0 0 0 306 1 0 0 20 0 3 0 286061931 168689664 10576 33554432000 4194304 5964478 140733582901120 140283918301496 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164736

[startup+6.30024 s]
/proc/loadavg: 3.91 3.96 3.95 5/181 22324
/proc/meminfo: memFree=29691268/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=164736 CPUtime=12.57 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 14918 0 0 0 1252 5 0 0 20 0 3 0 286061930 168689664 14783 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 41184 14783 198 433 0 40748 0
[pid=22321/tid=22323] ppid=22319 vsize=164736 CPUtime=6.27 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 6905 0 0 0 623 4 0 0 20 0 3 0 286061931 168689664 14783 33554432000 4194304 5964478 140733582901120 140283928791080 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=164736 CPUtime=6.27 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 6680 0 0 0 625 2 0 0 20 0 3 0 286061931 168689664 14783 33554432000 4194304 5964478 140733582901120 140283918301496 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164736

[startup+12.7003 s]
/proc/loadavg: 3.92 3.96 3.95 5/181 22324
/proc/meminfo: memFree=29649248/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=165168 CPUtime=25.37 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 23254 0 0 0 2529 8 0 0 20 0 3 0 286061930 169132032 23119 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 41292 23119 198 433 0 40856 0
[pid=22321/tid=22323] ppid=22319 vsize=165168 CPUtime=12.67 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 11950 0 0 0 1262 5 0 0 20 0 3 0 286061931 169132032 23119 33554432000 4194304 5964478 140733582901120 140283928791032 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=165168 CPUtime=12.67 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 9971 0 0 0 1263 4 0 0 20 0 3 0 286061931 169132032 23119 33554432000 4194304 5964478 140733582901120 140283918301496 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165168

[startup+25.5003 s]
/proc/loadavg: 3.93 3.96 3.95 5/181 22324
/proc/meminfo: memFree=29541220/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=231200 CPUtime=50.96 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 33948 0 0 0 5084 12 0 0 20 0 3 0 286061930 236748800 33813 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 57800 33813 198 433 0 57364 0
[pid=22321/tid=22323] ppid=22319 vsize=231200 CPUtime=25.47 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 18664 0 0 0 2539 8 0 0 20 0 3 0 286061931 236748800 33813 33554432000 4194304 5964478 140733582901120 140283928790840 4381977 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=231200 CPUtime=25.47 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 13951 0 0 0 2542 5 0 0 20 0 3 0 286061931 236748800 33813 33554432000 4194304 5964478 140733582901120 140283918301256 4400500 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 231200

[startup+51.1003 s]
/proc/loadavg: 3.96 3.96 3.95 5/181 22324
/proc/meminfo: memFree=29457984/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=297188 CPUtime=102.16 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 49098 0 0 0 10183 33 0 0 20 0 3 0 286061930 304320512 48963 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 74297 48963 198 433 0 73861 0
[pid=22321/tid=22323] ppid=22319 vsize=297188 CPUtime=51.07 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 24465 0 0 0 5083 24 0 0 20 0 3 0 286061931 304320512 48963 33554432000 4194304 5964478 140733582901120 140283928791080 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=297188 CPUtime=51.07 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 23300 0 0 0 5097 10 0 0 20 0 3 0 286061931 304320512 48963 33554432000 4194304 5964478 140733582901120 140283918301496 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 297188

[startup+102.306 s]
/proc/loadavg: 3.98 3.97 3.95 5/181 22324
/proc/meminfo: memFree=29251320/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=429292 CPUtime=204.55 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 78428 0 0 0 20402 53 0 0 20 0 3 0 286061930 439595008 78293 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 107323 78293 198 433 0 106887 0
[pid=22321/tid=22323] ppid=22319 vsize=429292 CPUtime=102.27 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 33491 0 0 0 10197 30 0 0 20 0 3 0 286061931 439595008 78293 33554432000 4194304 5964478 140733582901120 140283928790984 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=429292 CPUtime=102.28 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 43604 0 0 0 10201 27 0 0 20 0 3 0 286061931 439595008 78293 33554432000 4194304 5964478 140733582901120 140283918301256 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 429292

[startup+162.3 s]
/proc/loadavg: 4.03 3.98 3.95 5/181 22324
/proc/meminfo: memFree=29197476/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=495380 CPUtime=324.52 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 92636 0 0 0 32382 70 0 0 20 0 3 0 286061930 507269120 92479 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 123845 92479 198 433 0 123409 0
[pid=22321/tid=22323] ppid=22319 vsize=495380 CPUtime=162.27 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 40028 0 0 0 16192 35 0 0 20 0 3 0 286061931 507269120 92479 33554432000 4194304 5964478 140733582901120 140283928790840 4400053 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=495380 CPUtime=162.27 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 51275 0 0 0 16187 40 0 0 20 0 3 0 286061931 507269120 92479 33554432000 4194304 5964478 140733582901120 140283918301544 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 495380

[startup+222.3 s]
/proc/loadavg: 4.01 3.98 3.95 5/181 22325
/proc/meminfo: memFree=28958648/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=627156 CPUtime=444.48 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 133626 0 0 0 44347 101 0 0 20 0 3 0 286061930 642207744 133813 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 156789 133813 198 433 0 156353 0
[pid=22321/tid=22323] ppid=22319 vsize=627156 CPUtime=222.25 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 67887 0 0 0 22174 51 0 0 20 0 3 0 286061931 642207744 133813 33554432000 4194304 5964478 140733582901120 140283928791032 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=627156 CPUtime=222.27 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 64406 0 0 0 22170 57 0 0 20 0 3 0 286061931 642207744 133813 33554432000 4194304 5964478 140733582901120 140283918301496 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.48
Current children cumulated vsize (KiB) 627156

[startup+282.3 s]
/proc/loadavg: 4.00 3.98 3.95 5/181 22325
/proc/meminfo: memFree=28810108/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=693048 CPUtime=564.44 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 143175 0 0 0 56331 113 0 0 20 0 3 0 286061930 709681152 143255 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 173262 143255 198 433 0 172826 0
[pid=22321/tid=22323] ppid=22319 vsize=693048 CPUtime=282.24 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 69082 0 0 0 28171 53 0 0 20 0 3 0 286061931 709681152 143255 33554432000 4194304 5964478 140733582901120 140283928791064 4381958 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=693048 CPUtime=282.24 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 72760 0 0 0 28155 69 0 0 20 0 3 0 286061931 709681152 143255 33554432000 4194304 5964478 140733582901120 140283918301256 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 693048

[startup+342.3 s]
/proc/loadavg: 4.00 3.98 3.95 5/181 22325
/proc/meminfo: memFree=28740888/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=694912 CPUtime=684.39 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 143577 0 0 0 68326 113 0 0 20 0 3 0 286061930 711589888 143648 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 173728 143648 198 433 0 173292 0
[pid=22321/tid=22323] ppid=22319 vsize=694912 CPUtime=342.21 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 69148 0 0 0 34167 54 0 0 20 0 3 0 286061931 711589888 143648 33554432000 4194304 5964478 140733582901120 140283928791208 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=694912 CPUtime=342.24 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 73096 0 0 0 34154 70 0 0 20 0 3 0 286061931 711589888 143648 33554432000 4194304 5964478 140733582901120 140283918301256 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 694912

[startup+402.3 s]
/proc/loadavg: 4.03 4.00 3.96 5/181 22325
/proc/meminfo: memFree=28650024/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=695724 CPUtime=804.35 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 151766 0 0 0 80319 116 0 0 20 0 3 0 286061930 712421376 151882 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 173931 151882 198 433 0 173495 0
[pid=22321/tid=22323] ppid=22319 vsize=695724 CPUtime=402.2 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 77212 0 0 0 40162 58 0 0 20 0 3 0 286061931 712421376 151882 33554432000 4194304 5964478 140733582901120 140283928791032 5136474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=695724 CPUtime=402.22 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 73221 0 0 0 40151 71 0 0 20 0 3 0 286061931 712421376 151882 33554432000 4194304 5964478 140733582901120 140283918301672 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 695724

[startup+462.3 s]
/proc/loadavg: 4.04 4.01 3.96 5/182 22328
/proc/meminfo: memFree=28572028/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=761260 CPUtime=924.32 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 170562 0 0 0 92306 126 0 0 20 0 3 0 286061930 779530240 170647 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 190315 170647 198 433 0 189879 0
[pid=22321/tid=22323] ppid=22319 vsize=761260 CPUtime=462.18 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 95988 0 0 0 46149 69 0 0 20 0 3 0 286061931 779530240 170647 33554432000 4194304 5964478 140733582901120 140283928791032 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=761260 CPUtime=462.2 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 73241 0 0 0 46148 72 0 0 20 0 3 0 286061931 779530240 170647 33554432000 4194304 5964478 140733582901120 140283918301528 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 761260

[startup+522.3 s]
/proc/loadavg: 4.01 4.01 3.96 5/181 22329
/proc/meminfo: memFree=28462524/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=826796 CPUtime=1044.29 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 187675 0 0 0 104287 142 0 0 20 0 3 0 286061930 846639104 189183 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 206699 189183 198 433 0 206263 0
[pid=22321/tid=22323] ppid=22319 vsize=826796 CPUtime=522.19 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 95989 0 0 0 52150 69 0 0 20 0 3 0 286061931 846639104 189183 33554432000 4194304 5964478 140733582901120 140283928791032 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=826796 CPUtime=522.19 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 90353 0 0 0 52131 88 0 0 20 0 3 0 286061931 846639104 189183 33554432000 4194304 5964478 140733582901120 140283918301496 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 826796

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22329
/proc/meminfo: memFree=28285728/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=892872 CPUtime=1164.28 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 208260 0 0 0 116253 175 0 0 20 0 3 0 286061930 914300928 209729 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 223218 209729 198 433 0 222782 0
[pid=22321/tid=22323] ppid=22319 vsize=892872 CPUtime=582.19 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 96009 0 0 0 58149 70 0 0 20 0 3 0 286061931 914300928 209729 33554432000 4194304 5964478 140733582901120 140283928791064 4400073 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=892872 CPUtime=582.19 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 110918 0 0 0 58097 122 0 0 20 0 3 0 286061931 914300928 209729 33554432000 4194304 5964478 140733582901120 140283918301496 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 892872

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22329
/proc/meminfo: memFree=28113148/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=1027500 CPUtime=1284.27 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 222932 0 0 0 128235 192 0 0 20 0 3 0 286061930 1052160000 224401 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 256875 224401 198 433 0 256439 0
[pid=22321/tid=22323] ppid=22319 vsize=1027500 CPUtime=642.2 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 101782 0 0 0 64145 75 0 0 20 0 3 0 286061931 1052160000 224401 33554432000 4194304 5964478 140733582901120 140283928791032 4381686 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=1027500 CPUtime=642.2 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 119817 0 0 0 64084 136 0 0 20 0 3 0 286061931 1052160000 224401 33554432000 4194304 5964478 140733582901120 140283918301496 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 1027500

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22329
/proc/meminfo: memFree=28059300/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=1030892 CPUtime=1404.23 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 235441 0 0 0 140219 204 0 0 20 0 3 0 286061930 1055633408 236904 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 257723 236904 198 433 0 257287 0
[pid=22321/tid=22323] ppid=22319 vsize=1030892 CPUtime=702.2 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 114291 0 0 0 70131 89 0 0 20 0 3 0 286061931 1055633408 236904 33554432000 4194304 5964478 140733582901120 140283928791032 4400051 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=1030892 CPUtime=702.2 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 119817 0 0 0 70083 137 0 0 20 0 3 0 286061931 1055633408 236904 33554432000 4194304 5964478 140733582901120 140283918301496 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.23
Current children cumulated vsize (KiB) 1030892

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22329
/proc/meminfo: memFree=28054432/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=1030892 CPUtime=1524.23 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 235441 0 0 0 152219 204 0 0 20 0 3 0 286061930 1055633408 236904 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 257723 236904 198 433 0 257287 0
[pid=22321/tid=22323] ppid=22319 vsize=1030892 CPUtime=762.21 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 114291 0 0 0 76131 90 0 0 20 0 3 0 286061931 1055633408 236904 33554432000 4194304 5964478 140733582901120 140283928791032 4400099 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=1030892 CPUtime=762.2 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 119817 0 0 0 76082 138 0 0 20 0 3 0 286061931 1055633408 236904 33554432000 4194304 5964478 140733582901120 140283918301496 4400002 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 1030892

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22330
/proc/meminfo: memFree=28054556/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=1031356 CPUtime=1644.2 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 235576 0 0 0 164215 205 0 0 20 0 3 0 286061930 1056108544 236778 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 257839 236778 198 433 0 257403 0
[pid=22321/tid=22323] ppid=22319 vsize=1031356 CPUtime=822.21 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 114293 0 0 0 82130 91 0 0 20 0 3 0 286061931 1056108544 236778 33554432000 4194304 5964478 140733582901120 140283928791064 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=1031356 CPUtime=822.2 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 119950 0 0 0 82081 139 0 0 20 0 3 0 286061931 1056108544 236778 33554432000 4194304 5964478 140733582901120 140283918301256 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 1031356

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22371
/proc/meminfo: memFree=28893864/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=1031656 CPUtime=1764.18 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 235670 0 0 0 176213 205 0 0 20 0 3 0 286061930 1056415744 236946 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 257914 236946 198 433 0 257478 0
[pid=22321/tid=22323] ppid=22319 vsize=1031656 CPUtime=882.21 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 114307 0 0 0 88129 92 0 0 20 0 3 0 286061931 1056415744 236946 33554432000 4194304 5964478 140733582901120 140283928791064 4400058 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=1031656 CPUtime=882.2 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 120030 0 0 0 88080 140 0 0 20 0 3 0 286061931 1056415744 236946 33554432000 4194304 5964478 140733582901120 140283918301256 4400053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 1031656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22371
/proc/meminfo: memFree=28829820/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=1031848 CPUtime=1800.18 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 235695 0 0 0 179813 205 0 0 20 0 3 0 286061930 1056612352 237019 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 257962 237019 198 433 0 257526 0
[pid=22321/tid=22323] ppid=22319 vsize=1031848 CPUtime=900.21 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 114316 0 0 0 89929 92 0 0 20 0 3 0 286061931 1056612352 237019 33554432000 4194304 5964478 140733582901120 140283928791064 4400053 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=1031848 CPUtime=900.2 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 120046 0 0 0 89880 140 0 0 20 0 3 0 286061931 1056612352 237019 33554432000 4194304 5964478 140733582901120 140283918301256 4400053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1031848

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.96 5/181 22371
/proc/meminfo: memFree=28829820/32873648 swapFree=7368/7368
[pid=22321] ppid=22319 vsize=1031848 CPUtime=1800.18 cores=1,3,5,7
/proc/22321/stat : 22321 (pwbo2.01) S 22319 22321 20320 0 -1 4202496 235695 0 0 0 179813 205 0 0 20 0 3 0 286061930 1056612352 237019 33554432000 4194304 5964478 140733582901120 140733582900640 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22321/statm: 257962 237019 198 433 0 257526 0
[pid=22321/tid=22323] ppid=22319 vsize=1031848 CPUtime=900.21 cores=1,3,5,7
/proc/22321/task/22323/stat : 22323 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 114316 0 0 0 89929 92 0 0 20 0 3 0 286061931 1056612352 237019 33554432000 4194304 5964478 140733582901120 140283928791064 4400053 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22321/tid=22324] ppid=22319 vsize=1031848 CPUtime=900.2 cores=1,3,5,7
/proc/22321/task/22324/stat : 22324 (pwbo2.01) R 22319 22321 20320 0 -1 4202560 120046 0 0 0 89880 140 0 0 20 0 3 0 286061931 1056612352 237019 33554432000 4194304 5964478 140733582901120 140283918301256 4400053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1031848

Child status: 0
Real time (s): 900.34
CPU time (s): 1800.49
CPU user time (s): 1798.11
CPU system time (s): 2.37264
CPU usage (%): 199.979
Max. virtual memory (cumulated for all children) (KiB): 1031848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.11
system time used= 2.37264
maximum resident set size= 948080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235696
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= 689
involuntary context switches= 2359

runsolver used 1.92171 second user time and 4.95325 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-28 12:02:58
IDJOB=3712722
IDBENCH=79159
IDSOLVER=2292
FILE ID=node149/3712722-1338199378
RUNJOBID= node149-1338191256-20337
PBS_JOBID= 14624573
Free space on /tmp= 71692 MiB

SOLVER NAME= pwbo 2.01
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712722-1338199378/watcher-3712722-1338199378 -o /tmp/evaluation-result-3712722-1338199378/solver-3712722-1338199378 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712722-1338199378.wbo

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

MD5SUM BENCH= 4abf964a0a4662f4172f30dfa55a3bc2
RANDOM SEED=964032515

node149.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		: 2666.145
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	: 5332.29
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		: 2666.145
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.91
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		: 2666.145
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	: 5438.55
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		: 2666.145
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		: 2666.145
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		: 2666.145
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.55
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		: 2666.145
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		: 2666.145
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:       32873648 kB
MemFree:        29766084 kB
Buffers:          384696 kB
Cached:          1741760 kB
SwapCached:         2448 kB
Active:          1007208 kB
Inactive:        1278888 kB
Active(anon):     150904 kB
Inactive(anon):     9340 kB
Active(file):     856304 kB
Inactive(file):  1269548 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104880 kB
Dirty:             11320 kB
Writeback:             0 kB
AnonPages:        163540 kB
Mapped:            15028 kB
Shmem:                96 kB
Slab:             681308 kB
SReclaimable:     125632 kB
SUnreclaim:       555676 kB
KernelStack:        1480 kB
PageTables:         4348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     157996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node149 at 2012-05-28 12:18:01