Trace number 2701827

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
PB/CT 0.1 fixedMSAT (TO) 1800.14 1800.21

General information on the benchmark

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

Verifier Data 

OK	165496

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701827-1278541792/watcher-2701827-1278541792 -o /tmp/evaluation-result-2701827-1278541792/solver-2701827-1278541792 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701827-1278541792.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 4/194 23267
/proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2400 CPUtime=0
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 322 0 0 0 0 0 0 0 22 0 1 0 22393032 2457600 241 4089446400 134512640 136422188 4287742096 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23267/statm: 600 241 138 467 0 131 0

[startup+0.096858 s]
/proc/loadavg: 2.00 2.00 1.98 4/194 23267
/proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=4120 CPUtime=0.09
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 772 0 0 0 9 0 0 0 22 0 1 0 22393032 4218880 593 4089446400 134512640 136422188 4287742096 18446744073709551615 135818609 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23267/statm: 1030 593 144 467 0 561 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4120

[startup+0.100858 s]
/proc/loadavg: 2.00 2.00 1.98 4/194 23267
/proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=4120 CPUtime=0.09
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 774 0 0 0 9 0 0 0 22 0 1 0 22393032 4218880 595 4089446400 134512640 136422188 4287742096 18446744073709551615 135153674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23267/statm: 1030 595 144 467 0 561 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4120

[startup+0.300821 s]
/proc/loadavg: 2.00 2.00 1.98 4/194 23267
/proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=6084 CPUtime=0.29
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 1407 0 0 0 29 0 0 0 22 0 1 0 22393032 6230016 1099 4089446400 134512640 136422188 4287742096 18446744073709551615 135372813 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23267/statm: 1521 1099 144 467 0 1052 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6084

[startup+0.700754 s]
/proc/loadavg: 2.00 2.00 1.98 4/194 23267
/proc/meminfo: memFree=28762556/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=10408 CPUtime=0.69
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 2757 0 0 0 69 0 0 0 24 0 1 0 22393032 10657792 2192 4089446400 134512640 136422188 4287742096 18446744073709551615 134536143 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23267/statm: 2602 2192 144 467 0 2133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10408

[startup+1.50061 s]
/proc/loadavg: 2.00 2.00 1.98 3/195 23268
/proc/meminfo: memFree=28750768/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=28440 CPUtime=1.49
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 6092 0 0 0 149 0 0 0 25 0 1 0 22393032 29122560 5014 4089446400 134512640 136422188 4287742096 18446744073709551615 135160509 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23267/statm: 7110 5014 144 467 0 6641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28440

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.98 3/195 23268
/proc/meminfo: memFree=28738988/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=76192 CPUtime=3.09
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 20568 0 0 0 307 2 0 0 25 0 1 0 22393032 78020608 18465 4089446400 134512640 136422188 4287742096 18446744073709551615 135642974 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/23267/statm: 19048 18466 195 467 0 18579 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76192

[startup+6.30078 s]
/proc/loadavg: 2.00 2.00 1.98 3/195 23268
/proc/meminfo: memFree=28188680/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=805412 CPUtime=6.29
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 213486 0 0 0 603 26 0 0 25 0 1 0 22393032 824741888 197739 4089446400 134512640 136422188 4287742096 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23267/statm: 201353 197741 195 467 0 200884 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 805412

[startup+12.7007 s]
/proc/loadavg: 2.15 2.03 2.00 3/195 23268
/proc/meminfo: memFree=26728960/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2603400 CPUtime=12.69
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 687395 0 0 0 1185 84 0 0 25 0 1 0 22393032 2665881600 631917 4089446400 134512640 136422188 4287742096 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23267/statm: 650850 631927 196 467 0 650381 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2603400

[startup+25.5004 s]
/proc/loadavg: 2.12 2.03 2.00 3/195 23269
/proc/meminfo: memFree=26059572/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2778948 CPUtime=25.49
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 733840 0 0 0 2461 88 0 0 25 0 1 0 22393032 2845642752 675029 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23267/statm: 694737 675029 209 467 0 694268 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2778948

[startup+51.101 s]
/proc/loadavg: 2.08 2.03 2.00 3/195 23269
/proc/meminfo: memFree=26052748/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2786208 CPUtime=51.08
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 735682 0 0 0 5020 88 0 0 25 0 1 0 22393032 2853076992 676871 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 696552 676871 209 467 0 696083 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2786208

[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/195 23271
/proc/meminfo: memFree=26043044/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2795508 CPUtime=102.29
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 738591 0 0 0 10140 89 0 0 25 0 1 0 22393032 2862600192 679201 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 698877 679201 209 467 0 698408 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2795508

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/195 23272
/proc/meminfo: memFree=26028108/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2800656 CPUtime=162.27
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 739870 0 0 0 16137 90 0 0 25 0 1 0 22393032 2867871744 680480 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 700164 680480 209 467 0 699695 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2800656

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/195 23274
/proc/meminfo: memFree=26015912/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2805672 CPUtime=222.27
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 741113 0 0 0 22136 91 0 0 25 0 1 0 22393032 2873008128 681723 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 701418 681723 209 467 0 700949 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 2805672

[startup+282.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/195 23275
/proc/meminfo: memFree=26011916/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2809500 CPUtime=282.27
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 742073 0 0 0 28136 91 0 0 25 0 1 0 22393032 2876928000 682683 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 702375 682683 209 467 0 701906 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 2809500

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/195 23277
/proc/meminfo: memFree=26003676/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2817408 CPUtime=342.27
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 745195 0 0 0 34135 92 0 0 25 0 1 0 22393032 2885025792 684650 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 704352 684650 209 467 0 703883 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 2817408

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/195 23279
/proc/meminfo: memFree=26000416/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2820576 CPUtime=402.25
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 745996 0 0 0 40133 92 0 0 25 0 1 0 22393032 2888269824 685451 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 705144 685451 209 467 0 704675 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 2820576

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 23280
/proc/meminfo: memFree=25997268/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2823480 CPUtime=462.26
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 746708 0 0 0 46133 93 0 0 25 0 1 0 22393032 2891243520 686163 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 705870 686163 209 467 0 705401 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 2823480

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 23282
/proc/meminfo: memFree=25990768/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2825724 CPUtime=522.25
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 747270 0 0 0 52132 93 0 0 25 0 1 0 22393032 2893541376 686725 4089446400 134512640 136422188 4287742096 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 706431 686725 209 467 0 705962 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 2825724

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 23283
/proc/meminfo: memFree=25956616/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2929736 CPUtime=582.25
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 778289 0 0 0 56216 2009 0 0 25 0 1 0 22393032 3000049664 695134 4089446400 134512640 136422188 4287742096 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 732434 695134 238 467 0 731965 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 2929736

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 23285
/proc/meminfo: memFree=25949384/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2936412 CPUtime=642.25
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 786820 0 0 0 59325 4900 0 0 25 0 1 0 22393032 3006885888 696782 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 734103 696782 238 467 0 733634 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 2936412

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/195 23291
/proc/meminfo: memFree=25925516/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2957408 CPUtime=882.24
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 829952 0 0 0 71827 16397 0 0 25 0 1 0 22393032 3028385792 702028 4089446400 134512640 136422188 4287742096 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 739352 702028 238 467 0 738883 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 2957408

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 23293
/proc/meminfo: memFree=25921248/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2961500 CPUtime=942.24
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 830985 0 0 0 75912 18312 0 0 25 0 1 0 22393032 3032576000 703061 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 740375 703061 238 467 0 739906 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 2961500

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 23295
/proc/meminfo: memFree=25916736/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2965856 CPUtime=1002.23
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 832091 0 0 0 80579 19644 0 0 25 0 1 0 22393032 3037036544 704167 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 741464 704167 238 467 0 740995 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 2965856

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 23296
/proc/meminfo: memFree=25910252/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2971412 CPUtime=1062.23
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 833637 0 0 0 83878 22345 0 0 25 0 1 0 22393032 3042725888 705557 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 742853 705557 238 467 0 742384 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 2971412

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 23298
/proc/meminfo: memFree=25905516/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2976360 CPUtime=1122.22
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 836160 0 0 0 87306 24916 0 0 25 0 1 0 22393032 3047792640 706786 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 744090 706786 238 467 0 743621 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 2976360

[startup+1182.3 s]
/proc/loadavg: 1.40 1.83 1.94 2/169 23323
/proc/meminfo: memFree=26272744/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2978156 CPUtime=1182.22
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 848371 0 0 0 89427 28795 0 0 25 0 1 0 22393032 3049631744 707236 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 744539 707236 238 467 0 744070 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 2978156

[startup+1242.3 s]
/proc/loadavg: 1.14 1.68 1.88 2/169 23325
/proc/meminfo: memFree=26264904/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2985820 CPUtime=1242.22
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 850815 0 0 0 91339 32883 0 0 25 0 1 0 22393032 3057479680 709141 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 746455 709141 238 467 0 745986 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 2985820

[startup+1302.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/169 23327
/proc/meminfo: memFree=26257820/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2992264 CPUtime=1302.23
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 869346 0 0 0 93830 36393 0 0 25 0 1 0 22393032 3064078336 710770 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 748066 710770 238 467 0 747597 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 2992264

[startup+1362.3 s]
/proc/loadavg: 1.06 1.46 1.77 2/169 23328
/proc/meminfo: memFree=26255436/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2995140 CPUtime=1362.22
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 898041 0 0 0 95749 40473 0 0 25 0 1 0 22393032 3067023360 711457 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 748785 711457 238 467 0 748316 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 2995140

[startup+1422.31 s]
/proc/loadavg: 1.02 1.37 1.72 2/169 23330
/proc/meminfo: memFree=26251212/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=2999064 CPUtime=1422.23
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 900125 0 0 0 98041 44182 0 0 25 0 1 0 22393032 3071041536 712449 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 749766 712449 238 467 0 749297 0
Current children cumulated CPU time (s) 1422.23
Current children cumulated vsize (KiB) 2999064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/169 23331
/proc/meminfo: memFree=26244112/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=3006720 CPUtime=1482.22
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 904267 0 0 0 100283 47939 0 0 25 0 1 0 22393032 3078881280 714359 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 751680 714359 238 467 0 751211 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 3006720

[startup+1542.3 s]
/proc/loadavg: 1.00 1.25 1.63 2/169 23333
/proc/meminfo: memFree=26234288/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=3016284 CPUtime=1542.23
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 918081 0 0 0 102366 51857 0 0 25 0 1 0 22393032 3088674816 716748 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 754071 716748 238 467 0 753602 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 3016284

[startup+1602.3 s]
/proc/loadavg: 1.00 1.20 1.59 2/169 23335
/proc/meminfo: memFree=26227564/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=3022688 CPUtime=1602.23
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 936960 0 0 0 104270 55953 0 0 25 0 1 0 22393032 3095232512 718365 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 755672 718365 238 467 0 755203 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 3022688

[startup+1662.3 s]
/proc/loadavg: 1.00 1.16 1.55 2/169 23336
/proc/meminfo: memFree=26221228/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=3029580 CPUtime=1662.22
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 943529 0 0 0 106327 59895 0 0 25 0 1 0 22393032 3102289920 720068 4089446400 134512640 136422188 4287742096 18446744073709551615 134868319 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 757395 720068 238 467 0 756926 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 3029580

[startup+1722.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/169 23338
/proc/meminfo: memFree=26218612/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=3032088 CPUtime=1722.23
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 944159 0 0 0 108481 63742 0 0 25 0 1 0 22393032 3104858112 720698 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 758022 720698 238 467 0 757553 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 3032088

[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.47 2/169 23339
/proc/meminfo: memFree=26217356/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=3033224 CPUtime=1782.23
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 948319 0 0 0 110250 67973 0 0 25 0 1 0 22393032 3106021376 720985 4089446400 134512640 136422188 4287742096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 758306 720985 238 467 0 757837 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 3033224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.00 1.10 1.47 2/169 23340
/proc/meminfo: memFree=26216356/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=3034344 CPUtime=1800.03
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4202496 953374 0 0 0 110687 69316 0 0 25 0 1 0 22393032 3107168256 721265 4089446400 134512640 136422188 4287742096 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/23267/statm: 758586 721265 238 467 0 758117 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3034344

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

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

[startup+1800.21 s]
/proc/loadavg: 1.00 1.10 1.47 2/169 23340
/proc/meminfo: memFree=26216356/32951132 swapFree=67111528/67111528
[pid=23267] ppid=23265 vsize=0 CPUtime=1800.13
/proc/23267/stat : 23267 (pbct) R 23265 23267 21732 0 -1 4194308 953376 0 0 0 110687 69326 0 0 25 0 1 0 22393032 0 0 4089446400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/23267/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.21
CPU time (s): 1800.14
CPU user time (s): 1106.88
CPU system time (s): 693.267
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 3034344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1106.88
system time used= 693.267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953376
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= 1
involuntary context switches= 6689

runsolver used 2.67259 second user time and 5.8911 second system time

The end

Launcher Data 

Begin job on node131 at 2010-07-08 00:29:52
IDJOB=2701827
IDBENCH=79643
IDSOLVER=1212
FILE ID=node131/2701827-1278541792
PBS_JOBID= 11239216
Free space on /tmp= 73608 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph07_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701827-1278541792/watcher-2701827-1278541792 -o /tmp/evaluation-result-2701827-1278541792/solver-2701827-1278541792 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701827-1278541792.wbo

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

MD5SUM BENCH= fddb3e21e350e2df5161d1678905aa9f
RANDOM SEED=1142754601

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5441.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28763084 kB
Buffers:        150124 kB
Cached:        3479988 kB
SwapCached:          0 kB
Active:        1545296 kB
Inactive:      2486428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28763084 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17284 kB
Writeback:           0 kB
AnonPages:      401280 kB
Mapped:          20520 kB
Slab:            92100 kB
PageTables:       5892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1637952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73608 MiB
End job on node131 at 2010-07-08 00:59:54