Trace number 4118795

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
Open-WBO PB16SAT (TO)6437 1800.02 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.lin.opb
MD5SUM6a8853326d72dcbb7b31f93bb594e0b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5989
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2684
Total number of constraints6459
Number of constraints which are clauses3957
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints2501
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 2674
Biggest coefficient in the objective function 6872
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 13678
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6872
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 13678
Number of bits of the biggest sum of numbers14
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
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4118795-1467228032.opb
0.00/0.00	c File size is 221165 bytes.
1800.00/1800.30	c Sum of soft weights:        13678
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.00/1800.30	c |  Number of variables:          2684                                                                   |
1800.00/1800.30	c |  Number of hard clauses:       3958                                                                   |
1800.00/1800.30	c |  Number of soft clauses:       2674                                                                   |
1800.00/1800.30	c |  Number of cardinality:           1                                                                   |
1800.00/1800.30	c |  Number of PB :                2501                                                                   |
1800.00/1800.30	c |  Parse time:                   0.03 s                                                                 |
1800.00/1800.30	c |                                                                                                       |
1800.00/1800.30	o 6469
1800.00/1800.30	o 6454
1800.00/1800.30	o 6437
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	v -x184 -x1 -x92 -x185 -x93 -x186 -x101 -x187 -x102 -x188 -x111 -x189 -x112 -x190 -x113 -x191 -x114 -x192 -x115 -x193 -x116 -x194 -x117 -x195 -x118 -x196 -x119 -x197 -x121 -x198 -x122 -x199 -x123 -x200 -x124 -x201 -x125 -x202 -x130 -x203 -x135 -x204 -x136 -x205 -x137 -x206 x139 -x207 x144 -x208 x145 -x209 x146 -x210 -x147 -x211 -x152 -x212 -x153 -x213 -x154 -x214 -x155 -x215 -x156 -x216 x157 -x217 -x158 -x218 x159 -x219 x165 -x220 x166 -x221 x167 -x222 x170 -x223 x171 -x224 x172 -x225 -x174 -x226 -x175 -x227 -x176 -x228 x177 -x229 -x178 -x230 -x179 -x231 -x180 -x232 -x181 -x233 -x2 -x234 -x235 -x94 -x236 -x95 -x237 -x238 -x99 -x239 -x240 -x241 -x103 -x242 -x106 -x243 -x107 -x244 -x110 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x132 -x260 -x134 -x261 -x262 -x263 -x264 x141 -x265 x143 -x266 -x267 -x268 -x269 -x149 -x270 -x151 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x162 -x279 x164 -x280 -x281 -x282 x168 -x283 -x284 -x285 -x286 -x173 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x3 -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 x4 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x120 -x345 -x346 -x347 -x348 -x349 -x350 -x126 -x351 -x127 -x352 x353 -x354 x355 x356 x357 -x358 x359 -x360 -x361 -x362 -x5 -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 -x6 -x406 -x407 -x96 -x408 -x98 -x409 -x100 -x410 -x411 -x104 -x412 -x413 -x108 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x161 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x182 -x440 -x7 -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 x8 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x105 -x499 -x500 -x109 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 x509 x510 x511 -x512 x513 -x514 -x515 -x516 -x9 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x10 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x11 -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 x12 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x133 -x609 x610 x142 x611 -x612 -x150 -x613 x614 x615 x616 x163 x617 x618 x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x13 -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 -x14 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x15 -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 -x16 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x17 -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 -x18 -x760 -x761 -x762 -x763 -x764 -x765 -x131 -x766 -x767 x140 -x768 -x769 -x148 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x19 -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 x20 -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 -x21 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x22 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x128 -x892 -x893 x894 x138 x895 x896 x897 x898 x899 x900 x901 -x902 -x903 -x904 -x905 x906 -x907 x908 -x909 -x160 -x910 x911 x912 -x913 x914 -x915 -x916 -x917 -x23 -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 x24 -x958 -x959 -x960 x961 -x962 x963 x964 x965 -x966 x967 -x968 -x969 -x970 -x25 -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 x26 -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 -x27 -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 x28 -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 -x29 -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 x30 -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 -x31 -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 -x32 -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 -x33 -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 x34 -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 x35 -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 x36 -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 -x37 -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 x38 -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 -x39 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x40 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 x1559 x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x41 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x42 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x43 -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 x44 -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 x45 -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 x46 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x47 -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 -x48 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x49 -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 -x50 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x51 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x52 -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 x53 -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 x54 -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 x55 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x56 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x57 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x58 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x59 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x60 -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 -x62 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x63 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x64 -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 -x67 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x68 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x69 -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 -x71 -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 -x72 -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 -x73 -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 -x74 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x75 -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 -x76 -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 -x78 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x79 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x80 -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 -x82 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x83 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x84 -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 x86 -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 x87 -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 x88 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 x2611 x2612 x2613 x2614 x2615 x2616 -x2617 x89 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 x2625 x2626 x2627 x2628 x2629 x2630 -x2631 -x2632 -x2633 x2634 -x2635 x2636 -x2637 -x2638 -x2639 x90 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x91 -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 x183 -x61 x65 x66 x70 -x77 x81 x85 -x97 -x129 x169

Verifier Data 

OK	6437

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4118795-1467228032/watcher-4118795-1467228032 -o /tmp/evaluation-result-4118795-1467228032/solver-4118795-1467228032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467213050-5997 --watchdog 1960 open-wbo HOME/instance-4118795-1467228032.opb 

pid=7864
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.18 2.12 2.08 3/175 7867
/proc/meminfo: memFree=30013112/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=2552 CPUtime=0 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 3907015 2613248 246 33554432000 4194304 6059633 140734031812416 140735960022728 5043379 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 638 246 187 456 0 120 0

[startup+0.100117 s]
/proc/loadavg: 2.18 2.12 2.08 3/175 7867
/proc/meminfo: memFree=30013112/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=13680 CPUtime=0.09 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 2223 0 0 0 9 0 0 0 20 0 1 0 3907015 14008320 1989 33554432000 4194304 6059633 140734031812416 140735960022728 4397305 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 3420 1989 174 456 0 2956 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13680

[startup+0.20028 s]
/proc/loadavg: 2.18 2.12 2.08 3/175 7867
/proc/meminfo: memFree=30013112/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=14208 CPUtime=0.19 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 2406 0 0 0 19 0 0 0 20 0 1 0 3907015 14548992 2681 33554432000 4194304 6059633 140734031812416 140735960022728 4397311 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 3552 2681 174 456 0 3088 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14208

[startup+0.300232 s]
/proc/loadavg: 2.18 2.12 2.08 3/175 7867
/proc/meminfo: memFree=30013112/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=14568 CPUtime=0.29 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 2514 0 0 0 29 0 0 0 20 0 1 0 3907015 14917632 2789 33554432000 4194304 6059633 140734031812416 140735960022728 4278593 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 3642 2789 174 456 0 3178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14568

[startup+0.700262 s]
/proc/loadavg: 2.18 2.12 2.08 3/175 7867
/proc/meminfo: memFree=30013112/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=18224 CPUtime=0.68 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 3298 0 0 0 68 0 0 0 20 0 1 0 3907015 18661376 3573 33554432000 4194304 6059633 140734031812416 140734031811176 4277549 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 4556 3573 188 456 0 4092 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18224

[startup+1.50027 s]
/proc/loadavg: 2.18 2.12 2.08 3/176 7868
/proc/meminfo: memFree=29998896/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=15996 CPUtime=1.48 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 3820 0 0 0 148 0 0 0 20 0 1 0 3907015 16379904 3355 33554432000 4194304 6059633 140734031812416 140734031811176 4246318 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 3999 3355 191 456 0 3535 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15996

[startup+3.10025 s]
/proc/loadavg: 2.18 2.12 2.08 3/176 7868
/proc/meminfo: memFree=29998136/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=16436 CPUtime=3.08 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 4600 0 0 0 308 0 0 0 20 0 1 0 3907015 16830464 3583 33554432000 4194304 6059633 140734031812416 140734031810456 4246344 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 4109 3583 192 456 0 3645 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16436

[startup+6.30026 s]
/proc/loadavg: 2.17 2.12 2.08 3/176 7868
/proc/meminfo: memFree=29993644/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=20928 CPUtime=6.28 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 5261 0 0 0 627 1 0 0 20 0 1 0 3907015 21430272 4685 33554432000 4194304 6059633 140734031812416 140734031811176 4277855 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 5232 4685 192 456 0 4768 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20928

[startup+12.7003 s]
/proc/loadavg: 2.24 2.14 2.09 3/176 7868
/proc/meminfo: memFree=29989364/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=26808 CPUtime=12.68 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 5674 0 0 0 1267 1 0 0 20 0 1 0 3907015 27451392 5593 33554432000 4194304 6059633 140734031812416 140734031811176 4277900 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/7867/statm: 6702 5593 193 456 0 6238 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26808

[startup+25.5003 s]
/proc/loadavg: 2.18 2.13 2.08 3/176 7868
/proc/meminfo: memFree=29988892/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=26808 CPUtime=25.48 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 6130 0 0 0 2547 1 0 0 20 0 1 0 3907015 27451392 5936 33554432000 4194304 6059633 140734031812416 140734031810904 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 6702 5936 194 456 0 6238 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26808

[startup+51.1004 s]
/proc/loadavg: 2.12 2.12 2.08 3/175 7868
/proc/meminfo: memFree=29977912/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=37680 CPUtime=51.07 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 7532 0 0 0 5105 2 0 0 20 0 1 0 3907015 38584320 8799 33554432000 4194304 6059633 140734031812416 140734031810600 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 9420 8799 194 456 0 8956 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37680

[startup+102.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/175 7870
/proc/meminfo: memFree=29973332/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=41416 CPUtime=102.27 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 8004 0 0 0 10225 2 0 0 20 0 1 0 3907015 42409984 9781 33554432000 4194304 6059633 140734031812416 140734031810600 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 10354 9781 194 456 0 9890 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41416

[startup+162.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/175 7871
/proc/meminfo: memFree=29964148/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=53920 CPUtime=162.25 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 8632 0 0 0 16223 2 0 0 20 0 1 0 3907015 55214080 12040 33554432000 4194304 6059633 140734031812416 140734031811176 4277781 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 13480 12040 194 456 0 13016 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53920

[startup+222.307 s]
/proc/loadavg: 2.13 2.12 2.09 3/175 7872
/proc/meminfo: memFree=29955828/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=53920 CPUtime=222.25 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 8640 0 0 0 22223 2 0 0 20 0 1 0 3907015 55214080 12559 33554432000 4194304 6059633 140734031812416 140734031811176 4278035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 13480 12559 194 456 0 13016 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 53920

[startup+282.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/175 7873
/proc/meminfo: memFree=29941852/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=65412 CPUtime=282.24 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 9613 0 0 0 28221 3 0 0 20 0 1 0 3907015 66981888 15803 33554432000 4194304 6059633 140734031812416 140734031810904 4277710 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 16353 15803 194 456 0 15889 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 65412

[startup+342.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/175 7874
/proc/meminfo: memFree=29923604/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=84268 CPUtime=342.23 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 10218 0 0 0 34220 3 0 0 20 0 1 0 3907015 86290432 20481 33554432000 4194304 6059633 140734031812416 140734031811176 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 21067 20481 194 456 0 20603 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 84268

[startup+402.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/175 7876
/proc/meminfo: memFree=29956240/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=84268 CPUtime=402.22 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 10222 0 0 0 40219 3 0 0 20 0 1 0 3907015 86290432 20485 33554432000 4194304 6059633 140734031812416 140734031811176 4277579 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 21067 20485 194 456 0 20603 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 84268

[startup+462.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/175 7877
/proc/meminfo: memFree=29933372/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=84268 CPUtime=462.21 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 10228 0 0 0 46218 3 0 0 20 0 1 0 3907015 86290432 20532 33554432000 4194304 6059633 140734031812416 140734031811176 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 21067 20532 194 456 0 20603 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 84268

[startup+522.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/175 7878
/proc/meminfo: memFree=29930124/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=84268 CPUtime=522.2 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 10232 0 0 0 52217 3 0 0 20 0 1 0 3907015 86290432 20536 33554432000 4194304 6059633 140734031812416 140734031811176 4277549 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 21067 20536 194 456 0 20603 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 84268

[startup+582.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/176 7882
/proc/meminfo: memFree=29926832/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=84268 CPUtime=582.19 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 10237 0 0 0 58216 3 0 0 20 0 1 0 3907015 86290432 20541 33554432000 4194304 6059633 140734031812416 140734031811176 4277879 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 21067 20541 194 456 0 20603 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 84268


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


[startup+942.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/175 7889
/proc/meminfo: memFree=29933576/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=942.14 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 13334 0 0 0 94206 8 0 0 20 0 1 0 3907015 99786752 23868 33554432000 4194304 6059633 140734031812416 140734031810904 4277710 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23868 194 456 0 23898 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 97448

[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/175 7891
/proc/meminfo: memFree=29895276/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=1002.12 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 13741 0 0 0 100204 8 0 0 20 0 1 0 3907015 99786752 23868 33554432000 4194304 6059633 140734031812416 140734031810904 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23868 194 456 0 23898 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 97448

[startup+1062.3 s]
/proc/loadavg: 2.04 2.06 2.07 4/175 7892
/proc/meminfo: memFree=29897348/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=1062.12 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 14153 0 0 0 106203 9 0 0 20 0 1 0 3907015 99786752 23872 33554432000 4194304 6059633 140734031812416 140734031810904 4254731 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23872 194 456 0 23898 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 97448

[startup+1122.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/175 7893
/proc/meminfo: memFree=29864172/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=146768 CPUtime=1122.11 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 14970 0 0 0 112201 10 0 0 20 0 1 0 3907015 150290432 32968 33554432000 4194304 6059633 140734031812416 140734031810616 4277879 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 36692 32968 194 456 0 36228 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 146768

[startup+1182.3 s]
/proc/loadavg: 2.08 2.07 2.07 3/176 7897
/proc/meminfo: memFree=29863148/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=146768 CPUtime=1182.1 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 15380 0 0 0 118199 11 0 0 20 0 1 0 3907015 150290432 33992 33554432000 4194304 6059633 140734031812416 140734031810616 4261525 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 36692 33992 194 456 0 36228 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 146768

[startup+1242.3 s]
/proc/loadavg: 2.16 2.10 2.08 4/175 7944
/proc/meminfo: memFree=29975352/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=1242.08 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 15791 0 0 0 124197 11 0 0 20 0 1 0 3907015 99786752 23876 33554432000 4194304 6059633 140734031812416 140734031810904 4255169 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23876 194 456 0 23898 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 97448

[startup+1302.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/175 7946
/proc/meminfo: memFree=29956628/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=1302.08 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 16201 0 0 0 130196 12 0 0 20 0 1 0 3907015 99786752 23876 33554432000 4194304 6059633 140734031812416 140734031810904 4867836 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23876 194 456 0 23898 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 97448

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.08 3/175 7947
/proc/meminfo: memFree=29956056/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=1362.07 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 16612 0 0 0 136194 13 0 0 20 0 1 0 3907015 99786752 23879 33554432000 4194304 6059633 140734031812416 140734031810904 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23879 194 456 0 23898 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 97448

[startup+1422.3 s]
/proc/loadavg: 2.03 2.07 2.08 4/175 7948
/proc/meminfo: memFree=29948868/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=1422.06 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 17022 0 0 0 142193 13 0 0 20 0 1 0 3907015 99786752 23879 33554432000 4194304 6059633 140734031812416 140734031810904 4261221 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23879 194 456 0 23898 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 97448

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/175 7949
/proc/meminfo: memFree=29945824/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=1482.05 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 17439 0 0 0 148191 14 0 0 20 0 1 0 3907015 99786752 23885 33554432000 4194304 6059633 140734031812416 140734031810904 4262589 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23885 194 456 0 23898 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 97448

[startup+1542.31 s]
/proc/loadavg: 2.10 2.07 2.08 3/175 7950
/proc/meminfo: memFree=29942360/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=97448 CPUtime=1542.05 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 17977 0 0 0 154190 15 0 0 20 0 1 0 3907015 99786752 23885 33554432000 4194304 6059633 140734031812416 140734031810616 4278447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 24362 23885 194 456 0 23898 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 97448

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/175 7952
/proc/meminfo: memFree=29884216/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=146768 CPUtime=1602.04 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 18391 0 0 0 160188 16 0 0 20 0 1 0 3907015 150290432 35541 33554432000 4194304 6059633 140734031812416 140734031811176 4277929 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 36692 35541 194 456 0 36228 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 146768

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/175 7953
/proc/meminfo: memFree=29883712/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=146768 CPUtime=1662.02 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 18917 0 0 0 166186 16 0 0 20 0 1 0 3907015 150290432 35029 33554432000 4194304 6059633 140734031812416 140734031810616 4278382 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 36692 35029 194 456 0 36228 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 146768

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/175 7954
/proc/meminfo: memFree=29884764/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=146768 CPUtime=1722.01 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 19332 0 0 0 172184 17 0 0 20 0 1 0 3907015 150290432 34521 33554432000 4194304 6059633 140734031812416 140734031811176 4255732 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 36692 34521 194 456 0 36228 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 146768

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.07 4/176 7958
/proc/meminfo: memFree=29888532/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=146768 CPUtime=1782.01 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 19748 0 0 0 178183 18 0 0 20 0 1 0 3907015 150290432 32473 33554432000 4194304 6059633 140734031812416 140734031810616 4277774 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 36692 32473 194 456 0 36228 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 146768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/176 7958
/proc/meminfo: memFree=29880884/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=146768 CPUtime=1800 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 19752 0 0 0 179982 18 0 0 20 0 1 0 3907015 150290432 34521 33554432000 4194304 6059633 140734031812416 140734031810616 4277656 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 36692 34521 194 456 0 36228 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 146768

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7867 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/176 7958
/proc/meminfo: memFree=29880884/32872528 swapFree=447588/480292
[pid=7867] ppid=7864 vsize=146768 CPUtime=1800 cores=0,2,4,6
/proc/7867/stat : 7867 (open-wbo) R 7864 7867 3935 0 -1 4202496 19752 0 0 0 179982 18 0 0 20 0 1 0 3907015 150290432 34521 33554432000 4194304 6059633 140734031812416 140734031810616 4277656 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/7867/statm: 36692 34521 194 456 0 36228 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 146768

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.83
CPU system time (s): 0.186971
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 146768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.186971
maximum resident set size= 144704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19755
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= 13
involuntary context switches= 1999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.04938 second user time and 5.95309 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-29 21:20:32
IDJOB=4118795
IDBENCH=111533
IDSOLVER=2547
FILE ID=node104/4118795-1467228032
RUNJOBID= node104-1467213050-5997
PBS_JOBID= 19997589
Free space on /tmp= 71724 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.lin.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118795-1467228032/watcher-4118795-1467228032 -o /tmp/evaluation-result-4118795-1467228032/solver-4118795-1467228032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467213050-5997 --watchdog 1960  open-wbo HOME/instance-4118795-1467228032.opb

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

MD5SUM BENCH= 6a8853326d72dcbb7b31f93bb594e0b2
RANDOM SEED=1874780810

node104.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.334
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.66
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.334
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	: 5332.55
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.334
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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	: 5332.55
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.334
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	: 5332.55
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.334
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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	: 5332.54
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.334
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30013848 kB
Buffers:          133096 kB
Cached:          1406036 kB
SwapCached:            0 kB
Active:          1033628 kB
Inactive:         610584 kB
Active(anon):     107772 kB
Inactive(anon):        0 kB
Active(file):     925856 kB
Inactive(file):   610584 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4760 kB
Writeback:             0 kB
AnonPages:        585616 kB
Mapped:            13952 kB
Shmem:               204 kB
Slab:             604948 kB
SReclaimable:      49432 kB
SUnreclaim:       555516 kB
KernelStack:        1472 kB
PageTables:         4972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     682456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node104 at 2016-06-29 21:50:33