Trace number 50347

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05SAT182 1800.06 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM840eda79f99ca12a0c705eefe22c37b7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark144
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 144
Optimality of the best value was proved NO
Number of variables3296
Total number of constraints6384
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 91
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 218
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 286
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1475
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	182

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node1/watcher-50347-1154112239 -o ROOT/results/node1/solver-50347-1154112239 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/50347-1154112239/instance-50347-1154112239.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1527448/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=4932 CPUtime=0
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 371 0 0 0 0 0 0 0 18 0 1 0 158085614 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21213/statm: 1233 331 227 55 0 125 0

[startup+10.0033 s]
/proc/loadavg: 0.93 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1506592/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=25636 CPUtime=9.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 5647 0 0 0 996 3 0 0 25 0 1 0 158085614 26251264 5561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21213/statm: 6409 5561 296 55 0 5301 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 25636

[startup+20.0103 s]
/proc/loadavg: 0.94 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1506144/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=26164 CPUtime=19.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 5780 0 0 0 1996 3 0 0 25 0 1 0 158085614 26791936 5694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 6541 5694 297 55 0 5433 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 26164

[startup+30.0171 s]
/proc/loadavg: 0.95 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1505632/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=26692 CPUtime=29.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 5905 0 0 0 2996 3 0 0 25 0 1 0 158085614 27332608 5819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 6673 5819 297 55 0 5565 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 26692

[startup+40.023 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1505184/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=27088 CPUtime=39.99
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6013 0 0 0 3996 3 0 0 25 0 1 0 158085614 27738112 5927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 6772 5927 297 55 0 5664 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 27088

[startup+50.03 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1504800/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=27484 CPUtime=50
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6108 0 0 0 4996 4 0 0 25 0 1 0 158085614 28143616 6022 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 6871 6022 297 55 0 5763 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 27484

[startup+60.036 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1504480/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=27748 CPUtime=60
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6182 0 0 0 5996 4 0 0 25 0 1 0 158085614 28413952 6096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 6937 6096 297 55 0 5829 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 27748

[startup+70.042 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1504096/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=28276 CPUtime=70
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6286 0 0 0 6996 4 0 0 25 0 1 0 158085614 28954624 6200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7069 6200 297 55 0 5961 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 28276

[startup+80.0479 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1503648/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=28672 CPUtime=80
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6396 0 0 0 7996 4 0 0 25 0 1 0 158085614 29360128 6310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7168 6310 297 55 0 6060 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 28672

[startup+90.0539 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1503264/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=29068 CPUtime=90.01
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6511 0 0 0 8997 4 0 0 25 0 1 0 158085614 29765632 6425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7267 6425 297 55 0 6159 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 29068

[startup+100.06 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1502816/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=29596 CPUtime=100
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6614 0 0 0 9996 4 0 0 25 0 1 0 158085614 30306304 6528 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7399 6528 297 55 0 6291 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 29596

[startup+110.066 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1502368/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=29992 CPUtime=110.01
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6730 0 0 0 10996 5 0 0 25 0 1 0 158085614 30711808 6644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7498 6644 297 55 0 6390 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 29992

[startup+120.072 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1501920/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=30388 CPUtime=120.02
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6836 0 0 0 11997 5 0 0 25 0 1 0 158085614 31117312 6750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7597 6750 297 55 0 6489 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 30388

[startup+130.078 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1501536/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=30784 CPUtime=130.02
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 6921 0 0 0 12997 5 0 0 25 0 1 0 158085614 31522816 6835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7696 6835 297 55 0 6588 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 30784

[startup+140.084 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1501152/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=31180 CPUtime=140.02
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 7021 0 0 0 13997 5 0 0 25 0 1 0 158085614 31928320 6935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7795 6935 297 55 0 6687 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 31180

[startup+150.09 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1500832/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=31576 CPUtime=150.02
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 7110 0 0 0 14997 5 0 0 25 0 1 0 158085614 32333824 7024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7894 7024 297 55 0 6786 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 31576

[startup+160.096 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1500384/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=31972 CPUtime=160.02
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 7214 0 0 0 15997 5 0 0 25 0 1 0 158085614 32739328 7128 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 7993 7128 297 55 0 6885 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 31972

[startup+170.102 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1499808/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=32500 CPUtime=170.02
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 7350 0 0 0 16997 5 0 0 25 0 1 0 158085614 33280000 7264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 8125 7264 297 55 0 7017 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 32500

[startup+180.108 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1498720/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=33556 CPUtime=180.03
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 7632 0 0 0 17997 6 0 0 25 0 1 0 158085614 34361344 7546 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 8389 7546 297 55 0 7281 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 33556

[startup+190.114 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1498080/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=34216 CPUtime=190.03
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 7787 0 0 0 18997 6 0 0 25 0 1 0 158085614 35037184 7701 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 8554 7701 297 55 0 7446 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 34216

[startup+200.12 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213
/proc/meminfo: memFree=1497312/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=35008 CPUtime=200.04
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 7974 0 0 0 19997 7 0 0 25 0 1 0 158085614 35848192 7888 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 8752 7888 297 55 0 7644 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 35008

[startup+210.126 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21213

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

Current children cumulated CPU time (s) 1760.34
Current children cumulated vsize (Kb) 222212

[startup+1771.09 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1309280/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=224060 CPUtime=1770.35
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 85799 0 0 0 176916 119 0 0 25 0 1 0 158085614 229437440 54916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56015 54916 435 55 0 54907 0
Current children cumulated CPU time (s) 1770.35
Current children cumulated vsize (Kb) 224060

[startup+1781.09 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1307424/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=225908 CPUtime=1780.35
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86257 0 0 0 177916 119 0 0 25 0 1 0 158085614 231329792 55374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56477 55374 435 55 0 55369 0
Current children cumulated CPU time (s) 1780.35
Current children cumulated vsize (Kb) 225908

[startup+1782.1 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1307424/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=225908 CPUtime=1781.35
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86269 0 0 0 178016 119 0 0 25 0 1 0 158085614 231329792 55386 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528960 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56477 55386 435 55 0 55369 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (Kb) 225908

[startup+1783.1 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1307296/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226040 CPUtime=1782.36
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86292 0 0 0 178117 119 0 0 25 0 1 0 158085614 231464960 55409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56510 55409 435 55 0 55402 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 226040

[startup+1784.11 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1307232/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226172 CPUtime=1783.36
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86313 0 0 0 178217 119 0 0 25 0 1 0 158085614 231600128 55430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56543 55430 435 55 0 55435 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (Kb) 226172

[startup+1785.11 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1307104/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226172 CPUtime=1784.36
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86336 0 0 0 178317 119 0 0 25 0 1 0 158085614 231600128 55453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56543 55453 435 55 0 55435 0
Current children cumulated CPU time (s) 1784.36
Current children cumulated vsize (Kb) 226172

[startup+1786.12 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1307040/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226304 CPUtime=1785.37
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86356 0 0 0 178418 119 0 0 25 0 1 0 158085614 231735296 55473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595908 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56576 55473 435 55 0 55468 0
Current children cumulated CPU time (s) 1785.37
Current children cumulated vsize (Kb) 226304

[startup+1787.12 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306976/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226436 CPUtime=1786.38
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86379 0 0 0 178518 120 0 0 25 0 1 0 158085614 231870464 55496 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56609 55496 435 55 0 55501 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (Kb) 226436

[startup+1788.13 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306784/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226568 CPUtime=1787.38
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86416 0 0 0 178618 120 0 0 25 0 1 0 158085614 232005632 55533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56642 55533 435 55 0 55534 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (Kb) 226568

[startup+1789.13 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306656/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226700 CPUtime=1788.39
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86452 0 0 0 178719 120 0 0 25 0 1 0 158085614 232140800 55569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56675 55569 435 55 0 55567 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (Kb) 226700

[startup+1790.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306528/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226832 CPUtime=1789.39
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86487 0 0 0 178819 120 0 0 25 0 1 0 158085614 232275968 55604 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56708 55604 435 55 0 55600 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (Kb) 226832

[startup+1791.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306400/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=226964 CPUtime=1790.39
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86511 0 0 0 178919 120 0 0 25 0 1 0 158085614 232411136 55628 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56741 55628 435 55 0 55633 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (Kb) 226964

[startup+1792.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306272/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227096 CPUtime=1791.4
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86543 0 0 0 179020 120 0 0 25 0 1 0 158085614 232546304 55660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56774 55660 435 55 0 55666 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (Kb) 227096

[startup+1793.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306208/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227096 CPUtime=1792.4
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86569 0 0 0 179120 120 0 0 25 0 1 0 158085614 232546304 55686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56774 55686 435 55 0 55666 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (Kb) 227096

[startup+1794.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306144/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227256 CPUtime=1793.41
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86587 0 0 0 179221 120 0 0 25 0 1 0 158085614 232710144 55704 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56814 55704 435 55 0 55706 0
Current children cumulated CPU time (s) 1793.41
Current children cumulated vsize (Kb) 227256

[startup+1795.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1306080/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227256 CPUtime=1794.41
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86605 0 0 0 179321 120 0 0 25 0 1 0 158085614 232710144 55722 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56814 55722 435 55 0 55706 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (Kb) 227256

[startup+1796.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1305952/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227388 CPUtime=1795.42
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86624 0 0 0 179422 120 0 0 25 0 1 0 158085614 232845312 55741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56847 55741 435 55 0 55739 0
Current children cumulated CPU time (s) 1795.42
Current children cumulated vsize (Kb) 227388

[startup+1797.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1305888/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227520 CPUtime=1796.42
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86646 0 0 0 179522 120 0 0 25 0 1 0 158085614 232980480 55763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56880 55763 435 55 0 55772 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (Kb) 227520

[startup+1798.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1305760/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227652 CPUtime=1797.43
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86674 0 0 0 179623 120 0 0 25 0 1 0 158085614 233115648 55791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56913 55791 435 55 0 55805 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 227652

[startup+1799.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1305696/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227652 CPUtime=1798.43
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86694 0 0 0 179723 120 0 0 25 0 1 0 158085614 233115648 55811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56913 55811 435 55 0 55805 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 227652

[startup+1800.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 21411
/proc/meminfo: memFree=1305632/2055920 swapFree=4183100/4192956
[pid=21213] ppid=21211 vsize=227784 CPUtime=1799.43
/proc/21213/stat : 21213 (bsolo) R 21211 21213 21164 0 -1 0 86716 0 0 0 179823 120 0 0 25 0 1 0 158085614 233250816 55833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21213/statm: 56946 55833 435 55 0 55838 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 227784

Child status: 10
Real time (s): 1800.81
CPU time (s): 1800.06
CPU user time (s): 1798.82
CPU system time (s): 1.24281
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (Kb): 227784
The end

Launcher Data (download as text)

Begin job on node1 on Fri Jul 28 18:43:59 UTC 2006


FILE ID= 50347-1154112239

PBS_JOBID= 886566

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/50347-1154112239/instance-50347-1154112239.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-50347-1154112239 -o ROOT/results/node1/solver-50347-1154112239 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/50347-1154112239/instance-50347-1154112239.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  840eda79f99ca12a0c705eefe22c37b7

RANDOM SEED= 195063803

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1527656 kB
Buffers:         34888 kB
Cached:         432836 kB
SwapCached:       3652 kB
Active:         177340 kB
Inactive:       298960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1527656 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             232 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            37920 kB
Committed_AS:   701064 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node1 on Fri Jul 28 19:14:00 UTC 2006