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 2788 2508 -2792 -2740 2588 2348 2376 -2220 2688 2740 2536 2652 2244 -2232 -2668 2228 2804 2424 2260 2412 2520 -2732 -2340 2660 2324 2280 2524 2496 2560 2544 2592 2284 2576 2352 2340 -2776 2712 2592 2728 -2640 -2260 -2816 2328 2272 2440 -2752 2788 -2776 2820 -2816 2464 -2816 2424 -2652 -2712 -2336 -2816 -2776 -2220 2788 -2236 2400 2504 2260 2588 2276 2420 2620 -2804 2640 2348 2608 2664 2592 2548 2396 2308 -2644 2556 -2776 2592 2672 2464 2660 2568 -2288 2352 2276 2460 2760 2692 -2816 2464 2308 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 -2296 -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 2648 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 -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 -2760 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 -2380 -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 -2768 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 -2752 2472 -2452 2764 2460 2472 2776 2460 2420 2804 -2240 2764 2628 2500 -2248 -2776 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 -2364 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 -2256 -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 -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 -2304 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 -2772 2672 2400 2424 2460 2692 2652 2524 2440 2548 2772 -2280 2780 -2684 2260 -2276 2420 -2272 -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 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 -2796 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 -2792 2708 2376 2772 2412 2536 2632 2764 -2752 2436 -2776 2392 2704 2560 2480 -2736 2488 2368 2592 2820 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 -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 2820 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 -2756 2512 2628 2588 2580 -2816 2220 2388 -2240 -2808 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 2368 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 -2260 2576 -2244 2612 2604 2264 2364 2704 2480 -2808 2716 -2816 -2488 2680 -2776 2540 2388 2364 2324 2480 2400 2580 2220 -2240 2624 2304 -2816 2396 -2336 2556 2316 2760 2548 -2620 -2472 2692 2472 2776 2496 2492 2820 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 2780 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 -2776 2648 2380 -2268 2604 2532 2640 -2752 2504 -2776 -2496 2348 2460 2704 2724 2436 -2808 2328 2476 2364 2724 2772 2564 2624 2536 2680 2732 2448 2400 2552 2648 2732 2616 2608 -2816 2732 2272 2588 2628 -2748 -2296 2416 -2272 2292 2264 2456 2364 -2808 -2804 2360 2312 2244 2412 -2236 2640 2408 -2776 2732 2288 2564 2244 2488 2476 -2660 -2272 -2264 2568 -2808 -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 -2652 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 -2708 -2768 2592 2552 -2792 2248 2692 -2260 2284 2376 -2772 2664 2428 2636 2484 -2820 2592 2284 2292 2272 2292 -2776 2588 2364 2500 -2800 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 -2736 -2288 2548 2812 2600 2296 2396 2424 2424 -2744 2552 2480 -2816 2624 2580 2748 -2268 2528 2392 -2264 2740 -2356 2608 -2276 -2768 2424 2644 2396 2632 2476 -2768 2744 2652 2456 2356 2476 2312 2548 2704 -2776 -2404 -2816 2324 2548 -2248 -2816 2704 -2616 2476 2456 2324 2620 -2816 -2444 2340 2520 2328 2560 -2816 2412 2596 -2804 2452 -2816 -2312 -2288 2312 -2760 -2280 -2776 2700 2380 2608 2668 -2504 2632 -2312 2240 -2288 2540 2684 -2300 -2764 -2404 2652 2532 2744 2712 -2276 2520 2424 2504 2552 2516 2520 2560 2748 -2256 2492 2576 -2816 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 -2484 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 -2524 2680 2636 2492 2640 -2296 2496 2548 -2692 -2776 -2404 2492 -2732 2364 -2748 2440 2668 2288 2408 2424 2560 2508 2680 2616 2400 -2692 2444 2368 2620 -2276 2684 2760 -2276 -2564 2624 2360 -2288 2516 2500 2508 -2732 2668 2552 -2748 -2224 -2280 -2804 2592 2440 2224 2284 2556 2448 2388 2616 2804 2808 -2800 -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 -2776 2680 -2332 2400 2528 2776 -2800 -2284 2532 2640 -2820 -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 -2776 -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 -2768 -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 -2608 -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 -2816 2560 -2220 -2676 2664 2412 2744 2472 -2620 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 2336 2464 2220 -2292 2584 -2484 -2776 2592 2420 2276 2472 2420 -2264 -2220 2492 2800 2764 2676 2640 2276 2692 -2748 2780 2352 2280 -2232 2576 2556 2716 2232 2460 2564 2428 2764 2692 2692 2448 2652 -2780 2568 -2776 -2264 2324 -2344 2580 2644 2744 2568 -2776 -2720 2684 2360 2708 2508 2628 -2596 -2816 2552 2368 -2780 -2760 2360 2224 2380 2260 2220 2456 2752 -2700 -2448 2664 2692 -2816 -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 2692 -2260 2584 -2296 -2796 -2568 2752 -2224 -2792 -2376 2680 -2340 2256 -2260 2324 -2776 2540 2420 2764 2700 2628 -2264 2464 -2804 -2736 2264 2476 2652 2592 2624 2444 2568 2540 2472 2372 -2620 2664 2760 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 -2800 -2780 2732 2656 2588 2480 2440 2804 2220 2252 2576 2660 2496 2504 2488 2464 2712 -2804 2712 -2816 2548 2220 2672 2496 2380 -2768 -2616 -2816 2540 2456 2652 -2776 -2816 -2300 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/node12/watcher-209739-1168294532 -o ROOT/results/node12/solver-209739-1168294532 -C 1800 -M 900 /tmp/evaluation/209739-1168294532/solver /tmp/evaluation/209739-1168294532/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.57 1.35 1.38 5/87 22985
/proc/meminfo: memFree=1248248/2055920 swapFree=4160348/4192956
[pid=22984] ppid=22982 vsize=5352 CPUtime=0
/proc/22984/stat : 22984 (solver) R 22982 22984 20204 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 177848479 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/22984/statm: 1338 231 193 169 0 49 0
[pid=22986] ppid=22984 vsize=5352 CPUtime=0
/proc/22986/stat : 22986 (solver) R 22984 22984 20204 0 -1 4194368 8 0 0 0 0 0 0 0 21 0 1 0 177848480 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429369921 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/22986/statm: 1338 231 193 169 0 49 0
[pid=22987] ppid=22984 vsize=5352 CPUtime=0
/proc/22987/stat : 22987 (solver) R 22984 22984 20204 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 177848480 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/22987/statm: 1338 231 193 169 0 49 0
[startup+0.107201 s]
/proc/loadavg: 1.57 1.35 1.38 5/87 22985
/proc/meminfo: memFree=1248248/2055920 swapFree=4160348/4192956
[pid=22984] ppid=22982 vsize=5352 CPUtime=0
/proc/22984/stat : 22984 (solver) S 22982 22984 20204 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 177848479 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22984/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.517291 s]
/proc/loadavg: 1.57 1.35 1.38 5/87 22985
/proc/meminfo: memFree=1248248/2055920 swapFree=4160348/4192956
[pid=22984] ppid=22982 vsize=5352 CPUtime=0
/proc/22984/stat : 22984 (solver) S 22982 22984 20204 0 -1 4194304 354 334 0 0 0 0 0 0 22 0 1 0 177848479 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22984/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33843 s]
/proc/loadavg: 1.57 1.35 1.38 3/88 22997
/proc/meminfo: memFree=1214384/2055920 swapFree=4160348/4192956
[pid=22984] ppid=22982 vsize=5352 CPUtime=0.5
/proc/22984/stat : 22984 (solver) S 22982 22984 20204 0 -1 4194304 376 2628 0 0 0 0 46 4 15 0 1 0 177848479 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22984/statm: 1338 242 203 169 0 49 0
[pid=22997] ppid=22984 vsize=36120 CPUtime=0.78
/proc/22997/stat : 22997 (bordewijk) R 22984 22984 20204 0 -1 4194304 8520 0 0 0 71 7 0 0 24 0 1 0 177848534 36986880 8492 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134550284 0 0 4096 0 0 0 0 17 1 0 0
/proc/22997/statm: 9030 8492 204 97 0 8311 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 41472
[startup+2.97577 s]
/proc/loadavg: 1.57 1.35 1.38 4/88 22997
/proc/meminfo: memFree=1161136/2055920 swapFree=4160348/4192956
[pid=22984] ppid=22982 vsize=5352 CPUtime=0.5
/proc/22984/stat : 22984 (solver) S 22982 22984 20204 0 -1 4194304 376 2628 0 0 0 0 46 4 15 0 1 0 177848479 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22984/statm: 1338 242 203 169 0 49 0
[pid=22997] ppid=22984 vsize=80524 CPUtime=2.4
/proc/22997/stat : 22997 (bordewijk) R 22984 22984 20204 0 -1 4194304 21339 0 0 0 221 19 0 0 25 0 1 0 177848534 82456576 19608 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/22997/statm: 20131 19608 211 97 0 19412 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 85876
[startup+6.26431 s]
/proc/loadavg: 1.61 1.36 1.38 3/88 22998
/proc/meminfo: memFree=1261112/2055920 swapFree=4160348/4192956
[pid=22984] ppid=22982 vsize=5352 CPUtime=0.5
/proc/22984/stat : 22984 (solver) S 22982 22984 20204 0 -1 4194304 376 2628 0 0 0 0 46 4 15 0 1 0 177848479 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22984/statm: 1338 242 203 169 0 49 0
[pid=22997] ppid=22984 vsize=148388 CPUtime=5.7
/proc/22997/stat : 22997 (bordewijk) R 22984 22984 20204 0 -1 4194304 41018 0 0 0 294 276 0 0 25 0 1 0 177848534 151949312 35787 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/22997/statm: 37097 35787 217 97 0 36378 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 153740
[startup+12.7305 s]
/proc/loadavg: 1.64 1.37 1.38 3/88 22999
/proc/meminfo: memFree=1237048/2055920 swapFree=4160348/4192956
[pid=22984] ppid=22982 vsize=5352 CPUtime=8.75
/proc/22984/stat : 22984 (solver) S 22982 22984 20204 0 -1 4194304 396 43647 0 0 0 0 355 520 16 0 1 0 177848479 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22984/statm: 1338 242 203 169 0 49 0
[pid=22999] ppid=22984 vsize=72868 CPUtime=3.87
/proc/22999/stat : 22999 (standalone) R 22984 22984 20204 0 -1 4194304 17431 0 0 0 257 130 0 0 25 0 1 0 177849362 74616832 16874 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4093039916 0 0 4096 0 0 0 0 17 1 0 0
/proc/22999/statm: 18217 16874 137 64 0 17532 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 78220
Child status: 0
Real time (s): 15.2616
CPU time (s): 15.1347
CPU user time (s): 8.59769
CPU system time (s): 6.53701
CPU usage (%): 99.1684
Max. virtual memory (cumulated for all children) (KiB): 153740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.59769
system time used= 6.53701
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= 539
involuntary context switches= 882
runsolver used 0.020996 s user time and 0.052991 s system time
The end
Begin job on node12 on Mon Jan 8 22:15:34 UTC 2007
IDJOB= 209739
IDBENCH= 4557
FILE ID= node12/209739-1168294532
PBS_JOBID= 3501889
Free space on /tmp= 66262 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp26/fapp26-2300-8.xml
COMMAND LINE= /tmp/evaluation/209739-1168294532/solver /tmp/evaluation/209739-1168294532/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-209739-1168294532 -o ROOT/results/node12/solver-209739-1168294532 -C 1800 -M 900 /tmp/evaluation/209739-1168294532/solver /tmp/evaluation/209739-1168294532/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= eccaffa8feca1c3f937f3cdaf6255c96
RANDOM SEED= 761099794
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.265
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.265
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: 1249176 kB
Buffers: 79272 kB
Cached: 391120 kB
SwapCached: 5132 kB
Active: 581240 kB
Inactive: 169400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1249176 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 68368 kB
Writeback: 0 kB
Mapped: 290904 kB
Slab: 40632 kB
Committed_AS: 5397416 kB
PageTables: 2564 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= 66247 MiB
End job on node12 on Mon Jan 8 22:15:50 UTC 2007