Trace number 207559

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CSP4J - MAC 2006-12-19SAT 1585.97 1594.65

DiagnosticValue
NODES1669

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)

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

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/node45/watcher-207559-1168182295 -o ROOT/results/node45/solver-207559-1168182295 -C 1800 -M 900 /tmp/evaluation/207559-1168182295/cspfj.sh -competition /tmp/evaluation/207559-1168182295/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.93 1.50 1.22 5/81 22969
/proc/meminfo: memFree=980384/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5212 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) R 22966 22968 22671 0 -1 4194304 93 0 0 0 0 0 0 0 20 0 1 0 166628629 5337088 66 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939278023 0 0 4096 0 0 0 0 17 1 0 0
/proc/22968/statm: 1303 66 49 169 0 14 0

[startup+0.104242 s]
/proc/loadavg: 1.93 1.50 1.22 5/81 22969
/proc/meminfo: memFree=980384/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.512314 s]
/proc/loadavg: 1.93 1.50 1.22 5/81 22969
/proc/meminfo: memFree=980384/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33846 s]
/proc/loadavg: 1.93 1.50 1.22 3/89 22978
/proc/meminfo: memFree=961696/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=865772 CPUtime=1.3
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 7162 0 1 0 123 7 0 0 24 0 8 0 166628630 886550528 6851 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155070622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22971/statm: 216443 6851 1828 14 0 203705 0
[pid=22971/tid=22972] ppid=22968 vsize=865772 CPUtime=0.18
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 3016 0 0 0 16 2 0 0 16 0 8 0 166628633 886550528 6851 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=865772 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 886550528 6851 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=865772 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166628634 886550528 6851 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=865772 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 886550528 6851 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=865772 CPUtime=0.23
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 519 0 0 0 22 1 0 0 15 0 8 0 166628637 886550528 6851 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=865772 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 886550528 6851 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=865772 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 886550528 6851 18446744073709551615 134512640 134570532 4294956528 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) 871124

[startup+2.99076 s]
/proc/loadavg: 1.93 1.50 1.22 3/89 22978
/proc/meminfo: memFree=949856/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=865860 CPUtime=2.94
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 11627 0 1 0 280 14 0 0 25 0 8 0 166628630 886640640 11285 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073674135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22971/statm: 216465 11285 1828 14 0 203727 0
[pid=22971/tid=22972] ppid=22968 vsize=865860 CPUtime=0.47
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 6778 0 0 0 42 5 0 0 16 0 8 0 166628633 886640640 11285 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=865860 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 886640640 11285 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=865860 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166628634 886640640 11285 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=865860 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 886640640 11285 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=865860 CPUtime=0.3
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 550 0 0 0 29 1 0 0 15 0 8 0 166628637 886640640 11285 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=865860 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 886640640 11285 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=865860 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 886640640 11285 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 871212

[startup+6.21235 s]
/proc/loadavg: 1.93 1.51 1.23 3/89 22978
/proc/meminfo: memFree=915616/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=865984 CPUtime=6.14
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 19264 0 1 0 586 28 0 0 25 0 8 0 166628630 886767616 18895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4154178336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22971/statm: 216496 18895 1828 14 0 203758 0
[pid=22971/tid=22972] ppid=22968 vsize=865984 CPUtime=0.87
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 13331 0 0 0 79 8 0 0 16 0 8 0 166628633 886767616 18895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166628634 886767616 18895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166628634 886767616 18895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 886767616 18895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=865984 CPUtime=0.38
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 577 0 0 0 36 2 0 0 16 0 8 0 166628637 886767616 18895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 886767616 18895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 886767616 18895 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 871336

[startup+12.7135 s]
/proc/loadavg: 2.02 1.54 1.24 3/89 22978
/proc/meminfo: memFree=858472/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=865984 CPUtime=12.62
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 31875 0 1 0 1212 50 0 0 25 0 8 0 166628630 886767616 31482 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22971/statm: 216496 31482 1828 14 0 203758 0
[pid=22971/tid=22972] ppid=22968 vsize=865984 CPUtime=1.63
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 24365 0 0 0 148 15 0 0 16 0 8 0 166628633 886767616 31482 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 886767616 31482 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166628634 886767616 31482 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 886767616 31482 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=865984 CPUtime=0.38
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 577 0 0 0 36 2 0 0 15 0 8 0 166628637 886767616 31482 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 886767616 31482 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=865984 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 886767616 31482 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 871336

[startup+25.6019 s]
/proc/loadavg: 2.01 1.56 1.25 3/89 22978
/proc/meminfo: memFree=792744/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=866588 CPUtime=25.44
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 49321 0 1 0 2465 79 0 0 25 0 8 0 166628630 887386112 48900 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073854576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22971/statm: 216647 48900 1828 14 0 203909 0
[pid=22971/tid=22972] ppid=22968 vsize=866588 CPUtime=3.11
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 39441 0 0 0 288 23 0 0 16 0 8 0 166628633 887386112 48900 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=866588 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166628634 887386112 48900 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=866588 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166628634 887386112 48900 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=866588 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 887386112 48900 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=866588 CPUtime=0.38
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 577 0 0 0 36 2 0 0 16 0 8 0 166628637 887386112 48900 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=866588 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 887386112 48900 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=866588 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 887386112 48900 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 871940

[startup+51.2965 s]
/proc/loadavg: 2.01 1.59 1.27 3/89 22978
/proc/meminfo: memFree=678056/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=868500 CPUtime=51.02
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 72477 0 1 0 4980 122 0 0 25 0 8 0 166628630 889344000 71200 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155091995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22971/statm: 217125 71200 1828 14 0 204387 0
[pid=22971/tid=22972] ppid=22968 vsize=868500 CPUtime=5.6
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 59541 0 0 0 526 34 0 0 16 0 8 0 166628633 889344000 71200 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=868500 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166628634 889344000 71200 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=868500 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166628634 889344000 71200 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=868500 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 889344000 71200 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=868500 CPUtime=0.38
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 577 0 0 0 36 2 0 0 16 0 8 0 166628637 889344000 71200 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=868500 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 889344000 71200 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=868500 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 889344000 71200 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 873852

[startup+102.507 s]
/proc/loadavg: 2.00 1.65 1.30 3/89 22978
/proc/meminfo: memFree=578088/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=869612 CPUtime=101.98
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 93206 0 1 0 10026 172 0 0 25 0 8 0 166628630 890482688 87876 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4074209977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22971/statm: 217403 87876 1833 14 0 204665 0
[pid=22971/tid=22972] ppid=22968 vsize=869612 CPUtime=7.11

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

[pid=22971/tid=22973] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=883992 CPUtime=14.37
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 11551 0 0 0 1361 76 0 0 16 0 8 0 166628637 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1174.86
Current children cumulated vsize (KiB) 889344

[startup+1243.4 s]
/proc/loadavg: 1.06 1.57 1.64 2/73 23409
/proc/meminfo: memFree=853152/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=883992 CPUtime=1234.9
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 129597 0 1 0 123226 264 0 0 25 0 8 0 166628630 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072937501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22971/statm: 220998 123897 1834 14 0 208260 0
[pid=22971/tid=22972] ppid=22968 vsize=883992 CPUtime=9.52
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 100049 0 0 0 893 59 0 0 16 0 8 0 166628633 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=883992 CPUtime=14.37
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 11551 0 0 0 1361 76 0 0 16 0 8 0 166628637 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 905207808 123897 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1234.9
Current children cumulated vsize (KiB) 889344

[startup+1303.46 s]
/proc/loadavg: 1.02 1.47 1.60 2/73 23409
/proc/meminfo: memFree=853152/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=883992 CPUtime=1294.93
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 129601 0 1 0 129229 264 0 0 25 0 8 0 166628630 905207808 123901 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072928614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22971/statm: 220998 123901 1834 14 0 208260 0
[pid=22971/tid=22972] ppid=22968 vsize=883992 CPUtime=9.52
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 100049 0 0 0 893 59 0 0 16 0 8 0 166628633 905207808 123901 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 123901 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 123901 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 905207808 123901 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=883992 CPUtime=14.37
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 11551 0 0 0 1361 76 0 0 16 0 8 0 166628637 905207808 123901 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 905207808 123901 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 905207808 123901 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1294.93
Current children cumulated vsize (KiB) 889344

[startup+1363.51 s]
/proc/loadavg: 1.01 1.38 1.55 2/73 23409
/proc/meminfo: memFree=839328/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=883992 CPUtime=1354.96
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 133076 0 1 0 135230 266 0 0 25 0 8 0 166628630 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072936510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22971/statm: 220998 127375 1834 14 0 208260 0
[pid=22971/tid=22972] ppid=22968 vsize=883992 CPUtime=9.66
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 103521 0 0 0 905 61 0 0 16 0 8 0 166628633 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=883992 CPUtime=14.37
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 11551 0 0 0 1361 76 0 0 16 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1354.96
Current children cumulated vsize (KiB) 889344

[startup+1423.56 s]
/proc/loadavg: 1.00 1.31 1.52 2/73 23409
/proc/meminfo: memFree=839328/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=883992 CPUtime=1414.99
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 133076 0 1 0 141233 266 0 0 25 0 8 0 166628630 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072933116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22971/statm: 220998 127375 1834 14 0 208260 0
[pid=22971/tid=22972] ppid=22968 vsize=883992 CPUtime=9.66
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 103521 0 0 0 905 61 0 0 16 0 8 0 166628633 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=883992 CPUtime=14.37
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 11551 0 0 0 1361 76 0 0 16 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1414.99
Current children cumulated vsize (KiB) 889344

[startup+1483.6 s]
/proc/loadavg: 1.05 1.26 1.49 2/73 23409
/proc/meminfo: memFree=839264/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=883992 CPUtime=1475.01
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 133076 0 1 0 147235 266 0 0 25 0 8 0 166628630 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072926834 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22971/statm: 220998 127375 1834 14 0 208260 0
[pid=22971/tid=22972] ppid=22968 vsize=883992 CPUtime=9.66
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 103521 0 0 0 905 61 0 0 16 0 8 0 166628633 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=883992 CPUtime=14.37
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 11551 0 0 0 1361 76 0 0 16 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.01
Current children cumulated vsize (KiB) 889344

[startup+1543.65 s]
/proc/loadavg: 1.02 1.21 1.45 2/73 23409
/proc/meminfo: memFree=839328/2055920 swapFree=4184048/4192956
[pid=22968] ppid=22966 vsize=5352 CPUtime=0
/proc/22968/stat : 22968 (cspfj.sh) S 22966 22968 22671 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 166628629 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22968/statm: 1338 240 201 169 0 49 0
[pid=22971] ppid=22968 vsize=883992 CPUtime=1535.03
/proc/22971/stat : 22971 (java) R 22968 22968 22671 0 -1 0 133076 0 1 0 153237 266 0 0 25 0 8 0 166628630 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22971/statm: 220998 127375 1834 14 0 208260 0
[pid=22971/tid=22972] ppid=22968 vsize=883992 CPUtime=9.66
/proc/22971/task/22972/stat : 22972 (java) S 22968 22968 22671 0 -1 64 103521 0 0 0 905 61 0 0 16 0 8 0 166628633 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22973] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22973/stat : 22973 (java) S 22968 22968 22671 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22974] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22974/stat : 22974 (java) S 22968 22968 22671 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166628634 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22975] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22975/stat : 22975 (java) S 22968 22968 22671 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22976] ppid=22968 vsize=883992 CPUtime=14.37
/proc/22971/task/22976/stat : 22976 (java) S 22968 22968 22671 0 -1 64 11551 0 0 0 1361 76 0 0 16 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22977] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22977/stat : 22977 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22971/tid=22978] ppid=22968 vsize=883992 CPUtime=0
/proc/22971/task/22978/stat : 22978 (java) S 22968 22968 22671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166628637 905207808 127375 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.03
Current children cumulated vsize (KiB) 889344

Child status: 0
Real time (s): 1594.65
CPU time (s): 1585.97
CPU user time (s): 1583.21
CPU system time (s): 2.75858
CPU usage (%): 99.456
Max. virtual memory (cumulated for all children) (KiB): 890592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1583.21
system time used= 2.75858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134559
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= 82543
involuntary context switches= 94517

runsolver used 1.73574 s user time and 4.92225 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sun Jan  7 15:04:56 UTC 2007


IDJOB= 207559
IDBENCH= 4298
FILE ID= node45/207559-1168182295

PBS_JOBID= 3479171

Free space on /tmp= 66540 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-9.xml
COMMAND LINE= /tmp/evaluation/207559-1168182295/cspfj.sh -competition /tmp/evaluation/207559-1168182295/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-207559-1168182295 -o ROOT/results/node45/solver-207559-1168182295 -C 1800 -M 900  /tmp/evaluation/207559-1168182295/cspfj.sh -competition /tmp/evaluation/207559-1168182295/unknown.xml

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  d3dec74f6acf47deb39467d9536ae53f

RANDOM SEED= 210130326

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.259
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.259
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:        980992 kB
Buffers:         47060 kB
Cached:         601124 kB
SwapCached:       3188 kB
Active:         669824 kB
Inactive:       343768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        980992 kB
SwapTotal:     4192956 kB
SwapFree:      4184048 kB
Dirty:            2692 kB
Writeback:           0 kB
Mapped:         379936 kB
Slab:            46000 kB
Committed_AS:  3876188 kB
PageTables:       2540 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= 66546 MiB



End job on node45 on Sun Jan  7 15:31:31 UTC 2007