Trace number 196542

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_s 2007-01-08SAT 54.9466 55.4337

General information on the benchmark

Namefapp/fapp06-10/fapp09/
fapp09-0800-4.xml
MD5SUM6ce7ac5fe2095794bf8df2c927925b53
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 benchmark4.10937
SatisfiableYES
(Un)Satisfiability was provedYES
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 (download as text)

c 
c 
c 
c solution file
c 
c 

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

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/node6/watcher-196542-1168284457 -o ROOT/results/node6/solver-196542-1168284457 -C 1800 -M 900 /tmp/evaluation/196542-1168284457/solver2 /tmp/evaluation/196542-1168284457/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: 1.91 1.71 1.54 5/87 10976
/proc/meminfo: memFree=1572960/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=0
/proc/10975/stat : 10975 (solver2) R 10973 10975 7553 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 176841300 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582840991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10975/statm: 1338 231 193 169 0 49 0
[pid=10977] ppid=10975 vsize=5352 CPUtime=0
/proc/10977/stat : 10977 (solver2) R 10975 10975 7553 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 176841301 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4356759 0 0 4100 65536 0 0 0 17 1 0 0
/proc/10977/statm: 1338 232 194 169 0 49 0
[pid=10978] ppid=10975 vsize=5352 CPUtime=0
/proc/10978/stat : 10978 (solver2) R 10975 10975 7553 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 176841301 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582840991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10978/statm: 1338 231 193 169 0 49 0

[startup+0.104929 s]
/proc/loadavg: 1.91 1.71 1.54 5/87 10976
/proc/meminfo: memFree=1572960/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=0
/proc/10975/stat : 10975 (solver2) S 10973 10975 7553 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 176841300 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.512981 s]
/proc/loadavg: 1.91 1.71 1.54 5/87 10976
/proc/meminfo: memFree=1572960/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=0.15
/proc/10975/stat : 10975 (solver2) S 10973 10975 7553 0 -1 4194304 376 2376 0 0 0 0 13 2 15 0 1 0 176841300 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 5352

[startup+1.33408 s]
/proc/loadavg: 1.91 1.71 1.54 3/88 10988
/proc/meminfo: memFree=1533400/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=0.15
/proc/10975/stat : 10975 (solver2) S 10973 10975 7553 0 -1 4194304 376 2376 0 0 0 0 13 2 15 0 1 0 176841300 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1338 242 203 169 0 49 0
[pid=10988] ppid=10975 vsize=47412 CPUtime=1.14
/proc/10988/stat : 10988 (bordewijk) R 10975 10975 7553 0 -1 4194304 13020 0 0 0 98 16 0 0 25 0 1 0 176841317 48549888 11147 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10988/statm: 11853 11147 217 97 0 11134 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 52764

[startup+2.97127 s]
/proc/loadavg: 1.92 1.71 1.54 3/88 10988
/proc/meminfo: memFree=1516888/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=2.43
/proc/10975/stat : 10975 (solver2) S 10973 10975 7553 0 -1 4194304 397 15397 0 0 0 0 118 125 16 0 1 0 176841300 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 5352

[startup+6.25064 s]
/proc/loadavg: 1.92 1.71 1.54 3/88 10989
/proc/meminfo: memFree=1548696/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=2.43
/proc/10975/stat : 10975 (solver2) S 10973 10975 7553 0 -1 4194304 397 15397 0 0 0 0 118 125 16 0 1 0 176841300 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1338 242 203 169 0 49 0
[pid=10989] ppid=10975 vsize=19252 CPUtime=3.74
/proc/10989/stat : 10989 (standalone) R 10975 10975 7553 0 -1 4194304 4359 0 0 0 345 29 0 0 25 0 1 0 176841548 19714048 4148 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4145977566 0 0 4096 0 0 0 0 17 1 0 0
/proc/10989/statm: 4813 4148 137 64 0 4128 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 24604

[startup+12.7184 s]
/proc/loadavg: 1.93 1.72 1.54 3/88 10989
/proc/meminfo: memFree=1548888/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=2.43
/proc/10975/stat : 10975 (solver2) S 10973 10975 7553 0 -1 4194304 397 15397 0 0 0 0 118 125 16 0 1 0 176841300 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1338 242 203 169 0 49 0
[pid=10989] ppid=10975 vsize=19252 CPUtime=10.15
/proc/10989/stat : 10989 (standalone) R 10975 10975 7553 0 -1 4194304 4360 0 0 0 986 29 0 0 25 0 1 0 176841548 19714048 4149 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4145628019 0 0 4096 0 0 0 0 17 1 0 0
/proc/10989/statm: 4813 4149 137 64 0 4128 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 24604

[startup+25.5459 s]
/proc/loadavg: 1.94 1.73 1.55 3/88 10989
/proc/meminfo: memFree=1548952/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=2.43
/proc/10975/stat : 10975 (solver2) S 10973 10975 7553 0 -1 4194304 397 15397 0 0 0 0 118 125 16 0 1 0 176841300 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1338 242 203 169 0 49 0
[pid=10989] ppid=10975 vsize=19252 CPUtime=22.88
/proc/10989/stat : 10989 (standalone) R 10975 10975 7553 0 -1 4194304 4360 0 0 0 2259 29 0 0 25 0 1 0 176841548 19714048 4149 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4145063493 0 0 4096 0 0 0 0 17 1 0 0
/proc/10989/statm: 4813 4149 137 64 0 4128 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 24604

[startup+51.1949 s]
/proc/loadavg: 1.96 1.75 1.56 3/88 10989
/proc/meminfo: memFree=1549080/2055924 swapFree=4165672/4192956
[pid=10975] ppid=10973 vsize=5352 CPUtime=2.43
/proc/10975/stat : 10975 (solver2) S 10973 10975 7553 0 -1 4194304 397 15397 0 0 0 0 118 125 16 0 1 0 176841300 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10975/statm: 1338 242 203 169 0 49 0
[pid=10989] ppid=10975 vsize=19252 CPUtime=48.3
/proc/10989/stat : 10989 (standalone) R 10975 10975 7553 0 -1 4194304 4360 0 0 0 4801 29 0 0 25 0 1 0 176841548 19714048 4149 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4146024538 0 0 4096 0 0 0 0 17 1 0 0
/proc/10989/statm: 4813 4149 137 64 0 4128 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 24604

Child status: 0
Real time (s): 55.4337
CPU time (s): 54.9466
CPU user time (s): 53.3889
CPU system time (s): 1.55776
CPU usage (%): 99.1213
Max. virtual memory (cumulated for all children) (KiB): 52764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.3889
system time used= 1.55776
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20267
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= 249
involuntary context switches= 1361

runsolver used 0.06399 s user time and 0.164974 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Mon Jan  8 19:27:39 UTC 2007


IDJOB= 196542
IDBENCH= 3357
FILE ID= node6/196542-1168284457

PBS_JOBID= 3501640

Free space on /tmp= 66530 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp06-10/fapp09/fapp09-0800-4.xml
COMMAND LINE= /tmp/evaluation/196542-1168284457/solver2 /tmp/evaluation/196542-1168284457/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-196542-1168284457 -o ROOT/results/node6/solver-196542-1168284457 -C 1800 -M 900  /tmp/evaluation/196542-1168284457/solver2 /tmp/evaluation/196542-1168284457/unknown 1800

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  6ce7ac5fe2095794bf8df2c927925b53

RANDOM SEED= 784320352

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.240
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.240
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:      2055924 kB
MemFree:       1573376 kB
Buffers:         74112 kB
Cached:         307892 kB
SwapCached:       2944 kB
Active:         248948 kB
Inactive:       171972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1573376 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:           11504 kB
Writeback:           0 kB
Mapped:          49228 kB
Slab:            46264 kB
Committed_AS:  5558220 kB
PageTables:       2360 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= 66522 MiB



End job on node6 on Mon Jan  8 19:28:34 UTC 2007