Trace number 207558

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 1053.7 1056.22

DiagnosticValue
NODES1463

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-9.xml
MD5SUMd3dec74f6acf47deb39467d9536ae53f
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 benchmark9.8445
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1250
Number of constraints18359
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18359
Global constraints used (with number of constraints)

Solver Data (download as text)

1056.08	v -2744 2764 2388 2772 2172 2532 -2160 2696 -2732 -2772 -2364 2792 -2308 2624 -2500 -2172 -2348 2568 2436 2452 2328 2680 -2628 -2272 2792 -2456 2752 2484 2776 -2772 2424 2788 2636 -2392 2488 -2504 2148 2144 2120 -2776 2784 -2776 -2200 -2200 -2340 -2288 -2732 -2816 2136 2728 2688 -2720 2160 -2628 -2396 -2652 -2188 2160 -2732 2172 2676 2428 2216 2180 -2464 -2776 2632 2348 2164 -2576 -2196 2808 2680 2732 2628 2692 -2192 -2676 -2816 2724 2680 2752 2716 -2708 2672 2156 2588 -2752 2756 -2552 -2160 -2792 2568 2600 2612 2256 -2784 -2484 2420 -2428 2620 -2340 2612 -2680 -2568 2464 2628 2344 2728 -2128 2752 2160 2612 -2588 -2380 2476 -2596 2752 2220 2752 -2436 -2792 -2544 -2804 -2780 -2736 -2696 2640 2544 -2216 -2268 -2424 2408 -2564 -2460 2760 2524 2640 2696 2220 2616 2224 2228 2632 2656 2524 2520 -2208 2684 -2424 2484 -2332 2636 -2688 2668 -2132 2292 -2376 -2520 2172 -2792 -2168 2712 2120 2356 -2648 2252 2120 -2652 -2804 2352 -2120 -2412 2744 -2436 2668 2760 2160 -2668 2308 -2228 2216 2120 2656 -2256 2160 -2360 2604 2132 -2576 -2188 -2444 -2256 2776 2420 -2440 2740 -2612 2188 2700 -2764 -2160 2600 2476 -2736 2644 2332 -2172 -2476 2716 2496 2648 -2576 -2468 2528 2328 -2428 -2560 -2372 -2216 -2636 -2772 -2604 2436 -2564 -2120 2672 2392 2680 2768 -2120 2600 2572 2632 -2160 -2396 -2184 2760 2160 2480 2452 -2728 2672 2776 2512 -2672 2524 -2120 -2468 -2776 2308 2648 2256 -2512 2752 -2712 2816 -2760 -2516 -2788 -2796 2300 2756 2748 2732 -2604 2204 -2376 2692 -2696 -2280 2168 2712 2272 2740 -2172 -2680 2180 2496 -2444 -2140 -2720 2736 -2776 2232 -2744 2640 -2432 2244 2752 -2120 -2388 2780 2712 -2760 2724 -2740 2356 -2160 2396 2564 2760 -2788 2372 -2720 2708 2720 -2800 -2352 -2476 -2192 2716 -2160 2688 2404 2616 2688 2728 -2268 -2160 2772 -2460 2512 -2752 2788 -2440 2120 2188 -2144 -2800 -2592 2564 -2816 2740 -2776 -2304 2268 2768 -2532 2684 -2300 2816 -2640 -2588 -2120 2380 2516 -2248 2560 -2312 2548 -2588 -2668 2692 -2800 2700 2596 2556 -2564 2624 2792 -2776 2296 2280 -2796 2596 2308 2764 2432 2708 2748 -2444 2604 2416 -2776 2712 2548 2272 2552 -2800 2692 -2292 -2232 2592 2592 2308 2664 -2160 2188 2200 2688 2656 -2644 -2712 2160 -2660 -2768 2656 -2692 2188 -2632 2476 -2160 2128 2480 2744 2292 2688 -2620 2472 2272 2760 2592 -2616 2324 2352 -2160 2540 2680 -2568 2596 -2268 -2452 2640 2428 -2756 2672 2120 -2780 2756 2396 -2256 2520 2724 2776 -2524 -2756 -2276 -2564 -2300 2740 -2480 2740 2448 -2760 -2432 -2540 2692 2720 -2520 2804 2416 2756 2720 -2720 2728 -2816 2444 -2212 2752 2680 -2528 -2668 2632 -2456 2700 -2492 2564 -2784 -2624 -2712 2164 -2576 -2348 -2756 -2756 -2252 -2716 2540 -2272 -2776 -2376 -2612 2404 2444 -2600 -2536 2736 -2404 2664 -2612 -2388 2188 -2700 -2728 2340 2768 -2576 -2700 -2476 2256 2476 -2572 -2436 -2668 -2228 2576 -2644 2684 -2336 2784 2328 2560 -2304 -2196 -2676 -2352 2776 -2788 2652 -2348 2376 -2256 2776 -2624 -2128 -2500 2604 -2468 -2636 2160 -2596 -2800 2252 -2800 2352 2792 -2216 -2284 2724 2796 -2164 -2160 -2732 -2336 2748 -2800 -2380 -2380 -2120 2428 -2136 -2816 2796 -2292 2268 -2340 -2716 2152 -2552 -2800 2308 -2560 2668 2160 -2460 -2732 -2408 2512 2756 2752 2748 2724 2496 -2312 2664 -2388 2536 -2816 -2592 2704 2580 -2552 -2680 2756 -2524 2768 2268 -2236 -2604 -2216 2564 -2788 2160 2692 -2452 2440 -2764 2656 2744 2760 -2424 -2168 2684 -2524 2740 2160 -2760 -2536 -2804 2484 -2680 -2596 -2184 2276 -2816 2788 -2416 -2412 2748 -2736 -2560 2432 2636 2760 2788 -2300 2248 -2364 -2172 -2768 2120 -2628 -2264 2764 -2268 -2632 2120 2268 2728 2780 2592 -2308 2768 -2120 -2160 -2700 -2360 -2364 -2560 -2520 -2700 2804 2412 2752 2708 2172 -2584 2672 2776 2716 2732 -2668 -2776 -2772 2400 -2580 -2140 -2320 -2748 2716 2760 2724 -2120 2684 2752 -2768 -2472 -2180 -2756 -2312 -2740 -2444 -2816 -2516 -2252 -2736 -2496 -2344 2564 -2680 2720 -2188 2764 -2384 2548 2644 -2520 -2312 2640 -2256 2760 -2300 -2392 2368 -2588 -2640 2516 2800 -2740 2260 2696 2120 -2732 2760 2736 -2580 -2708 2124 -2344 -2176 -2708 2696 2704 -2420 2300 2436 2468 2184 -2164 -2196 2660 -2564 -2232 2140 2480 -2324 2272 2548 2440 2764 2812 -2376 -2804 2572 2488 -2212 2772 -2388 2700 2800 -2816 -2120 2600 2640 -2796 -2524 -2564 -2816 2652 2612 2396 -2296 -2308 -2740 2192 -2452 2696 -2492 2412 2756 -2628 2748 2188 -2476 -2656 -2252 -2396 2764 -2720 -2568 -2308 2708 -2804 -2672 2176 2660 2660 -2576 2572 2796 2372 -2776 2792 2776 2176 2572 -2592 2512 2136 -2120 2160 2808 -2760 2516 -2604 2320 2308 2460 -2416 -2428 2412 -2340 -2368 -2592 2544 2456 2604 -2512 -2792 2800 2560 2556 -2348 -2700 -2164 -2644 2728 2148 -2380 2500 2216 -2760 -2180 2692 -2348 2744 2712 2468 -2760 2452 2532 2732 2700 -2712 2412 -2656 2712 2764 -2388 2760 -2484 -2516 2512 2808 2448 -2732 2656 2120 -2472 -2672 2256 2720 -2672 -2668 -2520 -2564 -2320 -2708 -2452 -2388 2800 2760 -2404 -2660 -2744 -2564 -2120 -2792 2740 2132 2512 -2608 -2120 2636 2732 2652 -2132 2688 2324 -2796 -2780 2720 2612 2696 -2120 2704 -2384 2232 2564 2780 2680 -2552 2732 2636 2748 2296 2148 -2196 -2652 -2524 -2584 2748 -2516 -2420 -2620 -2792 -2660 -2632 2552 -2672 2200 -2732 -2720 2188 2488 -2168 2556 2508 -2476 -2764 -2668 -2660 -2740 -2204 -2120 2532 2124 2316 2676 2792 -2696 2348 2228 -2148 -2128 2744 2708 -2620 -2156 -2616 -2732 2432 2760 2208 2696 2752 -2472 -2784 2504 -2460 2712 2528 2608 2720 -2124 2748 -2472 2448 2372 -2772 -2616 -2644 2780 2316 2452 -2288 2472 -2616 2480 -2384 2636 2428 -2692 -2760 2704 2292 2732 -2392 -2792 2444 2608 2768 2632 -2664 -2776 2412 2232 -2764 2696 2380 2240 -2800 -2256 2760 -2796 2160 -2732 2652 2224 -2524 2760 -2720 -2672 2756 2636 -2132 -2576 2696 -2260 -2412 -2460 2724 -2680 2696 2764 2388 2800 -2160 -2416 2756 -2168 -2796 -2440 -2312 2600 2720 -2212 2256 -2776 2132 2236 2784 2772 -2536 2680 -2692 -2800 2764 -2216 2340 -2752 2752 2160 2608 -2148 2368 -2652 -2588 2664 -2456 2784 2488 -2512 -2428 2776 2428 2388 2160 2680 2148 2380 -2632 2620 2744 2472 2192 -2216 2736 2180 -2160 -2796 2776 -2572 -2616 -2524 -2160 2160 2576 2700 -2576 -2200 2800 -2576 -2416 2408 -2660 -2160 -2660 -2608 -2140 -2412 -2632 2492 2796 -2680 2348 2536 -2200 2572 2516 -2228 -2216 -2120 2524 -2800 -2692 -2420 2160 2332 -2284 2216 2628 -2256 2776 2596 2740 -2420 2640 2180 2728 -2724 -2340 -2404 2256 -2172 -2816 -2192 -2756 -2816 2172 -2676 -2312 2384 -2640 -2296 2800 2756 2752 -2420 -2792 -2720 -2160 -2704 2480 -2120 -2804 2748 -2736 2320 -2728 -2788 -2652 2752 -2692 -2420 -2664 2736 -2252 2640 -2436 2120 2712 2636 -2760 -2692 -2784 2656 2212 2452 -2256 2672 -2732 2620 2808 -2120 -2816 -2436 -2416 -2736 -2596 -2536 2160 -2184 2788 2736 -2160 -2152 2584 -2692 2512 -2120 2200 -2664 -2412 -2588 2816 -2580 2692 2760 2732 -2632 2132 -2156 2776 -2796 2360 -2552 2764 2756 2776 -2656 -2816 2756 -2160 -2212 2572 -2816 -2712 -2692 -2592 2720 -2292 -2120 2368 2692 -2804 -2376 -2696 -2348 2544 2232 -2692 -2524 2552 -2796 2752 -2252 2388 2748 
1056.08	s SATISFIABLE
1056.08	d NODES 1463

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/node59/watcher-207558-1168182291 -o ROOT/results/node59/solver-207558-1168182291 -C 1800 -M 900 /tmp/evaluation/207558-1168182291/cspfj.sh -solver Combo -competition /tmp/evaluation/207558-1168182291/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.00 2.02 2.01 5/74 21607
/proc/meminfo: memFree=827096/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 271 0 0 0 0 0 0 0 19 0 1 0 166627100 5480448 229 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 229 192 169 0 49 0
[pid=21606] ppid=21605 vsize=0 CPUtime=0
/proc/21606/stat : 21606 (dirname) R 21605 21605 20824 0 -1 4194308 128 0 0 0 0 0 0 0 20 0 1 0 166627100 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/21606/statm: 0 0 0 0 0 0 0

[startup+0.106439 s]
/proc/loadavg: 2.00 2.02 2.01 5/74 21607
/proc/meminfo: memFree=827096/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514484 s]
/proc/loadavg: 2.00 2.02 2.01 5/74 21607
/proc/meminfo: memFree=827096/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33758 s]
/proc/loadavg: 2.00 2.02 2.01 3/81 21615
/proc/meminfo: memFree=796576/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=865760 CPUtime=1.27
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 7348 0 1 0 122 5 0 0 24 0 8 0 166627101 886538240 7035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073628243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21608/statm: 216440 7035 1828 14 0 203702 0
[pid=21608/tid=21609] ppid=21605 vsize=865760 CPUtime=0.14
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 3174 0 0 0 14 0 0 0 16 0 8 0 166627105 886538240 7035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21610] ppid=21605 vsize=865760 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 886538240 7035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=865760 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166627106 886538240 7035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=865760 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 886538240 7035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=865760 CPUtime=0.23
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 523 0 0 0 22 1 0 0 15 0 8 0 166627110 886538240 7035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=865760 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 886538240 7035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=865760 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 886538240 7035 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 871112

[startup+3.00076 s]
/proc/loadavg: 2.00 2.02 2.01 3/81 21615
/proc/meminfo: memFree=770464/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=865844 CPUtime=2.93
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 12184 0 1 0 279 14 0 0 25 0 8 0 166627101 886624256 11839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155582244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21608/statm: 216461 11839 1828 14 0 203723 0
[pid=21608/tid=21609] ppid=21605 vsize=865844 CPUtime=0.4
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 7253 0 0 0 37 3 0 0 16 0 8 0 166627105 886624256 11839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21610] ppid=21605 vsize=865844 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 886624256 11839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=865844 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166627106 886624256 11839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=865844 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 886624256 11839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=865844 CPUtime=0.28
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 549 0 0 0 27 1 0 0 15 0 8 0 166627110 886624256 11839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=865844 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 886624256 11839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=865844 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 886624256 11839 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 871196

[startup+6.29812 s]
/proc/loadavg: 2.00 2.02 2.01 3/81 21615
/proc/meminfo: memFree=696992/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=865972 CPUtime=6.19
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 21045 0 1 0 593 26 0 0 25 0 8 0 166627101 886755328 20671 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073681671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21608/statm: 216493 20671 1828 14 0 203755 0
[pid=21608/tid=21609] ppid=21605 vsize=865972 CPUtime=0.75
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 14957 0 0 0 69 6 0 0 16 0 8 0 166627105 886755328 20671 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21610] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 886755328 20671 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166627106 886755328 20671 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 886755328 20671 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=865972 CPUtime=0.35
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 575 0 0 0 34 1 0 0 15 0 8 0 166627110 886755328 20671 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 886755328 20671 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 886755328 20671 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 871324

[startup+12.7198 s]
/proc/loadavg: 2.07 2.03 2.01 3/81 21615
/proc/meminfo: memFree=570912/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=865972 CPUtime=12.55
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 33478 0 1 0 1211 44 0 0 25 0 8 0 166627101 886755328 33082 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073729034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21608/statm: 216493 33082 1828 14 0 203755 0
[pid=21608/tid=21609] ppid=21605 vsize=865972 CPUtime=1.67
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 25833 0 0 0 157 10 0 0 16 0 8 0 166627105 886755328 33082 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21610] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 886755328 33082 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166627106 886755328 33082 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 886755328 33082 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=865972 CPUtime=0.35
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 575 0 0 0 34 1 0 0 15 0 8 0 166627110 886755328 33082 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 886755328 33082 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=865972 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 886755328 33082 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 871324

[startup+25.5952 s]
/proc/loadavg: 2.06 2.03 2.01 3/81 21653
/proc/meminfo: memFree=1288400/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=866484 CPUtime=25.34
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 53110 0 1 0 2461 73 0 0 25 0 8 0 166627101 887279616 52682 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154038064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21608/statm: 216621 52682 1828 14 0 203883 0
[pid=21608/tid=21609] ppid=21605 vsize=866484 CPUtime=2.54
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 42892 0 0 0 236 18 0 0 16 0 8 0 166627105 887279616 52682 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21610] ppid=21605 vsize=866484 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 887279616 52682 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=866484 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166627106 887279616 52682 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=866484 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 887279616 52682 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=866484 CPUtime=0.35
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 575 0 0 0 34 1 0 0 16 0 8 0 166627110 887279616 52682 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=866484 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 887279616 52682 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=866484 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 887279616 52682 18446744073709551615 134512640 134570532 4294956496 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) 871836

[startup+51.2551 s]
/proc/loadavg: 2.17 2.06 2.02 3/81 21653
/proc/meminfo: memFree=909080/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=867732 CPUtime=50.88
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 78247 0 1 0 4979 109 0 0 25 0 8 0 166627101 888557568 77700 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073854576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21608/statm: 216933 77700 1828 14 0 204195 0
[pid=21608/tid=21609] ppid=21605 vsize=867732 CPUtime=4.48
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 65608 0 0 0 421 27 0 0 16 0 8 0 166627105 888557568 77700 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21610] ppid=21605 vsize=867732 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 888557568 77700 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=867732 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166627106 888557568 77700 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=867732 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 888557568 77700 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=867732 CPUtime=0.35
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 575 0 0 0 34 1 0 0 16 0 8 0 166627110 888557568 77700 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=867732 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 888557568 77700 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=867732 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 888557568 77700 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 873084

[startup+102.558 s]
/proc/loadavg: 2.17 2.08 2.03 3/81 21653
/proc/meminfo: memFree=326040/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=870284 CPUtime=101.93

################
# More data... #
################

[pid=21608/tid=21610] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=883236 CPUtime=14.07
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 11670 0 0 0 1338 69 0 0 16 0 8 0 166627110 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 640.89
Current children cumulated vsize (KiB) 888588

[startup+703.196 s]
/proc/loadavg: 1.00 1.38 1.72 2/73 21894
/proc/meminfo: memFree=1091624/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=883236 CPUtime=700.91
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 122287 0 1 0 69875 216 0 0 25 0 8 0 166627101 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072925079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21608/statm: 220809 121366 1834 14 0 208071 0
[pid=21608/tid=21609] ppid=21605 vsize=883236 CPUtime=7.28
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 97627 0 0 0 689 39 0 0 16 0 8 0 166627105 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21610] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=883236 CPUtime=14.07
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 11670 0 0 0 1338 69 0 0 16 0 8 0 166627110 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 904433664 121366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 700.91
Current children cumulated vsize (KiB) 888588

[startup+763.247 s]
/proc/loadavg: 1.00 1.31 1.68 2/73 21894
/proc/meminfo: memFree=1080616/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=883236 CPUtime=760.94
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 125014 0 1 0 75877 217 0 0 25 0 8 0 166627101 904433664 124092 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072934607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21608/statm: 220809 124092 1834 14 0 208071 0
[pid=21608/tid=21609] ppid=21605 vsize=883236 CPUtime=7.39
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 100353 0 0 0 699 40 0 0 16 0 8 0 166627105 904433664 124092 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21610] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 124092 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 124092 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 904433664 124092 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=883236 CPUtime=14.07
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 11670 0 0 0 1338 69 0 0 16 0 8 0 166627110 904433664 124092 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 904433664 124092 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 904433664 124092 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 760.94
Current children cumulated vsize (KiB) 888588

[startup+823.301 s]
/proc/loadavg: 1.00 1.25 1.63 2/73 21894
/proc/meminfo: memFree=1066984/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=883236 CPUtime=820.94
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 128438 0 1 0 81876 218 0 0 25 0 8 0 166627101 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072941220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21608/statm: 220809 127515 1834 14 0 208071 0
[pid=21608/tid=21609] ppid=21605 vsize=883236 CPUtime=7.52
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 103776 0 0 0 711 41 0 0 16 0 8 0 166627105 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21608/tid=21610] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=883236 CPUtime=14.07
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 11670 0 0 0 1338 69 0 0 16 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 820.94
Current children cumulated vsize (KiB) 888588

[startup+883.36 s]
/proc/loadavg: 1.00 1.20 1.59 2/73 21896
/proc/meminfo: memFree=1066792/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=883236 CPUtime=880.97
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 128438 0 1 0 87878 219 0 0 25 0 8 0 166627101 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072941831 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21608/statm: 220809 127515 1834 14 0 208071 0
[pid=21608/tid=21609] ppid=21605 vsize=883236 CPUtime=7.52
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 103776 0 0 0 711 41 0 0 16 0 8 0 166627105 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21608/tid=21610] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=883236 CPUtime=14.07
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 11670 0 0 0 1338 69 0 0 16 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 880.97
Current children cumulated vsize (KiB) 888588

[startup+943.412 s]
/proc/loadavg: 1.00 1.16 1.55 2/73 21896
/proc/meminfo: memFree=1066792/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=883236 CPUtime=940.99
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 128438 0 1 0 93879 220 0 0 25 0 8 0 166627101 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072941220 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21608/statm: 220809 127515 1834 14 0 208071 0
[pid=21608/tid=21609] ppid=21605 vsize=883236 CPUtime=7.52
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 103776 0 0 0 711 41 0 0 16 0 8 0 166627105 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21608/tid=21610] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=883236 CPUtime=14.07
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 11670 0 0 0 1338 69 0 0 16 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 904433664 127515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 940.99
Current children cumulated vsize (KiB) 888588

[startup+1003.47 s]
/proc/loadavg: 1.00 1.13 1.51 2/73 21896
/proc/meminfo: memFree=1066792/2055920 swapFree=4192812/4192956
[pid=21605] ppid=21603 vsize=5352 CPUtime=0
/proc/21605/stat : 21605 (cspfj.sh) S 21603 21605 20824 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166627100 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21605/statm: 1338 240 201 169 0 49 0
[pid=21608] ppid=21605 vsize=883236 CPUtime=1001.01
/proc/21608/stat : 21608 (java) R 21605 21605 20824 0 -1 0 128442 0 1 0 99879 222 0 0 25 0 8 0 166627101 904433664 127519 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21608/statm: 220809 127519 1834 14 0 208071 0
[pid=21608/tid=21609] ppid=21605 vsize=883236 CPUtime=7.52
/proc/21608/task/21609/stat : 21609 (java) S 21605 21605 20824 0 -1 64 103776 0 0 0 711 41 0 0 16 0 8 0 166627105 904433664 127519 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21608/tid=21610] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21610/stat : 21610 (java) S 21605 21605 20824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 127519 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21611] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21611/stat : 21611 (java) S 21605 21605 20824 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166627106 904433664 127519 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21612] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21612/stat : 21612 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166627110 904433664 127519 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21613] ppid=21605 vsize=883236 CPUtime=14.07
/proc/21608/task/21613/stat : 21613 (java) S 21605 21605 20824 0 -1 64 11670 0 0 0 1338 69 0 0 16 0 8 0 166627110 904433664 127519 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21614] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21614/stat : 21614 (java) S 21605 21605 20824 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166627110 904433664 127519 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21608/tid=21615] ppid=21605 vsize=883236 CPUtime=0
/proc/21608/task/21615/stat : 21615 (java) S 21605 21605 20824 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166627110 904433664 127519 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.01
Current children cumulated vsize (KiB) 888588

Child status: 0
Real time (s): 1056.22
CPU time (s): 1053.7
CPU user time (s): 1051.35
CPU system time (s): 2.35064
CPU usage (%): 99.7613
Max. virtual memory (cumulated for all children) (KiB): 889516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1051.35
system time used= 2.35064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128921
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= 71430
involuntary context switches= 71093

runsolver used 1.18682 s user time and 2.97455 s system time

The end

Launcher Data (download as text)

Begin job on node59 on Sun Jan  7 15:04:52 UTC 2007


IDJOB= 207558
IDBENCH= 4298
FILE ID= node59/207558-1168182291

PBS_JOBID= 3479114

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-9.xml
COMMAND LINE= /tmp/evaluation/207558-1168182291/cspfj.sh -solver Combo -competition /tmp/evaluation/207558-1168182291/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-207558-1168182291 -o ROOT/results/node59/solver-207558-1168182291 -C 1800 -M 900  /tmp/evaluation/207558-1168182291/cspfj.sh -solver Combo -competition /tmp/evaluation/207558-1168182291/unknown.xml

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  d3dec74f6acf47deb39467d9536ae53f

RANDOM SEED= 81516532

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        829248 kB
Buffers:         29588 kB
Cached:         383784 kB
SwapCached:          0 kB
Active:         871824 kB
Inactive:       297680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        829248 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2736 kB
Writeback:           0 kB
Mapped:         767124 kB
Slab:            41212 kB
Committed_AS:  4021160 kB
PageTables:       3248 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66549 MiB



End job on node59 on Sun Jan  7 15:22:28 UTC 2007