Trace number 270322

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 370.5 371.736

DiagnosticValue
CHECKS318699458
NODES1595

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-8.xml
MD5SUM5e81a4b26673d50f35769983d5101c1c
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 benchmark15.4427
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)

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

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/node1/watcher-270322-1169142162 -o ROOT/results/node1/solver-270322-1169142162 -C 1800 -M 900 /tmp/evaluation/270322-1169142162/cspfj.sh -competition /tmp/evaluation/270322-1169142162/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.00 1.06 1.29 4/78 16861
/proc/meminfo: memFree=1599664/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) D 16858 16860 16166 0 -1 4194304 295 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353442917 0 2147483391 4100 65536 18446744072099781622 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0

[startup+0.103452 s]
/proc/loadavg: 1.00 1.06 1.29 4/78 16861
/proc/meminfo: memFree=1599664/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.511501 s]
/proc/loadavg: 1.00 1.06 1.29 4/78 16861
/proc/meminfo: memFree=1599664/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.3326 s]
/proc/loadavg: 1.00 1.06 1.28 2/86 16870
/proc/meminfo: memFree=1576304/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=867256 CPUtime=1.32
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 9221 0 1 0 123 9 0 0 16 0 8 0 262611945 888070144 8904 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 6290652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16863/statm: 216814 8905 1829 14 0 204075 0
[pid=16863/tid=16864] ppid=16860 vsize=867256 CPUtime=0.2
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 4804 0 0 0 18 2 0 0 16 0 8 0 262611949 888070144 8905 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16863/tid=16865] ppid=16860 vsize=867256 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 262611949 888070144 8905 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=867256 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 888070144 8905 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=867256 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 888070144 8905 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=867256 CPUtime=0.21
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 631 0 0 0 20 1 0 0 15 0 8 0 262611952 888070144 8905 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=867256 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 888070144 8905 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=867256 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 888070144 8905 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 872608

[startup+2.98179 s]
/proc/loadavg: 1.00 1.06 1.28 2/86 16870
/proc/meminfo: memFree=1548784/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=867356 CPUtime=2.95
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 19065 0 1 0 277 18 0 0 17 0 8 0 262611945 888172544 18724 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16863/statm: 216839 18724 1829 14 0 204100 0
[pid=16863/tid=16864] ppid=16860 vsize=867356 CPUtime=0.59
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 13687 0 0 0 53 6 0 0 16 0 8 0 262611949 888172544 18724 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16865] ppid=16860 vsize=867356 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 888172544 18724 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=867356 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 888172544 18724 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=867356 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 888172544 18724 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=867356 CPUtime=0.25
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 660 0 0 0 24 1 0 0 15 0 8 0 262611952 888172544 18724 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=867356 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 888172544 18724 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=867356 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 888172544 18724 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 872708

[startup+6.27437 s]
/proc/loadavg: 1.00 1.06 1.28 2/86 16870
/proc/meminfo: memFree=1465264/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=867584 CPUtime=6.22
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 37017 0 1 0 591 31 0 0 17 0 8 0 262611945 888406016 36657 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073803971 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16863/statm: 216896 36657 1829 14 0 204157 0
[pid=16863/tid=16864] ppid=16860 vsize=867584 CPUtime=1.49
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 30002 0 0 0 137 12 0 0 16 0 8 0 262611949 888406016 36657 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16865] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 888406016 36657 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 888406016 36657 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 888406016 36657 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=867584 CPUtime=0.31
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 687 0 0 0 30 1 0 0 16 0 8 0 262611952 888406016 36657 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 888406016 36657 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 888406016 36657 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 872936

[startup+12.7761 s]
/proc/loadavg: 1.00 1.06 1.28 2/86 16870
/proc/meminfo: memFree=1332912/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=867584 CPUtime=12.71
/proc/16863/stat : 16863 (java) S 16860 16860 16166 0 -1 0 69212 0 1 0 1215 56 0 0 17 0 8 0 262611945 888406016 68837 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16863/statm: 216896 68837 1829 14 0 204157 0
[pid=16863/tid=16864] ppid=16860 vsize=867584 CPUtime=2.88
/proc/16863/task/16864/stat : 16864 (java) R 16860 16860 16166 0 -1 64 59253 0 0 0 264 24 0 0 16 0 8 0 262611949 888406016 68837 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16865] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 888406016 68837 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 888406016 68837 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 888406016 68837 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=867584 CPUtime=0.31
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 687 0 0 0 30 1 0 0 16 0 8 0 262611952 888406016 68837 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 888406016 68837 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=867584 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 888406016 68837 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 872936

[startup+25.6216 s]
/proc/loadavg: 1.00 1.06 1.28 2/86 16870
/proc/meminfo: memFree=1166384/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=867736 CPUtime=25.53
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 110330 0 1 0 2461 92 0 0 18 0 8 0 262611945 888561664 109944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073803928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16863/statm: 216934 109944 1829 14 0 204195 0
[pid=16863/tid=16864] ppid=16860 vsize=867736 CPUtime=5.17
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 97641 0 0 0 479 38 0 0 16 0 8 0 262611949 888561664 109944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16865] ppid=16860 vsize=867736 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 888561664 109944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=867736 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 888561664 109944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=867736 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 888561664 109944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=867736 CPUtime=0.31
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 687 0 0 0 30 1 0 0 16 0 8 0 262611952 888561664 109944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=867736 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 888561664 109944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=867736 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 888561664 109944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 873088

[startup+51.2436 s]
/proc/loadavg: 1.00 1.05 1.27 2/86 16870
/proc/meminfo: memFree=985008/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=868588 CPUtime=51.09
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 156468 0 1 0 4976 133 0 0 17 0 8 0 262611945 889434112 155103 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16863/statm: 217147 155103 1834 14 0 204408 0
[pid=16863/tid=16864] ppid=16860 vsize=868588 CPUtime=8.38
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 140863 0 0 0 785 53 0 0 16 0 8 0 262611949 889434112 155103 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16865] ppid=16860 vsize=868588 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 889434112 155103 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=868588 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 889434112 155103 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=868588 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 889434112 155103 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=868588 CPUtime=0.62
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 884 0 0 0 59 3 0 0 16 0 8 0 262611952 889434112 155103 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=868588 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 889434112 155103 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=868588 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 889434112 155103 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 873940

[startup+102.475 s]
/proc/loadavg: 1.00 1.04 1.25 2/86 16870
/proc/meminfo: memFree=976688/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=870700 CPUtime=102.07
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 158583 0 1 0 10060 147 0 0 17 0 8 0 262611945 891596800 157218 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4081383474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16863/statm: 217675 157218 1834 14 0 204936 0
[pid=16863/tid=16864] ppid=16860 vsize=870700 CPUtime=8.38
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 140863 0 0 0 785 53 0 0 16 0 8 0 262611949 891596800 157218 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16865] ppid=16860 vsize=870700 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 891596800 157218 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=870700 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 891596800 157218 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=870700 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 891596800 157218 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=870700 CPUtime=3.2
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 2979 0 0 0 305 15 0 0 16 0 8 0 262611952 891596800 157218 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=870700 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 891596800 157218 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=870700 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 891596800 157218 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 876052

[startup+162.55 s]
/proc/loadavg: 1.00 1.03 1.23 2/86 16870
/proc/meminfo: memFree=965808/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=874272 CPUtime=161.91
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 161309 0 1 0 16029 162 0 0 17 0 8 0 262611945 895254528 159944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072897177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16863/statm: 218568 159944 1834 14 0 205829 0
[pid=16863/tid=16864] ppid=16860 vsize=874272 CPUtime=8.38
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 140863 0 0 0 785 53 0 0 16 0 8 0 262611949 895254528 159944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16865] ppid=16860 vsize=874272 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 895254528 159944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=874272 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 895254528 159944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=874272 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 895254528 159944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=874272 CPUtime=6.23
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 5667 0 0 0 595 28 0 0 16 0 8 0 262611952 895254528 159944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=874272 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 895254528 159944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=874272 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 895254528 159944 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.91
Current children cumulated vsize (KiB) 879624

[startup+222.626 s]
/proc/loadavg: 1.00 1.02 1.22 2/86 16870
/proc/meminfo: memFree=954864/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=877840 CPUtime=221.73
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 164040 0 1 0 21993 180 0 0 17 0 8 0 262611945 898908160 162675 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4096225860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16863/statm: 219460 162675 1834 14 0 206721 0
[pid=16863/tid=16864] ppid=16860 vsize=877840 CPUtime=8.38
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 140863 0 0 0 785 53 0 0 16 0 8 0 262611949 898908160 162675 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16865] ppid=16860 vsize=877840 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 898908160 162675 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=877840 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 898908160 162675 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=877840 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 898908160 162675 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=877840 CPUtime=9.22
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 8365 0 0 0 879 43 0 0 16 0 8 0 262611952 898908160 162675 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=877840 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 898908160 162675 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=877840 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 898908160 162675 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.73
Current children cumulated vsize (KiB) 883192

[startup+282.703 s]
/proc/loadavg: 1.00 1.02 1.20 2/86 16870
/proc/meminfo: memFree=943920/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=881404 CPUtime=281.53
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 166768 0 1 0 27955 198 0 0 17 0 8 0 262611945 902557696 165403 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4103645622 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16863/statm: 220351 165403 1834 14 0 207612 0
[pid=16863/tid=16864] ppid=16860 vsize=881404 CPUtime=8.38
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 140863 0 0 0 785 53 0 0 16 0 8 0 262611949 902557696 165403 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16863/tid=16865] ppid=16860 vsize=881404 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 902557696 165403 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=881404 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 262611949 902557696 165403 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=881404 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 902557696 165403 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=881404 CPUtime=12.21
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 11053 0 0 0 1163 58 0 0 16 0 8 0 262611952 902557696 165403 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16863/tid=16869] ppid=16860 vsize=881404 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 902557696 165403 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=881404 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 902557696 165403 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.53
Current children cumulated vsize (KiB) 886756

[startup+342.768 s]
/proc/loadavg: 1.00 1.01 1.18 2/86 16870
/proc/meminfo: memFree=924592/2055920 swapFree=4165612/4192956
[pid=16860] ppid=16858 vsize=5352 CPUtime=0
/proc/16860/stat : 16860 (cspfj.sh) S 16858 16860 16166 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 262611945 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16860/statm: 1338 240 201 169 0 49 0
[pid=16863] ppid=16860 vsize=882788 CPUtime=341.55
/proc/16863/stat : 16863 (java) R 16860 16860 16166 0 -1 0 171730 0 1 0 33953 202 0 0 25 0 8 0 262611945 903974912 170142 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074228135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16863/statm: 220697 170142 1834 14 0 207958 0
[pid=16863/tid=16864] ppid=16860 vsize=882788 CPUtime=9.94
/proc/16863/task/16864/stat : 16864 (java) S 16860 16860 16166 0 -1 64 145537 0 0 0 940 54 0 0 16 0 8 0 262611949 903974912 170142 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16863/tid=16865] ppid=16860 vsize=882788 CPUtime=0
/proc/16863/task/16865/stat : 16865 (java) S 16860 16860 16166 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 262611949 903974912 170142 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16866] ppid=16860 vsize=882788 CPUtime=0
/proc/16863/task/16866/stat : 16866 (java) S 16860 16860 16166 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 262611949 903974912 170142 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16867] ppid=16860 vsize=882788 CPUtime=0
/proc/16863/task/16867/stat : 16867 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 262611952 903974912 170142 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16868] ppid=16860 vsize=882788 CPUtime=12.51
/proc/16863/task/16868/stat : 16868 (java) S 16860 16860 16166 0 -1 64 11305 0 0 0 1192 59 0 0 15 0 8 0 262611952 903974912 170142 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16869] ppid=16860 vsize=882788 CPUtime=0
/proc/16863/task/16869/stat : 16869 (java) S 16860 16860 16166 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 262611952 903974912 170142 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16863/tid=16870] ppid=16860 vsize=882788 CPUtime=0
/proc/16863/task/16870/stat : 16870 (java) S 16860 16860 16166 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 262611952 903974912 170142 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.55
Current children cumulated vsize (KiB) 888140

Child status: 0
Real time (s): 371.736
CPU time (s): 370.5
CPU user time (s): 368.368
CPU system time (s): 2.13168
CPU usage (%): 99.6675
Max. virtual memory (cumulated for all children) (KiB): 889240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.368
system time used= 2.13167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172228
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= 40744
involuntary context switches= 12679

runsolver used 0.352946 s user time and 1.00885 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Thu Jan 18 17:42:42 UTC 2007


IDJOB= 270322
IDBENCH= 3766
IDSOLVER= 91
FILE ID= node1/270322-1169142162

PBS_JOBID= 3582512

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-8.xml
COMMAND LINE= /tmp/evaluation/270322-1169142162/cspfj.sh  -competition /tmp/evaluation/270322-1169142162/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-270322-1169142162 -o ROOT/results/node1/solver-270322-1169142162 -C 1800 -M 900  /tmp/evaluation/270322-1169142162/cspfj.sh  -competition /tmp/evaluation/270322-1169142162/unknown.xml

META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH=  5e81a4b26673d50f35769983d5101c1c

RANDOM SEED= 885309086

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.234
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.234
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:       1600080 kB
Buffers:         44000 kB
Cached:         304740 kB
SwapCached:       3840 kB
Active:         193028 kB
Inactive:       190444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600080 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            2240 kB
Writeback:           0 kB
Mapped:          44456 kB
Slab:            57744 kB
Committed_AS:  7282924 kB
PageTables:       1964 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 node1 on Thu Jan 18 17:48:54 UTC 2007