c
c
c
c solution file
c
c
SAT
2600 2556 2540 2340 2512 2552 2752 2800 2504 2620 -2776 2364 -2264 -2392 2552 -2740 -2336 2800 2508 -2792 -2740 2588 2348 -2372 -2220 2688 -2744 2536 2652 2244 -2232 -2668 2228 2804 2424 2260 2412 -2520 -2732 -2296 2660 2324 2280 2524 2496 2560 -2544 2592 -2280 2576 2352 2340 -2776 2712 2592 2728 -2640 -2260 -2816 2328 -2268 2440 -2752 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 2820 2464 -2304 2540 -2660 2464 2344 -2816 2496 2552 -2792 2320 2432 2288 -2548 2292 2452 2464 -2716 -2464 -2720 2420 2552 2420 2524 2352 2452 -2232 2692 2348 2324 2468 2592 2452 2432 -2348 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 -2304 -2300 -2248 -2648 2752 -2728 2432 -2260 2340 2580 2332 2428 2456 2636 -2296 -2284 2692 2688 2648 2640 2380 -2780 2656 -2756 -2264 -2700 -2304 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 -2740 2804 2712 -2376 -2284 2592 -2332 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 -2276 -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 -2684 -2776 2672 -2748 2588 2768 -2468 -2680 -2356 2504 -2524 2636 -2780 -2768 2516 2692 2440 2764 2556 2560 2616 -2292 -2768 2256 2488 2316 2520 2472 2364 -2224 2500 2588 -2764 2312 -2700 -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 -2380 2612 2672 -2228 2520 2668 2488 2400 2324 2676 2380 2432 2328 2564 2404 2500 -2588 2788 2516 -2752 -2428 2264 -2748 2332 -2776 2568 2332 2688 -2348 2636 2616 2536 -2260 2356 2316 -2624 2568 -2720 -2376 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 -2320 -2508 -2700 2736 2260 -2464 2508 2332 -2716 -2600 2540 2312 2712 2552 -2332 2396 2336 2544 2676 2600 -2352 2472 2484 2700 2772 2752 2404 2412 -2728 -2724 2608 2316 2220 2240 2592 2392 2260 -2240 -2816 2636 2584 -2760 2472 -2452 2764 2460 2472 2776 2460 2420 2804 -2240 2764 2628 2500 -2248 2820 2548 2552 -2644 2752 -2776 -2748 2408 2732 -2260 2512 -2308 -2816 2420 2456 2380 -2264 2440 2392 -2816 2464 2448 2732 2608 2272 2344 2272 2580 -2432 2620 2476 2648 2336 2720 -2776 2340 -2272 -2312 2280 2328 -2680 2620 -2696 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 -2236 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 -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 -2428 -2776 -2788 -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 -2400 -2588 2528 2740 2640 2400 2568 -2688 -2652 -2388 -2740 2380 2372 2388 -2240 2408 2652 -2252 -2468 2256 2780 2532 -2240 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 -2392 2592 -2816 -2776 2600 -2288 2468 -2772 2724 2720 2476 2508 -2280 -2260 2232 2528 2444 2384 2692 -2300 2460 -2816 2640 2720 -2776 2756 2656 -2272 -2796 2220 -2780 2584 -2776 2432 2616 2248 2236 2660 -2332 2288 2672 2376 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 -2372 2772 2412 2536 2632 2764 -2752 2436 -2776 -2388 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 -2760 2424 -2224 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 -2732 2324 2340 2552 2480 -2276 2512 2760 2652 -2776 -2816 2440 2464 2460 -2816 2720 -2724 2300 -2448 2352 2588 2516 2368 -2652 -2724 2548 -2756 2396 2816 2548 -2312 -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 -2260 2364 2704 2480 -2816 2716 -2816 -2488 2680 -2780 2540 2388 2364 -2320 2480 2400 2580 2220 -2240 2624 2304 -2816 2396 -2336 2556 -2312 2760 2548 -2620 -2472 -2692 2472 -2772 2496 2492 -2816 2496 2596 2424 2416 -2788 2656 -2460 2724 -2288 -2756 -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 -2772 2400 -2816 -2272 2712 2552 2480 -2748 2380 2712 2500 -2816 -2668 2764 -2720 -2652 2712 2664 -2768 2764 -2740 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 -2444 2400 2552 2648 2732 2616 2608 -2780 -2732 2272 2588 2628 -2748 -2296 2416 -2272 2292 -2260 2456 2364 -2816 -2804 2360 2312 2244 2412 -2240 -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 -2764 -2660 2496 2348 -2220 2664 2296 2716 2348 2356 -2776 2308 -2752 2336 2604 2652 2356 -2424 2556 2312 -2272 2536 2468 -2272 2584 2412 -2760 2244 2704 2344 2472 2444 -2288 -2556 2656 2412 -2304 -2352 2372 2412 -2816 2456 -2652 2632 -2776 2676 -2720 -2796 2592 2552 -2800 2248 2692 -2320 2284 2376 -2772 2664 2428 2636 2484 -2820 2592 2284 2292 2272 -2288 -2776 2588 2364 2500 -2808 2772 -2692 2688 2396 2796 -2344 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 -2748 2552 2480 -2816 2624 2580 2748 -2268 2528 2392 -2264 2740 -2356 -2608 -2276 -2776 2424 2644 -2392 2632 2476 -2768 2744 2652 2456 -2352 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 -2760 2700 -2376 2608 2668 -2504 2632 -2312 2240 -2288 2540 2684 -2300 -2776 -2404 2652 2532 2744 2712 -2276 2520 2424 2504 2552 2516 2520 -2560 2760 -2256 2492 2576 -2780 2512 -2764 2548 2496 2724 2404 2492 -2808 -2776 -2592 2440 2528 2656 2484 2452 2404 -2352 -2720 -2808 2232 2624 2544 -2440 2432 2452 -2604 2460 -2352 2220 2520 -2600 -2336 2624 -2268 -2768 -2328 2600 2540 2668 2660 -2684 2372 2364 2220 2692 2528 -2816 2324 2256 -2384 -2776 -2220 2332 -2416 2308 -2352 -2712 2324 2804 2600 2532 -2240 2596 2376 2788 -2816 2376 2368 -2280 2372 -2408 2780 -2248 2424 2400 2624 2556 2468 -2356 -2720 2640 2476 2356 2660 2692 -2240 2424 2364 2384 -2764 2348 2608 2608 2700 2652 -2344 2528 -2448 2680 2636 2492 2640 -2296 2496 2548 -2696 -2776 -2404 2492 -2732 2364 -2752 2440 2668 2288 -2404 2424 2560 2508 2680 2616 2400 -2700 2444 2368 2620 -2276 -2684 2760 -2280 -2564 2624 2360 -2288 2516 2500 2508 -2736 2668 2552 -2760 -2224 -2280 -2776 2592 2440 -2220 -2280 2556 2448 2388 2616 2804 2808 -2808 -2300 -2768 -2360 2596 -2804 2528 2588 2260 2672 -2284 2384 -2384 2292 -2292 -2340 -2776 -2756 -2776 -2240 -2732 2448 2456 2464 -2272 -2776 -2224 -2340 2444 -2248 2620 2328 -2740 2432 2392 2404 2564 2748 2340 2660 -2388 2820 2252 2408 -2820 2588 2424 2616 -2728 -2308 -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 -2716 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 2820 2404 2636 2580 2592 2312 -2768 -2236 2288 -2732 -2244 2624 2648 2504 2572 2508 2680 2820 2540 2432 2484 2388 2528 -2608 2616 2652 -2700 2524 2616 -2244 -2816 2220 -2776 2312 -2640 2264 2328 -2756 -2316 2484 -2236 -2280 2580 2624 -2552 2628 2624 -2784 2520 2648 2336 2476 -2660 2664 -2292 2284 -2276 -2244 2468 2528 2768 2656 2332 2420 2540 2384 2532 -2760 -2300 2392 2560 -2724 2704 2612 2500 2780 -2324 -2664 -2224 -2812 -2776 2260 -2816 2312 2448 2248 2716 2616 2692 -2812 2412 2460 2748 -2696 2588 -2248 2712 2544 2492 2480 -2448 2296 2720 2424 2468 2252 -2784 -2688 -2344 -2552 2488 2608 2756 2364 2540 -2336 -2292 2344 -2736 2256 2424 2492 2676 -2704 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 -2288 2572 2548 2656 2508 2328 2688 2356 2736 -2244 2464 2496 2560 -2764 2388 2596 2328 2524 -2292 -2304 2600 2488 2624 -2776 2320 -2760 -2396 2664 2316 2648 2664 -2468 -2232 -2780 -2552 -2740 2252 2260 2668 2240 2584 2536 2284 -2236 -2716 2444 -2816 2536 -2264 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 -2424 2764 -2692 -2692 2448 2652 -2780 2568 -2776 -2264 2324 -2440 2580 2644 2744 2568 -2776 -2720 2684 2360 2708 2508 -2628 -2596 -2816 2552 -2364 -2776 -2756 2360 2224 2380 2260 2220 2456 2752 -2704 -2448 2664 2692 -2800 -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 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 -2796 -2568 2752 -2272 -2792 2376 2680 -2340 2252 -2260 2324 -2776 2540 2420 2764 -2700 2628 -2264 2464 -2804 -2740 -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 -2708 2748 2532 2272 2640 2576 -2648 -2404 2672 2500 -2688 -2364 2720 2644 2464 2568 -2780 2512 -2776 -2604 -2756 2516 2708 2508 2356 2496 2748 -2788 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 -2572 2660 2496 2504 2488 2464 2712 -2816 2712 -2808 2548 2220 2672 2496 2380 -2772 -2616 -2816 2540 2456 2652 -2776 -2816 2376 2528 2252 2552 2608 2344 -2612 -2816
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-209770-1168294541 -o ROOT/results/node1/solver-209770-1168294541 -C 1800 -M 900 /tmp/evaluation/209770-1168294541/solver2 /tmp/evaluation/209770-1168294541/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
/proc/loadavg: 1.19 1.38 1.41 6/88 10347
/proc/meminfo: memFree=1253400/2055920 swapFree=4165612/4192956
[pid=10346] ppid=10336 vsize=18540 CPUtime=0
/proc/10346/stat : 10346 (runsolver) R 10336 8954 8954 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 177850103 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 259350658546 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10346/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.107284 s]
/proc/loadavg: 1.19 1.38 1.41 6/88 10347
/proc/meminfo: memFree=1253400/2055920 swapFree=4165612/4192956
[pid=10346] ppid=10336 vsize=5352 CPUtime=0
/proc/10346/stat : 10346 (solver2) S 10336 10346 8954 0 -1 4194304 353 334 0 0 0 0 0 0 21 0 1 0 177850103 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10346/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.515331 s]
/proc/loadavg: 1.19 1.38 1.41 6/88 10347
/proc/meminfo: memFree=1253400/2055920 swapFree=4165612/4192956
[pid=10346] ppid=10336 vsize=5352 CPUtime=0
/proc/10346/stat : 10346 (solver2) S 10336 10346 8954 0 -1 4194304 353 334 0 0 0 0 0 0 21 0 1 0 177850103 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10346/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33643 s]
/proc/loadavg: 1.19 1.38 1.41 3/88 10366
/proc/meminfo: memFree=1181016/2055920 swapFree=4165612/4192956
[pid=10346] ppid=10336 vsize=5352 CPUtime=0.51
/proc/10346/stat : 10346 (solver2) S 10336 10346 8954 0 -1 4194304 376 2628 0 0 0 0 46 5 15 0 1 0 177850103 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10346/statm: 1338 242 203 169 0 49 0
[pid=10366] ppid=10346 vsize=36648 CPUtime=0.79
/proc/10366/stat : 10366 (bordewijk) R 10346 10346 8954 0 -1 4194304 8648 0 0 0 74 5 0 0 24 0 1 0 177850155 37527552 8620 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134544940 0 0 4096 0 0 0 0 17 1 0 0
/proc/10366/statm: 9162 8620 204 97 0 8443 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 42000
[startup+2.97362 s]
/proc/loadavg: 1.19 1.38 1.41 3/88 10366
/proc/meminfo: memFree=1079256/2055920 swapFree=4165612/4192956
[pid=10346] ppid=10336 vsize=5352 CPUtime=0.51
/proc/10346/stat : 10346 (solver2) S 10336 10346 8954 0 -1 4194304 376 2628 0 0 0 0 46 5 15 0 1 0 177850103 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10346/statm: 1338 242 203 169 0 49 0
[pid=10366] ppid=10346 vsize=80524 CPUtime=2.43
/proc/10366/stat : 10366 (bordewijk) R 10346 10346 8954 0 -1 4194304 21339 0 0 0 226 17 0 0 25 0 1 0 177850155 82456576 19608 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134561629 0 0 4096 0 0 0 0 17 1 0 0
/proc/10366/statm: 20131 19608 211 97 0 19412 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 85876
[startup+6.25281 s]
/proc/loadavg: 1.33 1.40 1.42 3/88 10366
/proc/meminfo: memFree=906328/2055920 swapFree=4165612/4192956
[pid=10346] ppid=10336 vsize=5352 CPUtime=0.51
/proc/10346/stat : 10346 (solver2) S 10336 10346 8954 0 -1 4194304 376 2628 0 0 0 0 46 5 15 0 1 0 177850103 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10346/statm: 1338 242 203 169 0 49 0
[pid=10366] ppid=10346 vsize=148388 CPUtime=5.68
/proc/10366/stat : 10366 (bordewijk) R 10346 10346 8954 0 -1 4194304 41018 0 0 0 302 266 0 0 18 0 1 0 177850155 151949312 35787 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10366/statm: 37097 35787 217 97 0 36378 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 153740
[startup+12.7218 s]
/proc/loadavg: 1.39 1.41 1.42 3/88 10368
/proc/meminfo: memFree=1073328/2055920 swapFree=4165612/4192956
[pid=10346] ppid=10336 vsize=5352 CPUtime=10.47
/proc/10346/stat : 10346 (solver2) S 10336 10346 8954 0 -1 4194304 397 43647 0 0 0 0 369 678 16 0 1 0 177850103 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10346/statm: 1338 242 203 169 0 49 0
[pid=10368] ppid=10346 vsize=72868 CPUtime=2.13
/proc/10368/stat : 10368 (standalone) R 10346 10346 8954 0 -1 4194304 17413 0 0 0 81 132 0 0 25 0 1 0 177851159 74616832 16856 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4095141314 0 0 4096 0 0 0 0 17 1 0 0
/proc/10368/statm: 18217 16856 136 64 0 17532 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 78220
Child status: 0
Real time (s): 17.3374
CPU time (s): 17.2064
CPU user time (s): 9.05362
CPU system time (s): 8.15276
CPU usage (%): 99.2441
Max. virtual memory (cumulated for all children) (KiB): 153740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.05362
system time used= 8.15276
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= 581
involuntary context switches= 735
runsolver used 0.016997 s user time and 0.057991 s system time
The end
Begin job on node1 on Mon Jan 8 22:15:42 UTC 2007
IDJOB= 209770
IDBENCH= 4559
FILE ID= node1/209770-1168294541
PBS_JOBID= 3501895
Free space on /tmp= 66287 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp26/fapp26-2300-10.xml
COMMAND LINE= /tmp/evaluation/209770-1168294541/solver2 /tmp/evaluation/209770-1168294541/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-209770-1168294541 -o ROOT/results/node1/solver-209770-1168294541 -C 1800 -M 900 /tmp/evaluation/209770-1168294541/solver2 /tmp/evaluation/209770-1168294541/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= b0024dc7fcc7e8fbf636a4da6fca16c3
RANDOM SEED= 176586119
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.234
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.234
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: 1254184 kB
Buffers: 76208 kB
Cached: 624244 kB
SwapCached: 3620 kB
Active: 360480 kB
Inactive: 378920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1254184 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 27860 kB
Writeback: 0 kB
Mapped: 48916 kB
Slab: 47224 kB
Committed_AS: 5450608 kB
PageTables: 2260 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= 66242 MiB
End job on node1 on Mon Jan 8 22:16:01 UTC 2007