Trace number 200980

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 21.9067 22.1856

General information on the benchmark

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

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/node5/watcher-200980-1168288844 -o ROOT/results/node5/solver-200980-1168288844 -C 1800 -M 900 /tmp/evaluation/200980-1168288844/solver /tmp/evaluation/200980-1168288844/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.88 1.97 1.90 5/87 9963
/proc/meminfo: memFree=1124744/2055920 swapFree=4192812/4192956
[pid=9962] ppid=9960 vsize=18540 CPUtime=0
/proc/9962/stat : 9962 (runsolver) R 9960 9962 7212 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 157499039 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 226913479975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9962/statm: 4635 279 244 17 0 2626 0

[startup+0.110982 s]
/proc/loadavg: 1.88 1.97 1.90 5/87 9963
/proc/meminfo: memFree=1124744/2055920 swapFree=4192812/4192956
[pid=9962] ppid=9960 vsize=5352 CPUtime=0
/proc/9962/stat : 9962 (solver) S 9960 9962 7212 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 157499039 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9962/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.519101 s]
/proc/loadavg: 1.88 1.97 1.90 5/87 9963
/proc/meminfo: memFree=1124744/2055920 swapFree=4192812/4192956
[pid=9962] ppid=9960 vsize=5352 CPUtime=0
/proc/9962/stat : 9962 (solver) S 9960 9962 7212 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 157499039 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9962/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34013 s]
/proc/loadavg: 1.88 1.97 1.90 3/88 9975
/proc/meminfo: memFree=1049208/2055920 swapFree=4192812/4192956
[pid=9962] ppid=9960 vsize=5352 CPUtime=0.5
/proc/9962/stat : 9962 (solver) S 9960 9962 7212 0 -1 4194304 376 2750 0 0 0 0 45 5 15 0 1 0 157499039 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9962/statm: 1338 242 203 169 0 49 0
[pid=9975] ppid=9962 vsize=33596 CPUtime=0.71
/proc/9975/stat : 9975 (bordewijk) R 9962 9962 7212 0 -1 4194304 7904 0 0 0 66 5 0 0 24 0 1 0 157499099 34402304 7876 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134534376 0 0 4096 0 0 0 0 17 1 0 0
/proc/9975/statm: 8399 7876 204 97 0 7680 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 38948

[startup+2.98431 s]
/proc/loadavg: 1.88 1.97 1.90 3/88 9975
/proc/meminfo: memFree=979512/2055920 swapFree=4192812/4192956
[pid=9962] ppid=9960 vsize=5352 CPUtime=0.5
/proc/9962/stat : 9962 (solver) S 9960 9962 7212 0 -1 4194304 376 2750 0 0 0 0 45 5 15 0 1 0 157499039 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9962/statm: 1338 242 203 169 0 49 0
[pid=9975] ppid=9962 vsize=95504 CPUtime=2.35
/proc/9975/stat : 9975 (bordewijk) R 9962 9962 7212 0 -1 4194304 23376 0 0 0 216 19 0 0 25 0 1 0 157499099 97796096 23348 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134543456 0 0 4096 0 0 0 0 17 1 0 0
/proc/9975/statm: 23876 23348 204 97 0 23157 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 100856

[startup+6.27569 s]
/proc/loadavg: 1.89 1.97 1.90 3/88 9975
/proc/meminfo: memFree=744568/2055920 swapFree=4192812/4192956
[pid=9962] ppid=9960 vsize=5352 CPUtime=0.5
/proc/9962/stat : 9962 (solver) S 9960 9962 7212 0 -1 4194304 376 2750 0 0 0 0 45 5 15 0 1 0 157499039 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9962/statm: 1338 242 203 169 0 49 0
[pid=9975] ppid=9962 vsize=171016 CPUtime=5.61
/proc/9975/stat : 9975 (bordewijk) R 9962 9962 7212 0 -1 4194304 48486 0 0 0 410 151 0 0 25 0 1 0 157499099 175120384 41483 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9975/statm: 42754 41483 217 97 0 42035 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 176368

[startup+12.7322 s]
/proc/loadavg: 1.89 1.97 1.91 3/88 9977
/proc/meminfo: memFree=1110992/2055920 swapFree=4192812/4192956
[pid=9962] ppid=9960 vsize=5352 CPUtime=11.24
/proc/9962/stat : 9962 (solver) S 9960 9962 7212 0 -1 4194304 396 51237 0 0 0 0 477 647 16 0 1 0 157499039 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9962/statm: 1338 242 203 169 0 49 0
[pid=9976] ppid=9962 vsize=68852 CPUtime=1.26
/proc/9976/stat : 9976 (standalone) R 9962 9962 7212 0 -1 4194304 9908 0 0 0 35 91 0 0 25 0 1 0 157500184 70504448 9208 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/9976/statm: 17213 9208 132 64 0 16528 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 74204

Child status: 0
Real time (s): 22.1856
CPU time (s): 21.9067
CPU user time (s): 14.2578
CPU system time (s): 7.64884
CPU usage (%): 98.7428
Max. virtual memory (cumulated for all children) (KiB): 176368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2578
system time used= 7.64884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68920
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= 698
involuntary context switches= 1363

runsolver used 0.026995 s user time and 0.06299 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Mon Jan  8 20:40:46 UTC 2007


IDJOB= 200980
IDBENCH= 3737
FILE ID= node5/200980-1168288844

PBS_JOBID= 3501714

Free space on /tmp= 66308 MiB

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

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  c3a713f4f6011a69f875f3666a2ad293

RANDOM SEED= 185165992

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1126376 kB
Buffers:         68456 kB
Cached:         660708 kB
SwapCached:          0 kB
Active:         348012 kB
Inactive:       514616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1126376 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           51684 kB
Writeback:           0 kB
Mapped:         153868 kB
Slab:            51700 kB
Committed_AS:  4357472 kB
PageTables:       2324 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= 66301 MiB



End job on node5 on Mon Jan  8 20:41:08 UTC 2007