Trace number 201535

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 491.888 494.273

DiagnosticValue
NODES1209

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-10.xml
MD5SUMb9cf73f43d12dd50fcff1a26df9e590c
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 benchmark12.5921
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)

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

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/node72/watcher-201535-1168148380 -o ROOT/results/node72/solver-201535-1168148380 -C 1800 -M 900 /tmp/evaluation/201535-1168148380/cspfj.sh -competition /tmp/evaluation/201535-1168148380/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.02 2.02 1.85 5/86 23087
/proc/meminfo: memFree=1330128/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=18540 CPUtime=0
/proc/23086/stat : 23086 (runsolver) R 23084 23086 22522 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 163246941 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 234517753127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23086/statm: 4635 279 244 17 0 2626 0

[startup+0.111009 s]
/proc/loadavg: 2.02 2.02 1.85 5/86 23087
/proc/meminfo: memFree=1330128/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.520046 s]
/proc/loadavg: 2.02 2.02 1.85 5/86 23087
/proc/meminfo: memFree=1330128/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34912 s]
/proc/loadavg: 2.02 2.02 1.85 3/94 23096
/proc/meminfo: memFree=1309136/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=865728 CPUtime=1.31
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 7972 0 1 0 124 7 0 0 24 0 8 0 163246942 886505472 7656 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155582796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 216432 7656 1828 14 0 203694 0
[pid=23089/tid=23090] ppid=23086 vsize=865728 CPUtime=0.19
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 3718 0 0 0 17 2 0 0 16 0 8 0 163246946 886505472 7656 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=865728 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 886505472 7656 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=865728 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 886505472 7656 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=865728 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 886505472 7656 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=865728 CPUtime=0.21
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 514 0 0 0 20 1 0 0 15 0 8 0 163246949 886505472 7656 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=865728 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 886505472 7656 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=865728 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 886505472 7656 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) 871080

[startup+2.99427 s]
/proc/loadavg: 2.02 2.02 1.85 3/94 23096
/proc/meminfo: memFree=1290512/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=865852 CPUtime=2.94
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 14993 0 1 0 278 16 0 0 25 0 8 0 163246942 886632448 14647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073533649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 216463 14647 1828 14 0 203725 0
[pid=23089/tid=23090] ppid=23086 vsize=865852 CPUtime=0.4
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 10062 0 0 0 36 4 0 0 16 0 8 0 163246946 886632448 14647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=865852 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 886632448 14647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=865852 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 886632448 14647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=865852 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 886632448 14647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=865852 CPUtime=0.3
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 553 0 0 0 28 2 0 0 15 0 8 0 163246949 886632448 14647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=865852 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 886632448 14647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=865852 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 886632448 14647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 871204

[startup+6.28657 s]
/proc/loadavg: 2.10 2.04 1.85 3/94 23096
/proc/meminfo: memFree=1235088/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=866072 CPUtime=6.2
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 28259 0 1 0 589 31 0 0 25 0 8 0 163246942 886857728 27892 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155582247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 216518 27892 1828 14 0 203780 0
[pid=23089/tid=23090] ppid=23086 vsize=866072 CPUtime=1.06
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 21694 0 0 0 97 9 0 0 16 0 8 0 163246946 886857728 27892 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 886857728 27892 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 886857728 27892 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 886857728 27892 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=866072 CPUtime=0.36
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 579 0 0 0 34 2 0 0 15 0 8 0 163246949 886857728 27892 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 886857728 27892 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 886857728 27892 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 871424

[startup+12.7032 s]
/proc/loadavg: 2.08 2.04 1.85 4/94 23096
/proc/meminfo: memFree=1148688/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=866072 CPUtime=12.56
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 47349 0 1 0 1206 50 0 0 25 0 8 0 163246942 886857728 46964 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 216518 46964 1828 14 0 203780 0
[pid=23089/tid=23090] ppid=23086 vsize=866072 CPUtime=2.16
/proc/23089/task/23090/stat : 23090 (java) R 23086 23086 22522 0 -1 64 38867 0 0 0 201 15 0 0 16 0 8 0 163246946 886857728 46964 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155222447 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 886857728 46964 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 886857728 46964 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 886857728 46964 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=866072 CPUtime=0.36
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 579 0 0 0 34 2 0 0 16 0 8 0 163246949 886857728 46964 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 886857728 46964 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=866072 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 886857728 46964 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 871424

[startup+25.5541 s]
/proc/loadavg: 2.07 2.03 1.86 3/94 23096
/proc/meminfo: memFree=1031568/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=866504 CPUtime=25.35
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 76684 0 1 0 2453 82 0 0 25 0 8 0 163246942 887300096 76276 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 216626 76276 1828 14 0 203888 0
[pid=23089/tid=23090] ppid=23086 vsize=866504 CPUtime=3.31
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 65531 0 0 0 307 24 0 0 16 0 8 0 163246946 887300096 76276 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=866504 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 887300096 76276 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=866504 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 887300096 76276 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=866504 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 887300096 76276 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=866504 CPUtime=0.36
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 579 0 0 0 34 2 0 0 16 0 8 0 163246949 887300096 76276 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=866504 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 887300096 76276 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=866504 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 887300096 76276 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 871856

[startup+51.1845 s]
/proc/loadavg: 2.04 2.03 1.86 3/94 23096
/proc/meminfo: memFree=909776/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=867624 CPUtime=50.86
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 107118 0 1 0 4968 118 0 0 25 0 8 0 163246942 888446976 106618 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074207012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 216906 106618 1833 14 0 204168 0
[pid=23089/tid=23090] ppid=23086 vsize=867624 CPUtime=5.75
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 93744 0 0 0 540 35 0 0 16 0 8 0 163246946 888446976 106618 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=867624 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 888446976 106618 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=867624 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 888446976 106618 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=867624 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 888446976 106618 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=867624 CPUtime=0.68
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 766 0 0 0 65 3 0 0 15 0 8 0 163246949 888446976 106618 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=867624 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 888446976 106618 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=867624 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 888446976 106618 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 872976

[startup+102.443 s]
/proc/loadavg: 2.06 2.04 1.87 3/94 23096
/proc/meminfo: memFree=901648/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=869616 CPUtime=101.88
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 109167 0 1 0 10053 135 0 0 25 0 8 0 163246942 890486784 108667 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074211901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 217404 108667 1833 14 0 204666 0
[pid=23089/tid=23090] ppid=23086 vsize=869616 CPUtime=5.75

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

[pid=23089/tid=23091] ppid=23086 vsize=869616 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 890486784 108667 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=869616 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 890486784 108667 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=869616 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 890486784 108667 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=869616 CPUtime=3.41
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 2798 0 0 0 323 18 0 0 16 0 8 0 163246949 890486784 108667 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=869616 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 890486784 108667 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=869616 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 890486784 108667 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 874968

[startup+162.453 s]
/proc/loadavg: 2.02 2.03 1.87 3/94 23096
/proc/meminfo: memFree=890896/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=873180 CPUtime=161.6
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 111849 0 1 0 16007 153 0 0 25 0 8 0 163246942 894136320 111349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 218295 111349 1833 14 0 205557 0
[pid=23089/tid=23090] ppid=23086 vsize=873180 CPUtime=5.75
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 93744 0 0 0 540 35 0 0 16 0 8 0 163246946 894136320 111349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=873180 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 894136320 111349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=873180 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 894136320 111349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=873180 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 894136320 111349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=873180 CPUtime=6.55
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 5445 0 0 0 623 32 0 0 15 0 8 0 163246949 894136320 111349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=873180 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 894136320 111349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=873180 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 894136320 111349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 878532

[startup+222.468 s]
/proc/loadavg: 2.07 2.04 1.89 3/94 23096
/proc/meminfo: memFree=860880/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=876632 CPUtime=221.34
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 119340 0 1 0 21957 177 0 0 25 0 8 0 163246942 897671168 118839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074206862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 219158 118839 1833 14 0 206420 0
[pid=23089/tid=23090] ppid=23086 vsize=876632 CPUtime=5.86
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 98581 0 0 0 549 37 0 0 16 0 8 0 163246946 897671168 118839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=876632 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 897671168 118839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=876632 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 897671168 118839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=876632 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 897671168 118839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=876632 CPUtime=9.69
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 8061 0 0 0 920 49 0 0 16 0 8 0 163246949 897671168 118839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=876632 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 897671168 118839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=876632 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 897671168 118839 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.34
Current children cumulated vsize (KiB) 881984

[startup+282.475 s]
/proc/loadavg: 2.10 2.04 1.90 3/94 23096
/proc/meminfo: memFree=850256/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=880064 CPUtime=281.07
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 121992 0 1 0 27912 195 0 0 25 0 8 0 163246942 901185536 121491 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074218219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 220016 121491 1833 14 0 207278 0
[pid=23089/tid=23090] ppid=23086 vsize=880064 CPUtime=5.86
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 98581 0 0 0 549 37 0 0 16 0 8 0 163246946 901185536 121491 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=880064 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 901185536 121491 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=880064 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 163246946 901185536 121491 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=880064 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 901185536 121491 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=880064 CPUtime=12.76
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 10679 0 0 0 1213 63 0 0 15 0 8 0 163246949 901185536 121491 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=880064 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 901185536 121491 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=880064 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 901185536 121491 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.07
Current children cumulated vsize (KiB) 885416

[startup+342.475 s]
/proc/loadavg: 2.09 2.05 1.91 3/94 23096
/proc/meminfo: memFree=725008/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=881632 CPUtime=340.78
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 153424 0 1 0 33865 213 0 0 25 0 8 0 163246942 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4078792700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 220408 152709 1833 14 0 207670 0
[pid=23089/tid=23090] ppid=23086 vsize=881632 CPUtime=7.9
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 128921 0 0 0 739 51 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=881632 CPUtime=13.33
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 11152 0 0 0 1267 66 0 0 16 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.78
Current children cumulated vsize (KiB) 886984

[startup+402.482 s]
/proc/loadavg: 2.03 2.04 1.91 3/94 23096
/proc/meminfo: memFree=725008/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=881632 CPUtime=400.52
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 153424 0 1 0 39838 214 0 0 25 0 8 0 163246942 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074212031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 220408 152709 1833 14 0 207670 0
[pid=23089/tid=23090] ppid=23086 vsize=881632 CPUtime=7.9
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 128921 0 0 0 739 51 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=881632 CPUtime=13.33
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 11152 0 0 0 1267 66 0 0 16 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.52
Current children cumulated vsize (KiB) 886984

[startup+462.485 s]
/proc/loadavg: 2.01 2.03 1.91 4/94 23096
/proc/meminfo: memFree=725008/2055920 swapFree=4191880/4192956
[pid=23086] ppid=23084 vsize=5352 CPUtime=0
/proc/23086/stat : 23086 (cspfj.sh) S 23084 23086 22522 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 163246941 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23086/statm: 1338 240 201 169 0 49 0
[pid=23089] ppid=23086 vsize=881632 CPUtime=460.25
/proc/23089/stat : 23089 (java) R 23086 23086 22522 0 -1 0 153424 0 1 0 45810 215 0 0 25 0 8 0 163246942 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4104183673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23089/statm: 220408 152709 1833 14 0 207670 0
[pid=23089/tid=23090] ppid=23086 vsize=881632 CPUtime=7.9
/proc/23089/task/23090/stat : 23090 (java) S 23086 23086 22522 0 -1 64 128921 0 0 0 739 51 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23091] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23091/stat : 23091 (java) S 23086 23086 22522 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23092] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23092/stat : 23092 (java) S 23086 23086 22522 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 163246946 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23093] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23093/stat : 23093 (java) S 23086 23086 22522 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23094] ppid=23086 vsize=881632 CPUtime=13.33
/proc/23089/task/23094/stat : 23094 (java) S 23086 23086 22522 0 -1 64 11152 0 0 0 1267 66 0 0 16 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23095] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23095/stat : 23095 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163246949 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23089/tid=23096] ppid=23086 vsize=881632 CPUtime=0
/proc/23089/task/23096/stat : 23096 (java) S 23086 23086 22522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163246950 902791168 152709 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.25
Current children cumulated vsize (KiB) 886984

Child status: 0
Real time (s): 494.273
CPU time (s): 491.888
CPU user time (s): 489.629
CPU system time (s): 2.25966
CPU usage (%): 99.5176
Max. virtual memory (cumulated for all children) (KiB): 888084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 489.629
system time used= 2.25966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153910
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= 57837
involuntary context switches= 62641

runsolver used 0.58691 s user time and 1.60675 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sun Jan  7 05:39:41 UTC 2007


IDJOB= 201535
IDBENCH= 3769
FILE ID= node72/201535-1168148380

PBS_JOBID= 3478391

Free space on /tmp= 66550 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  b9cf73f43d12dd50fcff1a26df9e590c

RANDOM SEED= 776318663

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.223
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.223
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:       1330544 kB
Buffers:         43328 kB
Cached:         529980 kB
SwapCached:        408 kB
Active:         214796 kB
Inactive:       436320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1330544 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2324 kB
Writeback:           0 kB
Mapped:          98516 kB
Slab:            59036 kB
Committed_AS:  2972572 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= 66550 MiB



End job on node72 on Sun Jan  7 05:47:56 UTC 2007