Trace number 46593

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
bsolo 2006/05SAT (TO)165 1800.63 1800.84

General information on the benchmark

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

Verifier Data (download as text)

OK	165

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

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node16/watcher-46593-1154068698 -o ROOT/results/node16/solver-46593-1154068698 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node16/46593-1154068698/instance-46593-1154068698.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1152480/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=2900 CPUtime=0
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 44 0 0 0 0 0 0 0 19 0 1 0 153730557 2969600 27 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7205163 0 0 4096 0 0 0 0 17 1 0 0
/proc/23833/statm: 725 27 19 55 0 38 0

[startup+10.0006 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1140912/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=16172 CPUtime=9.97
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3297 0 0 0 996 1 0 0 25 0 1 0 153730557 16560128 3211 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 4043 3211 296 55 0 2935 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 16172

[startup+20.0045 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1140208/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=16832 CPUtime=19.98
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3476 0 0 0 1996 2 0 0 25 0 1 0 153730557 17235968 3390 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 4208 3390 296 55 0 3100 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 16832

[startup+30.0084 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1139504/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=17624 CPUtime=29.98
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3646 0 0 0 2996 2 0 0 25 0 1 0 153730557 18046976 3560 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 4406 3560 296 55 0 3298 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 17624

[startup+40.0123 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1138800/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=18288 CPUtime=39.98
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3818 0 0 0 3996 2 0 0 25 0 1 0 153730557 18726912 3732 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 4572 3732 296 55 0 3464 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 18288

[startup+50.0162 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1138096/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=18948 CPUtime=49.99
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 3999 0 0 0 4996 3 0 0 25 0 1 0 153730557 19402752 3913 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 4737 3913 296 55 0 3629 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 18948

[startup+60.0201 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1137392/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=19748 CPUtime=59.99
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4181 0 0 0 5996 3 0 0 25 0 1 0 153730557 20221952 4095 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 4937 4095 296 55 0 3829 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 19748

[startup+70.024 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1136560/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=20540 CPUtime=70
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4385 0 0 0 6996 4 0 0 25 0 1 0 153730557 21032960 4299 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 5135 4299 296 55 0 4027 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 20540

[startup+80.0279 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1135984/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=21200 CPUtime=80
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4546 0 0 0 7996 4 0 0 25 0 1 0 153730557 21708800 4460 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 5300 4460 296 55 0 4192 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 21200

[startup+90.0318 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1134448/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=22652 CPUtime=90
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4928 0 0 0 8995 5 0 0 25 0 1 0 153730557 23195648 4842 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 5663 4842 296 55 0 4555 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 22652

[startup+100.036 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1133552/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=23576 CPUtime=100.01
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 5145 0 0 0 9995 6 0 0 25 0 1 0 153730557 24141824 5059 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534858 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 5894 5059 296 55 0 4786 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 23576

[startup+110.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1132144/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=25028 CPUtime=110.01
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 5498 0 0 0 10994 7 0 0 25 0 1 0 153730557 25628672 5412 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 6257 5412 296 55 0 5149 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 25028

[startup+120.043 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1130608/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=26488 CPUtime=120.01
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 5879 0 0 0 11994 7 0 0 25 0 1 0 153730557 27123712 5793 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 6622 5793 297 55 0 5514 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 26488

[startup+130.047 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1126832/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=30316 CPUtime=130.02
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 6814 0 0 0 12993 9 0 0 25 0 1 0 153730557 31043584 6728 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 7579 6728 297 55 0 6471 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 30316

[startup+140.051 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1125616/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=31632 CPUtime=140.01
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 7136 0 0 0 13992 9 0 0 25 0 1 0 153730557 32391168 7050 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 7908 7050 297 55 0 6800 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 31632

[startup+150.055 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1123824/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=33352 CPUtime=150.02
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 7573 0 0 0 14992 10 0 0 25 0 1 0 153730557 34152448 7487 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 8338 7487 297 55 0 7230 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 33352

[startup+160.059 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1118896/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=38236 CPUtime=160.02
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 8796 0 0 0 15990 12 0 0 25 0 1 0 153730557 39153664 8710 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 9559 8710 297 55 0 8451 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 38236

[startup+170.063 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1112624/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=44008 CPUtime=170.02
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 32333 0 2 0 16978 24 0 0 25 0 1 0 153730557 45064192 10283 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11002 10283 437 55 0 9894 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 44008

[startup+180.067 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1112368/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=44288 CPUtime=180.02
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 53291 0 2 0 17968 34 0 0 25 0 1 0 153730557 45350912 10354 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11072 10354 438 55 0 9964 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 44288

[startup+190.071 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1113200/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=43492 CPUtime=190.03
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 78198 0 2 0 18956 47 0 0 25 0 1 0 153730557 44535808 10163 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 10873 10163 446 55 0 9765 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 43492

[startup+200.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833
/proc/meminfo: memFree=1113264/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=43508 CPUtime=200.03
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 106836 0 2 0 19941 62 0 0 25 0 1 0 153730557 44552192 10167 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 10877 10167 446 55 0 9769 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 43508

[startup+210.079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 23833

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

/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4132144 0 2 0 176382 1770 0 0 25 0 1 0 153730557 47882240 10986 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11690 10986 448 55 0 10582 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 46760

[startup+1782.73 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109552/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46688 CPUtime=1782.52
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4134905 0 2 0 176481 1771 0 0 25 0 1 0 153730557 47808512 10968 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11672 10968 448 55 0 10564 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 46688

[startup+1783.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109360/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46852 CPUtime=1783.53
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4137221 0 2 0 176580 1773 0 0 25 0 1 0 153730557 47976448 11009 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11713 11009 448 55 0 10605 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 46852

[startup+1784.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109488/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46752 CPUtime=1784.54
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4139883 0 2 0 176680 1774 0 0 25 0 1 0 153730557 47874048 10984 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11688 10984 448 55 0 10580 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 46752

[startup+1785.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109424/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46760 CPUtime=1785.54
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4142581 0 2 0 176779 1775 0 0 25 0 1 0 153730557 47882240 10986 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7667654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11690 10986 448 55 0 10582 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 46760

[startup+1786.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109616/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46416 CPUtime=1786.55
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4145254 0 2 0 176879 1776 0 0 25 0 1 0 153730557 47529984 10900 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7671511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11604 10900 448 55 0 10496 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 46416

[startup+1787.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109296/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=47016 CPUtime=1787.55
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4147548 0 2 0 176978 1777 0 0 25 0 1 0 153730557 48144384 11030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11754 11030 448 55 0 10646 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 47016

[startup+1788.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109488/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46716 CPUtime=1788.55
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4150310 0 2 0 177077 1778 0 0 25 0 1 0 153730557 47837184 10975 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11679 10975 448 55 0 10571 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (Kb) 46716

[startup+1789.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109232/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46980 CPUtime=1789.56
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4152364 0 2 0 177177 1779 0 0 25 0 1 0 153730557 48107520 11041 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11745 11041 448 55 0 10637 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 46980

[startup+1790.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109488/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46744 CPUtime=1790.56
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4154932 0 2 0 177276 1780 0 0 25 0 1 0 153730557 47865856 10982 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11687 10982 448 55 0 10579 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 46744

[startup+1791.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1108720/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=47580 CPUtime=1791.57
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4156921 0 2 0 177376 1781 0 0 25 0 1 0 153730557 48721920 11172 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11895 11172 448 55 0 10787 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (Kb) 47580

[startup+1792.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1108784/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=47392 CPUtime=1792.57
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4159531 0 2 0 177475 1782 0 0 25 0 1 0 153730557 48529408 11144 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11848 11144 448 55 0 10740 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 47392

[startup+1793.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109040/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46940 CPUtime=1793.58
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4162094 0 2 0 177575 1783 0 0 25 0 1 0 153730557 48066560 11031 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11735 11031 448 55 0 10627 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (Kb) 46940

[startup+1794.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109040/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=47196 CPUtime=1794.58
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4164656 0 2 0 177674 1784 0 0 25 0 1 0 153730557 48328704 11095 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11799 11095 448 55 0 10691 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 47196

[startup+1795.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109040/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46940 CPUtime=1795.59
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4167062 0 2 0 177774 1785 0 0 25 0 1 0 153730557 48066560 11031 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11735 11031 448 55 0 10627 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 46940

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1108912/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=47124 CPUtime=1796.59
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4169360 0 2 0 177873 1786 0 0 25 0 1 0 153730557 48254976 11077 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11781 11077 448 55 0 10673 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 47124

[startup+1797.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1109168/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=46848 CPUtime=1797.6
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4171659 0 2 0 177973 1787 0 0 25 0 1 0 153730557 47972352 11008 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4158535987 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 11712 11008 448 55 0 10604 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 46848

[startup+1798.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1107504/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=50256 CPUtime=1798.6
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4174019 0 2 0 178072 1788 0 0 25 0 1 0 153730557 51462144 11470 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159176680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 12564 11470 448 55 0 11456 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 50256

[startup+1799.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1105584/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=51312 CPUtime=1799.6
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4175653 0 2 0 178172 1788 0 0 25 0 1 0 153730557 52543488 11950 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4160346983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 12828 11950 448 55 0 11720 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 51312

[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1106608/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=50996 CPUtime=1800.61
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4177950 0 2 0 178272 1789 0 0 25 0 1 0 153730557 52219904 11692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159498697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 12749 11692 448 55 0 11641 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 50996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 24031
/proc/meminfo: memFree=1106608/2055920 swapFree=4183200/4192956
[pid=23833] ppid=23831 vsize=50996 CPUtime=1800.61
/proc/23833/stat : 23833 (bsolo) R 23831 23833 23784 0 -1 0 4177950 0 2 0 178272 1789 0 0 25 0 1 0 153730557 52219904 11692 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4159498721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23833/statm: 12749 11692 448 55 0 11641 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 50996

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

Child status: 10
Real time (s): 1800.84
CPU time (s): 1800.63
CPU user time (s): 1782.73
CPU system time (s): 17.9043
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (Kb): 51312
The end

Launcher Data (download as text)

Begin job on node16 on Fri Jul 28 06:38:18 UTC 2006


FILE ID= 46593-1154068698

PBS_JOBID= 882588

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node16/46593-1154068698/instance-46593-1154068698.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-46593-1154068698 -o ROOT/results/node16/solver-46593-1154068698 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node16/46593-1154068698/instance-46593-1154068698.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  fe9b3ae0ed0deb400897e8cf071ce6eb

RANDOM SEED= 770854794

TIMEOUT= 1800 seconds


/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.229
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.229
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:       1152688 kB
Buffers:         32288 kB
Cached:         816988 kB
SwapCached:       3716 kB
Active:         172060 kB
Inactive:       686004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1152688 kB
SwapTotal:     4192956 kB
SwapFree:      4183200 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14464 kB
Slab:            31200 kB
Committed_AS:   596436 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node16 on Fri Jul 28 07:08:19 UTC 2006