Trace number 270676

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 876.858 879.821

DiagnosticValue
CHECKS285851262
NODES1485

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-9.xml
MD5SUMd3dec74f6acf47deb39467d9536ae53f
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 benchmark9.8445
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1250
Number of constraints18359
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18359
Global constraints used (with number of constraints)

Solver Data (download as text)

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

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-270676-1169149301 -o ROOT/results/node9/solver-270676-1169149301 -C 1800 -M 900 /tmp/evaluation/270676-1169149301/cspfj.sh -competition /tmp/evaluation/270676-1169149301/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.48 1.11 1.11 5/94 11512
/proc/meminfo: memFree=1016040/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=18540 CPUtime=0
/proc/11511/stat : 11511 (runsolver) R 11509 11511 11268 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 263325306 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 215418989863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11511/statm: 4635 279 244 17 0 2626 0

[startup+0.108478 s]
/proc/loadavg: 1.48 1.11 1.11 5/94 11512
/proc/meminfo: memFree=1016040/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.516528 s]
/proc/loadavg: 1.48 1.11 1.11 5/94 11512
/proc/meminfo: memFree=1016040/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33962 s]
/proc/loadavg: 1.48 1.11 1.11 4/102 11521
/proc/meminfo: memFree=980840/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=866232 CPUtime=1.3
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 7949 0 1 0 124 6 0 0 23 0 8 0 263325307 887021568 7637 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073923321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11514/statm: 216558 7637 1829 14 0 203819 0
[pid=11514/tid=11515] ppid=11511 vsize=866232 CPUtime=0.2
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 3645 0 0 0 18 2 0 0 16 0 8 0 263325310 887021568 7637 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11516] ppid=11511 vsize=866232 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 887021568 7637 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11517] ppid=11511 vsize=866232 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263325311 887021568 7637 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11518] ppid=11511 vsize=866232 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 887021568 7637 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=866232 CPUtime=0.23
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 643 0 0 0 23 0 0 0 16 0 8 0 263325314 887021568 7637 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=866232 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 887021568 7637 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=866232 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 887021568 7637 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 871584

[startup+3.00881 s]
/proc/loadavg: 1.52 1.12 1.12 3/102 11521
/proc/meminfo: memFree=958440/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=866356 CPUtime=2.97
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 15282 0 1 0 281 16 0 0 25 0 8 0 263325307 887148544 14941 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4154645201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11514/statm: 216589 14941 1829 14 0 203850 0
[pid=11514/tid=11515] ppid=11511 vsize=866356 CPUtime=0.47
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 10237 0 0 0 42 5 0 0 16 0 8 0 263325310 887148544 14941 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11516] ppid=11511 vsize=866356 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 887148544 14941 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11517] ppid=11511 vsize=866356 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263325311 887148544 14941 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11518] ppid=11511 vsize=866356 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 887148544 14941 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=866356 CPUtime=0.31
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 670 0 0 0 30 1 0 0 15 0 8 0 263325314 887148544 14941 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=866356 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 887148544 14941 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=866356 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 887148544 14941 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 871708

[startup+6.22317 s]
/proc/loadavg: 1.52 1.12 1.12 4/102 11521
/proc/meminfo: memFree=880040/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=866580 CPUtime=6.16
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 27950 0 1 0 587 29 0 0 25 0 8 0 263325307 887377920 27589 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073651985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11514/statm: 216645 27589 1829 14 0 203906 0
[pid=11514/tid=11515] ppid=11511 vsize=866580 CPUtime=1.26
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 21329 0 0 0 117 9 0 0 16 0 8 0 263325310 887377920 27589 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11516] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 887377920 27589 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11517] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263325311 887377920 27589 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11518] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 887377920 27589 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=866580 CPUtime=0.37
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 700 0 0 0 36 1 0 0 15 0 8 0 263325314 887377920 27589 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 887377920 27589 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 887377920 27589 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 871932

[startup+12.6399 s]
/proc/loadavg: 1.67 1.17 1.13 4/102 11521
/proc/meminfo: memFree=750824/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=866580 CPUtime=12.55
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 50409 0 1 0 1202 53 0 0 25 0 8 0 263325307 887377920 50029 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155092017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11514/statm: 216645 50029 1829 14 0 203906 0
[pid=11514/tid=11515] ppid=11511 vsize=866580 CPUtime=2.25
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 41775 0 0 0 207 18 0 0 16 0 8 0 263325310 887377920 50029 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11516] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 887377920 50029 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11517] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263325311 887377920 50029 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11518] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 887377920 50029 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=866580 CPUtime=0.37
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 700 0 0 0 36 1 0 0 16 0 8 0 263325314 887377920 50029 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 887377920 50029 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=866580 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 887377920 50029 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 871932

[startup+25.5033 s]
/proc/loadavg: 1.72 1.20 1.14 3/102 11521
/proc/meminfo: memFree=612712/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=866740 CPUtime=25.35
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 81089 0 1 0 2448 87 0 0 25 0 8 0 263325307 887541760 80695 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073823018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11514/statm: 216685 80695 1829 14 0 203946 0
[pid=11514/tid=11515] ppid=11511 vsize=866740 CPUtime=4.06
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 69634 0 0 0 376 30 0 0 16 0 8 0 263325310 887541760 80695 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11516] ppid=11511 vsize=866740 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 887541760 80695 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11517] ppid=11511 vsize=866740 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263325311 887541760 80695 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11518] ppid=11511 vsize=866740 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 887541760 80695 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=866740 CPUtime=0.37
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 700 0 0 0 36 1 0 0 16 0 8 0 263325314 887541760 80695 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=866740 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 887541760 80695 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=866740 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 887541760 80695 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 872092

[startup+51.1652 s]
/proc/loadavg: 1.82 1.26 1.16 3/102 11521
/proc/meminfo: memFree=427304/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=867476 CPUtime=50.89
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 125539 0 1 0 4952 137 0 0 25 0 8 0 263325307 888295424 122642 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073881368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11514/statm: 216869 122642 1829 14 0 204130 0
[pid=11514/tid=11515] ppid=11511 vsize=867476 CPUtime=7.05
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 109040 0 0 0 659 46 0 0 16 0 8 0 263325310 888295424 122642 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11516] ppid=11511 vsize=867476 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 888295424 122642 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11517] ppid=11511 vsize=867476 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263325311 888295424 122642 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11518] ppid=11511 vsize=867476 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 888295424 122642 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=867476 CPUtime=0.37
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 700 0 0 0 36 1 0 0 16 0 8 0 263325314 888295424 122642 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=867476 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 888295424 122642 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=867476 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 888295424 122642 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 872828

[startup+102.465 s]
/proc/loadavg: 2.00 1.40 1.21 3/102 11521
/proc/meminfo: memFree=346984/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=870124 CPUtime=101.94
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 141850 0 1 0 10021 173 0 0 25 0 8 0 263325307 891006976 138917 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074233774 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11514/statm: 217531 138917 1834 14 0 204792 0
[pid=11514/tid=11515] ppid=11511 vsize=870124 CPUtime=8.66

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

[pid=11514/tid=11516] ppid=11511 vsize=882012 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 903180288 147937 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11517] ppid=11511 vsize=882012 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 263325311 903180288 147937 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11518] ppid=11511 vsize=882012 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 903180288 147937 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=882012 CPUtime=14.11
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 11839 0 0 0 1343 68 0 0 15 0 8 0 263325314 903180288 147937 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=882012 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 903180288 147937 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=882012 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 903180288 147937 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.57
Current children cumulated vsize (KiB) 887364

[startup+522.852 s]
/proc/loadavg: 2.04 1.91 1.52 3/102 11665
/proc/meminfo: memFree=853608/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=883248 CPUtime=520.28
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 154992 0 1 0 51788 240 0 0 25 0 8 0 263325307 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4075602368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11514/statm: 220812 151677 1835 14 0 208073 0
[pid=11514/tid=11515] ppid=11511 vsize=883248 CPUtime=10.48
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 126388 0 0 0 995 53 0 0 16 0 8 0 263325310 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11516] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11517] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11518] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=883248 CPUtime=14.11
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 11839 0 0 0 1343 68 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.28
Current children cumulated vsize (KiB) 888600

[startup+582.872 s]
/proc/loadavg: 2.01 1.92 1.55 3/102 11665
/proc/meminfo: memFree=850280/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=883248 CPUtime=580.25
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 154992 0 1 0 57784 241 0 0 25 0 8 0 263325307 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072897127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11514/statm: 220812 151677 1835 14 0 208073 0
[pid=11514/tid=11515] ppid=11511 vsize=883248 CPUtime=10.48
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 126388 0 0 0 995 53 0 0 16 0 8 0 263325310 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11516] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11517] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11518] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=883248 CPUtime=14.11
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 11839 0 0 0 1343 68 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.25
Current children cumulated vsize (KiB) 888600

[startup+642.883 s]
/proc/loadavg: 2.00 1.93 1.57 3/102 11665
/proc/meminfo: memFree=850216/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=883248 CPUtime=640.21
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 154992 0 1 0 63780 241 0 0 25 0 8 0 263325307 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11514/statm: 220812 151677 1835 14 0 208073 0
[pid=11514/tid=11515] ppid=11511 vsize=883248 CPUtime=10.48
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 126388 0 0 0 995 53 0 0 16 0 8 0 263325310 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11516] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11517] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11518] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=883248 CPUtime=14.11
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 11839 0 0 0 1343 68 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.21
Current children cumulated vsize (KiB) 888600

[startup+702.893 s]
/proc/loadavg: 2.00 1.94 1.59 3/102 11665
/proc/meminfo: memFree=850280/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=883248 CPUtime=700.14
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 154992 0 1 0 69773 241 0 0 25 0 8 0 263325307 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074231784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11514/statm: 220812 151677 1835 14 0 208073 0
[pid=11514/tid=11515] ppid=11511 vsize=883248 CPUtime=10.48
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 126388 0 0 0 995 53 0 0 16 0 8 0 263325310 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11516] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11517] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11518] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=883248 CPUtime=14.11
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 11839 0 0 0 1343 68 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 700.14
Current children cumulated vsize (KiB) 888600

[startup+762.903 s]
/proc/loadavg: 2.08 1.98 1.63 3/102 11665
/proc/meminfo: memFree=850280/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=883248 CPUtime=760.09
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 154992 0 1 0 75768 241 0 0 25 0 8 0 263325307 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11514/statm: 220812 151677 1835 14 0 208073 0
[pid=11514/tid=11515] ppid=11511 vsize=883248 CPUtime=10.48
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 126388 0 0 0 995 53 0 0 16 0 8 0 263325310 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11516] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11517] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11518] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=883248 CPUtime=14.11
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 11839 0 0 0 1343 68 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 760.09
Current children cumulated vsize (KiB) 888600

[startup+822.911 s]
/proc/loadavg: 2.03 1.98 1.65 3/102 11665
/proc/meminfo: memFree=850280/2055920 swapFree=4191880/4192956
[pid=11511] ppid=11509 vsize=5352 CPUtime=0
/proc/11511/stat : 11511 (cspfj.sh) S 11509 11511 11268 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 263325306 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11511/statm: 1338 240 201 169 0 49 0
[pid=11514] ppid=11511 vsize=883248 CPUtime=820.05
/proc/11514/stat : 11514 (java) R 11511 11511 11268 0 -1 0 154992 0 1 0 81764 241 0 0 25 0 8 0 263325307 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4072925390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11514/statm: 220812 151677 1835 14 0 208073 0
[pid=11514/tid=11515] ppid=11511 vsize=883248 CPUtime=10.48
/proc/11514/task/11515/stat : 11515 (java) S 11511 11511 11268 0 -1 64 126388 0 0 0 995 53 0 0 16 0 8 0 263325310 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11516] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11516/stat : 11516 (java) S 11511 11511 11268 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11517] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11517/stat : 11517 (java) S 11511 11511 11268 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 263325311 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11514/tid=11518] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11518/stat : 11518 (java) S 11511 11511 11268 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11519] ppid=11511 vsize=883248 CPUtime=14.11
/proc/11514/task/11519/stat : 11519 (java) S 11511 11511 11268 0 -1 64 11839 0 0 0 1343 68 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11520] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11520/stat : 11520 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11514/tid=11521] ppid=11511 vsize=883248 CPUtime=0
/proc/11514/task/11521/stat : 11521 (java) S 11511 11511 11268 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 263325314 904445952 151677 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 820.05
Current children cumulated vsize (KiB) 888600

Child status: 0
Real time (s): 879.821
CPU time (s): 876.858
CPU user time (s): 874.352
CPU system time (s): 2.50562
CPU usage (%): 99.6631
Max. virtual memory (cumulated for all children) (KiB): 890328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 874.352
system time used= 2.50562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155476
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= 67853
involuntary context switches= 76232

runsolver used 1.06384 s user time and 2.88156 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Thu Jan 18 19:41:42 UTC 2007


IDJOB= 270676
IDBENCH= 4298
IDSOLVER= 91
FILE ID= node9/270676-1169149301

PBS_JOBID= 3582602

Free space on /tmp= 66559 MiB

SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-9.xml
COMMAND LINE= /tmp/evaluation/270676-1169149301/cspfj.sh  -competition /tmp/evaluation/270676-1169149301/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-270676-1169149301 -o ROOT/results/node9/solver-270676-1169149301 -C 1800 -M 900  /tmp/evaluation/270676-1169149301/cspfj.sh  -competition /tmp/evaluation/270676-1169149301/unknown.xml

META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH=  d3dec74f6acf47deb39467d9536ae53f

RANDOM SEED= 190685965

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:       1016584 kB
Buffers:         53592 kB
Cached:         411532 kB
SwapCached:        268 kB
Active:         633632 kB
Inactive:       322496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1016584 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2768 kB
Writeback:           0 kB
Mapped:         510556 kB
Slab:            67072 kB
Committed_AS:  8278844 kB
PageTables:       3236 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 19:56:22 UTC 2007