c
c
c
c solution file
c
c
SAT
2600 2556 2540 2340 2512 2552 2752 2800 2504 2620 -2776 2364 2268 2396 2552 -2740 2340 2800 2508 -2792 -2740 2588 2348 -2372 -2220 2688 2740 2536 2652 2244 -2232 -2668 2228 2804 2424 2260 2412 2520 -2732 -2296 2660 2324 2280 2524 2496 2560 -2544 2592 2284 2576 2352 2340 -2776 2712 2592 2728 -2640 -2260 -2816 2328 -2268 2440 -2752 2788 -2780 2820 -2816 2464 -2816 2424 -2652 -2712 -2264 -2776 -2776 -2220 2788 -2236 2400 2504 2260 2588 2276 2420 2620 -2804 2640 -2344 2608 2664 2592 2548 2396 2308 -2644 2556 -2776 2592 2672 2464 2660 2568 -2288 2352 2276 2460 2760 2692 2820 2464 -2304 2540 -2660 2464 2344 -2816 2496 2552 -2792 2320 2432 2288 -2548 2292 2452 2464 2716 2468 2720 2420 2552 2420 2524 2352 2452 -2232 2692 2348 2324 2468 2592 2452 2432 2352 2248 2576 -2684 2484 -2720 2312 2580 2692 -2816 2504 2364 2504 2436 2540 2696 2732 2496 2564 -2800 2532 -2224 -2432 2532 -2236 2556 -2776 -2816 2528 2496 2284 2464 2340 2488 2308 -2300 -2248 -2648 2752 -2808 2432 -2260 2340 2580 2332 2428 2456 2636 -2296 -2284 2692 2688 2648 2640 2380 -2780 2656 -2756 -2264 -2700 -2284 2432 2280 2280 -2740 2668 2584 2600 2648 -2776 -2612 2788 2392 -2764 2692 -2628 2364 2752 2428 2776 -2612 -2816 2616 2508 -2604 2292 2652 2652 -2736 2804 2712 -2376 -2280 2592 2336 2712 2364 -2816 2572 2656 2640 2252 2720 2604 2660 2428 2220 2468 -2524 2676 2608 2484 2420 -2816 -2816 2328 2412 2364 2668 2352 2676 2328 2420 2376 2464 2788 2280 -2348 -2752 2664 2552 2680 2384 2584 2660 2316 2296 2508 2384 -2352 2684 2316 -2260 2496 2476 2248 -2816 2480 2404 2500 2428 2512 -2224 2680 -2776 2672 2748 2588 2768 -2468 -2680 -2356 2504 2524 2636 -2780 -2768 2516 2692 2440 2764 2556 2560 2616 2296 -2768 2256 2488 2316 2520 2472 2364 -2224 2500 2588 -2764 2312 -2696 -2712 2256 2712 2712 -2764 -2248 2820 -2776 2572 2332 -2776 -2788 2412 2488 2752 -2248 2628 2448 -2336 -2364 2372 2648 2748 2532 2652 2372 2624 2780 2820 2432 2456 2644 -2280 2296 2512 -2428 2300 2384 2612 2672 -2228 2520 2668 2488 2400 2324 2676 2380 2432 2328 2564 2404 2500 2588 2788 2516 -2752 -2428 2264 -2744 2332 -2776 2568 2332 2688 -2348 2636 2616 2536 -2260 2356 2316 -2624 2568 -2716 2380 2368 2520 -2268 2544 2496 2220 -2816 2280 -2296 2512 -2288 -2820 2440 2420 2428 2456 2356 -2792 -2348 2660 2324 2588 2680 -2236 2660 2656 2520 2468 2300 -2588 -2268 2268 2680 2384 2372 2512 -2776 2676 2384 2468 -2796 -2228 2764 2284 -2280 2260 2308 2524 2360 2324 -2508 -2696 2736 2260 -2464 2508 2332 -2684 -2600 2540 2316 2712 2552 -2332 2396 2336 2544 2676 2600 -2352 2472 2484 2700 2772 2752 2404 2412 -2728 2724 2608 2316 2220 2320 2592 2392 2260 -2240 -2816 2636 2584 -2760 2472 -2452 2764 2460 2472 2776 2460 2420 2804 -2240 2764 2628 2500 -2248 -2800 2548 2552 2644 2752 -2776 -2744 2408 2732 -2260 2512 -2308 -2816 2420 2456 2380 2268 2440 2392 -2816 2464 2448 2732 2608 2272 2344 2272 2580 -2432 2620 2476 2648 2336 2720 -2776 2340 -2272 -2312 2280 2328 -2676 2620 -2776 2608 2536 2244 2692 -2676 2700 2228 2336 -2264 2668 -2776 2428 2712 2636 2584 2428 2420 2244 -2712 2356 2292 -2816 2432 -2792 2504 2376 2444 2436 2548 -2748 2620 2540 2240 2744 -2520 2688 2684 -2284 -2296 2488 2764 2748 2412 2220 2244 -2764 2272 2508 2624 -2760 2516 -2320 2388 -2792 2324 2756 2480 2612 2800 2260 -2672 2588 -2708 2628 -2340 2544 2544 -2764 2560 2384 2276 2728 2536 -2224 -2280 2380 2708 2540 2676 2396 2740 2328 2592 -2240 2380 2656 2496 -2220 -2776 2628 2568 2800 2368 2640 2396 2592 2432 -2776 -2784 -2528 -2340 2284 2452 -2800 2400 2556 -2816 2704 2368 2728 -2272 2464 2472 -2756 2296 2648 -2228 2752 2400 2560 2612 2680 -2776 2288 -2780 2712 2292 -2684 2524 -2776 -2816 -2336 -2708 -2816 2488 -2768 -2260 2472 2400 -2296 2588 2528 2740 2640 2400 2568 -2688 -2652 -2388 -2740 2380 2372 2388 -2240 2408 2652 -2252 -2468 2256 2780 2532 2244 2336 2576 2744 2700 2416 2440 2564 2676 2488 2468 2328 -2648 -2776 2672 2400 2424 2460 2692 2652 2524 2440 2548 2772 -2280 2780 -2684 2260 -2276 2420 -2276 -2776 2476 2380 -2484 2336 2488 2592 2688 -2284 2784 2244 -2288 2500 2384 2524 2452 -2288 2592 -2772 2752 2752 -2800 2496 -2584 -2548 -2776 -2368 2384 2592 2348 2288 2424 2384 2484 2472 2592 -2816 -2776 2600 -2288 2468 -2772 2724 2720 2476 2508 2284 -2260 2232 2528 2444 2384 2692 -2300 2460 -2816 2640 2720 -2776 -2748 2656 -2272 -2796 2220 2820 2584 -2776 2432 2616 2248 2236 2660 -2332 2288 2672 2380 2416 -2780 -2604 2436 2624 2632 -2240 2692 -2800 -2732 2820 2376 2456 2560 2248 2504 2700 2752 2804 2524 2684 2316 2552 -2300 2308 2632 2576 2376 2484 -2800 2708 2376 2772 2412 2536 2632 2764 -2752 2436 -2776 2392 2704 2560 2480 -2736 2488 2368 2592 -2816 2516 2260 -2244 -2804 2496 2500 2728 2596 2624 2256 2700 -2308 2332 2460 2692 -2568 2468 -2796 2504 2352 2820 2592 2424 2672 -2392 2532 -2744 2700 2660 2568 2712 2356 2452 2500 -2816 -2512 2476 2564 2316 -2248 2660 2600 -2556 -2224 2500 2492 -2312 2496 -2756 2424 2228 2440 2560 2620 2296 2548 2440 2388 2800 2516 2552 2492 -2800 -2816 2472 2584 2680 2800 -2816 -2284 2428 -2816 2752 2568 -2744 2528 -2752 2744 -2764 2412 2540 2364 2820 2536 2556 -2336 -2776 2572 2552 2460 -2336 2280 2532 2288 2508 -2252 2596 2692 2508 2580 2516 2564 2700 2568 2372 2348 2596 2460 -2264 2680 2548 -2236 2752 -2756 2512 2628 2588 2580 -2816 2220 2388 -2240 -2728 2324 2340 2552 2480 -2276 2512 2760 2652 -2776 -2816 2440 2464 2460 -2816 2720 -2720 2300 -2448 2352 2588 2516 2368 2652 2720 2548 -2756 2396 2816 2548 2396 -2232 2380 -2816 -2292 2660 2548 -2664 2376 2244 2712 2364 2260 2344 2596 -2244 2556 2536 2704 -2696 2560 2620 -2252 2284 2400 2644 -2272 2548 2532 2632 2316 2580 2792 2320 -2492 2236 2528 -2816 -2760 2520 2320 -2284 2552 -2816 2716 2580 2448 2708 -2752 2700 2260 2532 2540 2224 2260 2436 2464 -2288 2412 2528 -2728 2524 -2252 2440 2456 2488 -2288 -2236 2336 -2588 2580 2624 -2816 2416 2576 -2244 2612 2604 2264 2364 2704 2480 -2816 2716 -2816 -2488 2680 -2780 2540 2388 2364 -2320 2480 2400 2580 2220 -2240 2624 2304 -2816 2396 -2336 2556 2316 2760 2548 -2620 -2472 2692 2472 -2772 2496 2492 -2816 2496 2596 2424 2416 -2788 2656 -2460 2724 -2288 -2724 -2272 2624 2500 2260 2820 -2616 2680 2276 2324 2516 2612 2600 -2472 -2776 2320 -2804 2364 -2776 2344 -2788 2712 -2776 2276 2428 2256 2528 2620 2544 -2768 2400 -2816 -2272 2712 2552 2480 2748 2380 2712 2500 -2816 -2668 2764 -2716 -2652 2712 2664 2768 2764 -2744 2648 2380 -2268 2604 2532 2640 -2760 2504 -2776 -2496 2348 2460 2704 2724 2436 -2808 -2252 2476 2364 2724 2772 2564 2624 2536 2680 2732 2448 2400 2552 2648 2732 2616 2608 -2784 2732 2272 2588 2628 -2748 -2300 2416 -2272 2292 2264 2456 2364 -2816 -2804 2360 2312 2244 2412 -2236 -2640 2408 -2776 2732 2288 2564 2244 2488 2476 -2668 -2272 -2264 2568 -2796 -2232 2592 -2760 2552 2608 2328 2424 -2816 2332 2712 -2628 2760 2500 2632 2792 -2556 -2388 2700 2512 -2776 2256 2596 2492 2236 2496 2600 -2664 2740 -2760 -2660 2496 2348 -2220 2664 2296 2716 2348 2356 -2776 2308 -2752 2336 2604 2652 2356 2428 2556 2312 -2272 2536 2468 -2272 2584 2412 -2760 2244 2704 2344 2472 2444 -2288 -2556 2656 2412 -2304 2356 2372 2412 -2816 2456 -2652 2632 -2776 2676 -2720 -2768 2592 2552 -2800 2248 2692 -2320 2284 2376 -2772 2664 2428 2636 2484 -2820 2592 2284 2292 2272 -2288 -2776 2588 2364 2500 -2808 2724 -2692 2688 2396 2796 2348 2596 2568 2688 2556 2704 -2264 -2260 2248 2328 2684 -2232 -2776 2640 2724 2580 2440 2260 2680 2624 -2244 -2280 -2812 2524 -2632 2680 2532 2652 -2724 2300 2780 2220 2372 2220 2380 2408 2520 -2736 -2288 2548 2812 2600 2296 2396 2424 2424 -2744 2552 2480 -2816 2624 2580 2748 -2268 2528 2392 -2264 2740 -2356 2608 -2276 -2776 2424 2644 2396 2632 2476 -2768 2744 2652 2456 2356 2476 2312 2548 2704 -2776 -2336 -2816 2324 2548 -2248 -2816 2704 -2616 2476 2456 2324 2620 -2816 -2376 -2336 2520 2328 2560 -2816 2412 2596 -2804 2452 -2816 -2312 -2288 2312 -2760 -2280 2780 2700 -2376 2608 2668 -2504 2632 -2312 2240 -2288 2540 2684 -2300 -2760 -2404 2652 2532 2744 2712 -2276 2520 2424 2504 2552 2516 2520 2560 2760 -2256 2492 2576 -2760 2512 -2764 2548 2496 2724 2404 2492 -2808 -2776 2592 2440 2528 2656 2484 2452 2404 -2356 -2720 -2808 2232 2624 2544 -2440 2432 2452 -2604 2460 2356 2220 2520 -2600 2340 2624 -2268 -2768 -2328 2600 2540 2668 2660 -2684 2372 2364 2220 2692 2528 -2816 2324 2256 2388 -2776 2224 2332 2416 2308 2356 2712 2324 2804 2600 2532 -2240 2596 2376 2788 -2816 2376 2368 -2280 2372 -2408 2780 -2248 2424 2400 2624 2556 2468 2360 2720 2640 2476 2356 2660 2692 2244 2424 2364 2384 -2764 2348 2608 2608 2700 2652 -2344 2528 -2448 2680 2636 2492 2640 -2296 2496 2548 -2692 -2776 -2404 2492 -2732 2364 -2752 2440 2668 2288 2408 2424 2560 2508 2680 2616 2400 -2700 2444 2368 2620 -2276 2684 2760 -2276 -2564 2624 2360 -2288 2516 2500 2508 -2736 2668 2552 -2760 -2224 -2280 -2776 2592 2440 2224 2284 2556 2448 2388 2616 2804 2808 -2808 -2300 -2768 -2360 2596 -2804 2528 2588 2260 2672 -2284 2384 -2388 2292 -2296 -2340 -2776 -2756 -2776 -2240 -2732 2448 2456 2464 -2272 -2776 -2224 2344 2444 -2248 2620 2328 -2740 2432 2392 2404 2564 2748 2340 2660 -2388 2820 2252 2408 -2820 2588 2424 2616 -2728 2392 -2284 -2292 2776 -2280 -2576 2804 2272 2312 2684 2420 -2248 2580 -2552 2628 -2816 2508 2260 -2612 2516 -2776 2584 2640 2516 -2284 2272 2480 -2816 2680 -2332 2400 2528 2776 -2804 -2284 2532 2640 -2820 -2292 -2284 2460 2592 2636 -2276 2660 2692 -2372 -2776 2760 -2816 -2268 -2336 2528 2628 2504 2648 -2268 2220 -2816 2456 2296 2592 2616 -2708 2700 2524 2488 -2816 -2760 -2728 2220 2228 -2776 -2408 -2224 -2776 2364 2376 2356 2644 2696 2436 2292 2688 -2268 -2308 2292 -2376 2636 -2692 2804 2496 2732 -2308 2476 2488 2500 -2232 2308 2624 2400 2712 2536 2516 -2264 -2752 2516 2384 2340 2656 2560 -2780 2404 2636 2580 2592 2312 -2772 -2236 2288 -2732 -2244 2624 2648 2504 2572 2508 2680 -2812 2540 2432 2484 2388 2528 -2608 2616 2652 2700 2524 2616 -2244 -2816 2220 -2776 2312 -2640 2264 2328 -2756 -2316 2484 2240 -2280 2580 2624 -2552 2628 2624 -2784 2520 2648 2336 2476 2660 2664 -2292 2284 2280 -2244 2468 2528 2768 2656 2332 2420 2540 2384 2532 -2760 -2300 2392 2560 -2724 2704 2612 2500 -2772 -2320 -2664 -2224 -2808 -2776 2260 -2816 2312 2448 2248 2716 2616 2692 -2812 2412 2460 2748 -2696 2588 2252 2712 2544 2492 2480 2448 2296 2720 2424 2468 2252 -2784 -2688 -2244 -2552 2488 2608 2756 2364 2540 -2336 -2292 2344 -2732 2256 2424 2492 2676 2700 2752 2608 2492 -2776 -2776 2244 2256 2492 -2816 2604 -2408 -2272 -2260 2452 2324 2812 2560 -2220 -2676 2664 2412 2744 2472 -2628 2536 2324 2292 2572 2548 2656 2508 2328 2688 2356 2736 -2244 2464 2496 2560 -2764 2388 2596 2328 2524 -2292 2308 2600 2488 2624 -2776 2320 -2760 2400 2664 2316 2648 2664 -2468 -2232 -2780 -2552 2740 2256 2260 2668 2240 2584 2536 2284 -2236 -2716 2444 -2816 2536 2268 2336 -2380 2608 -2332 2464 2220 -2292 2584 -2484 -2776 2592 2420 2276 2472 2420 -2264 -2220 2492 2796 2764 2676 2640 2276 2692 -2748 2780 2352 2280 -2236 2576 2556 2716 2232 2460 2564 2428 2764 -2692 2692 2448 2652 -2780 2568 -2776 -2264 2324 -2336 2580 2644 2744 2568 -2776 -2720 2684 2360 2708 2508 2628 -2596 -2816 2552 2368 -2776 -2756 2360 2224 2380 2260 2220 2456 2752 -2704 -2448 2664 2692 2820 -2348 -2628 -2760 -2252 2656 2376 -2500 2532 2568 2460 2604 2368 2508 2580 2324 2292 2780 2584 2752 2308 2296 -2776 2284 2548 2260 2596 2424 2700 -2816 2752 2760 2516 2484 -2244 2404 2772 2588 -2776 2764 2600 -2220 2564 2436 2364 2408 -2708 -2224 -2312 2728 -2440 2644 -2820 2288 -2232 2464 2288 2652 -2260 -2288 -2744 2620 2544 2272 2584 2460 2692 -2260 2584 -2296 2800 -2568 2752 -2272 -2792 2376 2680 -2340 2256 -2260 2324 -2776 2540 2420 2764 2700 2628 -2264 2464 -2804 -2736 -2232 2476 2652 2592 2624 2444 2568 2540 2472 2372 -2620 2664 2768 2368 2492 2276 2544 2232 -2732 2364 2796 -2288 2456 -2816 2536 2624 2780 2804 -2816 -2704 2748 2532 2272 2640 2576 -2648 2408 2672 2500 -2688 -2364 2720 2644 2464 2568 -2780 2512 -2776 -2604 -2808 2516 2708 2508 2356 2496 2748 -2784 2644 2448 -2392 2636 2360 -2700 2580 -2316 -2776 2544 2528 -2764 2744 -2276 2588 -2716 -2804 -2780 2732 2656 2588 2480 2440 2804 2220 -2248 2576 2660 2496 2504 2488 2464 2712 -2800 2712 -2812 2548 2220 2672 2496 2380 -2768 -2616 -2816 2540 2456 2652 -2776 -2816 2376 2528 2252 2552 2608 2344 2616 -2816
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-209818-1168294551 -o ROOT/results/node7/solver-209818-1168294551 -C 1800 -M 900 /tmp/evaluation/209818-1168294551/solver2 /tmp/evaluation/209818-1168294551/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.59 1.28 1.29 3/81 1305
/proc/meminfo: memFree=1511296/2055920 swapFree=4192812/4192956
[pid=1304] ppid=1302 vsize=5352 CPUtime=0
/proc/1304/stat : 1304 (solver2) R 1302 1304 31675 0 -1 4194304 280 0 0 0 0 0 0 0 20 0 1 0 177850653 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/1304/statm: 1338 231 193 169 0 49 0
[pid=1306] ppid=1304 vsize=0 CPUtime=0
/proc/1306/stat : 1306 (solver2) D 1304 1304 31675 0 -1 4194372 26 0 0 0 0 0 0 0 20 0 1 0 177850653 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 18446744072100051646 0 0 17 1 0 0
/proc/1306/statm: 0 0 0 0 0 0 0
[pid=1307] ppid=1304 vsize=5352 CPUtime=0
/proc/1307/stat : 1307 (solver2) R 1304 1304 31675 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 177850653 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4542830 0 0 4100 65536 0 0 0 17 1 0 0
/proc/1307/statm: 1338 233 195 169 0 49 0
[startup+0.107243 s]
/proc/loadavg: 1.59 1.28 1.29 3/81 1305
/proc/meminfo: memFree=1511296/2055920 swapFree=4192812/4192956
[pid=1304] ppid=1302 vsize=5352 CPUtime=0
/proc/1304/stat : 1304 (solver2) S 1302 1304 31675 0 -1 4194304 353 334 0 0 0 0 0 0 16 0 1 0 177850653 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1304/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.515282 s]
/proc/loadavg: 1.59 1.28 1.29 3/81 1305
/proc/meminfo: memFree=1511296/2055920 swapFree=4192812/4192956
[pid=1304] ppid=1302 vsize=5352 CPUtime=0.48
/proc/1304/stat : 1304 (solver2) S 1302 1304 31675 0 -1 4194304 376 2627 0 0 0 0 43 5 15 0 1 0 177850653 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1304/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 5352
[startup+1.33537 s]
/proc/loadavg: 1.59 1.28 1.29 2/82 1317
/proc/meminfo: memFree=1474296/2055920 swapFree=4192812/4192956
[pid=1304] ppid=1302 vsize=5352 CPUtime=0.48
/proc/1304/stat : 1304 (solver2) S 1302 1304 31675 0 -1 4194304 376 2627 0 0 0 0 43 5 15 0 1 0 177850653 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1304/statm: 1338 242 203 169 0 49 0
[pid=1317] ppid=1304 vsize=39552 CPUtime=0.86
/proc/1317/stat : 1317 (bordewijk) R 1304 1304 31675 0 -1 4194304 9382 0 0 0 80 6 0 0 25 0 1 0 177850700 40501248 9354 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 10851963 0 0 4096 0 0 0 0 17 1 0 0
/proc/1317/statm: 9888 9354 204 97 0 9169 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 44904
[startup+2.97254 s]
/proc/loadavg: 1.62 1.29 1.29 2/82 1320
/proc/meminfo: memFree=1461880/2055920 swapFree=4192812/4192956
[pid=1304] ppid=1302 vsize=5352 CPUtime=0.48
/proc/1304/stat : 1304 (solver2) S 1302 1304 31675 0 -1 4194304 376 2627 0 0 0 0 43 5 15 0 1 0 177850653 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1304/statm: 1338 242 203 169 0 49 0
[pid=1317] ppid=1304 vsize=80520 CPUtime=2.47
/proc/1317/stat : 1317 (bordewijk) R 1304 1304 31675 0 -1 4194304 21339 0 0 0 229 18 0 0 25 0 1 0 177850700 82452480 19607 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1317/statm: 20130 19607 211 97 0 19411 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 85872
[startup+6.25088 s]
/proc/loadavg: 1.62 1.29 1.29 2/82 1320
/proc/meminfo: memFree=1373624/2055920 swapFree=4192812/4192956
[pid=1304] ppid=1302 vsize=5352 CPUtime=0.48
/proc/1304/stat : 1304 (solver2) S 1302 1304 31675 0 -1 4194304 376 2627 0 0 0 0 43 5 15 0 1 0 177850653 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1304/statm: 1338 242 203 169 0 49 0
[pid=1317] ppid=1304 vsize=148388 CPUtime=5.75
/proc/1317/stat : 1317 (bordewijk) R 1304 1304 31675 0 -1 4194304 41018 0 0 0 300 275 0 0 25 0 1 0 177850700 151949312 35787 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1317/statm: 37097 35787 217 97 0 36378 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 153740
[startup+12.7196 s]
/proc/loadavg: 1.83 1.35 1.31 4/88 2009
/proc/meminfo: memFree=1266248/2055920 swapFree=4192812/4192956
[pid=1304] ppid=1302 vsize=5352 CPUtime=8.93
/proc/1304/stat : 1304 (solver2) S 1302 1304 31675 0 -1 4194304 397 43646 0 0 0 0 356 537 16 0 1 0 177850653 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1304/statm: 1338 242 203 169 0 49 0
[pid=2008] ppid=1304 vsize=72868 CPUtime=3.64
/proc/2008/stat : 2008 (standalone) R 1304 1304 31675 0 -1 4194304 17416 0 0 0 233 131 0 0 25 0 1 0 177851558 74616832 16859 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2008/statm: 18217 16859 136 64 0 17532 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 78220
Child status: 0
Real time (s): 15.7652
CPU time (s): 15.6036
CPU user time (s): 8.87565
CPU system time (s): 6.72798
CPU usage (%): 98.975
Max. virtual memory (cumulated for all children) (KiB): 153740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.87565
system time used= 6.72798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62184
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= 552
involuntary context switches= 433
runsolver used 0.009998 s user time and 0.051992 s system time
The end
Begin job on node7 on Mon Jan 8 22:15:52 UTC 2007
IDJOB= 209818
IDBENCH= 4562
FILE ID= node7/209818-1168294551
PBS_JOBID= 3501893
Free space on /tmp= 66514 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp26/fapp26-2300-9.xml
COMMAND LINE= /tmp/evaluation/209818-1168294551/solver2 /tmp/evaluation/209818-1168294551/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-209818-1168294551 -o ROOT/results/node7/solver-209818-1168294551 -C 1800 -M 900 /tmp/evaluation/209818-1168294551/solver2 /tmp/evaluation/209818-1168294551/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 0a5c5d7c2a44568de9344231a515f0f1
RANDOM SEED= 978191855
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: 1511776 kB
Buffers: 84216 kB
Cached: 343096 kB
SwapCached: 0 kB
Active: 325608 kB
Inactive: 161796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1511776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 50752 kB
Writeback: 0 kB
Mapped: 79076 kB
Slab: 41840 kB
Committed_AS: 5431780 kB
PageTables: 2192 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= 66491 MiB
End job on node7 on Mon Jan 8 22:16:10 UTC 2007