Trace number 221428

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 300.129 302.62

DiagnosticValue
NODES750

General information on the benchmark

Namefapp/fapp31-35/fapp34/
fapp34-0750-9.xml
MD5SUM35e2607ac2ad674c3dfc0c6f76eef614
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 benchmark7.00693
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)

302.52	v -2518 -2558 -3068 -3296 -3308 3108 -2554 -2490 2990 2758 2624 2580 2584 2758 3028 -2616 -3044 -2566 -3142 2618 -2584 2566 -2562 2514 -3044 -2566 3278 -3320 2620 2622 2824 -2756 -2576 2850 -3132 -2514 3106 3304 3096 3228 2786 2716 2998 -3066 2788 -2602 -3352 2734 -2590 2780 -2524 3186 2896 3144 -2602 3016 -2798 2502 2584 -2522 -2568 2576 2356 -2782 -2828 -2478 3146 -2828 2556 3038 2916 3206 2608 -2522 3268 2594 -3190 3004 -2624 3148 2758 2814 3150 -2436 -2828 -2612 3236 -3038 3232 2858 -2828 2484 2694 2588 2484 -2782 3004 3102 3054 2562 -3284 2936 -3212 3108 -3002 3044 3004 2986 -3144 2758 2566 -2558 -2534 -2630 3046 3002 -2828 2522 3142 2482 -2420 -3036 3176 -3216 -3028 3258 2992 2612 -3044 2602 -3102 2556 3190 3142 -2606 3146 2774 -3014 2620 -3068 2606 3142 -3004 3032 2702 2518 2604 -2756 2540 3276 2478 -3004 -3186 2758 -2980 2828 2576 -2588 -2480 3008 2616 3148 3150 3146 -3190 2568 2522 -2828 2480 -2616 -3186 -3148 -2518 2622 -2540 -2908 3102 2518 -2624 2592 -2788 2714 -2728 3146 2452 -3058 -2516 2478 2788 3146 2488 2580 3002 2788 2584 -3332 2624 2968 2992 3150 -3142 -2624 3142 -2558 3044 2364 2518 -3350 2680 2952 -3186 -3318 2614 2554 -3310 2608 2518 3188 -2798 -2554 -2818 2946 2788 -2688 2606 2582 2628 2360 -3148 -2482 -2558 -3188 -3312 2854 -2936 -2798 2742 2540 2980 2822 2822 -2828 -2582 -2562 -3134 3272 -3190 -2562 -2618 3338 3142 2518 -2480 -2478 -2478 2616 -3150 2404 -2736 -3004 2940 -2828 -3188 2628 2584 3126 -2566 -3292 -2654 2788 2604 -3352 2788 -2440 3058 2520 -2372 3000 3142 -2788 -2584 2522 -3042 -3148 -3044 -3230 2518 2914 -3166 -2848 2768 -3184 -2734 3268 3034 2998 2396 -2518 -3166 -3018 3104 -2616 2820 3276 -2694 2626 -3148 3004 -3044 3004 -3136 -2624 3172 -2558 -2586 -3188 -3188 -2576 2982 3188 3004 2480 -3314 -2586 -3182 -2384 2876 -3044 -3268 2778 2676 3004 -2518 2584 3204 2624 -3174 -3180 -3068 2758 -2558 2556 -3142 3148 -3164 2742 2396 2754 -2828 3306 2930 2758 2480 2566 -3142 2404 -3148 -3190 2976 3142 -3148 -2368 3102 -2624 -2588 -2798 -2616 3004 -3244 2516 -2630 2516 3322 -2628 2400 2950 -2950 -3190 -2592 2626 2624 2588 3166 3344 2828 3188 -2788 2616 -2798 2672 -2834 -3276 2518 2602 2658 2460 -3190 -3306 -3150 2584 3038 2652 2576 2824 2826 -3286 2728 2596 2616 -2712 2796 3040 2380 2788 3034 2530 -3192 -3148 3308 -3044 2508 2582 -2624 -2578 3004 2624 -2994 2518 2936 -3102 -2562 2996 2628 2788 2962 -2558 2542 -2558 2734 -3044 -2558 -2788 -2588 3150 2866 2482 -2422 3004 -2624 -2942 -2798 2954 2778 -3146 2636 -3044 2828 -3070 -2798 -2578 -3312 -3190 -2592 -3244 -2674 -3312 3150 -2576 2776 2580 2788 2518 3142 -2478 2602 -2798 2584 2952 2994 3002 3188 2520 3252 2440 2928 -2586 3020 2584 2570 2576 -2794 -2818 3352 -2584 3084 3146 3132 3004 2888 -2412 2478 -2968 2888 -2720 2602 -2828 2758 2524 2758 -2518 -3280 -3278 -3346 2602 -3030 2362 2948 2518 2758 -3298 -2798 -2810 3102 2622 3004 2798 -3102 2956 -3044 -3102 -3318 -2712 2584 -2396 2994 -2828 2522 -3184 2758 -2634 2770 -2402 2758 -2518 3150 -3282 3142 2606 -2562 3148 2518 3188 -2528 2464 -3336 3002 2784 2566 2758 2562 -2818 3150 2518 2520 -2494 2628 2618 2798 2826 2478 2556 -3042 -2516 3144 2554 2520 -2558 -2514 2420 2580 2616 3072 -3042 -3102 -2602 2518 2576 2990 2556 3284 2444 3024 2438 2408 2518 2626 2514 -2520 -3144 -2562 3148 -3236 2624 -3086 -3042 2996 -2478 2784 2890 3064 2632 2782 2788 2558 -2482 2928 2754 -2522 2552 -2484 -2478 2626 3004 -2584 2606 3102 2518 2824 -2576 -2798 -3198 -3102 -2558 2758 2356 2616 -3238 -2788 -2522 2518 -2976 2672 -3102 3148 2622 2572 2522 -2576 2758 2828 -2478 2582 -3044 2606 3234 2576 -3142 2564 -2758 -2828 -3190 -2976 -2586 -3190 2628 -2590 -3152 -3044 2518 -3078 -3316 -2866 2788 -2424 2730 -2610 -3044 3220 2798 -2630 2576 3104 3298 -2558 3044 2958 2826 -2382 2794 -2726 2784 -2766 2606 -3172 -3044 2616 2798 3186 -2500 2794 -3026 -2500 2788 3016 -2504 3144 -3126 3108 3104 -2558 -2632 2480 2616 -2576 3018 2482 3186 -3078 -3188 2620 2624 -3034 -2798 2828 -2518 3274 2564 3274 -3326 2896 -2480 -2716 2584 2616 -2786 -2906 2562 -2798 -3266 2412 -3188 2524 2482 2590 2468 3102 2588 -2516 -2482 -2482 
302.53	s SATISFIABLE
302.53	d NODES 750

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/node40/watcher-221428-1168259041 -o ROOT/results/node40/solver-221428-1168259041 -C 1800 -M 900 /tmp/evaluation/221428-1168259041/cspfj.sh -competition /tmp/evaluation/221428-1168259041/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.11 1.69 1.74 5/70 21132
/proc/meminfo: memFree=1611696/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) R 21128 21131 20983 0 -1 4194304 295 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519608991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0

[startup+0.103034 s]
/proc/loadavg: 1.11 1.69 1.74 5/70 21132
/proc/meminfo: memFree=1611696/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.511092 s]
/proc/loadavg: 1.11 1.69 1.74 5/70 21132
/proc/meminfo: memFree=1611696/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33319 s]
/proc/loadavg: 1.11 1.69 1.74 3/89 21164
/proc/meminfo: memFree=1541968/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=865632 CPUtime=1.23
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 8662 0 1 0 116 7 0 0 24 0 8 0 174303501 886407168 8343 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073779200 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 216408 8343 1828 14 0 203670 0
[pid=21134/tid=21151] ppid=21131 vsize=865632 CPUtime=0.18
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 4424 0 0 0 16 2 0 0 16 0 8 0 174303506 886407168 8343 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=865632 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 886407168 8343 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=865632 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 886407168 8343 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=865632 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 886407168 8343 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=865632 CPUtime=0.2
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 473 0 0 0 19 1 0 0 16 0 8 0 174303510 886407168 8343 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=865632 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 886407168 8343 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=865632 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 886407168 8343 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 870984

[startup+2.98641 s]
/proc/loadavg: 1.26 1.72 1.75 4/89 21164
/proc/meminfo: memFree=1502096/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=865756 CPUtime=2.87
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 19563 0 1 0 271 16 0 0 25 0 8 0 174303501 886534144 19218 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073643507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 216439 19218 1828 14 0 203701 0
[pid=21134/tid=21151] ppid=21131 vsize=865756 CPUtime=0.56
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 14397 0 0 0 49 7 0 0 16 0 8 0 174303506 886534144 19218 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=865756 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 886534144 19218 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=865756 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 886534144 19218 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=865756 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 886534144 19218 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=865756 CPUtime=0.28
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 518 0 0 0 27 1 0 0 15 0 8 0 174303510 886534144 19218 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=865756 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 886534144 19218 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=865756 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 886534144 19218 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 871108

[startup+6.19483 s]
/proc/loadavg: 1.26 1.72 1.75 5/89 21164
/proc/meminfo: memFree=1357136/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=866012 CPUtime=6.05
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 37403 0 1 0 572 33 0 0 25 0 8 0 174303501 886796288 37041 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073643501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 216503 37041 1828 14 0 203765 0
[pid=21134/tid=21151] ppid=21131 vsize=866012 CPUtime=1.6
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 30210 0 0 0 145 15 0 0 16 0 8 0 174303506 886796288 37041 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=866012 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 886796288 37041 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=866012 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 886796288 37041 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=866012 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 886796288 37041 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=866012 CPUtime=0.34
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 544 0 0 0 33 1 0 0 15 0 8 0 174303510 886796288 37041 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=866012 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 886796288 37041 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=866012 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 886796288 37041 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 871364

[startup+12.5977 s]
/proc/loadavg: 1.53 1.76 1.76 3/89 21164
/proc/meminfo: memFree=1181784/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=867036 CPUtime=12.36
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 68052 0 1 0 1174 62 0 0 25 0 8 0 174303501 887844864 67676 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073782128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 216759 67676 1828 14 0 204021 0
[pid=21134/tid=21151] ppid=21131 vsize=867036 CPUtime=2.95
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 58312 0 0 0 264 31 0 0 16 0 8 0 174303506 887844864 67676 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 887844864 67676 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 887844864 67676 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 887844864 67676 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=867036 CPUtime=0.34
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 545 0 0 0 33 1 0 0 16 0 8 0 174303510 887844864 67676 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 887844864 67676 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 887844864 67676 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 872388

[startup+25.4723 s]
/proc/loadavg: 1.60 1.77 1.76 3/89 21164
/proc/meminfo: memFree=936664/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=867036 CPUtime=25.11
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 102505 0 1 0 2414 97 0 0 25 0 8 0 174303501 887844864 102119 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074416502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 216759 102119 1833 14 0 204021 0
[pid=21134/tid=21151] ppid=21131 vsize=867036 CPUtime=4.42
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 90983 0 0 0 392 50 0 0 16 0 8 0 174303506 887844864 102119 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 887844864 102119 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 887844864 102119 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 887844864 102119 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=867036 CPUtime=0.46
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 606 0 0 0 44 2 0 0 15 0 8 0 174303510 887844864 102119 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 887844864 102119 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=867036 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 887844864 102119 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 872388

[startup+51.0976 s]
/proc/loadavg: 1.80 1.80 1.77 3/89 21164
/proc/meminfo: memFree=803160/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=867168 CPUtime=50.5
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 102985 0 1 0 4949 101 0 0 25 0 8 0 174303501 887980032 102599 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074203384 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 216792 102599 1833 14 0 204054 0
[pid=21134/tid=21151] ppid=21131 vsize=867168 CPUtime=4.42
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 90983 0 0 0 392 50 0 0 16 0 8 0 174303506 887980032 102599 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=867168 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 887980032 102599 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=867168 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 887980032 102599 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=867168 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 887980032 102599 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=867168 CPUtime=1.23
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 1086 0 0 0 118 5 0 0 15 0 8 0 174303510 887980032 102599 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=867168 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 887980032 102599 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=867168 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 887980032 102599 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 872520

[startup+102.347 s]
/proc/loadavg: 1.97 1.85 1.79 3/89 21164
/proc/meminfo: memFree=727192/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=868620 CPUtime=101.25
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 104225 0 1 0 10014 111 0 0 25 0 8 0 174303501 889466880 103839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4079698995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 217155 103839 1833 14 0 204417 0
[pid=21134/tid=21151] ppid=21131 vsize=868620 CPUtime=4.42
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 90983 0 0 0 392 50 0 0 16 0 8 0 174303506 889466880 103839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=868620 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 889466880 103839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=868620 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 889466880 103839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=868620 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 889466880 103839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=868620 CPUtime=2.65
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 2312 0 0 0 251 14 0 0 15 0 8 0 174303510 889466880 103839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=868620 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 889466880 103839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=868620 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 889466880 103839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 873972

[startup+162.349 s]
/proc/loadavg: 2.03 1.89 1.81 3/89 21164
/proc/meminfo: memFree=617048/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=870668 CPUtime=160.69
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 105726 0 1 0 15946 123 0 0 25 0 8 0 174303501 891564032 105340 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074214723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 217667 105340 1833 14 0 204929 0
[pid=21134/tid=21151] ppid=21131 vsize=870668 CPUtime=4.42
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 90983 0 0 0 392 50 0 0 16 0 8 0 174303506 891564032 105340 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=870668 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 891564032 105340 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=870668 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 891564032 105340 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=870668 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 891564032 105340 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=870668 CPUtime=4.37
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 3793 0 0 0 414 23 0 0 15 0 8 0 174303510 891564032 105340 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=870668 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 891564032 105340 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=870668 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 891564032 105340 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.69
Current children cumulated vsize (KiB) 876020

[startup+222.416 s]
/proc/loadavg: 2.16 1.94 1.83 3/89 21164
/proc/meminfo: memFree=547736/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=872716 CPUtime=220.37
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 107273 0 1 0 21904 133 0 0 25 0 8 0 174303501 893661184 106887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074208406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 218179 106887 1833 14 0 205441 0
[pid=21134/tid=21151] ppid=21131 vsize=872716 CPUtime=4.42
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 90983 0 0 0 392 50 0 0 16 0 8 0 174303506 893661184 106887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=872716 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 893661184 106887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=872716 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 893661184 106887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=872716 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 893661184 106887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=872716 CPUtime=6.12
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 5322 0 0 0 580 32 0 0 16 0 8 0 174303510 893661184 106887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=872716 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 893661184 106887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=872716 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 893661184 106887 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 878068

[startup+282.482 s]
/proc/loadavg: 2.06 1.94 1.83 4/89 21164
/proc/meminfo: memFree=434904/2055920 swapFree=4192812/4192956
[pid=21131] ppid=21128 vsize=5352 CPUtime=0
/proc/21131/stat : 21131 (cspfj.sh) S 21128 21131 20983 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174303501 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 264519607108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21131/statm: 1338 240 201 169 0 49 0
[pid=21134] ppid=21131 vsize=874908 CPUtime=280.1
/proc/21134/stat : 21134 (java) R 21131 21131 20983 0 -1 0 113236 0 1 0 27865 145 0 0 25 0 8 0 174303501 895905792 112848 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4091568475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21134/statm: 218727 112848 1833 14 0 205989 0
[pid=21134/tid=21151] ppid=21131 vsize=874908 CPUtime=4.54
/proc/21134/task/21151/stat : 21151 (java) S 21131 21131 20983 0 -1 64 95620 0 0 0 401 53 0 0 16 0 8 0 174303506 895905792 112848 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21152] ppid=21131 vsize=874908 CPUtime=0
/proc/21134/task/21152/stat : 21152 (java) S 21131 21131 20983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174303506 895905792 112848 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21153] ppid=21131 vsize=874908 CPUtime=0
/proc/21134/task/21153/stat : 21153 (java) S 21131 21131 20983 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174303506 895905792 112848 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21157] ppid=21131 vsize=874908 CPUtime=0
/proc/21134/task/21157/stat : 21157 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174303510 895905792 112848 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21158] ppid=21131 vsize=874908 CPUtime=7.6
/proc/21134/task/21158/stat : 21158 (java) S 21131 21131 20983 0 -1 64 6620 0 0 0 721 39 0 0 15 0 8 0 174303510 895905792 112848 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21134/tid=21159] ppid=21131 vsize=874908 CPUtime=0
/proc/21134/task/21159/stat : 21159 (java) S 21131 21131 20983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174303510 895905792 112848 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21134/tid=21160] ppid=21131 vsize=874908 CPUtime=0
/proc/21134/task/21160/stat : 21160 (java) S 21131 21131 20983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174303510 895905792 112848 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 880260

Child status: 0
Real time (s): 302.62
CPU time (s): 300.129
CPU user time (s): 298.532
CPU system time (s): 1.59776
CPU usage (%): 99.1769
Max. virtual memory (cumulated for all children) (KiB): 881376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.532
system time used= 1.59776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126806
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= 34583
involuntary context switches= 39823

runsolver used 0.364944 s user time and 0.988849 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Mon Jan  8 12:24:02 UTC 2007


IDJOB= 221428
IDBENCH= 5448
FILE ID= node40/221428-1168259041

PBS_JOBID= 3482630

Free space on /tmp= 66549 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  35e2607ac2ad674c3dfc0c6f76eef614

RANDOM SEED= 560459784

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.239
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.239
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:       1612576 kB
Buffers:         42600 kB
Cached:         306920 kB
SwapCached:          0 kB
Active:         137428 kB
Inactive:       232156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1612576 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5624 kB
Writeback:           0 kB
Mapped:          30236 kB
Slab:            59556 kB
Committed_AS:  3757852 kB
PageTables:       1620 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= 66549 MiB



End job on node40 on Mon Jan  8 12:29:04 UTC 2007