Trace number 2695859

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
pb_cplex 2010-06-29OPT136 94.9286 65.3272

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark94.9286
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint386
Number of terms in the objective function 3098
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 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2695859-1278020062.opb.
0.00/0.00	c Instance file HOME/instance-2695859-1278020062.opb
0.00/0.00	c File size is 2387751 bytes.
8.89/8.96	c Highest Coefficient sum: 387
8.89/8.96	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
8.99/9.00	c ============================[ Problem Statistics ]=============================
8.99/9.00	c |                                                                             |
8.99/9.00	c |  Parsing time:          8.97         s                                      |
8.99/9.00	c |  Number Variables:      3098                                                |
8.99/9.03	c |  Number Constraints:    6012                                                |
8.99/9.03	c ===============================================================================
94.90/65.30	c Remaining time 1791.01 sec.
94.90/65.30	s OPTIMUM FOUND
94.90/65.30	c Solution value = 136.00
94.90/65.30	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
94.90/65.32	c Total CPU time              : 92.8969 s

Verifier Data 

OK	136

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695859-1278020062/watcher-2695859-1278020062 -o /tmp/evaluation-result-2695859-1278020062/solver-2695859-1278020062 -C 1800 -W 2000 -M 1800 run HOME/instance-2695859-1278020062.opb 

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


[startup+0 s]
/proc/loadavg: 1.67 1.74 1.65 3/106 2841
/proc/meminfo: memFree=1625680/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0

[startup+0.0549661 s]
/proc/loadavg: 1.67 1.74 1.65 3/106 2841
/proc/meminfo: memFree=1625680/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100968 s]
/proc/loadavg: 1.67 1.74 1.65 3/106 2841
/proc/meminfo: memFree=1625680/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300983 s]
/proc/loadavg: 1.67 1.74 1.65 3/106 2841
/proc/meminfo: memFree=1625680/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701002 s]
/proc/loadavg: 1.67 1.74 1.65 3/106 2841
/proc/meminfo: memFree=1625680/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50105 s]
/proc/loadavg: 1.67 1.74 1.65 2/108 2843
/proc/meminfo: memFree=1624300/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=15820 CPUtime=1.49
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 588 0 0 0 149 0 0 0 25 0 1 0 321137 16199680 542 1992294400 134512640 146736320 4294564016 18446744073709551615 140681241 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2842/statm: 3955 542 291 2985 0 306 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24520

[startup+3.10114 s]
/proc/loadavg: 1.67 1.74 1.65 2/108 2843
/proc/meminfo: memFree=1624052/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=16216 CPUtime=3.09
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 731 0 0 0 309 0 0 0 25 0 1 0 321137 16605184 685 1992294400 134512640 146736320 4294564016 18446744073709551615 141026876 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2842/statm: 4054 685 337 2985 0 405 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24916

[startup+6.30032 s]
/proc/loadavg: 1.77 1.76 1.66 2/108 2843
/proc/meminfo: memFree=1621448/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=18776 CPUtime=6.29
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 1674 0 0 0 628 1 0 0 25 0 1 0 321137 19226624 1628 1992294400 134512640 146736320 4294564016 18446744073709551615 140647813 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2842/statm: 4694 1628 629 2985 0 1045 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27476

[startup+12.7017 s]
/proc/loadavg: 1.71 1.74 1.66 2/108 2843
/proc/meminfo: memFree=1595284/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=49544 CPUtime=12.68
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 37980 0 0 0 1252 16 0 0 25 0 1 0 321137 50733056 8650 1992294400 134512640 146736320 4294564016 18446744073709551615 139043581 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2842/statm: 12386 8650 1029 2985 0 8928 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58244

[startup+25.5014 s]
/proc/loadavg: 1.70 1.74 1.66 2/108 2846
/proc/meminfo: memFree=1592060/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=60892 CPUtime=29.78
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 81924 0 0 0 2941 37 0 0 22 0 1 0 321137 62353408 9292 1992294400 134512640 146736320 4294564016 18446744073709551615 144757825 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2842/statm: 15223 9292 1079 2985 0 11765 0
Current children cumulated CPU time (s) 29.78
Current children cumulated vsize (KiB) 69592

[startup+51.1009 s]
/proc/loadavg: 1.81 1.76 1.66 3/109 2849
/proc/meminfo: memFree=1556588/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=96240 CPUtime=71.84
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 371647 0 0 0 7011 173 0 0 17 0 2 0 321137 98549760 17942 1992294400 134512640 146736320 4294564016 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/2842/statm: 24060 17942 1094 2985 0 20602 0
[pid=2842/tid=2849] ppid=2841 vsize=96240 CPUtime=17.84
/proc/2842/task/2849/stat : 2849 (pb_cplex) R 2841 2841 2453 0 -1 4202560 151626 0 0 0 1714 70 0 0 19 0 2 0 324138 98549760 17942 1992294400 134512640 146736320 4294564016 18446744073709551615 136008167 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 71.84
Current children cumulated vsize (KiB) 104940

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

[startup+57.5012 s]
/proc/loadavg: 1.83 1.76 1.67 3/109 2849
/proc/meminfo: memFree=1556340/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=97284 CPUtime=82.71
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 399279 0 0 0 8082 189 0 0 16 0 2 0 321137 99618816 18025 1992294400 134512640 146736320 4294564016 18446744073709551615 136414091 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/2842/statm: 24321 18025 1094 2985 0 20863 0
[pid=2842/tid=2849] ppid=2841 vsize=97284 CPUtime=23.34
/proc/2842/task/2849/stat : 2849 (pb_cplex) S 2841 2841 2453 0 -1 4202560 169540 0 0 0 2254 80 0 0 17 0 2 0 324138 99618816 18025 1992294400 134512640 146736320 4294564016 18446744073709551615 144580073 0 2 4096 16387 18446604437787319104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 82.71
Current children cumulated vsize (KiB) 105984

[startup+60.7014 s]
/proc/loadavg: 1.84 1.77 1.67 3/109 2849
/proc/meminfo: memFree=1556092/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=97284 CPUtime=87.93
/proc/2842/stat : 2842 (pb_cplex) S 2841 2841 2453 0 -1 4202496 409402 0 0 0 8598 195 0 0 16 0 2 0 321137 99618816 18098 1992294400 134512640 146736320 4294564016 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/2842/statm: 24321 18098 1094 2985 0 20863 0
[pid=2842/tid=2849] ppid=2841 vsize=97284 CPUtime=26.33
/proc/2842/task/2849/stat : 2849 (pb_cplex) R 2841 2841 2453 0 -1 4202560 176322 0 0 0 2549 84 0 0 20 0 2 0 324138 99618816 18098 1992294400 134512640 146736320 4294564016 18446744073709551615 135523290 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 87.93
Current children cumulated vsize (KiB) 105984

[startup+63.9016 s]
/proc/loadavg: 1.85 1.77 1.67 3/109 2849
/proc/meminfo: memFree=1555720/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=97304 CPUtime=93.21
/proc/2842/stat : 2842 (pb_cplex) S 2841 2841 2453 0 -1 4202496 417368 0 0 0 9121 200 0 0 16 0 2 0 321137 99639296 18175 1992294400 134512640 146736320 4294564016 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/2842/statm: 24326 18175 1094 2985 0 20868 0
[pid=2842/tid=2849] ppid=2841 vsize=97304 CPUtime=29.15
/proc/2842/task/2849/stat : 2849 (pb_cplex) R 2841 2841 2453 0 -1 4202560 182107 0 0 0 2828 87 0 0 24 0 2 0 324138 99639296 18175 1992294400 134512640 146736320 4294564016 18446744073709551615 136475864 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 93.21
Current children cumulated vsize (KiB) 106004

[startup+64.7016 s]
/proc/loadavg: 1.85 1.77 1.67 3/109 2849
/proc/meminfo: memFree=1555720/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=102696 CPUtime=94.13
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 419379 0 0 0 9212 201 0 0 16 0 2 0 321137 105160704 19162 1992294400 134512640 146736320 4294564016 18446744073709551615 135850319 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/2842/statm: 25674 19162 1094 2985 0 22216 0
[pid=2842/tid=2849] ppid=2841 vsize=102696 CPUtime=29.95
/proc/2842/task/2849/stat : 2849 (pb_cplex) R 2841 2841 2453 0 -1 4202560 184118 0 0 0 2907 88 0 0 25 0 2 0 324138 105160704 19162 1992294400 134512640 146736320 4294564016 18446744073709551615 139023039 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 94.13
Current children cumulated vsize (KiB) 111396

[startup+65.1016 s]
/proc/loadavg: 1.85 1.77 1.67 2/109 2850
/proc/meminfo: memFree=1555720/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=102696 CPUtime=94.69
/proc/2842/stat : 2842 (pb_cplex) S 2841 2841 2453 0 -1 4202496 420388 0 0 0 9268 201 0 0 16 0 2 0 321137 105160704 19129 1992294400 134512640 146736320 4294564016 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/2842/statm: 25674 19129 1094 2985 0 22216 0
[pid=2842/tid=2849] ppid=2841 vsize=102696 CPUtime=30.35
/proc/2842/task/2849/stat : 2849 (pb_cplex) R 2841 2841 2453 0 -1 4202560 185127 0 0 0 2947 88 0 0 25 0 2 0 324138 105160704 19129 1992294400 134512640 146736320 4294564016 18446744073709551615 139022912 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 94.69
Current children cumulated vsize (KiB) 111396

[startup+65.3017 s]
/proc/loadavg: 1.85 1.77 1.67 2/109 2850
/proc/meminfo: memFree=1555720/2059040 swapFree=4192956/4192956
[pid=2841] ppid=2839 vsize=8700 CPUtime=0
/proc/2841/stat : 2841 (run) S 2839 2841 2453 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 321137 8908800 248 1992294400 4194304 4922060 140736171778080 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/2841/statm: 2175 248 208 178 0 68 0
[pid=2842] ppid=2841 vsize=75176 CPUtime=94.9
/proc/2842/stat : 2842 (pb_cplex) R 2841 2841 2453 0 -1 4202496 420442 0 0 0 9288 202 0 0 16 0 1 0 321137 76980224 12769 1992294400 134512640 146736320 4294564016 18446744073709551615 137650576 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2842/statm: 18794 12769 1094 2985 0 15336 0
Current children cumulated CPU time (s) 94.9
Current children cumulated vsize (KiB) 83876

Child status: 0
Real time (s): 65.3272
CPU time (s): 94.9286
CPU user time (s): 92.8989
CPU system time (s): 2.02969
CPU usage (%): 145.312
Max. virtual memory (cumulated for all children) (KiB): 112516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.8989
system time used= 2.02969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420837
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= 2510
involuntary context switches= 1309

runsolver used 0.12598 second user time and 0.359945 second system time

The end

Launcher Data 

Begin job on node027 at 2010-07-01 23:34:22
IDJOB=2695859
IDBENCH=2848
IDSOLVER=1209
FILE ID=node027/2695859-1278020062
PBS_JOBID= 11198754
Free space on /tmp= 61856 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695859-1278020062/watcher-2695859-1278020062 -o /tmp/evaluation-result-2695859-1278020062/solver-2695859-1278020062 -C 1800 -W 2000 -M 1800  run HOME/instance-2695859-1278020062.opb

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

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=966652212

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.179
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5600.35
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.179
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1626208 kB
Buffers:         57716 kB
Cached:         267036 kB
SwapCached:          0 kB
Active:         162376 kB
Inactive:       221612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1626208 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           19076 kB
Writeback:           0 kB
AnonPages:       59336 kB
Mapped:          14348 kB
Slab:            26924 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179688 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61840 MiB
End job on node027 at 2010-07-01 23:35:28