Trace number 207527

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CSP4J - MAC 2006-12-19SAT 1119.85 1125.19

DiagnosticValue
NODES1400

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)

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

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/node10/watcher-207527-1168182147 -o ROOT/results/node10/solver-207527-1168182147 -C 1800 -M 900 /tmp/evaluation/207527-1168182147/cspfj.sh -competition /tmp/evaluation/207527-1168182147/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.13 2.16 2.05 5/93 4918
/proc/meminfo: memFree=1710144/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 271 0 0 0 0 0 0 0 19 0 1 0 166609830 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 229 192 169 0 49 0
[pid=4917] ppid=4916 vsize=0 CPUtime=0
/proc/4917/stat : 4917 (dirname) R 4916 4916 3876 0 -1 4194308 128 0 0 0 0 0 0 0 20 0 1 0 166609830 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/4917/statm: 0 0 0 0 0 0 0

[startup+0.106702 s]
/proc/loadavg: 2.13 2.16 2.05 5/93 4918
/proc/meminfo: memFree=1710144/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514759 s]
/proc/loadavg: 2.13 2.16 2.05 5/93 4918
/proc/meminfo: memFree=1710144/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34187 s]
/proc/loadavg: 2.13 2.16 2.05 3/100 4926
/proc/meminfo: memFree=1690952/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=865768 CPUtime=1.31
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 7353 0 1 0 126 5 0 0 25 0 8 0 166609831 886546432 7040 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4154158678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216442 7040 1828 14 0 203704 0
[pid=4919/tid=4920] ppid=4916 vsize=865768 CPUtime=0.15
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 3171 0 0 0 14 1 0 0 16 0 8 0 166609834 886546432 7040 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4921] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 886546432 7040 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166609835 886546432 7040 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 886546432 7040 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=865768 CPUtime=0.23
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 527 0 0 0 23 0 0 0 16 0 8 0 166609838 886546432 7040 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 886546432 7040 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 886546432 7040 18446744073709551615 134512640 134570532 4294956512 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) 871120

[startup+2.99936 s]
/proc/loadavg: 2.12 2.15 2.05 3/100 4928
/proc/meminfo: memFree=1678088/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=865768 CPUtime=2.95
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 12243 0 1 0 282 13 0 0 25 0 8 0 166609831 886546432 11898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216442 11898 1828 14 0 203704 0
[pid=4919/tid=4920] ppid=4916 vsize=865768 CPUtime=0.39
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 7331 0 0 0 36 3 0 0 16 0 8 0 166609834 886546432 11898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4921] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 886546432 11898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166609835 886546432 11898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 886546432 11898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=865768 CPUtime=0.28
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 551 0 0 0 28 0 0 0 15 0 8 0 166609838 886546432 11898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 886546432 11898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=865768 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) R 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 886546432 11898 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 871120

[startup+6.29754 s]
/proc/loadavg: 2.12 2.15 2.05 3/100 4930
/proc/meminfo: memFree=1641416/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=865996 CPUtime=6.23
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 21125 0 1 0 597 26 0 0 25 0 8 0 166609831 886779904 20751 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073854576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216499 20751 1828 14 0 203761 0
[pid=4919/tid=4920] ppid=4916 vsize=865996 CPUtime=0.76
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 15056 0 0 0 70 6 0 0 16 0 8 0 166609834 886779904 20751 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4921] ppid=4916 vsize=865996 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 886779904 20751 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4916 vsize=865996 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166609835 886779904 20751 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4916 vsize=865996 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 886779904 20751 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=865996 CPUtime=0.35
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 578 0 0 0 34 1 0 0 15 0 8 0 166609838 886779904 20751 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4916 vsize=865996 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 886779904 20751 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=865996 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 886779904 20751 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 871348

[startup+12.7994 s]
/proc/loadavg: 2.26 2.18 2.06 3/94 4950
/proc/meminfo: memFree=1585792/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=866132 CPUtime=12.68
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 33740 0 1 0 1224 44 0 0 25 0 8 0 166609831 886919168 33344 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155092028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216533 33344 1828 14 0 203795 0
[pid=4919/tid=4920] ppid=4916 vsize=866132 CPUtime=1.66
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 25842 0 0 0 156 10 0 0 16 0 8 0 166609834 886919168 33344 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4921] ppid=4916 vsize=866132 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 886919168 33344 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4916 vsize=866132 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166609835 886919168 33344 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4916 vsize=866132 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 886919168 33344 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=866132 CPUtime=0.35
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 578 0 0 0 34 1 0 0 15 0 8 0 166609838 886919168 33344 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4916 vsize=866132 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 886919168 33344 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=866132 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 886919168 33344 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 871484

[startup+25.6752 s]
/proc/loadavg: 2.22 2.17 2.06 3/94 4950
/proc/meminfo: memFree=1512392/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=866452 CPUtime=25.49
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 53076 0 1 0 2477 72 0 0 25 0 8 0 166609831 887246848 52652 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4154502080 0 2147221247 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216613 52652 1828 14 0 203875 0
[pid=4919/tid=4920] ppid=4916 vsize=866452 CPUtime=2.53
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 42885 0 0 0 237 16 0 0 16 0 8 0 166609834 887246848 52652 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4921] ppid=4916 vsize=866452 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 887246848 52652 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4916 vsize=866452 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166609835 887246848 52652 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4916 vsize=866452 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 887246848 52652 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=866452 CPUtime=0.35
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 578 0 0 0 34 1 0 0 16 0 8 0 166609838 887246848 52652 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4916 vsize=866452 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 887246848 52652 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=866452 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 887246848 52652 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 871804

[startup+51.3467 s]
/proc/loadavg: 2.22 2.17 2.07 3/94 4950
/proc/meminfo: memFree=1407240/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=867508 CPUtime=51.04
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 78516 0 1 0 4993 111 0 0 25 0 8 0 166609831 888328192 77670 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155211197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4919/statm: 216877 77670 1828 14 0 204139 0
[pid=4919/tid=4920] ppid=4916 vsize=867508 CPUtime=4.46
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 65587 0 0 0 420 26 0 0 16 0 8 0 166609834 888328192 77670 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4921] ppid=4916 vsize=867508 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 888328192 77670 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4922] ppid=4916 vsize=867508 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166609835 888328192 77670 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4923] ppid=4916 vsize=867508 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 888328192 77670 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=867508 CPUtime=0.35
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 578 0 0 0 34 1 0 0 16 0 8 0 166609838 888328192 77670 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4925] ppid=4916 vsize=867508 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 888328192 77670 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=867508 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 888328192 77670 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 872860

[startup+102.548 s]
/proc/loadavg: 2.15 2.16 2.07 3/94 4950
/proc/meminfo: memFree=1363464/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=870332 CPUtime=101.98

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

[pid=4919/tid=4921] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4922] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4923] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=883228 CPUtime=13.63
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 11743 0 0 0 1301 62 0 0 15 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4925] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 758.96
Current children cumulated vsize (KiB) 888580

[startup+822.608 s]
/proc/loadavg: 2.01 2.04 2.03 3/95 5047
/proc/meminfo: memFree=1185800/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=883228 CPUtime=818.67
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 125447 0 1 0 81654 213 0 0 25 0 8 0 166609831 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4919/statm: 220807 123745 1834 14 0 208069 0
[pid=4919/tid=4920] ppid=4916 vsize=883228 CPUtime=7.29
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 99956 0 0 0 689 40 0 0 16 0 8 0 166609834 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4921] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4922] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4923] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=883228 CPUtime=13.63
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 11743 0 0 0 1301 62 0 0 15 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4925] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 818.67
Current children cumulated vsize (KiB) 888580

[startup+882.612 s]
/proc/loadavg: 2.00 2.03 2.03 3/95 5047
/proc/meminfo: memFree=1185800/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=883228 CPUtime=878.4
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 125447 0 1 0 87627 213 0 0 25 0 8 0 166609831 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072896998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4919/statm: 220807 123745 1834 14 0 208069 0
[pid=4919/tid=4920] ppid=4916 vsize=883228 CPUtime=7.29
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 99956 0 0 0 689 40 0 0 16 0 8 0 166609834 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4921] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4922] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4923] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=883228 CPUtime=13.63
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 11743 0 0 0 1301 62 0 0 15 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4925] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 878.4
Current children cumulated vsize (KiB) 888580

[startup+942.612 s]
/proc/loadavg: 2.00 2.02 2.02 3/95 5047
/proc/meminfo: memFree=1185736/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=883228 CPUtime=938.14
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 125447 0 1 0 93601 213 0 0 25 0 8 0 166609831 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072927045 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4919/statm: 220807 123745 1834 14 0 208069 0
[pid=4919/tid=4920] ppid=4916 vsize=883228 CPUtime=7.29
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 99956 0 0 0 689 40 0 0 16 0 8 0 166609834 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4921] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4922] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4923] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=883228 CPUtime=13.63
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 11743 0 0 0 1301 62 0 0 15 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4925] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 904425472 123745 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 938.14
Current children cumulated vsize (KiB) 888580

[startup+1002.61 s]
/proc/loadavg: 2.00 2.02 2.02 3/95 5047
/proc/meminfo: memFree=1185672/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=883228 CPUtime=997.85
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 125448 0 1 0 99572 213 0 0 25 0 8 0 166609831 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072926834 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4919/statm: 220807 123746 1834 14 0 208069 0
[pid=4919/tid=4920] ppid=4916 vsize=883228 CPUtime=7.29
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 99956 0 0 0 689 40 0 0 16 0 8 0 166609834 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4921] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4922] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4923] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=883228 CPUtime=13.63
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 11743 0 0 0 1301 62 0 0 15 0 8 0 166609838 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4925] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 997.85
Current children cumulated vsize (KiB) 888580

[startup+1062.61 s]
/proc/loadavg: 2.00 2.01 2.01 3/96 5050
/proc/meminfo: memFree=1185216/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=883228 CPUtime=1057.57
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 125448 0 1 0 105544 213 0 0 25 0 8 0 166609831 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072926795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4919/statm: 220807 123746 1834 14 0 208069 0
[pid=4919/tid=4920] ppid=4916 vsize=883228 CPUtime=7.29
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 99956 0 0 0 689 40 0 0 16 0 8 0 166609834 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4921] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4922] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4923] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=883228 CPUtime=13.63
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 11743 0 0 0 1301 62 0 0 15 0 8 0 166609838 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4925] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 904425472 123746 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1057.57
Current children cumulated vsize (KiB) 888580

[startup+1122.61 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 5050
/proc/meminfo: memFree=1173952/2055920 swapFree=4178216/4192956
[pid=4916] ppid=4914 vsize=5352 CPUtime=0
/proc/4916/stat : 4916 (cspfj.sh) S 4914 4916 3876 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 166609830 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4916/statm: 1338 240 201 169 0 49 0
[pid=4919] ppid=4916 vsize=883228 CPUtime=1117.3
/proc/4919/stat : 4919 (java) R 4916 4916 3876 0 -1 0 128279 0 1 0 111514 216 0 0 25 0 8 0 166609831 904425472 126576 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072916973 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4919/statm: 220807 126576 1834 14 0 208069 0
[pid=4919/tid=4920] ppid=4916 vsize=883228 CPUtime=7.41
/proc/4919/task/4920/stat : 4920 (java) S 4916 4916 3876 0 -1 64 102782 0 0 0 698 43 0 0 16 0 8 0 166609834 904425472 126576 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4921] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4921/stat : 4921 (java) S 4916 4916 3876 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 126576 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4922] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4922/stat : 4922 (java) S 4916 4916 3876 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166609835 904425472 126576 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4923] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4923/stat : 4923 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166609838 904425472 126576 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4924] ppid=4916 vsize=883228 CPUtime=13.63
/proc/4919/task/4924/stat : 4924 (java) S 4916 4916 3876 0 -1 64 11743 0 0 0 1301 62 0 0 15 0 8 0 166609838 904425472 126576 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4919/tid=4925] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4925/stat : 4925 (java) S 4916 4916 3876 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166609838 904425472 126576 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4919/tid=4926] ppid=4916 vsize=883228 CPUtime=0
/proc/4919/task/4926/stat : 4926 (java) S 4916 4916 3876 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166609838 904425472 126576 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1117.3
Current children cumulated vsize (KiB) 888580

Child status: 0
Real time (s): 1125.19
CPU time (s): 1119.85
CPU user time (s): 1117.61
CPU system time (s): 2.24166
CPU usage (%): 99.5253
Max. virtual memory (cumulated for all children) (KiB): 890308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1117.61
system time used= 2.24166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128756
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= 72537
involuntary context switches= 105667

runsolver used 1.43678 s user time and 3.57546 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sun Jan  7 15:02:27 UTC 2007


IDJOB= 207527
IDBENCH= 4296
FILE ID= node10/207527-1168182147

PBS_JOBID= 3478894

Free space on /tmp= 66369 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  a88130445cb0a25bd66e79fb321e4404

RANDOM SEED= 613423762

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.232
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.232
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:       1710760 kB
Buffers:         26328 kB
Cached:         188188 kB
SwapCached:       2064 kB
Active:         149936 kB
Inactive:       131676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1710760 kB
SwapTotal:     4192956 kB
SwapFree:      4178216 kB
Dirty:            8344 kB
Writeback:           0 kB
Mapped:          80560 kB
Slab:            47968 kB
Committed_AS:  4189648 kB
PageTables:       2532 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= 66369 MiB



End job on node10 on Sun Jan  7 15:21:13 UTC 2007