Trace number 201542

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
Mistral 2006-12-04SAT 228.6 230.716

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-10.xml
MD5SUMb9cf73f43d12dd50fcff1a26df9e590c
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 benchmark12.5921
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Solver Data (download as text)

0.03	c 
0.03	c Parsing xml file
0.03	c 	domains............... 0.04
0.05	c 	variables............. 0.06
0.10	c 	predicates............    0
0.10	c 	constraints........... 1.11
1.22	c Allocating memory
1.22	c 
1.22	c time limit = -1
1.22	c heuristic = dom/wdeg
1.22	c restart policy = No restart
1.23	c 
1.23	c Solving
1.23	c
230.67	s SATISFIABLE
230.67	v 2036 2680 -2264 2060 -2700 2680 2032 2416 -2060 2312 2228 -2716 2096 2456 2636 -2736 -2068 -2708 2516 2268 -2212 -2020 2120 -2552 2312 -2520 2584 2568 2708 2684 2184 2688 -2572 -2332 2740 2084 -2224 -2164 -2348 -2556 2608 -2488 2152 -2524 -2228 -2508 -2224 -2060 2068 2432 -2296 -2480 -2368 -2148 -2540 -2588 2728 -2492 2636 -2192 2704 2296 2292 -2632 2428 -2024 -2140 2468 2740 -2224 -2308 -2200 -2652 2584 2560 -2388 2440 -2436 -2608 -2384 -2688 -2032 2196 2360 -2104 -2540 -2020 -2464 2440 2684 -2244 -2688 -2680 -2068 -2060 -2488 -2092 -2388 -2308 -2024 2088 2564 -2528 2328 -2616 -2504 -2728 2484 2172 -2348 2584 -2544 2724 2508 2456 -2180 -2152 -2208 2624 -2020 -2324 2516 2064 -2720 -2184 -2100 -2668 2720 2588 -2504 -2560 -2688 2596 -2376 -2196 2168 2056 2720 -2580 2532 2620 -2268 2332 -2020 -2092 2136 -2520 -2708 -2636 2020 -2212 2096 -2128 2640 -2036 2684 -2192 2740 -2064 2388 -2600 2600 -2628 2392 -2416 -2152 2128 -2280 2668 -2724 -2556 2680 -2104 -2296 2372 2492 -2264 -2100 2244 2696 -2644 -2584 -2380 2344 2484 -2444 -2468 2432 2700 2060 -2088 -2428 -2112 -2060 -2392 2388 2284 -2068 -2328 -2608 2524 -2052 2076 2728 2364 2516 -2604 -2024 2604 2044 2620 -2504 2036 2544 2080 2552 2064 2640 2564 2492 -2192 2208 2060 -2476 -2696 2604 -2460 -2432 -2464 -2380 -2520 -2664 -2580 2424 2612 -2484 2372 2136 2260 -2356 -2536 2376 2164 2688 2656 -2588 2588 -2696 -2184 -2196 2476 -2060 -2060 2520 2060 -2272 -2272 -2536 2432 2736 2168 -2496 2256 2740 -2740 2140 2228 -2416 -2084 2032 2520 -2388 -2656 2524 -2116 -2076 -2580 2332 -2232 2480 -2096 -2432 2304 -2136 -2620 -2060 -2268 -2672 2720 2156 2728 -2592 -2412 2336 2160 2408 -2500 2372 2464 2368 2312 2176 2192 -2740 -2700 -2060 2668 -2472 -2348 2348 2428 2148 -2336 2288 -2372 -2512 2076 2120 -2040 2160 2264 -2504 -2692 -2336 2076 -2568 2736 -2704 2340 -2700 2620 -2024 2028 2436 2084 -2124 2432 2448 -2428 -2428 -2196 2040 2272 2716 2064 -2552 -2328 2688 2512 -2476 -2656 -2128 -2052 2500 -2112 2648 2596 2292 -2592 2448 -2556 -2412 -2020 -2212 2344 2556 -2064 -2036 -2572 -2544 2740 -2056 2076 -2380 2700 2640 2664 -2688 2416 2228 2076 -2060 2704 -2072 -2112 2204 2240 -2600 2060 -2212 2044 -2668 2540 -2232 -2436 2076 2088 2576 -2384 -2268 2480 2448 -2336 2436 -2100 -2556 -2420 2020 2224 -2648 -2168 -2640 2676 -2660 -2568 2080 -2540 2048 -2596 -2648 2544 -2252 2472 -2616 2380 -2284 -2456 2132 2544 -2384 -2060 -2656 2056 -2556 2308 2700 2060 2096 2072 -2348 -2024 -2020 2204 2628 -2700 2156 2540 2496 2472 2624 2076 2020 -2740 2472 -2676 2336 2352 2460 -2420 2584 2572 -2380 2412 -2036 2596 2020 -2616 -2452 2424 -2152 -2432 2068 2224 2504 2060 2644 -2364 -2476 -2464 2432 2552 -2600 2604 2316 -2480 2024 2644 2548 -2460 -2252 -2580 2548 2668 2516 -2376 2248 2236 -2584 -2428 -2504 -2460 2324 -2220 2484 2680 -2044 -2028 2456 -2428 -2116 -2436 -2404 -2092 2724 -2556 -2692 2412 2108 2620 2660 2732 -2516 -2560 -2204 -2476 -2464 -2336 -2688 2164 2632 -2548 -2444 -2196 -2516 -2252 2400 2104 2708 -2612 -2388 -2648 -2700 2524 2200 2060 -2480 -2604 -2700 2328 2540 2324 2664 2668 -2608 -2124 -2080 -2596 2164 -2544 -2392 2504 2384 -2700 2172 -2200 2180 -2188 -2696 2736 -2152 2424 -2120 -2144 2132 2268 2380 2092 -2600 -2612 -2596 2060 -2136 -2672 2404 -2184 2580 -2348 -2128 2212 -2024 -2524 -2512 -2656 -2156 2040 2624 2260 2476 2544 2064 -2356 -2692 -2160 -2624 2580 -2452 -2444 2280 -2344 -2608 2496 -2548 -2564 -2568 -2160 -2428 -2392 -2312 2700 -2708 2584 2328 -2388 2100 2020 2688 -2152 2308 2592 -2736 -2460 2084 2392 -2068 2020 -2600 2520 -2220 -2160 -2604 -2428 -2024 2344 -2368 -2704 -2100 -2060 -2044 2556 -2200 -2648 -2204 -2532 -2556 -2352 -2096 -2020 2412 2416 2664 -2556 -2740 -2184 2344 2292 -2160 -2664 -2456 -2724 -2168 2408 2032 -2368 -2352 2476 -2252 2368 -2316 2480 -2224 2684 -2448 2372 -2596 -2388 -2404 2192 2616 2152 -2276 -2196 2080 -2152 2736 -2020 2476 2724 -2448 -2028 -2064 -2268 -2020 -2740 -2068 -2648 2340 2608 2524 2164 2488 -2468 -2408 2144 2560 -2340 -2564 -2212 -2492 2036 2088 2500 -2388 2272 -2100 2020 2280 -2652 -2368 -2252 2372 2728 -2544 2456 -2020 2252 -2108 -2612 -2420 2588 -2352 -2048 2236 -2092 -2720 -2404 2644 -2352 -2084 -2644 -2096 -2496 -2120 -2364 -2264 -2024 -2228 -2680 2516 2076 2368 -2408 -2504 -2316 2452 2208 2384 2520 -2712 2072 -2600 2060 2564 2420 -2656 -2320 2624 -2292 -2180 -2084 2220 -2732 -2288 -2608 -2232 -2408 -2128 -2640 2336 -2076 -2212 2552 2064 -2700 -2684 2580 -2184 2696 -2700 2464 2496 -2684 -2648 -2500 -2304 -2140 2252 2020 -2112 2440 2244 -2328 -2600 2584 2036 -2524 -2388 -2328 -2064 2516 -2500 -2540 -2692 2532 2064 -2684 2592 -2684 2676 2168 -2344 2168 2028 -2412 2640 -2456 -2308 -2700 -2348 2696 2648 2080 -2488 2596 -2664 2620 2680 -2588 2288 2124 2144 2584 -2204 -2272 -2296 -2064 -2480 -2556 -2432 -2036 2652 -2504 2044 -2312 2632 -2020 2532 -2552 2616 -2372 -2096 2504 2512 2188 -2340 2628 2408 2168 2060 -2268 2396 2492 -2556 2472 -2628 2704 2472 -2056 -2500 -2440 2100 2128 -2740 2448 -2108 2152 -2208 -2560 -2352 -2700 -2560 2640 -2628 -2132 2676 -2340 2088 -2452 -2240 -2488 2448 -2188 2720 2128 -2392 2500 -2144 -2668 2388 -2400 -2236 2040 -2724 -2456 -2680 2636 2244 2136 2448 2072 2212 -2512 2640 2156 -2568 -2348 2740 -2040 -2360 -2520 -2572 -2220 2480 2400 2624 2104 -2444 2376 2168 -2600 2052 -2196 -2740 2412 2596 2312 -2388 2292 2516 -2652 2028 -2204 2128 -2488 -2160 2036 2160 2484 -2140 2172 2448 -2608 -2468 -2320 -2332 -2168 -2300 -2144 -2156 -2324 2252 2096 -2580 -2616 -2304 -2220 -2388 2392 -2656 2600 2688 2044 2368 -2740 2624 -2644 2328 2592 2696 2544 -2696
230.67	d          SAT      9467 BTS   2.3e+02 s

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-201542-1168148432 -o ROOT/results/node6/solver-201542-1168148432 -C 1800 -M 900 /tmp/evaluation/201542-1168148432/mistral/bin/solver /tmp/evaluation/201542-1168148432/unknown.xml -v 1 

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


[startup+0.102279 s]
/proc/loadavg: 1.92 2.02 2.02 2/94 2184
/proc/meminfo: memFree=752744/2055924 swapFree=4165672/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
/proc/loadavg: 1.92 2.02 2.02 2/94 2184
/proc/meminfo: memFree=752744/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=50496 CPUtime=0.19
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 5482 0 0 0 17 2 0 0 19 0 1 0 163238721 51707904 5450 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 4158468396 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 12624 5450 708 92 0 10968 0

[startup+0.509323 s]
/proc/loadavg: 1.92 2.02 2.02 2/94 2184
/proc/meminfo: memFree=752744/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=52112 CPUtime=0.49
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 5875 0 0 0 47 2 0 0 21 0 1 0 163238721 53362688 5843 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 4159420374 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 13028 5843 708 92 0 11372 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 52112

[startup+1.33042 s]
/proc/loadavg: 1.92 2.02 2.02 3/94 2184
/proc/meminfo: memFree=728296/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60636 CPUtime=1.3
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8013 0 0 0 127 3 0 0 25 0 1 0 163238721 62091264 7981 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134711712 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15159 7981 716 92 0 13503 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 60636

[startup+2.96761 s]
/proc/loadavg: 1.92 2.02 2.02 3/94 2184
/proc/meminfo: memFree=723368/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60636 CPUtime=2.92
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8013 0 0 0 289 3 0 0 25 0 1 0 163238721 62091264 7981 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15159 7981 716 92 0 13503 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 60636

[startup+6.259 s]
/proc/loadavg: 1.93 2.02 2.02 3/94 2184
/proc/meminfo: memFree=723368/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60636 CPUtime=6.18
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8013 0 0 0 615 3 0 0 25 0 1 0 163238721 62091264 7981 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15159 7981 716 92 0 13503 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 60636

[startup+12.7248 s]
/proc/loadavg: 1.93 2.02 2.01 3/94 2184
/proc/meminfo: memFree=723432/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60636 CPUtime=12.59
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8013 0 0 0 1256 3 0 0 25 0 1 0 163238721 62091264 7981 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15159 7981 716 92 0 13503 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 60636

[startup+25.5513 s]
/proc/loadavg: 1.95 2.01 2.01 3/94 2184
/proc/meminfo: memFree=723560/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60640 CPUtime=25.29
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8014 0 0 0 2526 3 0 0 25 0 1 0 163238721 62095360 7982 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134711713 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15160 7982 716 92 0 13504 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 60640

[startup+51.2223 s]
/proc/loadavg: 1.96 2.01 2.01 3/94 2184
/proc/meminfo: memFree=723624/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60644 CPUtime=50.74
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8015 0 0 0 5070 4 0 0 25 0 1 0 163238721 62099456 7983 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134812924 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15161 7983 716 92 0 13505 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 60644

[startup+102.429 s]
/proc/loadavg: 1.98 2.01 2.01 3/94 2184
/proc/meminfo: memFree=723688/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60652 CPUtime=101.48
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8017 0 0 0 10144 4 0 0 25 0 1 0 163238721 62107648 7985 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15163 7985 716 92 0 13507 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 60652

[startup+162.448 s]
/proc/loadavg: 2.07 2.02 2.01 3/94 2184
/proc/meminfo: memFree=702056/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60656 CPUtime=160.94
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8018 0 0 0 16090 4 0 0 25 0 1 0 163238721 62111744 7986 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134711732 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15164 7986 716 92 0 13508 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 60656

[startup+222.526 s]
/proc/loadavg: 2.08 2.03 2.00 3/94 2184
/proc/meminfo: memFree=678248/2055924 swapFree=4165672/4192956
[pid=2183] ppid=2181 vsize=60672 CPUtime=220.48
/proc/2183/stat : 2183 (solver) R 2181 2183 1714 0 -1 4194304 8022 0 0 0 22043 5 0 0 25 0 1 0 163238721 62128128 7990 18446744073709551615 134512640 134893201 4294956704 18446744073709551615 134637730 0 0 4096 0 0 0 0 17 1 0 0
/proc/2183/statm: 15168 7990 716 92 0 13512 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 60672

Child status: 0
Real time (s): 230.716
CPU time (s): 228.6
CPU user time (s): 228.54
CPU system time (s): 0.05999
CPU usage (%): 99.0832
Max. virtual memory (cumulated for all children) (KiB): 60696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.54
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8039
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= 13
involuntary context switches= 4740

runsolver used 0.291955 s user time and 0.731888 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sun Jan  7 05:40:32 UTC 2007


IDJOB= 201542
IDBENCH= 3769
FILE ID= node6/201542-1168148432

PBS_JOBID= 3478160

Free space on /tmp= 66545 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
COMMAND LINE= /tmp/evaluation/201542-1168148432/mistral/bin/solver /tmp/evaluation/201542-1168148432/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-201542-1168148432 -o ROOT/results/node6/solver-201542-1168148432 -C 1800 -M 900  /tmp/evaluation/201542-1168148432/mistral/bin/solver /tmp/evaluation/201542-1168148432/unknown.xml -v 1

META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH=  b9cf73f43d12dd50fcff1a26df9e590c

RANDOM SEED= 573314914

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:        753224 kB
Buffers:         57836 kB
Cached:         396088 kB
SwapCached:       2424 kB
Active:         804520 kB
Inactive:       411948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        753224 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            4984 kB
Writeback:           0 kB
Mapped:         780184 kB
Slab:            69436 kB
Committed_AS:  5353068 kB
PageTables:       3852 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= 66545 MiB



End job on node6 on Sun Jan  7 05:44:24 UTC 2007