Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.49 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
MD5SUM | aa80468537d69826ea16800f352007ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 1800.42 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 6207 |
Total number of constraints | 171 |
Number of constraints which are clauses | 171 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5184 |
Number of terms in the objective function | 6207 |
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 | 6207 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6207 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node34/50477-1154086698/instance-50477-1154086698.opb ...... 1.85 c done parsing opb. 1.85 o 6207 2.03 o 6206 2.21 o 6205 2.38 o 6204 2.56 o 6203 2.74 o 6202 2.92 o 6201 3.10 o 6200 3.28 o 6199 3.46 o 6198 3.63 o 6197 3.81 o 6196 3.99 o 6195 4.17 o 6194 4.35 o 6193 4.53 o 6192 4.70 o 6191 4.88 o 6190 5.06 o 6189 5.24 o 6188 5.42 o 6187 5.60 o 6186 5.77 o 6185 5.95 o 6184 6.13 o 6183 6.31 o 6182 6.49 o 6181 6.66 o 6180 6.84 o 6179 7.02 o 6178 7.20 o 6177 7.38 o 6176 7.55 o 6175 7.73 o 6174 7.91 o 6173 8.09 o 6172 8.26 o 6171 8.44 o 6170 8.62 o 6169 8.80 o 6168 8.98 o 6167 9.15 o 6166 9.33 o 6165 9.51 o 6164 9.69 o 6163 9.86 o 6162 10.04 o 6161 10.22 o 6160 10.39 o 6159 10.57 o 6158 10.75 o 6157 10.92 o 6156 11.10 o 6155 11.28 o 6154 11.46 o 6153 11.63 o 6152 11.81 o 6151 11.98 o 6150 12.16 o 6149 12.33 o 6148 12.51 o 6147 12.68 o 6146 12.86 o 6145 13.03 o 6144 13.21 o 6143 13.38 o 6142 13.56 o 6141 13.73 o 6140 13.91 o 6139 14.08 o 6138 14.26 o 6137 14.43 o 6136 14.61 o 6135 14.78 o 6134 14.96 o 6133 15.13 o 6132 15.31 o 6131 15.48 o 6130 15.66 o 6129 15.83 o 6128 16.00 o 6127 16.18 o 6126 16.35 o 6125 16.53 o 6124 16.70 o 6123 16.88 o 6122 17.05 o 6121 17.23 o 6120 17.40 o 6119 17.57 o 6118 17.75 o 6117 17.92 o 6116 18.10 o 6115 18.27 o 6114 18.44 o 6113 18.62 o 6112 18.79 o 6111 18.97 o 6110 19.14 o 6109 19.32 o 6108 19.49 o 6107 19.66 o 6106 19.84 o 6105 20.01 o 6104 20.19 o 6103 20.36 o 6102 20.53 o 6101 20.71 o 6100 20.88 o 6099 21.06 o 6098 21.23 o 6097 21.40 o 6096 21.58 o 6095 21.75 o 6094 21.93 o 6093 22.10 o 6092 22.28 o 6091 22.45 o 6090 22.63 o 6089 22.80 o 6088 22.98 o 6087 23.15 o 6086 23.33 o 6085 23.50 o 6084 23.68 o 6083 23.85 o 6082 24.03 o 6081 24.20 o 6080 24.38 o 6079 24.55 o 6078 24.73 o 6077 24.90 o 6076 25.08 o 6075 25.25 o 6074 25.43 o 6073 25.60 o 6072 25.78 o 6071 25.95 o 6070 26.13 o 6069 26.30 o 6068 26.48 o 6067 26.65 o 6066 26.82 o 6065 27.00 o 6064 27.17 o 6063 27.35 o 6062 27.52 o 6061 27.70 o 6060 27.87 o 6059 28.05 o 6058 28.22 o 6057 28.40 o 6056 28.57 o 6055 28.74 o 6054 28.92 o 6053 29.09 o 6052 29.27 o 6051 29.44 o 6050 29.62 o 6049 29.79 o 6048 29.96 o 6047 30.14 o 6046 30.31 o 6045 30.48 o 6044 30.66 o 6043 30.83 o 6042 31.01 o 6041 31.18 o 6040 31.35 o 6039 31.53 o 6038 31.70 o 6037 31.88 o 6036 32.05 o 6035 32.22 o 6034 32.39 o 6033 32.56 o 6032 32.74 o 6031 32.91 o 6030 33.08 o 6029 33.25 o 6028 33.42 o 6027 33.60 o 6026 33.77 o 6025 33.94 o 6024 34.11 o 6023 34.28 o 6022 34.45 o 6021 34.63 o 6020 34.80 o 6019 34.97 o 6018 35.14 o 6017 35.31 o 6016 35.48 o 6015 35.65 o 6014 35.83 o 6013 36.00 o 6012 36.17 o 6011 36.34 o 6010 36.51 o 6009 36.68 o 6008 36.85 o 6007 37.02 o 6006 37.19 o 6005 37.36 o 6004 37.54 o 6003 37.71 o 6002 37.88 o 6001 38.05 o 6000 38.22 o 5999 38.39 o 5998 38.56 o 5997 38.73 o 5986 38.90 o 5966 39.07 o 5965 39.24 o 5964 39.41 o 5963 39.58 o 5962 39.75 o 5961 39.92 o 5960 40.09 o 5959 40.26 o 5958 40.43 o 5957 40.60 o 5956 40.77 o 5955 40.93 o 5954 41.10 o 5953 41.27 o 5952 41.44 o 5951 41.61 o 5950 41.78 o 5949 41.95 o 5948 42.12 o 5947 42.29 o 5946 42.46 o 5945 42.63 o 5944 42.80 o 5943 42.97 o 5942 43.14 o 5941 43.31 o 5940 43.48 o 5939 43.65 o 5938 43.82 o 5937 43.99 o 5936 44.16 o 5935 44.33 o 5934 44.50 o 5887 44.67 o 5886 44.84 o 5875 45.01 o 5872 45.17 o 5871 45.34 o 5870 45.51 o 5869 45.68 o 5868 45.85 o 5867 46.01 o 5866 46.18 o 5865 46.35 o 5864 46.52 o 5863 46.68 o 5862 46.85 o 5861 47.02 o 5860 47.19 o 5859 47.35 o 5858 47.52 o 5857 47.69 o 5856 47.86 o 5855 48.02 o 5854 48.19 o 5853 48.36 o 5852 48.52 o 5851 48.69 o 5850 48.86 o 5849 49.02 o 5848 49.19 o 5847 49.36 o 5846 49.53 o 5845 49.69 o 5844 49.86 o 5843 50.03 o 5842 50.19 o 5841 50.36 o 5840 50.53 o 5839 50.69 o 5838 50.86 o 5837 51.03 o 5836 51.19 o 5835 51.30 o 3057 51.39 o 3056 51.49 o 3055 51.58 o 3054 51.67 o 3053 51.76 o 3052 51.85 o 3051 51.94 o 3050 52.03 o 3046 52.12 o 3045 52.22 o 3044 52.31 o 3043 52.40 o 3042 52.49 o 3041 52.58 o 3031 52.67 o 3030 52.76 o 3029 52.85 o 3028 52.94 o 3027 53.03 o 3026 53.12 o 3025 53.21 o 3024 53.30 o 3023 53.39 o 3022 53.48 o 3021 53.57 o 3020 53.66 o 3019 53.75 o 3018 53.84 o 3017 53.93 o 3016 54.02 o 3015 54.11 o 3014 54.20 o 3013 54.29 o 3012 54.38 o 3011 54.47 o 3010 54.56 o 3009 54.65 o 3008 54.74 o 3007 54.83 o 3006 54.91 o 3005 55.00 o 3004 55.09 o 3003 55.18 o 3002 55.27 o 3001 55.36 o 3000 55.45 o 2999 55.54 o 2998 55.63 o 2997 55.72 o 2996 55.81 o 2995 55.90 o 2994 55.99 o 2993 56.08 o 2992 56.17 o 2991 56.26 o 2990 56.34 o 2989 56.43 o 2988 56.52 o 2987 56.61 o 2986 56.70 o 2985 56.79 o 2984 56.88 o 2983 56.96 o 2982 57.05 o 2981 57.14 o 2980 57.23 o 2979 57.32 o 2978 57.41 o 2977 57.50 o 2976 57.58 o 2975 57.67 o 2974 57.76 o 2973 57.85 o 2972 57.94 o 2971 58.03 o 2970 58.12 o 2969 58.21 o 2968 58.29 o 2967 58.38 o 2966 58.47 o 2965 58.56 o 2964 58.65 o 2963 58.73 o 2962 58.82 o 2961 58.91 o 2960 59.00 o 2959 59.09 o 2958 59.17 o 2957 59.26 o 2956 59.35 o 2955 59.44 o 2954 59.53 o 2953 59.61 o 2952 59.70 o 2951 59.79 o 2950 59.87 o 2949 59.96 o 2948 60.05 o 2947 60.14 o 2946 60.22 o 2945 60.31 o 2944 60.40 o 2943 60.49 o 2942 60.58 o 2941 60.66 o 2940 60.75 o 2939 60.84 o 2938 60.93 o 2937 61.01 o 2936 61.10 o 2935 61.19 o 2934 61.28 o 2933 61.36 o 2932 61.45 o 2931 61.54 o 2930 61.63 o 2929 61.71 o 2928 61.80 o 2927 61.89 o 2926 61.98 o 2925 62.06 o 2924 62.15 o 2923 62.24 o 2922 62.33 o 2921 62.41 o 2920 62.50 o 2919 62.59 o 2918 62.68 o 2917 62.77 o 2916 62.85 o 2915 62.94 o 2914 63.03 o 2913 63.12 o 2912 63.20 o 2911 63.29 o 2910 63.38 o 2909 63.46 o 2908 63.55 o 2907 63.64 o 2906 63.73 o 2905 63.81 o 2904 63.90 o 2903 63.99 o 2902 64.08 o 2901 64.16 o 2900 64.25 o 2899 64.34 o 2898 64.43 o 2897 64.51 o 2896 64.60 o 2895 64.69 o 2894 64.77 o 2893 64.86 o 2892 64.95 o 2891 65.03 o 2890 65.12 o 2889 65.21 o 2888 65.29 o 2887 65.38 o 2886 65.47 o 2885 65.55 o 2884 65.64 o 2883 65.73 o 2882 65.81 o 2881 65.90 o 2880 65.99 o 2879 66.07 o 2878 66.16 o 2877 66.25 o 2876 66.33 o 2875 66.42 o 2874 66.50 o 2873 66.59 o 2872 66.68 o 2871 66.76 o 2870 66.85 o 2869 66.93 o 2868 67.02 o 2867 67.11 o 2866 67.19 o 2865 67.28 o 2864 67.37 o 2863 67.45 o 2862 67.54 o 2861 67.62 o 2860 67.71 o 2859 67.79 o 2858 67.88 o 2857 67.96 o 2856 68.05 o 2855 68.14 o 2854 68.22 o 2853 68.31 o 2852 68.39 o 2851 68.48 o 2850 68.57 o 2849 68.65 o 2848 68.74 o 2847 68.82 o 2846 68.91 o 2845 68.99 o 2844 69.08 o 2843 69.16 o 2842 69.25 o 2841 69.33 o 2840 69.42 o 2839 69.50 o 2838 69.59 o 2837 69.67 o 2836 69.76 o 2835 69.84 o 2834 69.93 o 2833 70.10 o 2832 70.16 o 1678 70.21 o 1677 70.27 o 1676 70.32 o 1665 70.38 o 1664 70.43 o 1663 70.49 o 1662 70.54 o 1661 70.59 o 1660 70.65 o 1659 70.70 o 1658 70.76 o 1657 70.81 o 1656 70.87 o 1655 70.92 o 1631 70.98 o 1630 71.03 o 1629 71.08 o 1628 71.14 o 1627 71.19 o 1626 71.24 o 1625 71.29 o 1624 71.35 o 1623 71.40 o 1622 71.45 o 1621 71.51 o 1620 71.56 o 1619 71.61 o 1618 71.66 o 1617 71.72 o 1616 71.77 o 1615 71.82 o 1614 71.87 o 1613 71.92 o 1612 71.97 o 1611 72.02 o 1610 72.06 o 1609 72.16 o 1608 72.21 o 1607 72.26 o 1606 72.31 o 1605 72.36 o 1604 72.41 o 1603 72.46 o 1602 72.51 o 1601 72.56 o 1600 72.61 o 1599 72.66 o 1598 72.71 o 1597 72.76 o 1596 72.81 o 1595 72.86 o 1594 72.91 o 1593 72.96 o 1592 73.01 o 1591 73.06 o 1590 73.11 o 1589 73.15 o 1588 73.20 o 1587 73.25 o 1586 73.30 o 1585 73.35 o 1584 73.40 o 1583 73.45 o 1582 73.50 o 1581 73.55 o 1580 73.60 o 1579 73.65 o 1578 73.69 o 1577 73.74 o 1576 73.79 o 1575 73.84 o 1574 73.89 o 1573 73.94 o 1572 73.99 o 1571 74.03 o 1570 74.08 o 1569 74.13 o 1568 74.18 o 1567 74.23 o 1566 74.28 o 1565 74.32 o 1564 74.37 o 1563 74.42 o 1562 74.47 o 1561 74.52 o 1560 74.56 o 1559 74.61 o 1558 74.66 o 1557 74.71 o 1556 74.76 o 1555 74.80 o 1554 74.85 o 1553 74.90 o 1552 74.95 o 1551 74.99 o 1550 75.04 o 1549 75.09 o 1548 75.14 o 1547 75.18 o 1546 75.23 o 1545 75.28 o 1544 75.33 o 1543 75.37 o 1542 75.42 o 1541 75.47 o 1540 75.52 o 1539 75.56 o 1538 75.61 o 1537 75.66 o 1536 75.70 o 1535 75.75 o 1534 75.80 o 1533 75.85 o 1532 75.89 o 1531 75.94 o 1530 75.99 o 1529 76.04 o 1528 76.08 o 1527 76.13 o 1526 76.18 o 1525 76.22 o 1524 76.27 o 1523 76.32 o 1522 76.36 o 1521 76.41 o 1520 76.45 o 1519 76.50 o 1518 76.55 o 1517 76.60 o 1516 76.64 o 1515 76.69 o 1514 76.74 o 1513 76.78 o 1512 76.83 o 1511 76.88 o 1510 76.92 o 1509 76.97 o 1508 77.02 o 1507 77.06 o 1506 77.11 o 1505 77.16 o 1504 77.20 o 1503 77.25 o 1502 77.30 o 1501 77.34 o 1500 77.39 o 1499 77.44 o 1498 77.48 o 1497 77.53 o 1496 77.58 o 1495 77.62 o 1494 77.67 o 1493 77.71 o 1492 77.76 o 1491 77.81 o 1490 77.85 o 1489 77.90 o 1488 77.95 o 1487 77.99 o 1486 78.04 o 1485 78.09 o 1484 78.13 o 1483 78.18 o 1482 78.22 o 1481 78.27 o 1480 78.31 o 1479 78.36 o 1478 78.41 o 1477 78.45 o 1476 78.50 o 1475 78.54 o 1474 78.59 o 1473 78.63 o 1472 78.68 o 1471 78.72 o 1470 78.77 o 1469 78.82 o 1468 78.86 o 1467 78.91 o 1466 78.95 o 1465 79.00 o 1464 79.04 o 1463 79.09 o 1462 79.14 o 1461 79.18 o 1460 79.23 o 1459 79.27 o 1458 79.32 o 1457 79.36 o 1456 79.41 o 1455 79.45 o 1454 79.50 o 1453 79.55 o 1452 79.59 o 1451 79.64 o 1450 79.68 o 1449 79.73 o 1448 79.77 o 1447 79.82 o 1446 79.86 o 1445 79.91 o 1444 79.95 o 1443 80.00 o 1442 80.04 o 1441 80.09 o 1440 80.13 o 1439 80.18 o 1438 80.22 o 1437 80.27 o 1436 80.31 o 1435 80.36 o 1434 80.40 o 1433 80.45 o 1432 80.49 o 1431 80.54 o 1430 80.58 o 1429 80.63 o 1428 80.67 o 1427 80.72 o 1426 80.76 o 1425 80.81 o 1424 80.85 o 1423 80.90 o 1422 80.94 o 1421 80.98 o 1420 81.03 o 1419 81.07 o 1418 81.12 o 1417 81.16 o 1416 81.21 o 1415 81.25 o 1414 81.29 o 1413 81.34 o 1412 81.38 o 1411 81.43 o 1410 81.47 o 1409 81.51 o 1408 81.56 o 1407 81.60 o 1406 81.65 o 1405 81.69 o 1404 81.74 o 1403 81.78 o 1402 81.82 o 1401 81.87 o 1400 81.91 o 1399 81.96 o 1398 82.00 o 1397 82.04 o 1396 82.09 o 1395 82.13 o 1394 82.17 o 1393 82.22 o 1392 82.26 o 1391 82.30 o 1390 82.35 o 1389 82.39 o 1388 82.43 o 1387 82.48 o 1386 82.52 o 1385 82.56 o 1384 82.61 o 1383 82.65 o 1382 82.70 o 1381 82.74 o 1380 82.78 o 1379 82.83 o 1378 82.87 o 1377 82.91 o 1376 82.96 o 1375 83.00 o 1374 83.04 o 1373 83.09 o 1372 83.13 o 1371 83.17 o 1370 83.22 o 1369 83.26 o 1368 83.30 o 1367 83.34 o 1366 83.39 o 1365 83.43 o 1364 83.47 o 1363 83.51 o 1362 83.56 o 1361 83.60 o 1360 83.64 o 1359 83.69 o 1358 83.73 o 1357 83.77 o 1356 83.81 o 1355 83.85 o 1354 83.90 o 1353 83.94 o 1352 83.98 o 1351 84.02 o 1350 84.06 o 1349 84.11 o 1348 84.15 o 1347 84.19 o 1346 84.23 o 1345 84.27 o 1344 84.32 o 1343 84.36 o 1342 84.40 o 1341 84.44 o 1340 84.48 o 1339 84.53 o 1338 84.57 o 1337 84.61 o 1336 84.65 o 1335 84.69 o 1334 84.73 o 1333 84.77 o 1332 84.81 o 1331 84.85 o 1330 84.90 o 1329 84.94 o 1328 84.98 o 1327 85.02 o 1326 85.06 o 1325 85.10 o 1324 85.14 o 1323 85.19 o 1322 85.23 o 1321 85.27 o 1320 85.31 o 1319 85.35 o 1318 85.39 o 1317 85.43 o 1316 85.47 o 1315 85.51 o 1314 85.55 o 1313 85.59 o 1312 85.63 o 1311 85.67 o 1310 85.71 o 1309 85.75 o 1308 85.79 o 1307 85.83 o 1306 85.87 o 1305 85.91 o 1304 85.95 o 1303 85.99 o 1302 86.03 o 1301 86.07 o 1300 86.11 o 1299 86.15 o 1298 86.19 o 1297 86.23 o 1296 86.27 o 1295 86.31 o 1294 86.35 o 1293 86.39 o 1292 86.43 o 1291 86.47 o 1290 86.51 o 1289 86.55 o 1288 86.59 o 1287 86.63 o 1286 86.67 o 1285 86.71 o 1284 86.75 o 1283 86.79 o 1282 86.83 o 1281 86.87 o 1280 86.91 o 1279 86.95 o 1278 86.99 o 1277 87.03 o 1276 87.07 o 1275 87.10 o 1274 87.14 o 1273 87.18 o 1272 87.22 o 1271 87.26 o 1270 87.30 o 1269 87.34 o 1268 87.38 o 1267 87.42 o 1266 87.46 o 1265 87.49 o 1264 87.53 o 1263 87.57 o 1262 87.61 o 1261 87.65 o 1260 87.69 o 1259 87.73 o 1258 87.76 o 1257 87.80 o 1256 87.84 o 1255 87.88 o 1254 87.92 o 1253 87.96 o 1252 87.99 o 1251 88.03 o 1250 88.07 o 1249 88.11 o 1248 88.15 o 1247 88.18 o 1246 88.22 o 1245 88.26 o 1244 88.30 o 1243 88.34 o 1242 88.38 o 1241 88.41 o 1240 88.45 o 1239 88.49 o 1238 88.53 o 1237 88.56 o 1236 88.60 o 1235 88.64 o 1234 88.68 o 1233 88.71 o 1232 88.75 o 1231 88.79 o 1230 88.82 o 1229 88.86 o 1228 88.90 o 1227 88.94 o 1226 88.97 o 1225 89.01 o 1224 89.05 o 1223 89.09 o 1222 89.12 o 1221 89.16 o 1220 89.20 o 1219 89.23 o 1218 89.27 o 1217 89.31 o 1216 89.35 o 1215 89.38 o 1214 89.42 o 1213 89.46 o 1212 89.49 o 1211 89.53 o 1210 89.57 o 1209 89.60 o 1208 89.64 o 1207 89.68 o 1206 89.71 o 1205 89.75 o 1204 89.79 o 1203 89.82 o 1202 89.86 o 1201 89.90 o 1200 89.93 o 1199 89.97 o 1198 90.01 o 1197 90.04 o 1196 90.08 o 1195 90.11 o 1194 90.15 o 1193 90.19 o 1192 90.22 o 1191 90.26 o 1190 90.29 o 1189 90.33 o 1188 90.37 o 1187 90.40 o 1186 90.44 o 1185 90.47 o 1184 90.51 o 1183 90.55 o 1182 90.58 o 1181 90.62 o 1180 90.65 o 1179 90.69 o 1178 90.73 o 1177 90.76 o 1176 90.80 o 1175 90.83 o 1174 90.87 o 1173 90.90 o 1172 90.94 o 1171 90.98 o 1170 91.01 o 1169 91.05 o 1168 91.08 o 1167 91.12 o 1166 91.15 o 1165 91.19 o 1164 91.22 o 1163 91.26 o 1162 91.30 o 1161 91.33 o 1160 91.37 o 1159 91.40 o 1158 91.43 o 1157 91.47 o 1156 91.50 o 1155 91.54 o 1154 91.57 o 1153 91.61 o 1152 91.64 o 1151 91.68 o 1150 91.71 o 1149 91.75 o 1148 91.78 o 1147 91.82 o 1146 91.85 o 1145 91.88 o 1144 91.92 o 1143 91.95 o 1142 91.99 o 1141 92.02 o 1140 92.06 o 1139 92.09 o 1138 92.12 o 1137 92.16 o 1136 92.19 o 1135 92.23 o 1134 92.26 o 1133 92.29 o 1132 92.33 o 1131 92.36 o 1130 92.40 o 1129 92.43 o 1128 92.46 o 1127 92.50 o 1126 92.53 o 1125 92.56 o 1124 92.60 o 1123 92.63 o 1122 92.67 o 1121 92.70 o 1120 92.73 o 1119 92.77 o 1118 92.80 o 1117 92.83 o 1116 92.87 o 1115 92.90 o 1114 92.93 o 1113 92.97 o 1112 93.00 o 1111 93.03 o 1110 93.07 o 1109 93.10 o 1108 93.13 o 1107 93.17 o 1106 93.20 o 1105 93.23 o 1104 93.26 o 1103 93.30 o 1102 93.33 o 1101 93.36 o 1100 93.40 o 1099 93.43 o 1098 93.46 o 1097 93.50 o 1096 93.53 o 1095 93.56 o 1094 93.59 o 1093 93.63 o 1092 93.66 o 1091 93.69 o 1090 93.72 o 1089 93.76 o 1088 93.79 o 1087 93.82 o 1086 93.85 o 1085 93.89 o 1084 93.92 o 1083 93.95 o 1082 93.98 o 1081 94.02 o 1080 94.05 o 1079 94.08 o 1078 94.11 o 1077 94.15 o 1076 94.18 o 1075 94.21 o 1074 94.24 o 1073 94.27 o 1072 94.31 o 1071 94.34 o 1070 94.37 o 1069 94.40 o 1068 94.43 o 1067 94.46 o 1066 94.50 o 1065 94.53 o 1064 94.56 o 1063 94.59 o 1062 94.62 o 1061 94.65 o 1060 94.69 o 1059 94.72 o 1058 94.75 o 1057 94.78 o 1056 94.81 o 1055 94.84 o 1054 94.87 o 1053 94.91 o 1052 94.94 o 1051 94.97 o 1050 95.00 o 1049 95.03 o 1048 95.06 o 1047 95.09 o 1046 95.12 o 1045 95.15 o 1044 95.19 o 1043 95.22 o 1042 95.25 o 1041 95.28 o 1040 95.31 o 1039 95.34 o 1038 95.37 o 1037 95.40 o 1036 95.43 o 1035 95.46 o 1034 95.50 o 1033 95.53 o 1032 95.56 o 1031 95.59 o 1030 95.62 o 1029 95.65 o 1028 95.68 o 1027 95.71 o 1026 95.74 o 1025 95.77 o 1024 95.80 o 1023 95.83 o 1022 95.86 o 1021 95.89 o 1020 95.92 o 1019 95.96 o 1018 95.99 o 1017 96.02 o 1016 96.05 o 1015 96.08 o 1014 96.11 o 1013 96.14 o 1012 96.17 o 1011 96.20 o 1010 96.23 o 1009 96.26 o 1008 96.29 o 1007 96.32 o 1006 96.35 o 1005 96.38 o 1004 96.41 o 1003 96.44 o 1002 96.47 o 1001 96.50 o 1000 96.52 o 999 96.55 o 998 96.58 o 997 96.61 o 996 96.64 o 995 96.67 o 994 96.70 o 993 96.73 o 992 96.76 o 991 96.79 o 990 96.82 o 989 96.85 o 988 96.88 o 987 96.91 o 986 96.94 o 985 96.97 o 984 97.00 o 983 97.03 o 982 97.06 o 981 97.08 o 980 97.11 o 979 97.14 o 978 97.17 o 977 97.20 o 976 97.23 o 975 97.26 o 974 97.29 o 973 97.32 o 972 97.35 o 971 97.38 o 970 97.41 o 969 97.43 o 968 97.46 o 967 97.49 o 966 97.52 o 965 97.55 o 964 97.58 o 963 97.61 o 962 97.63 o 961 97.66 o 960 97.69 o 959 97.72 o 958 97.75 o 957 97.78 o 956 97.81 o 955 97.84 o 954 97.86 o 953 97.89 o 952 97.92 o 951 97.95 o 950 97.98 o 949 98.01 o 948 98.03 o 947 98.06 o 946 98.09 o 945 98.12 o 944 98.15 o 943 98.18 o 942 98.20 o 941 98.23 o 940 98.26 o 939 98.29 o 938 98.32 o 937 98.34 o 936 98.37 o 935 98.40 o 934 98.43 o 933 98.45 o 932 98.48 o 931 98.51 o 930 98.54 o 929 98.57 o 928 98.59 o 927 98.62 o 926 98.65 o 925 98.68 o 924 98.71 o 923 98.73 o 922 98.76 o 921 98.79 o 920 98.82 o 919 98.84 o 918 98.87 o 917 98.90 o 916 98.93 o 915 98.95 o 914 98.98 o 913 99.01 o 912 99.04 o 911 99.06 o 910 99.09 o 909 99.12 o 908 99.14 o 907 99.17 o 906 99.20 o 905 99.23 o 904 99.25 o 903 99.28 o 902 99.31 o 901 99.34 o 900 99.36 o 899 99.39 o 898 99.42 o 897 99.44 o 896 99.47 o 895 99.50 o 894 99.52 o 893 99.55 o 892 99.58 o 891 99.61 o 890 99.63 o 889 99.66 o 888 99.69 o 887 99.71 o 886 99.74 o 885 99.77 o 884 99.79 o 883 99.82 o 882 99.85 o 881 99.87 o 880 99.90 o 879 99.93 o 878 99.95 o 877 99.98 o 876 100.01 o 875 100.03 o 874 100.06 o 873 100.09 o 872 100.11 o 871 100.14 o 870 100.17 o 869 100.19 o 868 100.22 o 867 100.24 o 866 100.27 o 865 100.30 o 864 100.32 o 863 100.35 o 862 100.37 o 861 100.40 o 860 100.43 o 859 100.45 o 858 100.48 o 857 100.51 o 856 100.53 o 855 100.56 o 854 100.58 o 853 100.61 o 852 100.64 o 851 100.66 o 850 100.69 o 849 100.71 o 848 100.74 o 847 100.77 o 846 100.79 o 845 100.82 o 844 100.84 o 843 100.87 o 842 100.89 o 841 100.92 o 840 100.95 o 839 100.97 o 838 101.00 o 837 101.02 o 836 101.05 o 835 101.07 o 834 101.10 o 833 101.13 o 832 101.15 o 831 101.18 o 830 101.20 o 829 101.23 o 828 101.25 o 827 101.28 o 826 101.30 o 825 101.33 o 824 101.35 o 823 101.38 o 822 101.40 o 821 101.43 o 820 101.45 o 819 101.48 o 818 101.50 o 817 101.55 o 816 101.58 o 815 101.60 o 814 101.63 o 813 101.66 o 812 101.68 o 811 101.71 o 810 101.73 o 809 101.76 o 808 101.79 o 807 101.81 o 806 101.84 o 805 101.87 o 804 101.89 o 803 101.92 o 802 101.94 o 801 101.97 o 800 102.00 o 799 102.02 o 798 102.05 o 797 102.07 o 796 102.10 o 795 102.12 o 794 102.14 o 793 102.17 o 792 102.19 o 791 102.22 o 790 102.24 o 789 102.27 o 788 102.29 o 787 102.31 o 786 102.34 o 785 102.36 o 784 102.38 o 783 102.44 o 782 102.46 o 781 102.49 o 780 102.51 o 779 102.54 o 778 102.56 o 777 102.59 o 776 102.61 o 775 102.64 o 774 102.66 o 773 102.69 o 772 102.71 o 771 102.73 o 770 102.76 o 769 102.78 o 768 102.81 o 767 102.83 o 766 102.86 o 765 102.88 o 764 102.91 o 763 102.93 o 762 102.96 o 761 102.98 o 760 103.00 o 759 103.03 o 758 103.05 o 757 103.08 o 756 103.10 o 755 103.12 o 754 103.15 o 753 103.17 o 752 103.19 o 751 103.21 o 750 103.24 o 749 103.26 o 748 103.28 o 747 103.31 o 746 103.33 o 745 103.35 o 744 103.37 o 743 103.40 o 742 103.42 o 741 103.44 o 740 103.46 o 739 103.49 o 738 103.51 o 737 103.53 o 736 103.56 o 735 103.58 o 734 103.60 o 733 103.62 o 732 103.64 o 731 103.67 o 730 103.69 o 729 103.71 o 728 103.73 o 727 103.75 o 726 103.78 o 725 103.80 o 724 103.82 o 723 103.84 o 722 103.86 o 721 103.89 o 720 103.91 o 719 103.93 o 718 103.95 o 717 103.97 o 716 104.00 o 715 104.02 o 714 104.04 o 713 104.06 o 712 104.08 o 711 104.10 o 710 104.12 o 709 104.15 o 708 104.17 o 707 104.19 o 706 104.21 o 705 104.23 o 704 104.25 o 703 104.27 o 702 104.29 o 701 104.32 o 700 104.34 o 699 104.36 o 698 104.38 o 697 104.40 o 696 104.42 o 695 104.44 o 694 104.46 o 693 104.49 o 692 104.51 o 691 104.53 o 690 104.55 o 689 104.57 o 688 104.59 o 687 104.61 o 686 104.63 o 685 104.65 o 684 104.67 o 683 104.69 o 682 104.71 o 681 104.73 o 680 104.75 o 679 104.77 o 678 104.79 o 677 104.81 o 676 104.83 o 675 104.85 o 674 104.87 o 673 104.89 o 672 104.91 o 671 104.93 o 670 104.95 o 669 104.97 o 668 104.99 o 667 105.01 o 666 105.03 o 665 105.05 o 664 105.07 o 663 105.09 o 662 105.11 o 661 105.13 o 660 105.15 o 659 105.17 o 658 105.19 o 657 105.21 o 656 105.23 o 655 105.25 o 654 105.27 o 653 105.29 o 652 105.31 o 651 105.33 o 650 105.35 o 649 105.37 o 648 105.38 o 647 105.40 o 646 105.42 o 645 105.44 o 644 105.46 o 643 105.48 o 642 105.50 o 641 105.52 o 640 105.54 o 639 105.56 o 638 105.58 o 637 105.60 o 636 105.61 o 635 105.63 o 634 105.65 o 633 105.67 o 632 105.69 o 631 105.71 o 630 105.73 o 629 105.75 o 628 105.76 o 627 105.78 o 626 105.80 o 625 105.82 o 624 105.84 o 623 105.86 o 622 105.88 o 621 105.89 o 620 105.91 o 619 105.93 o 618 105.95 o 617 105.97 o 616 105.99 o 615 106.00 o 614 106.02 o 613 106.04 o 612 106.06 o 611 106.08 o 610 106.10 o 609 106.11 o 608 106.13 o 607 106.15 o 606 106.17 o 605 106.19 o 604 106.20 o 603 106.22 o 602 106.24 o 601 106.26 o 600 106.28 o 599 106.29 o 598 106.31 o 597 106.33 o 596 106.35 o 595 106.36 o 594 106.38 o 593 106.40 o 592 106.42 o 591 106.44 o 590 106.45 o 589 106.47 o 588 106.49 o 587 106.51 o 586 106.52 o 585 106.54 o 584 106.56 o 583 106.57 o 582 106.59 o 581 106.61 o 580 106.63 o 579 106.64 o 578 106.66 o 577 106.68 o 576 106.70 o 575 106.71 o 574 106.73 o 573 106.75 o 572 106.76 o 571 106.78 o 570 106.80 o 569 106.82 o 568 106.83 o 567 106.85 o 566 106.87 o 565 106.89 o 564 106.90 o 563 106.92 o 562 106.94 o 561 106.95 o 560 106.97 o 559 106.99 o 558 107.00 o 557 107.02 o 556 107.04 o 555 107.05 o 554 107.07 o 553 107.09 o 552 107.10 o 551 107.12 o 550 107.14 o 549 107.15 o 548 107.17 o 547 107.18 o 546 107.20 o 545 107.22 o 544 107.23 o 543 107.25 o 542 107.27 o 541 107.28 o 540 107.30 o 539 107.32 o 538 107.33 o 537 107.35 o 536 107.36 o 535 107.38 o 534 107.40 o 533 107.41 o 532 107.43 o 531 107.44 o 530 107.46 o 529 107.48 o 528 107.49 o 527 107.51 o 526 107.52 o 525 107.54 o 524 107.56 o 523 107.57 o 522 107.59 o 521 107.60 o 520 107.62 o 519 107.64 o 518 107.65 o 517 107.67 o 516 107.68 o 515 107.70 o 514 107.71 o 513 107.73 o 512 107.74 o 511 107.76 o 510 107.78 o 509 107.79 o 508 107.81 o 507 107.82 o 506 107.84 o 505 107.85 o 504 107.87 o 503 107.88 o 502 107.90 o 501 107.91 o 500 107.93 o 499 107.94 o 498 107.96 o 497 107.97 o 496 107.99 o 495 108.00 o 494 108.02 o 493 108.03 o 492 108.05 o 491 108.06 o 490 108.08 o 489 108.09 o 488 108.11 o 487 108.12 o 486 108.14 o 485 108.15 o 484 108.17 o 483 108.18 o 482 108.20 o 481 108.21 o 480 108.23 o 479 108.24 o 478 108.26 o 477 108.27 o 476 108.29 o 475 108.30 o 474 108.32 o 473 108.33 o 472 108.34 o 471 108.36 o 470 108.37 o 469 108.39 o 468 108.40 o 467 108.42 o 466 108.43 o 465 108.45 o 464 108.46 o 463 108.48 o 462 108.49 o 461 108.50 o 460 108.52 o 459 108.53 o 458 108.55 o 457 108.56 o 456 108.57 o 455 108.59 o 454 108.60 o 453 108.62 o 452 108.63 o 451 108.65 o 450 108.66 o 449 108.67 o 448 108.69 o 447 108.70 o 446 108.71 o 445 108.73 o 444 108.74 o 443 108.76 o 442 108.77 o 441 108.78 o 440 108.80 o 439 108.81 o 438 108.82 o 437 108.84 o 436 108.85 o 435 108.86 o 434 108.88 o 433 108.89 o 432 108.91 o 431 108.92 o 430 108.93 o 429 108.95 o 428 108.96 o 427 108.97 o 426 109.00 o 425 109.01 o 424 109.03 o 423 109.04 o 422 109.05 o 421 109.07 o 420 109.08 o 419 109.09 o 418 109.11 o 417 109.12 o 416 109.13 o 415 109.15 o 414 109.16 o 413 109.17 o 412 109.19 o 411 109.20 o 410 109.21 o 409 109.23 o 408 109.24 o 407 109.25 o 406 109.27 o 405 109.28 o 404 109.29 o 403 109.31 o 402 109.32 o 401 109.33 o 400 109.34 o 399 109.36 o 398 109.37 o 397 109.38 o 396 109.39 o 395 109.41 o 394 109.42 o 393 109.43 o 392 109.45 o 391 109.46 o 390 109.47 o 389 109.48 o 388 109.50 o 387 109.51 o 386 109.52 o 385 109.53 o 384 109.54 o 383 109.55 o 382 109.57 o 381 109.58 o 380 109.59 o 379 109.60 o 378 109.61 o 377 109.62 o 376 109.64 o 375 109.65 o 374 109.66 o 373 109.67 o 372 109.68 o 371 109.69 o 370 109.70 o 369 109.72 o 368 109.73 o 367 109.74 o 366 109.75 o 365 109.76 o 364 109.77 o 363 109.78 o 362 109.79 o 361 109.80 o 360 109.82 o 359 109.83 o 358 109.84 o 357 109.85 o 356 109.86 o 355 109.87 o 354 109.88 o 353 109.89 o 352 109.90 o 351 109.91 o 350 109.92 o 349 109.94 o 348 109.95 o 347 109.96 o 346 109.97 o 345 109.98 o 344 109.99 o 343 110.00 o 342 110.01 o 341 110.02 o 340 110.03 o 339 110.04 o 338 110.05 o 337 110.06 o 336 110.07 o 335 110.08 o 334 110.09 o 333 110.10 o 332 110.11 o 331 110.12 o 330 110.13 o 329 110.14 o 328 110.15 o 327 110.16 o 326 110.17 o 325 110.18 o 324 110.19 o 323 110.20 o 322 110.21 o 321 110.22 o 320 110.23 o 319 110.24 o 318 110.25 o 317 110.26 o 316 110.27 o 315 110.28 o 314 110.29 o 313 110.30 o 312 110.31 o 311 110.32 o 310 110.33 o 309 110.34 o 308 110.35 o 307 110.36 o 306 110.37 o 305 110.38 o 304 110.39 o 303 110.40 o 302 110.40 o 301 110.43 o 300 110.44 o 299 110.45 o 298 110.46 o 297 110.47 o 296 110.48 o 295 110.49 o 294 110.50 o 293 110.51 o 292 110.52 o 291 110.53 o 290 110.54 o 289 110.55 o 288 110.56 o 287 110.57 o 286 110.58 o 285 110.59 o 284 110.60 o 283 110.61 o 282 110.62 o 281 110.63 o 280 110.64 o 279 110.65 o 278 110.66 o 277 110.67 o 276 110.68 o 275 110.69 o 274 110.69 o 273 110.70 o 272 110.71 o 271 110.72 o 270 110.73 o 269 110.74 o 268 110.75 o 267 110.76 o 266 110.77 o 265 110.78 o 264 110.79 o 263 110.80 o 262 110.80 o 261 110.81 o 260 110.82 o 259 110.83 o 258 110.84 o 257 110.85 o 256 110.86 o 255 110.86 o 254 110.87 o 253 110.88 o 252 110.89 o 251 110.90 o 250 110.90 o 249 110.91 o 248 110.92 o 247 110.93 o 246 110.94 o 245 110.95 o 244 110.95 o 243 110.96 o 242 110.97 o 241 110.98 o 240 110.99 o 239 110.99 o 238 111.00 o 237 111.01 o 236 111.02 o 235 111.03 o 234 111.03 o 233 111.04 o 232 111.05 o 231 111.06 o 230 111.07 o 229 111.07 o 228 111.08 o 227 111.09 o 226 111.10 o 225 111.11 o 224 111.11 o 223 111.12 o 222 111.13 o 221 111.14 o 220 111.14 o 219 111.15 o 218 111.16 o 217 111.17 o 216 111.18 o 215 111.18 o 214 111.19 o 213 111.20 o 212 111.21 o 211 111.21 o 210 111.22 o 209 111.23 o 208 111.24 o 207 111.24 o 206 111.25 o 205 111.26 o 204 111.26 o 203 111.27 o 202 111.28 o 201 111.28 o 200 111.29 o 199 111.30 o 198 111.31 o 197 111.31 o 196 111.32 o 195 111.33 o 194 111.33 o 193 111.34 o 192 111.35 o 191 111.35 o 190 111.36 o 189 111.37 o 188 111.37 o 187 111.38 o 186 111.38 o 185 111.39 o 184 111.40 o 183 111.40 o 182 111.41 o 181 111.42 o 180 111.42 o 179 111.43 o 178 111.43 o 177 111.44 o 176 111.45 o 175 111.45 o 174 111.46 o 173 111.46 o 172 111.48 o 171 111.48 o 170 111.49 o 169 111.50 o 168 111.50 o 167 111.51 o 166 111.51 o 165 111.52 o 164 111.53 o 163 111.53 o 162 111.54 o 161 111.55 o 160 111.55 o 159 111.56 o 158 111.56 o 157 111.57 o 156 111.58 o 155 111.58 o 154 111.59 o 153 111.60 o 152 111.60 o 151 111.61 o 150 111.61 o 149 111.62 o 148 111.63 o 147 111.63 o 146 111.64 o 145 111.64 o 144 111.65 o 143 111.65 o 142 111.66 o 141 111.66 o 140 111.67 o 139 111.67 o 138 111.68 o 137 111.68 o 136 111.69 o 135 111.69 o 134 111.70 o 133 111.70 o 132 111.71 o 131 111.71 o 130 111.71 o 129 111.72 o 128 111.72 o 127 111.73 o 126 111.73 o 125 111.74 o 124 111.74 o 123 111.75 o 122 111.75 o 121 111.76 o 120 111.76 o 119 111.76 o 118 111.77 o 117 111.77 o 116 111.78 o 115 111.78 o 114 111.78 o 113 111.79 o 112 111.79 o 111 111.80 o 110 111.80 o 109 111.80 o 108 111.81 o 107 111.81 o 106 111.82 o 105 111.82 o 104 111.82 o 103 111.83 o 102 111.83 o 101 111.84 o 100 111.84 o 99 111.84 o 98 111.85 o 97 111.85 o 96 111.86 o 95 111.86 o 94 111.86 o 93 111.87 o 92 111.87 o 91 111.87 o 90 111.88 o 89 111.88 o 88 111.88 o 87 111.89 o 86 111.89 o 85 111.89 o 84 111.90 o 83 111.90 o 82 111.90 o 81 111.91 o 80 111.91 o 79 111.91 o 78 111.92 o 77 111.92 o 76 111.92 o 75 111.93 o 74 111.93 o 73 111.93 o 72 111.93 o 71 111.94 o 70 111.94 o 69 111.94 o 68 111.95 o 67 111.95 o 66 111.95 o 65 111.95 o 64 111.96 o 63 111.96 o 62 111.96 o 61 111.96 o 60 111.97 o 59 111.97 o 58 111.97 o 57 111.97 o 56 111.98 o 55 111.98 o 54 111.98 o 53 111.98 o 52 111.98 o 51 111.99 o 50 111.99 o 49 111.99 o 48 111.99 o 47 112.00 o 46 112.00 o 45 112.00 o 44 112.00 o 43 112.00 o 42 112.01 o 41 112.01 o 40 112.01 o 39 112.01 o 38 112.01 o 37 112.01 o 36 112.02 o 35 112.02 o 34 112.02 o 33 112.02 o 32 112.02 o 31 112.03 o 30 112.03 o 29 126.99 o 28
ERROR: no interpretation found !
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/node34/watcher-50477-1154086698 -o ROOT/results/node34/solver-50477-1154086698 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/50477-1154086698/instance-50477-1154086698.opb 269460336 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1516656/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=2268 CPUtime=0 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 155544883 2322432 333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 567 333 97 232 0 332 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1511360/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=6696 CPUtime=9.99 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 1488 0 0 0 980 19 0 0 25 0 1 0 155544883 6856704 1463 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 1674 1463 107 232 0 1439 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6696 [startup+20.0072 s] /proc/loadavg: 0.94 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1511552/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=6696 CPUtime=19.99 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 1490 0 0 0 1957 42 0 0 25 0 1 0 155544883 6856704 1465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 1674 1465 107 232 0 1439 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 6696 [startup+30.0128 s] /proc/loadavg: 0.95 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1511616/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=6696 CPUtime=30 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 1491 0 0 0 2936 64 0 0 25 0 1 0 155544883 6856704 1466 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 1674 1466 107 232 0 1439 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6696 [startup+40.0195 s] /proc/loadavg: 0.96 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1511488/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=6836 CPUtime=40 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 1554 0 0 0 3913 87 0 0 25 0 1 0 155544883 7000064 1529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 1709 1529 108 232 0 1474 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6836 [startup+50.0262 s] /proc/loadavg: 0.96 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1511488/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=6836 CPUtime=50 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 1554 0 0 0 4887 113 0 0 25 0 1 0 155544883 7000064 1529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 1709 1529 108 232 0 1474 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6836 [startup+60.0318 s] /proc/loadavg: 0.97 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1511424/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=6968 CPUtime=60 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 1589 0 0 0 5846 154 0 0 25 0 1 0 155544883 7135232 1564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 1742 1564 108 232 0 1507 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 6968 [startup+70.0385 s] /proc/loadavg: 0.97 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1511104/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=7364 CPUtime=70 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 1668 0 0 0 6805 195 0 0 25 0 1 0 155544883 7540736 1643 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 1841 1643 108 232 0 1606 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 7364 [startup+80.0452 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1508800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=9616 CPUtime=80.01 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 2247 0 0 0 7754 247 0 0 25 0 1 0 155544883 9846784 2222 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546914 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 2404 2222 108 232 0 2169 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 9616 [startup+90.0508 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1505600/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=12800 CPUtime=90.01 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 3034 0 0 0 8713 288 0 0 25 0 1 0 155544883 13107200 3009 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 3200 3009 108 232 0 2965 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 12800 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1500800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=19196 CPUtime=100.01 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 4225 0 0 0 9667 334 0 0 25 0 1 0 155544883 19656704 4200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 4799 4200 108 232 0 4564 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 19196 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1490816/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=32532 CPUtime=109.99 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 6716 0 0 0 10622 377 0 0 25 0 1 0 155544883 33312768 6691 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546833 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 8133 6691 108 232 0 7898 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 32532 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1484480/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=119.98 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8289 0 0 0 11612 386 0 0 25 0 1 0 155544883 40849408 8264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8264 108 232 0 9738 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 39892 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1484416/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=129.99 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8313 0 0 0 12613 386 0 0 25 0 1 0 155544883 40849408 8288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8288 108 232 0 9738 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 39892 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1484416/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=139.99 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8313 0 0 0 13613 386 0 0 25 0 1 0 155544883 40849408 8288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8288 108 232 0 9738 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 39892 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1484416/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=149.99 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8313 0 0 0 14613 386 0 0 25 0 1 0 155544883 40849408 8288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8288 108 232 0 9738 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 39892 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1484416/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=159.99 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8314 0 0 0 15613 386 0 0 25 0 1 0 155544883 40849408 8289 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8289 108 232 0 9738 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 39892 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19626 /proc/meminfo: memFree=1484416/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=170 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8314 0 0 0 16614 386 0 0 25 0 1 0 155544883 40849408 8289 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8289 108 232 0 9738 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 39892 [startup+180.104 s] /proc/loadavg: 1.07 1.00 1.00 2/64 19626 /proc/meminfo: memFree=1484352/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=180 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8314 0 0 0 17614 386 0 0 25 0 1 0 155544883 40849408 8289 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8289 108 232 0 9738 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 39892 [startup+190.11 s] /proc/loadavg: 1.06 1.00 1.00 2/64 19626 /proc/meminfo: memFree=1484352/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=190 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8315 0 0 0 18614 386 0 0 25 0 1 0 155544883 40849408 8290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8290 108 232 0 9738 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 39892 [startup+200.115 s] /proc/loadavg: 1.05 1.00 1.00 2/64 19626 /proc/meminfo: memFree=1484352/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=39892 CPUtime=200 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8316 0 0 0 19614 386 0 0 25 0 1 0 155544883 40849408 8291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 9973 8291 108 232 0 9738 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 39892 [startup+210.121 s] /proc/loadavg: 1.04 1.00 1.00 2/64 19626 ################ # More data... # ################ /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8856 0 0 0 177744 393 0 0 25 0 1 0 155544883 47222784 8831 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8831 108 232 0 11294 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 46116 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481864/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1782.38 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8856 0 0 0 177845 393 0 0 25 0 1 0 155544883 47222784 8831 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8831 108 232 0 11294 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 46116 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481864/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1783.38 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8857 0 0 0 177945 393 0 0 25 0 1 0 155544883 47222784 8832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8832 108 232 0 11294 0 Current children cumulated CPU time (s) 1783.38 Current children cumulated vsize (Kb) 46116 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481864/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1784.39 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8857 0 0 0 178046 393 0 0 25 0 1 0 155544883 47222784 8832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8832 108 232 0 11294 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 46116 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481864/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1785.39 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8857 0 0 0 178146 393 0 0 25 0 1 0 155544883 47222784 8832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8832 108 232 0 11294 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 46116 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481864/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1786.4 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8857 0 0 0 178247 393 0 0 25 0 1 0 155544883 47222784 8832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8832 108 232 0 11294 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 46116 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481864/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1787.4 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8857 0 0 0 178347 393 0 0 25 0 1 0 155544883 47222784 8832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8832 108 232 0 11294 0 Current children cumulated CPU time (s) 1787.4 Current children cumulated vsize (Kb) 46116 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481864/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1788.4 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8863 0 0 0 178447 393 0 0 25 0 1 0 155544883 47222784 8838 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8838 108 232 0 11294 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (Kb) 46116 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1789.41 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8863 0 0 0 178548 393 0 0 25 0 1 0 155544883 47222784 8838 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8838 108 232 0 11294 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (Kb) 46116 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1790.41 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8863 0 0 0 178648 393 0 0 25 0 1 0 155544883 47222784 8838 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8838 108 232 0 11294 0 Current children cumulated CPU time (s) 1790.41 Current children cumulated vsize (Kb) 46116 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1791.42 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8864 0 0 0 178749 393 0 0 25 0 1 0 155544883 47222784 8839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8839 108 232 0 11294 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 46116 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1792.42 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8864 0 0 0 178849 393 0 0 25 0 1 0 155544883 47222784 8839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8839 108 232 0 11294 0 Current children cumulated CPU time (s) 1792.42 Current children cumulated vsize (Kb) 46116 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1793.43 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8864 0 0 0 178950 393 0 0 25 0 1 0 155544883 47222784 8839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8839 108 232 0 11294 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 46116 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1794.43 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8864 0 0 0 179050 393 0 0 25 0 1 0 155544883 47222784 8839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8839 108 232 0 11294 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (Kb) 46116 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1795.44 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8864 0 0 0 179151 393 0 0 25 0 1 0 155544883 47222784 8839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8839 108 232 0 11294 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 46116 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1796.44 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8865 0 0 0 179251 393 0 0 25 0 1 0 155544883 47222784 8840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8840 108 232 0 11294 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 46116 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1797.45 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8865 0 0 0 179352 393 0 0 25 0 1 0 155544883 47222784 8840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8840 108 232 0 11294 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 46116 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1798.45 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8865 0 0 0 179452 393 0 0 25 0 1 0 155544883 47222784 8840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8840 108 232 0 11294 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 46116 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1799.46 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8865 0 0 0 179553 393 0 0 25 0 1 0 155544883 47222784 8840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8840 108 232 0 11294 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 46116 [startup+1801.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1800.46 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8865 0 0 0 179653 393 0 0 25 0 1 0 155544883 47222784 8840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8840 108 232 0 11294 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 46116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19824 /proc/meminfo: memFree=1481800/2055920 swapFree=4183048/4192956 [pid=19626] ppid=19624 vsize=46116 CPUtime=1800.46 /proc/19626/stat : 19626 (PBS4L) R 19624 19626 19576 0 -1 4194304 8865 0 0 0 179653 393 0 0 25 0 1 0 155544883 47222784 8840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/19626/statm: 11529 8840 108 232 0 11294 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (Kb) 46116 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.49 CPU user time (s): 1796.54 CPU system time (s): 3.9464 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (Kb): 46116 The end
Begin job on node34 on Fri Jul 28 11:38:19 UTC 2006 FILE ID= 50477-1154086698 PBS_JOBID= 885371 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/50477-1154086698/instance-50477-1154086698.opb 269460336 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-50477-1154086698 -o ROOT/results/node34/solver-50477-1154086698 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/50477-1154086698/instance-50477-1154086698.opb 269460336 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED= 269460336 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.263 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.263 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: 1516992 kB Buffers: 40844 kB Cached: 420028 kB SwapCached: 3772 kB Active: 76024 kB Inactive: 393484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1516992 kB SwapTotal: 4192956 kB SwapFree: 4183048 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14716 kB Slab: 55436 kB Committed_AS: 656928 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Fri Jul 28 12:08:20 UTC 2006