Trace number 221412

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.93 309.047

DiagnosticValue
NODES753

General information on the benchmark

Namefapp/fapp31-35/fapp34/
fapp34-0750-10.xml
MD5SUMcd04ae5638f2aca685208979f08ea162
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.34803
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.95	v 2518 -2558 -3074 3302 -3284 3114 -2556 2492 2998 2758 2624 2580 2584 2758 3028 2616 -3044 -2564 -3142 2620 -2584 2562 -2562 -2514 -3044 2570 3242 -3276 2620 2620 2822 2756 2576 2854 -3132 2508 3108 -3312 3096 -3284 -2788 2716 2998 3068 2788 2604 -3290 2734 2576 2784 2522 3184 2874 -3142 -2602 3016 -2798 2518 -2584 2526 -2570 2576 2356 2782 -2816 -2478 3150 -2828 2558 -3034 2920 -3206 2606 -2524 -3244 2594 -3190 3004 -2624 3142 2758 2816 -3156 2438 -2828 -2634 3174 -3038 3188 -2860 -2828 2488 2694 2586 2482 -2780 3004 3102 3054 2562 -3290 2914 3212 -3102 -3004 -3042 3004 2992 -3144 2758 -2568 -2558 2434 -2624 3044 3004 -2828 2518 3142 2484 -2422 3036 3234 3274 -3028 3258 2994 2618 -3044 2602 -3102 2556 3184 -3142 -2604 3150 -2780 3014 2620 -3068 2606 3142 2990 -3026 2706 2518 -2606 2758 2540 3276 2482 3002 -3190 2758 2980 2828 -2576 -2592 -2490 3008 -2616 3150 3150 -3146 3116 2566 -2590 -2828 2478 2616 -3188 -3148 -2518 2624 -2540 2908 3110 2518 -2624 -2656 2788 2716 -2728 -3144 2456 -3062 -2518 2478 2788 3148 -2496 2580 2996 2788 -2594 -3336 2624 2968 2990 3150 -3150 -2624 3142 -2556 -3044 2360 2520 -3202 -2676 2950 -3190 -3352 2636 -2548 -3242 2610 2518 3188 -2798 -2554 -2832 2952 2788 -2686 -2610 -2584 2628 2402 3146 2486 -2558 -3188 -3306 2856 -2936 2798 -2742 2472 2978 2832 -2820 -2828 -2594 -2550 -3136 3228 -3190 -2562 2616 3258 3142 2520 2482 2482 2480 -2616 -3150 2400 -2736 -3004 2938 -2828 -3188 2632 -2586 -3248 -2566 3296 -2676 2788 2604 -3352 2788 -2440 3058 2522 -2376 3004 3142 -2776 -2584 2524 -3036 3142 3042 -3224 -2544 2912 -3166 -2848 2768 3184 -2734 -3324 -3034 2998 2398 2526 -3166 -3022 -3102 -2616 2824 -3214 -2694 2628 -3148 -2990 -3030 3004 -3136 2624 3172 -2558 2586 -3186 3188 -2582 2984 -3186 3002 2480 -3312 2588 -3182 2388 2880 3098 -3272 -2792 2676 3004 2518 2588 3204 -2628 -3176 -3188 -3068 2756 -2558 2558 -3142 3148 -3164 2746 2396 2754 -2828 3304 2932 2758 2484 2566 -3142 -2404 -3148 -3190 2980 3142 3146 -2368 3104 2624 2592 -2798 -2616 -3004 -3244 2518 2626 2516 3352 -2626 2442 2958 -2950 -3190 2584 2626 -2628 -2588 -3208 -3352 -2828 3186 -2788 2616 2798 2670 2836 -3100 2518 2602 -2576 -2464 3142 -3306 -3102 2584 3038 2674 -2576 -2824 2832 -3288 2726 -2600 2616 2712 -2798 -3044 2382 -2784 -3032 2532 -3208 3176 3312 -3044 2542 2580 2624 -2574 3002 2624 2992 2518 2940 -3102 -2562 2996 2628 -2788 2964 -2558 -2558 -2558 2740 -3044 -2558 2788 -2588 3150 2876 2482 -2416 3004 2626 -2944 -2796 2952 -2774 3150 2640 -3044 -2828 -3072 -2798 2580 3312 -3190 -2590 -3250 -2676 -3250 3150 -2576 2776 -2660 2788 2518 3148 -2486 -2602 -2798 2588 2954 -2994 3004 -3136 -2518 3252 2444 2924 -2586 3020 2584 2566 2576 2794 2820 -3346 2584 -3058 3148 -3136 3000 2888 2416 2478 -2970 -2884 2716 -2602 -2818 2758 2526 2758 -2518 -3316 -3312 -3346 2602 3032 2608 2948 2516 -2758 -3298 -2798 -2814 3102 -2626 3004 2798 3102 2958 3030 3108 3282 2710 2584 -2396 2992 -2828 2522 3182 2758 2634 -2762 -2648 2758 2526 3150 3312 -3144 2602 -2562 3148 2518 -3182 -2536 2462 -3342 3004 2784 2566 2758 2562 2814 3150 2518 2522 2474 2626 2614 2798 -2828 2486 -2558 -3044 2516 3150 -2554 2530 -2558 2516 2424 2580 -2616 -3066 -3044 -3102 -2604 2518 2576 2990 2556 3284 2444 3024 2438 2408 2518 2626 2514 -2524 3148 -2564 3148 -3236 2624 3084 -3044 2998 2480 2788 2892 3064 2624 2792 2788 -2558 -2482 2930 2754 2522 2550 2486 -2478 2626 3004 -2584 2606 3102 2522 2828 -2576 -2798 -3198 -3102 -2558 2758 2356 2616 -3238 -2788 -2522 2522 2974 2672 -3102 -3146 -2634 2578 2518 2576 2758 2824 -2478 2586 -3044 2608 -3284 2576 3142 2564 2758 -2828 -3190 -2976 2586 -3190 2632 2586 3168 -3044 2518 -3078 3060 -2872 2778 -2428 -2722 -2606 -3040 3228 -2798 -2616 2576 3110 3298 -2558 3042 2958 -2828 2376 -2796 2724 2782 2764 -2606 -3176 -3044 2618 2798 3186 2512 -2794 -3028 -2500 2788 3014 -2502 3142 3126 -3108 3108 -2504 2616 2482 2622 -2578 -3018 2482 -3190 -3074 -3190 2620 2634 -3032 -2798 2828 -2518 -3324 2566 3272 -3248 2896 -2484 -2716 2584 2616 2788 -2916 2564 -2798 3344 2416 -3188 2528 2484 -2584 -2582 3102 2586 -2518 -2478 2478 
308.95	s SATISFIABLE
308.95	d NODES 753

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/node17/watcher-221412-1168258927 -o ROOT/results/node17/solver-221412-1168258927 -C 1800 -M 900 /tmp/evaluation/221412-1168258927/cspfj.sh -competition /tmp/evaluation/221412-1168258927/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.74 1.95 1.82 4/83 20555
/proc/meminfo: memFree=1651976/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) R 20550 20554 20424 0 -1 4194304 295 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482711711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=5352 CPUtime=0
/proc/20557/stat : 20557 (cspfj.sh) R 20554 20554 20424 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 4463028 0 0 4100 65536 0 0 0 17 1 0 0
/proc/20557/statm: 1338 240 201 169 0 49 0

[startup+0.103967 s]
/proc/loadavg: 1.74 1.95 1.82 4/83 20555
/proc/meminfo: memFree=1651976/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=864484 CPUtime=0.08
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 2636 0 1 0 7 1 0 0 24 0 8 0 174287456 885231616 2381 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072929762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20557/statm: 216121 2381 1412 14 0 203419 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 869836

[startup+0.516009 s]
/proc/loadavg: 1.74 1.95 1.82 4/83 20555
/proc/meminfo: memFree=1651976/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=865012 CPUtime=0.48
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 4908 0 1 0 45 3 0 0 18 0 8 0 174287456 885772288 4622 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 216253 4623 1741 14 0 203524 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 870364

[startup+1.3451 s]
/proc/loadavg: 1.74 1.95 1.82 5/102 20576
/proc/meminfo: memFree=1607080/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=865632 CPUtime=1.32
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 8667 0 1 0 125 7 0 0 23 0 8 0 174287456 886407168 8348 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073624659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 216408 8348 1828 14 0 203670 0
[pid=20557/tid=20563] ppid=20554 vsize=865632 CPUtime=0.2
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 4423 0 0 0 18 2 0 0 16 0 8 0 174287460 886407168 8348 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=865632 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 886407168 8348 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=865632 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 886407168 8348 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=865632 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 886407168 8349 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=865632 CPUtime=0.21
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 473 0 0 0 21 0 0 0 15 0 8 0 174287463 886407168 8349 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=865632 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 886407168 8349 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=865632 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174287463 886407168 8349 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 870984

[startup+2.98927 s]
/proc/loadavg: 1.74 1.95 1.82 5/102 20576
/proc/meminfo: memFree=1554792/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=865752 CPUtime=2.96
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 19058 0 1 0 281 15 0 0 25 0 8 0 174287456 886530048 18714 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073675162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 216438 18714 1828 14 0 203700 0
[pid=20557/tid=20563] ppid=20554 vsize=865752 CPUtime=0.56
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 13905 0 0 0 51 5 0 0 16 0 8 0 174287460 886530048 18714 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=865752 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 886530048 18714 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=865752 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 886530048 18714 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=865752 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 886530048 18714 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=865752 CPUtime=0.29
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 517 0 0 0 28 1 0 0 15 0 8 0 174287463 886530048 18714 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=865752 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 886530048 18714 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=865752 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174287463 886530048 18714 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 871104

[startup+6.27961 s]
/proc/loadavg: 1.84 1.97 1.83 5/102 20576
/proc/meminfo: memFree=1390888/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=867020 CPUtime=6.25
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 37428 0 1 0 595 30 0 0 25 0 8 0 174287456 887828480 37066 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4153838644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 216755 37066 1828 14 0 204017 0
[pid=20557/tid=20563] ppid=20554 vsize=867020 CPUtime=1.52
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 30209 0 0 0 140 12 0 0 16 0 8 0 174287460 887828480 37066 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 887828480 37066 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 887828480 37066 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 887828480 37066 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=867020 CPUtime=0.36
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 544 0 0 0 35 1 0 0 16 0 8 0 174287463 887828480 37066 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 887828480 37066 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287463 887828480 37066 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 872372

[startup+12.6803 s]
/proc/loadavg: 1.86 1.97 1.83 3/102 20576
/proc/meminfo: memFree=1103536/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=867020 CPUtime=12.65
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 70761 0 1 0 1207 58 0 0 25 0 8 0 174287456 887828480 70384 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073782128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 216755 70384 1828 14 0 204017 0
[pid=20557/tid=20563] ppid=20554 vsize=867020 CPUtime=2.71
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 60993 0 0 0 246 25 0 0 16 0 8 0 174287460 887828480 70384 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 887828480 70384 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 887828480 70384 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 887828480 70384 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=867020 CPUtime=0.36
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 545 0 0 0 35 1 0 0 16 0 8 0 174287463 887828480 70384 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 887828480 70384 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287463 887828480 70384 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 872372

[startup+25.5492 s]
/proc/loadavg: 1.96 1.98 1.84 3/102 20576
/proc/meminfo: memFree=848184/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=867020 CPUtime=25.52
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 102388 0 1 0 2467 85 0 0 25 0 8 0 174287456 887828480 102002 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074203244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 216755 102002 1833 14 0 204017 0
[pid=20557/tid=20563] ppid=20554 vsize=867020 CPUtime=3.94
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 90978 0 0 0 357 37 0 0 16 0 8 0 174287460 887828480 102002 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 887828480 102002 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 887828480 102002 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 887828480 102002 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=867020 CPUtime=0.49
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 627 0 0 0 48 1 0 0 15 0 8 0 174287463 887828480 102002 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 887828480 102002 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=867020 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287463 887828480 102002 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 872372

[startup+51.1753 s]
/proc/loadavg: 2.10 2.02 1.85 3/102 20576
/proc/meminfo: memFree=843256/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=867680 CPUtime=51.13
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 102985 0 1 0 5024 89 0 0 25 0 8 0 174287456 888504320 102599 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4076314204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 216920 102599 1833 14 0 204182 0
[pid=20557/tid=20563] ppid=20554 vsize=867680 CPUtime=3.94
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 90978 0 0 0 357 37 0 0 16 0 8 0 174287460 888504320 102599 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=867680 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 888504320 102599 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=867680 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 888504320 102599 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=867680 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 888504320 102599 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=867680 CPUtime=1.27
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 1220 0 0 0 123 4 0 0 15 0 8 0 174287463 888504320 102599 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=867680 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 888504320 102599 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=867680 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287463 888504320 102599 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 873032

[startup+102.417 s]
/proc/loadavg: 2.04 2.01 1.86 3/102 20576
/proc/meminfo: memFree=833272/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=869264 CPUtime=102.37
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 104202 0 1 0 10139 98 0 0 25 0 8 0 174287456 890126336 103816 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074203170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 217316 103816 1833 14 0 204578 0
[pid=20557/tid=20563] ppid=20554 vsize=869264 CPUtime=3.94
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 90978 0 0 0 357 37 0 0 16 0 8 0 174287460 890126336 103816 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=869264 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 890126336 103816 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=869264 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 890126336 103816 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=869264 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 890126336 103816 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=869264 CPUtime=2.69
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 2421 0 0 0 258 11 0 0 16 0 8 0 174287463 890126336 103816 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=869264 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 890126336 103816 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=869264 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287463 890126336 103816 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 874616

[startup+162.514 s]
/proc/loadavg: 2.01 2.01 1.86 3/102 20576
/proc/meminfo: memFree=821176/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=871120 CPUtime=162.44
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 105679 0 1 0 16136 108 0 0 25 0 8 0 174287456 892026880 105293 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073624773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 217780 105293 1833 14 0 205042 0
[pid=20557/tid=20563] ppid=20554 vsize=871120 CPUtime=3.94
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 90978 0 0 0 357 37 0 0 16 0 8 0 174287460 892026880 105293 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=871120 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 892026880 105293 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=871120 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 892026880 105293 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=871120 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 892026880 105293 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=871120 CPUtime=4.45
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 3880 0 0 0 425 20 0 0 16 0 8 0 174287463 892026880 105293 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=871120 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 892026880 105293 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=871120 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287463 892026880 105293 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (KiB) 876472

[startup+222.539 s]
/proc/loadavg: 2.05 2.02 1.87 3/102 20576
/proc/meminfo: memFree=809016/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=873108 CPUtime=222.45
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 107178 0 1 0 22126 119 0 0 25 0 8 0 174287456 894062592 106792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074203244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 218277 106792 1833 14 0 205539 0
[pid=20557/tid=20563] ppid=20554 vsize=873108 CPUtime=3.94
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 90978 0 0 0 357 37 0 0 16 0 8 0 174287460 894062592 106792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=873108 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 894062592 106792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=873108 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 894062592 106792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=873108 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 894062592 106792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=873108 CPUtime=6.2
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 5359 0 0 0 591 29 0 0 15 0 8 0 174287463 894062592 106792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=873108 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 894062592 106792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=873108 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287463 894062592 106792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.45
Current children cumulated vsize (KiB) 878460

[startup+282.544 s]
/proc/loadavg: 2.02 2.01 1.88 3/102 20576
/proc/meminfo: memFree=728248/2055920 swapFree=4192812/4192956
[pid=20554] ppid=20550 vsize=5352 CPUtime=0
/proc/20554/stat : 20554 (cspfj.sh) S 20550 20554 20424 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 174287456 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20554/statm: 1338 240 201 169 0 49 0
[pid=20557] ppid=20554 vsize=874960 CPUtime=282.44
/proc/20557/stat : 20557 (java) R 20554 20554 20424 0 -1 0 113215 0 1 0 28115 129 0 0 25 0 8 0 174287456 895959040 112828 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4091567893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20557/statm: 218740 112828 1833 14 0 206002 0
[pid=20557/tid=20563] ppid=20554 vsize=874960 CPUtime=4.02
/proc/20557/task/20563/stat : 20563 (java) S 20554 20554 20424 0 -1 64 95616 0 0 0 364 38 0 0 16 0 8 0 174287460 895959040 112828 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20564] ppid=20554 vsize=874960 CPUtime=0
/proc/20557/task/20564/stat : 20564 (java) S 20554 20554 20424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287460 895959040 112828 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20565] ppid=20554 vsize=874960 CPUtime=0
/proc/20557/task/20565/stat : 20565 (java) S 20554 20554 20424 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174287460 895959040 112828 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20569] ppid=20554 vsize=874960 CPUtime=0
/proc/20557/task/20569/stat : 20569 (java) S 20554 20554 20424 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174287463 895959040 112828 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20570] ppid=20554 vsize=874960 CPUtime=7.81
/proc/20557/task/20570/stat : 20570 (java) S 20554 20554 20424 0 -1 64 6731 0 0 0 746 35 0 0 15 0 8 0 174287463 895959040 112828 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20557/tid=20571] ppid=20554 vsize=874960 CPUtime=0
/proc/20557/task/20571/stat : 20571 (java) S 20554 20554 20424 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 174287463 895959040 112828 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20557/tid=20572] ppid=20554 vsize=874960 CPUtime=0
/proc/20557/task/20572/stat : 20572 (java) S 20554 20554 20424 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287463 895959040 112828 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.44
Current children cumulated vsize (KiB) 880312

Child status: 0
Real time (s): 309.047
CPU time (s): 308.93
CPU user time (s): 307.503
CPU system time (s): 1.42678
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 881412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.503
system time used= 1.42678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126808
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= 34709
involuntary context switches= 40251

runsolver used 0.377942 s user time and 1.00085 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Mon Jan  8 12:22:07 UTC 2007


IDJOB= 221412
IDBENCH= 5447
FILE ID= node17/221412-1168258927

PBS_JOBID= 3482433

Free space on /tmp= 66326 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  cd04ae5638f2aca685208979f08ea162

RANDOM SEED= 111439421

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.236
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.236
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:       1652584 kB
Buffers:         64096 kB
Cached:         217288 kB
SwapCached:          0 kB
Active:         197760 kB
Inactive:       141556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1652584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3068 kB
Writeback:           0 kB
Mapped:          76888 kB
Slab:            49080 kB
Committed_AS:  4932744 kB
PageTables:       2164 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= 66323 MiB



End job on node17 on Mon Jan  8 12:27:16 UTC 2007