Trace number 207463

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 1449.67 1456.8

DiagnosticValue
NODES1346

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-10.xml
MD5SUMc9bcb9dd70ccc4a9926bdf95ae516c0c
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 benchmark11.0113
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)

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

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/node25/watcher-207463-1168181845 -o ROOT/results/node25/solver-207463-1168181845 -C 1800 -M 900 /tmp/evaluation/207463-1168181845/cspfj.sh -competition /tmp/evaluation/207463-1168181845/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: 1.98 2.00 2.00 5/89 2116
/proc/meminfo: memFree=1334672/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 166576964 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781965906 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/2115/statm: 1338 228 191 169 0 49 0
[pid=2117] ppid=2115 vsize=2432 CPUtime=0
/proc/2117/stat : 2117 (dirname) R 2115 2115 1743 0 -1 4194304 63 0 0 0 0 0 0 0 22 0 1 0 166576965 2490368 37 18446744073709551615 4194304 4208292 548682069488 18446744073709551615 215779168096 0 0 4096 0 0 0 0 17 1 0 0
/proc/2117/statm: 608 37 27 3 0 9 0

[startup+0.105789 s]
/proc/loadavg: 1.98 2.00 2.00 5/89 2116
/proc/meminfo: memFree=1334672/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.513862 s]
/proc/loadavg: 1.98 2.00 2.00 5/89 2116
/proc/meminfo: memFree=1334672/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34259 s]
/proc/loadavg: 1.98 2.00 2.00 4/97 2125
/proc/meminfo: memFree=1315216/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=865772 CPUtime=1.31
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 7352 0 1 0 125 6 0 0 24 0 8 0 166576965 886550528 7039 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2118/statm: 216443 7039 1828 14 0 203705 0
[pid=2118/tid=2119] ppid=2115 vsize=865772 CPUtime=0.15
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 3170 0 0 0 14 1 0 0 16 0 8 0 166576969 886550528 7039 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2120] ppid=2115 vsize=865772 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 886550528 7039 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2121] ppid=2115 vsize=865772 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166576969 886550528 7039 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2122] ppid=2115 vsize=865772 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 886550528 7039 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=865772 CPUtime=0.24
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 527 0 0 0 23 1 0 0 15 0 8 0 166576972 886550528 7039 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=865772 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 886550528 7039 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=865772 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 886550528 7039 18446744073709551615 134512640 134570532 4294956528 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) 871124

[startup+3.00028 s]
/proc/loadavg: 1.98 2.00 2.00 3/97 2125
/proc/meminfo: memFree=1302352/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=865896 CPUtime=2.96
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 12243 0 1 0 283 13 0 0 25 0 8 0 166576965 886677504 11898 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073792855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2118/statm: 216474 11898 1828 14 0 203736 0
[pid=2118/tid=2119] ppid=2115 vsize=865896 CPUtime=0.39
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 7325 0 0 0 36 3 0 0 16 0 8 0 166576969 886677504 11898 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2120] ppid=2115 vsize=865896 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 886677504 11898 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2121] ppid=2115 vsize=865896 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166576969 886677504 11898 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2122] ppid=2115 vsize=865896 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 886677504 11898 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=865896 CPUtime=0.29
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 551 0 0 0 28 1 0 0 15 0 8 0 166576972 886677504 11898 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=865896 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 886677504 11898 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=865896 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 886677504 11898 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 871248

[startup+6.30184 s]
/proc/loadavg: 1.98 2.00 2.00 3/97 2125
/proc/meminfo: memFree=1265680/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=866004 CPUtime=6.24
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 21130 0 1 0 599 25 0 0 25 0 8 0 166576965 886788096 20756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4154163025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2118/statm: 216501 20756 1828 14 0 203763 0
[pid=2118/tid=2119] ppid=2115 vsize=866004 CPUtime=0.74
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 15051 0 0 0 69 5 0 0 16 0 8 0 166576969 886788096 20756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2120] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 886788096 20756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2121] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166576969 886788096 20756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2122] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 886788096 20756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=866004 CPUtime=0.35
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 578 0 0 0 34 1 0 0 15 0 8 0 166576972 886788096 20756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 886788096 20756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 886788096 20756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 871356

[startup+12.7109 s]
/proc/loadavg: 1.98 2.00 2.00 3/97 2125
/proc/meminfo: memFree=1208976/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=866004 CPUtime=12.61
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 33483 0 1 0 1219 42 0 0 25 0 8 0 166576965 886788096 33087 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073444188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2118/statm: 216501 33087 1828 14 0 203763 0
[pid=2118/tid=2119] ppid=2115 vsize=866004 CPUtime=1.66
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 25834 0 0 0 156 10 0 0 16 0 8 0 166576969 886788096 33087 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2120] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 886788096 33087 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2121] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166576969 886788096 33087 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2122] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 886788096 33087 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=866004 CPUtime=0.35
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 578 0 0 0 34 1 0 0 15 0 8 0 166576972 886788096 33087 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 886788096 33087 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=866004 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 886788096 33087 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 871356

[startup+25.5911 s]
/proc/loadavg: 1.98 2.00 2.00 3/97 2125
/proc/meminfo: memFree=1135440/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=866564 CPUtime=25.44
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 53095 0 1 0 2473 71 0 0 25 0 8 0 166576965 887361536 52671 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073729034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2118/statm: 216641 52671 1828 14 0 203903 0
[pid=2118/tid=2119] ppid=2115 vsize=866564 CPUtime=2.53
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 42910 0 0 0 236 17 0 0 16 0 8 0 166576969 887361536 52671 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2120] ppid=2115 vsize=866564 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 887361536 52671 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2121] ppid=2115 vsize=866564 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166576969 887361536 52671 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2122] ppid=2115 vsize=866564 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 887361536 52671 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=866564 CPUtime=0.35
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 578 0 0 0 34 1 0 0 15 0 8 0 166576972 887361536 52671 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=866564 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 887361536 52671 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=866564 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 887361536 52671 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 871916

[startup+51.2465 s]
/proc/loadavg: 2.11 2.03 2.01 3/97 2125
/proc/meminfo: memFree=1024720/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=867748 CPUtime=50.96
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 78150 0 1 0 4987 109 0 0 25 0 8 0 166576965 888573952 77699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073648844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2118/statm: 216937 77699 1828 14 0 204199 0
[pid=2118/tid=2119] ppid=2115 vsize=867748 CPUtime=4.47
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 65652 0 0 0 420 27 0 0 16 0 8 0 166576969 888573952 77699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2120] ppid=2115 vsize=867748 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 888573952 77699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2121] ppid=2115 vsize=867748 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166576969 888573952 77699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2122] ppid=2115 vsize=867748 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 888573952 77699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=867748 CPUtime=0.35
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 578 0 0 0 34 1 0 0 16 0 8 0 166576972 888573952 77699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=867748 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 888573952 77699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=867748 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 888573952 77699 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 873100

[startup+102.547 s]
/proc/loadavg: 2.10 2.04 2.01 3/97 2125
/proc/meminfo: memFree=981072/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=870212 CPUtime=102.01

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

[pid=2118/tid=2120] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=883248 CPUtime=14.13
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 11685 0 0 0 1352 61 0 0 15 0 8 0 166576972 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1058.36
Current children cumulated vsize (KiB) 888600

[startup+1123.39 s]
/proc/loadavg: 2.06 2.03 2.00 3/102 2456
/proc/meminfo: memFree=395416/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=883248 CPUtime=1118.11
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 126720 0 1 0 111595 216 0 0 25 0 8 0 166576965 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2118/statm: 220812 125894 1834 14 0 208074 0
[pid=2118/tid=2119] ppid=2115 vsize=883248 CPUtime=7.38
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 102197 0 0 0 695 43 0 0 16 0 8 0 166576969 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2120] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=883248 CPUtime=14.13
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 11685 0 0 0 1352 61 0 0 15 0 8 0 166576972 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1118.11
Current children cumulated vsize (KiB) 888600

[startup+1183.47 s]
/proc/loadavg: 2.16 2.07 2.01 3/102 2456
/proc/meminfo: memFree=377304/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=883248 CPUtime=1177.87
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 126720 0 1 0 117571 216 0 0 25 0 8 0 166576965 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2118/statm: 220812 125894 1834 14 0 208074 0
[pid=2118/tid=2119] ppid=2115 vsize=883248 CPUtime=7.38
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 102197 0 0 0 695 43 0 0 16 0 8 0 166576969 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2120] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=883248 CPUtime=14.13
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 11685 0 0 0 1352 61 0 0 15 0 8 0 166576972 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 904445952 125894 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1177.87
Current children cumulated vsize (KiB) 888600

[startup+1243.55 s]
/proc/loadavg: 2.06 2.05 2.01 3/102 2456
/proc/meminfo: memFree=356184/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=883248 CPUtime=1237.61
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 126721 0 1 0 123544 217 0 0 25 0 8 0 166576965 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072941229 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2118/statm: 220812 125895 1834 14 0 208074 0
[pid=2118/tid=2119] ppid=2115 vsize=883248 CPUtime=7.38
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 102197 0 0 0 695 43 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2120] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=883248 CPUtime=14.13
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 11685 0 0 0 1352 61 0 0 15 0 8 0 166576972 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1237.61
Current children cumulated vsize (KiB) 888600

[startup+1303.62 s]
/proc/loadavg: 2.02 2.04 2.00 3/102 2456
/proc/meminfo: memFree=339736/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=883248 CPUtime=1297.35
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 126721 0 1 0 129518 217 0 0 25 0 8 0 166576965 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2118/statm: 220812 125895 1834 14 0 208074 0
[pid=2118/tid=2119] ppid=2115 vsize=883248 CPUtime=7.38
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 102197 0 0 0 695 43 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2120] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=883248 CPUtime=14.13
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 11685 0 0 0 1352 61 0 0 15 0 8 0 166576972 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1297.35
Current children cumulated vsize (KiB) 888600

[startup+1363.69 s]
/proc/loadavg: 2.00 2.03 2.00 3/102 2458
/proc/meminfo: memFree=318616/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=883248 CPUtime=1357.09
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 126721 0 1 0 135492 217 0 0 25 0 8 0 166576965 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072926800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2118/statm: 220812 125895 1834 14 0 208074 0
[pid=2118/tid=2119] ppid=2115 vsize=883248 CPUtime=7.38
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 102197 0 0 0 695 43 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2120] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=883248 CPUtime=14.13
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 11685 0 0 0 1352 61 0 0 15 0 8 0 166576972 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 904445952 125895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1357.09
Current children cumulated vsize (KiB) 888600

[startup+1423.76 s]
/proc/loadavg: 2.05 2.04 2.00 3/102 2458
/proc/meminfo: memFree=301400/2055920 swapFree=4170848/4192956
[pid=2115] ppid=2113 vsize=5352 CPUtime=0
/proc/2115/stat : 2115 (cspfj.sh) S 2113 2115 1743 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166576964 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215781794628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2115/statm: 1338 240 201 169 0 49 0
[pid=2118] ppid=2115 vsize=883248 CPUtime=1416.82
/proc/2118/stat : 2118 (java) R 2115 2115 1743 0 -1 0 126728 0 1 0 141464 218 0 0 25 0 8 0 166576965 904445952 125902 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2118/statm: 220812 125902 1834 14 0 208074 0
[pid=2118/tid=2119] ppid=2115 vsize=883248 CPUtime=7.38
/proc/2118/task/2119/stat : 2119 (java) S 2115 2115 1743 0 -1 64 102197 0 0 0 695 43 0 0 16 0 8 0 166576969 904445952 125902 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2120] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2120/stat : 2120 (java) S 2115 2115 1743 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125902 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2121] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2121/stat : 2121 (java) S 2115 2115 1743 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166576969 904445952 125902 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2118/tid=2122] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2122/stat : 2122 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166576972 904445952 125902 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2123] ppid=2115 vsize=883248 CPUtime=14.13
/proc/2118/task/2123/stat : 2123 (java) S 2115 2115 1743 0 -1 64 11685 0 0 0 1352 61 0 0 15 0 8 0 166576972 904445952 125902 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2124] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2124/stat : 2124 (java) S 2115 2115 1743 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166576973 904445952 125902 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2118/tid=2125] ppid=2115 vsize=883248 CPUtime=0
/proc/2118/task/2125/stat : 2125 (java) S 2115 2115 1743 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166576973 904445952 125902 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1416.82
Current children cumulated vsize (KiB) 888600

Child status: 0
Real time (s): 1456.8
CPU time (s): 1449.67
CPU user time (s): 1447.4
CPU system time (s): 2.26965
CPU usage (%): 99.5103
Max. virtual memory (cumulated for all children) (KiB): 889528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1447.4
system time used= 2.26965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127202
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= 79769
involuntary context switches= 108053

runsolver used 1.69574 s user time and 4.79827 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sun Jan  7 14:57:26 UTC 2007


IDJOB= 207463
IDBENCH= 4292
FILE ID= node25/207463-1168181845

PBS_JOBID= 3479146

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  c9bcb9dd70ccc4a9926bdf95ae516c0c

RANDOM SEED= 171742666

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.279
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.279
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:       1335088 kB
Buffers:         50396 kB
Cached:         544136 kB
SwapCached:       2576 kB
Active:         153100 kB
Inactive:       490308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1335088 kB
SwapTotal:     4192956 kB
SwapFree:      4170848 kB
Dirty:            2728 kB
Writeback:           0 kB
Mapped:          58904 kB
Slab:            62176 kB
Committed_AS:  3439304 kB
PageTables:       2332 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= 66553 MiB



End job on node25 on Sun Jan  7 15:21:43 UTC 2007