Trace number 4105703

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.02OPT1 1450.2 1450.43

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb
MD5SUM2dac3f359b4902a48427eec4a1e131fe
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.943855
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables3401
Total number of constraints9841
Number of constraints which are clauses9840
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint3280
Number of terms in the objective function 41
Biggest coefficient in the objective function 1099511627776
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 2199023255551
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 664613997892457936451903530140172288
Number of bits of the biggest number in a constraint 120
Biggest sum of numbers in a constraint 2658455991569056391466495993868342803
Number of bits of the biggest sum of numbers121
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.
1450.16/1450.42	o 6
1450.16/1450.42	o 3
1450.16/1450.42	o 1
1450.16/1450.42	s OPTIMUM FOUND
1450.16/1450.42	c _____________________________________________________________________________
1450.16/1450.42	c 
1450.16/1450.42	c std/band forms        : 0,1
1450.16/1450.42	c 2cl/3cl ITE-codings   : 0,112731
1450.16/1450.42	c BDD/srt/adr Max costs : 117248,0,0
1450.16/1450.42	c BDDraw/bin/mul/srt/adr: 1,0,0,0,0
1450.16/1450.42	c BDD nodes             : 117249
1450.16/1450.42	c Es1/CC detections     : 0,0
1450.16/1450.42	c SAT/UNSAT calls       : 3,0
1450.16/1450.42	c restarts              : 4080
1450.16/1450.42	c conflicts             : 1202195        (829 /sec)
1450.16/1450.42	c decisions             : 4159181        (2868 /sec)
1450.16/1450.42	c propagations          : 5852222922     (4035995 /sec)
1450.16/1450.42	c inspects              : 0              (0 /sec)
1450.16/1450.42	c CPU time (solving tm) : 1450 s        (1448 s)
1450.16/1450.42	c Time for Opt-base     : 0 s
1450.16/1450.42	c _____________________________________________________________________________
1450.16/1450.42	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x122 -x42 x123 x43 -x124 -x44 -x125 -x45 x126 x46 -x127 -x47 -x128 -x48 -x129 -x49 -x130 -x50 x131 x51 x132 x52 -x133 -x53 x134 x54 -x135 -x55 x136 x56 -x137 -x57 -x138 -x58 x139 x59 x140 x60 -x141 -x61 -x142 -x62 x143 x63 x144 x64 -x145 -x65 x146 x66 -x147 -x67 -x148 -x68 -x149 -x69 x150 x70 -x151 -x71 -x152 -x72 x153 x73 -x154 -x74 -x155 -x75 x156 x76 x157 x77 -x158 -x78 x159 x79 x160 x80 -x161 -x81 -x162 -x82 x163 x83 x164 x84 -x165 -x85 -x166 -x86 x167 x87 x168 x88 -x169 -x89 -x170 -x90 x171 x91 -x172 -x92 x173 x93 x174 x94 x175 x95 x176 x96 x177 x97 -x178 -x98 -x179 -x99 x180 x100 -x181 -x101 x182 x102 x183 x103 x184 x104 x185 x105 x186 x106 x187 x107 x188 x108 x189 x109 -x190 -x110 -x191 -x111 x192 x112 x193 x113 x194 x114 x195 x115 -x196 -x116 x197 x117 x198 x118 -x199 -x119 x200 x120 -x201 -x121 -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 -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 -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 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -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 -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 -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 -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
1450.16/1450.42	v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921

Verifier Data 

OK	1

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-4105703-1467239823/watcher-4105703-1467239823 -o /tmp/evaluation-result-4105703-1467239823/solver-4105703-1467239823 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467234420-8020 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4105703-1467239823.opb 

pid=8535
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.21 2.18 3/178 8538
/proc/meminfo: memFree=23879624/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=6420 CPUtime=0 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 4935044 6574080 181 33554432000 4194304 5796924 140735974328560 140734027449352 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 1605 181 128 392 0 1204 0

[startup+0.100157 s]
/proc/loadavg: 2.20 2.21 2.18 3/178 8538
/proc/meminfo: memFree=23879624/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=7832 CPUtime=0.09 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 694 0 0 0 9 0 0 0 20 0 1 0 4935044 8019968 547 33554432000 4194304 5796924 140735974328560 140734027449352 4659057 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 1958 547 128 392 0 1557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7832

[startup+0.200277 s]
/proc/loadavg: 2.20 2.21 2.18 3/178 8538
/proc/meminfo: memFree=23879624/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=9800 CPUtime=0.19 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 1212 0 0 0 19 0 0 0 20 0 1 0 4935044 10035200 1060 33554432000 4194304 5796924 140735974328560 140734027449352 5092427 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 2450 1060 132 392 0 2049 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9800

[startup+0.300271 s]
/proc/loadavg: 2.20 2.21 2.18 3/178 8538
/proc/meminfo: memFree=23879624/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=20316 CPUtime=0.29 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 3881 0 0 0 29 0 0 0 20 0 1 0 4935044 20803584 3729 33554432000 4194304 5796924 140735974328560 140735970969304 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 5079 3729 140 392 0 4678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20316

[startup+0.700274 s]
/proc/loadavg: 2.20 2.21 2.18 3/178 8538
/proc/meminfo: memFree=23879624/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=44632 CPUtime=0.69 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 10004 0 0 0 68 1 0 0 20 0 1 0 4935044 45703168 9727 33554432000 4194304 5796924 140735974328560 140735970969304 4425833 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 11158 9727 140 392 0 10757 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44632

[startup+1.50027 s]
/proc/loadavg: 2.20 2.21 2.18 3/179 8539
/proc/meminfo: memFree=23768860/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=89088 CPUtime=1.48 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 21585 0 0 0 146 2 0 0 20 0 1 0 4935044 91226112 20813 33554432000 4194304 5796924 140735974328560 140735973296568 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 22272 20813 140 392 0 21871 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 89088

[startup+3.10024 s]
/proc/loadavg: 2.20 2.21 2.18 3/179 8539
/proc/meminfo: memFree=23654084/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=129112 CPUtime=3.09 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 31088 0 0 0 305 4 0 0 20 0 1 0 4935044 132210688 31041 33554432000 4194304 5796924 140735974328560 140735974326952 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 32278 31041 155 392 0 31877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 129112

[startup+6.30025 s]
/proc/loadavg: 2.27 2.22 2.18 3/179 8539
/proc/meminfo: memFree=23507648/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=136292 CPUtime=6.29 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 31526 0 0 0 625 4 0 0 20 0 1 0 4935044 139563008 31989 33554432000 4194304 5796924 140735974328560 140735974326200 4591895 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 34073 31989 155 392 0 33672 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136292

[startup+12.7003 s]
/proc/loadavg: 2.33 2.24 2.19 3/179 8539
/proc/meminfo: memFree=23217892/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=136292 CPUtime=12.69 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 31528 0 0 0 1265 4 0 0 20 0 1 0 4935044 139563008 33013 33554432000 4194304 5796924 140735974328560 140735974326200 4592160 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 34073 33013 155 392 0 33672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 136292

[startup+25.5003 s]
/proc/loadavg: 2.33 2.24 2.19 3/179 8539
/proc/meminfo: memFree=23043228/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=147968 CPUtime=25.48 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 31954 0 0 0 2544 4 0 0 20 0 1 0 4935044 151519232 34969 33554432000 4194304 5796924 140735974328560 140735974326200 4592620 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 36992 34969 155 392 0 36591 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 147968

[startup+51.1003 s]
/proc/loadavg: 2.28 2.24 2.19 3/179 8539
/proc/meminfo: memFree=23022812/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=51.09 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 32517 0 0 0 5104 5 0 0 20 0 1 0 4935044 170942464 39107 33554432000 4194304 5796924 140735974328560 140735974326200 4593952 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 39107 155 392 0 41333 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 166936

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.18 4/179 8541
/proc/meminfo: memFree=23006420/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=102.28 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 34105 0 0 0 10222 6 0 0 20 0 1 0 4935044 202502144 42222 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 42222 156 392 0 49038 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 197756

[startup+162.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/179 8542
/proc/meminfo: memFree=23024156/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=162.27 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 34663 0 0 0 16220 7 0 0 20 0 1 0 4935044 170942464 37613 33554432000 4194304 5796924 140735974328560 140735974326024 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 37613 166 392 0 41333 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 166936

[startup+222.307 s]
/proc/loadavg: 2.12 2.19 2.17 3/180 8546
/proc/meminfo: memFree=23003568/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=222.26 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 34669 0 0 0 22219 7 0 0 20 0 1 0 4935044 170942464 40685 33554432000 4194304 5796924 140735974328560 140735974326024 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 40685 166 392 0 41333 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 166936

[startup+282.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/179 8547
/proc/meminfo: memFree=22984928/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=282.25 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 35256 0 0 0 28217 8 0 0 20 0 1 0 4935044 202502144 43824 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 43824 166 392 0 49038 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 197756

[startup+342.3 s]
/proc/loadavg: 2.16 2.17 2.17 4/179 8548
/proc/meminfo: memFree=23010300/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=342.24 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 36202 0 0 0 34215 9 0 0 20 0 1 0 4935044 170942464 37009 33554432000 4194304 5796924 140735974328560 140735974326200 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 37009 166 392 0 41333 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 166936

[startup+402.3 s]
/proc/loadavg: 2.29 2.20 2.18 3/179 8550
/proc/meminfo: memFree=22992896/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=402.23 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 36209 0 0 0 40214 9 0 0 20 0 1 0 4935044 170942464 40593 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 40593 166 392 0 41333 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 166936

[startup+462.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/179 8551
/proc/meminfo: memFree=22978100/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=462.21 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 36794 0 0 0 46212 9 0 0 20 0 1 0 4935044 202502144 43732 33554432000 4194304 5796924 140735974328560 140735974326200 4592010 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 43732 166 392 0 49038 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 197756

[startup+522.3 s]
/proc/loadavg: 2.34 2.25 2.20 3/179 8552
/proc/meminfo: memFree=22981100/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=522.21 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 36802 0 0 0 52211 10 0 0 20 0 1 0 4935044 202502144 47828 33554432000 4194304 5796924 140735974328560 140735974326200 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 47828 166 392 0 49038 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 197756

[startup+582.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/179 8553
/proc/meminfo: memFree=22966556/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=247844 CPUtime=582.2 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 37318 0 0 0 58210 10 0 0 20 0 1 0 4935044 253792256 50388 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 61961 50388 166 392 0 61560 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 247844

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

/proc/loadavg: 2.18 2.19 2.18 3/180 8561
/proc/meminfo: memFree=22996260/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=822.16 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 38245 0 0 0 82205 11 0 0 20 0 1 0 4935044 170942464 39032 33554432000 4194304 5796924 140735974328560 140735974326200 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 39032 166 392 0 41333 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 166936

[startup+882.307 s]
/proc/loadavg: 2.17 2.19 2.18 3/179 8562
/proc/meminfo: memFree=22980252/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=882.16 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 38765 0 0 0 88205 11 0 0 20 0 1 0 4935044 202502144 42616 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 42616 166 392 0 49038 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 197756

[startup+942.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/179 8563
/proc/meminfo: memFree=22957648/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=942.15 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 38775 0 0 0 94203 12 0 0 20 0 1 0 4935044 202502144 47736 33554432000 4194304 5796924 140735974328560 140735974326200 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 47736 166 392 0 49038 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 197756

[startup+1002.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/179 8565
/proc/meminfo: memFree=22942200/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=247844 CPUtime=1002.14 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 39294 0 0 0 100202 12 0 0 20 0 1 0 4935044 253792256 50808 33554432000 4194304 5796924 140735974328560 140735974326200 4592061 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 61961 50808 166 392 0 61560 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 247844

[startup+1062.3 s]
/proc/loadavg: 2.30 2.20 2.19 3/179 8566
/proc/meminfo: memFree=22993776/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=1062.12 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 40237 0 0 0 106199 13 0 0 20 0 1 0 4935044 170942464 38033 33554432000 4194304 5796924 140735974328560 140735974326200 4591871 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 38033 166 392 0 41333 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 166936

[startup+1122.3 s]
/proc/loadavg: 2.35 2.23 2.19 4/179 8567
/proc/meminfo: memFree=22970440/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=1122.11 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 40831 0 0 0 112197 14 0 0 20 0 1 0 4935044 202502144 43732 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 43732 166 392 0 49038 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 197756

[startup+1182.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 8568
/proc/meminfo: memFree=23005848/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=147968 CPUtime=1182.11 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 41217 0 0 0 118196 15 0 0 20 0 1 0 4935044 151519232 34407 33554432000 4194304 5796924 140735974328560 140735974326024 4592061 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 36992 34407 166 392 0 36591 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 147968

[startup+1242.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 8569
/proc/meminfo: memFree=22990152/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=1242.1 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 41782 0 0 0 124194 16 0 0 20 0 1 0 4935044 170942464 38033 33554432000 4194304 5796924 140735974328560 140735974326200 4592304 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 38033 166 392 0 41333 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 166936

[startup+1302.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/179 8571
/proc/meminfo: memFree=22981084/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=1302.09 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 41784 0 0 0 130193 16 0 0 20 0 1 0 4935044 170942464 39057 33554432000 4194304 5796924 140735974328560 140735974326200 4592067 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 39057 166 392 0 41333 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 166936

[startup+1362.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/179 8572
/proc/meminfo: memFree=22975120/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=166936 CPUtime=1362.08 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 41954 0 0 0 136192 16 0 0 20 0 1 0 4935044 170942464 40760 33554432000 4194304 5796924 140735974328560 140735974326200 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 41734 40760 166 392 0 41333 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 166936

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.18 4/180 8576
/proc/meminfo: memFree=22957680/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=1422.08 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 42382 0 0 0 142191 17 0 0 20 0 1 0 4935044 202502144 44756 33554432000 4194304 5796924 140735974328560 140735974326200 4592584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 44756 166 392 0 49038 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 197756

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

[startup+1433.6 s]
/proc/loadavg: 2.25 2.23 2.19 3/180 8576
/proc/meminfo: memFree=22953320/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=1433.36 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 42392 0 0 0 143319 17 0 0 20 0 1 0 4935044 202502144 45780 33554432000 4194304 5796924 140735974328560 140735974326200 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 45780 166 392 0 49038 0
Current children cumulated CPU time (s) 1433.36
Current children cumulated vsize (KiB) 197756

[startup+1440.01 s]
/proc/loadavg: 2.21 2.22 2.18 4/180 8599
/proc/meminfo: memFree=22949860/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=1439.77 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 42393 0 0 0 143960 17 0 0 20 0 1 0 4935044 202502144 46292 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 46292 166 392 0 49038 0
Current children cumulated CPU time (s) 1439.77
Current children cumulated vsize (KiB) 197756

[startup+1446.4 s]
/proc/loadavg: 2.19 2.22 2.18 4/180 8600
/proc/meminfo: memFree=22946172/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=1446.15 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 42401 0 0 0 144598 17 0 0 20 0 1 0 4935044 202502144 47316 33554432000 4194304 5796924 140735974328560 140735974326200 4594475 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 47316 166 392 0 49038 0
Current children cumulated CPU time (s) 1446.15
Current children cumulated vsize (KiB) 197756

[startup+1448 s]
/proc/loadavg: 2.19 2.22 2.18 3/180 8600
/proc/meminfo: memFree=22946296/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=1447.75 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 42401 0 0 0 144758 17 0 0 20 0 1 0 4935044 202502144 47316 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 47316 166 392 0 49038 0
Current children cumulated CPU time (s) 1447.75
Current children cumulated vsize (KiB) 197756

[startup+1449.6 s]
/proc/loadavg: 2.19 2.22 2.18 3/180 8600
/proc/meminfo: memFree=22946428/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=1449.35 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 42401 0 0 0 144918 17 0 0 20 0 1 0 4935044 202502144 47316 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 47316 166 392 0 49038 0
Current children cumulated CPU time (s) 1449.35
Current children cumulated vsize (KiB) 197756

[startup+1450 s]
/proc/loadavg: 2.18 2.21 2.18 3/180 8600
/proc/meminfo: memFree=22944636/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=197756 CPUtime=1449.75 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 42402 0 0 0 144958 17 0 0 20 0 1 0 4935044 202502144 47828 33554432000 4194304 5796924 140735974328560 140735974326200 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 49439 47828 166 392 0 49038 0
Current children cumulated CPU time (s) 1449.75
Current children cumulated vsize (KiB) 197756

[startup+1450.4 s]
/proc/loadavg: 2.18 2.21 2.18 3/180 8600
/proc/meminfo: memFree=22944636/32872528 swapFree=1514864/1684516
[pid=8538] ppid=8535 vsize=132388 CPUtime=1450.16 cores=0,2,4,6
/proc/8538/stat : 8538 (naps-1.02) R 8535 8538 5662 0 -1 4202496 42976 0 0 0 144998 18 0 0 20 0 1 0 4935044 135565312 31558 33554432000 4194304 5796924 140735974328560 140735974326360 4626843 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8538/statm: 33097 31558 168 392 0 32696 0
Current children cumulated CPU time (s) 1450.16
Current children cumulated vsize (KiB) 132388

Child status: 30
Real time (s): 1450.43
CPU time (s): 1450.2
CPU user time (s): 1450.01
CPU system time (s): 0.184971
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 278196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1450.01
system time used= 0.184971
maximum resident set size= 243836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43263
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= 22
involuntary context switches= 1593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82842 second user time and 5.97209 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-30 00:37:03
IDJOB=4105703
IDBENCH=2982
IDSOLVER=2544
FILE ID=node135/4105703-1467239823
RUNJOBID= node135-1467234420-8020
PBS_JOBID= 19997575
Free space on /tmp= 71708 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105703-1467239823/watcher-4105703-1467239823 -o /tmp/evaluation-result-4105703-1467239823/solver-4105703-1467239823 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467234420-8020 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4105703-1467239823.opb

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

MD5SUM BENCH= 2dac3f359b4902a48427eec4a1e131fe
RANDOM SEED=186688051

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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	: 5333.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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		: 2666.722
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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		: 2666.722
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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:        23879780 kB
Buffers:          174064 kB
Cached:          6348220 kB
SwapCached:            0 kB
Active:           213088 kB
Inactive:        6333788 kB
Active(anon):      27036 kB
Inactive(anon):        0 kB
Active(file):     186052 kB
Inactive(file):  6333788 kB
Unevictable:     1684516 kB
Mlocked:         1514864 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9336 kB
Writeback:             0 kB
AnonPages:       1772120 kB
Mapped:            14284 kB
Shmem:               216 kB
Slab:             628368 kB
SReclaimable:      72548 kB
SUnreclaim:       555820 kB
KernelStack:        1472 kB
PageTables:         7736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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= 71704 MiB
End job on node135 at 2016-06-30 01:01:14