Trace number 37484

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.3SAT207320 1782.75 1783.27

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUMf687933a5408753eb50bdd526af25aa5
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3052
Best CPU time to get the best result obtained on this benchmark1800.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3052
Optimality of the best value was proved NO
Number of variables3300
Total number of constraints1985
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220
Number of terms in the objective function 2792
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1385986
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1385986
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	207320

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/64 21980
/proc/meminfo: memFree=1211912/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=2328 CPUtime=0
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 190280464 2383872 130 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8407928 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 582 130 111 16 0 11 0

[startup+10.003 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1200024/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=14176 CPUtime=9.99
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 3498 0 0 0 994 5 0 0 25 0 1 0 190280464 14516224 3164 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 3544 3164 205 16 0 2985 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 14176

[startup+20.0091 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1177648/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=36608 CPUtime=19.99
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 9134 0 0 0 1989 10 0 0 25 0 1 0 190280464 37486592 8771 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 9152 8771 205 16 0 8593 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 36608

[startup+30.0152 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1172336/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=42104 CPUtime=30
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 10486 0 0 0 2981 19 0 0 25 0 1 0 190280464 43114496 10123 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 10526 10123 205 16 0 9967 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 42104

[startup+40.0213 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1172016/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=42444 CPUtime=40
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 10587 0 0 0 3969 31 0 0 25 0 1 0 190280464 43462656 10209 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 10611 10209 205 16 0 10052 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 42444

[startup+50.0274 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1169328/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=45036 CPUtime=50.01
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11256 0 0 0 4952 49 0 0 25 0 1 0 190280464 46116864 10878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 11259 10878 205 16 0 10700 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 45036

[startup+60.0335 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1169328/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=45036 CPUtime=60.01
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11256 0 0 0 5949 52 0 0 25 0 1 0 190280464 46116864 10878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 11259 10878 205 16 0 10700 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 45036

[startup+70.0396 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1169392/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=45036 CPUtime=70.01
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11256 0 0 0 6948 53 0 0 25 0 1 0 190280464 46116864 10878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 11259 10878 205 16 0 10700 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 45036

[startup+80.0457 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1169392/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=45036 CPUtime=80.01
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11256 0 0 0 7948 53 0 0 25 0 1 0 190280464 46116864 10878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 11259 10878 205 16 0 10700 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 45036

[startup+90.0508 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1168240/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=46372 CPUtime=90.02
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11563 0 0 0 8947 55 0 0 25 0 1 0 190280464 47484928 11183 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 11593 11183 205 16 0 11034 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 46372

[startup+100.057 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1167216/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=47228 CPUtime=100.02
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11795 0 0 0 9944 58 0 0 25 0 1 0 190280464 48361472 11415 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 11807 11415 205 16 0 11248 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 47228

[startup+110.063 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1166896/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=47532 CPUtime=110.03
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 11875 0 0 0 10941 62 0 0 25 0 1 0 190280464 48672768 11495 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 11883 11495 205 16 0 11324 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 47532

[startup+120.069 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1164592/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=49816 CPUtime=120.02
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 12443 0 0 0 11935 67 0 0 25 0 1 0 190280464 51011584 12063 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 12454 12063 205 16 0 11895 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 49816

[startup+130.075 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1165104/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=49276 CPUtime=130.03
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 12493 0 0 0 12933 70 0 0 25 0 1 0 190280464 50458624 11938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 12319 11938 205 16 0 11760 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 49276

[startup+140.081 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1164848/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=49512 CPUtime=140.03
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 12549 0 0 0 13929 74 0 0 25 0 1 0 190280464 50700288 11994 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 12378 11994 205 16 0 11819 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 49512

[startup+150.086 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1163568/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=50860 CPUtime=150.04
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 12867 0 0 0 14926 78 0 0 25 0 1 0 190280464 52080640 12312 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 12715 12312 205 16 0 12156 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 50860

[startup+160.093 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1161968/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=52456 CPUtime=160.03
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 13264 0 0 0 15917 86 0 0 25 0 1 0 190280464 53714944 12709 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 13114 12709 205 16 0 12555 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 52456

[startup+170.099 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1161136/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=53308 CPUtime=170.04
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 13472 0 0 0 16912 92 0 0 25 0 1 0 190280464 54587392 12917 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 13327 12917 205 16 0 12768 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 53308

[startup+180.105 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1160624/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=53828 CPUtime=180.04
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 13627 0 0 0 17907 97 0 0 25 0 1 0 190280464 55119872 13072 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 13457 13072 205 16 0 12898 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 53828

[startup+190.111 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1160432/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=54072 CPUtime=190.05
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 13663 0 0 0 18903 102 0 0 25 0 1 0 190280464 55369728 13108 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 13518 13108 205 16 0 12959 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 54072

[startup+200.117 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1157040/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=57180 CPUtime=200.05
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 14533 0 0 0 19899 106 0 0 25 0 1 0 190280464 58552320 13913 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 14295 13913 205 16 0 13736 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 57180

[startup+210.123 s]
/proc/loadavg: 1.00 0.97 0.91 2/64 21980
/proc/meminfo: memFree=1157552/2055920 swapFree=4181452/4192956

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

/proc/21980/statm: 19939 19553 205 16 0 19380 0
Current children cumulated CPU time (s) 1590.49
Current children cumulated vsize (Kb) 79756

[startup+1600.96 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134512/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=79752 CPUtime=1600.49
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21546 0 0 0 159341 708 0 0 25 0 1 0 190280464 81666048 19552 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 19938 19552 205 16 0 19379 0
Current children cumulated CPU time (s) 1600.49
Current children cumulated vsize (Kb) 79752

[startup+1610.96 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134448/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=79876 CPUtime=1610.5
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21561 0 0 0 160336 714 0 0 25 0 1 0 190280464 81793024 19567 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 19969 19567 205 16 0 19410 0
Current children cumulated CPU time (s) 1610.5
Current children cumulated vsize (Kb) 79876

[startup+1620.97 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134448/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=79876 CPUtime=1620.5
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21561 0 0 0 161333 717 0 0 25 0 1 0 190280464 81793024 19567 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 19969 19567 205 16 0 19410 0
Current children cumulated CPU time (s) 1620.5
Current children cumulated vsize (Kb) 79876

[startup+1630.98 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134448/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=79876 CPUtime=1630.5
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21576 0 0 0 162330 720 0 0 25 0 1 0 190280464 81793024 19582 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517807 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 19969 19582 205 16 0 19410 0
Current children cumulated CPU time (s) 1630.5
Current children cumulated vsize (Kb) 79876

[startup+1640.98 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134384/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=79996 CPUtime=1640.5
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21590 0 0 0 163328 722 0 0 25 0 1 0 190280464 81915904 19596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 19999 19596 205 16 0 19440 0
Current children cumulated CPU time (s) 1640.5
Current children cumulated vsize (Kb) 79996

[startup+1650.99 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134384/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=79964 CPUtime=1650.5
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21590 0 0 0 164325 725 0 0 25 0 1 0 190280464 81883136 19596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 19991 19596 205 16 0 19432 0
Current children cumulated CPU time (s) 1650.5
Current children cumulated vsize (Kb) 79964

[startup+1660.99 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134320/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80028 CPUtime=1660.51
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21605 0 0 0 165323 728 0 0 25 0 1 0 190280464 81948672 19605 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20007 19605 205 16 0 19448 0
Current children cumulated CPU time (s) 1660.51
Current children cumulated vsize (Kb) 80028

[startup+1671 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134320/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80008 CPUtime=1670.52
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21607 0 0 0 166320 732 0 0 25 0 1 0 190280464 81928192 19607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20002 19607 205 16 0 19443 0
Current children cumulated CPU time (s) 1670.52
Current children cumulated vsize (Kb) 80008

[startup+1681.01 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134256/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80008 CPUtime=1680.52
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21616 0 0 0 167316 736 0 0 25 0 1 0 190280464 81928192 19616 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20002 19616 205 16 0 19443 0
Current children cumulated CPU time (s) 1680.52
Current children cumulated vsize (Kb) 80008

[startup+1691.01 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134256/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80000 CPUtime=1690.52
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21621 0 0 0 168312 740 0 0 25 0 1 0 190280464 81920000 19614 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20000 19614 205 16 0 19441 0
Current children cumulated CPU time (s) 1690.52
Current children cumulated vsize (Kb) 80000

[startup+1701.02 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134192/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80120 CPUtime=1700.52
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21646 0 0 0 169309 743 0 0 25 0 1 0 190280464 82042880 19639 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20030 19639 205 16 0 19471 0
Current children cumulated CPU time (s) 1700.52
Current children cumulated vsize (Kb) 80120

[startup+1711.02 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134128/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80244 CPUtime=1710.53
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21657 0 0 0 170307 746 0 0 25 0 1 0 190280464 82169856 19650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528603 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20061 19650 205 16 0 19502 0
Current children cumulated CPU time (s) 1710.53
Current children cumulated vsize (Kb) 80244

[startup+1721.03 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134128/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80184 CPUtime=1720.53
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21657 0 0 0 171304 749 0 0 25 0 1 0 190280464 82108416 19650 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20046 19650 205 16 0 19487 0
Current children cumulated CPU time (s) 1720.53
Current children cumulated vsize (Kb) 80184

[startup+1731.04 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134128/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80180 CPUtime=1730.53
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21660 0 0 0 172301 752 0 0 25 0 1 0 190280464 82104320 19653 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20045 19653 205 16 0 19486 0
Current children cumulated CPU time (s) 1730.53
Current children cumulated vsize (Kb) 80180

[startup+1741.04 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134064/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80292 CPUtime=1740.54
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21671 0 0 0 173298 756 0 0 25 0 1 0 190280464 82219008 19664 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20073 19664 205 16 0 19514 0
Current children cumulated CPU time (s) 1740.54
Current children cumulated vsize (Kb) 80292

[startup+1751.05 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134064/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80340 CPUtime=1750.54
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21680 0 0 0 174294 760 0 0 25 0 1 0 190280464 82268160 19673 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20085 19673 205 16 0 19526 0
Current children cumulated CPU time (s) 1750.54
Current children cumulated vsize (Kb) 80340

[startup+1761.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1134064/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80336 CPUtime=1760.54
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21685 0 0 0 175290 764 0 0 25 0 1 0 190280464 82264064 19678 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20084 19678 205 16 0 19525 0
Current children cumulated CPU time (s) 1760.54
Current children cumulated vsize (Kb) 80336

[startup+1771.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1133936/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80456 CPUtime=1770.54
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21709 0 0 0 176286 768 0 0 25 0 1 0 190280464 82386944 19702 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20114 19702 205 16 0 19555 0
Current children cumulated CPU time (s) 1770.54
Current children cumulated vsize (Kb) 80456

[startup+1781.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1133936/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80476 CPUtime=1780.55
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21714 0 0 0 177285 770 0 0 25 0 1 0 190280464 82407424 19707 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20119 19707 205 16 0 19560 0
Current children cumulated CPU time (s) 1780.55
Current children cumulated vsize (Kb) 80476

[startup+1782.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1133936/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80476 CPUtime=1781.55
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21714 0 0 0 177385 770 0 0 25 0 1 0 190280464 82407424 19707 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20119 19707 205 16 0 19560 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 80476

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 21980
/proc/meminfo: memFree=1133936/2055920 swapFree=4181452/4192956
[pid=21980] ppid=21978 vsize=80476 CPUtime=1782.55
/proc/21980/stat : 21980 (Pueblo13) R 21978 21980 21934 0 -1 4194304 21714 0 0 0 177485 770 0 0 25 0 1 0 190280464 82407424 19707 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21980/statm: 20119 19707 205 16 0 19560 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 80476

Child status: 10
Real time (s): 1783.27
CPU time (s): 1782.75
CPU user time (s): 1775.03
CPU system time (s): 7.72283
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (Kb): 80476

Launcher Data (download as text)

Begin job on node21 on Fri Jun  2 11:02:54 UTC 2006


FILE ID= 37484-1149246174

PBS_JOBID= 297809

BENCH NAME= ROOT/tmp/node21/37484-1149246174/instance-37484-1149246174.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37484-1149246174/instance-37484-1149246174.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-37484-1149246174 -o ROOT/results/node21/solver-37484-1149246174 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node21/37484-1149246174/instance-37484-1149246174.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  f687933a5408753eb50bdd526af25aa5

RANDOM SEED= 195081863


/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.240
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.240
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:       1212312 kB
Buffers:         46276 kB
Cached:         719824 kB
SwapCached:       3388 kB
Active:         216736 kB
Inactive:       558240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1212312 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            54716 kB
Committed_AS:   248772 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node21 on Fri Jun  2 11:32:37 UTC 2006