Trace number 37818

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.3SAT-20 1782.74 1783.27

General information on the benchmark

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

Verifier Data (download as text)

OK	-20

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node66/watcher-37818-1149369926 -o ROOT/results/node66/solver-37818-1149369926 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node66/37818-1149369926/instance-37818-1149369926.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.92 3/64 26210
/proc/meminfo: memFree=1681664/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=2572 CPUtime=0
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 202660687 2633728 239 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10104391 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 643 239 199 16 0 84 0

[startup+10.0022 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1677208/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=6764 CPUtime=9.99
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1336 0 0 0 983 16 0 0 25 0 1 0 202660687 6926336 1307 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 1691 1307 205 16 0 1132 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6764

[startup+20.0084 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1677208/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=6892 CPUtime=20
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1354 0 0 0 1970 30 0 0 25 0 1 0 202660687 7057408 1325 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 1723 1325 205 16 0 1164 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 6892

[startup+30.0146 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1675992/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=8028 CPUtime=29.99
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1653 0 0 0 2955 44 0 0 25 0 1 0 202660687 8220672 1624 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 2007 1624 205 16 0 1448 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 8028

[startup+40.0209 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1675928/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=8140 CPUtime=40
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1692 0 0 0 3942 58 0 0 25 0 1 0 202660687 8335360 1659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 2035 1659 205 16 0 1476 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 8140

[startup+50.0271 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1675160/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=8968 CPUtime=50
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1889 0 0 0 4932 68 0 0 25 0 1 0 202660687 9183232 1856 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 2242 1856 205 16 0 1683 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 8968

[startup+60.0333 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1673944/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=10220 CPUtime=60.01
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2188 0 0 0 5924 77 0 0 25 0 1 0 202660687 10465280 2155 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 2555 2155 205 16 0 1996 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 10220

[startup+70.0396 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1672792/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=11348 CPUtime=70.01
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2489 0 0 0 6918 83 0 0 25 0 1 0 202660687 11620352 2456 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 2837 2456 205 16 0 2278 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 11348

[startup+80.0458 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=80.01
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 7915 86 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 12368

[startup+90.052 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=90.02
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 8912 90 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 12368

[startup+100.058 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=100.02
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 9909 93 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 12368

[startup+110.065 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=110.02
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 10903 99 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 12368

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=120.02
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 11893 109 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 12368

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=130.03
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 12886 117 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 12368

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=140.03
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 13879 124 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 12368

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=150.04
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 14875 129 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 12368

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=160.04
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 15865 139 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 12368

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=170.04
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 16855 149 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 12368

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=180.05
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 17845 160 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 12368

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=190.05
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 18836 169 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 12368

[startup+200.121 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=12368 CPUtime=200.05
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 19829 176 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 3092 2699 205 16 0 2533 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 12368

[startup+210.127 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26210
/proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956

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

/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1590.58
Current children cumulated vsize (Kb) 18424

[startup+1601.07 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665496/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1600.58
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 159028 1030 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1600.58
Current children cumulated vsize (Kb) 18424

[startup+1611.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665496/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1610.59
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 160019 1040 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1610.59
Current children cumulated vsize (Kb) 18424

[startup+1621.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1620.59
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 161012 1047 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520212 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1620.59
Current children cumulated vsize (Kb) 18424

[startup+1631.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1630.59
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 162006 1053 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1630.59
Current children cumulated vsize (Kb) 18424

[startup+1641.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1640.59
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 162999 1060 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1640.59
Current children cumulated vsize (Kb) 18424

[startup+1651.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1650.6
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 163992 1068 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559314 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1650.6
Current children cumulated vsize (Kb) 18424

[startup+1661.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1660.6
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 164986 1074 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1660.6
Current children cumulated vsize (Kb) 18424

[startup+1671.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1670.61
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 165982 1079 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1670.61
Current children cumulated vsize (Kb) 18424

[startup+1681.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1680.61
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 166978 1083 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1680.61
Current children cumulated vsize (Kb) 18424

[startup+1691.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=18424 CPUtime=1690.61
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 167971 1090 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4606 4228 205 16 0 4047 0
Current children cumulated CPU time (s) 1690.61
Current children cumulated vsize (Kb) 18424

[startup+1701.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664600/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19376 CPUtime=1700.61
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5500 0 0 0 168966 1095 0 0 25 0 1 0 202660687 19841024 4467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4844 4467 205 16 0 4285 0
Current children cumulated CPU time (s) 1700.61
Current children cumulated vsize (Kb) 19376

[startup+1711.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664600/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19376 CPUtime=1710.62
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5500 0 0 0 169961 1101 0 0 25 0 1 0 202660687 19841024 4467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559230 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4844 4467 205 16 0 4285 0
Current children cumulated CPU time (s) 1710.62
Current children cumulated vsize (Kb) 19376

[startup+1721.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664536/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19376 CPUtime=1720.62
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5500 0 0 0 170955 1107 0 0 25 0 1 0 202660687 19841024 4467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4844 4467 205 16 0 4285 0
Current children cumulated CPU time (s) 1720.62
Current children cumulated vsize (Kb) 19376

[startup+1731.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664472/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19496 CPUtime=1730.62
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5527 0 0 0 171953 1109 0 0 25 0 1 0 202660687 19963904 4494 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4874 4494 205 16 0 4315 0
Current children cumulated CPU time (s) 1730.62
Current children cumulated vsize (Kb) 19496

[startup+1741.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1663704/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=20036 CPUtime=1740.62
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 172944 1118 0 0 25 0 1 0 202660687 20516864 4635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 5009 4635 205 16 0 4450 0
Current children cumulated CPU time (s) 1740.62
Current children cumulated vsize (Kb) 20036

[startup+1751.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1663704/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=20036 CPUtime=1750.63
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 173935 1128 0 0 25 0 1 0 202660687 20516864 4635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 5009 4635 205 16 0 4450 0
Current children cumulated CPU time (s) 1750.63
Current children cumulated vsize (Kb) 20036

[startup+1761.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19380 CPUtime=1760.64
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 174925 1139 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4845 4471 205 16 0 4286 0
Current children cumulated CPU time (s) 1760.64
Current children cumulated vsize (Kb) 19380

[startup+1771.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19380 CPUtime=1770.63
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 175917 1146 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4845 4471 205 16 0 4286 0
Current children cumulated CPU time (s) 1770.63
Current children cumulated vsize (Kb) 19380

[startup+1781.18 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19380 CPUtime=1780.64
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 176907 1157 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4845 4471 205 16 0 4286 0
Current children cumulated CPU time (s) 1780.64
Current children cumulated vsize (Kb) 19380

[startup+1782.19 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19380 CPUtime=1781.65
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 177006 1159 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4845 4471 205 16 0 4286 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (Kb) 19380

[startup+1783.19 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 26212
/proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956
[pid=26210] ppid=26208 vsize=19380 CPUtime=1782.64
/proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 177105 1159 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26210/statm: 4845 4471 205 16 0 4286 0
Current children cumulated CPU time (s) 1782.64
Current children cumulated vsize (Kb) 19380

Child status: 10
Real time (s): 1783.27
CPU time (s): 1782.74
CPU user time (s): 1771.13
CPU system time (s): 11.6042
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (Kb): 20036

Launcher Data (download as text)

Begin job on node66 on Sat Jun  3 21:25:26 UTC 2006


FILE ID= 37818-1149369926

PBS_JOBID= 312139

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node66/37818-1149369926/instance-37818-1149369926.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-37818-1149369926 -o ROOT/results/node66/solver-37818-1149369926 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node66/37818-1149369926/instance-37818-1149369926.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  7f40f8d513f22fc9adca96d8fdf626e2

RANDOM SEED= 137932611


/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.225
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.225
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:       1681808 kB
Buffers:         30944 kB
Cached:         273028 kB
SwapCached:       2368 kB
Active:          56044 kB
Inactive:       256584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1681808 kB
SwapTotal:     4192956 kB
SwapFree:      4182224 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          15144 kB
Slab:            47484 kB
Committed_AS:   331636 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node66 on Sat Jun  3 21:55:09 UTC 2006