Trace number 201588

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 861.329 869.322

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-7.xml
MD5SUM0afc8cfff921a2b2bb2e875a86dffcb1
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 benchmark176.285
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

SAT
-2520 -2520 -2620 2616 -2480 -2556 2540 -2388 2636 -2416 -2320 -2388 2600 -2648 -2280 -2532 -2396 -2376 -2312 -2320 2468 -2320 2304 -2412 -2280 -2620 2368 -2540 2652 -2480 2344 2644 2516 2512 -2584 2444 -2312 -2444 -2480 -2284 -2448 2300 -2472 -2340 -2420 2648 2480 -2356 -2656 2308 2280 -2548 -2600 -2616 -2656 -2640 -2496 -2324 -2528 -2648 2524 2432 -2292 -2384 2320 2576 2280 2616 -2592 2336 -2504 -2656 2368 -2584 2356 -2484 -2296 2624 -2564 -2452 2516 2324 2540 2464 2588 -2372 -2444 -2652 -2536 2332 2364 2356 2532 -2372 2420 -2492 -2512 -2508 2468 -2524 2404 -2588 2432 2420 -2320 2628 -2616 2416 2292 -2528 2372 -2332 -2360 2312 -2576 -2432 -2560 2520 -2488 -2536 2580 -2468 -2628 -2588 -2372 -2592 2508 2436 -2564 -2332 -2508 -2320 2548 2628 2360 -2480 -2344 -2424 2592 -2400 2368 2288 -2640 -2424 -2500 -2640 2616 2464 2588 -2628 -2508 2448 -2424 -2348 2576 -2460 -2432 2280 -2324 -2292 2328 2292 -2516 -2648 2492 -2388 -2492 -2612 -2332 -2484 2504 -2292 2360 -2292 2560 2292 2332 -2616 2424 2320 -2544 -2296 -2332 2464 -2596 -2400 -2524 2608 2580 -2448 2336 -2364 -2284 -2348 -2436 -2560 -2444 -2312 -2600 -2656 2356 -2604 -2544 -2616 2432 2592 -2636 2352 -2416 -2548 -2628 -2428 2340 -2396 2624 2400 2476 -2584 -2484 -2320 -2336 -2616 -2328 2360 -2512 -2524 2600 -2460 -2348 2576 2324 -2612 -2372 -2580 2572 -2304 -2616 -2616 2604 2588 2588 -2372 -2324 -2416 -2488 -2616 -2424 -2320 -2280 -2620 -2640 2456 -2580 -2356 -2616 -2364 -2428 2552 2320 2376 -2596 -2468 -2308 2352 -2488 2280 -2656 2288 2632 -2656 -2328 -2540 2484 -2556 2520 -2656 -2356 -2408 -2280 2324 2428 -2504 2412 -2380 2616 2404 -2444 2416 2572 2324 2460 -2584 2420 2440 -2544 -2472 2460 -2612 -2288 -2484 2388 -2284 -2464 2592 2532 2576 -2524 2336 2352 -2360 -2292 2488 -2364 2584 2320 -2464 -2616 2280 -2356 -2320 2600 2372 2604 2604 -2344 2532 -2564 -2280 -2380 2564 -2280 -2536 -2640 -2648 2564 -2344 2496 -2336 -2348 2512 -2476 -2328 -2632 2588 -2404 -2584 -2548 -2484 2292 -2516 -2380 2560 2560 -2628 -2492 -2484 2284 -2468 2304 -2332 -2532 2340 2596 2296 -2656 -2608 -2456 -2584 -2644 -2308 -2300 -2524 -2452 2332 2576 -2560 -2412 2304 2428 2548 2656 -2368 2340 2408 -2356 2628 2532 2520 -2524 2628 -2472 -2504 -2516 -2432 -2316 -2520 2380 -2288 2308 -2572 2492 2320 2468 -2540 -2460 -2492 -2396 2472 2412 -2360 -2500 -2608 2408 2656 2560 2572 2436 -2652 -2652 2572 -2468 -2464 2472 -2436 2652 2656 2540 2504 -2592 -2584 2416 2528 -2388 -2280 -2616 2548 -2656 2616 2320 -2320 2448 -2464 -2612 -2428 -2352 2540 -2324 -2316 -2468 2480 2288 -2364 -2444 2408 -2364 -2628 2552 -2396 2416 -2644 -2504 -2540 -2628 2352 2336 -2432 2436 2384 2532 -2624 2392 -2448 -2448 -2484 -2316 2400 -2448 -2308 -2656 -2280 -2632 -2472 2616 -2624 2480 -2512 -2656 -2488 -2600 -2372 -2504 2368 -2596 -2588 -2288 2340 -2340 -2484 2552 2368 -2368 -2280 -2384 2560 2392 2348 -2616 2280 -2608 -2424 2368 -2396 2544 -2580 -2536 -2380 2652 2636 2440 2616 -2376 -2308 2540 -2592 -2608 2352 2348 -2348 -2468 -2412 2608 -2376 -2572 -2332 -2576 2352 -2588 -2532 -2640 -2476 -2376 -2656 -2612 -2596 2280 2608 2656 2280 -2536 -2588 2656 -2280 2392 2360 -2388 -2532 -2412 2352 -2320 -2656 2612 2368 -2640 -2448 2328 -2588 2576 2512 -2332 -2292 -2616 -2556 -2492 2584 2512 2540 -2552 2340 2524 2656 -2512 2280 -2548 2320 -2384 2560 -2616 2460 -2580 -2600 2528 -2320 -2348 -2508 -2384 -2516 -2344 -2596 2552 -2596 -2604 2320 -2616 -2424 -2332 2340 -2400 -2556 -2424 -2616 -2428 2320 2456 -2600 2396 2432 -2564 2472 -2632 -2536 -2612 2600 2524 2392 -2516 -2600 -2524 -2356 -2504 2544 -2408 2304 -2296 2616 2424 -2640 2320 2524 -2476 2396 -2320 2524 -2332 2628 -2348 -2284 -2424 -2444 -2288 2488 -2504 -2552 2440 2496 -2632 -2324 -2628 2612 -2412 -2332 2556 -2604 -2560 -2472 2388 2300 -2316 2644 2340 2468 2472 2588 -2648 -2632 -2588 2640 -2424 2360 -2524 -2280 -2584 -2344 -2372 -2304 -2416 2608 2548 -2444 2280 -2512 -2460 2496 -2432 2284 2284 -2376 2320 2400 -2536 2636 -2492 -2632 -2636 2360 -2592 -2556 -2520 2628 -2580 -2516 -2656 -2488 -2560 2320 2416 -2420 -2516 -2416 2608 -2280 -2360 -2384 2608 -2552 -2420 -2284 -2600 -2368 -2512 -2424 2408 -2328 -2308 -2656 2520 2596 2556 -2280 2432 -2280 2356 -2356 -2600 -2488 -2544 2396 -2588 -2476 2508 2560 -2488 2284 -2540 -2636 2608 2616 -2292 -2492 -2472 -2280 -2616 2516 -2428 -2412 -2520 2568 -2384 -2600 -2588 -2636 -2284 -2340 2600 -2364 -2404 2644 2480 -2632 2348 -2396 -2560 2292 -2584 2624 -2448 -2656 -2320 2500 -2648 2444 -2620 2336 -2592 -2656 -2328 -2320 2456 -2324 -2428 2372 -2468 -2516 -2556 -2536 2588 -2572 -2432 2324 2472 -2320 -2284 -2440 2584 2396 2280 -2448 -2416 2492 2320 -2480 2352 -2280 -2296 -2616 -2464 2404 -2448 2332 -2512 -2464 -2492 2340 2600 -2288 -2648 -2616 -2616 -2464 -2336 2388 2588 2360 2280 -2520 2572 -2624 2520 -2344 -2616 -2332 2288 -2520 -2592 -2488 -2324 -2420 2320 -2632 -2452 2444 2384 -2612 -2488 -2532 -2488 2324 -2604 2308 2564 -2592 2380 2328 -2320 -2368 2316 -2420 2488 -2448 2304 -2616 2344 -2388 -2348 2328 -2600 -2576 2520 2592 -2452 2544 2488 -2480 -2656 -2492 2380 -2556 2328 2412 -2316 2400 2480 2560 2644 2316 -2324 -2292 -2596 2640 -2396 -2656 -2532 -2616 -2640 2616 2592 -2300 -2380 -2656 2508 2648 -2488 2324 -2596 -2516 2608 -2508 -2296 2576 -2616 2396 2568 2500 -2652 2428 2476 2304 -2568 -2616 2484 -2472 2368 2368 -2552 -2292 2560 -2608 2544 -2580 -2424 2320 2576 2592 -2496 -2480 -2496 -2392 -2476 2544 2412 -2320 -2616 2340 -2348 -2612 -2372 -2352 2452 -2656 2468 2504 -2508 2596 2332 -2496 2420 -2324 -2572 2616 -2460 -2404 -2408 -2492 2280 -2596 -2600 2656 -2516 2552 2348 -2488 -2588 2460 -2584 2572 2320 2608 2568 2600 2572 2480 -2528 -2492 2600 -2492 2444 2612 -2488 2496 -2316 -2336 -2464 2292 2500 2612 -2596 -2376 2564 -2412 -2356 -2536 -2284 -2616 2612 2596 -2436 -2468 2596 -2580 -2596 -2452 2608 -2392 -2496 2516 -2348 -2496 2636 -2564 2596 -2596 -2292 -2528 2464 2472 -2500 2548 2320 -2616 -2544 2476 2524 2384 2372 2636 -2312 -2404 -2344 -2564 -2656 -2484 -2628 -2424 2528 -2284 -2504 -2632 -2300 2520 -2656 -2320 -2280 -2408 -2652 2280 -2352 2416 2572 -2320 2360 2624 -2336 -2320 -2656 2312 -2384 -2656 -2396 -2540 -2324 2492 -2512 2640 -2624 -2436 -2428 -2456 -2284 2476 -2448 2464 2396 -2320 2584 2584 -2424 2652 -2656 -2656 2580 -2592 2512 2600 2648 -2592 -2324 2416 -2588 2604 -2656 -2296 -2620 -2340 2436 -2392 2504 -2284 2544 -2448 2332 -2508 -2656 2284 -2656 2588 2292 -2416 -2328 -2472 2552 -2504 -2596 2280 2308 -2280 2332 -2300 -2348 2460 2500 2644 2608 -2500 -2532 2504 -2408 -2396 -2508 -2456 -2632 2612 -2580 -2304 -2476 -2620 -2484 2396 2520 2588 -2448 -2612 2300 -2488 2488 -2540 2404 -2440 -2604 2440 -2548 -2624 -2580 2452 -2580 2424 2508 2280 2612 -2352 -2304 -2524 -2476 2628 -2552 -2576 -2576 2364 -2560 -2592 2280 2564 -2356 -2520 2432 -2616 -2360 2372 -2564 -2532 2404 2444 -2616 2560 2512 -2516 2504 -2652 -2372 2452 2652 -2520 2616 -2404 -2648 2384 2320 2604 -2400 -2584 2352 2484 -2324 2368 2528 -2612 -2640 2604 2444 2460 2636 -2388 -2520 2312 -2492 -2620 -2512 -2328 -2320 2280 2584 -2400 2408 2384 2504 -2300 -2328 -2568 -2548 -2396 2484 -2600 -2628 2552 -2600 -2332 -2424 -2344 2404 2592 2592 -2376 -2592 2408 2476 -2600 -2464 -2656 -2440 -2348 2432 2600 2360 -2608 2544 -2608 -2568 2560 2516 2588 -2500 -2340 -2468 -2488 -2320 -2656 2456 -2644 2604 2440 -2304 -2636 -2300 -2580 -2332 -2536 -2360 2300 -2368 -2528 2372 -2456 -2560 -2376 2576 2588 2380 2444 -2384 2560 -2412 -2548 2624 2452 2440 2480 2584 2320 2544 2320 2520 -2588 -2452 -2616 -2508 -2508 -2412 2568 -2320 -2624 2604 -2616 2408 2420 -2420 -2496 2600 2428 2504 2596 -2616 -2396 -2380 2504 2340 2616 2320 2356 2384 2596 -2472 2644 -2324 -2368 -2324 -2632 -2364 -2544 2508 2424 -2616 2592 2424 -2632 -2536 -2300 -2324 -2616 2320 2416 2380 -2612 2356 -2600 -2448 2328 -2376 -2588 -2504 -2400 -2340 -2356 -2564 -2292 2644 -2560 -2544 2548 -2548 -2652 2500 2420 2308 2528 -2332 2552 -2520 2332 2408 -2436 -2324 2296 -2552 2348 -2312 -2280 -2440 2472 -2320 -2656 -2608 2464 2504 -2604 -2452 2608 -2524 -2332 -2536 -2552 -2432 -2560 -2656 -2616 2512 -2608 -2476 -2344 2356 -2320 -2592 2624 -2356 2584 -2280 2440 2548 2280 -2436 2320 -2340 2356 2532 -2556 -2592 -2636 2468 2632 -2516 -2508 -2656 -2432 -2476 -2656 2464 -2436 2644 -2532 -2656 2460 -2416 2348 -2576 -2656 -2484 -2320 -2452 -2608 -2640 -2328 -2304 2348 -2332 2548 2616 -2472 -2460 2476 2408 -2280 -2404 2372 2412 2460 -2340 2596 -2484 2568 -2608 -2404 -2628 -2500 2332 -2320 2528 -2368 2484 -2400 -2516 -2300 2372 -2568 -2572 2492 -2536 2508 2344 -2648 -2280 -2580 -2400 -2344 -2412 2600 -2320 -2340 2436 -2320 -2640 -2364 2320 2348 -2612 -2440 -2472 2444 2284 -2332 2456 -2312 2280 -2344 2584 -2612 2460 -2628 -2656 2384 -2656 2536 2464 -2320 -2576 2392 2420 -2632 -2360 2492 -2600 -2488 -2456 -2440 -2544 -2656 2284 -2540 2480 -2444 2436 2592 -2492 -2584 -2656 2320 -2528 -2384 -2540 -2432 -2596 2568 -2584 2308 -2636 2560 2296 -2316 2572 2636 2428 -2420 2352 2616 2648 -2300 2320 -2288 -2516 -2352 -2464 2336 -2456 -2612 -2548 -2468 2448 2472 2632 -2560 -2412 -2512 2280 -2536 -2352 -2392 2468 2596 2464 2556 2564 2504 -2656 2452 -2332 -2616 2592 -2392 -2328 2440 2616 -2568 -2456 -2652 2292 -2616 2280 -2336 -2364 -2452 2456 -2468 -2412 2416 -2616 -2280 2636 -2524 2288 -2608 -2444 -2480 2464 2420 2552 -2632 -2520 -2564 -2636 -2656 -2624 2656 2576 2484 -2308 2656 2600 -2628 2440 2592 2404 -2592 -2556 2452 2376 -2388 2420 2384 -2408 2292 -2616 2488 -2304 2288 -2656 -2616 -2632 -2320 2564 -2428 2532 -2608 -2612 2564 2548 -2412 -2460 2524 -2636 -2480 2564 -2604 -2656 2508 2428 -2456 2396 -2580 2604 2552 -2648 2408 -2368 2604 -2412 2388 -2504 2612 -2612 -2284 -2656 -2452 2344 2372 2556 -2328 -2292 -2544 -2496 2484 -2408 -2612 2508 2640 2516 2436 2616 -2412 -2396 2568 -2656 2296 -2532 2488 2508 -2464 2476 2464 -2452 -2372 2496 -2312 2320 -2512 -2284 -2564 -2332 -2440 2320 -2508 2456 -2356 -2556 2568 2392 2492 -2528 -2464 -2340 -2528 -2580 -2500 2648 2504 2600 -2588 -2608 2492 2280 2376 2604 2576 2356 -2372 2524 -2648 2584 2312 2532 -2656 2376 -2496 2548 2592 -2572 -2316 -2640 -2476 2428 2600 -2572 2652 2536 -2316 2536 2616 2600 -2308 -2656 2648 -2388 -2412 2648 2280 -2424 -2616 -2552 -2408 -2428 -2480 -2560 -2544 -2612 2596 -2400 -2656 2396 -2440 2588 -2356 -2600 2652 2340 2536 -2380 -2524 2540 -2584 2280 2624 -2360 2280 -2544 -2596 -2468 2524 -2332 2336 -2560 -2588 -2496 2280 -2468 -2388 2392 -2640 2432 -2464 2444 -2480 2348 -2356 2468 2396 -2560 2652 -2460 2280 -2448 2472 -2488 2352 -2344 2412 2524 -2388 2280 2504 -2512 2492 -2484 -2316 -2524 -2528 2648 -2392 2376 2584 2656 2400 2380 -2280 2532 2616 -2652 2348 -2356 2528 -2524 -2360 -2480 -2292 -2524 -2480 2320 -2520 -2436 -2320 2280 -2588 -2292 -2616 2608 2640 -2332 2336 -2632 -2648 -2408 2560 2392 2372 -2592 -2428 -2344 -2408 -2452 -2484 2528 2452 -2372 2396 2292 -2484 -2336 -2412 2476 2616 -2444 -2424 2452 2404 -2492 2596 -2320 -2344 -2604 -2376 -2448 -2388 2564 -2372 -2352 -2616 -2496 2528 -2404 2288 -2348 2520 -2608 -2404 2548 2648 -2556 -2320 2444 -2328 2612 -2484 -2508 -2500 2492 2316 -2324 -2616 2436 -2616 -2616 -2520 -2584 -2360 2300 -2468 2432 2624 -2556 -2604 -2388 -2348 -2404 -2400 2412 2392 -2616 -2492 -2600 -2388 2536 -2552 -2356 2476 -2464 2560

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/node10/watcher-201588-1168290398 -o ROOT/results/node10/solver-201588-1168290398 -C 1800 -M 900 /tmp/evaluation/201588-1168290398/solver2 /tmp/evaluation/201588-1168290398/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: 2.00 1.97 1.82 6/84 19970
/proc/meminfo: memFree=1343096/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=0
/proc/19969/stat : 19969 (solver2) R 19964 19969 17331 0 -1 4194304 280 0 0 0 0 0 0 0 19 0 1 0 177435192 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19969/statm: 1338 231 193 169 0 49 0
[pid=19971] ppid=19969 vsize=0 CPUtime=0
/proc/19971/stat : 19971 (solver2) D 19969 19969 17331 0 -1 4194372 26 0 0 0 0 0 0 0 18 0 1 0 177435193 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 18446744072100051646 0 0 17 1 0 0
/proc/19971/statm: 0 0 0 0 0 0 0

[startup+0.104017 s]
/proc/loadavg: 2.00 1.97 1.82 6/84 19970
/proc/meminfo: memFree=1343096/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=0
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 353 334 0 0 0 0 0 0 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.512079 s]
/proc/loadavg: 2.00 1.97 1.82 6/84 19970
/proc/meminfo: memFree=1343096/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=0.36
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 376 2631 0 0 0 0 32 4 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 5352

[startup+1.33218 s]
/proc/loadavg: 2.08 1.99 1.83 2/82 20301
/proc/meminfo: memFree=1302536/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=0.36
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 376 2631 0 0 0 0 32 4 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20207] ppid=19969 vsize=41120 CPUtime=0.86
/proc/20207/stat : 20207 (bordewijk) R 19969 19969 17331 0 -1 4194304 9755 0 0 0 78 8 0 0 25 0 1 0 177435237 42106880 9727 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/20207/statm: 10280 9728 204 97 0 9561 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 46472

[startup+2.96941 s]
/proc/loadavg: 2.08 1.99 1.83 3/88 20318
/proc/meminfo: memFree=1220056/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=0.36
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 376 2631 0 0 0 0 32 4 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20207] ppid=19969 vsize=84556 CPUtime=2.48
/proc/20207/stat : 20207 (bordewijk) R 19969 19969 17331 0 -1 4194304 22354 0 0 0 227 21 0 0 25 0 1 0 177435237 86585344 20617 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134543468 0 0 4096 0 0 0 0 17 0 0 0
/proc/20207/statm: 21139 20617 211 97 0 20420 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 89908

[startup+6.25785 s]
/proc/loadavg: 2.07 1.99 1.83 3/88 20318
/proc/meminfo: memFree=1033176/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=0.36
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 376 2631 0 0 0 0 32 4 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20207] ppid=19969 vsize=127288 CPUtime=5.72
/proc/20207/stat : 20207 (bordewijk) R 19969 19969 17331 0 -1 4194304 36171 0 0 0 299 273 0 0 25 0 1 0 177435237 130342912 30844 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20207/statm: 31822 30844 217 97 0 31103 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 132640

[startup+12.7237 s]
/proc/loadavg: 2.07 1.99 1.83 3/88 20320
/proc/meminfo: memFree=1212520/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47764 CPUtime=5.35
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11615 0 0 0 460 75 0 0 25 0 1 0 177435925 48910336 11031 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4120677349 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11941 11031 137 64 0 11256 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 53116

[startup+25.5455 s]
/proc/loadavg: 2.06 1.99 1.83 3/88 20320
/proc/meminfo: memFree=1212144/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47764 CPUtime=18.06
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11615 0 0 0 1731 75 0 0 25 0 1 0 177435925 48910336 11031 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4119651447 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11941 11031 137 64 0 11256 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 53116

[startup+51.1889 s]
/proc/loadavg: 2.03 1.99 1.83 3/88 20320
/proc/meminfo: memFree=1212464/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47764 CPUtime=43.5
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11615 0 0 0 4275 75 0 0 25 0 1 0 177435925 48910336 11031 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118319878 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11941 11031 137 64 0 11256 0
Current children cumulated CPU time (s) 50.36
Current children cumulated vsize (KiB) 53116

[startup+102.473 s]
/proc/loadavg: 2.01 1.99 1.84 3/88 20320
/proc/meminfo: memFree=1212720/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47764 CPUtime=94.37
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11615 0 0 0 9362 75 0 0 25 0 1 0 177435925 48910336 11031 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4120911538 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11941 11031 137 64 0 11256 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 53116

[startup+162.544 s]
/proc/loadavg: 2.05 2.00 1.85 3/88 20320
/proc/meminfo: memFree=1211888/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47800 CPUtime=153.9
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11829 0 0 0 15314 76 0 0 25 0 1 0 177435925 48947200 11245 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134558451 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11950 11245 138 64 0 11265 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 53152

[startup+222.62 s]
/proc/loadavg: 2.08 2.02 1.86 3/88 20320
/proc/meminfo: memFree=1211824/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47812 CPUtime=213.42
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11836 0 0 0 21266 76 0 0 25 0 1 0 177435925 48959488 11252 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549720 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11953 11252 138 64 0 11268 0
Current children cumulated CPU time (s) 220.28
Current children cumulated vsize (KiB) 53164

[startup+282.689 s]
/proc/loadavg: 2.03 2.01 1.87 3/88 20320
/proc/meminfo: memFree=1211760/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=272.97
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 27220 77 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134548923 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 279.83
Current children cumulated vsize (KiB) 53200

[startup+342.762 s]
/proc/loadavg: 2.01 2.00 1.87 3/88 20320
/proc/meminfo: memFree=1211696/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=332.51
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 33174 77 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (KiB) 53200

[startup+402.831 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 20320
/proc/meminfo: memFree=1211632/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=392.06
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 39128 78 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 398.92
Current children cumulated vsize (KiB) 53200

[startup+462.901 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 20320
/proc/meminfo: memFree=1211632/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=451.6
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 45082 78 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4120691090 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 458.46
Current children cumulated vsize (KiB) 53200

[startup+522.977 s]
/proc/loadavg: 2.00 2.00 1.89 3/88 20320
/proc/meminfo: memFree=1211632/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=511.14
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 51035 79 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118507252 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 518
Current children cumulated vsize (KiB) 53200

[startup+583.05 s]
/proc/loadavg: 2.00 2.00 1.90 3/88 20320
/proc/meminfo: memFree=1211632/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=570.69
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 56990 79 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519668 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 577.55
Current children cumulated vsize (KiB) 53200

[startup+643.121 s]
/proc/loadavg: 2.00 2.00 1.90 3/88 20320
/proc/meminfo: memFree=1211568/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=630.24
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 62944 80 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554167 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 637.1
Current children cumulated vsize (KiB) 53200

[startup+703.192 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 20320
/proc/meminfo: memFree=1211568/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=689.78
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 68898 80 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549715 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 696.64
Current children cumulated vsize (KiB) 53200

[startup+763.28 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 20320
/proc/meminfo: memFree=1211568/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=749.34
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 74854 80 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4119511766 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 756.2
Current children cumulated vsize (KiB) 53200

[startup+823.356 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 20322
/proc/meminfo: memFree=1211376/2055920 swapFree=4178216/4192956
[pid=19969] ppid=19964 vsize=5352 CPUtime=6.86
/proc/19969/stat : 19969 (solver2) S 19964 19969 17331 0 -1 4194304 397 38803 0 0 0 0 336 350 16 0 1 0 177435192 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19969/statm: 1338 242 203 169 0 49 0
[pid=20319] ppid=19969 vsize=47848 CPUtime=808.89
/proc/20319/stat : 20319 (standalone) R 19969 19969 17331 0 -1 4194304 11877 0 0 0 80809 80 0 0 25 0 1 0 177435925 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519594 0 0 4096 0 0 0 0 17 0 0 0
/proc/20319/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 815.75
Current children cumulated vsize (KiB) 53200

Child status: 0
Real time (s): 869.322
CPU time (s): 861.329
CPU user time (s): 857
CPU system time (s): 4.32934
CPU usage (%): 99.0805
Max. virtual memory (cumulated for all children) (KiB): 132640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 857
system time used= 4.32934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51117
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= 985
involuntary context switches= 22377

runsolver used 0.989849 s user time and 2.48462 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Mon Jan  8 21:06:41 UTC 2007


IDJOB= 201588
IDBENCH= 3772
FILE ID= node10/201588-1168290398

PBS_JOBID= 3501733

Free space on /tmp= 66357 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-7.xml
COMMAND LINE= /tmp/evaluation/201588-1168290398/solver2 /tmp/evaluation/201588-1168290398/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-201588-1168290398 -o ROOT/results/node10/solver-201588-1168290398 -C 1800 -M 900  /tmp/evaluation/201588-1168290398/solver2 /tmp/evaluation/201588-1168290398/unknown 1800

META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH=  0afc8cfff921a2b2bb2e875a86dffcb1

RANDOM SEED= 892451756

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.232
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.232
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:       1343704 kB
Buffers:         68472 kB
Cached:         547360 kB
SwapCached:       2628 kB
Active:         288828 kB
Inactive:       362276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1343704 kB
SwapTotal:     4192956 kB
SwapFree:      4178216 kB
Dirty:           27920 kB
Writeback:           0 kB
Mapped:          44280 kB
Slab:            46168 kB
Committed_AS:  4811712 kB
PageTables:       2136 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= 66316 MiB



End job on node10 on Mon Jan  8 21:21:10 UTC 2007