Trace number 3695368

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb2satCp2 2012-05-19OPT5 30.6663 30.6757

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.88071
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

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.02	c model valid
0.00/0.02	c current solution ok
0.00/0.06	o 28
0.00/0.06	c (debug) using card networks
0.00/0.71	c model valid
0.00/0.71	c current solution ok
0.00/0.71	o 8
0.00/0.74	c model valid
0.00/0.74	c current solution ok
0.00/0.74	o 7
0.00/0.76	c model valid
0.00/0.76	c current solution ok
0.00/0.77	o 6
27.16/27.26	c model valid
27.16/27.26	c current solution ok
27.16/27.26	o 5
30.55/30.67	s OPTIMUM FOUND
30.55/30.67	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

Verifier Data 

OK	5

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-3695368-1338082318/watcher-3695368-1338082318 -o /tmp/evaluation-result-3695368-1338082318/solver-3695368-1338082318 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695368-1338082318.opb 1498297535 HOME HOME 

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: 2.02 2.03 2.00 3/177 22844
/proc/meminfo: memFree=28230220/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0

[startup+0.0416381 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 22844
/proc/meminfo: memFree=28230220/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100262 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 22844
/proc/meminfo: memFree=28230220/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300225 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 22844
/proc/meminfo: memFree=28230220/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70022 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 22844
/proc/meminfo: memFree=28230220/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 22860
/proc/meminfo: memFree=28243912/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=0.74 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1060 8468 0 0 2 3 68 1 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22859] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22859/stat : 22859 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274357746 9367552 267 33554432000 4194304 5064252 140733873570848 140733873569760 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22859/statm: 2287 267 226 213 0 72 0
[pid=22860] ppid=22859 vsize=5168 CPUtime=0.72 cores=0,2,4,6
/proc/22860/stat : 22860 (glucose_static) R 22859 22844 18174 0 -1 4202496 1449 0 0 0 72 0 0 0 20 0 1 0 274357747 5292032 941 33554432000 4194304 4896791 140737125253856 140737125251384 4230803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22860/statm: 1292 941 77 172 0 1118 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 26724

[startup+3.10033 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22860
/proc/meminfo: memFree=28240208/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=0.74 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1060 8468 0 0 2 3 68 1 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22859] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22859/stat : 22859 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274357746 9367552 267 33554432000 4194304 5064252 140733873570848 140733873569760 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22859/statm: 2287 267 226 213 0 72 0
[pid=22860] ppid=22859 vsize=6240 CPUtime=2.32 cores=0,2,4,6
/proc/22860/stat : 22860 (glucose_static) R 22859 22844 18174 0 -1 4202496 2600 0 0 0 232 0 0 0 20 0 1 0 274357747 6389760 1122 33554432000 4194304 4896791 140737125253856 140737125251384 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22860/statm: 1560 1122 77 172 0 1386 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 27796

[startup+6.30033 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22860
/proc/meminfo: memFree=28229416/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=0.74 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1060 8468 0 0 2 3 68 1 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22859] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22859/stat : 22859 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274357746 9367552 267 33554432000 4194304 5064252 140733873570848 140733873569760 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22859/statm: 2287 267 226 213 0 72 0
[pid=22860] ppid=22859 vsize=7040 CPUtime=5.52 cores=0,2,4,6
/proc/22860/stat : 22860 (glucose_static) R 22859 22844 18174 0 -1 4202496 4750 0 0 0 551 1 0 0 20 0 1 0 274357747 7208960 1342 33554432000 4194304 4896791 140737125253856 140737125251432 4224864 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22860/statm: 1760 1342 77 172 0 1586 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 28596

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22860
/proc/meminfo: memFree=28234668/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=0.74 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1060 8468 0 0 2 3 68 1 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22859] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22859/stat : 22859 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274357746 9367552 267 33554432000 4194304 5064252 140733873570848 140733873569760 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22859/statm: 2287 267 226 213 0 72 0
[pid=22860] ppid=22859 vsize=10832 CPUtime=11.91 cores=0,2,4,6
/proc/22860/stat : 22860 (glucose_static) R 22859 22844 18174 0 -1 4202496 7466 0 0 0 1190 1 0 0 20 0 1 0 274357747 11091968 2244 33554432000 4194304 4896791 140737125253856 140737125251064 4225178 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22860/statm: 2708 2244 77 172 0 2534 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 32388

[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22860
/proc/meminfo: memFree=28223940/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=0.74 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1060 8468 0 0 2 3 68 1 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22859] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22859/stat : 22859 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274357746 9367552 267 33554432000 4194304 5064252 140733873570848 140733873569760 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22859/statm: 2287 267 226 213 0 72 0
[pid=22860] ppid=22859 vsize=12532 CPUtime=24.72 cores=0,2,4,6
/proc/22860/stat : 22860 (glucose_static) R 22859 22844 18174 0 -1 4202496 12349 0 0 0 2468 4 0 0 20 0 1 0 274357747 12832768 2577 33554432000 4194304 4896791 140737125253856 140737125251064 4225148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22860/statm: 3133 2577 77 172 0 2959 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 34088

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

[startup+28.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22863
/proc/meminfo: memFree=28225048/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=27.23 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1188 22457 0 0 2 3 2712 6 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22862] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22862/stat : 22862 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274360396 9367552 267 33554432000 4194304 5064252 140736616678480 140736616677392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22862/statm: 2287 267 226 213 0 72 0
[pid=22863] ppid=22862 vsize=6172 CPUtime=1.42 cores=0,2,4,6
/proc/22863/stat : 22863 (glucose_static) R 22862 22844 18174 0 -1 4202496 1936 0 0 0 142 0 0 0 20 0 1 0 274360396 6320128 1032 33554432000 4194304 4896791 140734320930048 140734320927576 4401607 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22863/statm: 1543 1032 76 172 0 1369 0
Current children cumulated CPU time (s) 28.65
Current children cumulated vsize (KiB) 27728

[startup+29.5003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22863
/proc/meminfo: memFree=28225048/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=27.23 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1188 22457 0 0 2 3 2712 6 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22862] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22862/stat : 22862 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274360396 9367552 267 33554432000 4194304 5064252 140736616678480 140736616677392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22862/statm: 2287 267 226 213 0 72 0
[pid=22863] ppid=22862 vsize=5668 CPUtime=2.22 cores=0,2,4,6
/proc/22863/stat : 22863 (glucose_static) R 22862 22844 18174 0 -1 4202496 2649 0 0 0 222 0 0 0 20 0 1 0 274360396 5804032 1045 33554432000 4194304 4896791 140734320930048 140734320927608 4203980 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22863/statm: 1417 1045 76 172 0 1243 0
Current children cumulated CPU time (s) 29.45
Current children cumulated vsize (KiB) 27224

[startup+30.3003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22863
/proc/meminfo: memFree=28220520/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=27.23 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1188 22457 0 0 2 3 2712 6 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22862] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22862/stat : 22862 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274360396 9367552 267 33554432000 4194304 5064252 140736616678480 140736616677392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22862/statm: 2287 267 226 213 0 72 0
[pid=22863] ppid=22862 vsize=5932 CPUtime=3.02 cores=0,2,4,6
/proc/22863/stat : 22863 (glucose_static) R 22862 22844 18174 0 -1 4202496 3114 0 0 0 302 0 0 0 20 0 1 0 274360396 6074368 1047 33554432000 4194304 4896791 140734320930048 140734320927256 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22863/statm: 1483 1047 76 172 0 1309 0
Current children cumulated CPU time (s) 30.25
Current children cumulated vsize (KiB) 27488

[startup+30.5003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22863
/proc/meminfo: memFree=28220520/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=27.23 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1188 22457 0 0 2 3 2712 6 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22862] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22862/stat : 22862 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274360396 9367552 267 33554432000 4194304 5064252 140736616678480 140736616677392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22862/statm: 2287 267 226 213 0 72 0
[pid=22863] ppid=22862 vsize=5932 CPUtime=3.22 cores=0,2,4,6
/proc/22863/stat : 22863 (glucose_static) R 22862 22844 18174 0 -1 4202496 3169 0 0 0 322 0 0 0 20 0 1 0 274360396 6074368 1101 33554432000 4194304 4896791 140734320930048 140734320927256 4224696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22863/statm: 1483 1101 76 172 0 1309 0
Current children cumulated CPU time (s) 30.45
Current children cumulated vsize (KiB) 27488

[startup+30.6003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 22863
/proc/meminfo: memFree=28220520/32873852 swapFree=6848/6848
[pid=22844] ppid=22842 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22844/stat : 22844 (runPb2satCp2.sh) S 22842 22844 18174 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274357669 9367552 275 33554432000 4194304 5064252 140733531095392 140733531094304 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22844/statm: 2287 275 233 213 0 72 0
[pid=22845] ppid=22844 vsize=3260 CPUtime=27.23 cores=0,2,4,6
/proc/22845/stat : 22845 (pb2sat) S 22844 22844 18174 0 -1 4202496 1188 22457 0 0 2 3 2712 6 20 0 1 0 274357670 3338240 451 33554432000 4194304 5873084 140736124014864 140736124008680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22845/statm: 815 451 175 410 0 397 0
[pid=22862] ppid=22845 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22862/stat : 22862 (satsolver.sh) S 22845 22844 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274360396 9367552 267 33554432000 4194304 5064252 140736616678480 140736616677392 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22862/statm: 2287 267 226 213 0 72 0
[pid=22863] ppid=22862 vsize=5932 CPUtime=3.32 cores=0,2,4,6
/proc/22863/stat : 22863 (glucose_static) R 22862 22844 18174 0 -1 4202496 3196 0 0 0 332 0 0 0 20 0 1 0 274360396 6074368 1127 33554432000 4194304 4896791 140734320930048 140734320927256 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22863/statm: 1483 1127 76 172 0 1309 0
Current children cumulated CPU time (s) 30.55
Current children cumulated vsize (KiB) 27488

Child status: 0
Real time (s): 30.6757
CPU time (s): 30.6663
CPU user time (s): 30.5594
CPU system time (s): 0.106983
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 36944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.5594
system time used= 0.106983
maximum resident set size= 14528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29107
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 67

runsolver used 0.050992 second user time and 0.123981 second system time

The end

Launcher Data 

Begin job on node128 at 2012-05-27 03:31:58
IDJOB=3695368
IDBENCH=48143
IDSOLVER=2273
FILE ID=node128/3695368-1338082318
RUNJOBID= node128-1338053110-18190
PBS_JOBID= 14624418
Free space on /tmp= 71352 MiB

SOLVER NAME= pb2satCp2 2012-05-19
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_4.opb
COMMAND LINE= DIR/runPb2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3695368-1338082318/watcher-3695368-1338082318 -o /tmp/evaluation-result-3695368-1338082318/solver-3695368-1338082318 -C 1800 -W 1900 -M 15500  HOME/runPb2satCp2.sh HOME/instance-3695368-1338082318.opb 1498297535 HOME HOME

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

MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585
RANDOM SEED=1498297535

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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:       32873852 kB
MemFree:        28230716 kB
Buffers:          350956 kB
Cached:          3414888 kB
SwapCached:            0 kB
Active:           987476 kB
Inactive:        2835032 kB
Active(anon):      59168 kB
Inactive(anon):        0 kB
Active(file):     928308 kB
Inactive(file):  2835032 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8616 kB
Writeback:             0 kB
AnonPages:         82060 kB
Mapped:            15296 kB
Shmem:               204 kB
Slab:             679736 kB
SReclaimable:     122132 kB
SUnreclaim:       557604 kB
KernelStack:        1472 kB
PageTables:         4472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     180608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 71340 MiB
End job on node128 at 2012-05-27 03:32:28