Trace number 207469

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 11.0113 11.182

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-10.xml
MD5SUMc9bcb9dd70ccc4a9926bdf95ae516c0c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark11.0113
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1250
Number of constraints18359
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18359
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

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

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/node14/watcher-207469-1168293905 -o ROOT/results/node14/solver-207469-1168293905 -C 1800 -M 900 /tmp/evaluation/207469-1168293905/solver /tmp/evaluation/207469-1168293905/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.36 0.86 0.93 5/88 8725
/proc/meminfo: memFree=1784536/2055920 swapFree=4163780/4192956
[pid=8724] ppid=8722 vsize=5352 CPUtime=0
/proc/8724/stat : 8724 (solver) R 8722 8724 1793 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 177786471 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234463903 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8724/statm: 1338 231 193 169 0 49 0
[pid=8726] ppid=8724 vsize=5352 CPUtime=0
/proc/8726/stat : 8726 (solver) R 8724 8724 1793 0 -1 4194368 0 0 0 0 0 0 0 0 18 0 1 0 177786471 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234463903 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/8726/statm: 1338 231 193 169 0 49 0

[startup+0.104144 s]
/proc/loadavg: 0.36 0.86 0.93 5/88 8725
/proc/meminfo: memFree=1784536/2055920 swapFree=4163780/4192956
[pid=8724] ppid=8722 vsize=5352 CPUtime=0
/proc/8724/stat : 8724 (solver) S 8722 8724 1793 0 -1 4194304 354 334 0 0 0 0 0 0 18 0 1 0 177786471 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8724/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.512189 s]
/proc/loadavg: 0.36 0.86 0.93 5/88 8725
/proc/meminfo: memFree=1784536/2055920 swapFree=4163780/4192956
[pid=8724] ppid=8722 vsize=5352 CPUtime=0.27
/proc/8724/stat : 8724 (solver) S 8722 8724 1793 0 -1 4194304 376 2516 0 0 0 0 24 3 16 0 1 0 177786471 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8724/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5352

[startup+1.33327 s]
/proc/loadavg: 0.36 0.86 0.93 3/88 8744
/proc/meminfo: memFree=1696280/2055920 swapFree=4163780/4192956
[pid=8724] ppid=8722 vsize=5352 CPUtime=0.27
/proc/8724/stat : 8724 (solver) S 8722 8724 1793 0 -1 4194304 376 2516 0 0 0 0 24 3 16 0 1 0 177786471 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8724/statm: 1338 242 203 169 0 49 0
[pid=8744] ppid=8724 vsize=47608 CPUtime=1
/proc/8744/stat : 8744 (bordewijk) R 8724 8724 1793 0 -1 4194304 11385 0 0 0 91 9 0 0 25 0 1 0 177786502 48750592 11357 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 7386924 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 11902 11357 204 97 0 11183 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 52960

[startup+2.97042 s]
/proc/loadavg: 0.36 0.86 0.93 3/88 8744
/proc/meminfo: memFree=1627736/2055920 swapFree=4163780/4192956
[pid=8724] ppid=8722 vsize=5352 CPUtime=0.27
/proc/8724/stat : 8724 (solver) S 8722 8724 1793 0 -1 4194304 376 2516 0 0 0 0 24 3 16 0 1 0 177786471 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8724/statm: 1338 242 203 169 0 49 0
[pid=8744] ppid=8724 vsize=97352 CPUtime=2.62
/proc/8744/stat : 8744 (bordewijk) R 8724 8724 1793 0 -1 4194304 27295 0 0 0 198 64 0 0 18 0 1 0 177786502 99688448 23489 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 24338 23489 217 97 0 23619 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 102704

[startup+6.26173 s]
/proc/loadavg: 0.49 0.88 0.94 3/88 8746
/proc/meminfo: memFree=1743904/2055920 swapFree=4163780/4192956
[pid=8724] ppid=8722 vsize=5352 CPUtime=5.47
/proc/8724/stat : 8724 (solver) S 8722 8724 1793 0 -1 4194304 396 29812 0 0 0 0 234 313 16 0 1 0 177786471 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8724/statm: 1338 242 203 169 0 49 0
[pid=8745] ppid=8724 vsize=40264 CPUtime=0.67
/proc/8745/stat : 8745 (standalone) R 8724 8724 1793 0 -1 4194304 5777 0 0 0 17 50 0 0 24 0 1 0 177787027 41230336 5352 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/8745/statm: 10066 5352 133 64 0 9381 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 45616

Child status: 0
Real time (s): 11.182
CPU time (s): 11.0113
CPU user time (s): 7.27089
CPU system time (s): 3.74043
CPU usage (%): 98.4733
Max. virtual memory (cumulated for all children) (KiB): 102704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.27089
system time used= 3.74043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40127
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= 499
involuntary context switches= 535

runsolver used 0.011998 s user time and 0.033994 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Mon Jan  8 22:05:13 UTC 2007


IDJOB= 207469
IDBENCH= 4292
FILE ID= node14/207469-1168293905

PBS_JOBID= 3501844

Free space on /tmp= 66321 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-10.xml
COMMAND LINE= /tmp/evaluation/207469-1168293905/solver /tmp/evaluation/207469-1168293905/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-207469-1168293905 -o ROOT/results/node14/solver-207469-1168293905 -C 1800 -M 900  /tmp/evaluation/207469-1168293905/solver /tmp/evaluation/207469-1168293905/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  c9bcb9dd70ccc4a9926bdf95ae516c0c

RANDOM SEED= 544909238

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1786672 kB
Buffers:         25540 kB
Cached:         169508 kB
SwapCached:       4056 kB
Active:         130512 kB
Inactive:        99264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786672 kB
SwapTotal:     4192956 kB
SwapFree:      4163780 kB
Dirty:           26284 kB
Writeback:           0 kB
Mapped:          43268 kB
Slab:            24664 kB
Committed_AS:  5861672 kB
PageTables:       2016 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= 66291 MiB



End job on node14 on Mon Jan  8 22:05:27 UTC 2007