Trace number 221411

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 - Combo 2006-12-19SAT 287.633 290.484

DiagnosticValue
NODES832

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)

290.37	v -2510 -2546 3092 3312 3312 -3132 -2558 -2478 2998 -2758 2624 -2576 -2584 -2758 3036 -2616 -3044 -2562 -3190 -2616 2584 -2562 2562 -2510 -3044 -2562 3252 3312 2616 -2616 -2828 2760 -2576 -2854 3150 -2478 3108 3312 3096 3294 2788 -2800 3002 -3076 2788 2606 3352 2734 -2576 2788 -2518 -3190 -2894 3150 -2602 3016 -2798 -2478 -2584 -2518 -2562 -2576 2356 2774 2812 -2478 -3150 2826 2554 3038 2924 3260 -2602 -2518 -3352 2584 -3190 3004 -2624 -3150 2758 2810 -3150 2436 -2828 2610 3236 -3044 -3224 -2860 -2828 -2478 2682 2568 -2478 2788 3004 3102 -3058 -2562 -3352 2934 -3312 3116 3004 -3044 3004 -2982 3150 -2758 -2562 2552 2356 -2624 -3058 -3004 -2828 -2518 -3144 -2478 -2396 3040 -3222 3182 3038 3312 -2996 -2608 -3044 -2602 3104 2554 3192 3150 -2602 -3150 2778 -3018 2616 -3076 -2602 3154 -3004 -3040 2710 -2518 2602 2758 2540 -3352 -2478 3006 -3190 2758 2980 2826 -2580 2584 -2478 -3022 -2616 3150 3150 3150 -3190 -2562 -2510 -2828 -2478 2616 3190 -3150 -2506 -2616 2538 2908 3114 -2518 -2584 2584 2788 2626 2728 3150 -2356 3062 -2514 -2478 2788 3148 -2478 -2576 2990 2788 -2356 -3352 2624 2982 2990 3150 -3154 2624 3144 2552 -3044 2372 -2518 3278 -2678 2950 -3190 -3352 2610 -2518 3318 2602 -2512 -3190 -2798 2550 -2832 -2942 2788 -2672 2602 -2576 2624 -2396 3150 -2478 2550 -3190 -3312 2850 -2936 -2798 2734 2396 2984 -2818 -2828 -2828 2580 2550 3312 3264 -3190 -2562 -2614 -3312 3144 -2518 -2478 -2478 -2478 2616 -3150 -2412 2732 -3004 -2944 -2828 -3190 -2624 -2584 3352 -2562 3312 -2650 2788 -2602 -3352 -2788 2396 -3062 -2518 -2356 -3004 3146 -2772 -2584 -2518 3030 3156 -3044 -3232 -2542 2922 3300 -2860 2768 -3190 2722 3334 -3036 3004 -2396 2518 3312 3022 -3106 -2616 -2828 3276 2694 -2630 3150 -3004 -3044 3004 -3136 -2624 -3190 -2558 2584 3190 -3190 -2576 2988 3194 3004 2356 3312 2590 -3190 -2356 -2884 3098 3288 -2792 -2672 3004 -2508 -2584 3294 2644 -3352 3184 -3078 -2754 -2554 2552 -3190 3148 3334 2750 -2396 -2758 2828 3070 -2924 -2758 -2478 -2562 -3152 -2396 3150 -3190 2980 3144 3154 -2356 -3108 2624 -2584 -2798 -2626 -3004 3200 -2512 2628 -2514 -3316 2608 -2356 2958 2956 -3190 -2586 2624 -2624 -2576 -3312 -3352 -2828 -3190 -2786 -2616 -2798 -2670 2834 3312 -2518 2602 -2654 -2356 -3190 3322 -3150 -2584 3038 2650 -2576 -2828 2828 -3352 2712 -2356 -2616 -2714 -2798 -3044 2356 2788 -3044 -2518 3244 -3176 3328 -3044 -2356 -2576 2624 -2574 3004 -2624 -2992 -2514 2940 3114 2562 3000 -2616 2788 2950 -2558 -2518 -2552 2738 -3044 -2518 2788 2584 3150 -2878 -2478 2396 3004 -2624 2948 2794 -2962 2774 3150 2396 -3044 -2820 -3076 2794 -2576 3312 -3190 2588 3312 2666 -3312 3150 -2576 -2772 -2576 -2780 -2516 3150 -2478 2602 -2798 2604 -2956 -2996 2990 3136 -2518 -3352 2396 2926 -2576 3020 -2624 -2562 2576 -2798 2820 3352 2584 3058 3150 3148 3004 2900 2396 2478 2972 2886 2718 -2602 -2828 2758 -2518 -2758 -2512 -3352 3312 3282 -2602 3036 -2356 2948 -2512 2758 3352 -2798 2814 -3150 -2616 3004 -2798 3112 2952 -3044 -3110 -3292 2710 -2584 -2396 3004 -2828 -2518 -3190 2758 2624 2762 -2396 2758 -2518 3150 -3276 3148 2602 -2562 3150 -2518 -3190 -2518 -2396 -3352 -3004 -2788 2396 2758 -2562 -2814 -3150 -2478 2518 2396 2616 2614 -2798 -2828 -2478 -2554 -3044 -2514 3148 -2550 -2518 -2556 2518 -2396 2580 2620 3080 -3044 3150 -2602 -2510 -2576 2996 -2554 -3240 2436 -3026 2438 2396 -2514 -2616 -2510 -2518 3152 -2562 -3150 3312 -2624 3098 -3044 2992 -2478 2788 2884 3066 2626 -2778 2788 -2554 -2478 2932 2758 -2518 2548 -2478 -2478 2616 3004 -2584 2356 3104 -2518 -2828 -2576 -2798 3202 3104 2548 2758 -2356 -2616 -3242 2786 -2518 -2518 -2976 2674 3104 3150 2620 2568 -2518 -2576 -2758 -2828 2478 -2576 -3044 -2602 3352 -2586 3142 -2562 -2754 -2828 -3190 2976 -2576 -3190 -2624 -2588 -3204 -3044 -2518 -3078 -3352 2868 2788 -2396 -2722 2602 -3044 3224 -2798 2616 -2576 -3108 -3352 -2550 -3046 2962 -2828 -2356 -2794 2744 2788 2784 2602 3188 -3044 2616 -2798 -3190 -2356 -2798 3036 2498 2786 3016 2356 3146 3352 -3108 3112 -2502 2624 -2478 -2616 -2576 3022 -2478 -3190 -3078 -3190 -2616 2396 3032 -2798 -2826 -2518 3312 -2562 3352 3312 2896 2356 2712 2584 -2616 2788 -2918 -2566 2798 3030 2396 -3190 -2518 -2478 -2584 -2396 3106 -2576 2514 -2478 2478 
290.37	s SATISFIABLE
290.37	d NODES 832

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-221411-1168258927 -o ROOT/results/node17/solver-221411-1168258927 -C 1800 -M 900 /tmp/evaluation/221411-1168258927/cspfj.sh -solver Combo -competition /tmp/evaluation/221411-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 5/87 20560
/proc/meminfo: memFree=1651176/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=72 CPUtime=0
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 196 0 0 0 0 0 0 0 20 0 1 0 174287458 73728 2 18446744073709551615 0 0 4294956887 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20562/statm: 18 2 0 0 0 1 0

[startup+0.103879 s]
/proc/loadavg: 1.74 1.95 1.82 5/87 20560
/proc/meminfo: memFree=1651176/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=864484 CPUtime=0.08
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 2611 0 1 0 7 1 0 0 17 0 8 0 174287458 885231616 2356 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20562/statm: 216121 2356 1402 14 0 203419 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 869836

[startup+0.515918 s]
/proc/loadavg: 1.74 1.95 1.82 5/87 20560
/proc/meminfo: memFree=1651176/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=865012 CPUtime=0.49
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 5042 0 1 0 46 3 0 0 18 0 8 0 174287458 885772288 4752 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073461960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216253 4752 1741 14 0 203524 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 870364

[startup+1.34801 s]
/proc/loadavg: 1.74 1.95 1.82 4/102 20576
/proc/meminfo: memFree=1605992/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=865636 CPUtime=1.31
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 8987 0 1 0 124 7 0 0 24 0 8 0 174287458 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154521549 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216409 8665 1828 14 0 203671 0
[pid=20562/tid=20566] ppid=20559 vsize=865636 CPUtime=0.19
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 4732 0 0 0 17 2 0 0 16 0 8 0 174287461 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287462 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=865636 CPUtime=0.23
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 498 0 0 0 22 1 0 0 15 0 8 0 174287465 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174287465 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 870988

[startup+3.00518 s]
/proc/loadavg: 1.84 1.97 1.83 4/102 20576
/proc/meminfo: memFree=1553704/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=865756 CPUtime=2.95
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 20016 0 1 0 279 16 0 0 25 0 8 0 174287458 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154584308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216439 19669 1828 14 0 203701 0
[pid=20562/tid=20566] ppid=20559 vsize=865756 CPUtime=0.55
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 14815 0 0 0 49 6 0 0 16 0 8 0 174287461 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287462 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=865756 CPUtime=0.29
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 532 0 0 0 28 1 0 0 15 0 8 0 174287465 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174287465 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 871108

[startup+6.21652 s]
/proc/loadavg: 1.84 1.97 1.83 4/102 20576
/proc/meminfo: memFree=1390888/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=867092 CPUtime=6.14
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 39322 0 1 0 583 31 0 0 25 0 8 0 174287458 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073442869 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216773 38958 1828 14 0 204035 0
[pid=20562/tid=20566] ppid=20559 vsize=867092 CPUtime=1.51
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 32098 0 0 0 138 13 0 0 16 0 8 0 174287461 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287462 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=867092 CPUtime=0.36
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 558 0 0 0 35 1 0 0 16 0 8 0 174287465 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 872444

[startup+12.6202 s]
/proc/loadavg: 1.86 1.97 1.83 3/102 20576
/proc/meminfo: memFree=1103536/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=867092 CPUtime=12.48
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 70838 0 1 0 1191 57 0 0 25 0 8 0 174287458 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216773 70459 1828 14 0 204035 0
[pid=20562/tid=20566] ppid=20559 vsize=867092 CPUtime=2.69
/proc/20562/task/20566/stat : 20566 (java) R 20559 20559 20397 0 -1 64 61046 0 0 0 243 26 0 0 16 0 8 0 174287461 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155216469 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=867092 CPUtime=0.36
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 559 0 0 0 35 1 0 0 16 0 8 0 174287465 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 872444

[startup+25.4875 s]
/proc/loadavg: 1.96 1.98 1.84 3/102 20576
/proc/meminfo: memFree=848184/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=867092 CPUtime=25.23
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 102410 0 1 0 2441 82 0 0 25 0 8 0 174287458 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074536474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216773 102023 1833 14 0 204035 0
[pid=20562/tid=20566] ppid=20559 vsize=867092 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=867092 CPUtime=0.53
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 650 0 0 0 51 2 0 0 15 0 8 0 174287465 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 872444

[startup+51.1052 s]
/proc/loadavg: 2.10 2.02 1.85 3/102 20576
/proc/meminfo: memFree=843256/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=867752 CPUtime=50.58
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 103050 0 1 0 4971 87 0 0 25 0 8 0 174287458 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073624773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216938 102663 1833 14 0 204200 0
[pid=20562/tid=20566] ppid=20559 vsize=867752 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=867752 CPUtime=1.34
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 1284 0 0 0 128 6 0 0 16 0 8 0 174287465 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 873104

[startup+102.328 s]
/proc/loadavg: 2.04 2.01 1.86 3/102 20576
/proc/meminfo: memFree=833272/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=869344 CPUtime=101.32
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 104345 0 1 0 10037 95 0 0 25 0 8 0 174287458 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074208507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 217336 103958 1833 14 0 204598 0
[pid=20562/tid=20566] ppid=20559 vsize=869344 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=869344 CPUtime=2.78
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 2559 0 0 0 265 13 0 0 16 0 8 0 174287465 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 874696

[startup+162.402 s]
/proc/loadavg: 2.01 2.01 1.86 3/102 20576
/proc/meminfo: memFree=821176/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=871464 CPUtime=160.83
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 105886 0 1 0 15978 105 0 0 25 0 8 0 174287458 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074207189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 217866 105499 1833 14 0 205128 0
[pid=20562/tid=20566] ppid=20559 vsize=871464 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=871464 CPUtime=4.5
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 4079 0 0 0 429 21 0 0 15 0 8 0 174287465 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 876816

[startup+222.424 s]
/proc/loadavg: 2.05 2.02 1.87 3/102 20576
/proc/meminfo: memFree=809016/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=873456 CPUtime=220.26
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 107431 0 1 0 21910 116 0 0 25 0 8 0 174287458 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074208386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 218364 107044 1833 14 0 205626 0
[pid=20562/tid=20566] ppid=20559 vsize=873456 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=873456 CPUtime=6.22
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 5602 0 0 0 592 30 0 0 15 0 8 0 174287465 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.26
Current children cumulated vsize (KiB) 878808

[startup+282.429 s]
/proc/loadavg: 2.02 2.01 1.88 3/102 20576
/proc/meminfo: memFree=728248/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=875492 CPUtime=279.68
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 121588 0 1 0 27839 129 0 0 25 0 8 0 174287458 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4153380216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 218873 121097 1833 14 0 206135 0
[pid=20562/tid=20566] ppid=20559 vsize=875492 CPUtime=5.38
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 102447 0 0 0 496 42 0 0 16 0 8 0 174287461 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174287462 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=875492 CPUtime=7.56
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 6736 0 0 0 719 37 0 0 15 0 8 0 174287465 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.68
Current children cumulated vsize (KiB) 880844

Child status: 0
Real time (s): 290.484
CPU time (s): 287.633
CPU user time (s): 286.204
CPU system time (s): 1.42978
CPU usage (%): 99.0185
Max. virtual memory (cumulated for all children) (KiB): 881444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 286.203
system time used= 1.42978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127103
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= 34336
involuntary context switches= 41497

runsolver used 0.329949 s user time and 0.886865 s system time

The end

Launcher Data (download as text)

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


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

PBS_JOBID= 3482432

Free space on /tmp= 66326 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  cd04ae5638f2aca685208979f08ea162

RANDOM SEED= 956747630

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:         197744 kB
Inactive:       141552 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:          76916 kB
Slab:            49096 kB
Committed_AS:  4932612 kB
PageTables:       2152 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= 66326 MiB



End job on node17 on Mon Jan  8 12:26:57 UTC 2007