Trace number 4082513

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
NaPS 1.02OPT4225708 671.664 671.779

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_4_ic.opb
MD5SUMcc4ba8ab50e8cde73916f6bbebfc3143
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4225708
Best CPU time to get the best result obtained on this benchmark3.20851
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 77854483
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3321901821
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 77854483
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3321901821
Number of bits of the biggest sum of numbers32
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 

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

Verifier Data 

OK	4225708

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4082513-1465305487/watcher-4082513-1465305487 -o /tmp/evaluation-result-4082513-1465305487/solver-4082513-1465305487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465276571-11573 --watchdog 1960 naps-1.02 HOME/instance-4082513-1465305487.opb 

pid=14518
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.25 2.21 2.18 3/176 14521
/proc/meminfo: memFree=29872004/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=6692 CPUtime=0 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 112482280 6852608 244 33554432000 4194304 5796924 140733755221792 140734246700424 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 1673 244 128 392 0 1272 0

[startup+0.100159 s]
/proc/loadavg: 2.25 2.21 2.18 3/176 14521
/proc/meminfo: memFree=29872004/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=10184 CPUtime=0.09 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 1253 0 0 0 9 0 0 0 20 0 1 0 112482280 10428416 1118 33554432000 4194304 5796924 140733755221792 140734246700424 4404063 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 2546 1118 129 392 0 2145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10184

[startup+0.200347 s]
/proc/loadavg: 2.25 2.21 2.18 3/176 14521
/proc/meminfo: memFree=29872004/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=11876 CPUtime=0.19 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 1771 0 0 0 19 0 0 0 20 0 1 0 112482280 12161024 1578 33554432000 4194304 5796924 140733755221792 140734246700424 4261421 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 2969 1578 140 392 0 2568 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11876

[startup+0.300267 s]
/proc/loadavg: 2.25 2.21 2.18 3/176 14521
/proc/meminfo: memFree=29872004/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=12676 CPUtime=0.29 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 2115 0 0 0 29 0 0 0 20 0 1 0 112482280 12980224 1852 33554432000 4194304 5796924 140733755221792 140734246700424 4623737 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3169 1852 141 392 0 2768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12676

[startup+0.700235 s]
/proc/loadavg: 2.25 2.21 2.18 3/176 14521
/proc/meminfo: memFree=29872004/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=11600 CPUtime=0.69 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 3074 0 0 0 69 0 0 0 20 0 1 0 112482280 11878400 2436 33554432000 4194304 5796924 140733755221792 140734246700424 4295683 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 2900 2436 170 392 0 2499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11600

[startup+1.50023 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 14522
/proc/meminfo: memFree=29862308/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=11864 CPUtime=1.49 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 3127 0 0 0 149 0 0 0 20 0 1 0 112482280 12148736 2489 33554432000 4194304 5796924 140733755221792 140733755216376 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 2966 2489 171 392 0 2565 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11864

[startup+3.10023 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 14522
/proc/meminfo: memFree=29861936/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=12128 CPUtime=3.09 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 3200 0 0 0 309 0 0 0 20 0 1 0 112482280 12419072 2562 33554432000 4194304 5796924 140733755221792 140733755216312 4865560 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3032 2562 171 392 0 2631 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12128

[startup+6.30023 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 14522
/proc/meminfo: memFree=29861564/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=12440 CPUtime=6.29 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 3274 0 0 0 629 0 0 0 20 0 1 0 112482280 12738560 2636 33554432000 4194304 5796924 140733755221792 140733755216376 4295906 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3110 2636 171 392 0 2709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12440

[startup+12.7002 s]
/proc/loadavg: 2.21 2.20 2.18 4/177 14522
/proc/meminfo: memFree=29860876/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=13088 CPUtime=12.68 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 3414 0 0 0 1268 0 0 0 20 0 1 0 112482280 13402112 2776 33554432000 4194304 5796924 140733755221792 140733755216280 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3272 2776 171 392 0 2871 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13088

[startup+25.5003 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 14522
/proc/meminfo: memFree=29859764/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=14220 CPUtime=25.48 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 3702 0 0 0 2548 0 0 0 20 0 1 0 112482280 14561280 3064 33554432000 4194304 5796924 140733755221792 140733755216312 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3555 3064 171 392 0 3154 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14220

[startup+51.1003 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 14522
/proc/meminfo: memFree=29859520/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=14660 CPUtime=51.08 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 3795 0 0 0 5108 0 0 0 20 0 1 0 112482280 15011840 3157 33554432000 4194304 5796924 140733755221792 140733755216280 5100101 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3665 3157 171 392 0 3264 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14660

[startup+102.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/177 14523
/proc/meminfo: memFree=29858980/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=15188 CPUtime=102.28 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 3954 0 0 0 10228 0 0 0 20 0 1 0 112482280 15552512 3316 33554432000 4194304 5796924 140733755221792 140733755216376 4806956 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3797 3316 171 392 0 3396 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15188

[startup+162.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/178 14527
/proc/meminfo: memFree=29858240/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=15584 CPUtime=162.26 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 4075 0 0 0 16226 0 0 0 20 0 1 0 112482280 15958016 3437 33554432000 4194304 5796924 140733755221792 140733755216376 5092431 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3896 3437 171 392 0 3495 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15584

[startup+222.307 s]
/proc/loadavg: 2.18 2.19 2.18 4/177 14528
/proc/meminfo: memFree=29856916/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=17148 CPUtime=222.26 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 4402 0 0 0 22226 0 0 0 20 0 1 0 112482280 17559552 3764 33554432000 4194304 5796924 140733755221792 140733755216312 5128256 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 4287 3764 171 392 0 3886 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 17148

[startup+282.3 s]
/proc/loadavg: 2.22 2.19 2.18 4/177 14529
/proc/meminfo: memFree=29856880/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=17148 CPUtime=282.24 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 4405 0 0 0 28224 0 0 0 20 0 1 0 112482280 17559552 3767 33554432000 4194304 5796924 140733755221792 140733755216312 4809142 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 4287 3767 171 392 0 3886 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 17148

[startup+342.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 14531
/proc/meminfo: memFree=29856876/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=17148 CPUtime=342.23 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 4407 0 0 0 34223 0 0 0 20 0 1 0 112482280 17559552 3769 33554432000 4194304 5796924 140733755221792 140733755216312 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 4287 3769 171 392 0 3886 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 17148

[startup+402.3 s]
/proc/loadavg: 2.22 2.19 2.18 4/177 14532
/proc/meminfo: memFree=29856976/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=17148 CPUtime=402.22 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 4408 0 0 0 40222 0 0 0 20 0 1 0 112482280 17559552 3770 33554432000 4194304 5796924 140733755221792 140733755216312 4295718 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 4287 3770 171 392 0 3886 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 17148

[startup+462.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 14533
/proc/meminfo: memFree=29855656/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=17148 CPUtime=462.21 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 4408 0 0 0 46221 0 0 0 20 0 1 0 112482280 17559552 3770 33554432000 4194304 5796924 140733755221792 140733755216312 5100122 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 4287 3770 171 392 0 3886 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 17148

[startup+522.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/177 14534
/proc/meminfo: memFree=29855832/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=17148 CPUtime=522.21 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 4408 0 0 0 52221 0 0 0 20 0 1 0 112482280 17559552 3770 33554432000 4194304 5796924 140733755221792 140733755216312 5087724 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 4287 3770 171 392 0 3886 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 17148

[startup+582.3 s]
/proc/loadavg: 2.15 2.20 2.18 4/177 14535
/proc/meminfo: memFree=28902600/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1050272 CPUtime=582.2 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 109209 0 0 0 58184 36 0 0 20 0 1 0 112482280 1075478528 240883 33554432000 4194304 5796924 140733755221792 140733755218904 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 262568 240883 184 392 0 262167 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1050272

[startup+642.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 14537
/proc/meminfo: memFree=28436572/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1539924 CPUtime=642.18 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 147472 0 0 0 64158 60 0 0 20 0 1 0 112482280 1576882176 356424 33554432000 4194304 5796924 140733755221792 140733755218840 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 384981 356424 184 392 0 384580 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 1539924

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14521 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+652.8 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 14537
/proc/meminfo: memFree=28354564/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1621216 CPUtime=652.68 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 158372 0 0 0 65203 65 0 0 20 0 1 0 112482280 1660125184 377254 33554432000 4194304 5796924 140733755221792 140733755218904 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 405304 377254 185 392 0 404903 0
Current children cumulated CPU time (s) 652.68
Current children cumulated vsize (KiB) 1621216

[startup+659.2 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 14537
/proc/meminfo: memFree=28246092/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1776000 CPUtime=659.08 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 160664 0 0 0 65841 67 0 0 20 0 1 0 112482280 1818624000 404005 33554432000 4194304 5796924 140733755221792 140733755219208 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 444000 404005 185 392 0 443599 0
Current children cumulated CPU time (s) 659.08
Current children cumulated vsize (KiB) 1776000

[startup+665.607 s]
/proc/loadavg: 2.24 2.22 2.18 4/177 14538
/proc/meminfo: memFree=28225920/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1771628 CPUtime=665.48 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 162299 0 0 0 66479 69 0 0 20 0 1 0 112482280 1814147072 409047 33554432000 4194304 5796924 140733755221792 140733755218840 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 442907 409047 185 392 0 442506 0
Current children cumulated CPU time (s) 665.48
Current children cumulated vsize (KiB) 1771628

[startup+668.8 s]
/proc/loadavg: 2.22 2.22 2.18 4/177 14538
/proc/meminfo: memFree=28177400/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1821412 CPUtime=668.69 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 168423 0 0 0 66798 71 0 0 20 0 1 0 112482280 1865125888 421235 33554432000 4194304 5796924 140733755221792 140733755218760 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 455353 421235 185 392 0 454952 0
Current children cumulated CPU time (s) 668.69
Current children cumulated vsize (KiB) 1821412

[startup+670.4 s]
/proc/loadavg: 2.22 2.22 2.18 4/177 14538
/proc/meminfo: memFree=28185988/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1794776 CPUtime=670.28 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 168975 0 0 0 66957 71 0 0 20 0 1 0 112482280 1837850624 419071 33554432000 4194304 5796924 140733755221792 140733755218840 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 448694 419071 185 392 0 448293 0
Current children cumulated CPU time (s) 670.28
Current children cumulated vsize (KiB) 1794776

[startup+671.2 s]
/proc/loadavg: 2.22 2.22 2.18 4/177 14538
/proc/meminfo: memFree=28185168/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1794776 CPUtime=671.07 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 168982 0 0 0 67036 71 0 0 20 0 1 0 112482280 1837850624 419583 33554432000 4194304 5796924 140733755221792 140733755218840 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 448694 419583 185 392 0 448293 0
Current children cumulated CPU time (s) 671.07
Current children cumulated vsize (KiB) 1794776

[startup+671.6 s]
/proc/loadavg: 2.22 2.22 2.18 4/177 14538
/proc/meminfo: memFree=28185168/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1763632 CPUtime=671.47 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 168996 0 0 0 67076 71 0 0 20 0 1 0 112482280 1805959168 412193 33554432000 4194304 5796924 140733755221792 140733755218840 4553778 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 440908 412193 199 392 0 440507 0
Current children cumulated CPU time (s) 671.47
Current children cumulated vsize (KiB) 1763632

[startup+671.7 s]
/proc/loadavg: 2.22 2.22 2.18 4/177 14538
/proc/meminfo: memFree=28185168/32872528 swapFree=14448/1543360
[pid=14521] ppid=14518 vsize=1763632 CPUtime=671.57 cores=0,2,4,6
/proc/14521/stat : 14521 (naps-1.02) R 14518 14521 11557 0 -1 4202496 168996 0 0 0 67086 71 0 0 20 0 1 0 112482280 1805959168 412193 33554432000 4194304 5796924 140733755221792 140733755218840 4553778 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 440908 412193 199 392 0 440507 0
Current children cumulated CPU time (s) 671.57
Current children cumulated vsize (KiB) 1763632

Child status: 30
Real time (s): 671.779
CPU time (s): 671.664
CPU user time (s): 670.895
CPU system time (s): 0.768883
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1870864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 670.895
system time used= 0.768883
maximum resident set size= 1726148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168997
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= 27
involuntary context switches= 936

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.82472 second user time and 2.26765 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-07 15:18:07
IDJOB=4082513
IDBENCH=92790
IDSOLVER=2544
FILE ID=node116/4082513-1465305487
RUNJOBID= node116-1465276571-11573
PBS_JOBID= 19843309
Free space on /tmp= 71720 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_4_ic.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082513-1465305487/watcher-4082513-1465305487 -o /tmp/evaluation-result-4082513-1465305487/solver-4082513-1465305487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465276571-11573 --watchdog 1960  naps-1.02 HOME/instance-4082513-1465305487.opb

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

MD5SUM BENCH= cc4ba8ab50e8cde73916f6bbebfc3143
RANDOM SEED=156566804

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29872268 kB
Buffers:          130368 kB
Cached:           253776 kB
SwapCached:         1868 kB
Active:           452044 kB
Inactive:         264008 kB
Active(anon):     332380 kB
Inactive(anon):     2000 kB
Active(file):     119664 kB
Inactive(file):   262008 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:              4292 kB
Writeback:             4 kB
AnonPages:       1874492 kB
Mapped:             8896 kB
Shmem:                 0 kB
Slab:             607060 kB
SReclaimable:      51012 kB
SUnreclaim:       556048 kB
KernelStack:        1440 kB
PageTables:         7556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2014820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1585152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node116 at 2016-06-07 15:29:19