Trace number 270325

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CSP4J - MAC 2007-01-16SAT 476.631 478.969

DiagnosticValue
CHECKS736781486
NODES2539

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)

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

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/node9/watcher-270325-1169142231 -o ROOT/results/node9/solver-270325-1169142231 -C 1800 -M 900 /tmp/evaluation/270325-1169142231/cspfj.sh -competition /tmp/evaluation/270325-1169142231/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.00 2.00 1.91 5/94 9742
/proc/meminfo: memFree=1488992/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) R 9739 9741 9278 0 -1 4194304 261 0 0 0 0 0 0 0 20 0 1 0 262618266 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418989215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/9741/statm: 1338 228 191 169 0 49 0
[pid=9743] ppid=9741 vsize=5352 CPUtime=0
/proc/9743/stat : 9743 (cspfj.sh) R 9741 9741 9278 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 262618267 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418989215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/9743/statm: 1338 228 191 169 0 49 0

[startup+0.106353 s]
/proc/loadavg: 2.00 2.00 1.91 5/94 9742
/proc/meminfo: memFree=1488992/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514398 s]
/proc/loadavg: 2.00 2.00 1.91 5/94 9742
/proc/meminfo: memFree=1488992/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33649 s]
/proc/loadavg: 2.00 2.00 1.91 4/102 9751
/proc/meminfo: memFree=1466400/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=866232 CPUtime=1.29
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 8765 0 1 0 123 6 0 0 24 0 8 0 262618267 887021568 8450 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4152150315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 216558 8450 1829 14 0 203819 0
[pid=9744/tid=9745] ppid=9741 vsize=866232 CPUtime=0.19
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 4375 0 0 0 18 1 0 0 16 0 8 0 262618271 887021568 8450 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=866232 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 887021568 8450 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=866232 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 887021568 8450 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=866232 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 887021568 8450 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=866232 CPUtime=0.24
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 623 0 0 0 23 1 0 0 15 0 8 0 262618275 887021568 8450 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=866232 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 887021568 8450 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=866232 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 887021568 8450 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 871584

[startup+2.98468 s]
/proc/loadavg: 2.00 2.00 1.91 3/102 9751
/proc/meminfo: memFree=1441120/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=866336 CPUtime=2.93
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 18365 0 1 0 278 15 0 0 25 0 8 0 262618267 887128064 18025 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073670830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 216584 18025 1829 14 0 203845 0
[pid=9744/tid=9745] ppid=9741 vsize=866336 CPUtime=0.6
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 13049 0 0 0 55 5 0 0 16 0 8 0 262618271 887128064 18025 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=866336 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 887128064 18025 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=866336 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 887128064 18025 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=866336 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 887128064 18025 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=866336 CPUtime=0.31
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 660 0 0 0 30 1 0 0 15 0 8 0 262618275 887128064 18025 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=866336 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 887128064 18025 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=866336 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 887128064 18025 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 871688

[startup+6.20805 s]
/proc/loadavg: 2.00 2.00 1.91 3/102 9751
/proc/meminfo: memFree=1362912/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=866564 CPUtime=6.12
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 36526 0 1 0 580 32 0 0 25 0 8 0 262618267 887361536 36166 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 216641 36166 1829 14 0 203902 0
[pid=9744/tid=9745] ppid=9741 vsize=866564 CPUtime=1.36
/proc/9744/task/9745/stat : 9745 (java) R 9741 9741 9278 0 -1 64 29916 0 0 0 124 12 0 0 16 0 8 0 262618271 887361536 36166 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 887361536 36166 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 887361536 36166 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 887361536 36166 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=866564 CPUtime=0.38
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 687 0 0 0 37 1 0 0 15 0 8 0 262618275 887361536 36166 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 887361536 36166 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 887361536 36166 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 871916

[startup+12.6946 s]
/proc/loadavg: 2.00 2.00 1.91 3/102 9751
/proc/meminfo: memFree=1231520/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=866564 CPUtime=12.58
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 66366 0 1 0 1202 56 0 0 25 0 8 0 262618267 887361536 65992 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 216641 65992 1829 14 0 203902 0
[pid=9744/tid=9745] ppid=9741 vsize=866564 CPUtime=2.86
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 56478 0 0 0 263 23 0 0 16 0 8 0 262618271 887361536 65992 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 887361536 65992 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 887361536 65992 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 887361536 65992 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=866564 CPUtime=0.38
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 687 0 0 0 37 1 0 0 16 0 8 0 262618275 887361536 65992 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 887361536 65992 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=866564 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 887361536 65992 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 871916

[startup+25.576 s]
/proc/loadavg: 2.08 2.02 1.91 3/102 9751
/proc/meminfo: memFree=1079648/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=866724 CPUtime=25.4
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 110178 0 1 0 2450 90 0 0 25 0 8 0 262618267 887525376 109792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073803928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 216681 109792 1829 14 0 203942 0
[pid=9744/tid=9745] ppid=9741 vsize=866724 CPUtime=5.4
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 97606 0 0 0 500 40 0 0 16 0 8 0 262618271 887525376 109792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=866724 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 887525376 109792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=866724 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 887525376 109792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=866724 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 887525376 109792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=866724 CPUtime=0.38
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 687 0 0 0 37 1 0 0 16 0 8 0 262618275 887525376 109792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=866724 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 887525376 109792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=866724 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 887525376 109792 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 872076

[startup+51.21 s]
/proc/loadavg: 2.11 2.03 1.92 3/102 9751
/proc/meminfo: memFree=874528/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=867684 CPUtime=50.91
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 155469 0 1 0 4958 133 0 0 25 0 8 0 262618267 888508416 155072 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 216921 155072 1834 14 0 204182 0
[pid=9744/tid=9745] ppid=9741 vsize=867684 CPUtime=8.8
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 140938 0 0 0 823 57 0 0 16 0 8 0 262618271 888508416 155072 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=867684 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 888508416 155072 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=867684 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 888508416 155072 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=867684 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 888508416 155072 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=867684 CPUtime=0.62
/proc/9744/task/9749/stat : 9749 (java) R 9741 9741 9278 0 -1 64 823 0 0 0 60 2 0 0 15 0 8 0 262618275 888508416 155072 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=867684 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 888508416 155072 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=867684 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 888508416 155072 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 873036

[startup+102.468 s]
/proc/loadavg: 2.04 2.02 1.92 3/102 9751
/proc/meminfo: memFree=866592/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=869584 CPUtime=101.92

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

[pid=9744/tid=9746] ppid=9741 vsize=869584 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 890454016 157080 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=869584 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 890454016 157080 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=869584 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 890454016 157080 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=869584 CPUtime=3.4
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 2955 0 0 0 322 18 0 0 15 0 8 0 262618275 890454016 157080 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=869584 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 890454016 157080 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=869584 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 890454016 157080 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 874936

[startup+162.476 s]
/proc/loadavg: 2.08 2.05 1.93 3/102 9751
/proc/meminfo: memFree=855904/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=873016 CPUtime=161.64
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 160297 0 1 0 15996 168 0 0 25 0 8 0 262618267 893968384 159748 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4088262724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 218254 159748 1834 14 0 205515 0
[pid=9744/tid=9745] ppid=9741 vsize=873016 CPUtime=8.8
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 140938 0 0 0 823 57 0 0 16 0 8 0 262618271 893968384 159748 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=873016 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 893968384 159748 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=873016 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 893968384 159748 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=873016 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 893968384 159748 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=873016 CPUtime=6.58
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 5590 0 0 0 626 32 0 0 16 0 8 0 262618275 893968384 159748 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=873016 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 893968384 159748 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=873016 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 893968384 159748 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 878368

[startup+222.483 s]
/proc/loadavg: 2.07 2.05 1.94 3/102 9751
/proc/meminfo: memFree=845152/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=876452 CPUtime=221.37
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 162980 0 1 0 21950 187 0 0 25 0 8 0 262618267 897486848 162431 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4095554640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 219113 162431 1834 14 0 206374 0
[pid=9744/tid=9745] ppid=9741 vsize=876452 CPUtime=8.8
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 140938 0 0 0 823 57 0 0 16 0 8 0 262618271 897486848 162431 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=876452 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 897486848 162431 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=876452 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 897486848 162431 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=876452 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 897486848 162431 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=876452 CPUtime=9.73
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 8237 0 0 0 926 47 0 0 15 0 8 0 262618275 897486848 162431 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=876452 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 897486848 162431 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=876452 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 897486848 162431 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 881804

[startup+282.488 s]
/proc/loadavg: 2.06 2.05 1.94 3/102 9751
/proc/meminfo: memFree=834464/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=880016 CPUtime=281.08
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 165630 0 1 0 27903 205 0 0 25 0 8 0 262618267 901136384 165081 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074234330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 220004 165081 1834 14 0 207265 0
[pid=9744/tid=9745] ppid=9741 vsize=880016 CPUtime=8.8
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 140938 0 0 0 823 57 0 0 16 0 8 0 262618271 901136384 165081 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=880016 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 901136384 165081 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=880016 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262618271 901136384 165081 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=880016 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 901136384 165081 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=880016 CPUtime=12.86
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 10852 0 0 0 1224 62 0 0 15 0 8 0 262618275 901136384 165081 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=880016 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 901136384 165081 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=880016 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 901136384 165081 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.08
Current children cumulated vsize (KiB) 885368

[startup+342.491 s]
/proc/loadavg: 2.05 2.05 1.95 3/102 9751
/proc/meminfo: memFree=814048/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=881640 CPUtime=340.8
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 170901 0 1 0 33870 210 0 0 25 0 8 0 262618267 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074234330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 220410 170129 1834 14 0 207671 0
[pid=9744/tid=9745] ppid=9741 vsize=881640 CPUtime=10.45
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 145613 0 0 0 987 58 0 0 16 0 8 0 262618271 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 262618271 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=881640 CPUtime=13.54
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 11408 0 0 0 1290 64 0 0 15 0 8 0 262618275 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.8
Current children cumulated vsize (KiB) 886992

[startup+402.496 s]
/proc/loadavg: 2.02 2.04 1.95 3/102 9751
/proc/meminfo: memFree=814048/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=881640 CPUtime=400.53
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 170901 0 1 0 39842 211 0 0 25 0 8 0 262618267 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4094995814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 220410 170129 1834 14 0 207671 0
[pid=9744/tid=9745] ppid=9741 vsize=881640 CPUtime=10.45
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 145613 0 0 0 987 58 0 0 16 0 8 0 262618271 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 262618271 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=881640 CPUtime=13.54
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 11408 0 0 0 1290 64 0 0 15 0 8 0 262618275 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 902799360 170129 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.53
Current children cumulated vsize (KiB) 886992

[startup+462.502 s]
/proc/loadavg: 2.06 2.05 1.95 3/102 9751
/proc/meminfo: memFree=814048/2055920 swapFree=4191880/4192956
[pid=9741] ppid=9739 vsize=5352 CPUtime=0
/proc/9741/stat : 9741 (cspfj.sh) S 9739 9741 9278 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 262618266 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9741/statm: 1338 240 201 169 0 49 0
[pid=9744] ppid=9741 vsize=881640 CPUtime=460.25
/proc/9744/stat : 9744 (java) R 9741 9741 9278 0 -1 0 170919 0 1 0 45814 211 0 0 25 0 8 0 262618267 902799360 170144 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4104315240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9744/statm: 220410 170144 1834 14 0 207671 0
[pid=9744/tid=9745] ppid=9741 vsize=881640 CPUtime=10.45
/proc/9744/task/9745/stat : 9745 (java) S 9741 9741 9278 0 -1 64 145613 0 0 0 987 58 0 0 16 0 8 0 262618271 902799360 170144 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9746] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9746/stat : 9746 (java) S 9741 9741 9278 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262618271 902799360 170144 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9747] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9747/stat : 9747 (java) S 9741 9741 9278 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 262618271 902799360 170144 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9748] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9748/stat : 9748 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 262618275 902799360 170144 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9749] ppid=9741 vsize=881640 CPUtime=13.56
/proc/9744/task/9749/stat : 9749 (java) S 9741 9741 9278 0 -1 64 11416 0 0 0 1292 64 0 0 15 0 8 0 262618275 902799360 170144 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9750] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9750/stat : 9750 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 262618275 902799360 170144 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9744/tid=9751] ppid=9741 vsize=881640 CPUtime=0
/proc/9744/task/9751/stat : 9751 (java) S 9741 9741 9278 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 262618275 902799360 170144 18446744073709551615 134512640 134570532 4294956512 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) 886992

Child status: 0
Real time (s): 478.969
CPU time (s): 476.631
CPU user time (s): 474.401
CPU system time (s): 2.22966
CPU usage (%): 99.5118
Max. virtual memory (cumulated for all children) (KiB): 888092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 474.401
system time used= 2.22966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171420
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= 57512
involuntary context switches= 62432

runsolver used 0.565913 s user time and 1.55876 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Thu Jan 18 17:43:51 UTC 2007


IDJOB= 270325
IDBENCH= 3769
IDSOLVER= 91
FILE ID= node9/270325-1169142231

PBS_JOBID= 3582506

Free space on /tmp= 66562 MiB

SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
COMMAND LINE= /tmp/evaluation/270325-1169142231/cspfj.sh  -competition /tmp/evaluation/270325-1169142231/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-270325-1169142231 -o ROOT/results/node9/solver-270325-1169142231 -C 1800 -M 900  /tmp/evaluation/270325-1169142231/cspfj.sh  -competition /tmp/evaluation/270325-1169142231/unknown.xml

META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH=  b9cf73f43d12dd50fcff1a26df9e590c

RANDOM SEED= 216841418

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.231
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.231
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:       1489408 kB
Buffers:         52636 kB
Cached:         368492 kB
SwapCached:        268 kB
Active:         200692 kB
Inactive:       283348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1489408 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          82148 kB
Slab:            66964 kB
Committed_AS:  7563372 kB
PageTables:       2400 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= 66562 MiB



End job on node9 on Thu Jan 18 17:51:50 UTC 2007