Trace number 207470

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 81.4206 81.4861

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)

0.01	c 
0.01	c Parsing xml file
0.01	c 	domains............... 0.06
0.06	c 	variables............. 0.05
0.12	c 	predicates............    0
0.12	c 	constraints........... 1.36
1.48	c Allocating memory
1.48	c 
1.48	c time limit = -1
1.48	c heuristic = dom/wdeg
1.48	c restart policy = No restart
1.48	c 
1.48	c Solving
1.48	c
81.43	s SATISFIABLE
81.43	v -2692 -2760 2496 2776 2248 2576 2172 -2652 -2732 2528 -2336 -2732 2348 2744 -2524 -2228 -2312 2600 -2492 -2492 2336 -2752 -2684 2332 -2752 2564 -2752 2536 -2768 2640 -2480 -2788 -2552 2464 2596 -2568 2128 -2292 2236 -2768 -2640 -2628 2204 2140 2400 -2408 -2724 2772 2180 2696 2612 -2756 -2300 -2592 -2452 -2624 2160 -2192 -2732 -2232 -2620 -2400 -2288 -2252 2484 2764 -2656 -2612 -2168 -2588 -2244 2776 -2804 2576 -2656 -2492 2216 -2664 2816 -2704 -2796 -2752 2716 -2696 -2532 -2204 -2592 2728 2756 -2552 -2164 -2752 -2620 2600 2504 -2276 -2772 -2524 2572 -2464 -2708 2380 -2644 -2720 2492 2440 -2588 -2448 -2744 -2168 -2700 2768 -2616 -2628 -2388 -2516 2640 -2772 -2532 -2772 -2476 -2792 -2528 -2804 2624 -2728 2656 -2688 -2612 -2216 2160 -2404 -2524 -2564 -2420 -2752 2448 -2688 -2768 -2212 -2664 -2236 -2236 -2648 -2664 -2556 2464 2168 -2720 2444 -2532 -2532 2620 2776 2664 -2180 2440 2376 2372 2168 -2792 2136 -2716 -2132 -2328 2672 -2344 -2176 2700 2628 -2352 -2224 -2452 2600 -2472 2676 -2752 -2204 2772 -2380 -2300 2280 -2128 2656 -2256 2360 -2336 -2336 2160 -2620 -2164 2492 2260 -2768 -2516 2516 -2792 -2592 -2168 2704 2764 2120 -2504 -2472 2680 -2660 -2288 2140 -2512 2652 -2496 -2652 2724 -2552 2532 -2496 2368 2460 -2400 -2256 2596 -2792 -2620 -2520 -2596 -2132 -2736 -2404 -2728 -2816 2120 2756 2552 -2720 -2376 -2472 2196 2676 -2196 2556 2612 2728 -2728 2616 -2512 -2648 -2524 2244 -2440 -2628 -2372 2572 -2164 -2556 -2760 -2712 -2748 -2736 -2456 -2744 -2764 -2396 2740 -2756 -2752 2676 2160 -2552 -2704 -2720 -2312 -2208 -2696 -2160 2756 2152 2680 -2140 -2524 -2564 2240 -2680 -2688 -2744 2228 2816 -2648 -2424 -2356 2752 2120 2368 2796 -2688 2728 -2720 -2648 -2404 2160 -2480 2656 2736 -2788 -2492 -2720 -2716 -2672 -2792 -2396 -2540 2232 -2660 2160 -2656 -2440 -2684 -2692 -2816 2296 -2160 -2792 -2460 -2576 -2776 2656 -2268 2120 2192 -2160 -2800 -2608 2524 2776 -2740 2788 -2288 -2276 -2772 2484 2680 -2440 -2816 2480 2536 -2160 2612 2432 -2312 -2796 2272 2456 -2644 -2788 -2664 -2800 2608 -2636 2536 -2564 2592 -2752 2768 2440 2296 -2728 -2636 -2328 -2764 -2536 -2668 -2692 2448 -2600 -2440 -2772 -2708 2456 -2340 -2552 -2792 -2732 -2392 -2272 -2596 -2708 -2336 -2732 -2208 -2276 -2220 -2704 -2692 2624 -2736 -2160 -2680 -2816 -2696 2676 -2192 2412 -2448 -2160 -2176 -2308 -2736 -2304 -2612 -2656 2412 2276 -2728 -2620 -2776 -2396 -2304 2136 2532 -2668 -2596 2592 -2536 2548 2604 -2488 -2756 2696 -2400 -2816 -2768 2288 -2256 2496 -2664 -2640 2564 -2788 -2284 -2552 2592 -2720 2504 2664 2636 -2656 -2444 -2560 -2692 2712 -2520 -2804 -2472 2700 -2716 -2716 -2732 2704 -2492 -2128 2716 -2700 2568 -2696 -2660 2416 -2760 -2572 -2404 -2792 2524 -2572 2120 -2556 -2380 2720 2756 -2316 -2784 -2660 -2232 -2648 -2484 2444 -2416 2480 -2600 2560 -2808 2340 -2680 -2584 2440 2232 2716 2732 2632 -2768 -2816 -2692 2604 -2236 -2652 2452 -2412 -2616 2124 -2652 -2568 -2584 2348 -2732 -2448 -2412 2444 -2156 2604 2312 -2776 -2788 -2632 -2404 -2432 2216 -2776 -2428 2136 -2492 -2616 -2448 -2664 -2184 2464 -2772 -2340 2696 2376 2752 -2232 2364 -2796 2748 2188 -2180 -2692 -2416 -2748 -2804 2408 -2556 2152 -2480 -2132 -2776 -2800 -2276 -2332 -2420 2604 -2188 2556 -2812 -2304 -2536 -2736 2144 -2460 -2600 -2424 -2512 2724 -2792 -2748 -2752 2452 -2236 -2684 -2340 -2536 2680 -2648 2724 2620 -2552 -2520 -2612 -2484 -2764 -2344 -2196 2528 -2280 -2564 -2788 -2160 -2640 2492 -2468 2664 2716 -2732 -2760 -2460 -2176 2520 -2496 -2660 2180 -2804 2548 -2644 2408 -2660 2580 -2332 -2332 -2808 -2796 -2488 -2588 -2740 -2804 -2560 -2364 -2596 -2760 -2788 -2340 2264 2436 -2120 2816 2120 -2592 -2328 -2728 -2288 -2568 -2184 2300 -2616 2700 -2680 -2340 -2736 -2260 2124 -2736 2564 -2388 2548 2420 2680 2804 2440 -2752 2748 2292 -2524 -2696 2812 -2760 -2732 -2708 -2772 -2652 -2376 -2640 -2324 -2336 2696 -2760 -2792 -2680 2168 -2704 -2748 -2768 2536 2168 -2756 2312 -2720 -2380 2668 2496 2380 -2736 -2472 2404 -2716 2688 -2688 -2340 -2764 2376 -2496 2296 -2468 2380 -2700 2240 2660 2380 -2272 2296 -2588 -2640 -2580 2768 -2740 -2236 -2676 2220 -2732 -2800 2728 2748 2696 2128 2336 2140 -2656 -2684 -2724 -2460 -2276 -2324 2504 -2120 2120 2200 -2756 2516 -2120 -2208 2412 2376 -2268 2548 -2452 -2588 2732 2416 -2804 2472 -2528 -2308 -2772 -2408 2800 2724 2656 2120 -2648 -2704 -2796 2512 -2488 2748 2704 -2432 -2436 2304 -2316 -2744 2228 -2452 -2716 -2616 -2496 -2796 2552 -2748 -2388 2364 2704 -2480 -2452 -2792 -2752 -2636 -2352 -2624 -2628 2668 2164 2760 2584 -2624 -2484 -2796 -2248 2788 -2792 -2204 -2172 -2544 -2620 2496 2124 -2224 -2152 2808 -2756 -2660 -2556 -2524 2576 -2396 -2524 -2408 -2484 2344 -2536 -2712 2564 -2432 -2608 2444 2732 -2792 2428 -2620 -2380 -2700 -2264 -2640 -2532 -2272 2324 -2500 -2124 -2764 2284 -2692 -2420 -2772 -2736 -2488 -2752 -2456 2572 -2696 -2640 -2672 -2508 -2676 -2788 2668 -2364 2764 -2480 -2692 -2468 -2776 -2564 2740 -2724 2120 -2536 -2688 -2328 -2708 -2756 2552 -2508 -2564 2284 2700 -2452 -2420 2764 -2736 -2452 -2732 -2752 -2444 2120 2756 -2792 2288 -2504 -2636 -2220 -2624 2568 2660 2192 2492 -2404 -2704 -2752 2792 -2616 -2676 -2156 2776 -2408 2256 -2568 -2752 -2664 -2404 -2736 2576 2748 -2308 -2152 2488 -2716 2524 -2468 -2736 2488 2428 -2600 -2720 -2776 -2688 2580 -2640 -2252 -2700 -2716 -2160 -2572 -2216 -2504 -2416 -2416 2796 -2552 -2652 -2776 -2228 -2204 2412 2160 2444 -2720 -2740 -2736 -2420 -2120 2348 2176 -2732 -2812 -2580 -2240 -2692 -2732 -2452 -2760 -2224 -2696 -2776 2404 -2732 2584 -2308 2712 -2596 2660 2776 2224 -2748 2544 2488 -2468 -2616 2724 2480 -2780 -2292 -2436 -2272 2428 -2660 -2428 -2500 -2600 2528 -2776 -2732 -2692 -2380 -2752 -2416 -2792 2376 -2632 -2752 -2680 2764 2768 -2476 -2372 -2604 -2696 2388 2292 -2760 -2240 2756 -2796 -2172 -2692 -2604 -2452 -2524 2772 -2700 2672 -2744 2564 -2192 2388 -2736 -2356 -2532 -2484 2768 -2712 2744 -2764 -2572 2716 -2220 -2512 2756 2208 -2796 -2796 2356 2564 -2764 2208 -2196 2636 2268 2244 -2776 -2780 -2596 2672 2660 -2800 2660 -2236 -2368 -2792 2792 2204 -2640 2120 -2384 -2816 2516 2632 -2400 -2772 -2528 -2512 -2380 2776 2512 2460 -2164 -2584 2152 -2384 -2608 -2692 -2744 -2496 -2212 -2156 -2728 -2572 -2196 -2756 2816 -2576 2428 2444 2168 -2268 2656 2664 2600 -2124 2772 -2764 -2456 -2456 -2620 2260 -2616 -2532 2180 2412 2672 -2532 -2700 2676 2536 2412 -2260 2524 -2564 2120 -2276 2164 -2524 -2776 -2656 -2420 2212 -2352 2316 2216 -2556 -2272 2788 2536 -2704 -2428 -2640 2200 -2792 -2800 -2364 -2428 -2264 -2148 2164 -2216 2760 -2816 -2268 -2624 -2264 -2444 -2544 2300 2724 -2744 -2752 2348 -2768 -2776 -2260 -2640 2756 -2808 2756 -2748 -2696 -2272 -2724 -2788 -2664 -2792 -2684 2356 -2564 -2728 -2168 2740 2396 -2244 -2712 -2632 -2764 -2692 -2784 -2696 2232 -2524 2480 -2712 -2680 -2624 -2776 -2172 2812 -2512 -2456 -2748 2592 -2616 -2160 2492 -2652 -2732 2184 2252 -2572 -2692 -2576 -2416 -2192 2704 2412 2496 2664 -2600 -2692 -2732 2532 2668 -2188 2448 -2624 2740 2324 2536 2756 -2644 -2816 -2716 2668 -2756 -2244 -2332 -2576 2676 2656 -2660 2452 -2544 -2340 2228 2416 2672 -2620 -2448 2624 -2308 -2544 -2256 2620 -2440 -2516 -2796 -2752 -2192 -2340 -2704
81.43	d          SAT      7287 BTS        80 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/node35/watcher-207470-1168181872 -o ROOT/results/node35/solver-207470-1168181872 -C 1800 -M 900 /tmp/evaluation/207470-1168181872/mistral/bin/solver /tmp/evaluation/207470-1168181872/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

/proc/loadavg: 1.01 1.03 1.26 3/65 13614
/proc/meminfo: memFree=1576040/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=5492 CPUtime=0
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 66 0 0 0 0 0 0 0 20 0 1 0 166580885 5623808 49 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 1463076 0 0 4096 0 0 0 0 17 1 0 0
/proc/13613/statm: 1381 51 39 92 0 24 0

[startup+0.105578 s]
/proc/loadavg: 1.01 1.03 1.26 3/65 13614
/proc/meminfo: memFree=1576040/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=42596 CPUtime=0.09
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 3947 0 0 0 8 1 0 0 20 0 1 0 166580885 43618304 3915 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 1898107 0 0 4096 0 0 0 0 17 1 0 0
/proc/13613/statm: 10649 3915 694 92 0 8993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42596

[startup+0.513619 s]
/proc/loadavg: 1.01 1.03 1.26 3/65 13614
/proc/meminfo: memFree=1576040/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=63596 CPUtime=0.5
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 6147 0 0 0 48 2 0 0 25 0 1 0 166580885 65122304 6115 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134560728 0 0 4096 0 0 0 0 17 1 0 0
/proc/13613/statm: 15899 6115 708 92 0 14243 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 63596

[startup+1.33371 s]
/proc/loadavg: 1.01 1.03 1.26 2/65 13614
/proc/meminfo: memFree=1551080/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=67988 CPUtime=1.31
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 7235 0 0 0 129 2 0 0 25 0 1 0 166580885 69619712 7203 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134575814 0 0 4096 0 0 0 0 17 0 0 0
/proc/13613/statm: 16997 7203 708 92 0 15341 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 67988

[startup+2.9699 s]
/proc/loadavg: 1.01 1.03 1.26 2/65 13614
/proc/meminfo: memFree=1544936/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=73004 CPUtime=2.96
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 8459 0 0 0 293 3 0 0 25 0 1 0 166580885 74756096 8427 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710308 0 0 4096 0 0 0 0 17 0 0 0
/proc/13613/statm: 18251 8427 716 92 0 16595 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 73004

[startup+6.24929 s]
/proc/loadavg: 1.01 1.03 1.26 2/65 13614
/proc/meminfo: memFree=1544936/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=73004 CPUtime=6.23
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 8459 0 0 0 620 3 0 0 25 0 1 0 166580885 74756096 8427 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/13613/statm: 18251 8427 716 92 0 16595 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 73004

[startup+12.7031 s]
/proc/loadavg: 1.01 1.03 1.25 2/65 13614
/proc/meminfo: memFree=1545120/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=73008 CPUtime=12.69
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 8460 0 0 0 1266 3 0 0 25 0 1 0 166580885 74760192 8428 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637079 0 0 4096 0 0 0 0 17 0 0 0
/proc/13613/statm: 18252 8428 716 92 0 16596 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73008

[startup+25.5156 s]
/proc/loadavg: 1.01 1.03 1.25 2/65 13614
/proc/meminfo: memFree=1545184/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=73032 CPUtime=25.48
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 8466 0 0 0 2545 3 0 0 25 0 1 0 166580885 74784768 8434 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/13613/statm: 18258 8434 716 92 0 16602 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73032

[startup+51.1296 s]
/proc/loadavg: 1.00 1.03 1.24 2/65 13614
/proc/meminfo: memFree=1545312/2055920 swapFree=4191892/4192956
[pid=13613] ppid=13611 vsize=73048 CPUtime=51.08
/proc/13613/stat : 13613 (solver) R 13611 13613 12241 0 -1 4194304 8470 0 0 0 5105 3 0 0 25 0 1 0 166580885 74801152 8438 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812969 0 0 4096 0 0 0 0 17 0 0 0
/proc/13613/statm: 18262 8438 716 92 0 16606 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73048

Child status: 0
Real time (s): 81.4861
CPU time (s): 81.4206
CPU user time (s): 81.3796
CPU system time (s): 0.040993
CPU usage (%): 99.9196
Max. virtual memory (cumulated for all children) (KiB): 73068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.3796
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8485
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= 11
involuntary context switches= 326

runsolver used 0.070989 s user time and 0.224965 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sun Jan  7 14:57:52 UTC 2007


IDJOB= 207470
IDBENCH= 4292
FILE ID= node35/207470-1168181872

PBS_JOBID= 3479102

Free space on /tmp= 66556 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-10.xml
COMMAND LINE= /tmp/evaluation/207470-1168181872/mistral/bin/solver /tmp/evaluation/207470-1168181872/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-207470-1168181872 -o ROOT/results/node35/solver-207470-1168181872 -C 1800 -M 900  /tmp/evaluation/207470-1168181872/mistral/bin/solver /tmp/evaluation/207470-1168181872/unknown.xml -v 1

META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH=  c9bcb9dd70ccc4a9926bdf95ae516c0c

RANDOM SEED= 105430879

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.234
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.234
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:       1576520 kB
Buffers:         32952 kB
Cached:         374712 kB
SwapCached:        268 kB
Active:         189520 kB
Inactive:       233380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1576520 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            5580 kB
Writeback:           0 kB
Mapped:          24152 kB
Slab:            42616 kB
Committed_AS:  3516440 kB
PageTables:       1412 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= 66556 MiB



End job on node35 on Sun Jan  7 14:59:14 UTC 2007