Trace number 221348

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 NameAnswerCPU timeWall clock time
CSP4J - MAC 2006-12-19SAT 308.461 311.375

DiagnosticValue
NODES751

General information on the benchmark

Namefapp/fapp31-35/fapp34/
fapp34-0750-6.xml
MD5SUM51c7f8f8a521456de73ae0e8012f780a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.23705
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Solver Data (download as text)

311.29	v -2518 -2558 3092 3306 3326 -3132 -2554 2518 2990 2758 2624 2578 2584 2758 3028 2616 -3044 -2560 -3148 2618 -2584 2568 -2562 -2514 -3038 -2562 3288 -3352 2618 2618 -2828 2758 -2576 2850 3128 2512 3106 3312 3096 -3330 2788 2798 -2998 3072 2788 2602 -3352 2738 2586 -2784 2522 3188 2892 -3146 2602 3016 -2798 -2514 -2584 2522 2566 2576 2794 -2786 -2828 -2478 3146 -2828 -2558 -3038 2918 -3206 2608 -2520 -3286 2588 -3190 2998 -2624 3150 2758 2814 -3150 -2436 -2828 -2612 3228 -3044 3262 -2856 -2828 -2484 2690 2582 2482 -2784 3004 3102 3056 2562 -3286 2932 3212 -3102 -3004 3042 3004 2986 -3144 -2758 2566 -2558 2430 -2630 3048 2998 -2828 2518 -3142 2480 -2396 3036 3168 3208 3038 3338 2994 2608 3042 -2604 -3102 2556 3188 3142 -2600 -3150 -2772 -3016 -2618 -3068 2602 3142 -3004 3032 -2698 2518 -2604 2748 2540 3276 2482 3002 3186 2758 -2980 2828 2576 -2584 -2480 3010 -2616 3150 3150 -3146 -3190 -2568 -2594 -2828 2480 2616 3182 -3148 -2518 2616 2540 2900 3102 2516 2584 2634 -2786 2746 2728 3148 -2570 -3050 -2518 2478 2786 3146 -2486 -2578 3002 -2788 -2380 -3346 2632 2970 2990 -3150 -3142 -2624 3142 -2558 3044 2356 2518 -3202 -2680 2950 -3188 -3326 2614 -2552 -3242 -2606 2518 3188 -2798 -2554 -2818 -2946 2788 -2692 -2602 2576 2626 2400 3146 2482 -2558 -3188 -3310 2854 -2934 2790 -2746 2468 2974 2822 -2824 2826 2584 2554 -3190 3302 -3142 2562 2616 -3086 -3142 2518 -2480 -2478 -2478 -2616 -3102 2396 2734 -3002 -2934 -2828 -3188 -2628 -2590 -3248 2562 3306 2654 2788 2604 -3352 2788 2434 -3056 2520 2372 3000 -3142 -2788 2592 -2522 -3042 3142 -3028 -3228 2518 2910 -3166 -2850 2768 3184 -2730 -3290 3034 3004 2396 2518 3166 3010 -3102 2616 -2824 -3268 2698 -2626 3148 3004 -3044 3004 -3136 2624 3168 -2556 2588 -3188 3188 -2576 3284 -3182 2988 2474 -3332 2586 -3182 -2384 2878 3052 -3282 2778 -2674 3004 -2518 2586 3208 2624 -3230 -3180 -3078 -2758 -2558 -2558 -3142 3142 -3168 -2738 2754 2754 -2828 3310 2930 2758 2480 2562 -3142 2396 3148 -3188 2978 3142 3142 2374 3102 -2624 -2588 -2796 -2616 3004 -3244 2518 -2628 2516 -3266 2622 2440 -2950 -2950 -3190 -2584 2628 2626 2578 3208 -3352 -2826 3186 -2788 2616 -2798 -2676 -2834 3102 2518 2602 2576 -2540 3156 -3306 -3116 2584 3038 -2652 2576 -2828 2818 3308 2732 2598 2616 -2710 -2788 -3040 2356 2788 -3034 -2558 -3188 -3148 3322 -3044 2500 -2578 -2624 -2562 -3002 -2624 3002 2518 2938 3102 -2562 2996 2618 -2788 3050 -2558 -2554 2558 2732 -3044 -2558 -2788 2586 3150 -2866 -2482 -2416 3004 -2630 -3324 -2798 2950 -2780 3148 2638 -3044 -2828 -3068 -2798 -2578 3312 -3190 -2592 -3246 2706 -3312 3150 2576 -2774 2576 2788 2518 -3144 -2478 2602 2798 2584 2954 2994 -3010 -3188 -2520 3252 2454 2924 -2582 3020 -2624 -2566 2576 2798 -2816 3350 2584 3092 -3142 3150 3002 2890 2610 -2478 2968 -2884 -2720 2602 -2828 2758 2520 2758 -2518 -3312 -3286 -3346 2602 3028 2362 2940 2518 -2750 3126 -2798 -2810 3108 -2616 3004 2798 -3102 2954 -3044 -3104 3328 -2716 2584 2396 -2994 -2828 2520 3186 2758 2628 2786 -2402 2758 -2518 3150 3306 3142 -2608 2564 3148 2518 -3190 -2526 -2542 3346 -3004 2788 2566 -2756 2562 -2820 -3148 -2518 2520 2470 2626 2602 2798 2828 2478 -2558 -3044 -2516 3144 2556 -2520 -2558 2514 2580 2580 2616 3072 3038 -3102 2602 2518 2576 2990 2556 3284 2436 -3024 2438 2414 2518 -2622 2516 -2520 3152 2562 3150 -3236 2624 -3088 3044 2994 -2478 2788 -2890 -3064 -2624 2782 2788 -2558 2480 2928 2758 2522 2552 2480 -2478 2622 3004 2584 2606 -3102 2518 -2828 -2576 -2798 -3198 3102 -2558 2758 2356 -2616 -3238 -2788 -2520 -2522 2976 2670 -3102 3148 2624 -2568 2518 2576 2758 -2828 -2478 2576 3044 -2606 3236 2576 3142 2564 -2758 -2828 -3190 -2976 2582 -3190 2624 -2588 3148 -3044 -2518 -3078 3062 -2858 -2788 2424 2746 -2606 -3042 3220 -2798 -2626 2576 3104 3298 -2558 3042 -2958 -2828 2376 -2794 -2724 2788 -2764 2602 -3190 -3044 -2620 -2798 3186 2508 -2794 3032 -2500 2788 3016 2502 3142 -3126 3102 3112 -2558 -2594 2480 2616 -2580 -3016 2480 -3190 -3078 -3190 2616 2420 3042 -2798 2828 -2518 3276 2564 -3292 -3268 2894 -2494 -2714 2584 2616 -2788 2906 -2562 -2798 3270 2412 -3190 2524 2482 2590 2460 -3102 -2586 2518 -2478 2478 
311.29	s SATISFIABLE
311.29	d NODES 751

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-221348-1168258592 -o ROOT/results/node7/solver-221348-1168258592 -C 1800 -M 900 /tmp/evaluation/221348-1168258592/cspfj.sh -competition /tmp/evaluation/221348-1168258592/unknown.xml 

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

/proc/loadavg: 1.93 1.98 1.79 5/87 23561
/proc/meminfo: memFree=1751312/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5212 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) R 23558 23560 22868 0 -1 4194304 100 0 0 0 0 0 0 0 20 0 1 0 174254730 5337088 73 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244670685258 0 0 4096 0 0 0 0 17 1 0 0
/proc/23560/statm: 1303 73 56 169 0 14 0

[startup+0.104225 s]
/proc/loadavg: 1.93 1.98 1.79 5/87 23561
/proc/meminfo: memFree=1751312/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.512271 s]
/proc/loadavg: 1.93 1.98 1.79 5/87 23561
/proc/meminfo: memFree=1751312/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.3386 s]
/proc/loadavg: 1.93 1.98 1.79 3/95 23570
/proc/meminfo: memFree=1730384/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=865312 CPUtime=1.27
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 8375 0 1 0 120 7 0 0 24 0 8 0 174254731 886079488 8057 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 216328 8057 1828 14 0 203590 0
[pid=23563/tid=23564] ppid=23560 vsize=865312 CPUtime=0.19
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 4228 0 0 0 17 2 0 0 16 0 8 0 174254737 886079488 8057 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=865312 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 886079488 8057 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=865312 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 886079488 8057 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=865312 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 886079488 8057 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=865312 CPUtime=0.19
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 391 0 0 0 19 0 0 0 15 0 8 0 174254741 886079488 8057 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=865312 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 886079488 8057 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=865312 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 886079488 8057 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 870664

[startup+2.99453 s]
/proc/loadavg: 1.93 1.98 1.79 3/95 23570
/proc/meminfo: memFree=1704848/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=865752 CPUtime=2.91
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 19038 0 1 0 276 15 0 0 25 0 8 0 174254731 886530048 18694 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155770755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 216438 18694 1828 14 0 203700 0
[pid=23563/tid=23564] ppid=23560 vsize=865752 CPUtime=0.53
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 13904 0 0 0 48 5 0 0 16 0 8 0 174254737 886530048 18694 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=865752 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 886530048 18694 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=865752 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 886530048 18694 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=865752 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 886530048 18694 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=865752 CPUtime=0.3
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 517 0 0 0 29 1 0 0 15 0 8 0 174254741 886530048 18694 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=865752 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 886530048 18694 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=865752 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 886530048 18694 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 871104

[startup+6.20087 s]
/proc/loadavg: 1.93 1.98 1.79 4/95 23570
/proc/meminfo: memFree=1620496/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=865992 CPUtime=6.08
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 37403 0 1 0 575 33 0 0 25 0 8 0 174254731 886775808 37041 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155091992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 216498 37041 1828 14 0 203760 0
[pid=23563/tid=23564] ppid=23560 vsize=865992 CPUtime=1.4
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 30208 0 0 0 128 12 0 0 16 0 8 0 174254737 886775808 37041 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 886775808 37041 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 886775808 37041 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 886775808 37041 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=865992 CPUtime=0.36
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 544 0 0 0 35 1 0 0 15 0 8 0 174254741 886775808 37041 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 886775808 37041 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 886775808 37041 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 871344

[startup+12.6025 s]
/proc/loadavg: 2.02 2.00 1.80 3/95 23570
/proc/meminfo: memFree=1476176/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=865992 CPUtime=12.43
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 70752 0 1 0 1185 58 0 0 25 0 8 0 174254731 886775808 70375 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4154171555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 216498 70375 1828 14 0 203760 0
[pid=23563/tid=23564] ppid=23560 vsize=865992 CPUtime=2.51
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 60998 0 0 0 227 24 0 0 16 0 8 0 174254737 886775808 70375 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 886775808 70375 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 886775808 70375 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 886775808 70375 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=865992 CPUtime=0.36
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 545 0 0 0 35 1 0 0 16 0 8 0 174254741 886775808 70375 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 886775808 70375 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=865992 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 886775808 70375 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 871344

[startup+25.4589 s]
/proc/loadavg: 2.09 2.02 1.81 3/95 23570
/proc/meminfo: memFree=1349328/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=866136 CPUtime=25.17
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 102404 0 1 0 2432 85 0 0 25 0 8 0 174254731 886923264 102018 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074214141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 216534 102018 1833 14 0 203796 0
[pid=23563/tid=23564] ppid=23560 vsize=866136 CPUtime=3.61
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 90991 0 0 0 324 37 0 0 16 0 8 0 174254737 886923264 102018 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=866136 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 886923264 102018 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=866136 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 886923264 102018 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=866136 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 886923264 102018 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=866136 CPUtime=0.5
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 633 0 0 0 48 2 0 0 15 0 8 0 174254741 886923264 102018 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=866136 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 886923264 102018 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=866136 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 886923264 102018 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 871488

[startup+51.0946 s]
/proc/loadavg: 2.06 2.01 1.81 3/95 23570
/proc/meminfo: memFree=1347088/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=866532 CPUtime=50.56
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 102967 0 1 0 4967 89 0 0 25 0 8 0 174254731 887328768 102581 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074207055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 216633 102581 1833 14 0 203895 0
[pid=23563/tid=23564] ppid=23560 vsize=866532 CPUtime=3.61
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 90991 0 0 0 324 37 0 0 16 0 8 0 174254737 887328768 102581 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=866532 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 887328768 102581 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=866532 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 887328768 102581 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=866532 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 887328768 102581 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=866532 CPUtime=1.3
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 1189 0 0 0 125 5 0 0 15 0 8 0 174254741 887328768 102581 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=866532 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 887328768 102581 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=866532 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 887328768 102581 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 871884

[startup+102.363 s]
/proc/loadavg: 2.06 2.02 1.82 3/95 23570
/proc/meminfo: memFree=1342288/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=868116 CPUtime=101.35
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 104178 0 1 0 10038 97 0 0 25 0 8 0 174254731 888950784 103792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4079573291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 217029 103792 1833 14 0 204291 0
[pid=23563/tid=23564] ppid=23560 vsize=868116 CPUtime=3.61
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 90991 0 0 0 324 37 0 0 16 0 8 0 174254737 888950784 103792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=868116 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 888950784 103792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=868116 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 888950784 103792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=868116 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 888950784 103792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=868116 CPUtime=2.77
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 2385 0 0 0 266 11 0 0 16 0 8 0 174254741 888950784 103792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=868116 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 888950784 103792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=868116 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 888950784 103792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 873468

[startup+162.373 s]
/proc/loadavg: 2.02 2.02 1.83 3/95 23572
/proc/meminfo: memFree=1336464/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=870100 CPUtime=160.81
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 105627 0 1 0 15973 108 0 0 25 0 8 0 174254731 890982400 105241 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074208531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 217525 105241 1833 14 0 204787 0
[pid=23563/tid=23564] ppid=23560 vsize=870100 CPUtime=3.61
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 90991 0 0 0 324 37 0 0 16 0 8 0 174254737 890982400 105241 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=870100 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 890982400 105241 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=870100 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 890982400 105241 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=870100 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 890982400 105241 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=870100 CPUtime=4.55
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 3814 0 0 0 436 19 0 0 15 0 8 0 174254741 890982400 105241 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=870100 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 890982400 105241 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=870100 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 890982400 105241 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (KiB) 875452

[startup+222.393 s]
/proc/loadavg: 2.09 2.04 1.84 3/95 23572
/proc/meminfo: memFree=1330384/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=871952 CPUtime=220.28
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 107113 0 1 0 21910 118 0 0 25 0 8 0 174254731 892878848 106727 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074203384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 217988 106727 1833 14 0 205250 0
[pid=23563/tid=23564] ppid=23560 vsize=871952 CPUtime=3.61
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 90991 0 0 0 324 37 0 0 16 0 8 0 174254737 892878848 106727 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=871952 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 892878848 106727 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=871952 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 892878848 106727 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=871952 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 892878848 106727 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=871952 CPUtime=6.36
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 5280 0 0 0 610 26 0 0 16 0 8 0 174254741 892878848 106727 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=871952 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 892878848 106727 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=871952 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 892878848 106727 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.28
Current children cumulated vsize (KiB) 877304

[startup+282.409 s]
/proc/loadavg: 2.09 2.05 1.86 3/95 23572
/proc/meminfo: memFree=1306320/2055920 swapFree=4192812/4192956
[pid=23560] ppid=23558 vsize=5352 CPUtime=0
/proc/23560/stat : 23560 (cspfj.sh) S 23558 23560 22868 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174254730 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23560/statm: 1338 240 201 169 0 49 0
[pid=23563] ppid=23560 vsize=873708 CPUtime=279.74
/proc/23563/stat : 23563 (java) R 23560 23560 22868 0 -1 0 113119 0 1 0 27846 128 0 0 25 0 8 0 174254731 894676992 112732 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074215520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23563/statm: 218427 112732 1833 14 0 205689 0
[pid=23563/tid=23564] ppid=23560 vsize=873708 CPUtime=3.7
/proc/23563/task/23564/stat : 23564 (java) S 23560 23560 22868 0 -1 64 95626 0 0 0 332 38 0 0 16 0 8 0 174254737 894676992 112732 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23565] ppid=23560 vsize=873708 CPUtime=0
/proc/23563/task/23565/stat : 23565 (java) S 23560 23560 22868 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174254738 894676992 112732 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23566] ppid=23560 vsize=873708 CPUtime=0
/proc/23563/task/23566/stat : 23566 (java) S 23560 23560 22868 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174254738 894676992 112732 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23567] ppid=23560 vsize=873708 CPUtime=0
/proc/23563/task/23567/stat : 23567 (java) S 23560 23560 22868 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174254741 894676992 112732 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23568] ppid=23560 vsize=873708 CPUtime=8.06
/proc/23563/task/23568/stat : 23568 (java) S 23560 23560 22868 0 -1 64 6634 0 0 0 772 34 0 0 16 0 8 0 174254741 894676992 112732 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23569] ppid=23560 vsize=873708 CPUtime=0
/proc/23563/task/23569/stat : 23569 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174254741 894676992 112732 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23563/tid=23570] ppid=23560 vsize=873708 CPUtime=0
/proc/23563/task/23570/stat : 23570 (java) S 23560 23560 22868 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174254741 894676992 112732 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (KiB) 879060

Child status: 0
Real time (s): 311.375
CPU time (s): 308.461
CPU user time (s): 307.031
CPU system time (s): 1.42978
CPU usage (%): 99.064
Max. virtual memory (cumulated for all children) (KiB): 880420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.031
system time used= 1.42978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126631
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34764
involuntary context switches= 44143

runsolver used 0.442932 s user time and 0.966853 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Jan  8 12:16:33 UTC 2007


IDJOB= 221348
IDBENCH= 5443
FILE ID= node7/221348-1168258592

PBS_JOBID= 3482409

Free space on /tmp= 66558 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp34/fapp34-0750-6.xml
COMMAND LINE= /tmp/evaluation/221348-1168258592/cspfj.sh -competition /tmp/evaluation/221348-1168258592/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-221348-1168258592 -o ROOT/results/node7/solver-221348-1168258592 -C 1800 -M 900  /tmp/evaluation/221348-1168258592/cspfj.sh -competition /tmp/evaluation/221348-1168258592/unknown.xml

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  51c7f8f8a521456de73ae0e8012f780a

RANDOM SEED= 951972628

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.220
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.220
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:       1751792 kB
Buffers:         48736 kB
Cached:         110792 kB
SwapCached:          0 kB
Active:         174940 kB
Inactive:        77108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751792 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2344 kB
Writeback:           0 kB
Mapped:         112772 kB
Slab:            36800 kB
Committed_AS:  5307140 kB
PageTables:       2396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB



End job on node7 on Mon Jan  8 12:21:44 UTC 2007