Trace number 221380

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 309.771 312.451

DiagnosticValue
NODES750

General information on the benchmark

Namefapp/fapp31-35/fapp34/
fapp34-0750-8.xml
MD5SUMaf7a49b82c0e09a7b218082170f2e02f
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.12807
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)

312.35	v 2514 -2558 3090 3300 3306 -3130 -2554 2518 -2996 2758 2624 2576 2584 2758 3030 -2616 -3042 -2564 -3142 2616 -2584 -2562 -2562 2518 3042 -2564 3292 -3318 2616 -2616 -2828 2760 -2576 2850 3102 -2518 3106 3304 3096 3234 2788 2720 3000 -3076 2788 2602 3352 2732 2576 -2782 2524 3188 -2896 3150 2604 3010 -2798 2502 2584 2524 2562 2576 2798 2786 -2828 -2478 3150 -2828 -2558 3038 2916 -3204 2604 -2522 3266 2594 -3190 3002 -2624 3150 2758 2814 -3150 2436 -2828 2614 -3236 -3044 3230 2860 -2828 2478 -2696 2586 2484 2784 3004 -3110 3056 2562 -3284 2936 -3214 -3102 3002 -3044 3004 2990 -3142 2758 -2562 -2558 2430 2624 -3046 3004 -2826 2522 -3142 2482 -2418 3036 3176 -3216 -3038 3338 -2996 2614 -3044 -2604 -3102 -2558 3190 3150 -2604 -3150 2778 -3016 -2618 -3070 2602 -3152 3004 -3040 2706 2518 -2604 -2750 2540 3276 2482 -2998 -3190 -2748 2980 2816 2578 -2588 -2482 3008 -2616 -3150 3150 3150 -3190 2564 2596 -2828 2482 -2616 -3184 3148 -2518 2616 2546 2904 3102 2518 2584 2584 2786 2710 2726 -3148 2578 3054 -2518 2478 2786 3146 2478 -2578 -2988 -2788 2584 -3346 -2624 2968 2992 3150 -3142 -2624 -3142 -2558 3044 2364 2520 -3350 2674 -2952 -3188 -3322 2614 -2558 -3310 -2602 2518 3188 -2798 -2558 2828 2950 2788 -2692 2604 2576 -2624 2360 -3148 2484 -2558 -3188 -3312 2854 2938 -2780 -2746 2540 2978 2826 -2824 2826 -2584 -2556 -3130 3270 -3190 2564 -2618 -3088 3142 2518 -2480 2478 2480 -2616 -3150 2404 2734 -3004 2938 -2828 -3188 -2628 -2584 -3248 2562 3306 -2654 2788 2604 -3352 2788 2436 -3054 2522 -2374 3000 -3142 -2788 -2584 -2522 3028 3142 -3044 -3230 2518 2922 -3164 2852 2766 3182 2736 -3274 3032 3004 2396 -2518 -3168 -3014 3104 2616 2822 3276 -2692 2626 3148 3004 -3044 3002 -3136 2624 3142 -2558 2588 -3186 -3188 -2580 3286 -3184 3004 2476 -3318 -2586 3190 -2382 2876 3048 3272 -2788 -2674 3004 2518 2584 3292 2626 -3170 3180 -3078 2754 -2558 2556 -3142 3148 -3252 2746 2758 2750 -2828 3310 2928 2758 2482 2564 -3142 2398 3148 3190 -2976 3142 -3144 -2368 3104 2624 2588 -2798 -2616 -3004 -3246 2516 -2624 2518 -3274 -2626 2400 2956 2954 -3190 -2586 -2628 -2624 -2590 3208 3344 2826 3188 -2776 2616 -2798 2676 -2834 -3102 2518 2602 2658 -2460 -3154 -3306 -3114 2584 3038 2654 2576 -2828 -2816 -3292 2732 2596 -2616 -2712 -2790 3040 2378 2788 3036 -2558 -3194 3146 3312 -3044 2506 2576 -2624 -2562 3004 2624 2998 2518 -2936 3112 -2562 2996 2630 -2788 3052 -2558 2542 -2558 2738 -3044 -2558 2786 -2584 3150 2866 2482 -2422 3004 -2624 3326 -2794 -2962 2782 -3148 2636 -3044 2828 -3074 -2798 2576 -3312 -3190 -2592 -3244 -2670 -3312 3150 -2576 2774 2578 2788 2518 -3142 -2478 2602 -2798 -2586 2956 -2992 3012 3186 -2522 -3254 2444 2924 2580 3020 2624 -2564 -2576 -2798 2820 3352 -2584 3088 -3144 3138 3004 2892 2618 -2478 2970 2884 -2714 2602 -2820 2746 2522 2758 -2518 -3278 -3282 -3346 2602 3034 -2604 -2944 2518 -2740 3128 -2786 -2810 3102 -2616 3004 2798 -3102 2952 -3044 3102 -3252 2716 2584 2396 2996 -2828 2522 -3190 2758 -2634 2786 -2644 2758 2518 3150 -3234 3144 -2602 2564 -3148 2518 -3190 -2518 -2538 -3340 -3004 2788 2566 2758 -2562 -2822 3150 2518 2520 2470 2616 -2602 2788 2828 2478 -2558 -3044 2518 3144 -2558 -2522 -2558 -2514 2420 2580 2618 3080 -3044 -3102 2604 2518 2576 2994 -2558 3286 2438 -3024 2438 2408 2518 2620 2518 -2522 -3144 2564 3148 -3236 2624 3086 -3042 -2992 -2478 2788 2888 3064 2626 2786 2788 -2558 -2480 2930 2758 -2522 2552 2482 -2478 2620 3004 2584 -2606 -3102 2518 -2828 -2576 -2798 -3200 -3102 -2558 2758 2356 -2616 -3240 -2788 -2520 2522 2976 2672 -3102 3146 -2624 -2574 2522 -2576 2758 2828 -2478 2576 3044 2602 3236 -2576 3150 -2564 -2758 -2828 -3190 -2970 2580 -3190 2628 2584 -3154 -3044 -2518 -3078 3062 -2856 2780 -2422 2746 2604 -3044 3220 -2798 -2616 -2576 -3104 3298 2554 -3038 2960 2826 -2382 -2794 2728 2788 -2768 2604 -3178 -3044 2616 2798 -3190 2500 -2790 -3036 2506 2788 3016 -2498 3144 3128 3108 3104 -2558 -2624 2482 2620 2576 3014 -2482 -3190 -3078 -3190 2618 2624 -3038 -2798 -2828 -2518 3276 2564 -3278 -3252 2898 2484 -2714 -2584 2616 -2786 2906 2562 -2798 -3270 2414 -3188 -2518 2482 -2584 -2466 3102 2576 2518 -2482 -2482 
312.36	s SATISFIABLE
312.36	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/node55/watcher-221380-1168258811 -o ROOT/results/node55/solver-221380-1168258811 -C 1800 -M 900 /tmp/evaluation/221380-1168258811/cspfj.sh -competition /tmp/evaluation/221380-1168258811/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: 2.01 2.02 1.83 5/73 5374
/proc/meminfo: memFree=1714056/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) R 5371 5373 4534 0 -1 4194304 261 0 0 0 0 0 0 0 20 0 1 0 174279347 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/5373/statm: 1338 228 191 169 0 49 0
[pid=5375] ppid=5373 vsize=5352 CPUtime=0
/proc/5375/stat : 5375 (cspfj.sh) R 5373 5373 4534 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 174279347 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/5375/statm: 1338 228 191 169 0 49 0

[startup+0.107284 s]
/proc/loadavg: 2.01 2.02 1.83 5/73 5374
/proc/meminfo: memFree=1714056/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.517322 s]
/proc/loadavg: 2.01 2.02 1.83 5/73 5374
/proc/meminfo: memFree=1714056/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34141 s]
/proc/loadavg: 2.01 2.02 1.83 3/81 5383
/proc/meminfo: memFree=1691720/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=865632 CPUtime=1.3
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 8674 0 1 0 124 6 0 0 24 0 8 0 174279348 886407168 8355 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 216408 8355 1828 14 0 203670 0
[pid=5376/tid=5377] ppid=5373 vsize=865632 CPUtime=0.19
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 4422 0 0 0 17 2 0 0 16 0 8 0 174279351 886407168 8355 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=865632 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 886407168 8355 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=865632 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 886407168 8355 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=865632 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 886407168 8355 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=865632 CPUtime=0.22
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 478 0 0 0 21 1 0 0 15 0 8 0 174279355 886407168 8355 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=865632 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 886407168 8355 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=865632 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 886407168 8355 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 870984

[startup+2.9957 s]
/proc/loadavg: 2.01 2.02 1.83 4/81 5383
/proc/meminfo: memFree=1665032/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=865752 CPUtime=2.95
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 19554 0 1 0 279 16 0 0 25 0 8 0 174279348 886530048 19209 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 216438 19209 1828 14 0 203700 0
[pid=5376/tid=5377] ppid=5373 vsize=865752 CPUtime=0.53
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 14395 0 0 0 48 5 0 0 15 0 8 0 174279351 886530048 19209 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=865752 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 886530048 19209 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=865752 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 886530048 19209 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=865752 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 886530048 19209 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=865752 CPUtime=0.29
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 517 0 0 0 28 1 0 0 15 0 8 0 174279355 886530048 19209 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=865752 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 886530048 19209 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=865752 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 886530048 19209 18446744073709551615 134512640 134570532 4294956528 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) 871104

[startup+6.20688 s]
/proc/loadavg: 2.09 2.04 1.84 4/81 5383
/proc/meminfo: memFree=1583240/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=865980 CPUtime=6.13
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 37428 0 1 0 583 30 0 0 25 0 8 0 174279348 886763520 37066 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073645241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 216495 37066 1828 14 0 203757 0
[pid=5376/tid=5377] ppid=5373 vsize=865980 CPUtime=1.39
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 30208 0 0 0 128 11 0 0 16 0 8 0 174279351 886763520 37066 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 886763520 37066 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 886763520 37066 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 886763520 37066 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=865980 CPUtime=0.36
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 544 0 0 0 35 1 0 0 16 0 8 0 174279355 886763520 37066 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 886763520 37066 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 886763520 37066 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 871332

[startup+12.7075 s]
/proc/loadavg: 2.08 2.04 1.84 3/81 5383
/proc/meminfo: memFree=1438984/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=865980 CPUtime=12.56
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 70777 0 1 0 1201 55 0 0 25 0 8 0 174279348 886763520 70400 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155476525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 216495 70400 1828 14 0 203757 0
[pid=5376/tid=5377] ppid=5373 vsize=865980 CPUtime=2.51
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 60997 0 0 0 229 22 0 0 16 0 8 0 174279351 886763520 70400 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 886763520 70400 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 886763520 70400 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 886763520 70400 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=865980 CPUtime=0.36
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 545 0 0 0 35 1 0 0 16 0 8 0 174279355 886763520 70400 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 886763520 70400 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=865980 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 886763520 70400 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 871332

[startup+25.5917 s]
/proc/loadavg: 2.07 2.04 1.84 3/81 5383
/proc/meminfo: memFree=1312264/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=866064 CPUtime=25.34
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 102395 0 1 0 2453 81 0 0 25 0 8 0 174279348 886849536 102009 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074203443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 216516 102009 1833 14 0 203778 0
[pid=5376/tid=5377] ppid=5373 vsize=866064 CPUtime=3.61
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 90994 0 0 0 326 35 0 0 16 0 8 0 174279351 886849536 102009 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=866064 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 886849536 102009 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=866064 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 886849536 102009 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=866064 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 886849536 102009 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=866064 CPUtime=0.5
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 624 0 0 0 48 2 0 0 16 0 8 0 174279355 886849536 102009 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=866064 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 886849536 102009 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=866064 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 886849536 102009 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 871416

[startup+51.2204 s]
/proc/loadavg: 2.04 2.03 1.84 3/81 5383
/proc/meminfo: memFree=1310024/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=866592 CPUtime=50.73
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 102970 0 1 0 4988 85 0 0 25 0 8 0 174279348 887390208 102584 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074214151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 216648 102584 1833 14 0 203910 0
[pid=5376/tid=5377] ppid=5373 vsize=866592 CPUtime=3.61
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 90994 0 0 0 326 35 0 0 16 0 8 0 174279351 887390208 102584 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=866592 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 887390208 102584 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=866592 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 887390208 102584 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=866592 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 887390208 102584 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=866592 CPUtime=1.29
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 1193 0 0 0 123 6 0 0 15 0 8 0 174279355 887390208 102584 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=866592 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 887390208 102584 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=866592 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 887390208 102584 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 871944

[startup+102.469 s]
/proc/loadavg: 2.02 2.02 1.85 3/81 5383
/proc/meminfo: memFree=1305352/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=868184 CPUtime=101.55
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 104177 0 1 0 10062 93 0 0 25 0 8 0 174279348 889020416 103791 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074208447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 217046 103791 1833 14 0 204308 0
[pid=5376/tid=5377] ppid=5373 vsize=868184 CPUtime=3.61
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 90994 0 0 0 326 35 0 0 16 0 8 0 174279351 889020416 103791 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=868184 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 889020416 103791 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=868184 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 889020416 103791 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=868184 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 889020416 103791 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=868184 CPUtime=2.7
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 2382 0 0 0 258 12 0 0 16 0 8 0 174279355 889020416 103791 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=868184 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 889020416 103791 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=868184 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 889020416 103791 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 873536

[startup+162.472 s]
/proc/loadavg: 2.00 2.02 1.85 3/81 5383
/proc/meminfo: memFree=1299464/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=870040 CPUtime=161.05
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 105621 0 1 0 16002 103 0 0 25 0 8 0 174279348 890920960 105235 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 217510 105235 1833 14 0 204772 0
[pid=5376/tid=5377] ppid=5373 vsize=870040 CPUtime=3.61
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 90994 0 0 0 326 35 0 0 16 0 8 0 174279351 890920960 105235 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=870040 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 890920960 105235 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=870040 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 890920960 105235 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=870040 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 890920960 105235 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=870040 CPUtime=4.41
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 3805 0 0 0 421 20 0 0 15 0 8 0 174279355 890920960 105235 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=870040 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 890920960 105235 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=870040 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 890920960 105235 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 875392

[startup+222.575 s]
/proc/loadavg: 2.00 2.01 1.86 3/81 5383
/proc/meminfo: memFree=1293576/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=871900 CPUtime=220.64
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 107100 0 1 0 21951 113 0 0 25 0 8 0 174279348 892825600 106714 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074213574 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 217975 106714 1833 14 0 205237 0
[pid=5376/tid=5377] ppid=5373 vsize=871900 CPUtime=3.61
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 90994 0 0 0 326 35 0 0 16 0 8 0 174279351 892825600 106714 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=871900 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 892825600 106714 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=871900 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 892825600 106714 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=871900 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 892825600 106714 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=871900 CPUtime=6.19
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 5265 0 0 0 590 29 0 0 16 0 8 0 174279355 892825600 106714 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=871900 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 892825600 106714 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=871900 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 892825600 106714 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.64
Current children cumulated vsize (KiB) 877252

[startup+282.579 s]
/proc/loadavg: 2.05 2.02 1.87 3/81 5383
/proc/meminfo: memFree=1269576/2055920 swapFree=4192192/4192956
[pid=5373] ppid=5371 vsize=5352 CPUtime=0
/proc/5373/stat : 5373 (cspfj.sh) S 5371 5373 4534 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 174279347 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5373/statm: 1338 240 201 169 0 49 0
[pid=5376] ppid=5373 vsize=873764 CPUtime=280.14
/proc/5376/stat : 5376 (java) R 5373 5373 4534 0 -1 0 113078 0 1 0 27890 124 0 0 25 0 8 0 174279348 894734336 112691 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074208389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5376/statm: 218441 112691 1833 14 0 205703 0
[pid=5376/tid=5377] ppid=5373 vsize=873764 CPUtime=3.69
/proc/5376/task/5377/stat : 5377 (java) S 5373 5373 4534 0 -1 64 95628 0 0 0 333 36 0 0 16 0 8 0 174279351 894734336 112691 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5378] ppid=5373 vsize=873764 CPUtime=0
/proc/5376/task/5378/stat : 5378 (java) S 5373 5373 4534 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174279351 894734336 112691 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5379] ppid=5373 vsize=873764 CPUtime=0
/proc/5376/task/5379/stat : 5379 (java) S 5373 5373 4534 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174279351 894734336 112691 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5380] ppid=5373 vsize=873764 CPUtime=0
/proc/5376/task/5380/stat : 5380 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174279355 894734336 112691 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5381] ppid=5373 vsize=873764 CPUtime=7.82
/proc/5376/task/5381/stat : 5381 (java) S 5373 5373 4534 0 -1 64 6591 0 0 0 745 37 0 0 15 0 8 0 174279355 894734336 112691 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5382] ppid=5373 vsize=873764 CPUtime=0
/proc/5376/task/5382/stat : 5382 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174279355 894734336 112691 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5376/tid=5383] ppid=5373 vsize=873764 CPUtime=0
/proc/5376/task/5383/stat : 5383 (java) S 5373 5373 4534 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174279355 894734336 112691 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 879116

Child status: 0
Real time (s): 312.451
CPU time (s): 309.771
CPU user time (s): 308.388
CPU system time (s): 1.38279
CPU usage (%): 99.1422
Max. virtual memory (cumulated for all children) (KiB): 880420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 308.388
system time used= 1.38279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126668
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= 34741
involuntary context switches= 40501

runsolver used 0.372943 s user time and 1.03684 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Jan  8 12:20:11 UTC 2007


IDJOB= 221380
IDBENCH= 5445
FILE ID= node55/221380-1168258811

PBS_JOBID= 3482610

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  af7a49b82c0e09a7b218082170f2e02f

RANDOM SEED= 95867441

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.218
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	: 5931.00
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.218
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:       1714472 kB
Buffers:         53344 kB
Cached:         189604 kB
SwapCached:        424 kB
Active:         160368 kB
Inactive:       124104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1714472 kB
SwapTotal:     4192956 kB
SwapFree:      4192192 kB
Dirty:            1456 kB
Writeback:           0 kB
Mapped:          53720 kB
Slab:            42320 kB
Committed_AS:  3892064 kB
PageTables:       1772 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= 66559 MiB



End job on node55 on Mon Jan  8 12:25:23 UTC 2007