Trace number 3728806

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.02MSAT (TO) 1800.04 900.329

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.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728806-1338673537.wbo.
0.00/0.00	c Instance file HOME/instance-3728806-1338673537.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.04/900.31	o 1185
1800.04/900.31	o 1180
1800.04/900.31	o 689
1800.04/900.31	o 438
1800.04/900.31	o 286
1800.04/900.31	o 283
1800.04/900.31	o 280
1800.04/900.31	o 274
1800.04/900.31	o 270
1800.04/900.31	o 252
1800.04/900.31	o 236
1800.04/900.31	o 234
1800.04/900.31	o 233
1800.04/900.31	o 229
1800.04/900.31	o 213
1800.04/900.31	o 189
1800.04/900.31	o 168
1800.04/900.31	o 163
1800.04/900.31	o 150
1800.04/900.31	o 143
1800.04/900.31	o 132
1800.04/900.31	o 120
1800.04/900.31	o 118
1800.04/900.31	o 116
1800.04/900.31	o 99
1800.04/900.31	o 93
1800.04/900.31	o 77
1800.04/900.31	o 69
1800.04/900.31	o 68
1800.04/900.31	o 65
1800.04/900.31	o 58
1800.04/900.31	o 57
1800.04/900.31	o 41
1800.04/900.31	o 39
1800.04/900.31	o 33
1800.04/900.31	o 30
1800.04/900.31	o 27
1800.04/900.31	o 22
1800.04/900.31	o 16
1800.04/900.31	o 13
1800.04/900.31	o 6
1800.04/900.31	c ===============================================================================
1800.04/900.31	c Wall Clock Time: 900.31 s
1800.04/900.31	c Best Solution: 6
1800.04/900.31	s SATISFIABLE
1800.04/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-3728806-1338673537/watcher-3728806-1338673537 -o /tmp/evaluation-result-3728806-1338673537/solver-3728806-1338673537 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728806-1338673537.wbo 

running on 4 cores: 0,2,4,6

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: 4.00 4.00 3.92 4/178 4685
/proc/meminfo: memFree=26981016/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=5320 CPUtime=0 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) R 4683 4685 3617 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 333478011 5447680 602 33554432000 4194304 5964478 140736348827648 140735515489784 4346336 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 1330 603 164 433 0 876 0

[startup+0.053106 s]
/proc/loadavg: 4.00 4.00 3.92 4/178 4685
/proc/meminfo: memFree=26981016/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=164736 CPUtime=0.08 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 2416 0 0 0 8 0 0 0 20 0 3 0 333478011 168689664 2283 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 41184 2283 198 433 0 40748 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 164736

[startup+0.100183 s]
/proc/loadavg: 4.00 4.00 3.92 4/178 4685
/proc/meminfo: memFree=26981016/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=164736 CPUtime=0.17 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 2595 0 0 0 17 0 0 0 20 0 3 0 333478011 168689664 2462 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 41184 2462 198 433 0 40748 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164736

[startup+0.300121 s]
/proc/loadavg: 4.00 4.00 3.92 4/178 4685
/proc/meminfo: memFree=26981016/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=164736 CPUtime=0.57 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 3461 0 0 0 56 1 0 0 20 0 3 0 333478011 168689664 3328 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 41184 3328 198 433 0 40748 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164736

[startup+0.70013 s]
/proc/loadavg: 4.00 4.00 3.92 4/178 4685
/proc/meminfo: memFree=26981016/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=164736 CPUtime=1.37 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 5133 0 0 0 133 4 0 0 20 0 3 0 333478011 168689664 5000 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 41184 5000 198 433 0 40748 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164736

[startup+1.50026 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 4688
/proc/meminfo: memFree=26957780/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=164736 CPUtime=2.96 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 7829 0 0 0 287 9 0 0 20 0 3 0 333478011 168689664 7696 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 41184 7696 198 433 0 40748 0
[pid=4685/tid=4687] ppid=4683 vsize=164736 CPUtime=1.47 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 3344 0 0 0 145 2 0 0 20 0 3 0 333478013 168689664 7696 33554432000 4194304 5964478 140736348827648 140137202677800 4381974 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=164736 CPUtime=1.47 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 3152 0 0 0 140 7 0 0 20 0 3 0 333478013 168689664 7696 33554432000 4194304 5964478 140736348827648 140137192188216 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164736

[startup+3.10024 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 4688
/proc/meminfo: memFree=26946992/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=164736 CPUtime=6.16 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 10641 0 0 0 603 13 0 0 20 0 3 0 333478011 168689664 10508 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 41184 10508 198 433 0 40748 0
[pid=4685/tid=4687] ppid=4683 vsize=164736 CPUtime=3.06 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 4723 0 0 0 304 2 0 0 20 0 3 0 333478013 168689664 10508 33554432000 4194304 5964478 140736348827648 140137202677800 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=164736 CPUtime=3.06 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 4585 0 0 0 295 11 0 0 20 0 3 0 333478013 168689664 10508 33554432000 4194304 5964478 140736348827648 140137192188216 4400432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164736

[startup+6.30025 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 4688
/proc/meminfo: memFree=26929508/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=164736 CPUtime=12.56 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 14276 0 0 0 1235 21 0 0 20 0 3 0 333478011 168689664 14143 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 41184 14143 198 433 0 40748 0
[pid=4685/tid=4687] ppid=4683 vsize=164736 CPUtime=6.25 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 6301 0 0 0 622 3 0 0 20 0 3 0 333478013 168689664 14143 33554432000 4194304 5964478 140736348827648 140137202677752 4399938 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=164736 CPUtime=6.26 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 6642 0 0 0 608 18 0 0 20 0 3 0 333478013 168689664 14143 33554432000 4194304 5964478 140736348827648 140137192188216 4382019 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164736

[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 4688
/proc/meminfo: memFree=26894424/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=165168 CPUtime=25.37 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 22472 0 0 0 2502 35 0 0 20 0 3 0 333478011 169132032 22339 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 41292 22339 198 433 0 40856 0
[pid=4685/tid=4687] ppid=4683 vsize=165168 CPUtime=12.63 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 11126 0 0 0 1258 5 0 0 20 0 3 0 333478013 169132032 22339 33554432000 4194304 5964478 140736348827648 140137202677800 4391188 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=165168 CPUtime=12.64 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 10013 0 0 0 1235 29 0 0 20 0 3 0 333478013 169132032 22339 33554432000 4194304 5964478 140736348827648 140137192188216 4400078 0 0 4096 16387 0 0 0 -1 2 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: 4.00 4.00 3.92 5/181 4688
/proc/meminfo: memFree=26850812/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=231200 CPUtime=50.96 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 33284 0 0 0 5056 40 0 0 20 0 3 0 333478011 236748800 33151 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 57800 33151 198 433 0 57364 0
[pid=4685/tid=4687] ppid=4683 vsize=231200 CPUtime=25.4 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 17961 0 0 0 2533 7 0 0 20 0 3 0 333478013 236748800 33151 33554432000 4194304 5964478 140736348827648 140137202677752 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=231200 CPUtime=25.4 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 13990 0 0 0 2509 31 0 0 20 0 3 0 333478013 236748800 33151 33554432000 4194304 5964478 140736348827648 140137192187976 4222016 0 0 4096 16387 0 0 0 -1 4 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: 4.00 4.00 3.92 3/177 4689
/proc/meminfo: memFree=28279364/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=297188 CPUtime=102.14 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 48793 0 0 0 10150 64 0 0 20 0 3 0 333478011 304320512 48660 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 74297 48660 198 433 0 73861 0
[pid=4685/tid=4687] ppid=4683 vsize=297188 CPUtime=50.93 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 24415 0 0 0 5082 11 0 0 20 0 3 0 333478013 304320512 48660 33554432000 4194304 5964478 140736348827648 140137202677800 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=297188 CPUtime=50.94 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 23045 0 0 0 5042 52 0 0 20 0 3 0 333478013 304320512 48660 33554432000 4194304 5964478 140736348827648 140137192188216 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 297188

[startup+102.306 s]
/proc/loadavg: 3.93 3.97 3.91 5/181 4729
/proc/meminfo: memFree=27975476/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=363756 CPUtime=204.51 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 77126 0 0 0 20372 79 0 0 20 0 3 0 333478011 372486144 77349 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 90939 77349 198 433 0 90503 0
[pid=4685/tid=4687] ppid=4683 vsize=363756 CPUtime=102 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 32133 0 0 0 10184 16 0 0 20 0 3 0 333478013 372486144 77349 33554432000 4194304 5964478 140736348827648 140137202677560 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=363756 CPUtime=102 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 43660 0 0 0 10136 64 0 0 20 0 3 0 333478013 372486144 77349 33554432000 4194304 5964478 140736348827648 140137192187976 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 363756

[startup+162.3 s]
/proc/loadavg: 3.97 3.97 3.91 5/181 4729
/proc/meminfo: memFree=27867376/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=495380 CPUtime=324.44 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 92762 0 0 0 32357 87 0 0 20 0 3 0 333478011 507269120 92967 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 123845 92967 198 433 0 123409 0
[pid=4685/tid=4687] ppid=4683 vsize=495380 CPUtime=161.83 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 39043 0 0 0 16162 21 0 0 20 0 3 0 333478013 507269120 92967 33554432000 4194304 5964478 140736348827648 140137202677560 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=495380 CPUtime=161.81 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 52386 0 0 0 16112 69 0 0 20 0 3 0 333478013 507269120 92967 33554432000 4194304 5964478 140736348827648 140137192188216 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 495380

[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 4730
/proc/meminfo: memFree=27581832/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=692692 CPUtime=444.38 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 134838 0 0 0 44295 143 0 0 20 0 3 0 333478011 709316608 135125 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 173173 135125 198 433 0 172737 0
[pid=4685/tid=4687] ppid=4683 vsize=692692 CPUtime=221.64 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 67033 0 0 0 22113 51 0 0 20 0 3 0 333478013 709316608 135125 33554432000 4194304 5964478 140736348827648 140137202677752 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=692692 CPUtime=221.65 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 66472 0 0 0 22067 98 0 0 20 0 3 0 333478013 709316608 135125 33554432000 4194304 5964478 140736348827648 140137192188216 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (KiB) 692692

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 4733
/proc/meminfo: memFree=27492232/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=693048 CPUtime=564.36 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 143275 0 0 0 56269 167 0 0 20 0 3 0 333478011 709681152 144365 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 173262 144365 198 433 0 172826 0
[pid=4685/tid=4687] ppid=4683 vsize=693048 CPUtime=281.48 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 69084 0 0 0 28092 56 0 0 20 0 3 0 333478013 709681152 144365 33554432000 4194304 5964478 140736348827648 140137202677784 4399912 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=693048 CPUtime=281.5 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 72858 0 0 0 28032 118 0 0 20 0 3 0 333478013 709681152 144365 33554432000 4194304 5964478 140736348827648 140137192187976 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (KiB) 693048

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 4733
/proc/meminfo: memFree=27460524/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=695148 CPUtime=684.33 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 143668 0 0 0 68266 167 0 0 20 0 3 0 333478011 711831552 144758 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 173787 144758 198 433 0 173351 0

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

[pid=4685/tid=4688] ppid=4683 vsize=695148 CPUtime=341.34 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 73231 0 0 0 34015 119 0 0 20 0 3 0 333478013 711831552 144758 33554432000 4194304 5964478 140736348827648 140137192187976 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.33
Current children cumulated vsize (KiB) 695148

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 4733
/proc/meminfo: memFree=27394584/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=695724 CPUtime=804.32 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 152464 0 0 0 80248 184 0 0 20 0 3 0 333478011 712421376 153534 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 173931 153534 198 433 0 173495 0
[pid=4685/tid=4687] ppid=4683 vsize=695724 CPUtime=401.18 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 77865 0 0 0 40043 75 0 0 20 0 3 0 333478013 712421376 153534 33554432000 4194304 5964478 140736348827648 140137202677752 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=695724 CPUtime=401.19 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 73266 0 0 0 39999 120 0 0 20 0 3 0 333478013 712421376 153534 33554432000 4194304 5964478 140736348827648 140137192188248 4382008 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 695724

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 4744
/proc/meminfo: memFree=27314376/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=761260 CPUtime=924.3 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 170449 0 0 0 92197 233 0 0 20 0 3 0 333478011 779530240 171519 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 190315 171519 198 433 0 189879 0
[pid=4685/tid=4687] ppid=4683 vsize=761260 CPUtime=461.02 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 95848 0 0 0 45978 124 0 0 20 0 3 0 333478013 779530240 171519 33554432000 4194304 5964478 140736348827648 140137202677752 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=761260 CPUtime=461.04 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 73268 0 0 0 45984 120 0 0 20 0 3 0 333478013 779530240 171519 33554432000 4194304 5964478 140736348827648 140137192188248 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 761260

[startup+522.3 s]
/proc/loadavg: 4.06 3.99 3.91 5/181 4745
/proc/meminfo: memFree=27142892/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=826796 CPUtime=1044.27 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 191735 0 0 0 104136 291 0 0 20 0 3 0 333478011 846639104 192836 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 206699 192836 198 433 0 206263 0
[pid=4685/tid=4687] ppid=4683 vsize=826796 CPUtime=520.87 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 95848 0 0 0 51962 125 0 0 20 0 3 0 333478013 846639104 192836 33554432000 4194304 5964478 140736348827648 140137202677752 4382019 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=826796 CPUtime=520.88 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 94554 0 0 0 51909 179 0 0 20 0 3 0 333478013 846639104 192836 33554432000 4194304 5964478 140736348827648 140137192188216 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.27
Current children cumulated vsize (KiB) 826796

[startup+582.3 s]
/proc/loadavg: 4.02 3.99 3.91 5/181 4745
/proc/meminfo: memFree=27015820/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=893296 CPUtime=1164.21 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 210547 0 0 0 116060 361 0 0 20 0 3 0 333478011 914735104 211703 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 223324 211703 198 433 0 222888 0
[pid=4685/tid=4687] ppid=4683 vsize=893296 CPUtime=580.7 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 95899 0 0 0 57944 126 0 0 20 0 3 0 333478013 914735104 211703 33554432000 4194304 5964478 140736348827648 140137202677784 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=893296 CPUtime=580.7 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 113315 0 0 0 57819 251 0 0 20 0 3 0 333478013 914735104 211703 33554432000 4194304 5964478 140736348827648 140137192188216 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 893296

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 4745
/proc/meminfo: memFree=26961412/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=1027500 CPUtime=1284.18 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 223630 0 0 0 128014 404 0 0 20 0 3 0 333478011 1052160000 224973 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 256875 224973 198 433 0 256439 0
[pid=4685/tid=4687] ppid=4683 vsize=1027500 CPUtime=640.51 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 102437 0 0 0 63907 144 0 0 20 0 3 0 333478013 1052160000 224973 33554432000 4194304 5964478 140736348827648 140137202677752 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=1027500 CPUtime=640.56 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 119860 0 0 0 63779 277 0 0 20 0 3 0 333478013 1052160000 224973 33554432000 4194304 5964478 140736348827648 140137192188216 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 1027500

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 4745
/proc/meminfo: memFree=26885056/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=1030892 CPUtime=1404.12 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 235460 0 0 0 139973 439 0 0 20 0 3 0 333478011 1055633408 236855 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 257723 236855 198 433 0 257287 0
[pid=4685/tid=4687] ppid=4683 vsize=1030892 CPUtime=700.34 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 114238 0 0 0 69854 180 0 0 20 0 3 0 333478013 1055633408 236855 33554432000 4194304 5964478 140736348827648 140137202677752 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=1030892 CPUtime=700.38 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 119889 0 0 0 69760 278 0 0 20 0 3 0 333478013 1055633408 236855 33554432000 4194304 5964478 140736348827648 140137192188216 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.12
Current children cumulated vsize (KiB) 1030892

[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 4745
/proc/meminfo: memFree=26874208/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=1030892 CPUtime=1524.1 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 235507 0 0 0 151971 439 0 0 20 0 3 0 333478011 1055633408 236883 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 257723 236883 198 433 0 257287 0
[pid=4685/tid=4687] ppid=4683 vsize=1030892 CPUtime=760.19 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 114238 0 0 0 75838 181 0 0 20 0 3 0 333478013 1055633408 236883 33554432000 4194304 5964478 140736348827648 140137202677752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=1030892 CPUtime=760.21 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 119936 0 0 0 75742 279 0 0 20 0 3 0 333478013 1055633408 236883 33554432000 4194304 5964478 140736348827648 140137192188248 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.1
Current children cumulated vsize (KiB) 1030892

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 4746
/proc/meminfo: memFree=26833540/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=1031356 CPUtime=1644.05 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 235651 0 0 0 163966 439 0 0 20 0 3 0 333478011 1056108544 236786 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 257839 236786 198 433 0 257403 0
[pid=4685/tid=4687] ppid=4683 vsize=1031356 CPUtime=820.02 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 114267 0 0 0 81820 182 0 0 20 0 3 0 333478013 1056108544 236786 33554432000 4194304 5964478 140736348827648 140137202677784 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=1031356 CPUtime=820.05 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 120051 0 0 0 81725 280 0 0 20 0 3 0 333478013 1056108544 236786 33554432000 4194304 5964478 140736348827648 140137192187976 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.05
Current children cumulated vsize (KiB) 1031356

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 4749
/proc/meminfo: memFree=26794344/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=1031848 CPUtime=1764.03 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 235750 0 0 0 175964 439 0 0 20 0 3 0 333478011 1056612352 236887 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 257962 236887 198 433 0 257526 0
[pid=4685/tid=4687] ppid=4683 vsize=1031848 CPUtime=879.86 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 114271 0 0 0 87803 183 0 0 20 0 3 0 333478013 1056612352 236887 33554432000 4194304 5964478 140736348827648 140137202677784 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=1031848 CPUtime=879.9 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 120146 0 0 0 87709 281 0 0 20 0 3 0 333478013 1056612352 236887 33554432000 4194304 5964478 140736348827648 140137192187976 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.03
Current children cumulated vsize (KiB) 1031848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 4749
/proc/meminfo: memFree=26794220/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=1031848 CPUtime=1800.04 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 235764 0 0 0 179565 439 0 0 20 0 3 0 333478011 1056612352 236901 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 257962 236901 198 433 0 257526 0
[pid=4685/tid=4687] ppid=4683 vsize=1031848 CPUtime=897.82 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 114271 0 0 0 89599 183 0 0 20 0 3 0 333478013 1056612352 236901 33554432000 4194304 5964478 140736348827648 140137202677784 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=1031848 CPUtime=897.86 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 120160 0 0 0 89505 281 0 0 20 0 3 0 333478013 1056612352 236901 33554432000 4194304 5964478 140736348827648 140137192187976 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 3.99 3.91 5/182 4749
/proc/meminfo: memFree=26794220/32873844 swapFree=7632/7632
[pid=4685] ppid=4683 vsize=1031848 CPUtime=1800.04 cores=0,2,4,6
/proc/4685/stat : 4685 (pwbo2.02) S 4683 4685 3617 0 -1 4202496 235764 0 0 0 179565 439 0 0 20 0 3 0 333478011 1056612352 236901 33554432000 4194304 5964478 140736348827648 140736348827168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4685/statm: 257962 236901 198 433 0 257526 0
[pid=4685/tid=4687] ppid=4683 vsize=1031848 CPUtime=897.82 cores=0,2,4,6
/proc/4685/task/4687/stat : 4687 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 114271 0 0 0 89599 183 0 0 20 0 3 0 333478013 1056612352 236901 33554432000 4194304 5964478 140736348827648 140137202677784 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4685/tid=4688] ppid=4683 vsize=1031848 CPUtime=897.86 cores=0,2,4,6
/proc/4685/task/4688/stat : 4688 (pwbo2.02) R 4683 4685 3617 0 -1 4202560 120160 0 0 0 89505 281 0 0 20 0 3 0 333478013 1056612352 236901 33554432000 4194304 5964478 140736348827648 140137192187976 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1031848

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4685 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=66716
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=682288
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.329
CPU time (s): 1800.04
CPU user time (s): 1795.65
CPU system time (s): 4.39
CPU usage (%): 199.931
Max. virtual memory (cumulated for all children) (KiB): 1031848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.07
system time used= 4.68229
maximum resident set size= 947608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235765
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= 787
involuntary context switches= 2040

runsolver used 1.81072 second user time and 4.91525 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-02 23:45:37
IDJOB=3728806
IDBENCH=79159
IDSOLVER=2316
FILE ID=node141/3728806-1338673537
RUNJOBID= node141-1338669486-3911
PBS_JOBID= 14636518
Free space on /tmp= 70716 MiB

SOLVER NAME= pwbo 2.02
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.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728806-1338673537/watcher-3728806-1338673537 -o /tmp/evaluation-result-3728806-1338673537/solver-3728806-1338673537 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728806-1338673537.wbo

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

MD5SUM BENCH= 4abf964a0a4662f4172f30dfa55a3bc2
RANDOM SEED=599536003

node141.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.744
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	: 5333.48
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.744
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.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
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.744
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.92
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.744
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.92
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.744
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	: 5331.91
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.744
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.92
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.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26981380 kB
Buffers:          384544 kB
Cached:          3120864 kB
SwapCached:          216 kB
Active:          2709144 kB
Inactive:        2301400 kB
Active(anon):    1495584 kB
Inactive(anon):    11300 kB
Active(file):    1213560 kB
Inactive(file):  2290100 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:              5444 kB
Writeback:             0 kB
AnonPages:       1640624 kB
Mapped:            11436 kB
Shmem:               172 kB
Slab:             738804 kB
SReclaimable:     181140 kB
SUnreclaim:       557664 kB
KernelStack:        1504 kB
PageTables:         6680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     173452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    923648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70712 MiB
End job on node141 at 2012-06-03 00:00:39