Trace number 3726870

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.02SAT (TO)30 1800.45 900.62

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_5_errors.opb
MD5SUM06d341d0af76f66d4946a3c264573060
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.69474
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	30

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3726870-1338666860/watcher-3726870-1338666860 -o /tmp/evaluation-result-3726870-1338666860/solver-3726870-1338666860 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726870-1338666860.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 4.00 3.82 4/178 18266
/proc/meminfo: memFree=27754588/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=5716 CPUtime=0 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) R 18264 18266 17860 0 -1 4202496 662 0 0 0 0 0 0 0 20 0 1 0 332810916 5853184 615 33554432000 4194304 5964478 140733808204400 140733752467816 5179243 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 1429 627 165 433 0 918 0

[startup+0.0604769 s]
/proc/loadavg: 4.00 4.00 3.82 4/178 18266
/proc/meminfo: memFree=27754588/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=166752 CPUtime=0.07 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 3200 0 0 0 6 1 0 0 20 0 3 0 332810916 170754048 3077 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 41688 3077 196 433 0 41252 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 166752

[startup+0.100174 s]
/proc/loadavg: 4.00 4.00 3.82 4/178 18266
/proc/meminfo: memFree=27754588/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=166752 CPUtime=0.15 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 3271 0 0 0 14 1 0 0 20 0 3 0 332810916 170754048 3148 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 41688 3148 196 433 0 41252 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 166752

[startup+0.300125 s]
/proc/loadavg: 4.00 4.00 3.82 4/178 18266
/proc/meminfo: memFree=27754588/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=166752 CPUtime=0.55 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 3371 0 0 0 54 1 0 0 20 0 3 0 332810916 170754048 3248 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 41688 3248 196 433 0 41252 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 166752

[startup+0.700126 s]
/proc/loadavg: 4.00 4.00 3.82 4/178 18266
/proc/meminfo: memFree=27754588/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=166752 CPUtime=1.35 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 3897 0 0 0 133 2 0 0 20 0 3 0 332810916 170754048 3774 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 41688 3774 196 433 0 41252 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 166752

[startup+1.50024 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 18269
/proc/meminfo: memFree=27733144/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=166896 CPUtime=2.94 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 4661 0 0 0 292 2 0 0 20 0 3 0 332810916 170901504 4538 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 41724 4538 196 433 0 41288 0
[pid=18266/tid=18268] ppid=18264 vsize=166896 CPUtime=1.45 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 1931 0 0 0 143 2 0 0 20 0 3 0 332810919 170901504 4538 33554432000 4194304 5964478 140733808204400 140039506954040 4403721 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=166896 CPUtime=1.44 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 824 0 0 0 144 0 0 0 20 0 3 0 332810919 170901504 4538 33554432000 4194304 5964478 140733808204400 140039496464688 4403729 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 166896

[startup+3.10026 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 18269
/proc/meminfo: memFree=27726928/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=167328 CPUtime=6.12 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 5915 0 0 0 610 2 0 0 20 0 3 0 332810916 171343872 5792 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 41832 5792 196 433 0 41396 0
[pid=18266/tid=18268] ppid=18264 vsize=167328 CPUtime=3.05 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 2943 0 0 0 303 2 0 0 20 0 3 0 332810919 171343872 5792 33554432000 4194304 5964478 140733808204400 140039506954040 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=167328 CPUtime=3.03 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 1066 0 0 0 303 0 0 0 20 0 3 0 332810919 171343872 5792 33554432000 4194304 5964478 140733808204400 140039496464688 4400103 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 167328

[startup+6.30033 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 18269
/proc/meminfo: memFree=27709072/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=168120 CPUtime=12.52 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 7762 0 0 0 1249 3 0 0 20 0 3 0 332810916 172154880 7639 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 42030 7639 205 433 0 41594 0
[pid=18266/tid=18268] ppid=18264 vsize=168120 CPUtime=6.25 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 3982 0 0 0 622 3 0 0 20 0 3 0 332810919 172154880 7639 33554432000 4194304 5964478 140733808204400 140039506954224 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=168120 CPUtime=6.22 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 1874 0 0 0 622 0 0 0 20 0 3 0 332810919 172154880 7639 33554432000 4194304 5964478 140733808204400 140039496464608 4389160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 168120

[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.82 5/180 18269
/proc/meminfo: memFree=27689724/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=170640 CPUtime=25.3 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 9853 0 0 0 2526 4 0 0 20 0 3 0 332810916 174735360 9730 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 42660 9730 205 433 0 42224 0
[pid=18266/tid=18268] ppid=18264 vsize=170640 CPUtime=12.65 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 5943 0 0 0 1261 4 0 0 20 0 3 0 332810919 174735360 9730 33554432000 4194304 5964478 140733808204400 140039506954280 4400551 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=170640 CPUtime=12.61 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 2004 0 0 0 1261 0 0 0 20 0 3 0 332810919 174735360 9730 33554432000 4194304 5964478 140733808204400 140039496464696 4403343 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 170640

[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 18270
/proc/meminfo: memFree=27660576/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=175556 CPUtime=50.86 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 13474 0 0 0 5079 7 0 0 20 0 3 0 332810916 179769344 13351 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 43889 13351 205 433 0 43453 0
[pid=18266/tid=18268] ppid=18264 vsize=175556 CPUtime=25.45 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 9166 0 0 0 2539 6 0 0 20 0 3 0 332810919 179769344 13351 33554432000 4194304 5964478 140733808204400 140039506953752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=175556 CPUtime=25.37 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 2402 0 0 0 2535 2 0 0 20 0 3 0 332810919 179769344 13351 33554432000 4194304 5964478 140733808204400 140039496464800 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 175556

[startup+51.1003 s]
/proc/loadavg: 3.94 3.98 3.82 5/181 18270
/proc/meminfo: memFree=27628008/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=180884 CPUtime=102.02 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 18567 0 0 0 10190 12 0 0 20 0 3 0 332810916 185225216 18444 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 45221 18444 205 433 0 44785 0
[pid=18266/tid=18268] ppid=18264 vsize=180884 CPUtime=51.05 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 12880 0 0 0 5095 10 0 0 20 0 3 0 332810919 185225216 18444 33554432000 4194304 5964478 140733808204400 140039506954280 4400460 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=180884 CPUtime=50.93 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 3781 0 0 0 5089 4 0 0 20 0 3 0 332810919 185225216 18444 33554432000 4194304 5964478 140733808204400 140039496464696 4400416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 180884

[startup+102.307 s]
/proc/loadavg: 3.97 3.98 3.82 5/181 18270
/proc/meminfo: memFree=27582624/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=185432 CPUtime=204.37 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 23967 0 0 0 20416 21 0 0 20 0 3 0 332810916 189882368 24204 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 46358 24204 205 433 0 45922 0
[pid=18266/tid=18268] ppid=18264 vsize=185432 CPUtime=102.25 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 16345 0 0 0 10207 18 0 0 20 0 3 0 332810919 189882368 24204 33554432000 4194304 5964478 140733808204400 140039506954232 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=185432 CPUtime=102.1 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 5716 0 0 0 10203 7 0 0 20 0 3 0 332810919 189882368 24204 33554432000 4194304 5964478 140733808204400 140039496464800 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.37
Current children cumulated vsize (KiB) 185432

[startup+162.3 s]
/proc/loadavg: 3.99 3.98 3.83 5/181 18270
/proc/meminfo: memFree=27531880/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=260032 CPUtime=324.26 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 29802 0 0 0 32399 27 0 0 20 0 3 0 332810916 266272768 31218 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 65008 31218 205 433 0 64572 0
[pid=18266/tid=18268] ppid=18264 vsize=260032 CPUtime=162.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 21766 0 0 0 16199 24 0 0 20 0 3 0 332810919 266272768 31218 33554432000 4194304 5964478 140733808204400 140039506954280 4399912 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=260032 CPUtime=162.02 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 6130 0 0 0 16194 8 0 0 20 0 3 0 332810919 266272768 31218 33554432000 4194304 5964478 140733808204400 140039496464696 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.26
Current children cumulated vsize (KiB) 260032

[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.84 5/181 18270
/proc/meminfo: memFree=27495008/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=265308 CPUtime=444.2 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 34517 0 0 0 44386 34 0 0 20 0 3 0 332810916 271675392 35929 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 66327 35929 205 433 0 65891 0
[pid=18266/tid=18268] ppid=18264 vsize=265308 CPUtime=222.24 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 24715 0 0 0 22193 31 0 0 20 0 3 0 332810919 271675392 35929 33554432000 4194304 5964478 140733808204400 140039506954280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=265308 CPUtime=221.97 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 7896 0 0 0 22186 11 0 0 20 0 3 0 332810919 271675392 35929 33554432000 4194304 5964478 140733808204400 140039496464520 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.2
Current children cumulated vsize (KiB) 265308

[startup+282.3 s]
/proc/loadavg: 3.99 3.98 3.84 5/181 18270
/proc/meminfo: memFree=27467028/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=269456 CPUtime=564.18 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 38684 0 0 0 56372 46 0 0 20 0 3 0 332810916 275922944 40141 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 67364 40141 205 433 0 66928 0
[pid=18266/tid=18268] ppid=18264 vsize=269456 CPUtime=282.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 26946 0 0 0 28186 37 0 0 20 0 3 0 332810919 275922944 40141 33554432000 4194304 5964478 140733808204400 140039506954280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=269456 CPUtime=281.97 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 9832 0 0 0 28179 18 0 0 20 0 3 0 332810919 275922944 40141 33554432000 4194304 5964478 140733808204400 140039496464744 4392968 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.18
Current children cumulated vsize (KiB) 269456

[startup+342.3 s]
/proc/loadavg: 3.99 3.98 3.85 5/182 18274
/proc/meminfo: memFree=27448912/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=271852 CPUtime=684.16 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 40851 0 0 0 68362 54 0 0 20 0 3 0 332810916 278376448 42314 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 67963 42314 205 433 0 67527 0
[pid=18266/tid=18268] ppid=18264 vsize=271852 CPUtime=342.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 28299 0 0 0 34181 42 0 0 20 0 3 0 332810919 278376448 42314 33554432000 4194304 5964478 140733808204400 140039506954280 4400460 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=271852 CPUtime=341.97 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 10646 0 0 0 34174 23 0 0 20 0 3 0 332810919 278376448 42314 33554432000 4194304 5964478 140733808204400 140039496464456 4403370 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.16
Current children cumulated vsize (KiB) 271852

[startup+402.3 s]
/proc/loadavg: 3.99 3.98 3.85 5/182 18297
/proc/meminfo: memFree=27431200/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=276224 CPUtime=804.12 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 44066 0 0 0 80350 62 0 0 20 0 3 0 332810916 282853376 45529 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 69056 45529 205 433 0 68620 0
[pid=18266/tid=18268] ppid=18264 vsize=276224 CPUtime=402.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 30850 0 0 0 40175 48 0 0 20 0 3 0 332810919 282853376 45529 33554432000 4194304 5964478 140733808204400 140039506954280 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=276224 CPUtime=401.96 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 11310 0 0 0 40169 27 0 0 20 0 3 0 332810919 282853376 45529 33554432000 4194304 5964478 140733808204400 140039496464800 4400825 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.12
Current children cumulated vsize (KiB) 276224

[startup+462.3 s]
/proc/loadavg: 3.99 3.98 3.86 5/181 18297
/proc/meminfo: memFree=27416484/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=280032 CPUtime=924.04 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 47134 0 0 0 92338 66 0 0 20 0 3 0 332810916 286752768 48614 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 70008 48614 205 433 0 69572 0
[pid=18266/tid=18268] ppid=18264 vsize=280032 CPUtime=462.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 33900 0 0 0 46169 54 0 0 20 0 3 0 332810919 286752768 48614 33554432000 4194304 5964478 140733808204400 140039506954280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=280032 CPUtime=461.91 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 11328 0 0 0 46163 28 0 0 20 0 3 0 332810919 286752768 48614 33554432000 4194304 5964478 140733808204400 140039496464800 4403370 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.04
Current children cumulated vsize (KiB) 280032

[startup+522.3 s]
/proc/loadavg: 3.99 3.98 3.86 5/181 18297
/proc/meminfo: memFree=27406740/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=281020 CPUtime=1044 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 49564 0 0 0 104329 71 0 0 20 0 3 0 332810916 287764480 51047 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 70255 51047 205 433 0 69819 0
[pid=18266/tid=18268] ppid=18264 vsize=281020 CPUtime=522.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 36320 0 0 0 52164 59 0 0 20 0 3 0 332810919 287764480 51047 33554432000 4194304 5964478 140733808204400 140039506954280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=281020 CPUtime=521.89 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 11338 0 0 0 52161 28 0 0 20 0 3 0 332810919 287764480 51047 33554432000 4194304 5964478 140733808204400 140039496464800 4400069 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044
Current children cumulated vsize (KiB) 281020

[startup+582.3 s]
/proc/loadavg: 3.99 3.98 3.87 5/181 18297
/proc/meminfo: memFree=27391052/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=283676 CPUtime=1163.97 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 50727 0 0 0 116324 73 0 0 20 0 3 0 332810916 290484224 52210 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 70919 52210 205 433 0 70483 0
[pid=18266/tid=18268] ppid=18264 vsize=283676 CPUtime=582.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 37450 0 0 0 58162 61 0 0 20 0 3 0 332810919 290484224 52210 33554432000 4194304 5964478 140733808204400 140039506953752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=283676 CPUtime=581.88 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 11371 0 0 0 58159 29 0 0 20 0 3 0 332810919 290484224 52210 33554432000 4194304 5964478 140733808204400 140039496464800 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1163.97
Current children cumulated vsize (KiB) 283676

[startup+642.3 s]
/proc/loadavg: 3.95 3.97 3.87 5/181 18298
/proc/meminfo: memFree=27371200/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=352928 CPUtime=1283.82 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 55873 0 0 0 128303 79 0 0 20 0 3 0 332810916 361398272 57356 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 88232 57356 205 433 0 87796 0
[pid=18266/tid=18268] ppid=18264 vsize=352928 CPUtime=642.24 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 42549 0 0 0 64156 68 0 0 20 0 3 0 332810919 361398272 57356 33554432000 4194304 5964478 140733808204400 140039506954232 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=352928 CPUtime=641.75 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 11418 0 0 0 64145 30 0 0 20 0 3 0 332810919 361398272 57356 33554432000 4194304 5964478 140733808204400 140039496464800 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1283.82
Current children cumulated vsize (KiB) 352928

[startup+702.3 s]
/proc/loadavg: 3.98 3.97 3.88 5/181 18298
/proc/meminfo: memFree=27362052/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=359016 CPUtime=1403.78 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 57594 0 0 0 140296 82 0 0 20 0 3 0 332810916 367632384 59094 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 89754 59094 205 433 0 89318 0
[pid=18266/tid=18268] ppid=18264 vsize=359016 CPUtime=702.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 44270 0 0 0 70151 72 0 0 20 0 3 0 332810919 367632384 59094 33554432000 4194304 5964478 140733808204400 140039506954232 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=359016 CPUtime=701.75 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 11418 0 0 0 70144 31 0 0 20 0 3 0 332810919 367632384 59094 33554432000 4194304 5964478 140733808204400 140039496464800 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1403.78
Current children cumulated vsize (KiB) 359016

[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.88 5/181 18298
/proc/meminfo: memFree=27350576/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=360344 CPUtime=1523.73 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 60072 0 0 0 152288 85 0 0 20 0 3 0 332810916 368992256 61916 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 90086 61916 205 433 0 89650 0
[pid=18266/tid=18268] ppid=18264 vsize=360344 CPUtime=762.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 46667 0 0 0 76147 76 0 0 20 0 3 0 332810919 368992256 61916 33554432000 4194304 5964478 140733808204400 140039506954280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=360344 CPUtime=761.71 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 11499 0 0 0 76139 32 0 0 20 0 3 0 332810919 368992256 61916 33554432000 4194304 5964478 140733808204400 140039496464800 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1523.73
Current children cumulated vsize (KiB) 360344

[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.89 5/181 18298
/proc/meminfo: memFree=27334764/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=368536 CPUtime=1643.57 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 63953 0 0 0 164270 87 0 0 20 0 3 0 332810916 377380864 65822 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 92134 65822 205 433 0 91698 0
[pid=18266/tid=18268] ppid=18264 vsize=368536 CPUtime=822.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 49988 0 0 0 82144 79 0 0 20 0 3 0 332810919 377380864 65822 33554432000 4194304 5964478 140733808204400 140039506953752 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=368536 CPUtime=821.59 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 12059 0 0 0 82126 33 0 0 20 0 3 0 332810919 377380864 65822 33554432000 4194304 5964478 140733808204400 140039496464456 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1643.57
Current children cumulated vsize (KiB) 368536

[startup+882.3 s]
/proc/loadavg: 4.03 3.99 3.90 5/181 18298
/proc/meminfo: memFree=27320256/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=369148 CPUtime=1763.52 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 66936 0 0 0 176257 95 0 0 20 0 3 0 332810916 378007552 68805 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 92287 68805 205 433 0 91851 0
[pid=18266/tid=18268] ppid=18264 vsize=369148 CPUtime=882.23 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 52126 0 0 0 88139 84 0 0 20 0 3 0 332810919 378007552 68805 33554432000 4194304 5964478 140733808204400 140039506954280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=369148 CPUtime=881.55 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 12904 0 0 0 88117 38 0 0 20 0 3 0 332810919 378007552 68805 33554432000 4194304 5964478 140733808204400 140039496464800 4387951 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.52
Current children cumulated vsize (KiB) 369148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.6 s]
/proc/loadavg: 4.02 3.99 3.90 3/177 18299
/proc/meminfo: memFree=27475172/32873844 swapFree=7628/7628
[pid=18266] ppid=18264 vsize=381832 CPUtime=1800.1 cores=0,2,4,6
/proc/18266/stat : 18266 (pwbo2.02) S 18264 18266 17860 0 -1 4202496 70909 0 0 0 179913 97 0 0 20 0 3 0 332810916 390995968 72778 33554432000 4194304 5964478 140733808204400 140733808203920 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18266/statm: 95458 72778 205 433 0 95022 0
[pid=18266/tid=18268] ppid=18264 vsize=381832 CPUtime=900.54 cores=0,2,4,6
/proc/18266/task/18268/stat : 18268 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 56099 0 0 0 89967 87 0 0 20 0 3 0 332810919 390995968 72778 33554432000 4194304 5964478 140733808204400 140039506954280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18266/tid=18269] ppid=18264 vsize=381832 CPUtime=899.84 cores=0,2,4,6
/proc/18266/task/18269/stat : 18269 (pwbo2.02) R 18264 18266 17860 0 -1 4202560 12904 0 0 0 89946 38 0 0 20 0 3 0 332810919 390995968 72778 33554432000 4194304 5964478 140733808204400 140039496464800 4382286 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 381832

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

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

Child status: 0
Real time (s): 900.62
CPU time (s): 1800.45
CPU user time (s): 1799.18
CPU system time (s): 1.27281
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 381832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.27281
maximum resident set size= 291116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70910
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= 430
involuntary context switches= 2110

runsolver used 1.88171 second user time and 5.15522 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-02 21:54:20
IDJOB=3726870
IDBENCH=72484
IDSOLVER=2311
FILE ID=node144/3726870-1338666860
RUNJOBID= node144-1338664152-17876
PBS_JOBID= 14636488
Free space on /tmp= 70832 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726870-1338666860/watcher-3726870-1338666860 -o /tmp/evaluation-result-3726870-1338666860/solver-3726870-1338666860 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726870-1338666860.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060
RANDOM SEED=1568589837

node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.196
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27755140 kB
Buffers:          622068 kB
Cached:          3600252 kB
SwapCached:          464 kB
Active:          2396680 kB
Inactive:        1858936 kB
Active(anon):      15692 kB
Inactive(anon):    11196 kB
Active(file):    2380988 kB
Inactive(file):  1847740 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108376 kB
Dirty:             11260 kB
Writeback:             0 kB
AnonPages:         31272 kB
Mapped:            15120 kB
Shmem:               172 kB
Slab:             723844 kB
SReclaimable:     166000 kB
SUnreclaim:       557844 kB
KernelStack:        1440 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     160312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3726870-1338666860.opb

Free space on /tmp at the end= 70832 MiB
End job on node144 at 2012-06-02 22:09:23