Trace number 2697122

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-29OPT5 247.586 158.324

General information on the benchmark

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

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2697122-1278050296.opb.
0.00/0.00	c Instance file HOME/instance-2697122-1278050296.opb
0.00/0.00	c File size is 219680 bytes.
0.00/0.09	c Highest Coefficient sum: 47
0.00/0.09	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
0.00/0.11	c ============================[ Problem Statistics ]=============================
0.00/0.11	c |                                                                             |
0.00/0.11	c |  Parsing time:          0.10         s                                      |
0.00/0.11	c |  Number Variables:      3174                                                |
0.00/0.11	c |  Number Constraints:    6248                                                |
0.00/0.11	c ===============================================================================
247.56/158.31	c Remaining time 1799.90 sec.
247.56/158.31	s OPTIMUM FOUND
247.56/158.31	c Solution value = 5.00
247.56/158.31	v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516 -x2517 x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174
247.56/158.31	c Total CPU time              : 246.818 s

Verifier Data 

OK	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2697122-1278050296/watcher-2697122-1278050296 -o /tmp/evaluation-result-2697122-1278050296/solver-2697122-1278050296 -C 1800 -W 2000 -M 1800 run HOME/instance-2697122-1278050296.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.55 1.77 1.74 3/106 32044
/proc/meminfo: memFree=1440940/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0

[startup+0.065414 s]
/proc/loadavg: 1.55 1.77 1.74 3/106 32044
/proc/meminfo: memFree=1440940/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.103141 s]
/proc/loadavg: 1.55 1.77 1.74 3/106 32044
/proc/meminfo: memFree=1440940/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300131 s]
/proc/loadavg: 1.55 1.77 1.74 3/106 32044
/proc/meminfo: memFree=1440940/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70011 s]
/proc/loadavg: 1.55 1.77 1.74 3/106 32044
/proc/meminfo: memFree=1440940/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50007 s]
/proc/loadavg: 1.55 1.77 1.74 2/108 32046
/proc/meminfo: memFree=1426168/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=63188 CPUtime=1.73
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 13629 0 0 0 167 6 0 0 17 0 2 0 146324955 64704512 8504 1992294400 134512640 146736320 4293009872 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 15797 8504 1079 2985 0 12339 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 71888

[startup+3.10198 s]
/proc/loadavg: 1.55 1.77 1.74 3/109 32047
/proc/meminfo: memFree=1408428/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=68424 CPUtime=4.34
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 16650 0 0 0 424 10 0 0 16 0 2 0 146324955 70066176 9617 1992294400 134512640 146736320 4293009872 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 17106 9617 1049 2985 0 13648 0
[pid=32045/tid=32047] ppid=32044 vsize=68424 CPUtime=1.74
/proc/32045/task/32047/stat : 32047 (pb_cplex) R 32044 32044 31588 0 -1 4202560 3760 0 0 0 171 3 0 0 18 0 2 0 146325067 70066176 9617 1992294400 134512640 146736320 4293009872 18446744073709551615 136730181 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 77124

[startup+6.30182 s]
/proc/loadavg: 1.51 1.76 1.74 2/108 32047
/proc/meminfo: memFree=1408436/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=59340 CPUtime=7.54
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 16817 0 0 0 742 12 0 0 20 0 1 0 146324955 60764160 9110 1992294400 134512640 146736320 4293009872 18446744073709551615 139042901 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/32045/statm: 14835 9110 1057 2985 0 11377 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 68040

[startup+12.7005 s]
/proc/loadavg: 1.47 1.75 1.73 2/108 32047
/proc/meminfo: memFree=1408312/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=59340 CPUtime=13.94
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 16818 0 0 0 1382 12 0 0 25 0 1 0 146324955 60764160 9111 1992294400 134512640 146736320 4293009872 18446744073709551615 136008450 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/32045/statm: 14835 9111 1057 2985 0 11377 0
Current children cumulated CPU time (s) 13.94
Current children cumulated vsize (KiB) 68040

[startup+25.5008 s]
/proc/loadavg: 1.36 1.71 1.72 2/108 32049
/proc/meminfo: memFree=1408312/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=59340 CPUtime=26.73
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 16847 0 0 0 2660 13 0 0 25 0 1 0 146324955 60764160 9140 1992294400 134512640 146736320 4293009872 18446744073709551615 136403116 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/32045/statm: 14835 9140 1057 2985 0 11377 0
Current children cumulated CPU time (s) 26.73
Current children cumulated vsize (KiB) 68040

[startup+51.1005 s]
/proc/loadavg: 1.38 1.68 1.71 3/109 32051
/proc/meminfo: memFree=1391564/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=83132 CPUtime=60.6
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 30041 0 0 0 6039 21 0 0 25 0 2 0 146324955 85127168 13971 1992294400 134512640 146736320 4293009872 18446744073709551615 139023053 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 20783 13971 1067 2985 0 17325 0
[pid=32045/tid=32051] ppid=32044 vsize=83132 CPUtime=6.69
/proc/32045/task/32051/stat : 32051 (pb_cplex) R 32044 32044 31588 0 -1 4202560 3360 0 0 0 667 2 0 0 25 0 2 0 146327976 85127168 13971 1992294400 134512640 146736320 4293009872 18446744073709551615 136451781 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 60.6
Current children cumulated vsize (KiB) 91832

[startup+102.309 s]
/proc/loadavg: 1.69 1.72 1.72 3/109 32053
/proc/meminfo: memFree=1390200/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=82232 CPUtime=152.77
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 65794 0 0 0 15232 45 0 0 25 0 2 0 146324955 84205568 14400 1992294400 134512640 146736320 4293009872 18446744073709551615 139023053 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 20558 14400 1067 2985 0 17100 0
[pid=32045/tid=32051] ppid=32044 vsize=82232 CPUtime=54.89
/proc/32045/task/32051/stat : 32051 (pb_cplex) R 32044 32044 31588 0 -1 4202560 19577 0 0 0 5477 12 0 0 25 0 2 0 146327976 84205568 14400 1992294400 134512640 146736320 4293009872 18446744073709551615 136002768 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 152.77
Current children cumulated vsize (KiB) 90932

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

[startup+127.9 s]
/proc/loadavg: 1.79 1.74 1.73 3/109 32053
/proc/meminfo: memFree=1392804/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=75032 CPUtime=200.76
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 99468 0 0 0 20012 64 0 0 25 0 2 0 146324955 76832768 12904 1992294400 134512640 146736320 4293009872 18446744073709551615 136008450 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 18758 12904 1067 2985 0 15300 0
[pid=32045/tid=32051] ppid=32044 vsize=75032 CPUtime=79.26
/proc/32045/task/32051/stat : 32051 (pb_cplex) R 32044 32044 31588 0 -1 4202560 30338 0 0 0 7907 19 0 0 25 0 2 0 146327976 76832768 12904 1992294400 134512640 146736320 4293009872 18446744073709551615 136008446 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 200.76
Current children cumulated vsize (KiB) 83732

[startup+140.701 s]
/proc/loadavg: 1.84 1.75 1.73 2/109 32053
/proc/meminfo: memFree=1392680/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=75060 CPUtime=224.4
/proc/32045/stat : 32045 (pb_cplex) S 32044 32044 31588 0 -1 4202496 105695 0 0 0 22372 68 0 0 25 0 2 0 146324955 76861440 12925 1992294400 134512640 146736320 4293009872 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 18765 12925 1067 2985 0 15307 0
[pid=32045/tid=32051] ppid=32044 vsize=75060 CPUtime=91.98
/proc/32045/task/32051/stat : 32051 (pb_cplex) R 32044 32044 31588 0 -1 4202560 31109 0 0 0 9178 20 0 0 25 0 2 0 146327976 76861440 12925 1992294400 134512640 146736320 4293009872 18446744073709551615 136402277 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 224.4
Current children cumulated vsize (KiB) 83760

[startup+147.1 s]
/proc/loadavg: 1.77 1.74 1.73 3/109 32053
/proc/meminfo: memFree=1392556/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=74568 CPUtime=233
/proc/32045/stat : 32045 (pb_cplex) S 32044 32044 31588 0 -1 4202496 109554 0 0 0 23229 71 0 0 21 0 2 0 146324955 76357632 12950 1992294400 134512640 146736320 4293009872 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 18642 12950 1067 2985 0 15184 0
[pid=32045/tid=32051] ppid=32044 vsize=74568 CPUtime=98.35
/proc/32045/task/32051/stat : 32051 (pb_cplex) R 32044 32044 31588 0 -1 4202560 33290 0 0 0 9813 22 0 0 25 0 2 0 146327976 76357632 12950 1992294400 134512640 146736320 4293009872 18446744073709551615 135467759 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 233
Current children cumulated vsize (KiB) 83268

[startup+153.5 s]
/proc/loadavg: 1.71 1.72 1.72 3/109 32053
/proc/meminfo: memFree=1392432/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=74600 CPUtime=240.47
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 110107 0 0 0 23975 72 0 0 19 0 2 0 146324955 76390400 12989 1992294400 134512640 146736320 4293009872 18446744073709551615 138373537 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 18650 12989 1067 2985 0 15192 0
[pid=32045/tid=32051] ppid=32044 vsize=74600 CPUtime=104.74
/proc/32045/task/32051/stat : 32051 (pb_cplex) R 32044 32044 31588 0 -1 4202560 33292 0 0 0 10452 22 0 0 25 0 2 0 146327976 76390400 12989 1992294400 134512640 146736320 4293009872 18446744073709551615 136000412 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 240.47
Current children cumulated vsize (KiB) 83300

[startup+156.701 s]
/proc/loadavg: 1.73 1.73 1.72 5/109 32053
/proc/meminfo: memFree=1393176/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=75608 CPUtime=245.78
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 112033 0 0 0 24504 74 0 0 19 0 2 0 146324955 77422592 13131 1992294400 134512640 146736320 4293009872 18446744073709551615 136403116 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 18902 13131 1067 2985 0 15444 0
[pid=32045/tid=32051] ppid=32044 vsize=75608 CPUtime=106.85
/proc/32045/task/32051/stat : 32051 (pb_cplex) S 32044 32044 31588 0 -1 4202560 33528 0 0 0 10662 23 0 0 19 0 2 0 146327976 77422592 13131 1992294400 134512640 146736320 4293009872 18446744073709551615 144580073 0 2 4096 16387 18446604437814000576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 245.78
Current children cumulated vsize (KiB) 84308

[startup+157.501 s]
/proc/loadavg: 1.73 1.73 1.72 2/109 32053
/proc/meminfo: memFree=1392556/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=75608 CPUtime=246.58
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 112034 0 0 0 24584 74 0 0 21 0 2 0 146324955 77422592 13132 1992294400 134512640 146736320 4293009872 18446744073709551615 136000488 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 18902 13132 1067 2985 0 15444 0
[pid=32045/tid=32051] ppid=32044 vsize=75608 CPUtime=106.85
/proc/32045/task/32051/stat : 32051 (pb_cplex) S 32044 32044 31588 0 -1 4202560 33528 0 0 0 10662 23 0 0 19 0 2 0 146327976 77422592 13132 1992294400 134512640 146736320 4293009872 18446744073709551615 144580073 0 2 4096 16387 18446604437814000576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 246.58
Current children cumulated vsize (KiB) 84308

[startup+157.901 s]
/proc/loadavg: 1.73 1.73 1.72 2/109 32053
/proc/meminfo: memFree=1392556/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=75608 CPUtime=246.98
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 112035 0 0 0 24624 74 0 0 22 0 2 0 146324955 77422592 13133 1992294400 134512640 146736320 4293009872 18446744073709551615 136015575 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/32045/statm: 18902 13133 1067 2985 0 15444 0
[pid=32045/tid=32051] ppid=32044 vsize=75608 CPUtime=106.85
/proc/32045/task/32051/stat : 32051 (pb_cplex) S 32044 32044 31588 0 -1 4202560 33528 0 0 0 10662 23 0 0 19 0 2 0 146327976 77422592 13133 1992294400 134512640 146736320 4293009872 18446744073709551615 144580073 0 2 4096 16387 18446604437814000576 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 246.98
Current children cumulated vsize (KiB) 84308

[startup+158.302 s]
/proc/loadavg: 1.73 1.73 1.72 2/108 32053
/proc/meminfo: memFree=1405336/2059040 swapFree=4139568/4192956
[pid=32044] ppid=32042 vsize=8700 CPUtime=0
/proc/32044/stat : 32044 (run) S 32042 32044 31588 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146324954 8908800 248 1992294400 4194304 4922060 140736727351312 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/32044/statm: 2175 248 208 178 0 68 0
[pid=32045] ppid=32044 vsize=61024 CPUtime=247.56
/proc/32045/stat : 32045 (pb_cplex) R 32044 32044 31588 0 -1 4202496 114057 0 0 0 24681 75 0 0 16 0 1 0 146324955 62488576 9788 1992294400 134512640 146736320 4293009872 18446744073709551615 136765706 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/32045/statm: 15256 9788 1073 2985 0 11798 0
Current children cumulated CPU time (s) 247.56
Current children cumulated vsize (KiB) 69724

Child status: 0
Real time (s): 158.324
CPU time (s): 247.586
CPU user time (s): 246.82
CPU system time (s): 0.765883
CPU usage (%): 156.38
Max. virtual memory (cumulated for all children) (KiB): 92272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.82
system time used= 0.765883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114446
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= 772
involuntary context switches= 3558

runsolver used 0.312952 second user time and 0.85387 second system time

The end

Launcher Data 

Begin job on node030 at 2010-07-02 07:58:16
IDJOB=2697122
IDBENCH=48156
IDSOLVER=1209
FILE ID=node030/2697122-1278050296
PBS_JOBID= 11198860
Free space on /tmp= 62452 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697122-1278050296/watcher-2697122-1278050296 -o /tmp/evaluation-result-2697122-1278050296/solver-2697122-1278050296 -C 1800 -W 2000 -M 1800  run HOME/instance-2697122-1278050296.opb

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

MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5
RANDOM SEED=1187154764

node030.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		: 3000.244
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	: 6000.48
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		: 3000.244
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.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1442088 kB
Buffers:        148312 kB
Cached:         355984 kB
SwapCached:       7532 kB
Active:         235392 kB
Inactive:       283652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1442088 kB
SwapTotal:     4192956 kB
SwapFree:      4139568 kB
Dirty:           16632 kB
Writeback:           0 kB
AnonPages:       12712 kB
Mapped:          12080 kB
Slab:            75960 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181924 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2697122-1278050296.opb

Free space on /tmp at the end= 62436 MiB
End job on node030 at 2010-07-02 08:00:55