Trace number 201391

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 520.322 522.933

DiagnosticValue
NODES2185

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-9.xml
MD5SUMf4de69641c2d3c9c2d0fb9081c06c18a
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.4013
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Solver Data (download as text)

522.81	v -2152 2656 -2152 2176 2288 2724 2072 -2412 2628 2400 -2068 2740 -2036 2436 -2660 2640 -2312 2660 2524 -2588 -2060 2020 2160 2400 2480 -2504 2472 -2572 2672 2684 -2036 -2736 2508 2360 -2740 2228 -2128 2124 -2332 2468 2576 -2484 -2188 -2588 2140 -2436 2144 2176 -2092 -2452 -2360 -2464 2108 -2152 2548 -2676 -2724 -2308 -2740 -2140 -2660 -2664 -2052 -2556 2252 -2248 2112 2472 -2688 -2112 2308 2060 2496 -2728 2524 -2428 2440 -2448 2608 2332 2588 -2040 -2488 2276 -2060 -2388 2176 2476 -2252 2708 2280 -2648 2468 -2124 2088 -2512 -2164 2368 2548 2028 -2088 2432 2488 2340 -2740 -2576 -2656 2568 -2684 2328 -2624 2512 -2488 -2580 2464 -2088 -2060 -2316 -2584 2200 2280 -2648 -2104 2616 -2104 -2072 -2620 -2704 -2652 -2452 2540 2696 -2108 2332 -2044 2136 -2364 2684 2612 2464 2560 -2108 -2340 2048 -2296 2140 2504 -2668 -2668 2412 2468 -2324 -2128 -2596 2092 -2528 -2140 -2732 -2160 -2328 2560 -2556 2564 -2412 2396 2180 2216 2252 -2496 -2680 2472 2672 -2352 -2192 2684 2560 2304 2096 2568 2700 -2728 -2624 2332 2332 2464 2252 2540 -2396 -2564 -2124 2136 2468 2088 2060 2356 2304 2240 -2136 2148 -2612 2556 -2336 -2192 2704 2220 2524 2632 -2188 -2716 2044 -2656 -2464 2088 -2580 2660 2472 2392 -2600 2076 -2520 -2148 -2100 2072 2464 -2664 2688 -2476 2440 2412 2336 -2612 2700 2640 -2408 -2536 2484 2312 2052 -2228 2352 2532 2280 2120 2700 -2596 2564 2604 -2504 -2024 2120 2564 -2088 2136 -2612 -2032 2252 -2280 2052 -2452 2704 2060 -2368 2152 2348 -2740 2112 2412 -2416 -2252 2032 2564 2304 2684 2608 -2108 2092 -2588 2320 -2196 -2652 2196 2548 2296 2108 -2572 -2628 2200 2712 2700 2148 2716 2736 2316 -2240 -2236 2292 2704 -2420 -2412 2260 2332 2228 2248 2604 2640 -2372 -2712 2524 2324 -2348 2500 2140 -2400 2300 2396 2568 2128 2196 2072 -2020 2420 -2592 -2676 2140 -2128 -2392 -2544 2600 2396 2616 -2556 2144 2032 -2400 2084 2080 2280 -2444 -2344 2372 2304 -2080 -2084 2584 -2208 -2572 -2340 -2684 2616 -2408 -2720 -2044 -2060 -2536 2100 2588 -2432 -2320 2396 -2476 2564 2356 2180 -2148 -2436 2520 2068 -2052 -2504 -2464 -2652 -2332 2092 -2404 -2692 -2612 -2680 -2548 -2396 2112 2084 -2220 2724 2080 -2144 -2240 -2224 -2576 2236 2272 2072 -2584 2496 2044 -2312 2272 2108 -2700 -2372 -2196 -2572 2476 -2304 -2436 -2184 -2608 2420 -2400 2400 -2696 -2276 2616 -2700 2520 2724 -2168 -2516 -2072 -2700 -2612 2544 -2188 -2576 -2544 2432 -2372 -2356 2184 2020 -2292 -2320 -2644 2220 2512 2376 2700 2280 -2372 2072 2368 2072 2276 -2180 2692 -2700 2160 2512 2504 2492 -2664 2132 -2280 2680 -2508 -2624 2624 2292 -2556 2420 -2620 -2324 2292 -2524 -2088 -2508 -2668 2644 -2480 2272 2208 -2532 2072 2344 -2372 -2160 -2676 -2364 2476 2448 -2168 -2356 -2612 2660 2312 -2480 2020 2668 2656 2572 -2296 -2616 2608 2660 2412 2408 2048 2028 2484 -2460 2540 -2460 -2256 2048 -2548 2660 2688 2276 -2420 -2272 -2124 -2504 2292 -2376 -2724 2496 2672 2460 -2096 -2680 2712 2696 -2492 2588 -2320 -2352 -2504 -2292 -2676 -2144 -2696 -2540 -2480 -2068 -2464 -2152 -2480 2148 -2536 -2608 2372 -2632 -2676 -2504 2632 2192 2532 2608 -2732 -2480 2664 2332 -2560 2704 -2352 -2184 2244 2596 2280 -2688 -2320 2540 -2232 -2700 -2160 -2288 -2104 2100 2660 2740 -2104 -2436 2076 -2384 2124 -2452 -2488 2224 -2548 2536 -2708 -2584 -2236 2588 -2360 -2088 -2492 -2344 2148 2644 -2256 2472 -2600 -2584 2264 -2700 2720 2068 2372 -2536 2060 -2312 2700 2064 -2524 -2476 2356 -2248 -2184 -2336 2672 2092 -2524 -2596 -2580 -2120 -2288 -2280 2240 -2692 -2664 2628 -2220 2328 2152 2164 -2664 2184 -2156 2512 2700 -2380 -2648 -2412 -2236 -2668 2488 -2412 -2108 2592 2688 -2432 2080 -2408 2304 -2272 -2136 -2144 2292 2532 2100 2548 -2108 2468 2556 -2320 2100 2100 2724 2380 2312 -2532 -2636 -2212 2332 -2300 -2036 2684 -2456 -2700 -2256 -2396 2196 -2356 -2220 2504 2596 2556 -2336 -2452 2172 -2720 2180 -2360 -2492 2388 -2260 -2144 2544 -2100 2296 2068 2040 2112 2712 2032 -2704 -2676 -2344 2272 -2228 2336 -2320 2248 2152 -2688 2376 2572 2524 -2068 -2556 2312 -2516 -2076 2600 -2472 2568 -2212 -2420 -2084 -2048 -2596 2420 2440 -2152 2216 2204 -2636 -2300 -2252 2484 -2716 2552 2328 2624 -2092 2084 -2364 -2364 2568 -2280 2088 -2192 2100 -2700 2520 2672 -2368 -2032 -2620 2260 2492 -2104 2296 -2360 2200 2348 -2660 -2664 -2360 -2420 2344 -2060 2352 -2600 -2096 2368 2560 -2548 2156 -2580 -2440 2648 -2448 -2692 2272 2580 -2192 -2068 2328 -2144 -2712 -2088 -2620 2212 2220 2156 -2688 2448 2044 -2256 -2508 -2216 -2516 -2660 2516 2424 2680 -2388 -2500 2460 -2636 2536 -2436 2476 2660 2428 -2048 -2072 2440 2352 -2364 2572 -2540 2400 -2036 2364 -2596 2112 -2552 2532 2572 -2736 2348 2192 2656 -2548 -2636 2464 -2156 2292 2116 2112 -2272 -2508 -2500 2240 -2728 -2336 2652 -2740 -2032 -2444 -2560 -2584 -2532 2664 -2616 2520 2164 2188 -2584 2528 -2236 2100 -2040 2292 -2492 -2564 -2052 2496 2504 -2368 -2260 -2672 2232 2348 -2560 -2684 -2356 2148 2524 -2532 2308 2292 -2620 -2384 -2084 2060 -2072 2360 2308 -2068 -2528 2544 -2624 2480 -2076 2472 2348 2620 2096 2692 2552 -2192 2128 -2116 -2528 -2440 -2672 -2576 2652 -2716 -2200 2620 -2332 2032 2460 -2244 -2448 -2484 2100 -2656 -2108 -2328 2428 2064 2708 -2412 2388 -2108 2204 -2676 -2372 -2616 2424 2220 2188 -2252 2032 -2636 -2360 2712 -2448 -2568 2348 -2576 -2128 2312 2492 2648 2268 2464 2236 2580 -2152 2400 2344 -2060 2536 2336 2152 -2556 2396 2452 -2320 2296 2348 -2536 -2660 2132 2392 2100 -2436 2060 2232 2248 2288 -2136 -2020 2596 -2684 2476 -2212 -2388 -2068 -2356 2020 2084 2404 2232 2092 2612 2680 -2380 2108 2212 2128 -2584 2648 2676 2188 -2324 -2660 -2588 -2616 2460 2596 -2672 -2484 -2636 
522.82	s SATISFIABLE
522.82	d NODES 2185

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node10/watcher-201391-1168147458 -o ROOT/results/node10/solver-201391-1168147458 -C 1800 -M 900 /tmp/evaluation/201391-1168147458/cspfj.sh -competition /tmp/evaluation/201391-1168147458/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.16 2.04 2.01 5/86 23346
/proc/meminfo: memFree=1216424/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) R 23343 23345 23204 0 -1 4194304 261 0 0 0 0 0 0 0 20 0 1 0 163140984 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/23345/statm: 1338 228 191 169 0 49 0
[pid=23347] ppid=23345 vsize=5352 CPUtime=0
/proc/23347/stat : 23347 (cspfj.sh) R 23345 23345 23204 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 163140984 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/23347/statm: 1338 228 191 169 0 49 0

[startup+0.105083 s]
/proc/loadavg: 2.16 2.04 2.01 5/86 23346
/proc/meminfo: memFree=1216424/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.513138 s]
/proc/loadavg: 2.16 2.04 2.01 5/86 23346
/proc/meminfo: memFree=1216424/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33625 s]
/proc/loadavg: 2.16 2.04 2.01 3/94 23355
/proc/meminfo: memFree=1196136/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=865724 CPUtime=1.24
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 7691 0 1 0 118 6 0 0 24 0 8 0 163140985 886501376 7376 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073533614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 216431 7376 1828 14 0 203693 0
[pid=23348/tid=23349] ppid=23345 vsize=865724 CPUtime=0.18
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 3549 0 0 0 17 1 0 0 16 0 8 0 163140994 886501376 7376 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=865724 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 886501376 7376 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=865724 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 886501376 7376 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=865724 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 886501376 7376 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=865724 CPUtime=0.2
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 512 0 0 0 20 0 0 0 15 0 8 0 163140998 886501376 7376 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=865724 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 886501376 7376 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=865724 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 886501376 7376 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 871076

[startup+2.99148 s]
/proc/loadavg: 2.16 2.04 2.01 3/94 23355
/proc/meminfo: memFree=1177832/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=865844 CPUtime=2.88
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 14975 0 1 0 275 13 0 0 25 0 8 0 163140985 886624256 14629 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155092029 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 216461 14629 1828 14 0 203723 0
[pid=23348/tid=23349] ppid=23345 vsize=865844 CPUtime=0.4
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 10061 0 0 0 38 2 0 0 16 0 8 0 163140994 886624256 14629 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=865844 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 886624256 14629 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=865844 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 886624256 14629 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=865844 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 886624256 14629 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=865844 CPUtime=0.29
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 553 0 0 0 28 1 0 0 15 0 8 0 163140998 886624256 14629 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=865844 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 886624256 14629 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=865844 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 886624256 14629 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 871196

[startup+6.20392 s]
/proc/loadavg: 2.15 2.04 2.01 3/94 23355
/proc/meminfo: memFree=1121384/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=866052 CPUtime=6.06
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 28215 0 1 0 579 27 0 0 25 0 8 0 163140985 886837248 27848 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073657200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 216513 27848 1828 14 0 203775 0
[pid=23348/tid=23349] ppid=23345 vsize=866052 CPUtime=1.06
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 21695 0 0 0 98 8 0 0 16 0 8 0 163140994 886837248 27848 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 886837248 27848 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 886837248 27848 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 886837248 27848 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=866052 CPUtime=0.35
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 579 0 0 0 34 1 0 0 16 0 8 0 163140998 886837248 27848 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 886837248 27848 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 886837248 27848 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 871404

[startup+12.6998 s]
/proc/loadavg: 2.14 2.03 2.01 4/94 23355
/proc/meminfo: memFree=1035112/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=866052 CPUtime=12.5
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 47336 0 1 0 1204 46 0 0 25 0 8 0 163140985 886837248 46951 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 216513 46951 1828 14 0 203775 0
[pid=23348/tid=23349] ppid=23345 vsize=866052 CPUtime=2.12
/proc/23348/task/23349/stat : 23349 (java) R 23345 23345 23204 0 -1 64 38866 0 0 0 198 14 0 0 16 0 8 0 163140994 886837248 46951 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155525853 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 886837248 46951 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 886837248 46951 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 886837248 46951 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=866052 CPUtime=0.35
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 579 0 0 0 34 1 0 0 16 0 8 0 163140998 886837248 46951 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 886837248 46951 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=866052 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 886837248 46951 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 871404

[startup+25.5804 s]
/proc/loadavg: 2.11 2.03 2.01 3/94 23355
/proc/meminfo: memFree=917928/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=866540 CPUtime=25.32
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 76684 0 1 0 2456 76 0 0 25 0 8 0 163140985 887336960 76276 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 216635 76276 1828 14 0 203897 0
[pid=23348/tid=23349] ppid=23345 vsize=866540 CPUtime=3.32
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 65551 0 0 0 308 24 0 0 16 0 8 0 163140994 887336960 76276 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=866540 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 887336960 76276 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=866540 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 887336960 76276 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=866540 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 887336960 76276 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=866540 CPUtime=0.35
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 579 0 0 0 34 1 0 0 16 0 8 0 163140998 887336960 76276 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=866540 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 887336960 76276 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=866540 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 887336960 76276 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 871892

[startup+51.2148 s]
/proc/loadavg: 2.07 2.03 2.01 3/94 23355
/proc/meminfo: memFree=796328/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=867488 CPUtime=50.83
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 107470 0 1 0 4974 109 0 0 25 0 8 0 163140985 888307712 106584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074210773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 216872 106584 1833 14 0 204134 0
[pid=23348/tid=23349] ppid=23345 vsize=867488 CPUtime=5.73
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 93671 0 0 0 539 34 0 0 16 0 8 0 163140994 888307712 106584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=867488 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 888307712 106584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=867488 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 888307712 106584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=867488 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 888307712 106584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=867488 CPUtime=0.67
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 767 0 0 0 65 2 0 0 15 0 8 0 163140998 888307712 106584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=867488 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 888307712 106584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=867488 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 888307712 106584 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 872840

[startup+102.469 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 23355
/proc/meminfo: memFree=788008/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=869600 CPUtime=101.84

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

[pid=23348/tid=23350] ppid=23345 vsize=873176 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 894132224 111385 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=873176 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 894132224 111385 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=873176 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 894132224 111385 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=873176 CPUtime=6.64
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 5513 0 0 0 634 30 0 0 16 0 8 0 163140998 894132224 111385 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=873176 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 894132224 111385 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=873176 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 894132224 111385 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.55
Current children cumulated vsize (KiB) 878528

[startup+222.568 s]
/proc/loadavg: 2.07 2.04 2.01 3/94 23355
/proc/meminfo: memFree=746984/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=876744 CPUtime=221.38
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 119800 0 1 0 21974 164 0 0 25 0 8 0 163140985 897785856 118913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074210327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 219186 118913 1833 14 0 206448 0
[pid=23348/tid=23349] ppid=23345 vsize=876744 CPUtime=5.84
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 98506 0 0 0 547 37 0 0 16 0 8 0 163140994 897785856 118913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=876744 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 897785856 118913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=876744 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 897785856 118913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=876744 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 897785856 118913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=876744 CPUtime=9.84
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 8173 0 0 0 940 44 0 0 15 0 8 0 163140998 897785856 118913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=876744 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 897785856 118913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=876744 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 897785856 118913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 882096

[startup+282.577 s]
/proc/loadavg: 2.07 2.04 2.01 3/94 23355
/proc/meminfo: memFree=736304/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=880188 CPUtime=281.1
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 122481 0 1 0 27928 182 0 0 25 0 8 0 163140985 901312512 121594 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074217140 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 220047 121594 1833 14 0 207309 0
[pid=23348/tid=23349] ppid=23345 vsize=880188 CPUtime=5.84
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 98506 0 0 0 547 37 0 0 16 0 8 0 163140994 901312512 121594 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=880188 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 901312512 121594 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=880188 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163140994 901312512 121594 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=880188 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 901312512 121594 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=880188 CPUtime=13.02
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 10819 0 0 0 1243 59 0 0 15 0 8 0 163140998 901312512 121594 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=880188 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 901312512 121594 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=880188 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 901312512 121594 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (KiB) 885540

[startup+342.587 s]
/proc/loadavg: 2.07 2.05 2.00 3/94 23355
/proc/meminfo: memFree=611312/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=881628 CPUtime=340.82
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 153853 0 1 0 33885 197 0 0 25 0 8 0 163140985 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4078880747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 220407 152750 1833 14 0 207669 0
[pid=23348/tid=23349] ppid=23345 vsize=881628 CPUtime=7.93
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 128883 0 0 0 745 48 0 0 16 0 8 0 163140994 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 163140994 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=881628 CPUtime=13.49
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 11194 0 0 0 1288 61 0 0 16 0 8 0 163140998 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.82
Current children cumulated vsize (KiB) 886980

[startup+402.589 s]
/proc/loadavg: 2.02 2.04 2.00 3/94 23355
/proc/meminfo: memFree=611312/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=881628 CPUtime=400.54
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 153853 0 1 0 39857 197 0 0 25 0 8 0 163140985 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4104296599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 220407 152750 1833 14 0 207669 0
[pid=23348/tid=23349] ppid=23345 vsize=881628 CPUtime=7.93
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 128883 0 0 0 745 48 0 0 16 0 8 0 163140994 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 163140994 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=881628 CPUtime=13.49
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 11194 0 0 0 1288 61 0 0 16 0 8 0 163140998 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 902787072 152750 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.54
Current children cumulated vsize (KiB) 886980

[startup+462.593 s]
/proc/loadavg: 2.01 2.03 2.00 3/94 23355
/proc/meminfo: memFree=606128/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=881628 CPUtime=460.26
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 155142 0 1 0 45828 198 0 0 25 0 8 0 163140985 902787072 154037 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4083071136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 220407 154037 1833 14 0 207669 0
[pid=23348/tid=23349] ppid=23345 vsize=881628 CPUtime=7.97
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 130166 0 0 0 749 48 0 0 16 0 8 0 163140994 902787072 154037 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 902787072 154037 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 163140994 902787072 154037 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 902787072 154037 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=881628 CPUtime=13.5
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 11198 0 0 0 1289 61 0 0 15 0 8 0 163140998 902787072 154037 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 902787072 154037 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 902787072 154037 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.26
Current children cumulated vsize (KiB) 886980

[startup+522.692 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 23355
/proc/meminfo: memFree=606064/2055920 swapFree=4178332/4192956
[pid=23345] ppid=23343 vsize=5352 CPUtime=0
/proc/23345/stat : 23345 (cspfj.sh) S 23343 23345 23204 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 163140984 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23345/statm: 1338 240 201 169 0 49 0
[pid=23348] ppid=23345 vsize=881628 CPUtime=520.08
/proc/23348/stat : 23348 (java) R 23345 23345 23204 0 -1 0 155171 0 1 0 51809 199 0 0 25 0 8 0 163140985 902787072 154059 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074190513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23348/statm: 220407 154059 1833 14 0 207669 0
[pid=23348/tid=23349] ppid=23345 vsize=881628 CPUtime=8.03
/proc/23348/task/23349/stat : 23349 (java) S 23345 23345 23204 0 -1 64 130166 0 0 0 755 48 0 0 16 0 8 0 163140994 902787072 154059 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23350] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23350/stat : 23350 (java) S 23345 23345 23204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163140994 902787072 154059 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23351] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23351/stat : 23351 (java) S 23345 23345 23204 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 163140994 902787072 154059 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23352] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23352/stat : 23352 (java) S 23345 23345 23204 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163140998 902787072 154059 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23353] ppid=23345 vsize=881628 CPUtime=13.53
/proc/23348/task/23353/stat : 23353 (java) S 23345 23345 23204 0 -1 64 11207 0 0 0 1292 61 0 0 16 0 8 0 163140998 902787072 154059 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23354] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23354/stat : 23354 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163140998 902787072 154059 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23348/tid=23355] ppid=23345 vsize=881628 CPUtime=0
/proc/23348/task/23355/stat : 23355 (java) S 23345 23345 23204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163140998 902787072 154059 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.08
Current children cumulated vsize (KiB) 886980

Child status: 0
Real time (s): 522.933
CPU time (s): 520.322
CPU user time (s): 518.228
CPU system time (s): 2.09368
CPU usage (%): 99.5006
Max. virtual memory (cumulated for all children) (KiB): 887600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 518.228
system time used= 2.09368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155652
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= 58463
involuntary context switches= 64033

runsolver used 0.628904 s user time and 1.69574 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sun Jan  7 05:24:19 UTC 2007


IDJOB= 201391
IDBENCH= 3760
FILE ID= node10/201391-1168147458

PBS_JOBID= 3478166

Free space on /tmp= 66369 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
COMMAND LINE= /tmp/evaluation/201391-1168147458/cspfj.sh -competition /tmp/evaluation/201391-1168147458/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-201391-1168147458 -o ROOT/results/node10/solver-201391-1168147458 -C 1800 -M 900  /tmp/evaluation/201391-1168147458/cspfj.sh -competition /tmp/evaluation/201391-1168147458/unknown.xml

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  f4de69641c2d3c9c2d0fb9081c06c18a

RANDOM SEED= 570946563

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1216840 kB
Buffers:         61732 kB
Cached:         603568 kB
SwapCached:       2120 kB
Active:         368568 kB
Inactive:       375932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1216840 kB
SwapTotal:     4192956 kB
SwapFree:      4178332 kB
Dirty:            2468 kB
Writeback:           0 kB
Mapped:          92408 kB
Slab:            79276 kB
Committed_AS:  3974200 kB
PageTables:       2336 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66369 MiB



End job on node10 on Sun Jan  7 05:33:02 UTC 2007