c
c
c
c solution file
c
c
SAT
2600 2556 2540 2340 2512 2552 2752 2800 2504 2620 -2776 2364 2268 2396 2552 -2736 2340 2796 2508 -2788 -2736 2588 2348 2376 -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 2272 2440 -2748 2788 -2776 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 -2776 2464 -2304 2540 -2660 2464 2344 -2816 2496 2552 -2788 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 -2732 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 2644 2752 -2808 2432 -2260 2340 2580 2332 2428 2456 2636 2300 -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 -2520 2676 2608 2484 2420 -2816 -2816 2328 2412 2364 2668 2352 2676 2328 2420 2376 2464 2788 2280 -2352 -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 2252 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 -2352 2636 2616 2536 -2260 2356 2316 2624 2568 2716 2380 2368 2520 -2268 2544 2496 2220 -2816 2280 2300 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 2232 2764 2284 -2220 2260 2308 2524 2360 2324 -2508 -2696 2736 2260 -2464 2508 2332 -2684 -2600 2540 2316 2712 2552 2336 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 -2688 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 -2760 2560 2384 2276 2728 2536 -2224 2284 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 -2752 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 2684 2652 2392 -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 -2776 -2684 2260 -2276 2420 -2272 -2776 2476 2380 -2480 2336 2488 2592 2688 -2284 2784 2244 -2288 2500 2384 2524 2452 -2288 2592 -2772 2752 2752 -2800 2496 -2584 -2548 -2776 2372 2384 2592 2348 2288 2424 2384 2484 2472 2592 -2816 -2776 2600 2292 2468 -2772 2724 2720 2476 2508 2284 -2260 2232 2528 2444 2384 2692 -2300 2460 -2816 2640 2720 -2776 2748 2656 -2272 -2792 2220 2820 2584 -2776 2432 2616 2248 2236 2660 -2332 2288 2672 2380 2416 -2780 -2604 2436 2624 2632 -2240 2692 -2800 -2728 2820 2376 2456 2560 2248 2504 2700 2752 2804 2524 2684 2316 2552 -2300 2308 2632 2576 2376 2484 -2800 2708 2376 2768 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 -2792 2504 2352 2820 2592 2424 2672 -2392 2532 -2740 2700 2660 2568 2712 2356 2452 2500 2820 -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 2676 2800 -2764 -2284 2428 -2816 2752 2568 2744 2528 -2752 2744 2764 2412 2540 2364 -2816 2536 2556 2340 -2776 2572 2552 2460 2340 2280 2532 2288 2508 -2252 2596 2692 2508 2580 2516 2564 2700 2568 2372 2348 2596 2460 -2264 2680 2548 -2236 2752 -2752 2512 2628 2588 2580 -2816 2220 2388 -2240 -2728 2324 2340 2552 2480 -2276 2512 2760 2652 -2780 -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 -2816 2540 2388 2364 2324 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 -2816 -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 -2800 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 2392 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 2308 2356 2372 2412 -2816 2456 -2652 2632 -2776 2676 -2716 -2768 2592 2552 -2800 2248 2692 -2260 2284 2376 -2772 2664 2428 2636 2484 -2820 2592 2284 2292 2272 2292 -2776 2588 2364 2500 -2808 2772 -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 -2728 -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 2340 2520 2328 2560 -2816 2412 2596 -2804 2452 -2816 -2312 -2288 2312 -2760 -2280 2780 2700 2380 2608 2668 -2504 2632 -2312 2240 -2288 2540 2684 -2300 -2760 -2404 2652 2532 2744 2712 -2276 2520 2424 2504 2552 2516 2520 2560 2756 -2256 2492 2576 -2760 2512 -2760 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 -2760 2348 2608 2608 2700 2652 -2344 2528 -2448 2680 2636 2492 2640 -2296 2496 2548 -2688 -2776 -2404 2492 -2728 2364 -2748 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 -2756 -2224 -2280 -2804 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 -2752 -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 -2800 -2284 2532 2640 -2816 -2292 -2284 2460 2592 2636 -2276 2660 2692 2376 -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 2412 -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 2268 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 -2636 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 -2808 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 -2728 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 -2712 2444 -2816 2536 2268 2336 -2380 2608 2336 2464 2220 -2292 2584 -2484 -2776 2592 2420 2276 2472 2420 -2264 -2220 2492 2796 2764 2676 2640 2276 2692 -2748 -2776 2352 2280 -2232 2576 2556 2716 2232 2460 2564 2428 2764 2692 2692 2448 2652 -2696 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 -2700 -2448 2664 2692 2820 -2348 -2628 -2756 -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 2768 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 2688 -2260 2584 -2296 -2796 -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 -2696 2580 -2316 -2776 2544 2528 -2764 2744 -2276 2588 -2716 -2800 -2780 2732 2656 2588 2480 2440 2804 2220 2252 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/node4/watcher-209802-1168294546 -o ROOT/results/node4/solver-209802-1168294546 -C 1800 -M 900 /tmp/evaluation/209802-1168294546/solver2 /tmp/evaluation/209802-1168294546/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.35 1.54 1.30 4/78 6928
/proc/meminfo: memFree=1383136/2055920 swapFree=4182144/4192956
[pid=6927] ppid=6925 vsize=5352 CPUtime=0
/proc/6927/stat : 6927 (solver2) R 6925 6927 2040 0 -1 4194304 311 190 0 0 0 0 0 0 19 0 1 0 177850464 5480448 239 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259913199902 0 0 4100 65536 0 0 0 17 1 0 0
/proc/6927/statm: 1338 240 201 169 0 49 0
[startup+0.107039 s]
/proc/loadavg: 1.35 1.54 1.30 4/78 6928
/proc/meminfo: memFree=1383136/2055920 swapFree=4182144/4192956
[pid=6927] ppid=6925 vsize=5352 CPUtime=0
/proc/6927/stat : 6927 (solver2) S 6925 6927 2040 0 -1 4194304 353 334 0 0 0 0 0 0 16 0 1 0 177850464 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6927/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.519076 s]
/proc/loadavg: 1.35 1.54 1.30 4/78 6928
/proc/meminfo: memFree=1383136/2055920 swapFree=4182144/4192956
[pid=6927] ppid=6925 vsize=5352 CPUtime=0.34
/proc/6927/stat : 6927 (solver2) S 6925 6927 2040 0 -1 4194304 376 2628 0 0 0 0 30 4 15 0 1 0 177850464 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6927/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 5352
[startup+1.34319 s]
/proc/loadavg: 1.35 1.54 1.30 2/79 6940
/proc/meminfo: memFree=1338008/2055920 swapFree=4182144/4192956
[pid=6927] ppid=6925 vsize=5352 CPUtime=0.34
/proc/6927/stat : 6927 (solver2) S 6925 6927 2040 0 -1 4194304 376 2628 0 0 0 0 30 4 15 0 1 0 177850464 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6927/statm: 1338 242 203 169 0 49 0
[pid=6940] ppid=6927 vsize=47076 CPUtime=0.98
/proc/6940/stat : 6940 (bordewijk) R 6927 6927 2040 0 -1 4194304 11255 0 0 0 90 8 0 0 25 0 1 0 177850500 48205824 11227 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 0 0 0
/proc/6940/statm: 11769 11227 204 97 0 11050 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 52428
[startup+2.97931 s]
/proc/loadavg: 1.35 1.54 1.30 2/79 6940
/proc/meminfo: memFree=1288344/2055920 swapFree=4182144/4192956
[pid=6927] ppid=6925 vsize=5352 CPUtime=0.34
/proc/6927/stat : 6927 (solver2) S 6925 6927 2040 0 -1 4194304 376 2628 0 0 0 0 30 4 15 0 1 0 177850464 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6927/statm: 1338 242 203 169 0 49 0
[pid=6940] ppid=6927 vsize=86796 CPUtime=2.61
/proc/6940/stat : 6940 (bordewijk) R 6927 6927 2040 0 -1 4194304 22890 0 0 0 241 20 0 0 25 0 1 0 177850500 88879104 21158 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134707385 0 0 4096 0 0 0 0 17 0 0 0
/proc/6940/statm: 21699 21158 211 97 0 20980 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 92148
[startup+6.25662 s]
/proc/loadavg: 1.40 1.55 1.30 2/79 6940
/proc/meminfo: memFree=1208280/2055920 swapFree=4182144/4192956
[pid=6927] ppid=6925 vsize=5352 CPUtime=0.34
/proc/6927/stat : 6927 (solver2) S 6925 6927 2040 0 -1 4194304 376 2628 0 0 0 0 30 4 15 0 1 0 177850464 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6927/statm: 1338 242 203 169 0 49 0
[pid=6940] ppid=6927 vsize=148388 CPUtime=5.89
/proc/6940/stat : 6940 (bordewijk) R 6927 6927 2040 0 -1 4194304 41019 0 0 0 287 302 0 0 25 0 1 0 177850500 151949312 35788 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/6940/statm: 37097 35788 217 97 0 36378 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 153740
[startup+12.7172 s]
/proc/loadavg: 1.41 1.55 1.30 2/79 6941
/proc/meminfo: memFree=1292376/2055920 swapFree=4182144/4192956
[pid=6927] ppid=6925 vsize=5352 CPUtime=8.4
/proc/6927/stat : 6927 (solver2) S 6925 6927 2040 0 -1 4194304 397 43648 0 0 0 0 330 510 19 0 1 0 177850464 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6927/statm: 1338 242 203 169 0 49 0
[pid=6941] ppid=6927 vsize=72868 CPUtime=4.28
/proc/6941/stat : 6941 (standalone) R 6927 6927 2040 0 -1 4194304 17527 0 0 0 308 120 0 0 25 0 1 0 177851306 74616832 16970 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 0 0 0
/proc/6941/statm: 18217 16970 137 64 0 17532 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 78220
Child status: 0
Real time (s): 14.5569
CPU time (s): 14.5538
CPU user time (s): 8.20175
CPU system time (s): 6.35203
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 153740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.20175
system time used= 6.35203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62186
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= 539
involuntary context switches= 29
runsolver used 0.018997 s user time and 0.036994 s system time
The end
Begin job on node4 on Mon Jan 8 22:15:48 UTC 2007
IDJOB= 209802
IDBENCH= 4561
FILE ID= node4/209802-1168294546
PBS_JOBID= 3501865
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp26/fapp26-2300-7.xml
COMMAND LINE= /tmp/evaluation/209802-1168294546/solver2 /tmp/evaluation/209802-1168294546/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-209802-1168294546 -o ROOT/results/node4/solver-209802-1168294546 -C 1800 -M 900 /tmp/evaluation/209802-1168294546/solver2 /tmp/evaluation/209802-1168294546/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 39fd319fe26c856a24205927bfd025f7
RANDOM SEED= 778993966
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.223
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.223
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: 1383616 kB
Buffers: 82796 kB
Cached: 491496 kB
SwapCached: 2552 kB
Active: 346204 kB
Inactive: 265148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1383616 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 13568 kB
Writeback: 0 kB
Mapped: 46512 kB
Slab: 46284 kB
Committed_AS: 5121268 kB
PageTables: 2012 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= 66280 MiB
End job on node4 on Mon Jan 8 22:16:05 UTC 2007