Trace number 207462

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 - Combo 2006-12-19SAT 1161.01 1171.95

DiagnosticValue
NODES1452

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-10.xml
MD5SUMc9bcb9dd70ccc4a9926bdf95ae516c0c
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 benchmark11.0113
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)

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

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/node34/watcher-207462-1168181844 -o ROOT/results/node34/solver-207462-1168181844 -C 1800 -M 900 /tmp/evaluation/207462-1168181844/cspfj.sh -solver Combo -competition /tmp/evaluation/207462-1168181844/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.97 1.95 1.97 3/81 10153
/proc/meminfo: memFree=1250704/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=18540 CPUtime=0
/proc/10152/stat : 10152 (runsolver) R 10150 10152 9927 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 166578245 18984960 279 18446744073709551615 4194304 4267372 548682069024 18446744073709551615 254195330343 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10152/statm: 4635 279 244 17 0 2626 0

[startup+0.102372 s]
/proc/loadavg: 1.97 1.95 1.97 3/81 10153
/proc/meminfo: memFree=1250704/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.510403 s]
/proc/loadavg: 1.97 1.95 1.97 3/81 10153
/proc/meminfo: memFree=1250704/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34047 s]
/proc/loadavg: 1.97 1.95 1.97 4/89 10162
/proc/meminfo: memFree=1230864/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=865760 CPUtime=1.3
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 7357 0 1 0 124 6 0 0 25 0 8 0 166578246 886538240 7044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073525232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10155/statm: 216440 7044 1828 14 0 203702 0
[pid=10155/tid=10156] ppid=10152 vsize=865760 CPUtime=0.16
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 3175 0 0 0 14 2 0 0 16 0 8 0 166578249 886538240 7044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10157] ppid=10152 vsize=865760 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166578250 886538240 7044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10158] ppid=10152 vsize=865760 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166578250 886538240 7044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10159] ppid=10152 vsize=865760 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 886538240 7044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=865760 CPUtime=0.24
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 526 0 0 0 24 0 0 0 15 0 8 0 166578253 886538240 7044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=865760 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 886538240 7044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=865760 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 886538240 7044 18446744073709551615 134512640 134570532 4294956496 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) 871112

[startup+2.98961 s]
/proc/loadavg: 1.97 1.95 1.97 3/89 10162
/proc/meminfo: memFree=1217744/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=865840 CPUtime=2.95
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 12185 0 1 0 282 13 0 0 25 0 8 0 166578246 886620160 11840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073659580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10155/statm: 216460 11840 1828 14 0 203722 0
[pid=10155/tid=10156] ppid=10152 vsize=865840 CPUtime=0.4
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 7252 0 0 0 36 4 0 0 16 0 8 0 166578249 886620160 11840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10157] ppid=10152 vsize=865840 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166578250 886620160 11840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10158] ppid=10152 vsize=865840 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166578250 886620160 11840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10159] ppid=10152 vsize=865840 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 886620160 11840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=865840 CPUtime=0.3
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 549 0 0 0 29 1 0 0 15 0 8 0 166578253 886620160 11840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=865840 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 886620160 11840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=865840 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 886620160 11840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 871192

[startup+6.21087 s]
/proc/loadavg: 1.97 1.95 1.97 3/89 10162
/proc/meminfo: memFree=1179600/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=866004 CPUtime=6.13
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 20643 0 1 0 588 25 0 0 25 0 8 0 166578246 886788096 20270 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155091998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10155/statm: 216501 20270 1828 14 0 203763 0
[pid=10155/tid=10156] ppid=10152 vsize=866004 CPUtime=0.75
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 14574 0 0 0 68 7 0 0 16 0 8 0 166578249 886788096 20270 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10157] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166578250 886788096 20270 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10158] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166578250 886788096 20270 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10159] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 886788096 20270 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=866004 CPUtime=0.35
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 575 0 0 0 34 1 0 0 15 0 8 0 166578253 886788096 20270 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 886788096 20270 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 886788096 20270 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 871356

[startup+12.6924 s]
/proc/loadavg: 1.97 1.95 1.97 3/89 10162
/proc/meminfo: memFree=1123920/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=866004 CPUtime=12.58
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 33487 0 1 0 1214 44 0 0 25 0 8 0 166578246 886788096 33091 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073854576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10155/statm: 216501 33091 1828 14 0 203763 0
[pid=10155/tid=10156] ppid=10152 vsize=866004 CPUtime=1.68
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 25836 0 0 0 157 11 0 0 16 0 8 0 166578249 886788096 33091 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10157] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166578250 886788096 33091 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10158] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166578250 886788096 33091 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10159] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 886788096 33091 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=866004 CPUtime=0.35
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 575 0 0 0 34 1 0 0 15 0 8 0 166578253 886788096 33091 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 886788096 33091 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=866004 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 886788096 33091 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 871356

[startup+25.5764 s]
/proc/loadavg: 1.98 1.95 1.97 3/89 10162
/proc/meminfo: memFree=1050384/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=866460 CPUtime=25.4
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 53081 0 1 0 2469 71 0 0 25 0 8 0 166578246 887255040 52657 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073854576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10155/statm: 216615 52657 1828 14 0 203877 0
[pid=10155/tid=10156] ppid=10152 vsize=866460 CPUtime=2.54
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 42901 0 0 0 237 17 0 0 16 0 8 0 166578249 887255040 52657 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10157] ppid=10152 vsize=866460 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166578250 887255040 52657 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10158] ppid=10152 vsize=866460 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166578250 887255040 52657 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10159] ppid=10152 vsize=866460 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 887255040 52657 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=866460 CPUtime=0.35
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 575 0 0 0 34 1 0 0 15 0 8 0 166578253 887255040 52657 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=866460 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 887255040 52657 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=866460 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 887255040 52657 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 871812

[startup+51.2505 s]
/proc/loadavg: 1.98 1.96 1.97 4/89 10162
/proc/meminfo: memFree=945360/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=867452 CPUtime=50.95
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 78469 0 1 0 4985 110 0 0 25 0 8 0 166578246 888270848 77648 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073855927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10155/statm: 216863 77648 1828 14 0 204125 0
[pid=10155/tid=10156] ppid=10152 vsize=867452 CPUtime=4.48
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 65568 0 0 0 422 26 0 0 16 0 8 0 166578249 888270848 77648 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10157] ppid=10152 vsize=867452 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166578250 888270848 77648 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10158] ppid=10152 vsize=867452 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 166578250 888270848 77648 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10159] ppid=10152 vsize=867452 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 888270848 77648 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=867452 CPUtime=0.35
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 575 0 0 0 34 1 0 0 16 0 8 0 166578253 888270848 77648 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=867452 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 888270848 77648 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=867452 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 888270848 77648 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 872804

[startup+102.541 s]
/proc/loadavg: 1.99 1.96 1.97 3/89 10162
/proc/meminfo: memFree=901456/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=870328 CPUtime=101.99
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 89453 0 1 0 10055 144 0 0 25 0 8 0 166578246 891215872 88627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10155/statm: 217582 88627 1833 14 0 204844 0
[pid=10155/tid=10156] ppid=10152 vsize=870328 CPUtime=5.49

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

[pid=10155/tid=10157] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166578250 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10158] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166578250 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10159] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=883248 CPUtime=14.11
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 11674 0 0 0 1346 65 0 0 15 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 756.81
Current children cumulated vsize (KiB) 888600

[startup+823.309 s]
/proc/loadavg: 2.00 2.05 2.02 3/92 10412
/proc/meminfo: memFree=402024/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=883248 CPUtime=816.13
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 127283 0 1 0 81385 228 0 0 25 0 8 0 166578246 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072927045 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10155/statm: 220812 126088 1834 14 0 208074 0
[pid=10155/tid=10156] ppid=10152 vsize=883248 CPUtime=8
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 102365 0 0 0 752 48 0 0 16 0 8 0 166578249 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10157] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166578250 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10158] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166578250 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10159] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=883248 CPUtime=14.11
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 11674 0 0 0 1346 65 0 0 15 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 816.13
Current children cumulated vsize (KiB) 888600

[startup+883.368 s]
/proc/loadavg: 2.00 2.04 2.01 3/92 10412
/proc/meminfo: memFree=403752/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=883248 CPUtime=875.51
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 127283 0 1 0 87322 229 0 0 25 0 8 0 166578246 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072916939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10155/statm: 220812 126088 1834 14 0 208074 0
[pid=10155/tid=10156] ppid=10152 vsize=883248 CPUtime=8
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 102365 0 0 0 752 48 0 0 16 0 8 0 166578249 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10157] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166578250 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10158] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166578250 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10159] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=883248 CPUtime=14.11
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 11674 0 0 0 1346 65 0 0 15 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 875.51
Current children cumulated vsize (KiB) 888600

[startup+943.433 s]
/proc/loadavg: 2.00 2.03 2.01 3/92 10412
/proc/meminfo: memFree=403752/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=883248 CPUtime=934.9
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 127283 0 1 0 93260 230 0 0 25 0 8 0 166578246 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072916853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10155/statm: 220812 126088 1834 14 0 208074 0
[pid=10155/tid=10156] ppid=10152 vsize=883248 CPUtime=8
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 102365 0 0 0 752 48 0 0 16 0 8 0 166578249 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10157] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166578250 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10158] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166578250 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10159] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=883248 CPUtime=14.11
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 11674 0 0 0 1346 65 0 0 15 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 904445952 126088 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 934.9
Current children cumulated vsize (KiB) 888600

[startup+1003.51 s]
/proc/loadavg: 2.00 2.02 2.00 3/92 10412
/proc/meminfo: memFree=401896/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=883248 CPUtime=994.26
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 127284 0 1 0 99194 232 0 0 25 0 8 0 166578246 904445952 126089 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155770827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10155/statm: 220812 126089 1834 14 0 208074 0
[pid=10155/tid=10156] ppid=10152 vsize=883248 CPUtime=8
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 102365 0 0 0 752 48 0 0 16 0 8 0 166578249 904445952 126089 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10157] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166578250 904445952 126089 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10158] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166578250 904445952 126089 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10159] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 904445952 126089 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=883248 CPUtime=14.11
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 11674 0 0 0 1346 65 0 0 15 0 8 0 166578253 904445952 126089 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 904445952 126089 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 904445952 126089 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 994.26
Current children cumulated vsize (KiB) 888600

[startup+1063.55 s]
/proc/loadavg: 2.00 2.02 2.00 3/92 10412
/proc/meminfo: memFree=392424/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=883248 CPUtime=1053.65
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 129685 0 1 0 105130 235 0 0 25 0 8 0 166578246 904445952 128489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10155/statm: 220812 128489 1834 14 0 208074 0
[pid=10155/tid=10156] ppid=10152 vsize=883248 CPUtime=8.13
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 104762 0 0 0 763 50 0 0 16 0 8 0 166578249 904445952 128489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10157] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166578250 904445952 128489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10158] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166578250 904445952 128489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10159] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 904445952 128489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=883248 CPUtime=14.11
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 11674 0 0 0 1346 65 0 0 15 0 8 0 166578253 904445952 128489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 904445952 128489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 904445952 128489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1053.65
Current children cumulated vsize (KiB) 888600

[startup+1123.55 s]
/proc/loadavg: 2.00 2.01 2.00 3/92 10412
/proc/meminfo: memFree=392360/2055920 swapFree=4192812/4192956
[pid=10152] ppid=10150 vsize=5352 CPUtime=0
/proc/10152/stat : 10152 (cspfj.sh) S 10150 10152 9927 0 -1 4194304 315 128 0 0 0 0 0 0 21 0 1 0 166578245 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10152/statm: 1338 240 201 169 0 49 0
[pid=10155] ppid=10152 vsize=883248 CPUtime=1113.08
/proc/10155/stat : 10155 (java) R 10152 10152 9927 0 -1 0 129688 0 1 0 111071 237 0 0 25 0 8 0 166578246 904445952 128492 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4072927090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10155/statm: 220812 128492 1834 14 0 208074 0
[pid=10155/tid=10156] ppid=10152 vsize=883248 CPUtime=8.13
/proc/10155/task/10156/stat : 10156 (java) S 10152 10152 9927 0 -1 64 104762 0 0 0 763 50 0 0 16 0 8 0 166578249 904445952 128492 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10157] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10157/stat : 10157 (java) S 10152 10152 9927 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 166578250 904445952 128492 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10158] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10158/stat : 10158 (java) S 10152 10152 9927 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 166578250 904445952 128492 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10155/tid=10159] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10159/stat : 10159 (java) S 10152 10152 9927 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166578253 904445952 128492 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10160] ppid=10152 vsize=883248 CPUtime=14.11
/proc/10155/task/10160/stat : 10160 (java) S 10152 10152 9927 0 -1 64 11674 0 0 0 1346 65 0 0 15 0 8 0 166578253 904445952 128492 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10161] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10161/stat : 10161 (java) S 10152 10152 9927 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 166578253 904445952 128492 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10155/tid=10162] ppid=10152 vsize=883248 CPUtime=0
/proc/10155/task/10162/stat : 10162 (java) S 10152 10152 9927 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166578253 904445952 128492 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1113.08
Current children cumulated vsize (KiB) 888600

Child status: 0
Real time (s): 1171.95
CPU time (s): 1161.01
CPU user time (s): 1158.52
CPU system time (s): 2.49562
CPU usage (%): 99.0665
Max. virtual memory (cumulated for all children) (KiB): 889688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1158.52
system time used= 2.49562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130163
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= 74025
involuntary context switches= 94014

runsolver used 1.73374 s user time and 4.10738 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sun Jan  7 14:57:25 UTC 2007


IDJOB= 207462
IDBENCH= 4292
FILE ID= node34/207462-1168181844

PBS_JOBID= 3479162

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH=  c9bcb9dd70ccc4a9926bdf95ae516c0c

RANDOM SEED= 187697656

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.227
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.227
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:       1251120 kB
Buffers:         36008 kB
Cached:         284408 kB
SwapCached:          0 kB
Active:         586252 kB
Inactive:       150644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1251120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2768 kB
Writeback:           0 kB
Mapped:         434552 kB
Slab:            52460 kB
Committed_AS:  3391868 kB
PageTables:       2608 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= 66538 MiB



End job on node34 on Sun Jan  7 15:16:58 UTC 2007