Trace number 351995

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, and are wall clock time (not CPU 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
Pueblo 1.4SAT938 1782.74 1783.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM6db31fd4066996ff4f309d723fc2c237
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark904
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 904
Optimality of the best value was proved YES
Number of variables1800
Total number of constraints215
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)215
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint72
Number of terms in the objective function 1800
Biggest coefficient in the objective function 86
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 41700
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 86
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 41700
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.00/0.05	c starting to Solve
0.00/0.05	c #variables read: 1800 - #constraints read: 341
1.49/1.53	o 996
15.08/15.17	o 966
184.82/184.96	o 962
293.97/294.17	o 950
366.45/366.64	o 942
561.37/561.64	o 938
1782.72/1783.50	c total time              : 1783 s
1782.72/1783.50	s SATISFIABLE
1782.72/1783.50	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043
1782.72/1783.50	v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060
1782.72/1783.50	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077
1782.72/1783.50	v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
1782.72/1783.50	v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1782.72/1783.50	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1782.72/1783.50	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1782.72/1783.50	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
1782.72/1783.50	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1782.72/1783.50	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
1782.72/1783.50	v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1782.72/1783.50	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1782.72/1783.50	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1782.72/1783.50	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264
1782.72/1783.50	v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281
1782.72/1783.50	v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298
1782.72/1783.50	v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1782.72/1783.50	v x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332
1782.72/1783.50	v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349
1782.72/1783.50	v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366
1782.72/1783.50	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383
1782.72/1783.50	v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1782.72/1783.50	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417
1782.72/1783.50	v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434
1782.72/1783.50	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
1782.72/1783.50	v -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1782.72/1783.50	v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1782.72/1783.50	v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
1782.72/1783.50	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1782.72/1783.50	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536
1782.72/1783.50	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1782.72/1783.50	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1782.72/1783.50	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587
1782.72/1783.50	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604
1782.72/1783.50	v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621
1782.72/1783.50	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
1782.72/1783.50	v -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
1782.72/1783.50	v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672
1782.72/1783.50	v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689
1782.72/1783.50	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706
1782.72/1783.50	v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723
1782.72/1783.50	v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1782.72/1783.50	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757
1782.72/1783.50	v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
1782.72/1783.50	v -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791
1782.72/1783.50	v -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14
1782.72/1783.50	v 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
1782.72/1783.50	v -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
1782.72/1783.50	v -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
1782.72/1783.50	v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114
1782.72/1783.50	v -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135
1782.72/1783.50	v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156
1782.72/1783.50	v -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
1782.72/1783.50	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198
1782.72/1783.50	v -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219
1782.72/1783.50	v -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
1782.72/1783.50	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261
1782.72/1783.50	v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282
1782.72/1783.50	v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303
1782.72/1783.50	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324
1782.72/1783.50	v -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345
1782.72/1783.50	v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366
1782.72/1783.50	v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387
1782.72/1783.50	v -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408
1782.72/1783.50	v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429
1782.72/1783.50	v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
1782.72/1783.50	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471
1782.72/1783.50	v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492
1782.72/1783.50	v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513
1782.72/1783.50	v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534
1782.72/1783.50	v -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555
1782.72/1783.50	v -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576
1782.72/1783.50	v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597
1782.72/1783.50	v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618
1782.72/1783.50	v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639
1782.72/1783.50	v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
1782.72/1783.50	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681
1782.72/1783.50	v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702
1782.72/1783.50	v -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723
1782.72/1783.50	v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744
1782.72/1783.50	v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765
1782.72/1783.50	v -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786
1782.72/1783.50	v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807
1782.72/1783.50	v -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828
1782.72/1783.50	v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849
1782.72/1783.50	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
1782.72/1783.50	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891
1782.72/1783.50	v -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912
1782.72/1783.50	v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
1782.72/1783.50	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954
1782.72/1783.50	v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975
1782.72/1783.50	v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996
1782.72/1783.50	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
1782.72/1783.50	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026

Verifier Data (download as text)

OK	938

Conversion Script Data (download as text)

/tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node20/watcher-351995-1176619516 -o ROOT/results/node20/solver-351995-1176619516 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351995-1176619516/instance-351995-1176619516.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.05 1.10 1.08 3/77 6290
/proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=2552 CPUtime=0
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 109868914 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 638 228 193 16 0 77 0

[startup+0.097392 s]
/proc/loadavg: 1.05 1.10 1.08 3/77 6290
/proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=3616 CPUtime=0.09
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 540 0 0 0 9 0 0 0 18 0 1 0 109868914 3702784 510 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 904 510 205 16 0 343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3616

[startup+0.101392 s]
/proc/loadavg: 1.05 1.10 1.08 3/77 6290
/proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=3616 CPUtime=0.09
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 540 0 0 0 9 0 0 0 18 0 1 0 109868914 3702784 510 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527444 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 904 510 205 16 0 343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3616

[startup+0.301432 s]
/proc/loadavg: 1.05 1.10 1.08 3/77 6290
/proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=4148 CPUtime=0.29
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 661 0 0 0 29 0 0 0 19 0 1 0 109868914 4247552 631 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 1037 631 205 16 0 476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4148

[startup+0.701512 s]
/proc/loadavg: 1.05 1.10 1.08 3/77 6290
/proc/meminfo: memFree=1861944/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=4332 CPUtime=0.69
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 738 0 0 0 69 0 0 0 23 0 1 0 109868914 4435968 708 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 1083 708 205 16 0 522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4332

[startup+1.50167 s]
/proc/loadavg: 1.05 1.10 1.08 2/78 6291
/proc/meminfo: memFree=1859504/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=5140 CPUtime=1.49
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 923 0 0 0 149 0 0 0 25 0 1 0 109868914 5263360 893 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 1285 893 205 16 0 724 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5140

[startup+3.10199 s]
/proc/loadavg: 1.05 1.10 1.08 2/78 6291
/proc/meminfo: memFree=1858672/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=5880 CPUtime=3.09
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 1143 0 0 0 309 0 0 0 25 0 1 0 109868914 6021120 1094 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 1470 1094 205 16 0 909 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5880

[startup+6.30263 s]
/proc/loadavg: 1.05 1.10 1.08 2/78 6291
/proc/meminfo: memFree=1857976/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=7208 CPUtime=6.28
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 1458 0 0 0 627 1 0 0 25 0 1 0 109868914 7380992 1405 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 1802 1405 205 16 0 1241 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7208

[startup+12.7019 s]
/proc/loadavg: 1.04 1.10 1.07 2/78 6291
/proc/meminfo: memFree=1855928/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=8012 CPUtime=12.68
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 1701 0 0 0 1266 2 0 0 25 0 1 0 109868914 8204288 1630 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 2003 1630 205 16 0 1442 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8012

[startup+25.5015 s]
/proc/loadavg: 1.03 1.09 1.07 2/78 6291
/proc/meminfo: memFree=1854520/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=9468 CPUtime=25.47
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 2118 0 0 0 2543 4 0 0 25 0 1 0 109868914 9695232 1994 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 2367 1994 205 16 0 1806 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 9468

[startup+51.1016 s]
/proc/loadavg: 1.02 1.08 1.07 2/78 6291
/proc/meminfo: memFree=1853816/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=10236 CPUtime=51.07
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 2396 0 0 0 5100 7 0 0 25 0 1 0 109868914 10481664 2186 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 2559 2186 205 16 0 1998 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10236

[startup+102.306 s]
/proc/loadavg: 1.01 1.07 1.07 2/78 6291
/proc/meminfo: memFree=1852216/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=11900 CPUtime=102.26
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 2790 0 0 0 10214 12 0 0 25 0 1 0 109868914 12185600 2579 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 2975 2579 205 16 0 2414 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11900

[startup+162.302 s]
/proc/loadavg: 1.00 1.05 1.06 2/78 6291
/proc/meminfo: memFree=1852088/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=11876 CPUtime=162.22
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 2803 0 0 0 16206 16 0 0 25 0 1 0 109868914 12161024 2592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 2969 2592 205 16 0 2408 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 11876

[startup+222.302 s]
/proc/loadavg: 1.00 1.04 1.05 2/78 6291
/proc/meminfo: memFree=1851064/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=12552 CPUtime=222.2
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3165 0 0 0 22200 20 0 0 25 0 1 0 109868914 12853248 2765 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3138 2765 205 16 0 2577 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 12552

[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.05 2/78 6291
/proc/meminfo: memFree=1851448/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=12132 CPUtime=282.18
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3211 0 0 0 28192 26 0 0 25 0 1 0 109868914 12423168 2660 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3033 2660 205 16 0 2472 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 12132

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.04 2/78 6291
/proc/meminfo: memFree=1850616/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=12836 CPUtime=342.15
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3623 0 0 0 34184 31 0 0 25 0 1 0 109868914 13144064 2836 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3209 2836 205 16 0 2648 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 12836

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.04 2/78 6291
/proc/meminfo: memFree=1850552/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=12936 CPUtime=402.13
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3774 0 0 0 40176 37 0 0 25 0 1 0 109868914 13246464 2861 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134533509 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3234 2861 205 16 0 2673 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 12936

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.03 2/78 6291
/proc/meminfo: memFree=1850552/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=12932 CPUtime=462.11
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 3935 0 0 0 46169 42 0 0 25 0 1 0 109868914 13242368 2856 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532937 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3233 2856 205 16 0 2672 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 12932

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.02 2/78 6291
/proc/meminfo: memFree=1849528/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=13448 CPUtime=522.09
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 4370 0 0 0 52161 48 0 0 25 0 1 0 109868914 13770752 2989 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3362 2989 205 16 0 2801 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 13448

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 6291
/proc/meminfo: memFree=1849400/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=13740 CPUtime=582.07
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 4624 0 0 0 58155 52 0 0 25 0 1 0 109868914 14069760 3062 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556221 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3435 3062 205 16 0 2874 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 13740

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 6291
/proc/meminfo: memFree=1849656/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=13448 CPUtime=642.05
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 4731 0 0 0 64149 56 0 0 25 0 1 0 109868914 13770752 2989 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3362 2989 205 16 0 2801 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 13448


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

/proc/meminfo: memFree=1848440/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=14396 CPUtime=821.98
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6002 0 0 0 82129 69 0 0 25 0 1 0 109868914 14741504 3226 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3599 3226 205 16 0 3038 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 14396

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6291
/proc/meminfo: memFree=1848504/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=14520 CPUtime=881.96
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6078 0 0 0 88123 73 0 0 25 0 1 0 109868914 14868480 3234 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3630 3234 205 16 0 3069 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 14520

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6291
/proc/meminfo: memFree=1848440/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=14340 CPUtime=941.93
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6078 0 0 0 94116 77 0 0 25 0 1 0 109868914 14684160 3212 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3585 3212 205 16 0 3024 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 14340

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 6469
/proc/meminfo: memFree=1846656/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=14568 CPUtime=1001.82
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6239 0 0 0 100101 81 0 0 25 0 1 0 109868914 14917632 3269 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134533587 0 0 4096 0 0 0 0 17 0 0 0
/proc/6290/statm: 3642 3269 205 16 0 3081 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 14568

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1847344/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=15340 CPUtime=1061.79
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6699 0 0 0 106096 83 0 0 25 0 1 0 109868914 15708160 3442 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528801 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3835 3442 205 16 0 3274 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 15340

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1846448/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=15924 CPUtime=1121.77
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6901 0 0 0 112090 87 0 0 25 0 1 0 109868914 16306176 3604 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3981 3604 205 16 0 3420 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 15924

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1846640/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=15592 CPUtime=1181.75
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 6926 0 0 0 118084 91 0 0 25 0 1 0 109868914 15966208 3524 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3898 3524 205 16 0 3337 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 15592

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1846064/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16196 CPUtime=1241.73
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7198 0 0 0 124078 95 0 0 25 0 1 0 109868914 16584704 3668 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4049 3668 205 16 0 3488 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 16196

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1845808/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16312 CPUtime=1301.71
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7269 0 0 0 130073 98 0 0 25 0 1 0 109868914 16703488 3705 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4078 3705 205 16 0 3517 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 16312

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1845816/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16312 CPUtime=1361.67
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7269 0 0 0 136067 100 0 0 25 0 1 0 109868914 16703488 3705 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522546 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4078 3705 205 16 0 3517 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 16312

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1845752/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16440 CPUtime=1421.66
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7279 0 0 0 142062 104 0 0 25 0 1 0 109868914 16834560 3715 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517916 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4110 3715 205 16 0 3549 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 16440

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1845752/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16440 CPUtime=1481.63
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7279 0 0 0 148055 108 0 0 25 0 1 0 109868914 16834560 3715 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4110 3715 205 16 0 3549 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 16440

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1845368/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16512 CPUtime=1541.6
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7345 0 0 0 154049 111 0 0 25 0 1 0 109868914 16908288 3755 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527993 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4128 3755 205 16 0 3567 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 16512

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1845304/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16452 CPUtime=1601.58
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7345 0 0 0 160044 114 0 0 25 0 1 0 109868914 16846848 3740 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4113 3740 205 16 0 3552 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 16452

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1844984/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16840 CPUtime=1661.57
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7439 0 0 0 166039 118 0 0 25 0 1 0 109868914 17244160 3834 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4210 3834 205 16 0 3649 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 16840

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1845176/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16452 CPUtime=1721.54
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7439 0 0 0 172033 121 0 0 25 0 1 0 109868914 16846848 3740 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4113 3740 205 16 0 3552 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 16452

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1844664/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16956 CPUtime=1781.52
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7570 0 0 0 178027 125 0 0 25 0 1 0 109868914 17362944 3864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4239 3864 205 16 0 3678 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 16956

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1844664/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16956 CPUtime=1782.33
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7570 0 0 0 178108 125 0 0 25 0 1 0 109868914 17362944 3864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4239 3864 205 16 0 3678 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 16956

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6489
/proc/meminfo: memFree=1844664/2055920 swapFree=4121752/4192956
[pid=6290] ppid=6288 vsize=16956 CPUtime=1782.72
/proc/6290/stat : 6290 (Pueblo) R 6288 6290 5115 0 -1 4194304 7570 0 0 0 178147 125 0 0 25 0 1 0 109868914 17362944 3864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 4239 3864 205 16 0 3678 0
Current children cumulated CPU time (s) 1782.72
Current children cumulated vsize (KiB) 16956

Child status: 10
Real time (s): 1783.51
CPU time (s): 1782.74
CPU user time (s): 1781.49
CPU system time (s): 1.25481
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 16956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.49
system time used= 1.25481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7577
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= 16
involuntary context switches= 37379

runsolver used 1.72474 second user time and 3.98939 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sun Apr 15 06:45:16 UTC 2007

IDJOB= 351995
IDBENCH= 1872
IDSOLVER= 165
FILE ID= node20/351995-1176619516

PBS_JOBID= 4557045

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
COMMAND LINE= Pueblo /tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-351995-1176619516 -o ROOT/results/node20/conversion-351995-1176619516 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-351995-1176619516 -o ROOT/results/node20/solver-351995-1176619516 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/351995-1176619516/instance-351995-1176619516.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  6db31fd4066996ff4f309d723fc2c237

RANDOM SEED= 134777948

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.265
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.265
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1862352 kB
Buffers:         10332 kB
Cached:         121476 kB
SwapCached:      22076 kB
Active:          46940 kB
Inactive:       109428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862352 kB
SwapTotal:     4192956 kB
SwapFree:      4121752 kB
Dirty:            2472 kB
Writeback:           0 kB
Mapped:          25136 kB
Slab:            22732 kB
Committed_AS:   727356 kB
PageTables:       1768 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node20 on Sun Apr 15 07:14:59 UTC 2007