Trace number 201223

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
buggy_2_5 2007-01-08SAT 1014.59 1015.11

General information on the benchmark

Namefapp/fapp11-15/fapp12/
fapp12-1500-7.xml
MD5SUMd701de3dbc42c3b54216de5304316644
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 benchmark1014.59
SatisfiableYES
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

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

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/node11/watcher-201223-1168289127 -o ROOT/results/node11/solver-201223-1168289127 -C 1800 -M 900 /tmp/evaluation/201223-1168289127/solver /tmp/evaluation/201223-1168289127/unknown 1800 

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: 0.95 1.43 1.70 4/78 5990
/proc/meminfo: memFree=1632568/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=0
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 331 190 0 0 0 0 0 0 16 0 1 0 177307844 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 241 202 169 0 49 0

[startup+0.102902 s]
/proc/loadavg: 0.95 1.43 1.70 4/78 5990
/proc/meminfo: memFree=1632568/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=0
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 354 334 0 0 0 0 0 0 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.510985 s]
/proc/loadavg: 0.95 1.43 1.70 4/78 5990
/proc/meminfo: memFree=1632568/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=0.36
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 376 2620 0 0 0 0 31 5 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 5352

[startup+1.33114 s]
/proc/loadavg: 0.95 1.43 1.70 2/79 6002
/proc/meminfo: memFree=1587376/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=0.36
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 376 2620 0 0 0 0 31 5 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6002] ppid=5989 vsize=47072 CPUtime=0.95
/proc/6002/stat : 6002 (bordewijk) R 5989 5989 32168 0 -1 4194304 11274 0 0 0 86 9 0 0 25 0 1 0 177307880 48201728 11246 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0
/proc/6002/statm: 11768 11246 204 97 0 11049 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 52424

[startup+2.96746 s]
/proc/loadavg: 0.95 1.43 1.70 2/79 6002
/proc/meminfo: memFree=1538096/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=0.36
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 376 2620 0 0 0 0 31 5 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6002] ppid=5989 vsize=86112 CPUtime=2.59
/proc/6002/stat : 6002 (bordewijk) R 5989 5989 32168 0 -1 4194304 22721 0 0 0 237 22 0 0 25 0 1 0 177307880 88178688 20984 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6002/statm: 21528 20984 211 97 0 20809 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 91464

[startup+6.25111 s]
/proc/loadavg: 0.95 1.42 1.69 2/79 6002
/proc/meminfo: memFree=1460144/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=0.36
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 376 2620 0 0 0 0 31 5 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6002] ppid=5989 vsize=145184 CPUtime=5.86
/proc/6002/stat : 6002 (bordewijk) R 5989 5989 32168 0 -1 4194304 40539 0 0 0 295 291 0 0 25 0 1 0 177307880 148668416 35246 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6002/statm: 36296 35246 217 97 0 35577 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 150536

[startup+12.7094 s]
/proc/loadavg: 0.95 1.41 1.69 2/79 6003
/proc/meminfo: memFree=1548952/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66492 CPUtime=5.19
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16175 0 0 0 421 98 0 0 25 0 1 0 177308594 68087808 15626 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099730921 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16623 15626 137 64 0 15938 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71844

[startup+25.5239 s]
/proc/loadavg: 0.96 1.39 1.68 2/79 6003
/proc/meminfo: memFree=1548064/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66504 CPUtime=18
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16426 0 0 0 1701 99 0 0 25 0 1 0 177308594 68100096 15877 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549104 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16626 15877 138 64 0 15941 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71856

[startup+51.15 s]
/proc/loadavg: 0.98 1.36 1.66 3/79 6003
/proc/meminfo: memFree=1548064/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66516 CPUtime=43.58
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16477 0 0 0 4259 99 0 0 25 0 1 0 177308594 68112384 15928 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549064 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16629 15928 138 64 0 15944 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71868

[startup+102.398 s]
/proc/loadavg: 0.99 1.30 1.62 3/79 6003
/proc/meminfo: memFree=1548128/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66516 CPUtime=94.8
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16481 0 0 0 9380 100 0 0 25 0 1 0 177308594 68112384 15932 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16629 15932 138 64 0 15944 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 71868

[startup+162.469 s]
/proc/loadavg: 0.99 1.24 1.58 3/79 6003
/proc/meminfo: memFree=1548064/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66528 CPUtime=154.85
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16512 0 0 0 15385 100 0 0 25 0 1 0 177308594 68124672 15963 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554131 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16632 15963 138 64 0 15947 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 71880

[startup+222.535 s]
/proc/loadavg: 0.99 1.20 1.54 2/79 6003
/proc/meminfo: memFree=1548000/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66532 CPUtime=214.9
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16523 0 0 0 21389 101 0 0 25 0 1 0 177308594 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099220121 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 222.39
Current children cumulated vsize (KiB) 71884

[startup+282.596 s]
/proc/loadavg: 0.99 1.16 1.50 2/79 6003
/proc/meminfo: memFree=1548000/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66532 CPUtime=274.93
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16523 0 0 0 27392 101 0 0 25 0 1 0 177308594 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554178 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 282.42
Current children cumulated vsize (KiB) 71884

[startup+342.659 s]
/proc/loadavg: 0.99 1.13 1.47 2/79 6003
/proc/meminfo: memFree=1548000/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66532 CPUtime=334.98
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16523 0 0 0 33396 102 0 0 25 0 1 0 177308594 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4102734969 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 342.47
Current children cumulated vsize (KiB) 71884

[startup+402.727 s]
/proc/loadavg: 0.99 1.10 1.44 2/79 6003
/proc/meminfo: memFree=1547936/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66532 CPUtime=395.02
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16523 0 0 0 39400 102 0 0 25 0 1 0 177308594 68128768 15974 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549002 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16633 15974 138 64 0 15948 0
Current children cumulated CPU time (s) 402.51
Current children cumulated vsize (KiB) 71884

[startup+462.794 s]
/proc/loadavg: 0.99 1.08 1.41 2/79 6003
/proc/meminfo: memFree=1547872/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66540 CPUtime=455.06
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16533 0 0 0 45403 103 0 0 25 0 1 0 177308594 68136960 15984 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4100759065 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16635 15984 138 64 0 15950 0
Current children cumulated CPU time (s) 462.55
Current children cumulated vsize (KiB) 71892

[startup+522.866 s]
/proc/loadavg: 0.99 1.06 1.38 2/79 6003
/proc/meminfo: memFree=1547872/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66540 CPUtime=515.11
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16533 0 0 0 51408 103 0 0 25 0 1 0 177308594 68136960 15984 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16635 15984 138 64 0 15950 0
Current children cumulated CPU time (s) 522.6
Current children cumulated vsize (KiB) 71892

[startup+582.93 s]
/proc/loadavg: 1.07 1.07 1.36 2/79 6003
/proc/meminfo: memFree=1547872/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66540 CPUtime=575.16
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16533 0 0 0 57412 104 0 0 25 0 1 0 177308594 68136960 15984 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134527020 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16635 15984 138 64 0 15950 0
Current children cumulated CPU time (s) 582.65
Current children cumulated vsize (KiB) 71892

[startup+642.994 s]
/proc/loadavg: 1.03 1.05 1.33 2/79 6003
/proc/meminfo: memFree=1547872/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66544 CPUtime=635.19
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16535 0 0 0 63415 104 0 0 25 0 1 0 177308594 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519689 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 642.68
Current children cumulated vsize (KiB) 71896

[startup+703.063 s]
/proc/loadavg: 1.08 1.06 1.32 2/79 6003
/proc/meminfo: memFree=1547808/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66544 CPUtime=695.25
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16535 0 0 0 69420 105 0 0 25 0 1 0 177308594 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554178 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 702.74
Current children cumulated vsize (KiB) 71896

[startup+763.129 s]
/proc/loadavg: 1.03 1.04 1.29 2/79 6003
/proc/meminfo: memFree=1547808/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66544 CPUtime=755.28
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16535 0 0 0 75423 105 0 0 25 0 1 0 177308594 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554181 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 762.77
Current children cumulated vsize (KiB) 71896

[startup+823.196 s]
/proc/loadavg: 1.01 1.03 1.27 2/79 6003
/proc/meminfo: memFree=1547744/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66544 CPUtime=815.33
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16535 0 0 0 81427 106 0 0 25 0 1 0 177308594 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 822.82
Current children cumulated vsize (KiB) 71896

[startup+883.26 s]
/proc/loadavg: 1.00 1.03 1.25 2/79 6003
/proc/meminfo: memFree=1547808/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66544 CPUtime=875.37
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16535 0 0 0 87431 106 0 0 25 0 1 0 177308594 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4099605205 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 882.86
Current children cumulated vsize (KiB) 71896

[startup+943.328 s]
/proc/loadavg: 1.00 1.02 1.23 2/85 6075
/proc/meminfo: memFree=1546472/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66544 CPUtime=935.38
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16535 0 0 0 93431 107 0 0 25 0 1 0 177308594 68141056 15986 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519651 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16636 15986 138 64 0 15951 0
Current children cumulated CPU time (s) 942.87
Current children cumulated vsize (KiB) 71896

[startup+1003.42 s]
/proc/loadavg: 1.00 1.01 1.22 2/85 6161
/proc/meminfo: memFree=1546544/2055920 swapFree=4192812/4192956
[pid=5989] ppid=5987 vsize=5352 CPUtime=7.49
/proc/5989/stat : 5989 (solver) S 5987 5989 32168 0 -1 4194304 396 43160 0 0 0 0 336 413 16 0 1 0 177307844 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5989/statm: 1338 242 203 169 0 49 0
[pid=6003] ppid=5989 vsize=66556 CPUtime=995.4
/proc/6003/stat : 6003 (standalone) R 5989 5989 32168 0 -1 4194304 16549 0 0 0 99432 108 0 0 25 0 1 0 177308594 68153344 16000 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549104 0 0 4096 0 0 0 0 17 1 0 0
/proc/6003/statm: 16639 16000 138 64 0 15954 0
Current children cumulated CPU time (s) 1002.89
Current children cumulated vsize (KiB) 71908

Child status: 0
Real time (s): 1015.11
CPU time (s): 1014.59
CPU user time (s): 1009.35
CPU system time (s): 5.2382
CPU usage (%): 99.9485
Max. virtual memory (cumulated for all children) (KiB): 150536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1009.35
system time used= 5.2382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 557
involuntary context switches= 2542

runsolver used 1.10183 s user time and 2.50662 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Mon Jan  8 20:45:28 UTC 2007


IDJOB= 201223
IDBENCH= 3750
FILE ID= node11/201223-1168289127

PBS_JOBID= 3501709

Free space on /tmp= 66332 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-7.xml
COMMAND LINE= /tmp/evaluation/201223-1168289127/solver /tmp/evaluation/201223-1168289127/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-201223-1168289127 -o ROOT/results/node11/solver-201223-1168289127 -C 1800 -M 900  /tmp/evaluation/201223-1168289127/solver /tmp/evaluation/201223-1168289127/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  d701de3dbc42c3b54216de5304316644

RANDOM SEED= 177094890

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.261
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	: 5931.00
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.261
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:       1633048 kB
Buffers:         71456 kB
Cached:         237128 kB
SwapCached:          0 kB
Active:         233560 kB
Inactive:       130864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1633048 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           14360 kB
Writeback:           0 kB
Mapped:          74840 kB
Slab:            43812 kB
Committed_AS:  5653752 kB
PageTables:       1988 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= 66311 MiB



End job on node11 on Mon Jan  8 21:02:23 UTC 2007