0.00/0.02 c mistral-option version 1.313
465.12/468.75 s SATISFIABLE
465.12/468.75 v 2264 2520 2500 2428 2256 -2500 2288 2384 -2260 -2372 2396 2684 2820 -2224 -2260 2780 2488 2572 2756 2272 2468 2492 2656 2260 -2260 2260 2684 -2548 2660 2260 2780 2356 2232 -2788 2808 2736 2748 2260 2460 -2376 -2680 2412 -2440 2712 2288 -2264 2608 2220 2312 2308 -2724 -2760 2580 2284 2480 -2448 2780 2540 -2728 -2340 -2732 -2752 -2528 -2636 -2676 2432 -2672 -2708 2324 2352 -2260 2524 -2624 -2780 2412 -2560 2260 2664 2372 2780 -2684 -2732 2684 -2820 -2820 -2388 -2768 2392 2620 2220 2220 2516 2348 -2624 -2380 2692 2764 2484 2696 -2388 2508 2668 2276 2676 -2820 2632 2636 2404 2492 -2792 2356 2508 2476 -2780 -2332 2268 2772 2524 2600 -2404 2540 -2476 2788 -2260 2640 -2428 2736 2768 -2372 -2480 2376 2644 2780 2644 2332 2352 2232 -2820 2320 -2460 -2696 2724 -2264 2260 -2268 2280 2440 2372 2484 -2244 -2776 2620 2400 -2548 -2684 2516 2220 2220 2708 2540 2820 2648 2260 2440 2520 -2684 -2620 2704 -2704 2668 2396 2540 -2372 2400 2220 -2396 -2796 2508 -2636 2736 2276 -2684 -2644 -2820 -2432 -2664 2756 -2820 2632 -2248 -2508 2220 2372 2660 2560 2232 2280 2348 -2288 2616 -2792 2676 2424 2584 -2608 2452 -2572 2220 -2644 2240 -2464 2288 -2488 -2644 -2220 2224 -2304 -2396 -2252 -2260 -2568 2480 2544 -2492 -2632 2344 2716 2256 -2584 -2252 2552 -2220 2584 -2748 -2732 2712 -2404 -2320 -2452 2536 -2788 2356 2220 2460 -2384 -2272 2616 2576 2684 2544 2540 2508 -2624 2676 2584 2540 -2492 2556 2508 2548 2300 -2292 2476 2704 -2376 -2460 2260 2488 2576 2264 -2732 2364 -2260 -2704 2480 2816 2768 2236 -2752 2636 -2220 2296 2680 2412 2628 2236 -2680 2632 2652 -2544 2712 2488 -2396 2504 2224 2680 2248 2232 2772 2616 -2820 -2764 -2712 2220 -2636 2220 2784 -2272 -2504 2736 2516 -2708 2332 2224 2628 -2524 2524 2776 2332 2628 2728 -2604 -2236 2396 2632 -2260 2500 -2260 2716 -2320 -2520 -2608 2692 2492 2260 -2532 -2460 2336 -2556 -2252 2264 2472 2564 2572 -2772 -2388 2220 -2516 -2612 -2608 2324 2404 -2344 2220 2820 2576 2528 -2440 -2780 -2640 -2788 2608 2728 -2716 -2548 2464 2456 2276 2220 -2820 2352 2260 2388 -2388 2220 -2796 -2744 2536 -2616 2464 2312 2420 2568 2628 -2820 -2260 -2544 -2580 2392 2296 -2260 2648 2724 2692 2260 2220 2220 2568 2444 -2588 -2224 -2688 -2664 -2600 2684 2600 -2576 -2592 2708 2312 2660 2284 2332 2284 2440 -2564 -2712 2620 -2724 2232 2536 -2316 2260 2776 -2696 2260 -2444 2568 2240 -2264 -2708 2476 2600 -2260 -2428 2564 2676 2428 2316 2456 -2320 2540 -2780 -2820 2376 2644 2568 -2476 2492 -2636 2780 2220 2764 2372 2420 2452 2328 -2668 2440 -2224 -2276 2476 2544 2376 2564 2404 2456 -2340 2760 2312 2716 -2420 -2260 2588 2812 2232 -2400 2596 -2688 2632 2220 -2820 2368 -2560 -2416 2608 2260 -2612 2748 2308 2740 2732 2284 2396 -2580 2748 2376 2692 2276 2260 2352 -2652 -2220 -2600 2272 2220 2220 -2304 2540 2220 2328 -2252 2532 2400 2468 -2232 -2556 2440 2632 2468 2532 2524 2516 2456 2768 -2812 -2656 2432 -2632 2556 -2272 2468 2780 2448 -2780 2264 -2220 2580 2260 -2500 -2400 2552 2444 2808 2636 -2720 -2596 2536 2564 -2432 -2540 2464 -2352 2280 2260 2660 2292 -2640 2604 -2372 -2564 2324 -2260 2220 -2820 -2280 -2580 -2480 -2264 2312 -2780 2780 2260 -2820 2628 2220 2676 -2260 2780 -2528 2512 2428 -2484 2220 2472 -2752 2352 2584 2344 -2752 2536 -2820 2740 2260 -2636 2720 2788 2688 2352 2220 2636 2440 2692 2376 2464 2780 2444 -2496 2296 -2268 -2276 2436 2220 2404 2724 2388 -2684 2508 2680 2332 -2320 2372 2220 -2628 2664 -2440 2260 2812 2664 2328 -2416 2220 2500 -2364 -2288 2644 2572 2260 2628 2600 2440 2428 2816 -2524 2560 -2652 2624 2700 -2820 2672 2316 2244 2352 -2748 2484 2472 -2684 -2820 2724 2288 -2744 2516 2588 -2820 2640 2412 2368 2440 -2404 2312 2220 -2452 2496 2728 2664 2672 -2768 -2304 2464 2224 -2520 2524 2672 2484 2376 -2692 2516 2520 -2620 2648 2332 -2504 2780 2360 2592 -2780 2724 2220 -2252 2596 -2260 -2540 -2516 2328 2676 2428 2424 -2700 -2272 2460 2696 -2220 -2796 -2812 2684 -2660 2280 2456 -2228 -2752 -2352 2724 2800 -2376 2804 2444 2820 2268 -2320 -2712 -2404 2592 -2376 2260 -2372 2520 2640 -2448 -2668 2436 2392 -2260 2340 2320 -2596 2776 2504 2220 2808 2344 2300 2352 -2592 -2332 2572 2300 -2220 2448 -2348 2220 2264 -2292 2504 2660 2220 2588 2352 -2820 2260 -2564 2356 2684 2504 2384 2220 2788 2304 2248 -2660 2440 2648 2392 2260 -2448 -2468 -2260 -2260 -2260 -2232 2768 2480 2220 2548 -2304 2600 2588 -2780 2252 -2360 -2220 2408 2420 2428 2560 2588 2604 -2564 -2680 -2736 2756 2556 2616 2284 -2820 2556 2580 2536 2756 2220 2264 2220 2576 2308 2432 2260 2492 2480 2564 2548 2392 2628 2308 2248 -2572 2676 -2708 -2672 -2424 -2576 -2500 2360 -2668 -2820 2300 2600 -2220 2584 -2820 2280 2356 -2260 2272 2220 2528 -2820 2500 2288 -2800 -2508 2780 2408 2280 -2548 2576 2788 -2272 -2768 2264 2704 -2700 2220 2272 -2716 -2500 2260 2676 -2360 2780 -2508 2696 2220 2780 -2820 -2488 2676 -2376 -2532 -2276 -2516 -2364 -2540 -2424 -2740 2780 2560 2220 -2596 2332 2288 2504 -2688 -2260 2272 2376 2728 -2792 -2260 -2780 -2560 -2560 -2544 2768 2648 -2568 2364 2732 -2224 2684 -2636 2300 -2516 2820 2468 2728 2692 -2444 -2260 2396 -2420 -2508 2736 2528 2348 -2820 2704 -2572 2440 2684 -2392 2780 2524 -2320 2348 2448 2280 -2576 -2312 -2644 2600 2560 2676 2804 2524 -2504 2604 2776 2780 2340 2732 2780 2468 2416 2264 2352 2656 2772 -2780 2644 2612 2664 2416 -2476 2476 -2740 2644 -2588 2280 -2680 -2288 -2260 2712 2700 2220 2376 2744 -2528 2480 2756 2448 2668 -2256 -2560 -2780 2260 2260 2780 2624 2544 2592 -2568 2304 2232 2312 -2424 -2684 2620 2368 -2708 2796 2572 2260 2420 2436 2672 2708 -2820 -2764 2648 2320 2400 -2608 -2560 -2360 2328 2440 -2520 2288 2564 2672 -2820 2804 2664 -2440 -2320 2336 2748 2772 2288 2532 2512 2356 2624 -2740 2748 2328 2508 -2344 2424 2780 -2260 2392 2728 2308 2516 2480 2396 2692 2616 -2360 -2636 2780 2292 -2296 2556 2636 2312 2268 2220 2764 2732 2348 2780 2348 2728 -2660 2576 -2292 -2460 2364 2796 2596 2488 2732 2632 -2388 2260 -2288 2484 -2480 2508 2244 -2704 2476 -2748 2292 2268 2736 2220 2404 2532 2780 -2412 2668 2668 2444 -2704 2780 2436 2464 2220 -2416 2504 2332 -2780 -2672 2820 2240 -2652 -2252 2476 -2516 -2468 -2780 -2348 2508 -2468 2312 2664 -2232 -2260 2452 -2632 2340 2636 -2236 2676 2220 -2388 2596 2260 -2488 2628 2584 2780 2396 2524 2640 2260 2528 2780 -2472 -2392 2220 2660 2676 -2220 2780 -2708 -2460 2436 -2780 2408 2408 2520 2520 2460 2480 2556 2220 -2588 2368 2392 2500 2336 -2260 2260 -2432 2480 2700 2220 2468 2520 2648 2384 -2260 2260 -2392 2612 -2784 2232 -2356 -2820 -2464 -2536 2408 2652 -2700 -2220 2224 2324 -2560 -2336 2656 -2496 -2544 -2676 -2756 2476 -2220 2480 -2480 2776 2568 2220 -2312 2260 2260 2392 -2820 2756 2676 2676 2408 2608 -2504 2728 2716 2424 2240 2380 2332 -2556 2520 -2484 2744 -2292 -2408 -2364 -2328 2752 -2392 2280 2696 -2704 -2260 2724 2780 2280 2624 -2476 -2320 -2508 -2444 2640 2432 2568 -2820 -2488 2272 2592 -2444 2660 -2708 -2632 2640 -2588 -2492 -2260 2424 2260 2512 -2616 2700 2748 -2244 2384 -2780 2736 -2704 2636 2552 2336 2232 -2580 2720 -2608 2596 2276 2276 2340 2688 -2576 -2376 2396 -2428 2220 2688 2736 2260 2428 -2576 2460 2348 -2548 2448 -2372 -2260 -2272 2352 2604 -2260 -2300 2548 -2480 2556 -2700 -2820 2268 -2616 -2412 -2820 2400 -2416 -2748 2260 -2672 2596 2552 2472 2820 2260 -2260 2264 2348 2456 -2820 -2516 2576 -2292 2224 2352 -2780 2380 2620 -2492 2440 -2644 2684 2260 -2744 2580 -2408 2336 2816 2752 2256 2332 2664 2328 2672 -2464 -2780 2440 -2388 2336 2612 2404 2624 2704 2540 2352 2732 2616 -2612 -2736 -2652 2268 2632 2584 2220 -2316 -2588 2260 2360 2632 -2292 -2644 -2620 2220 2732 2492 -2472 -2392 -2708 2220 2352 -2820 2568 2600 2476 -2380 -2556 2220 2656 2220 2564 2260 -2636 2544 2652 2340 -2716 -2392 2780 -2524 2220 2736 -2536 -2372 -2736 2264 2260 2720 2440 2348 -2356 -2664 2368 -2260 -2612 2572 2556 -2820 -2540 -2752 -2820 2672 -2820 2644 2228 -2820 -2268 -2504 2796 -2220 -2756 -2480 2400 -2620 -2220 -2756 -2660 2416 2220 -2260 2324 -2764 -2468 -2232 2524 -2364 2512 -2596 -2820 2676 2328 2540 -2440 2692 -2260 2260 2584 -2592 2636 2484 2576 2328 2556 2732 -2408 2392 -2596 -2772 2312 2220 2656 2696 -2252 -2700 2428 2728 2524 2408 -2388 2700 -2692 2304 2768 2328 2548 -2784 2568 2604 2752 -2260 2264 2248 2552 2600 2376 2808 -2700 2564 -2264 2780 -2248 2504 2440 2260 2516 -2580 -2372 2820 2644 2348 2260 -2320 2732 -2360 2564 -2580 2548 2568 2552 2780 2272 2412 -2592 2248 -2260 2652 2272 2700 2380 -2596 2436 2356 2596 2428 -2304 2780 2332 2616 -2544 2576 2356 -2588 -2324 2372 -2820 -2340 -2548 -2260 2296 2448 -2220 2220 -2376 2728 2448 2276 2368 2264 2312 2516 2452 -2680 2388 -2252 2636 2604 2716 2620 2504 2460 2544 2436 2620 -2420 -2820 2220 -2724 -2368 2624 -2344 -2260 2692 2616 -2604 2220 2728 2636 2672 -2348 -2820 2360 2624 -2336 2780 2220 -2372 -2436 -2692 2716 2716 -2252 2352 2512 2300 -2764 2324 -2412 2244 -2316 -2320 2324 2220 2352 -2820 -2488 2656 2692 2336 2780 -2652 -2308 -2580 2664 -2580 2220 2776 2596 2412 2408 -2604 2516 2388 2468 2388 2516 2340 2636 -2284 2264 2772 -2768 -2512 2668 2688 -2412 2628 2300 2236 2260 -2220 -2820 -2260 2276 2448 2660 -2380 2780 -2540 2220 2440 -2332 -2364 2220 2584 -2432 -2548 2372 2220 -2532 -2364 2444 -2260 -2736 2228 2416 -2820 -2548 2720 2260 2476 2412 2484 2492 2512 -2612 2288 -2304 -2268 -2292 2272 -2792 -2532 2456 -2660 2648 2572 -2692 -2584 -2612 -2820 2780 -2344 -2524 2756 2600 2220 2264 -2564 2704 -2336 -2608 2468 -2692 -2384 2780 2644 -2356 2564 -2556 2296 2620 -2572 -2432 2736 2468 2780 -2260 2220 2472 -2532 2272 2748 2536 -2312 -2368 2472 -2652 2400 2600 2220 2220 2456 2520 2276 2300 -2780 -2820 2428 2408 2272 -2380 -2436 -2820 -2308 -2272 2552 2792 2476 2400 2672 -2292 2560 2392 2788 2636 -2580 2536 -2764 -2636 -2808 2408 2576 2640 2288 2260 2220 -2428 2480 -2544 2568 2596 2684 2776 -2308 2260 2220 2448 2636 -2628 2348 -2380 2220 2748 -2512 -2348 2336 2260 -2820 -2376 2408 -2316 -2440 2516 2524 2312 -2348 2468 2416 -2668 2696 2492 2260 2220 -2588 2372 2220 2260 2552 -2324 -2780 2240 -2740 2560 2260 2244 -2560 2632 -2784 -2572 2712 2692 -2504 2260 2796 2220 2400 -2472 -2260 -2480 -2264 2752 2384 2640 2396 2312 -2608 -2820 -2288 -2688 2792 -2296 2500 -2820 2352 2780 2428 2700 2772 -2532 2732 2308 2500 2616 2560 2648 2348 2756 2628 2404 -2228 2528 2220 2276 2748 2284 -2612 -2760 2692 2440 -2524 2596 -2396 2340 -2496 2668 2792 -2292 -2416 2780 -2220 2640 -2460 -2240 2780 2268 2708 2672 2676 2540 2572 2520 -2692 2220 -2664 -2280 2304 2292 2496 2644 2220 -2644 2576 -2400 2620 2480 2768 -2600 2264 2668 2220 2368 -2676 2284 2520 2616 -2260 -2372 2508 -2748 2220 -2576 2780 2604 -2568 -2304 -2260 -2236 -2380 -2624 2780 -2700 2372 2408 2328 2340 2820 -2636 -2820 -2764 2368 2316 -2768 -2540 2448 2260 -2720 -2228 -2600 -2444 -2260 -2664 -2612 2352 2716 2468 2788 -2500 -2692 2492 -2748 2680 -2416 2732 2596 2336 -2820 -2688 2568 2416 2220 -2220 2500 -2512 -2220 2820 -2820 -2228 2532 -2220 -2768 2420 2568 2316 2500 2544 2568 -2532 2668 2712 -2400 2452 2272 2352 2220 2724 2608 -2760 -2480 2464 -2304 2312 -2380 -2540 -2652 2220 2260 -2612 2392 2476 2780 2472 2336 2396 2408 2296 2628 2552 2496 2724 -2780 -2456 2520 -2480 2648 2260 -2580 -2780 -2604 2236 2732 2532 -2592 2464 2780 2384 2260 -2220 2772 2564 2252 2556 2640 -2528 2260 2500 2648 2336 2632 2756 2464 2564 2420 2256 2620 -2444 -2468 2236 2744 2448 2304 2332 2292 2360 2592 -2636 -2432 -2316 2260 -2288 -2492 2260 -2276 -2352 2248 2340 2260 2388 -2780 2312 -2756 -2260 -2544 -2416 -2380 -2252 2360 2812 2488 2596 2776 2580 2220 2668 -2480 2228 2408 2260 -2648 -2352 2260 -2608 -2452 2440 2220 2732 2780 2532 2220 2392 2236 2536 2220 -2524 -2616 2768 -2424 -2528 2540 -2476 -2220 2272 2260 -2580 2732 2488 2264 -2788 -2452 2604 2356 -2744 -2476 -2440 -2580 2224 2360 2612 -2820 2220 -2676 -2692 -2280 2220 2528 2260 -2548 -2480 2436 -2228 2260 2220 2768 2504 2508 2788 2468 2716 2528 2448 2324 2592 2400 2236 2296 2272 2452 2340 -2688 2756 -2820 -2820 2364 -2436 2556 2660 -2660 -2820 -2516 2304 2260 2368 -2432 2436 2776 -2608 -2504 -2500 -2580 2224 -2320 2232 2260 2768 2220 2564 -2752 -2516 2220 2436 2564 2604 2796 2744 2260 2456
465.12/468.75 d CHECKS 45718698
465.12/468.75 d ASSIGNMENTS 694510
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087038-1215242406/watcher-1087038-1215242406 -o /tmp/evaluation-result-1087038-1215242406/solver-1087038-1215242406 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1087038-1215242406.xml -heu dyn -sac 3 -ds 2
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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.24 2.20 4/72 17156
/proc/meminfo: memFree=1929880/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=18572 CPUtime=0
/proc/17156/stat : 17156 (runsolver) R 17154 17156 16666 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003214092 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 254195330343 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17156/statm: 4643 292 257 25 0 2626 0
[startup+0.074047 s]
/proc/loadavg: 2.09 2.24 2.20 4/72 17156
/proc/meminfo: memFree=1929880/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=7092 CPUtime=0.05
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 1088 0 0 0 5 0 0 0 20 0 1 0 2003214092 7262208 1054 996147200 134512640 135239763 4294956192 18446744073709551615 4159752107 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 1773 1054 379 177 0 676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7092
[startup+0.101045 s]
/proc/loadavg: 2.09 2.24 2.20 4/72 17156
/proc/meminfo: memFree=1929880/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=7488 CPUtime=0.08
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 1176 0 0 0 8 0 0 0 20 0 1 0 2003214092 7667712 1142 996147200 134512640 135239763 4294956192 18446744073709551615 8152417 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 1872 1142 379 177 0 775 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7488
[startup+0.30108 s]
/proc/loadavg: 2.09 2.24 2.20 4/72 17156
/proc/meminfo: memFree=1929880/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=10152 CPUtime=0.28
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 1835 0 0 0 27 1 0 0 21 0 1 0 2003214092 10395648 1801 996147200 134512640 135239763 4294956192 18446744073709551615 134683419 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 2538 1801 379 177 0 1441 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10152
[startup+0.701141 s]
/proc/loadavg: 2.09 2.24 2.20 4/72 17156
/proc/meminfo: memFree=1929880/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=15344 CPUtime=0.68
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 3165 0 0 0 66 2 0 0 25 0 1 0 2003214092 15712256 3065 996147200 134512640 135239763 4294956192 18446744073709551615 7888901 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 3836 3065 379 177 0 2739 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15344
[startup+1.50126 s]
/proc/loadavg: 2.08 2.23 2.20 3/73 17157
/proc/meminfo: memFree=1886928/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=76716 CPUtime=1.47
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 11158 0 0 0 142 5 0 0 25 0 1 0 2003214092 78557184 11058 996147200 134512640 135239763 4294956192 18446744073709551615 135096848 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 19179 11058 397 177 0 18082 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 76716
[startup+3.1015 s]
/proc/loadavg: 2.08 2.23 2.20 3/73 17157
/proc/meminfo: memFree=1886800/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=76716 CPUtime=3.06
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 11158 0 0 0 301 5 0 0 25 0 1 0 2003214092 78557184 11058 996147200 134512640 135239763 4294956192 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 19179 11058 397 177 0 18082 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 76716
[startup+6.302 s]
/proc/loadavg: 2.08 2.23 2.20 3/73 17157
/proc/meminfo: memFree=1886864/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=76716 CPUtime=6.24
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 11158 0 0 0 619 5 0 0 25 0 1 0 2003214092 78557184 11058 996147200 134512640 135239763 4294956192 18446744073709551615 134541297 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 19179 11058 397 177 0 18082 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 76716
[startup+12.702 s]
/proc/loadavg: 2.07 2.23 2.20 3/73 17157
/proc/meminfo: memFree=1886736/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=76716 CPUtime=12.59
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 11158 0 0 0 1254 5 0 0 25 0 1 0 2003214092 78557184 11058 996147200 134512640 135239763 4294956192 18446744073709551615 134534761 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 19179 11058 397 177 0 18082 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 76716
[startup+25.502 s]
/proc/loadavg: 2.06 2.22 2.20 3/73 17157
/proc/meminfo: memFree=1886864/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=76716 CPUtime=25.29
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 11158 0 0 0 2524 5 0 0 25 0 1 0 2003214092 78557184 11058 996147200 134512640 135239763 4294956192 18446744073709551615 134543182 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 19179 11058 397 177 0 18082 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 76716
[startup+51.102 s]
/proc/loadavg: 2.04 2.20 2.19 3/73 17157
/proc/meminfo: memFree=1886800/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=76716 CPUtime=50.69
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 11167 0 0 0 5064 5 0 0 25 0 1 0 2003214092 78557184 11067 996147200 134512640 135239763 4294956192 18446744073709551615 134538539 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 19179 11067 397 177 0 18082 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 76716
[startup+102.307 s]
/proc/loadavg: 2.01 2.16 2.18 3/73 17157
/proc/meminfo: memFree=1745104/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218012 CPUtime=101.51
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46485 0 0 0 10131 20 0 0 25 0 1 0 2003214092 223244288 46385 996147200 134512640 135239763 4294956192 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54503 46385 400 177 0 53406 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 218012
[startup+162.301 s]
/proc/loadavg: 2.00 2.13 2.16 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218016 CPUtime=161.05
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46486 0 0 0 16085 20 0 0 25 0 1 0 2003214092 223248384 46386 996147200 134512640 135239763 4294956192 18446744073709551615 134820073 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54504 46386 400 177 0 53407 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 218016
[startup+222.303 s]
/proc/loadavg: 2.00 2.11 2.15 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218016 CPUtime=220.59
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46486 0 0 0 22039 20 0 0 25 0 1 0 2003214092 223248384 46386 996147200 134512640 135239763 4294956192 18446744073709551615 134535340 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54504 46386 400 177 0 53407 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 218016
[startup+282.302 s]
/proc/loadavg: 2.00 2.08 2.14 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218020 CPUtime=280.14
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46487 0 0 0 27994 20 0 0 25 0 1 0 2003214092 223252480 46387 996147200 134512640 135239763 4294956192 18446744073709551615 135096662 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54505 46387 400 177 0 53408 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 218020
[startup+342.301 s]
/proc/loadavg: 2.00 2.07 2.13 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218024 CPUtime=339.68
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46492 0 0 0 33948 20 0 0 25 0 1 0 2003214092 223256576 46392 996147200 134512640 135239763 4294956192 18446744073709551615 134535665 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54506 46392 400 177 0 53409 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 218024
[startup+402.301 s]
/proc/loadavg: 2.00 2.05 2.12 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218024 CPUtime=399.23
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46492 0 0 0 39903 20 0 0 25 0 1 0 2003214092 223256576 46392 996147200 134512640 135239763 4294956192 18446744073709551615 134541350 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54506 46392 400 177 0 53409 0
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (KiB) 218024
[startup+462.302 s]
/proc/loadavg: 2.00 2.04 2.10 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218032 CPUtime=458.77
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46494 0 0 0 45857 20 0 0 25 0 1 0 2003214092 223264768 46394 996147200 134512640 135239763 4294956192 18446744073709551615 134840430 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54508 46394 400 177 0 53411 0
Current children cumulated CPU time (s) 458.77
Current children cumulated vsize (KiB) 218032
Solver just ended. Dumping a history of the last processes samples
[startup+463.902 s]
/proc/loadavg: 2.00 2.04 2.10 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218032 CPUtime=460.36
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46494 0 0 0 46016 20 0 0 25 0 1 0 2003214092 223264768 46394 996147200 134512640 135239763 4294956192 18446744073709551615 135103376 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54508 46394 400 177 0 53411 0
Current children cumulated CPU time (s) 460.36
Current children cumulated vsize (KiB) 218032
[startup+467.101 s]
/proc/loadavg: 2.00 2.04 2.10 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218032 CPUtime=463.54
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46494 0 0 0 46334 20 0 0 25 0 1 0 2003214092 223264768 46394 996147200 134512640 135239763 4294956192 18446744073709551615 135017810 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54508 46394 400 177 0 53411 0
Current children cumulated CPU time (s) 463.54
Current children cumulated vsize (KiB) 218032
[startup+467.902 s]
/proc/loadavg: 2.00 2.04 2.10 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218032 CPUtime=464.33
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46494 0 0 0 46413 20 0 0 25 0 1 0 2003214092 223264768 46394 996147200 134512640 135239763 4294956192 18446744073709551615 135017742 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54508 46394 400 177 0 53411 0
Current children cumulated CPU time (s) 464.33
Current children cumulated vsize (KiB) 218032
[startup+468.302 s]
/proc/loadavg: 2.00 2.04 2.10 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218032 CPUtime=464.73
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46494 0 0 0 46453 20 0 0 25 0 1 0 2003214092 223264768 46394 996147200 134512640 135239763 4294956192 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54508 46394 400 177 0 53411 0
Current children cumulated CPU time (s) 464.73
Current children cumulated vsize (KiB) 218032
[startup+468.702 s]
/proc/loadavg: 2.00 2.04 2.10 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=218032 CPUtime=465.12
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46496 0 0 0 46492 20 0 0 25 0 1 0 2003214092 223264768 46396 996147200 134512640 135239763 4294956192 18446744073709551615 134535690 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54508 46396 402 177 0 53411 0
Current children cumulated CPU time (s) 465.12
Current children cumulated vsize (KiB) 218032
[startup+468.802 s]
/proc/loadavg: 2.00 2.04 2.10 3/73 17157
/proc/meminfo: memFree=1745168/2055920 swapFree=4179828/4192956
[pid=17156] ppid=17154 vsize=217944 CPUtime=465.22
/proc/17156/stat : 17156 (xsolve) R 17154 17156 16666 0 -1 4194304 46513 0 0 0 46500 22 0 0 25 0 1 0 2003214092 223174656 18746 996147200 134512640 135239763 4294956192 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/17156/statm: 54486 18746 409 177 0 53389 0
Current children cumulated CPU time (s) 465.22
Current children cumulated vsize (KiB) 217944
Child status: 0
Real time (s): 468.842
CPU time (s): 465.272
CPU user time (s): 465.033
CPU system time (s): 0.238963
CPU usage (%): 99.2385
Max. virtual memory (cumulated for all children) (KiB): 218032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 465.033
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46520
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= 7
involuntary context switches= 10038
runsolver used 0.446932 second user time and 1.26981 second system time
The end
Begin job on node34 at 2008-07-05 09:20:06
IDJOB=1087038
IDBENCH=57918
IDSOLVER=357
FILE ID=node34/1087038-1215242406
PBS_JOBID= 7881982
Free space on /tmp= 66504 MiB
SOLVER NAME= Mistral-option 1.314
BENCH NAME= CPAI08/csp/fapp/fapp25/normalized-fapp25-2230-4.xml
COMMAND LINE= HOME/xsolve BENCHNAME -heu dyn -sac 3 -ds 2
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087038-1215242406/watcher-1087038-1215242406 -o /tmp/evaluation-result-1087038-1215242406/solver-1087038-1215242406 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1087038-1215242406.xml -heu dyn -sac 3 -ds 2
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= fc409cb8b4f9cf04e2dbeb29fe62b8ed
RANDOM SEED=710158366
node34.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.259
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.259
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: 1930360 kB
Buffers: 4388 kB
Cached: 51244 kB
SwapCached: 5976 kB
Active: 53620 kB
Inactive: 22364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1930360 kB
SwapTotal: 4192956 kB
SwapFree: 4179828 kB
Dirty: 3564 kB
Writeback: 0 kB
Mapped: 28760 kB
Slab: 34832 kB
Committed_AS: 3541724 kB
PageTables: 1808 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= 66500 MiB
End job on node34 at 2008-07-05 09:27:55