Trace number 2116880

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
Choco2.1.1b 2009-07-16SAT 398.479 402.408

DiagnosticValue
CHECKS0
NODES42312

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-10.xml
MD5SUM0c9bd9627ff304e4b5c8ec56755ce638
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 benchmark10.0325
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
Global constraints used (with number of constraints)

Solver Data 

398.39/402.33	s SATISFIABLE
398.39/402.33	v 2528 -2556 2112 2568 -2704 2612 2712 -2152 2524 -2548 2084 -2664 2216 2332 -2604 2252 -2664 2200 2284 -2600 2532 -2492 -2588 -2336 -2360 2564 2128 2648 -2492 2500 -2564 -2184 -2156 2600 2164 2288 -2028 -2644 2636 2352 -2264 -2656 2248 2528 -2612 -2232 2332 2492 2568 -2408 -2144 2596 -2488 -2020 2612 2248 -2232 2592 2468 2108 2356 -2204 2348 -2236 -2672 -2312 2128 2392 2560 -2688 2512 -2332 2160 2372 -2428 2164 -2116 -2524 2496 2288 -2468 -2676 2396 2248 -2508 2596 -2164 -2640 -2184 2428 -2660 -2556 -2084 2484 -2220 -2624 -2604 -2684 2176 2584 2048 2648 -2704 -2344 2636 2616 -2656 -2304 2400 -2620 -2512 -2456 -2220 -2652 -2532 2084 2660 2032 -2232 2364 -2616 -2532 -2372 2692 -2416 -2660 2660 2172 2208 -2528 2532 2360 -2572 2664 -2232 -2336 2588 -2664 2616 -2272 -2344 -2148 2104 2596 2088 2536 -2492 2408 -2580 2332 2572 -2152 -2652 -2232 2524 -2516 -2632 2684 2660 -2632 2620 2248 2608 -2576 -2676 2488 -2320 2696 2336 -2228 -2128 2616 -2356 2224 -2228 2460 -2400 2660 2304 -2496 2560 -2144 2700 2640 2628 2244 2064 2512 -2044 -2064 2388 -2220 -2596 -2676 2388 -2392 2596 2208 -2504 -2024 2560 -2700 2460 -2360 2536 2240 -2192 2072 2600 2340 2284 2408 2044 2620 -2148 -2480 -2484 2104 2620 -2084 -2368 2176 -2576 -2244 2144 -2412 2308 -2588 2476 2628 -2172 2408 2672 -2644 2660 2472 2180 -2340 -2236 -2552 2452 2160 -2544 -2336 -2232 2532 -2212 -2492 -2292 2580 -2192 -2704 2688 2528 -2316 2168 -2524 2520 2400 -2088 2280 2684 -2100 2636 -2688 -2596 -2476 -2208 2024 -2620 -2688 2624 -2536 2124 -2648 -2600 -2220 2472 -2608 2224 -2544 -2440 2292 2088 2476 -2192 -2684 -2468 2372 -2416 2624 2620 2656 -2248 2484 -2664 -2320 2632 2604 2628 -2400 -2388 -2404 2124 2428 2504 -2048 2496 -2616 2312 -2208 -2552 2204 -2636 2524 2320 -2332 -2492 -2272 -2368 2608 -2388 -2592 -2208 2608 2640 -2224 -2660 2640 -2232 2316 2588 -2352 -2636 2192 -2036 -2248 2708 2552 -2400 -2708 2496 2604 -2524 2044 -2484 -2196 -2532 2068 -2644 2576 -2676 2660 2624 2296 -2568 -2440 2344 -2060 -2320 2572 -2428 2552 -2068 2304 2360 -2648 2532 -2580 2648 -2284 -2480 -2152 -2456 2588 2084 2416 -2132 2620 2528 -2336 -2484 -2392 -2620 -2168 2652 -2216 2544 2480 -2536 2276 -2648 -2388 -2636 2324 2488 2272 2516 2252 -2336 -2452 -2088 2072 2280 2192 -2444 2608 -2652 2340 -2532 -2640 2260 -2696 -2636 -2572 -2560 2040 2452 2352 2656 2636 -2680 2620 -2640 -2680 -2292 -2536 2088 2476 -2636 2628 2136 2188 2348 2520 2640 2140 2256 -2516 2532 2248 2520 -2176 2236 2212 2552 2208 -2648 -2676 -2540 -2100 -2516 2660 2588 -2200 2376 2580 -2652 -2352 -2436 2544 -2384 2032 -2324 2560 -2640 -2256 2360 2676 2356 2648 -2440 -2532 2660 2060 -2572 2532 -2372 2108 -2672 -2296 -2208 -2548 -2224 2412 2180 -2516 -2116 -2504 2248 -2608 -2480 -2500 2556 -2220 2520 -2376 2664 -2548 2292 2412 -2468 2548 2564 -2560 -2044 2324 -2628 -2548 -2592 2248 -2380 2208 2568 -2200 -2512 -2264 2348 2448 2376 -2348 -2048 2520 2208 2632 -2300 2624 -2360 2492 2568 -2296 2248 2600 -2104 -2584 2612 -2540 -2592 -2512 -2420 2560 -2388 2636 -2568 -2152 -2664 -2184 -2588 -2564 2548 -2492 2140 2448 2600 2284 -2572 -2300 2668 -2400 -2500 2196 2668 2364 2572 2444 2352 -2180 2288 -2544 -2020 2440 2324 -2208 -2292 -2604 -2168 2260 -2160 2552 2392 2144 -2168 2484 2512 -2312 2384 -2220 -2536 -2540 -2620 -2044 2520 2620 -2296 -2688 2716 2520 -2576 2292 -2316 2364 -2588 2644 -2192 2296 2576 2548 2280 2508 2660 2480 2636 2636 -2636 2508 -2384 -2336 -2084 2352 -2528 -2596 2556 2644 -2080 -2612 2656 2664 -2440 2580 -2488 -2612 -2596 -2616 2504 -2340 2540 2248 2596 2152 2648 -2612 2580 2400 2320 -2212 -2588 -2440 -2324 -2712 -2276 -2596 -2600 2672 2592 -2260 -2532 -2428 -2388 2632 2284 -2184 -2228 2500 -2168 -2148 -2364 2388 2288 -2352 -2524 -2500 -2180 -2572 -2120 -2600 2412 2344 -2636 2484 2348 2360 -2280 -2376 -2600 -2184 2192 2580 2168 -2128 2320 -2612 -2064 2648 2248 -2556 -2064 -2600 2344 -2504 -2084 -2356 -2676 2424 -2632 -2268 2328 2268 2076 -2312 -2316 -2024 -2492 -2556 2548 2400 -2136 -2044 2676 2144 2692 -2336 -2596 -2268 -2428 2664 -2164 2188 -2060 -2428 -2416 2188 -2080 2112 2676 2384 2104 -2668 -2608 -2376 -2596 -2700 2460 -2540 -2300 2440 -2644 -2636 2612 2592 2204 2324 -2024 2636 -2544 2252 2704 -2508 -2332 -2620 -2640 -2352 -2044 -2060 -2656 -2020 2492 -2064 -2616 2672 2448 2632 -2480 -2644 -2376 -2676 2704 2652 2600 -2368 2372 -2252 2628 2620 -2488 -2608 2528 2560 -2480 -2440 -2536 2288 2288 2540 2636 -2576 2620 -2580 -2076 -2324 -2652 
398.39/402.33	d AC 32
398.39/402.33	d RUNTIME 402.055
398.39/402.33	d NODES 42312
398.39/402.33	d NODES/s 105
398.39/402.33	d BACKTRACKS 355279
398.39/402.33	d BACKTRACKS/s 884
398.39/402.33	d CHECKS 0
398.39/402.33	d CHECKS/s 0
398.39/402.33	c SAT 402.055 TIME      42312 NDS    1404 PARSTIME      921 BUILDPB       1443 CONFIG        398287 RES       true RESTART       1 HEURISTIC       true RANDVAL

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2116880-1248032691/watcher-2116880-1248032691 -o /tmp/evaluation-result-2116880-1248032691/solver-2116880-1248032691 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116880-1248032691.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.92 3/80 26874
/proc/meminfo: memFree=111576/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=1616 CPUtime=0
/proc/26874/stat : 26874 (java) D 26872 26874 25438 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 90333054 1654784 161 996147200 134512640 134550932 4294956064 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/26874/statm: 404 164 127 9 0 46 0

[startup+0.0410561 s]
/proc/loadavg: 1.92 1.98 1.92 3/80 26874
/proc/meminfo: memFree=111576/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=859568 CPUtime=0.01
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 1857 0 1 0 0 1 0 0 18 0 4 0 90333054 880197632 1524 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 214892 1524 684 9 0 209807 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 859568

[startup+0.102162 s]
/proc/loadavg: 1.92 1.98 1.92 3/80 26874
/proc/meminfo: memFree=111576/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=862252 CPUtime=0.08
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 3269 0 1 0 6 2 0 0 18 0 9 0 90333054 882946048 2737 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 215563 2737 1294 9 0 210433 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 862252

[startup+0.302194 s]
/proc/loadavg: 1.92 1.98 1.92 3/80 26874
/proc/meminfo: memFree=111576/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=864192 CPUtime=0.27
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 4466 0 1 0 25 2 0 0 18 0 9 0 90333054 884932608 3891 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216048 3891 1855 9 0 210517 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 864192

[startup+0.701274 s]
/proc/loadavg: 1.92 1.98 1.92 3/80 26874
/proc/meminfo: memFree=111576/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=864932 CPUtime=0.68
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 6493 0 1 0 64 4 0 0 18 0 9 0 90333054 885690368 5915 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216233 5915 1869 9 0 210702 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864932

[startup+1.50143 s]
/proc/loadavg: 1.92 1.98 1.92 3/89 26883
/proc/meminfo: memFree=83784/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865060 CPUtime=1.46
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 19113 0 1 0 135 11 0 0 18 0 9 0 90333054 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216265 18523 1912 9 0 210734 0
[pid=26874/tid=26876] ppid=26872 vsize=865060 CPUtime=1.13
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14297 0 1 0 105 8 0 0 25 0 9 0 90333055 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4126803319 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865060 CPUtime=0.1
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 3513 0 0 0 9 1 0 0 17 0 9 0 90333058 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865060 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 90333058 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865060 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90333058 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865060 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865060 CPUtime=0.2
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 571 0 0 0 20 0 0 0 16 0 9 0 90333060 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865060 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865060 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 885821440 18523 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 865060

[startup+3.10274 s]
/proc/loadavg: 1.92 1.98 1.92 3/89 26883
/proc/meminfo: memFree=43848/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865156 CPUtime=3.05
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 25018 0 1 0 290 15 0 0 18 0 9 0 90333054 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216289 24394 1984 9 0 210758 0
[pid=26874/tid=26876] ppid=26872 vsize=865156 CPUtime=2.43
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14792 0 1 0 234 9 0 0 25 0 9 0 90333055 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4159675414 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865156 CPUtime=0.28
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 8844 0 0 0 25 3 0 0 17 0 9 0 90333058 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865156 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865156 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865156 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865156 CPUtime=0.31
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 650 0 0 0 30 1 0 0 16 0 9 0 90333060 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865156 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865156 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 885919744 24394 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 865156

[startup+6.30133 s]
/proc/loadavg: 2.09 2.02 1.93 3/89 26883
/proc/meminfo: memFree=15760/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=6.19
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 36011 0 1 0 599 20 0 0 18 0 9 0 90333054 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 35383 1987 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=5.21
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14841 0 1 0 511 10 0 0 25 0 9 0 90333055 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4126631598 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.54
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 19714 0 0 0 47 7 0 0 16 0 9 0 90333058 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.41
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 724 0 0 0 40 1 0 0 15 0 9 0 90333060 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 35383 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 865288

[startup+12.7016 s]
/proc/loadavg: 2.08 2.02 1.93 3/89 26883
/proc/meminfo: memFree=16208/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=12.49
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 58018 0 1 0 1219 30 0 0 18 0 9 0 90333054 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 57388 1987 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=11.34
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14843 0 1 0 1124 10 0 0 25 0 9 0 90333055 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4127229744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.72
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 41718 0 0 0 55 17 0 0 16 0 9 0 90333058 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.41
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 725 0 0 0 40 1 0 0 16 0 9 0 90333060 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 57388 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 865288

[startup+25.503 s]
/proc/loadavg: 2.06 2.01 1.93 3/89 26883
/proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=25.16
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 69079 0 1 0 2481 35 0 0 18 0 9 0 90333054 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 68437 1992 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=23.84
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14872 0 1 0 2374 10 0 0 25 0 9 0 90333055 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4127367790 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.8
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 52708 0 0 0 59 21 0 0 17 0 9 0 90333058 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.49
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 767 0 0 0 47 2 0 0 15 0 9 0 90333060 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 68437 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 865288

[startup+51.1029 s]
/proc/loadavg: 2.04 2.01 1.93 3/89 26883
/proc/meminfo: memFree=15568/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=50.51
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 69092 0 1 0 5014 37 0 0 18 0 9 0 90333054 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 68444 1992 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=49.17
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14878 0 1 0 4905 12 0 0 25 0 9 0 90333055 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4127239136 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.8
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 52708 0 0 0 59 21 0 0 17 0 9 0 90333058 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.5
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 774 0 0 0 48 2 0 0 16 0 9 0 90333060 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 68444 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 865288

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.93 3/89 26883
/proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=101.22
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 72930 0 1 0 10075 47 0 0 18 0 9 0 90333054 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 72278 1992 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=99.84
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14882 0 1 0 9964 20 0 0 25 0 9 0 90333055 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4127239479 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.84
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 56539 0 0 0 61 23 0 0 17 0 9 0 90333058 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.51
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 777 0 0 0 49 2 0 0 16 0 9 0 90333060 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 72278 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 865288

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 26883
/proc/meminfo: memFree=16080/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=160.66
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 74311 0 1 0 16008 58 0 0 18 0 9 0 90333054 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 73656 1992 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=159.26
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14885 0 1 0 15896 30 0 0 25 0 9 0 90333055 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4127243443 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.85
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 57917 0 0 0 62 23 0 0 16 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.51
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 777 0 0 0 49 2 0 0 16 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.66
Current children cumulated vsize (KiB) 865288

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 26883
/proc/meminfo: memFree=16080/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=220.09
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 74314 0 1 0 21944 65 0 0 18 0 9 0 90333054 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 73656 1992 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=218.69
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14888 0 1 0 21832 37 0 0 25 0 9 0 90333055 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4127519549 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.85
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 57917 0 0 0 62 23 0 0 16 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.51
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 777 0 0 0 49 2 0 0 16 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.09
Current children cumulated vsize (KiB) 865288

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 26883
/proc/meminfo: memFree=15440/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=279.52
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 74315 0 1 0 27873 79 0 0 18 0 9 0 90333054 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 73656 1992 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=278.12
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14889 0 1 0 27761 51 0 0 25 0 9 0 90333055 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4127519337 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.85
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 57917 0 0 0 62 23 0 0 16 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.51
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 777 0 0 0 49 2 0 0 16 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (KiB) 865288

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 26883
/proc/meminfo: memFree=15440/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=865288 CPUtime=338.95
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 74318 0 1 0 33808 87 0 0 18 0 9 0 90333054 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216322 73656 1992 9 0 210791 0
[pid=26874/tid=26876] ppid=26872 vsize=865288 CPUtime=337.55
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14892 0 1 0 33696 59 0 0 25 0 9 0 90333055 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4127519578 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=865288 CPUtime=0.85
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 57917 0 0 0 62 23 0 0 16 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=865288 CPUtime=0.51
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 777 0 0 0 49 2 0 0 16 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=865288 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90333060 886054912 73656 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 338.95
Current children cumulated vsize (KiB) 865288

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 26883
/proc/meminfo: memFree=15376/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=866312 CPUtime=398.39
/proc/26874/stat : 26874 (java) S 26872 26874 25438 0 -1 0 74342 0 1 0 39741 98 0 0 18 0 9 0 90333054 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 216578 73676 1997 9 0 211047 0
[pid=26874/tid=26876] ppid=26872 vsize=866312 CPUtime=396.97
/proc/26874/task/26876/stat : 26876 (java) R 26872 26874 25438 0 -1 64 14908 0 1 0 39627 70 0 0 24 0 9 0 90333055 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 102279120 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26877] ppid=26872 vsize=866312 CPUtime=0.86
/proc/26874/task/26877/stat : 26877 (java) S 26872 26874 25438 0 -1 64 57917 0 0 0 63 23 0 0 17 0 9 0 90333058 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26878] ppid=26872 vsize=866312 CPUtime=0
/proc/26874/task/26878/stat : 26878 (java) S 26872 26874 25438 0 -1 64 15 0 0 0 0 0 0 0 17 0 9 0 90333058 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26879] ppid=26872 vsize=866312 CPUtime=0
/proc/26874/task/26879/stat : 26879 (java) S 26872 26874 25438 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 90333058 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26880] ppid=26872 vsize=866312 CPUtime=0
/proc/26874/task/26880/stat : 26880 (java) S 26872 26874 25438 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90333060 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26881] ppid=26872 vsize=866312 CPUtime=0.52
/proc/26874/task/26881/stat : 26881 (java) S 26872 26874 25438 0 -1 64 784 0 0 0 50 2 0 0 16 0 9 0 90333060 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26882] ppid=26872 vsize=866312 CPUtime=0
/proc/26874/task/26882/stat : 26882 (java) S 26872 26874 25438 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90333060 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26874/tid=26883] ppid=26872 vsize=866312 CPUtime=0
/proc/26874/task/26883/stat : 26883 (java) S 26872 26874 25438 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 90333060 887103488 73676 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 398.39
Current children cumulated vsize (KiB) 866312

Solver just ended. Dumping a history of the last processes samples

[startup+402.402 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 26883
/proc/meminfo: memFree=15376/2055920 swapFree=4192812/4192956
[pid=26874] ppid=26872 vsize=0 CPUtime=398.46
/proc/26874/stat : 26874 (java) Z 26872 26874 25438 0 -1 12 74369 0 1 0 39744 102 0 0 16 0 2 0 90333054 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26874/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 398.46
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 402.408
CPU time (s): 398.479
CPU user time (s): 397.447
CPU system time (s): 1.03284
CPU usage (%): 99.0238
Max. virtual memory (cumulated for all children) (KiB): 866312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.447
system time used= 1.03284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74369
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= 10903
involuntary context switches= 20210

runsolver used 0.632903 second user time and 1.20882 second system time

The end

Launcher Data 

Begin job on node42 at 2009-07-19 21:44:51
IDJOB=2116880
IDBENCH=58032
IDSOLVER=780
FILE ID=node42/2116880-1248032691
PBS_JOBID= 9528963
Free space on /tmp= 66344 MiB

SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-10.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2116880-1248032691/watcher-2116880-1248032691 -o /tmp/evaluation-result-2116880-1248032691/solver-2116880-1248032691 -C 1800 -W 2000 -M 900  java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116880-1248032691.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0c9bd9627ff304e4b5c8ec56755ce638
RANDOM SEED=1596159528

node42.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.283
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.283
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:        112056 kB
Buffers:         87072 kB
Cached:        1235868 kB
SwapCached:          0 kB
Active:         839684 kB
Inactive:      1000688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        112056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6228 kB
Writeback:           0 kB
Mapped:         535288 kB
Slab:            87740 kB
Committed_AS:  1321592 kB
PageTables:       2768 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= 66340 MiB
End job on node42 at 2009-07-19 21:51:34