Trace number 2083745

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Mistral 1.545SAT 53.1189 53.3367

DiagnosticValue
ASSIGNMENTS1397
CHECKS224527
NODES1397

General information on the benchmark

Namecsp/fapp/fapp25/
normalized-fapp25-2230-9.xml
MD5SUMcd2c3c12815b02c7c73d42faba495a48
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 benchmark29.0496
Satisfiable
(Un)Satisfiability was proved
Number of variables2230
Number of constraints18971
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18971
Global constraints used (with number of constraints)

Solver Data 

0.18/0.25	c mistral version 1.545
52.97/53.24	s SATISFIABLE
52.97/53.24	v 2264 2520 2500 2508 2244 -2500 2260 2384 -2260 -2372 2396 2684 2816 -2220 2336 2780 2488 2572 2756 2272 2468 2492 2724 2260 -2260 2264 2684 -2548 2660 2260 2780 2356 2236 -2792 2816 2816 2748 2260 2460 -2376 -2612 2412 -2440 2712 2284 2268 2608 2220 2304 2388 -2720 -2764 2580 2276 2480 -2448 2772 2540 -2724 -2340 -2696 -2752 -2528 -2636 -2676 2444 2664 2648 2324 2352 -2280 2524 -2624 2780 2412 2560 2260 2780 2372 2780 -2684 -2732 2700 -2776 -2820 -2260 -2780 2392 2620 2220 2248 2516 2348 -2624 -2300 2692 2792 2484 2756 2388 2600 2668 2272 2676 -2820 2632 2636 2404 2492 2796 2356 2508 2476 -2780 -2332 2292 -2780 2524 2600 2404 2540 -2476 2792 -2264 2644 -2428 2748 2768 -2372 -2480 2376 2648 2820 2808 2332 2356 2272 -2820 2320 -2460 2812 2724 2260 2248 2260 2280 2520 2372 2484 -2244 -2788 2620 2400 -2560 2704 2516 2304 2228 2716 2520 2820 2648 2260 2440 2520 2680 2620 2704 -2820 2668 2396 2540 -2372 2400 2220 2396 -2804 2508 2636 2772 2296 -2684 -2644 -2820 2432 -2672 2764 -2820 2632 -2248 -2416 2240 2372 2660 2560 2228 2280 2220 2288 2616 -2796 2724 2420 2584 -2752 2528 2572 2264 -2648 2240 -2464 2292 2636 2644 -2220 2220 -2304 2396 2252 -2260 -2568 2480 2544 2492 -2636 2348 2716 2260 2584 2236 2548 2236 2584 -2756 -2732 2796 -2404 -2292 2452 2536 -2792 2356 2288 2460 -2384 -2280 2616 2740 2684 2544 2540 2508 -2624 2676 2584 2540 -2492 2556 2508 2548 2296 2288 2476 2700 -2364 -2452 2260 2488 2576 2264 2764 2364 -2260 -2752 2480 2820 2780 2256 -2756 2676 -2224 2296 2680 2412 2628 2240 -2680 2712 2748 2544 2712 2488 2392 2504 2224 2680 2268 2236 -2796 2616 -2820 -2820 -2712 2220 -2636 2220 2792 2260 -2504 2816 2516 -2760 2328 2220 2656 -2524 2524 2808 2328 2628 2744 2608 -2240 2396 2632 -2260 2580 2260 2720 2320 -2520 -2608 2692 2492 2260 -2532 -2460 2336 -2556 2232 2220 2472 2564 2572 -2780 2384 2220 -2516 -2612 2608 2324 -2404 -2328 2220 2808 2576 2528 -2440 -2780 -2644 -2788 2608 2728 -2748 -2472 2464 2456 2268 2220 -2820 2352 2272 2388 2388 2408 -2800 -2736 2536 -2616 2464 2304 2424 2624 2628 -2784 -2264 2544 -2820 2392 2324 -2260 2648 2760 2740 2268 2220 2220 2660 2444 -2588 -2224 -2676 2668 2600 2684 2600 -2576 2588 2708 2312 2744 2284 2332 2244 2440 2564 -2712 2620 -2740 2252 2536 2316 2260 2780 -2660 2276 -2444 2568 2240 -2264 -2708 2476 2600 -2268 2428 2564 2676 2428 2312 2456 -2328 2540 -2780 -2716 2236 2644 2648 -2476 2492 -2636 2780 2232 2796 2376 2420 2452 2332 -2696 2440 -2220 -2276 2476 2772 2376 2564 2736 2456 -2264 2780 2312 2768 -2420 -2264 2588 2820 2232 -2396 -2596 -2720 2636 2228 -2820 2368 2560 -2324 2608 2260 -2612 2748 2308 2780 2732 2284 2400 -2580 2752 2376 2692 -2272 2264 2352 -2652 2224 -2600 2276 2312 2244 -2224 2540 2220 2324 -2252 2532 2400 2468 2220 2564 2524 2624 2468 2532 2528 2516 2456 2820 -2816 -2656 2432 -2628 2556 -2268 2468 2780 2448 -2780 2264 -2220 2580 2264 2480 -2400 2552 2444 2780 2636 -2720 -2596 2536 2564 2432 -2540 2464 2348 2280 2244 2660 2296 -2640 2604 -2364 -2564 2268 -2260 2220 -2820 -2280 2580 -2480 -2232 2312 -2780 2780 2260 2820 2628 2280 2676 -2296 2780 -2540 2512 2428 -2484 2228 2472 -2756 2352 2584 2344 -2752 2536 -2820 2744 2264 2636 -2720 2788 2688 2352 2220 2636 2440 2692 2376 2468 2780 2444 -2224 2288 2256 -2272 2436 2220 2404 2760 2728 -2684 2508 2684 2332 -2320 2372 2224 -2668 2712 -2440 2440 2816 2664 2220 -2416 2220 2500 2284 -2288 2644 2656 2260 2712 2600 2440 2428 2776 -2444 2560 -2648 2624 2704 -2820 2724 2336 2284 2352 2768 2484 2472 -2688 -2820 2728 2308 -2740 2516 2628 -2820 2640 2408 2368 2440 2404 2236 2220 -2452 2496 2776 2704 2672 -2800 -2260 2464 2232 -2524 2524 2672 2484 2372 2656 2596 2520 -2620 2680 2332 2504 2780 2360 2592 -2700 2724 2236 -2236 2596 2268 -2540 -2516 2328 2768 2428 2424 -2704 -2292 2804 2676 -2232 -2796 2812 2584 -2660 2280 2456 -2220 -2756 -2344 2756 -2820 -2376 2752 2444 2820 2288 -2320 -2712 -2404 2624 -2376 2252 2372 2520 2640 2448 -2688 2436 2392 -2260 2348 2320 -2596 2780 2504 2240 2820 2344 2296 2352 2592 -2332 2572 2300 -2220 2448 -2260 2328 2264 -2288 2504 2660 2268 2808 2348 -2820 2260 -2564 2356 2816 2504 -2384 2236 2788 2312 2320 -2660 2440 2568 2392 2260 2448 -2468 2280 -2260 -2268 -2228 2776 2552 2236 2548 -2272 2604 2588 -2720 2248 2360 -2220 2408 2420 2428 2556 2588 2604 -2564 -2680 2808 2820 2556 2616 2244 -2660 2556 2580 2536 2756 2220 2260 2220 2576 2308 2432 2260 2492 2480 2564 2548 2392 2628 2308 2220 -2572 2676 -2708 -2672 -2416 -2544 -2500 2360 2668 -2812 2308 2600 -2220 2584 -2820 2276 2356 -2260 2272 2220 2532 -2816 2764 2288 -2800 -2508 2780 2408 2280 -2548 2576 2808 -2268 -2764 2260 2716 -2692 2220 2268 -2716 -2500 2260 2716 -2264 2780 2508 2696 2284 2772 -2820 -2488 2696 -2352 2532 -2264 -2516 -2364 -2540 -2424 -2744 2780 2560 2248 -2596 2332 2288 2504 -2688 -2260 2272 2372 2808 -2820 -2260 2780 2560 -2560 -2544 2816 2648 -2568 2260 2732 -2220 2684 -2656 2300 -2516 2820 2468 2764 2692 -2444 -2304 2396 2400 -2508 2748 2528 2348 -2820 2708 2572 2440 2800 -2308 2780 2524 -2316 2344 2448 2268 -2576 -2312 -2644 2600 2560 2676 2780 2524 -2504 2604 2776 2776 2340 2776 2780 2468 2416 2272 2352 2656 2776 2768 2644 2612 2664 2416 -2476 2556 -2812 2776 2588 2252 -2776 -2260 -2272 2820 2800 2220 2372 2744 -2528 2480 2756 2448 2676 -2248 -2564 -2780 2288 2260 2780 2624 2544 2596 -2568 2260 2240 2312 2424 -2636 2620 2368 -2696 2800 2572 2272 2412 2432 2672 2716 -2820 -2768 2636 2320 2400 2664 2560 2360 2416 2440 2520 2284 2564 2780 -2820 2808 2664 -2440 -2224 2336 2748 2776 2376 2532 2512 2356 2664 -2764 2748 2328 2508 -2352 2424 2780 -2308 2392 2728 2304 2516 2480 2396 2724 2616 -2356 2628 2780 2292 2284 2556 2684 2312 2264 2232 2796 2732 2424 2780 2348 2728 2552 2576 -2276 -2460 2364 2816 2596 2500 2780 2632 -2388 2272 -2288 2484 -2484 2512 2224 -2696 2476 2748 2292 2268 2740 2260 2404 2532 2780 2412 2800 2668 2444 2704 2780 2436 2464 2228 -2336 2504 2332 -2780 -2672 2780 2236 -2724 -2248 2476 -2516 -2468 -2776 2768 2508 2468 2312 2804 -2240 -2284 2452 2628 2412 2636 -2232 2680 2388 -2388 2596 2260 -2488 2628 2732 2744 2396 2524 2816 2260 2528 2780 -2472 -2392 2348 2652 2680 -2228 2780 -2708 -2460 2432 -2756 2408 2408 2516 2520 2460 2480 2556 2220 -2588 2368 2464 2500 2416 2368 2288 2412 -2552 2704 2220 2468 2520 2800 2384 -2280 2260 -2396 2612 -2784 -2228 -2352 -2820 2464 -2456 2408 2656 -2700 -2228 2224 2324 -2560 -2336 2656 -2496 -2544 -2676 -2768 2476 2220 2480 -2480 2816 2568 2220 -2312 2260 2264 2392 -2820 2776 2676 2808 2408 2608 -2504 2820 2780 2424 2324 2384 2332 2556 2520 2484 2752 -2292 -2408 -2308 -2324 2752 -2392 2288 2768 -2708 2268 2756 2780 2284 2704 -2476 -2320 -2508 -2444 2640 2432 2772 2800 2492 2284 2592 -2444 2476 2708 -2632 2720 -2588 -2488 -2260 2424 2260 2512 2616 2700 2748 -2244 2384 -2780 2768 -2764 2636 2552 2336 2232 -2580 2724 2608 2596 2280 2280 2340 2724 -2576 -2376 2400 -2428 2220 2688 2796 2272 2428 -2576 2460 2348 -2548 2448 -2372 -2260 -2272 2352 -2608 -2264 -2300 2548 -2484 2564 -2704 -2788 2260 -2584 -2412 2812 2400 2416 -2748 2260 -2820 2604 2552 2472 2800 2260 2260 2260 2348 2456 -2820 -2516 2576 -2268 2228 2352 -2780 2280 2516 -2492 2512 -2624 2684 2276 -2744 2660 -2408 2344 2820 2780 2256 2332 2668 2328 2676 -2456 -2820 -2440 -2388 2332 2788 2220 2632 -2724 2540 2352 2732 2616 -2608 2736 2648 2304 2632 2584 2224 -2232 2588 2260 2360 2636 -2276 -2644 -2592 2232 2756 2572 -2392 -2392 2708 2296 2352 -2820 2792 2600 2568 -2380 -2556 2220 2700 2400 2564 2288 -2636 2544 2652 2340 2716 -2392 2780 -2524 2220 2740 -2536 2372 -2716 2260 2264 2800 2512 2348 -2376 -2676 2372 -2260 -2616 2572 2556 2772 -2540 -2752 -2820 2752 -2820 2664 2220 -2820 -2260 -2504 2796 -2764 -2756 -2400 2400 -2620 -2220 -2756 -2664 2416 2220 -2260 2324 -2768 -2468 -2232 -2524 2364 2512 -2604 -2820 2676 2328 2780 2440 2692 2240 2260 2664 -2592 2636 2484 2576 2328 2556 2732 -2412 2392 -2596 -2788 2312 2328 2656 2700 2256 -2700 2428 2728 2524 2408 -2388 2704 -2692 2304 2768 2328 2548 -2788 2568 2604 2752 -2264 2352 2220 2552 2600 2376 2820 -2700 2564 -2228 2780 -2252 2508 2444 2280 2528 -2580 -2372 2812 2804 2348 2276 -2320 2732 -2360 2564 2576 2548 2568 2552 2780 2260 2412 -2588 2248 -2284 2668 2272 2772 2380 -2596 2436 2356 2596 2428 -2268 2780 2324 2616 -2548 2576 2356 -2588 -2324 2372 -2820 -2340 -2548 -2260 2304 2448 -2220 2220 -2376 2760 2452 2276 2368 2264 2220 2516 2452 -2684 2388 -2232 2636 2764 2720 2620 2508 2460 2544 2440 2620 -2240 -2820 2220 2676 2368 2624 -2344 -2276 2692 2616 -2604 2244 2728 2636 2672 -2348 -2820 2356 2636 -2332 2760 2220 -2372 2436 -2692 2808 2716 -2252 2352 2512 2292 -2760 2324 -2492 2244 -2396 -2320 2316 2220 2352 -2812 2480 2656 2692 2312 2780 2648 -2296 -2580 2684 -2580 2220 2776 2596 2412 2408 -2604 2516 2388 2468 -2384 2516 2340 2636 -2284 2264 2816 -2784 -2512 2656 2688 -2332 2628 2300 2224 2260 -2220 -2820 -2260 2268 2448 2660 2380 2816 -2540 2224 2440 -2332 -2364 2220 2584 -2424 -2548 2372 2224 2532 -2364 2776 -2428 -2736 2264 2416 -2820 -2548 2724 2264 2476 2412 2484 2492 2512 -2612 2292 -2228 2264 -2292 2264 -2792 2532 2456 -2660 2764 2572 -2692 -2584 2612 -2820 2780 -2268 -2524 2760 2600 2220 2268 2564 -2704 -2336 -2604 2468 2688 -2388 2780 2744 2264 2568 -2556 2304 2620 -2492 2432 2820 2468 2780 2280 2224 2472 -2532 2232 2748 2616 -2312 -2368 2472 -2652 2400 2684 2316 2220 2264 2520 2272 2304 -2780 -2820 2428 2408 2276 2360 -2436 -2820 -2304 -2268 2584 2804 2476 2400 2676 -2272 2560 2388 2788 2780 -2580 2536 -2800 -2636 -2808 2408 2576 2640 2288 2220 2228 -2428 2480 -2544 2568 2820 2764 2780 2220 2264 2324 2448 2636 -2768 2348 -2300 2320 2748 -2512 -2348 2336 2256 -2820 -2376 2408 -2316 -2440 2516 2524 2316 2348 2468 2416 -2668 2700 2492 2260 2224 -2588 2372 2224 2264 2552 -2284 2780 2220 -2740 2560 2268 2244 -2480 2684 -2784 -2492 2724 2692 -2504 2744 2796 2224 2400 -2452 -2260 2480 -2268 2764 2364 2640 2392 2304 2608 -2820 -2280 2760 2796 -2292 2500 -2820 2352 2780 2508 2804 2772 -2532 2732 2308 2500 2764 2564 2648 2344 2756 2628 2404 -2252 2596 2220 2276 2220 2264 2612 -2760 2692 2440 2524 2596 -2396 2340 2496 2672 2792 -2292 2416 2644 2704 2640 -2260 -2228 2780 2276 2708 2756 2708 2540 2572 2520 -2708 2220 2664 -2280 2312 2368 2496 2644 2428 -2644 2576 2396 2620 2480 2780 -2600 2220 2668 2224 2364 -2668 2284 2520 2616 2228 -2368 2508 -2752 2256 -2576 2780 2768 -2572 2304 -2260 -2236 -2380 -2624 2772 -2700 2372 2408 2328 2340 2680 2636 -2820 -2756 2368 2312 2768 2536 2448 2268 -2652 -2224 -2600 -2444 -2260 2664 -2612 2352 2720 2456 2788 -2500 -2688 2492 -2752 2680 -2412 2820 2596 2336 -2820 2688 2568 2416 2220 2232 2500 -2512 -2220 2820 -2820 2236 2532 -2224 -2768 2420 2568 2308 2500 2556 2644 -2532 2668 2712 -2400 2452 2264 2352 2256 2720 2608 -2760 -2480 2544 -2304 2392 -2452 2540 -2652 2220 2260 2612 2392 2476 2772 2404 2276 2396 2408 2220 2628 2552 2496 2796 -2748 -2456 2520 -2364 2648 2260 -2580 -2780 -2604 2232 2732 2532 -2592 2464 2760 2384 2276 -2220 2780 2564 2252 2556 2640 -2520 2268 2500 2648 2344 2780 2760 2460 2564 2220 2364 2620 -2444 -2468 2236 2744 2448 2228 2336 2272 2280 2588 -2636 -2432 2304 2368 -2260 2492 2260 -2264 -2352 2244 2332 2296 2388 -2732 2308 -2756 -2260 2544 -2412 -2372 -2228 2360 2820 2488 2596 2788 2580 2224 2668 -2480 2248 2408 2272 -2648 -2276 2260 2620 -2452 2440 2220 2748 2780 2532 2220 2392 2228 2536 2220 2524 -2700 2768 -2324 2528 2540 -2476 2240 2280 2280 2580 2732 2488 2264 -2260 -2448 2604 2356 -2756 2476 -2404 -2580 2228 2356 2684 -2820 2228 -2676 -2696 -2260 2320 2812 2804 -2548 -2480 2440 2220 2284 2220 2768 2504 2508 2788 2468 2728 2528 2448 2324 2592 2400 2224 2296 2276 2452 2336 -2724 2760 -2820 -2684 2364 -2436 2556 2664 2760 -2820 -2516 2288 2260 2368 -2432 2436 2776 -2608 -2516 -2500 -2580 2224 -2320 2324 2260 2768 2240 2568 -2764 -2516 2220 2436 2564 2704 2796 2748 2388 2456
52.97/53.24	d CHECKS 224527
52.97/53.24	d ASSIGNMENTS 1397
52.97/53.24	d NODES 1397 BACKTRACKS 410 FAILURES 410 RUNTIME 52.08 TOTALTIME 53.02 NODES/s 26.8241 CHECKS/s 4311.19

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083745-1247378125/watcher-2083745-1247378125 -o /tmp/evaluation-result-2083745-1247378125/solver-2083745-1247378125 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2083745-1247378125.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 2.02 2.20 2.28 4/72 26955
/proc/meminfo: memFree=1856912/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=18576 CPUtime=0
/proc/26955/stat : 26955 (runsolver) R 26953 26955 21831 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 24879134 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26955/statm: 4644 284 249 26 0 2626 0

[startup+0.00963602 s]
/proc/loadavg: 2.02 2.20 2.28 4/72 26955
/proc/meminfo: memFree=1856912/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=3436 CPUtime=0
/proc/26955/stat : 26955 (ld-linux.so.2) D 26953 26955 21831 0 -1 4194304 68 0 0 0 0 0 0 0 18 0 1 0 24879134 3518464 51 996147200 1448431616 1448550632 4294956208 18446744073709551615 1448525156 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26955/statm: 1195 55 38 29 0 14 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3436

[startup+0.101652 s]
/proc/loadavg: 2.02 2.20 2.28 4/72 26955
/proc/meminfo: memFree=1856912/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=7436 CPUtime=0.08
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 1082 0 0 0 8 0 0 0 18 0 1 0 24879134 7614464 1061 996147200 1448431616 1448550632 4294956208 18446744073709551615 4159729538 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 1859 1061 374 29 0 674 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7436

[startup+0.301671 s]
/proc/loadavg: 2.02 2.20 2.28 4/72 26955
/proc/meminfo: memFree=1856912/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=9416 CPUtime=0.28
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 1553 0 0 0 28 0 0 0 19 0 1 0 24879134 9641984 1532 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157378885 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 2354 1532 374 29 0 1169 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9416

[startup+0.701715 s]
/proc/loadavg: 2.02 2.20 2.28 4/72 26955
/proc/meminfo: memFree=1856912/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=13024 CPUtime=0.68
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 2443 0 0 0 68 0 0 0 23 0 1 0 24879134 13336576 2422 996147200 1448431616 1448550632 4294956208 18446744073709551615 134704800 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 3256 2422 375 29 0 2071 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13024

[startup+1.50179 s]
/proc/loadavg: 2.02 2.20 2.28 3/73 26956
/proc/meminfo: memFree=1819464/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71116 CPUtime=1.48
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9727 0 0 0 144 4 0 0 25 0 1 0 24879134 72822784 9706 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529740 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17779 9706 401 29 0 16594 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 71116

[startup+3.10297 s]
/proc/loadavg: 2.02 2.20 2.28 3/73 26956
/proc/meminfo: memFree=1819336/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71116 CPUtime=3.08
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9727 0 0 0 304 4 0 0 25 0 1 0 24879134 72822784 9706 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17779 9706 401 29 0 16594 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71116

[startup+6.30131 s]
/proc/loadavg: 2.02 2.20 2.28 3/73 26956
/proc/meminfo: memFree=1819336/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71116 CPUtime=6.26
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9727 0 0 0 622 4 0 0 25 0 1 0 24879134 72822784 9706 996147200 1448431616 1448550632 4294956208 18446744073709551615 135268301 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17779 9706 401 29 0 16594 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 71116

[startup+12.702 s]
/proc/loadavg: 2.01 2.19 2.28 3/73 26956
/proc/meminfo: memFree=1819144/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71116 CPUtime=12.63
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9727 0 0 0 1259 4 0 0 25 0 1 0 24879134 72822784 9706 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529888 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17779 9706 401 29 0 16594 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 71116

[startup+25.5014 s]
/proc/loadavg: 2.01 2.18 2.27 3/73 26956
/proc/meminfo: memFree=1819208/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71116 CPUtime=25.38
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9727 0 0 0 2534 4 0 0 25 0 1 0 24879134 72822784 9706 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528929 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17779 9706 401 29 0 16594 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 71116

[startup+51.1011 s]
/proc/loadavg: 2.01 2.17 2.26 3/73 26956
/proc/meminfo: memFree=1819272/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71116 CPUtime=50.88
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9737 0 0 0 5084 4 0 0 25 0 1 0 24879134 72822784 9716 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531302 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17779 9716 403 29 0 16594 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 71116

Solver just ended. Dumping a history of the last processes samples

[startup+52.7013 s]
/proc/loadavg: 2.01 2.16 2.26 3/73 26956
/proc/meminfo: memFree=1819272/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71116 CPUtime=52.48
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9737 0 0 0 5244 4 0 0 25 0 1 0 24879134 72822784 9716 996147200 1448431616 1448550632 4294956208 18446744073709551615 134531793 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17779 9716 403 29 0 16594 0
Current children cumulated CPU time (s) 52.48
Current children cumulated vsize (KiB) 71116

[startup+53.1013 s]
/proc/loadavg: 2.01 2.16 2.26 3/73 26956
/proc/meminfo: memFree=1819272/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71252 CPUtime=52.87
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9757 0 0 0 5283 4 0 0 25 0 1 0 24879134 72962048 9736 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528941 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17813 9736 408 29 0 16628 0
Current children cumulated CPU time (s) 52.87
Current children cumulated vsize (KiB) 71252

[startup+53.3016 s]
/proc/loadavg: 2.01 2.16 2.26 3/73 26956
/proc/meminfo: memFree=1819272/2055920 swapFree=4192812/4192956
[pid=26955] ppid=26953 vsize=71080 CPUtime=53.08
/proc/26955/stat : 26955 (ld-linux.so.2) R 26953 26955 21831 0 -1 4194304 9826 0 1 0 5303 5 0 0 25 0 1 0 24879134 72785920 7159 996147200 1448431616 1448550632 4294956208 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26955/statm: 17770 7159 444 29 0 16585 0
Current children cumulated CPU time (s) 53.08
Current children cumulated vsize (KiB) 71080

Child status: 0
Real time (s): 53.3367
CPU time (s): 53.1189
CPU user time (s): 53.0619
CPU system time (s): 0.056991
CPU usage (%): 99.5918
Max. virtual memory (cumulated for all children) (KiB): 71252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.0619
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9828
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 643

runsolver used 0.06199 second user time and 0.139978 second system time

The end

Launcher Data 

Begin job on node19 at 2009-07-12 07:55:25
IDJOB=2083745
IDBENCH=57914
IDSOLVER=769
FILE ID=node19/2083745-1247378125
PBS_JOBID= 9507057
Free space on /tmp= 66424 MiB

SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/fapp/fapp25/normalized-fapp25-2230-9.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083745-1247378125/watcher-2083745-1247378125 -o /tmp/evaluation-result-2083745-1247378125/solver-2083745-1247378125 -C 1800 -W 2000 -M 900  /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2083745-1247378125.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= cd2c3c12815b02c7c73d42faba495a48
RANDOM SEED=1120159

node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.211
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.211
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:       1857392 kB
Buffers:          6100 kB
Cached:          66388 kB
SwapCached:          0 kB
Active:         125568 kB
Inactive:        20804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3816 kB
Writeback:           0 kB
Mapped:          85504 kB
Slab:            37268 kB
Committed_AS:   281500 kB
PageTables:       1996 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= 66424 MiB
End job on node19 at 2009-07-12 07:56:18