Trace number 207526

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 956.376 958.403

DiagnosticValue
NODES1574

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-8.xml
MD5SUMa88130445cb0a25bd66e79fb321e4404
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 benchmark18.3002
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)

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

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/node30/watcher-207526-1168182143 -o ROOT/results/node30/solver-207526-1168182143 -C 1800 -M 900 /tmp/evaluation/207526-1168182143/cspfj.sh -solver Combo -competition /tmp/evaluation/207526-1168182143/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.84 1.23 1.63 5/96 2517
/proc/meminfo: memFree=1684904/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 166608236 5480448 228 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907751506 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/2515/statm: 1338 228 191 169 0 49 0
[pid=2516] ppid=2515 vsize=5352 CPUtime=0
/proc/2516/stat : 2516 (cspfj.sh) R 2515 2515 2387 0 -1 4194368 21 0 0 0 0 0 0 0 20 0 1 0 166608237 5480448 232 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 4457765 0 0 4096 65538 0 0 0 17 1 0 0
/proc/2516/statm: 1338 232 194 169 0 49 0

[startup+0.106575 s]
/proc/loadavg: 0.84 1.23 1.63 5/96 2517
/proc/meminfo: memFree=1684904/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514605 s]
/proc/loadavg: 0.84 1.23 1.63 5/96 2517
/proc/meminfo: memFree=1684904/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33968 s]
/proc/loadavg: 0.84 1.23 1.63 4/107 2529
/proc/meminfo: memFree=1597520/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=865760 CPUtime=1.31
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 7349 0 1 0 124 7 0 0 24 0 8 0 166608237 886538240 7036 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2518/statm: 216440 7036 1828 14 0 203702 0
[pid=2518/tid=2523] ppid=2515 vsize=865760 CPUtime=0.15
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 3175 0 0 0 13 2 0 0 16 0 8 0 166608241 886538240 7036 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2524] ppid=2515 vsize=865760 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 886538240 7036 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=865760 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166608241 886538240 7036 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=865760 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 886538240 7036 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=865760 CPUtime=0.25
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 525 0 0 0 24 1 0 0 15 0 8 0 166608244 886538240 7036 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=865760 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 886538240 7036 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=865760 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 886538240 7036 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 871112

[startup+3.00076 s]
/proc/loadavg: 0.84 1.23 1.63 3/107 2529
/proc/meminfo: memFree=1582096/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=865844 CPUtime=2.96
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 12181 0 1 0 282 14 0 0 25 0 8 0 166608237 886624256 11836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073461643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2518/statm: 216461 11836 1828 14 0 203723 0
[pid=2518/tid=2523] ppid=2515 vsize=865844 CPUtime=0.39
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 7254 0 0 0 36 3 0 0 16 0 8 0 166608241 886624256 11836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2524] ppid=2515 vsize=865844 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 886624256 11836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=865844 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166608241 886624256 11836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=865844 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 886624256 11836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=865844 CPUtime=0.3
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 550 0 0 0 29 1 0 0 15 0 8 0 166608244 886624256 11836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=865844 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 886624256 11836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=865844 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 886624256 11836 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 871196

[startup+6.28697 s]
/proc/loadavg: 0.93 1.24 1.63 3/107 2533
/proc/meminfo: memFree=1545552/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=866048 CPUtime=6.22
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 21041 0 1 0 597 25 0 0 25 0 8 0 166608237 886833152 20667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155092001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2518/statm: 216512 20667 1828 14 0 203774 0
[pid=2518/tid=2523] ppid=2515 vsize=866048 CPUtime=0.76
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 14957 0 0 0 70 6 0 0 16 0 8 0 166608241 886833152 20667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2524] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 886833152 20667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166608241 886833152 20667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 886833152 20667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=866048 CPUtime=0.37
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 576 0 0 0 35 2 0 0 15 0 8 0 166608244 886833152 20667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 886833152 20667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 886833152 20667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 871400

[startup+12.7144 s]
/proc/loadavg: 1.02 1.26 1.63 3/101 2555
/proc/meminfo: memFree=1489608/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=866048 CPUtime=12.6
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 33493 0 1 0 1217 43 0 0 25 0 8 0 166608237 886833152 33097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073854576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2518/statm: 216512 33097 1828 14 0 203774 0
[pid=2518/tid=2523] ppid=2515 vsize=866048 CPUtime=1.68
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 25834 0 0 0 158 10 0 0 16 0 8 0 166608241 886833152 33097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2524] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 886833152 33097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166608241 886833152 33097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 886833152 33097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=866048 CPUtime=0.37
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 576 0 0 0 35 2 0 0 15 0 8 0 166608244 886833152 33097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 886833152 33097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=866048 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 886833152 33097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 871400

[startup+25.5982 s]
/proc/loadavg: 1.24 1.29 1.64 3/101 2555
/proc/meminfo: memFree=1409488/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=866592 CPUtime=25.43
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 53109 0 1 0 2471 72 0 0 25 0 8 0 166608237 887390208 52685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073854640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2518/statm: 216648 52685 1828 14 0 203910 0
[pid=2518/tid=2523] ppid=2515 vsize=866592 CPUtime=2.55
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 42918 0 0 0 238 17 0 0 16 0 8 0 166608241 887390208 52685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2524] ppid=2515 vsize=866592 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 887390208 52685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=866592 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166608241 887390208 52685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=866592 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 887390208 52685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=866592 CPUtime=0.37
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 576 0 0 0 35 2 0 0 16 0 8 0 166608244 887390208 52685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=866592 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 887390208 52685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=866592 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 887390208 52685 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 871944

[startup+51.2738 s]
/proc/loadavg: 1.50 1.35 1.64 3/101 2555
/proc/meminfo: memFree=1287120/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=867772 CPUtime=50.96
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 78162 0 1 0 4990 106 0 0 25 0 8 0 166608237 888598528 77698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073648844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2518/statm: 216943 77698 1828 14 0 204205 0
[pid=2518/tid=2523] ppid=2515 vsize=867772 CPUtime=4.49
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 65631 0 0 0 425 24 0 0 16 0 8 0 166608241 888598528 77698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2524] ppid=2515 vsize=867772 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 888598528 77698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=867772 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166608241 888598528 77698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=867772 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 888598528 77698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=867772 CPUtime=0.37
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 576 0 0 0 35 2 0 0 16 0 8 0 166608244 888598528 77698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=867772 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 888598528 77698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=867772 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 888598528 77698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 873124

[startup+102.576 s]
/proc/loadavg: 1.87 1.48 1.67 3/101 2555
/proc/meminfo: memFree=1218128/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=870328 CPUtime=102.02

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

[pid=2518/tid=2524] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 117750 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 117750 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 904425472 117750 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=883228 CPUtime=14.38
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 11667 0 0 0 1373 65 0 0 15 0 8 0 166608244 904425472 117750 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 904425472 117750 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 904425472 117750 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 581.24
Current children cumulated vsize (KiB) 888580

[startup+643.212 s]
/proc/loadavg: 1.02 1.38 1.59 2/86 3114
/proc/meminfo: memFree=1221976/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=883228 CPUtime=641.28
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 121729 0 1 0 63914 214 0 0 25 0 8 0 166608237 904425472 120891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2518/statm: 220807 120891 1833 14 0 208069 0
[pid=2518/tid=2523] ppid=2515 vsize=883228 CPUtime=7.24
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 97189 0 0 0 686 38 0 0 16 0 8 0 166608241 904425472 120891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 120891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 120891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 904425472 120891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=883228 CPUtime=14.38
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 11667 0 0 0 1373 65 0 0 15 0 8 0 166608244 904425472 120891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 904425472 120891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 904425472 120891 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.28
Current children cumulated vsize (KiB) 888580

[startup+703.271 s]
/proc/loadavg: 1.05 1.32 1.55 2/86 3114
/proc/meminfo: memFree=1209880/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=883228 CPUtime=701.31
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 124750 0 1 0 69916 215 0 0 25 0 8 0 166608237 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2518/statm: 220807 123911 1833 14 0 208069 0
[pid=2518/tid=2523] ppid=2515 vsize=883228 CPUtime=7.35
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 100209 0 0 0 696 39 0 0 16 0 8 0 166608241 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=883228 CPUtime=14.38
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 11667 0 0 0 1373 65 0 0 15 0 8 0 166608244 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.31
Current children cumulated vsize (KiB) 888580

[startup+763.33 s]
/proc/loadavg: 1.02 1.26 1.52 2/86 3114
/proc/meminfo: memFree=1209816/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=883228 CPUtime=761.36
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 124750 0 1 0 75921 215 0 0 25 0 8 0 166608237 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072933363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2518/statm: 220807 123911 1833 14 0 208069 0
[pid=2518/tid=2523] ppid=2515 vsize=883228 CPUtime=7.35
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 100209 0 0 0 696 39 0 0 16 0 8 0 166608241 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=883228 CPUtime=14.38
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 11667 0 0 0 1373 65 0 0 15 0 8 0 166608244 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 904425472 123911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.36
Current children cumulated vsize (KiB) 888580

[startup+823.393 s]
/proc/loadavg: 1.00 1.22 1.48 2/86 3114
/proc/meminfo: memFree=1198616/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=883228 CPUtime=821.4
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 127554 0 1 0 81923 217 0 0 25 0 8 0 166608237 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072941831 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2518/statm: 220807 126714 1833 14 0 208069 0
[pid=2518/tid=2523] ppid=2515 vsize=883228 CPUtime=7.46
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 103012 0 0 0 706 40 0 0 16 0 8 0 166608241 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=883228 CPUtime=14.38
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 11667 0 0 0 1373 65 0 0 15 0 8 0 166608244 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.4
Current children cumulated vsize (KiB) 888580

[startup+883.444 s]
/proc/loadavg: 1.03 1.19 1.45 2/86 3114
/proc/meminfo: memFree=1198552/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=883228 CPUtime=881.43
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 127554 0 1 0 87924 219 0 0 25 0 8 0 166608237 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072919942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2518/statm: 220807 126714 1833 14 0 208069 0
[pid=2518/tid=2523] ppid=2515 vsize=883228 CPUtime=7.46
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 103012 0 0 0 706 40 0 0 16 0 8 0 166608241 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=883228 CPUtime=14.38
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 11667 0 0 0 1373 65 0 0 15 0 8 0 166608244 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 904425472 126714 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 881.43
Current children cumulated vsize (KiB) 888580

[startup+943.497 s]
/proc/loadavg: 1.01 1.15 1.42 2/86 3116
/proc/meminfo: memFree=1198168/2055920 swapFree=4191880/4192956
[pid=2515] ppid=2510 vsize=5352 CPUtime=0
/proc/2515/stat : 2515 (cspfj.sh) S 2510 2515 2387 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 166608236 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2515/statm: 1338 240 201 169 0 49 0
[pid=2518] ppid=2515 vsize=883228 CPUtime=941.47
/proc/2518/stat : 2518 (java) R 2515 2515 2387 0 -1 0 127558 0 1 0 93924 223 0 0 25 0 8 0 166608237 904425472 126718 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2518/statm: 220807 126718 1833 14 0 208069 0
[pid=2518/tid=2523] ppid=2515 vsize=883228 CPUtime=7.46
/proc/2518/task/2523/stat : 2523 (java) S 2515 2515 2387 0 -1 64 103012 0 0 0 706 40 0 0 16 0 8 0 166608241 904425472 126718 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2518/tid=2524] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2524/stat : 2524 (java) S 2515 2515 2387 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 126718 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2525] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2525/stat : 2525 (java) S 2515 2515 2387 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166608241 904425472 126718 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2526] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2526/stat : 2526 (java) S 2515 2515 2387 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166608244 904425472 126718 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2527] ppid=2515 vsize=883228 CPUtime=14.38
/proc/2518/task/2527/stat : 2527 (java) S 2515 2515 2387 0 -1 64 11667 0 0 0 1373 65 0 0 15 0 8 0 166608244 904425472 126718 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2528] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2528/stat : 2528 (java) S 2515 2515 2387 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166608244 904425472 126718 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2518/tid=2529] ppid=2515 vsize=883228 CPUtime=0
/proc/2518/task/2529/stat : 2529 (java) S 2515 2515 2387 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608244 904425472 126718 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.47
Current children cumulated vsize (KiB) 888580

Child status: 0
Real time (s): 958.403
CPU time (s): 956.376
CPU user time (s): 954.016
CPU system time (s): 2.35964
CPU usage (%): 99.7885
Max. virtual memory (cumulated for all children) (KiB): 889988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 954.016
system time used= 2.35964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128038
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= 69609
involuntary context switches= 80839

runsolver used 1.09383 s user time and 2.74558 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sun Jan  7 15:02:23 UTC 2007


IDJOB= 207526
IDBENCH= 4296
FILE ID= node30/207526-1168182143

PBS_JOBID= 3479173

Free space on /tmp= 66484 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  a88130445cb0a25bd66e79fb321e4404

RANDOM SEED= 547756248

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.234
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.234
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:       1689192 kB
Buffers:         37488 kB
Cached:         201672 kB
SwapCached:        268 kB
Active:         154364 kB
Inactive:       142752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1689192 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            6916 kB
Writeback:           0 kB
Mapped:          77976 kB
Slab:            54240 kB
Committed_AS:  3560448 kB
PageTables:       2420 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= 66488 MiB



End job on node30 on Sun Jan  7 15:18:22 UTC 2007