Trace number 1877791

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 clOPT6 1674.49 1675.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx60.opb
MD5SUM26c9befa85d0a0769813e718015f6caa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark40.6458
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2994
Total number of constraints3433
Number of constraints which are clauses2988
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
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 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	6

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877791-1245220565/watcher-1877791-1245220565 -o /tmp/evaluation-result-1877791-1245220565/solver-1877791-1245220565 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877791-1245220565.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11655
/proc/meminfo: memFree=1761888/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=11008 CPUtime=0
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 74789511 11272192 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 2753 252 177 640 0 2034 0

[startup+0.022597 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11655
/proc/meminfo: memFree=1761888/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=11556 CPUtime=0.02
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 407 0 0 0 2 0 0 0 18 0 1 0 74789511 11833344 391 1992294400 134512640 137136520 4294956256 18446744073709551615 136523233 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 2889 391 204 640 0 2170 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11556

[startup+0.101612 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11655
/proc/meminfo: memFree=1761888/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=12520 CPUtime=0.09
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 783 0 0 0 9 0 0 0 18 0 1 0 74789511 12820480 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 3130 692 189 640 0 2486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12520

[startup+0.301651 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11655
/proc/meminfo: memFree=1761888/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=12520 CPUtime=0.29
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 783 0 0 0 29 0 0 0 19 0 1 0 74789511 12820480 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 3130 692 189 640 0 2486 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12520

[startup+0.70173 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 11655
/proc/meminfo: memFree=1761888/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=12556 CPUtime=0.69
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 808 0 0 0 69 0 0 0 23 0 1 0 74789511 12857344 717 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 3139 717 191 640 0 2495 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12556

[startup+1.50189 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1759768/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=12768 CPUtime=1.49
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 858 0 0 0 148 1 0 0 25 0 1 0 74789511 13074432 767 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 3192 767 196 640 0 2548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12768

[startup+3.10121 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1758040/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=16972 CPUtime=3.09
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 1927 0 0 0 306 3 0 0 25 0 1 0 74789511 17379328 1836 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 4243 1837 196 640 0 3599 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16972

[startup+6.30185 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1748760/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=26420 CPUtime=6.29
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 4267 0 0 0 624 5 0 0 25 0 1 0 74789511 27054080 4176 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 6605 4176 196 640 0 5961 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26420

[startup+12.7021 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1735576/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=36816 CPUtime=12.69
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 6870 0 0 0 1262 7 0 0 25 0 1 0 74789511 37699584 6779 1992294400 134512640 137136520 4294956256 18446744073709551615 136509014 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 9204 6779 196 640 0 8560 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36816

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1687832/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=85244 CPUtime=25.48
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 18965 0 0 0 2534 14 0 0 25 0 1 0 74789511 87289856 18874 1992294400 134512640 137136520 4294956256 18446744073709551615 134574377 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 21311 18874 196 640 0 20667 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85244

[startup+51.1018 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1637720/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=135020 CPUtime=51.06
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 31428 0 0 0 5081 25 0 0 25 0 1 0 74789511 138260480 31337 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 33755 31337 196 640 0 33111 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 135020

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1552216/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=219720 CPUtime=102.25
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 52594 0 0 0 10182 43 0 0 25 0 1 0 74789511 224993280 52503 1992294400 134512640 137136520 4294956256 18446744073709551615 134544554 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 54930 52503 196 640 0 54286 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 219720

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1513112/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=258800 CPUtime=162.21
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 62380 0 0 0 16168 53 0 0 25 0 1 0 74789511 265011200 62289 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 64700 62289 196 640 0 64056 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 258800

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1499160/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=272616 CPUtime=222.18
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 65836 0 0 0 22157 61 0 0 25 0 1 0 74789511 279158784 65745 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 68154 65745 196 640 0 67510 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 272616

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1426712/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=347244 CPUtime=282.15
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 84497 0 0 0 28121 94 0 0 25 0 1 0 74789511 355577856 84406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 86811 84406 196 640 0 86167 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 347244

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1331480/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=440136 CPUtime=342.11
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 107719 0 0 0 34096 115 0 0 25 0 1 0 74789511 450699264 107628 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 110034 107628 196 640 0 109390 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 440136

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1262040/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=510036 CPUtime=402.08
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 125175 0 0 0 40079 129 0 0 25 0 1 0 74789511 522276864 125084 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 127509 125084 196 640 0 126865 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 510036

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1207896/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=563524 CPUtime=462.05
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 138558 0 0 0 46065 140 0 0 25 0 1 0 74789511 577048576 138467 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 140881 138467 196 640 0 140237 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 563524

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1170392/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=601052 CPUtime=522.02
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 147947 0 0 0 52051 151 0 0 25 0 1 0 74789511 615477248 147856 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 150263 147856 196 640 0 149619 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 601052

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1139224/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=632704 CPUtime=582
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 155861 0 0 0 58034 166 0 0 25 0 1 0 74789511 647888896 155770 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 158176 155770 196 640 0 157532 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 632704

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=1103832/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=666968 CPUtime=641.97
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 164420 0 0 0 64009 188 0 0 25 0 1 0 74789511 682975232 164329 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 166742 164329 196 640 0 166098 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 666968

[startup+702.302 s]

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

/proc/meminfo: memFree=909144/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=861708 CPUtime=941.83
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 213103 0 0 0 93953 230 0 0 25 0 1 0 74789511 882388992 213012 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 215427 213012 196 640 0 214783 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 861708

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=884248/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=886240 CPUtime=1001.8
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 219240 0 0 0 99944 236 0 0 25 0 1 0 74789511 907509760 219149 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 221560 219149 196 640 0 220916 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 886240

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11656
/proc/meminfo: memFree=859800/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=910868 CPUtime=1061.77
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 225402 0 0 0 105935 242 0 0 25 0 1 0 74789511 932728832 225311 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 227717 225311 196 640 0 227073 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 910868

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11658
/proc/meminfo: memFree=838872/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=931548 CPUtime=1121.75
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 230571 0 0 0 111928 247 0 0 25 0 1 0 74789511 953905152 230480 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 232887 230480 196 640 0 232243 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 931548

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11658
/proc/meminfo: memFree=820248/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=950336 CPUtime=1181.73
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 235268 0 0 0 117921 252 0 0 25 0 1 0 74789511 973144064 235177 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 237584 235177 196 640 0 236940 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 950336

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11658
/proc/meminfo: memFree=797272/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=973064 CPUtime=1241.69
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 240940 0 0 0 123912 257 0 0 25 0 1 0 74789511 996417536 240849 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 243266 240849 196 640 0 242622 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 973064

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11658
/proc/meminfo: memFree=775896/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=994124 CPUtime=1301.67
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 246207 0 0 0 129903 264 0 0 25 0 1 0 74789511 1017982976 246116 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 248531 246116 196 640 0 247887 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 994124

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11658
/proc/meminfo: memFree=756504/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1013820 CPUtime=1361.63
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 251123 0 0 0 135893 270 0 0 25 0 1 0 74789511 1038151680 251032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 253455 251032 196 640 0 252811 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 1013820

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11658
/proc/meminfo: memFree=737944/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1032180 CPUtime=1421.6
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 255712 0 0 0 141885 275 0 0 25 0 1 0 74789511 1056952320 255621 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 258045 255621 196 640 0 257401 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 1032180

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11658
/proc/meminfo: memFree=722584/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1047576 CPUtime=1481.57
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 259565 0 0 0 147877 280 0 0 25 0 1 0 74789511 1072717824 259474 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 261894 259474 196 640 0 261250 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 1047576

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=711768/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1058100 CPUtime=1541.54
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 262189 0 0 0 153870 284 0 0 25 0 1 0 74789511 1083494400 262098 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 264525 262098 196 640 0 263881 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 1058100

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=700696/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1069440 CPUtime=1601.49
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 265022 0 0 0 159861 288 0 0 25 0 1 0 74789511 1095106560 264931 1992294400 134512640 137136520 4294956256 18446744073709551615 134544554 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 267360 264931 196 640 0 266716 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 1069440

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=689752/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1080320 CPUtime=1661.46
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 267761 0 0 0 165853 293 0 0 25 0 1 0 74789511 1106247680 267670 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 270080 267670 196 640 0 269436 0
Current children cumulated CPU time (s) 1661.46
Current children cumulated vsize (KiB) 1080320

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

[startup+1663.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=689048/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1081096 CPUtime=1663.06
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 267939 0 0 0 166013 293 0 0 25 0 1 0 74789511 1107042304 267848 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 270274 267848 196 640 0 269630 0
Current children cumulated CPU time (s) 1663.06
Current children cumulated vsize (KiB) 1081096

[startup+1670.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=687896/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1082168 CPUtime=1669.46
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 268214 0 0 0 166652 294 0 0 25 0 1 0 74789511 1108140032 268123 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 270542 268123 196 640 0 269898 0
Current children cumulated CPU time (s) 1669.46
Current children cumulated vsize (KiB) 1082168

[startup+1673.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=687320/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1082676 CPUtime=1672.65
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 268348 0 0 0 166971 294 0 0 25 0 1 0 74789511 1108660224 268257 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 270669 268257 196 640 0 270025 0
Current children cumulated CPU time (s) 1672.65
Current children cumulated vsize (KiB) 1082676

[startup+1674.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=687192/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1082880 CPUtime=1673.45
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 268384 0 0 0 167051 294 0 0 25 0 1 0 74789511 1108869120 268293 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 270720 268293 196 640 0 270076 0
Current children cumulated CPU time (s) 1673.45
Current children cumulated vsize (KiB) 1082880

[startup+1675.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=687192/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=1082880 CPUtime=1674.25
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194304 268403 0 0 0 167131 294 0 0 25 0 1 0 74789511 1108869120 268312 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 270720 268312 196 640 0 270076 0
Current children cumulated CPU time (s) 1674.25
Current children cumulated vsize (KiB) 1082880

[startup+1675.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 11664
/proc/meminfo: memFree=905304/2055920 swapFree=4191900/4192956
[pid=11655] ppid=11653 vsize=0 CPUtime=1674.46
/proc/11655/stat : 11655 (bsolo) R 11653 11655 11529 0 -1 4194308 268411 0 0 0 167138 308 0 0 25 0 1 0 74789511 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11655/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1674.46
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1675.32
CPU time (s): 1674.49
CPU user time (s): 1671.38
CPU system time (s): 3.10653
CPU usage (%): 99.95
Max. virtual memory (cumulated for all children) (KiB): 1082880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1671.38
system time used= 3.10653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268411
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= 2
involuntary context switches= 5221

runsolver used 1.36779 second user time and 4.73328 second system time

The end

Launcher Data 

Begin job on node33 at 2009-06-17 08:36:05
IDJOB=1877791
IDBENCH=71842
IDSOLVER=700
FILE ID=node33/1877791-1245220565
PBS_JOBID= 9368432
Free space on /tmp= 65952 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877791-1245220565/watcher-1877791-1245220565 -o /tmp/evaluation-result-1877791-1245220565/solver-1877791-1245220565 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1877791-1245220565.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 26c9befa85d0a0769813e718015f6caa
RANDOM SEED=2068234645

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

/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.261
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.261
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:       1762376 kB
Buffers:         62076 kB
Cached:         147456 kB
SwapCached:        384 kB
Active:         102888 kB
Inactive:       120104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762376 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4240 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            56540 kB
Committed_AS:   152616 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877791-1245220565.opb

Free space on /tmp at the end= 65948 MiB
End job on node33 at 2009-06-17 09:04:01