Trace number 270674

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 2007-01-16SAT 795.526 803.095

DiagnosticValue
CHECKS195001129
NODES1434

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)

802.97	v -2816 2736 2460 2752 2148 2580 -2124 -2724 -2720 2772 2368 2720 -2388 -2660 2512 2268 -2308 2516 2452 2468 -2416 -2760 2652 -2316 -2712 -2552 2752 2536 2740 -2756 -2452 2700 2608 2364 -2456 2472 -2276 2204 2144 2776 -2812 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 2160 -2500 -2796 -2768 -2644 2636 2232 -2580 2816 -2632 2716 -2756 -2720 -2720 2640 2120 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 -2364 -2760 -2516 2712 2512 -2788 2756 2768 -2640 -2736 2588 -2276 -2364 2532 2396 -2492 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 -2772 -2436 -2672 -2784 -2128 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 2288 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 -2372 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 -2504 -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 2400 -2740 -2480 2608 -2748 2568 -2600 -2132 2536 2424 -2780 -2744 -2316 2676 -2632 2252 -2760 2376 -2612 -2432 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 2176 -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 2132 -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 -2456 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 -2412 2672 2772 2600 2348 -2680 -2792 -2644 2140 2784 2588 2632 -2572 2796 2408 2736 2712 2740 -2136 -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 2172 -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 -2716 2392 -2580 2712 2640 2704 -2708 -2476 2356 -2800 2676 2472 -2200 2776 2244 -2736 -2664 2160 2676 -2628 -2272 2496 -2808 2700 2672 -2716 -2580 -2212 2452 -2736 2424 -2428 -2472 2768 -2612 2632 2732 2372 -2764 -2220 -2416 -2756 2136 -2780 2756 2332 -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 2404 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 -2452 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 -2328 -2712 -2768 2680 -2752 2652 2472 2608 2668 2292 -2708 -2396 -2168 2712 2608 2772 2692 -2740 -2680 2272 -2464 2464 -2692 2716 -2548 -2716 -2184 -2784 2404 2440 2712 2568 -2564 2252 2232 -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 
802.97	s SATISFIABLE
802.97	c 281.37 s
802.97	d NODES 1434
802.97	d CHECKS 195001129

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/node19/watcher-270674-1169149295 -o ROOT/results/node19/solver-270674-1169149295 -C 1800 -M 900 /tmp/evaluation/270674-1169149295/cspfj.sh -competition /tmp/evaluation/270674-1169149295/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.07 1.52 1.20 5/95 20999
/proc/meminfo: memFree=1342544/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 271 0 0 0 0 0 0 0 19 0 1 0 263324179 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 229 192 169 0 49 0
[pid=20998] ppid=20997 vsize=0 CPUtime=0
/proc/20998/stat : 20998 (dirname) R 20997 20997 20466 0 -1 4194308 128 0 0 0 0 0 0 0 20 0 1 0 263324180 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/20998/statm: 0 0 0 0 0 0 0

[startup+0.113545 s]
/proc/loadavg: 2.07 1.52 1.20 5/95 20999
/proc/meminfo: memFree=1342544/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.521626 s]
/proc/loadavg: 2.07 1.52 1.20 5/95 20999
/proc/meminfo: memFree=1342544/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34578 s]
/proc/loadavg: 2.06 1.53 1.20 4/102 21007
/proc/meminfo: memFree=1313048/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=866232 CPUtime=1.3
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 7948 0 1 0 124 6 0 0 23 0 8 0 263324181 887021568 7636 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073881328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 216558 7636 1829 14 0 203819 0
[pid=21000/tid=21001] ppid=20997 vsize=866232 CPUtime=0.2
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 3645 0 0 0 19 1 0 0 16 0 8 0 263324184 887021568 7636 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=866232 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 887021568 7636 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=866232 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263324184 887021568 7636 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=866232 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 887021568 7636 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=866232 CPUtime=0.26
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 642 0 0 0 25 1 0 0 15 0 8 0 263324187 887021568 7636 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=866232 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 887021568 7636 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=866232 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 887021568 7636 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 871584

[startup+3.00009 s]
/proc/loadavg: 2.06 1.53 1.20 3/102 21007
/proc/meminfo: memFree=1279320/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=866360 CPUtime=2.94
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 15274 0 1 0 280 14 0 0 25 0 8 0 263324181 887152640 14933 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155211197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 216590 14933 1829 14 0 203851 0
[pid=21000/tid=21001] ppid=20997 vsize=866360 CPUtime=0.47
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 10233 0 0 0 43 4 0 0 16 0 8 0 263324184 887152640 14933 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=866360 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 887152640 14933 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=866360 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263324184 887152640 14933 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=866360 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 887152640 14933 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=866360 CPUtime=0.32
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 669 0 0 0 31 1 0 0 15 0 8 0 263324187 887152640 14933 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=866360 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 887152640 14933 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=866360 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 887152640 14933 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 871712

[startup+6.20069 s]
/proc/loadavg: 2.14 1.55 1.21 3/102 21007
/proc/meminfo: memFree=1204696/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=866540 CPUtime=6.11
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 27929 0 1 0 583 28 0 0 25 0 8 0 263324181 887336960 27568 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073822922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 216635 27568 1829 14 0 203896 0
[pid=21000/tid=21001] ppid=20997 vsize=866540 CPUtime=1.27
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 21327 0 0 0 118 9 0 0 16 0 8 0 263324184 887336960 27568 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=866540 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 887336960 27568 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=866540 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263324184 887336960 27568 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=866540 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 887336960 27568 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=866540 CPUtime=0.39
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 697 0 0 0 38 1 0 0 15 0 8 0 263324187 887336960 27568 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=866540 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 887336960 27568 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=866540 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 887336960 27568 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 871892

[startup+12.6059 s]
/proc/loadavg: 2.12 1.56 1.22 3/102 21007
/proc/meminfo: memFree=1048088/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=867564 CPUtime=12.45
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 50514 0 1 0 1194 51 0 0 25 0 8 0 263324181 888385536 50134 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073707052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 216891 50134 1829 14 0 204152 0
[pid=21000/tid=21001] ppid=20997 vsize=867564 CPUtime=2.24
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 41772 0 0 0 206 18 0 0 16 0 8 0 263324184 888385536 50134 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 888385536 50134 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263324184 888385536 50134 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 888385536 50134 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=867564 CPUtime=0.39
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 697 0 0 0 38 1 0 0 16 0 8 0 263324187 888385536 50134 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 888385536 50134 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 888385536 50134 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 872916

[startup+25.4983 s]
/proc/loadavg: 2.11 1.58 1.23 3/102 21007
/proc/meminfo: memFree=845400/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=867564 CPUtime=25.22
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 78599 0 1 0 2437 85 0 0 25 0 8 0 263324181 888385536 78206 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155092026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 216891 78206 1829 14 0 204152 0
[pid=21000/tid=21001] ppid=20997 vsize=867564 CPUtime=4.11
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 66990 0 0 0 381 30 0 0 16 0 8 0 263324184 888385536 78206 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 888385536 78206 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263324184 888385536 78206 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 888385536 78206 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=867564 CPUtime=0.39
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 697 0 0 0 38 1 0 0 16 0 8 0 263324187 888385536 78206 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 888385536 78206 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=867564 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 888385536 78206 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 872916

[startup+51.1702 s]
/proc/loadavg: 2.28 1.66 1.27 3/102 21007
/proc/meminfo: memFree=571736/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=868588 CPUtime=50.66
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 120853 0 1 0 4931 135 0 0 25 0 8 0 263324181 889434112 117321 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073881368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 217147 117321 1829 14 0 204408 0
[pid=21000/tid=21001] ppid=20997 vsize=868588 CPUtime=7.31
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 103524 0 0 0 687 44 0 0 16 0 8 0 263324184 889434112 117321 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=868588 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 889434112 117321 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=868588 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263324184 889434112 117321 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=868588 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 889434112 117321 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=868588 CPUtime=0.39
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 697 0 0 0 38 1 0 0 16 0 8 0 263324187 889434112 117321 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=868588 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 889434112 117321 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=868588 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 889434112 117321 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 873940

[startup+102.457 s]
/proc/loadavg: 2.16 1.73 1.31 3/102 21007
/proc/meminfo: memFree=471960/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=870168 CPUtime=101.46

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

[pid=21000/tid=21002] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 903319552 147918 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263324184 903319552 147918 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 903319552 147918 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=882148 CPUtime=14.41
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 11660 0 0 0 1370 71 0 0 15 0 8 0 263324187 903319552 147918 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 903319552 147918 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 903319552 147918 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.91
Current children cumulated vsize (KiB) 887500

[startup+462.831 s]
/proc/loadavg: 2.00 1.93 1.53 3/102 21007
/proc/meminfo: memFree=404824/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=882148 CPUtime=458.44
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 154399 0 1 0 45599 245 0 0 25 0 8 0 263324181 903319552 147930 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072917100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 220537 147930 1835 14 0 207798 0
[pid=21000/tid=21001] ppid=20997 vsize=882148 CPUtime=9.05
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 121962 0 0 0 854 51 0 0 16 0 8 0 263324184 903319552 147930 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 903319552 147930 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263324184 903319552 147930 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 903319552 147930 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=882148 CPUtime=14.41
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 11660 0 0 0 1370 71 0 0 15 0 8 0 263324187 903319552 147930 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 903319552 147930 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=882148 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 903319552 147930 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.44
Current children cumulated vsize (KiB) 887500

[startup+522.834 s]
/proc/loadavg: 2.07 1.95 1.56 3/102 21007
/proc/meminfo: memFree=374488/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=883308 CPUtime=517.89
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 158523 0 1 0 51542 247 0 0 25 0 8 0 263324181 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 220827 151673 1835 14 0 208088 0
[pid=21000/tid=21001] ppid=20997 vsize=883308 CPUtime=10.61
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 126066 0 0 0 1008 53 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=883308 CPUtime=14.41
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 11660 0 0 0 1370 71 0 0 15 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 517.89
Current children cumulated vsize (KiB) 888660

[startup+582.836 s]
/proc/loadavg: 2.08 1.97 1.59 3/102 21007
/proc/meminfo: memFree=374488/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=883308 CPUtime=577.35
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 158523 0 1 0 57487 248 0 0 25 0 8 0 263324181 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072933363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 220827 151673 1835 14 0 208088 0
[pid=21000/tid=21001] ppid=20997 vsize=883308 CPUtime=10.61
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 126066 0 0 0 1008 53 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=883308 CPUtime=14.41
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 11660 0 0 0 1370 71 0 0 15 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.35
Current children cumulated vsize (KiB) 888660

[startup+642.93 s]
/proc/loadavg: 2.03 1.97 1.61 3/102 21007
/proc/meminfo: memFree=374488/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=883308 CPUtime=636.88
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 158523 0 1 0 63440 248 0 0 25 0 8 0 263324181 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074233692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 220827 151673 1835 14 0 208088 0
[pid=21000/tid=21001] ppid=20997 vsize=883308 CPUtime=10.61
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 126066 0 0 0 1008 53 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=883308 CPUtime=14.41
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 11660 0 0 0 1370 71 0 0 15 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 636.88
Current children cumulated vsize (KiB) 888660

[startup+703.026 s]
/proc/loadavg: 2.01 1.97 1.63 3/102 21007
/proc/meminfo: memFree=374552/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=883308 CPUtime=696.43
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 158523 0 1 0 69394 249 0 0 25 0 8 0 263324181 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072925096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 220827 151673 1835 14 0 208088 0
[pid=21000/tid=21001] ppid=20997 vsize=883308 CPUtime=10.61
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 126066 0 0 0 1008 53 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=883308 CPUtime=14.41
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 11660 0 0 0 1370 71 0 0 15 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 904507392 151673 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 696.43
Current children cumulated vsize (KiB) 888660

[startup+763.121 s]
/proc/loadavg: 2.00 1.97 1.65 3/102 21007
/proc/meminfo: memFree=374552/2055920 swapFree=4171264/4192956
[pid=20997] ppid=20995 vsize=5352 CPUtime=0
/proc/20997/stat : 20997 (cspfj.sh) S 20995 20997 20466 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 263324179 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20997/statm: 1338 240 201 169 0 49 0
[pid=21000] ppid=20997 vsize=883308 CPUtime=755.97
/proc/21000/stat : 21000 (java) R 20997 20997 20466 0 -1 0 158524 0 1 0 75348 249 0 0 25 0 8 0 263324181 904507392 151674 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074227816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21000/statm: 220827 151674 1835 14 0 208088 0
[pid=21000/tid=21001] ppid=20997 vsize=883308 CPUtime=10.61
/proc/21000/task/21001/stat : 21001 (java) S 20997 20997 20466 0 -1 64 126066 0 0 0 1008 53 0 0 16 0 8 0 263324184 904507392 151674 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21002] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21002/stat : 21002 (java) S 20997 20997 20466 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151674 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21003] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21003/stat : 21003 (java) S 20997 20997 20466 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263324184 904507392 151674 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21004] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21004/stat : 21004 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 263324187 904507392 151674 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21005] ppid=20997 vsize=883308 CPUtime=14.41
/proc/21000/task/21005/stat : 21005 (java) S 20997 20997 20466 0 -1 64 11660 0 0 0 1370 71 0 0 15 0 8 0 263324187 904507392 151674 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21006] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21006/stat : 21006 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263324187 904507392 151674 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21000/tid=21007] ppid=20997 vsize=883308 CPUtime=0
/proc/21000/task/21007/stat : 21007 (java) S 20997 20997 20466 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263324187 904507392 151674 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 755.97
Current children cumulated vsize (KiB) 888660

Child status: 0
Real time (s): 803.095
CPU time (s): 795.526
CPU user time (s): 792.928
CPU system time (s): 2.5976
CPU usage (%): 99.0575
Max. virtual memory (cumulated for all children) (KiB): 889748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 792.928
system time used= 2.5976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159009
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= 66247
involuntary context switches= 81987

runsolver used 1.05884 s user time and 2.54661 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Thu Jan 18 19:41:35 UTC 2007


IDJOB= 270674
IDBENCH= 4296
IDSOLVER= 91
FILE ID= node19/270674-1169149295

PBS_JOBID= 3582596

Free space on /tmp= 66559 MiB

SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-8.xml
COMMAND LINE= /tmp/evaluation/270674-1169149295/cspfj.sh  -competition /tmp/evaluation/270674-1169149295/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-270674-1169149295 -o ROOT/results/node19/solver-270674-1169149295 -C 1800 -M 900  /tmp/evaluation/270674-1169149295/cspfj.sh  -competition /tmp/evaluation/270674-1169149295/unknown.xml

META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH=  a88130445cb0a25bd66e79fb321e4404

RANDOM SEED= 764885192

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.260
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.260
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:       1343224 kB
Buffers:         46952 kB
Cached:         323268 kB
SwapCached:      10172 kB
Active:         470840 kB
Inactive:       168660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1343224 kB
SwapTotal:     4192956 kB
SwapFree:      4171264 kB
Dirty:            5620 kB
Writeback:           0 kB
Mapped:         286156 kB
Slab:            57204 kB
Committed_AS:  7049464 kB
PageTables:       2900 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB



End job on node19 on Thu Jan 18 19:54:59 UTC 2007