Trace number 221316

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 307.135 308.555

DiagnosticValue
NODES750

General information on the benchmark

Namefapp/fapp31-35/fapp34/
fapp34-0750-5.xml
MD5SUMc92273b7761fdb23e20f8162f9ea6aa2
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.69698
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)

308.42	v -2512 -2558 3092 3306 3326 -3132 -2556 2518 2990 2758 2624 -2576 -2588 2758 -3028 -2616 -3040 -2564 -3146 2618 -2584 2562 -2562 2518 -3042 2562 3286 -3352 2616 2616 -2828 2758 2576 2850 3128 2518 3106 3308 3096 -3328 2788 2798 2996 -3076 2788 -2602 3352 2736 2576 -2784 -2522 3188 2892 3150 2604 3006 -2798 2518 -2584 2522 2566 -2576 2794 2782 -2822 -2478 3146 -2828 -2558 3038 2916 -3206 2604 -2520 -3286 2590 -3190 3002 -2624 3146 2758 2812 -3150 2436 -2828 2614 -3218 3042 3262 2860 -2828 -2484 2684 2578 -2482 2782 3000 -3104 3056 2562 -3286 2932 -3212 -3102 -3004 -3042 3004 -2982 -3144 2758 -2566 -2558 -2430 -2628 3048 3004 -2828 2518 -3142 2480 -2396 -3038 3154 3194 3038 3338 2992 2610 -3042 -2602 3102 2556 3190 3142 -2604 -3150 2774 -3016 -2618 3068 2604 -3142 -3004 -3028 2702 2518 -2604 2758 2540 3276 2482 -3004 3186 2758 2980 2828 2576 2588 -2480 3010 2626 3150 3150 3140 -3190 2564 2514 -2828 2480 2616 3188 3150 -2518 -2616 2548 2904 3102 -2518 2584 2628 2784 2744 2728 3148 -2452 -3058 -2518 2478 -2786 3146 2478 -2578 3000 -2788 -2578 -3342 -2624 -2970 2990 -3150 -3142 -2624 3142 -2558 -3040 2356 2518 -3350 -2676 2950 -3188 -3324 2616 2558 -3310 2606 2518 -3190 -2798 -2558 -2832 2942 2788 -2690 -2602 2576 2626 -2396 -3150 2482 -2558 -3188 -3312 2852 -2928 2786 -2742 2466 2974 2822 -2822 -2826 2584 -2554 -3210 3302 -3144 2564 2616 3336 3142 2518 2480 2478 -2478 2616 -3104 2396 2734 -3002 2934 -2826 -3188 -2628 2590 -3254 2564 3302 2656 2788 -2604 -3352 2788 -2434 -3058 2522 2372 3002 -3142 -2782 2584 2522 -3040 3142 3032 -3230 2518 2922 -3166 -2854 2768 3184 2724 -3288 3034 3002 2396 -2518 3166 3018 -3102 2616 -2824 -3258 2696 2624 3150 3004 -3044 3000 -3136 2628 3168 -2558 2584 -3188 3190 -2576 -2980 -3184 -2992 2474 -3332 2584 3182 -2384 2876 3050 -3278 -2792 -2676 -3004 2518 -2586 3208 2624 3250 3180 -3078 2754 -2558 -2558 -3190 3148 -3168 -2742 2754 2758 -2828 3310 2930 2758 2480 2562 3142 2396 3148 -3178 -2978 3142 3144 -2370 3102 2624 2588 -2796 -2616 3004 -3244 2518 -2624 2516 -3268 -2618 2436 -2950 -2950 -3190 -2584 2624 2626 2590 -3214 -3348 -2824 3190 -2788 2616 2798 2676 -2832 -3280 2518 -2602 2576 -2536 3144 -3306 -3104 2584 3038 -2654 -2586 -2828 2818 3306 2730 2362 2616 2708 2798 3042 2356 -2786 -3036 -2558 -3194 3148 3318 -3044 2500 2576 2624 -2562 -3002 -2624 3002 2518 2938 3102 -2562 -2998 2630 2788 3048 -2558 -2558 2558 2734 3044 2558 2788 2586 3146 -2866 -2482 -2414 3004 -2630 2940 -2794 -2962 2788 3148 2402 -3044 -2828 -3076 2796 2578 3312 3186 -2596 -3246 -2704 -3312 3150 2576 2774 2578 2788 2518 3144 -2478 2602 2798 2584 2952 -2994 -3008 3188 -2520 3252 2450 2926 -2580 3020 -2624 -2562 2576 -2798 2820 3352 2584 3090 -3148 -3138 3004 2894 2412 -2478 -2964 2886 -2716 2602 -2828 2758 2522 2758 -2518 -3312 -3284 -3346 2602 3036 2356 2944 2518 -2746 -3296 -2798 -2810 -3106 -2616 -3000 2798 -3102 -2956 -3044 3104 3326 -2716 2584 2396 -2996 2828 2520 -3190 2758 -2630 2784 -2396 2758 -2518 3150 -3308 3142 -2602 2562 3148 2518 3186 -2518 -2538 3346 -3004 2788 2564 2756 -2562 -2828 -3138 2518 2520 2470 2626 2602 -2798 2828 2478 -2558 -3044 2516 -3142 -2558 -2520 2558 -2516 2576 2580 2616 -3068 -3044 3150 2602 2518 2576 2990 2556 3284 2436 -3024 2438 2410 2518 2620 2518 -2520 3148 -2562 3150 -3236 2624 -3088 3044 2996 -2478 2788 -2890 -3064 -2624 2782 2786 -2558 -2480 2924 2758 2522 2556 2482 -2478 2620 3004 -2584 2604 -3102 2518 -2828 -2576 2798 3198 3102 2558 2758 2356 2616 -3238 -2788 2520 -2522 -2976 -2668 -3102 -3148 -2624 2570 -2518 -2576 2758 -2826 2478 2576 3044 -2606 -3236 -2576 3144 2564 -2756 -2828 -3190 -2966 2580 -3190 2628 -2584 3154 -3040 -2518 -3078 -3320 -2858 -2788 2424 2744 2602 3044 3220 -2798 -2616 2576 3102 3298 2552 3044 2956 -2828 -2374 -2792 -2724 2788 -2764 -2602 -3178 -3044 2618 2798 3180 -2506 -2798 3036 2508 2788 -3016 2498 3142 3126 3108 3108 -2558 2588 2482 2616 -2578 -3018 2480 3190 -3078 -3190 2618 -2618 3042 -2798 -2828 -2518 3276 2564 -3292 -3266 2888 -2490 -2716 2584 2616 -2788 2906 2562 -2798 3270 -2412 -3190 -2524 2482 2588 2460 3102 -2586 2518 2478 2478 
308.43	s SATISFIABLE
308.43	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/node4/watcher-221316-1168258511 -o ROOT/results/node4/solver-221316-1168258511 -C 1800 -M 900 /tmp/evaluation/221316-1168258511/cspfj.sh -competition /tmp/evaluation/221316-1168258511/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: 0.92 0.97 0.91 5/87 23320
/proc/meminfo: memFree=1703072/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 174246829 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 229 192 169 0 49 0
[pid=23321] ppid=23319 vsize=0 CPUtime=0
/proc/23321/stat : 23321 (dirname) R 23319 23319 23184 0 -1 4194308 128 0 0 0 0 0 0 0 19 0 1 0 174246830 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/23321/statm: 0 0 0 0 0 0 0

[startup+0.10615 s]
/proc/loadavg: 0.92 0.97 0.91 5/87 23320
/proc/meminfo: memFree=1703072/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.518185 s]
/proc/loadavg: 0.92 0.97 0.91 5/87 23320
/proc/meminfo: memFree=1703072/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34527 s]
/proc/loadavg: 0.92 0.97 0.91 4/102 23336
/proc/meminfo: memFree=1657768/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=865632 CPUtime=1.32
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 8678 0 1 0 126 6 0 0 24 0 8 0 174246830 886407168 8359 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 216408 8359 1828 14 0 203670 0
[pid=23322/tid=23324] ppid=23319 vsize=865632 CPUtime=0.19
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 4423 0 0 0 17 2 0 0 16 0 8 0 174246833 886407168 8359 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=865632 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 886407168 8359 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=865632 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 886407168 8359 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=865632 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 886407168 8359 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=865632 CPUtime=0.22
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 479 0 0 0 21 1 0 0 15 0 8 0 174246837 886407168 8359 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=865632 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 886407168 8359 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=865632 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 886407168 8359 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 870984

[startup+2.98943 s]
/proc/loadavg: 0.92 0.97 0.91 4/102 23336
/proc/meminfo: memFree=1605480/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=865752 CPUtime=2.96
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 19564 0 1 0 282 14 0 0 25 0 8 0 174246830 886530048 19219 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 216438 19219 1828 14 0 203700 0
[pid=23322/tid=23324] ppid=23319 vsize=865752 CPUtime=0.55
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 14396 0 0 0 49 6 0 0 16 0 8 0 174246833 886530048 19219 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=865752 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 886530048 19219 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=865752 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 886530048 19219 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=865752 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 886530048 19219 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=865752 CPUtime=0.29
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 518 0 0 0 28 1 0 0 15 0 8 0 174246837 886530048 19219 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=865752 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 886530048 19219 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=865752 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 886530048 19219 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 871104

[startup+6.19392 s]
/proc/loadavg: 1.01 0.99 0.91 4/102 23336
/proc/meminfo: memFree=1442600/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=865988 CPUtime=6.16
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 37409 0 1 0 586 30 0 0 25 0 8 0 174246830 886771712 37047 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4153550856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 216497 37047 1828 14 0 203759 0
[pid=23322/tid=23324] ppid=23319 vsize=865988 CPUtime=1.53
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 30207 0 0 0 139 14 0 0 16 0 8 0 174246833 886771712 37047 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 886771712 37047 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 886771712 37047 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 886771712 37047 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=865988 CPUtime=0.37
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 174246837 886771712 37047 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 886771712 37047 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 886771712 37047 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 871340

[startup+12.6905 s]
/proc/loadavg: 1.17 1.02 0.93 5/102 23336
/proc/meminfo: memFree=1152936/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=865988 CPUtime=12.62
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 70759 0 1 0 1204 58 0 0 25 0 8 0 174246830 886771712 70382 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073782064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 216497 70382 1828 14 0 203759 0
[pid=23322/tid=23324] ppid=23319 vsize=865988 CPUtime=2.71
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 60998 0 0 0 244 27 0 0 16 0 8 0 174246833 886771712 70382 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 886771712 70382 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 886771712 70382 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 886771712 70382 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=865988 CPUtime=0.37
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 545 0 0 0 35 2 0 0 16 0 8 0 174246837 886771712 70382 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 886771712 70382 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=865988 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 886771712 70382 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 871340

[startup+25.5828 s]
/proc/loadavg: 1.42 1.08 0.95 3/102 23336
/proc/meminfo: memFree=899880/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=866148 CPUtime=25.46
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 102392 0 1 0 2459 87 0 0 25 0 8 0 174246830 886935552 102006 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074203418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 216537 102006 1833 14 0 203799 0
[pid=23322/tid=23324] ppid=23319 vsize=866148 CPUtime=3.88
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 90975 0 0 0 348 40 0 0 16 0 8 0 174246833 886935552 102006 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=866148 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 886935552 102006 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=866148 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 886935552 102006 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=866148 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 886935552 102006 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=866148 CPUtime=0.51
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 635 0 0 0 49 2 0 0 15 0 8 0 174246837 886935552 102006 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=866148 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 886935552 102006 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=866148 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 886935552 102006 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 871500

[startup+51.2242 s]
/proc/loadavg: 1.62 1.16 0.97 3/102 23336
/proc/meminfo: memFree=894952/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=866548 CPUtime=50.97
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 102970 0 1 0 5006 91 0 0 25 0 8 0 174246830 887345152 102584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 216637 102584 1833 14 0 203899 0
[pid=23322/tid=23324] ppid=23319 vsize=866548 CPUtime=3.88
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 90975 0 0 0 348 40 0 0 16 0 8 0 174246833 887345152 102584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=866548 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 887345152 102584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=866548 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 887345152 102584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=866548 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 887345152 102584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=866548 CPUtime=1.29
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 1207 0 0 0 123 6 0 0 15 0 8 0 174246837 887345152 102584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=866548 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 887345152 102584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=866548 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 887345152 102584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 871900

[startup+102.5 s]
/proc/loadavg: 1.89 1.30 1.03 3/102 23336
/proc/meminfo: memFree=884904/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=868136 CPUtime=102
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 104182 0 1 0 10102 98 0 0 25 0 8 0 174246830 888971264 103796 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074203166 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 217034 103796 1833 14 0 204296 0
[pid=23322/tid=23324] ppid=23319 vsize=868136 CPUtime=3.88
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 90975 0 0 0 348 40 0 0 16 0 8 0 174246833 888971264 103796 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=868136 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 888971264 103796 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=868136 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 888971264 103796 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=868136 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 888971264 103796 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=868136 CPUtime=2.73
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 2402 0 0 0 261 12 0 0 15 0 8 0 174246837 888971264 103796 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=868136 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 888971264 103796 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=868136 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 888971264 103796 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 873488

[startup+162.525 s]
/proc/loadavg: 1.96 1.42 1.09 3/102 23336
/proc/meminfo: memFree=872744/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=870128 CPUtime=161.74
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 105645 0 1 0 16066 108 0 0 25 0 8 0 174246830 891011072 105259 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074208377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 217532 105259 1833 14 0 204794 0
[pid=23322/tid=23324] ppid=23319 vsize=870128 CPUtime=3.88
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 90975 0 0 0 348 40 0 0 16 0 8 0 174246833 891011072 105259 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=870128 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 891011072 105259 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=870128 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 891011072 105259 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=870128 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 891011072 105259 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=870128 CPUtime=4.47
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 3844 0 0 0 428 19 0 0 15 0 8 0 174246837 891011072 105259 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=870128 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 891011072 105259 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=870128 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 891011072 105259 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 875480

[startup+222.546 s]
/proc/loadavg: 2.08 1.56 1.15 3/102 23338
/proc/meminfo: memFree=860456/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=871976 CPUtime=221.48
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 107142 0 1 0 22031 117 0 0 25 0 8 0 174246830 892903424 106756 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074206736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 217994 106756 1833 14 0 205256 0
[pid=23322/tid=23324] ppid=23319 vsize=871976 CPUtime=3.88
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 90975 0 0 0 348 40 0 0 16 0 8 0 174246833 892903424 106756 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=871976 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 892903424 106756 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=871976 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 892903424 106756 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=871976 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 892903424 106756 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=871976 CPUtime=6.22
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 5322 0 0 0 596 26 0 0 15 0 8 0 174246837 892903424 106756 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=871976 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 892903424 106756 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=871976 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 892903424 106756 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.48
Current children cumulated vsize (KiB) 877328

[startup+282.569 s]
/proc/loadavg: 2.09 1.65 1.21 3/102 23338
/proc/meminfo: memFree=761448/2055920 swapFree=4182144/4192956
[pid=23319] ppid=23312 vsize=5352 CPUtime=0
/proc/23319/stat : 23319 (cspfj.sh) S 23312 23319 23184 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174246829 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23319/statm: 1338 240 201 169 0 49 0
[pid=23322] ppid=23319 vsize=873840 CPUtime=281.22
/proc/23322/stat : 23322 (java) R 23319 23319 23184 0 -1 0 113150 0 1 0 27994 128 0 0 25 0 8 0 174246830 894812160 112763 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074214167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23322/statm: 218460 112763 1833 14 0 205722 0
[pid=23322/tid=23324] ppid=23319 vsize=873840 CPUtime=3.97
/proc/23322/task/23324/stat : 23324 (java) S 23319 23319 23184 0 -1 64 95610 0 0 0 355 42 0 0 16 0 8 0 174246833 894812160 112763 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23327] ppid=23319 vsize=873840 CPUtime=0
/proc/23322/task/23327/stat : 23327 (java) S 23319 23319 23184 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174246834 894812160 112763 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23328] ppid=23319 vsize=873840 CPUtime=0
/proc/23322/task/23328/stat : 23328 (java) S 23319 23319 23184 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174246834 894812160 112763 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23333] ppid=23319 vsize=873840 CPUtime=0
/proc/23322/task/23333/stat : 23333 (java) S 23319 23319 23184 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174246837 894812160 112763 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23334] ppid=23319 vsize=873840 CPUtime=7.83
/proc/23322/task/23334/stat : 23334 (java) S 23319 23319 23184 0 -1 64 6679 0 0 0 750 33 0 0 15 0 8 0 174246837 894812160 112763 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23335] ppid=23319 vsize=873840 CPUtime=0
/proc/23322/task/23335/stat : 23335 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174246837 894812160 112763 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23322/tid=23336] ppid=23319 vsize=873840 CPUtime=0
/proc/23322/task/23336/stat : 23336 (java) S 23319 23319 23184 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174246837 894812160 112763 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.22
Current children cumulated vsize (KiB) 879192

Child status: 0
Real time (s): 308.555
CPU time (s): 307.135
CPU user time (s): 305.687
CPU system time (s): 1.44878
CPU usage (%): 99.5398
Max. virtual memory (cumulated for all children) (KiB): 880420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.687
system time used= 1.44878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126578
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= 34658
involuntary context switches= 37914

runsolver used 0.355945 s user time and 1.04384 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Mon Jan  8 12:15:13 UTC 2007


IDJOB= 221316
IDBENCH= 5441
FILE ID= node4/221316-1168258511

PBS_JOBID= 3482421

Free space on /tmp= 66313 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  c92273b7761fdb23e20f8162f9ea6aa2

RANDOM SEED= 43584377

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.223
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.223
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:       1704624 kB
Buffers:         59192 kB
Cached:         194752 kB
SwapCached:       2552 kB
Active:         183372 kB
Inactive:       112416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1704624 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            3060 kB
Writeback:           0 kB
Mapped:          51256 kB
Slab:            40532 kB
Committed_AS:  4909740 kB
PageTables:       2232 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= 66313 MiB



End job on node4 on Mon Jan  8 12:20:21 UTC 2007