Trace number 201074

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 19.971 20.0916

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-8.xml
MD5SUM3bffaaad69c3a0c8af29ad6ffcc38a0b
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 benchmark19.971
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Solver Data (download as text)

c 
c 
c 
c solution file
c 
c 

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

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/node3/watcher-201074-1168288873 -o ROOT/results/node3/solver-201074-1168288873 -C 1800 -M 900 /tmp/evaluation/201074-1168288873/solver /tmp/evaluation/201074-1168288873/unknown 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.74 1.91 1.89 7/89 20962
/proc/meminfo: memFree=1478584/2055920 swapFree=4192812/4192956
[pid=20959] ppid=20957 vsize=5352 CPUtime=0
/proc/20959/stat : 20959 (solver) R 20957 20959 16786 0 -1 4194304 280 0 0 0 0 0 0 0 20 0 1 0 177283133 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20959/statm: 1338 231 193 169 0 49 0
[pid=20960] ppid=20959 vsize=0 CPUtime=0
/proc/20960/stat : 20960 (solver) Z 20959 20959 16786 0 -1 4194380 26 0 0 0 0 0 0 0 15 0 1 0 177283133 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 0 0 0
/proc/20960/statm: 0 0 0 0 0 0 0
[pid=20961] ppid=20959 vsize=5352 CPUtime=0
/proc/20961/stat : 20961 (solver) R 20959 20959 16786 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 177283134 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20961/statm: 1338 231 193 169 0 49 0

[startup+0.10649 s]
/proc/loadavg: 1.74 1.91 1.89 7/89 20962
/proc/meminfo: memFree=1478584/2055920 swapFree=4192812/4192956
[pid=20959] ppid=20957 vsize=5352 CPUtime=0
/proc/20959/stat : 20959 (solver) S 20957 20959 16786 0 -1 4194304 354 334 0 0 0 0 0 0 20 0 1 0 177283133 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20959/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514555 s]
/proc/loadavg: 1.74 1.91 1.89 7/89 20962
/proc/meminfo: memFree=1478584/2055920 swapFree=4192812/4192956
[pid=20959] ppid=20957 vsize=5352 CPUtime=0
/proc/20959/stat : 20959 (solver) S 20957 20959 16786 0 -1 4194304 354 334 0 0 0 0 0 0 20 0 1 0 177283133 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20959/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33569 s]
/proc/loadavg: 1.74 1.91 1.89 3/88 20972
/proc/meminfo: memFree=1380544/2055920 swapFree=4192812/4192956
[pid=20959] ppid=20957 vsize=5352 CPUtime=0.5
/proc/20959/stat : 20959 (solver) S 20957 20959 16786 0 -1 4194304 376 2753 0 0 0 0 43 7 15 0 1 0 177283133 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20959/statm: 1338 242 203 169 0 49 0
[pid=20972] ppid=20959 vsize=36896 CPUtime=0.79
/proc/20972/stat : 20972 (bordewijk) R 20959 20959 16786 0 -1 4194304 8729 0 0 0 72 7 0 0 24 0 1 0 177283186 37781504 8701 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 11136128 0 0 4096 0 0 0 0 17 1 0 0
/proc/20972/statm: 9224 8701 204 97 0 8505 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 42248

[startup+2.97296 s]
/proc/loadavg: 1.76 1.91 1.89 3/88 20972
/proc/meminfo: memFree=1326080/2055920 swapFree=4192812/4192956
[pid=20959] ppid=20957 vsize=5352 CPUtime=0.5
/proc/20959/stat : 20959 (solver) S 20957 20959 16786 0 -1 4194304 376 2753 0 0 0 0 43 7 15 0 1 0 177283133 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20959/statm: 1338 242 203 169 0 49 0
[pid=20972] ppid=20959 vsize=96824 CPUtime=2.43
/proc/20972/stat : 20972 (bordewijk) R 20959 20959 16786 0 -1 4194304 23683 0 0 0 225 18 0 0 25 0 1 0 177283186 99147776 23655 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134555290 0 0 4096 0 0 0 0 17 1 0 0
/proc/20972/statm: 24206 23655 204 97 0 23487 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 102176

[startup+6.26449 s]
/proc/loadavg: 1.76 1.91 1.89 3/88 20973
/proc/meminfo: memFree=1368576/2055920 swapFree=4192812/4192956
[pid=20959] ppid=20957 vsize=5352 CPUtime=0.5
/proc/20959/stat : 20959 (solver) S 20957 20959 16786 0 -1 4194304 376 2753 0 0 0 0 43 7 15 0 1 0 177283133 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20959/statm: 1338 242 203 169 0 49 0
[pid=20972] ppid=20959 vsize=171016 CPUtime=5.69
/proc/20972/stat : 20972 (bordewijk) R 20959 20959 16786 0 -1 4194304 48714 0 0 0 404 165 0 0 25 0 1 0 177283186 175120384 41483 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20972/statm: 42754 41483 217 97 0 42035 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 176368

[startup+12.7335 s]
/proc/loadavg: 1.80 1.91 1.89 3/88 20974
/proc/meminfo: memFree=1436864/2055920 swapFree=4192812/4192956
[pid=20959] ppid=20957 vsize=5352 CPUtime=9.5
/proc/20959/stat : 20959 (solver) S 20957 20959 16786 0 -1 4194304 396 51468 0 0 0 0 467 483 16 0 1 0 177283133 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20959/statm: 1338 242 203 169 0 49 0
[pid=20974] ppid=20959 vsize=68944 CPUtime=3.13
/proc/20974/stat : 20974 (standalone) R 20959 20959 16786 0 -1 4194304 16669 0 0 0 193 120 0 0 25 0 1 0 177284092 70598656 15950 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4097026866 0 0 4096 0 0 0 0 17 1 0 0
/proc/20974/statm: 17236 15950 137 64 0 16551 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 74296

Child status: 0
Real time (s): 20.0916
CPU time (s): 19.971
CPU user time (s): 13.8969
CPU system time (s): 6.07408
CPU usage (%): 99.3997
Max. virtual memory (cumulated for all children) (KiB): 176368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8969
system time used= 6.07408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69154
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= 687
involuntary context switches= 1191

runsolver used 0.018997 s user time and 0.074988 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Mon Jan  8 20:41:15 UTC 2007


IDJOB= 201074
IDBENCH= 3742
FILE ID= node3/201074-1168288873

PBS_JOBID= 3501715

Free space on /tmp= 66502 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
COMMAND LINE= /tmp/evaluation/201074-1168288873/solver /tmp/evaluation/201074-1168288873/unknown 1800
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-201074-1168288873 -o ROOT/results/node3/solver-201074-1168288873 -C 1800 -M 900  /tmp/evaluation/201074-1168288873/solver /tmp/evaluation/201074-1168288873/unknown 1800

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  3bffaaad69c3a0c8af29ad6ffcc38a0b

RANDOM SEED= 397183595

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.279
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.279
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:       1480488 kB
Buffers:         61160 kB
Cached:         282920 kB
SwapCached:          0 kB
Active:         371304 kB
Inactive:       138792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1480488 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           62200 kB
Writeback:           0 kB
Mapped:         186452 kB
Slab:            50204 kB
Committed_AS:  5093992 kB
PageTables:       2272 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= 66477 MiB



End job on node3 on Mon Jan  8 20:41:35 UTC 2007