Trace number 201019

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 51.0232 51.4208

General information on the benchmark

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

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/node16/watcher-201019-1168288864 -o ROOT/results/node16/solver-201019-1168288864 -C 1800 -M 900 /tmp/evaluation/201019-1168288864/solver /tmp/evaluation/201019-1168288864/unknown 1800 

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

/proc/loadavg: 0.86 1.30 1.65 6/82 4102
/proc/meminfo: memFree=1482768/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=0
/proc/4101/stat : 4101 (solver) R 4071 4101 2926 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 177281528 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/4101/statm: 1338 231 193 169 0 49 0
[pid=4105] ppid=4101 vsize=0 CPUtime=0
/proc/4105/stat : 4105 (solver) D 4101 4101 2926 0 -1 4194372 26 0 0 0 0 0 0 0 18 0 1 0 177281529 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 18446744072100051646 0 0 17 1 0 0
/proc/4105/statm: 0 0 0 0 0 0 0
[pid=4106] ppid=4101 vsize=5352 CPUtime=0
/proc/4106/stat : 4106 (solver) R 4101 4101 2926 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 177281529 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4345746 0 0 4100 65536 0 0 0 17 1 0 0
/proc/4106/statm: 1338 233 195 169 0 49 0

[startup+0.103325 s]
/proc/loadavg: 0.86 1.30 1.65 6/82 4102
/proc/meminfo: memFree=1482768/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=0
/proc/4101/stat : 4101 (solver) S 4071 4101 2926 0 -1 4194304 354 334 0 0 0 0 0 0 16 0 1 0 177281528 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4101/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.514257 s]
/proc/loadavg: 0.86 1.30 1.65 6/82 4102
/proc/meminfo: memFree=1482768/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=0
/proc/4101/stat : 4101 (solver) S 4071 4101 2926 0 -1 4194304 354 334 0 0 0 0 0 0 16 0 1 0 177281528 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4101/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.33409 s]
/proc/loadavg: 0.86 1.30 1.65 2/82 4321
/proc/meminfo: memFree=1454728/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=0.65
/proc/4101/stat : 4101 (solver) S 4071 4101 2926 0 -1 4194304 376 2752 0 0 0 0 59 6 15 0 1 0 177281528 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4101/statm: 1338 242 203 169 0 49 0
[pid=4321] ppid=4101 vsize=31352 CPUtime=0.63
/proc/4321/stat : 4321 (bordewijk) R 4101 4101 2926 0 -1 4194304 7323 0 0 0 59 4 0 0 23 0 1 0 177281597 32104448 7295 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 1 0 0
/proc/4321/statm: 7838 7296 204 97 0 7119 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 36704

[startup+2.9708 s]
/proc/loadavg: 0.86 1.30 1.65 3/91 4337
/proc/meminfo: memFree=1387584/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=0.65
/proc/4101/stat : 4101 (solver) S 4071 4101 2926 0 -1 4194304 376 2752 0 0 0 0 59 6 15 0 1 0 177281528 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4101/statm: 1338 242 203 169 0 49 0
[pid=4321] ppid=4101 vsize=96032 CPUtime=2.25
/proc/4321/stat : 4321 (bordewijk) R 4101 4101 2926 0 -1 4194304 23500 0 0 0 206 19 0 0 25 0 1 0 177281597 98336768 23472 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134543465 0 0 4096 0 0 0 0 17 0 0 0
/proc/4321/statm: 24008 23472 204 97 0 23289 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 101384

[startup+6.24919 s]
/proc/loadavg: 1.03 1.33 1.65 3/88 4338
/proc/meminfo: memFree=1143128/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=0.65
/proc/4101/stat : 4101 (solver) S 4071 4101 2926 0 -1 4194304 376 2752 0 0 0 0 59 6 15 0 1 0 177281528 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4101/statm: 1338 242 203 169 0 49 0
[pid=4321] ppid=4101 vsize=171016 CPUtime=5.48
/proc/4321/stat : 4321 (bordewijk) R 4101 4101 2926 0 -1 4194304 48664 0 0 0 382 166 0 0 25 0 1 0 177281597 175120384 41483 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/4321/statm: 42754 41483 217 97 0 42035 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 176368

[startup+12.716 s]
/proc/loadavg: 1.19 1.36 1.66 3/88 4339
/proc/meminfo: memFree=1300568/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=10.52
/proc/4101/stat : 4101 (solver) S 4071 4101 2926 0 -1 4194304 396 51417 0 0 0 0 462 590 16 0 1 0 177281528 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4101/statm: 1338 242 203 169 0 49 0
[pid=4339] ppid=4101 vsize=68944 CPUtime=2.03
/proc/4339/stat : 4339 (standalone) R 4101 4101 2926 0 -1 4194304 16648 0 0 0 85 118 0 0 25 0 1 0 177282595 70598656 15929 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134556255 0 0 4096 0 0 0 0 17 0 0 0
/proc/4339/statm: 17236 15929 136 64 0 16551 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 74296

[startup+25.5447 s]
/proc/loadavg: 1.29 1.37 1.66 3/88 5035
/proc/meminfo: memFree=1177632/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=10.52
/proc/4101/stat : 4101 (solver) S 4071 4101 2926 0 -1 4194304 396 51417 0 0 0 0 462 590 16 0 1 0 177281528 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4101/statm: 1338 242 203 169 0 49 0
[pid=4339] ppid=4101 vsize=68976 CPUtime=14.78
/proc/4339/stat : 4339 (standalone) R 4101 4101 2926 0 -1 4194304 17134 0 0 0 1356 122 0 0 25 0 1 0 177282595 70631424 16415 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549720 0 0 4096 0 0 0 0 17 0 0 0
/proc/4339/statm: 17244 16415 138 64 0 16559 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 74328

[startup+51.209 s]
/proc/loadavg: 1.47 1.41 1.66 3/88 5736
/proc/meminfo: memFree=1285888/2055920 swapFree=4191880/4192956
[pid=4101] ppid=4071 vsize=5352 CPUtime=10.52
/proc/4101/stat : 4101 (solver) S 4071 4101 2926 0 -1 4194304 396 51417 0 0 0 0 462 590 16 0 1 0 177281528 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4101/statm: 1338 242 203 169 0 49 0
[pid=4339] ppid=4101 vsize=69068 CPUtime=40.27
/proc/4339/stat : 4339 (standalone) R 4101 4101 2926 0 -1 4194304 17238 0 0 0 3898 129 0 0 25 0 1 0 177282595 70725632 16519 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 0 0 0
/proc/4339/statm: 17267 16519 138 64 0 16582 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 74420

Child status: 0
Real time (s): 51.4208
CPU time (s): 51.0232
CPU user time (s): 43.8033
CPU system time (s): 7.2199
CPU usage (%): 99.2269
Max. virtual memory (cumulated for all children) (KiB): 176368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.8033
system time used= 7.2199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69103
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= 892
involuntary context switches= 1462

runsolver used 0.044993 s user time and 0.156976 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Mon Jan  8 20:41:06 UTC 2007


IDJOB= 201019
IDBENCH= 3739
FILE ID= node16/201019-1168288864

PBS_JOBID= 3501741

Free space on /tmp= 66504 MiB

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

META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH=  31576fb792fd69c68469620fab63b28d

RANDOM SEED= 70910534

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.220
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.220
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:       1493424 kB
Buffers:         84736 kB
Cached:         372456 kB
SwapCached:        448 kB
Active:         311068 kB
Inactive:       194404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1493424 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           20740 kB
Writeback:           0 kB
Mapped:          66584 kB
Slab:            42144 kB
Committed_AS:  4959004 kB
PageTables:       2236 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= 66439 MiB



End job on node16 on Mon Jan  8 20:41:58 UTC 2007