c
c
c
c solution file
c
c
SAT
-2220 -2412 -2436 2368 -2400 2428 2564 -2204 -2460 2640 2584 2448 2668 -2480 2164 -2676 -2120 2424 -2236 2440 2388 -2676 2436 -2232 -2600 2668 2256 -2360 -2552 2204 -2176 2180 2536 2592 2352 -2656 2524 -2208 2596 -2368 2720 2488 2636 2320 2512 -2396 -2316 -2676 2516 2240 2584 -2708 -2268 2292 2172 2592 2332 -2120 -2464 -2676 2272 2612 -2208 2316 -2372 -2552 2220 -2176 2224 -2416 2456 -2716 -2176 -2296 -2420 2524 -2544 -2344 2564 -2164 2564 2552 2656 2680 -2644 -2656 2524 2544 -2624 2284 2600 -2656 2264 -2716 -2124 2416 2472 2412 -2716 -2192 2660 2408 2496 -2612 2428 -2200 2540 2444 -2292 2252 2336 2328 -2252 -2276 2264 2716 -2468 2468 2440 2128 2452 -2144 2120 2308 -2424 2260 2492 -2332 2572 -2584 -2688 -2312 -2564 -2676 2216 2704 2460 2400 -2332 -2540 2528 2536 2320 2296 -2568 2476 -2192 2320 2496 2672 2524 -2460 -2452 2312 2476 -2720 2312 2248 -2140 -2236 2200 2276 2300 2628 2300 2332 -2256 2520 2712 2528 2452 2672 2564 2248 2632 -2184 -2620 2380 2572 2316 -2392 -2612 -2664 -2532 2128 2272 2308 2180 -2604 2200 2576 2432 2696 2308 -2632 -2680 -2700 2612 2356 -2168 2380 2384 2500 -2412 -2164 2160 2668 -2212 -2544 -2644 -2360 -2248 -2588 -2492 2708 -2300 -2204 -2216 -2608 2452 -2260 -2668 -2204 2400 2488 -2700 -2716 2372 2292 2720 2640 -2212 2680 2364 -2676 -2156 2296 2484 2488 -2432 2368 -2324 -2192 2340 2264 2472 2608 -2172 2380 -2536 2476 -2660 -2172 -2676 -2160 2308 -2364 -2232 2464 2608 -2676 2148 -2368 2552 2708 -2708 2296 -2568 2540 2400 -2448 -2148 2156 2668 2184 2180 -2248 2416 2236 2676 -2300 2492 2292 2296 -2656 2160 -2196 -2144 -2508 2272 2680 2184 2236 2536 2328 -2504 2292 2456 -2300 -2160 -2172 2540 2576 2160 -2256 2120 2624 2440 -2676 2608 2480 2312 2120 -2420 2376 -2368 2184 2552 2240 -2328 -2172 -2292 2420 2516 -2156 2648 -2300 2332 2544 -2512 2228 2220 2352 2564 2432 2304 2488 2632 2388 2540 2304 -2172 2384 2368 2276 -2172 2384 -2668 2216 2456 -2676 -2252 -2668 -2200 2284 -2168 -2248 2340 2120 2696 -2620 -2188 -2332 -2160 -2364 -2128 -2172 2196 2528 2484 -2228 2220 2260 -2320 2136 2392 2696 2408 2680 2584 -2276 -2120 2324 2264 -2304 2328 -2608 2220 2268 2720 2344 2512 2496 -2564 -2132 -2424 2492 -2628 -2324 -2316 -2396 2504 2676 -2592 -2592 2580 -2192 -2608 2184 2344 -2620 2316 2328 -2420 -2168 -2196 -2184 2492 2344 -2532 -2640 -2592 2408 -2324 2332 2380 -2668 2320 2604 2436 -2548 -2716 2492 2720 2208 -2544 -2480 -2260 2680 2544 2616 -2156 2544 2416 2164 2500 2644 -2472 2468 -2412 2676 -2660 2596 2360 -2168 -2344 2456 -2716 -2720 -2276 2212 -2192 -2716 2228 2676 2516 2132 -2160 2328 2476 -2396 -2680 2220 -2148 -2476 -2176 2520 -2188 2304 2528 2276 -2352 -2616 -2176 2668 2648 2424 2180 2192 2208 2628 -2160 2268 2392 -2228 2508 -2552 2376 2324 2360 2412 2536 2560 -2716 2284 -2136 -2288 2616 2128 2356 2524 2352 -2480 2444 2144 -2548 2416 2120 2312 2424 2540 2236 2584 2388 2608 2320 -2168 -2212 2336 2384 2220 2672 -2148 2516 -2184 -2416 2308 -2360 -2144 -2420 -2548 2328 -2160 -2144 -2240 -2164 -2680 -2156 2588 -2716 2204 2572 2568 -2128 2292 2284 2160 -2404 -2628 2400 -2640 2676 2512 2364 2288 -2504 2440 2220 -2264 -2680 2320 -2152 -2624 -2412 -2708 2708 2524 -2680 2512 -2200 2372 2404 2532 -2656 -2432 -2204 2296 -2124 2196 -2720 2480 -2400 2428 2668 -2480 2228 -2396 2492 2220 2244 -2600 2432 2384 -2172 2548 2672 2680 2668 -2244 -2696 -2164 2428 -2636 -2612 2416 -2288 -2688 2312 2524 2516 -2216 2396 2656 -2260 2540 -2188 -2524 2556 2176 2596 2648 2560 -2672 2664 2552 2256 2248 -2440 2484 2328 2276 -2168 -2296 -2676 2132 2372 2304 2232 -2132 2684 -2600 -2564 2284 2560 -2184 2400 2160 2620 2276 2316 -2256 2580 2632 2696 2680 2408 -2196 -2200 -2656 2652 2396 -2632 -2312 -2172 2256 2392 -2172 -2192 -2208 2432 2540 2408 2492 2120 2324 2508 2352 -2316 -2232 2448 -2676 -2128 -2648 2680 2356 2348 2448 2556 2484 -2668 2452 2296 2256 2284 2480 2256 2592 -2680 -2176 2324 -2160 -2504 2396 -2520 -2220 -2128 -2240 2336 2492 -2132 2576 -2212 2492 2152 2544 -2500 2220 2648 2400 -2264 2380 2556 2260 -2716 -2220 2600 2284 2720 2292 2248 2180 -2356 -2420 2268 -2220 2536 -2624 2408 2624 2636 2120 -2244 -2524 -2248 -2584 2492 -2588 2136 -2196 2400 -2616 2316 2628 -2252 2676 2452 -2156 2332 2536 2364 2488 2424 -2676 -2440 -2288 2288 -2152 -2680 2412 2660 2628 -2532 2432 2272 -2308 2232 -2256 2280 -2136 -2532 2244 2396 -2616 2268 -2164 -2264 -2472 2476 2444 -2716 2400 2636 2260 -2648 2180 -2716 2172 2532 -2120 -2696 2580 2224 2316 2472 2188 2704 2496 2620 -2172 -2192 2312 2396 2168 2196 -2160 2472 -2228 -2136 -2272 2660 2380 2672 -2700 2492 2280 2428 -2676 -2132 -2696 2188 -2676 2608 2536 2184 2496 2268 2576 2636 2160 -2144 -2504 -2164 -2272 -2584 -2168 2132 2460 -2544 2524 2464 -2556 2624 2220 -2260 2716 2256 -2596 -2304 -2304 2372 2248 -2660 -2404 -2360 2720 2688 -2300 2172 2256 2204 -2224 2440 2160 -2128 2536 2484 2432 2180 2672 -2716 -2560 -2460 -2332 2576 2292 -2700 -2168 -2416 -2720 2160 -2544 2392 2496 2368 -2416 2204 2540 -2676 -2132 2260 2144 2268 2456 -2232 -2280 2280 -2192 -2168 -2128 2720 2720 2396 -2176 -2564 2512 2480 2516 2372 2612 -2196 -2620 -2384 2708 2344 2424 2304 2612 2172 2368 2120 -2488 2456 -2180 2284 2208 2580 2376 -2608 2680 2720 2340 -2708 -2360 2288 2576 2356 -2380 -2404 -2448 -2132 2260 -2716 2464 -2512 2292 2136 2288 -2676 2660 2404 -2564 -2500 -2660 2708 -2716 2348 -2420 2340 -2648 2532 2452 -2376 2444 2460 2188 -2276 2620 -2656 2256 2364 2628 2456 2208 2420 -2348 2676 2384 -2120 2668 2520 -2352 2524 -2516 2276 -2168 2428 2400 2720 2120 2572 2216 2452 -2412 2184 2120 2632 -2232 -2120 2632 2408 -2380 2364 -2528 2372 -2132 2144 -2152 2556 2260 2500 2592 2528 2320 2228 -2352 2544 -2404 2240 2516 2440 -2412 -2220 -2680 2352 -2168 2608 2360 2668 2456 2532 -2392 2340 -2380 2400 -2676 2420 2584 2708 2408 2420 2540 2720 2504 2120 -2680 2364 2484 -2460 2436 2508 2128 2476 -2516 2384 2472 2432 2136 -2340 2196 2528 2552 -2452 2452 2496 2460 2180 -2352 -2160 2696 -2184 -2524 2524 2440 2396 2488 2280 -2636 -2136 -2172 2408 -2688 2664 -2468 -2668 -2460 -2720 -2136 2528 -2716 2488 2412 2564 -2240 -2664 2460 2380 -2472 -2160 -2516 2188 2680 -2660 2628 2296 2476 2504 -2448 -2328 2472 2656 -2448 2420 -2172 2480 2292 2168 -2120 -2204 2120 2720 2436 2424 2180 2452 -2552 -2148 -2316 -2608 2416 -2120 2552 2548 2540 2248 2584 2492 2376 -2436 2444 -2144 -2684 2544 -2176 -2184 2672 -2500 -2716 2396 -2584 -2716 2660 -2676 2236 2316 -2184 -2168 2220 2332 2504 -2140 -2316 2332 2552 2424 2516 2452 2516 2436 -2344 2676 2280 -2224 -2144 2664 -2716 -2184 2576 -2424 -2120 -2288 -2716 -2136 -2676 2640 2460 -2416 2232 2188 -2292 2560 -2292 -2716 -2556 2572 2424 2180 -2484 2284 -2360 -2652 2492 2320 2500 2176 -2424 -2316 2684 2156 2160 2564 2536 -2532 2196 2316 2660 2536 2708 2452 2472 2408 2560 -2520 2456 -2720 2556 -2224 2256 2620 2536 -2484 2372 2648 2568 2660 2420 2440 2504 2356 2268 2492 2248 2196 -2272 2712 -2460 2524 2556 2344 2308 -2124 2324 2304 2356 -2280 2680 2632 -2372 -2292 -2196 -2624 2616 -2380 2132 -2132 2648 2460 -2188 2168 2632 2444 2512 2312 2220 2324 2596 2200 2408 2560 2196 2180 2272 2356 2460 -2276 2384 2328 -2248 2568 2172 2700 -2716 2340 2456 -2328 2288 2608 2304 2488 2380 -2164 2368 2572 2688 2240 2428 -2588 -2716 2720 -2680 2672 2580 2484 2344 2216 -2184 2636 -2328 -2604 2456 2672 2464 -2172 2124 -2716 2356 2324 2672 -2448 -2188 2504 -2156 -2240 -2324 -2672 -2668 2540 2368 -2496 2248 -2572 -2272 2564 2576 -2232 2288 2420 2580 2460 2668 -2632 2492 -2200 2472 -2120 2660 2568 2424 2720 -2716 -2264 2584 2592 2476 2304 -2128 2648 2532 2520 2200 2444 -2256 2468 -2200 -2628 2648 2232 2356 2460 -2696 -2516 -2680 2532 2264 2532 2512 2420 -2232 -2720 2656 2368 2452 2532 -2532 2524 2556 2516 -2364 2448 2260 -2240 -2616 -2716 2396 -2656 -2424 2596 2460 2460 -2500 2528 -2160 2668 -2512 2212 -2296 -2260 2152 -2552 -2168 -2176 2664 -2184 2708 2720 2332 2440 -2136 -2164 2680 2656 -2224 2248 2464 2288 2668 -2160 2628 -2580 2404 2600 -2560 2680 2420 2396 2448 -2544 2552 2320 2572 2660 2120 -2148 -2228 -2148 2404 -2524 -2684 -2600 2328 -2160 -2404 -2316 2292 -2632 2432 -2676 2620 2620 -2652 -2160 2620 2624 -2636 -2716 2328 -2224 -2436 -2468 2160 -2168 -2716 -2676 2580 2612 2144 -2676 2636 -2220 -2456 2432 2308 2508 2152 2352 -2536 2580 -2436 -2252 2440 2696 2432 2352 -2132 2704 -2532 2636 2348 -2328 2680 2488 2512 -2312 2160 2512 -2132 -2676 2676 -2716 2408 2688 2384 2120 2268 -2188 2120 2268 2416 2712 2360 -2700 2448 2220 -2492 2440 -2660 -2236 2360 2492 2172 2360 2544 -2160 2132 2300 2488 2524 2300 -2444 -2320 2428 -2180 2360 2468 -2680 -2272 -2284 2612 2340 2336 2660 -2220 -2648 2388 2284 2356 -2676 -2604 2628 2500 2448 2696 2520 2584 2452 -2432 2320 -2648 2656 2512 2252 2676 2484 2432 2368 2376 2216 2528 2696 2344 2444 2412 -2352 2420 -2216 -2676 -2596 -2568 -2388 2668 2324 -2564 -2264 -2644 2648 2336 2664 2440 2404 -2676 2616 2472 2640 -2300 2312 2244 2288 -2564 -2332 -2208 2228 2352 2420 -2120 -2208 2464 2668 -2720 2296 2256 2244 2688 -2556 2384 2240 -2592 2192 2416 2124 2680 2508 2660 2588 2596 -2716 -2128 2276 -2120 2484 -2576 -2716 -2412 2560 2528 2540 2288 2512 -2616 2596 2656 2572 -2620 2184 -2676 2632 2636 2256 -2172 2644 2420 2420 2420 2260 2572 -2676 2592 2360 -2220 -2268 -2424 -2648 2188 2208 -2464 2252 2348 2544 -2564 2164 -2188 -2676 -2216 2324 -2288 -2308 -2144 2508 -2160 2420 -2248 -2544 2492 2640 2224 2424 -2676 -2476 -2132 -2388 -2472 -2716 -2132 2400 -2176 2120 2660 2228 -2160 2544 2664 2652 -2580 2640 -2132 -2676 -2688 2656 2296 2364 2524 -2160 2488 -2216 -2156 -2560 2280 -2392 -2464 -2588 2664 -2264 -2172 2468 2332 2500 2276 -2184 -2288 2320 -2612 2504 2568 -2668 2440 -2540 -2248 2532 2660 -2612 -2188 -2452 -2344 -2716 2216 2400 -2352 -2176 2576 2384 2480 2288 -2640 2624 -2192 2400 -2224 2528 2292 2292 -2284 2132 2552 2620 2544 -2208 -2160 2464 2472 2328 2676 -2256 2532 -2248 -2700 2648 2680 2228 -2128 2292 2592 2460 -2716 -2128 2568 2260 -2680 -2620 2624 -2444 2312 2416 2416 2668 2524 2160 -2148 2384 2468 2472 2468 2588 2632 2572 2404 2180 2456 2376 -2600 -2676 -2416 -2440 2656 -2636 2720 2328 -2500 2260 2392 2720 -2156 2540 2632 2120 2596 -2132 2608 2456 -2144 -2452 2476 -2584 2576 2448 -2520 -2204 2144 2632 2408 2520 2484 2576 2384 -2360 -2548 2232 -2676 -2428 2300 -2272 2288 2656 2256 -2592 2256 -2392 -2220 -2584 -2172 2408 2268 2696 -2600 -2616 2648 2488 2256 2616 2468 -2716 2196 2364 -2384 2500 2296 2492 -2660 -2172 2332 2236 2292 -2572 2492 -2160 2532 2160 2248 2392 2520 2392 2548 2304 2512 2356 2340 2160 2708 2380 2380 2464 2592 -2308 2368 2492 2420 2120 -2652 2572 -2716 2564 2720 2244 2272 -2428 2392 2332 -2172 -2556 -2676 2420 2692 2368 2260 2456 2656 2228 2268 2460 2228 -2360 -2152 -2460 2328 -2120 2380 2512 2584 -2208 -2688 -2124 2516 -2160 -2700 2572 2708 2504 2268 -2156 2552 2368 -2632 -2448 2196 -2192 2704 2576 -2340 -2260 2344 2552 -2480 -2340
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-202128-1168290706 -o ROOT/results/node12/solver-202128-1168290706 -C 1800 -M 900 /tmp/evaluation/202128-1168290706/solver2 /tmp/evaluation/202128-1168290706/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: 0.73 0.91 0.97 2/87 21745
/proc/meminfo: memFree=1655384/2055920 swapFree=4160348/4192956
[pid=21744] ppid=21736 vsize=5352 CPUtime=0
/proc/21744/stat : 21744 (solver2) S 21736 21744 17590 0 -1 4194304 331 190 0 0 0 0 0 0 17 0 1 0 177465875 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21744/statm: 1338 241 202 169 0 49 0
[pid=21750] ppid=21744 vsize=0 CPUtime=0
/proc/21750/stat : 21750 (rm) D 21744 21744 17590 0 -1 4194308 144 0 0 0 0 0 0 0 18 0 1 0 177465876 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/21750/statm: 0 0 0 0 0 0 0
[startup+0.10252 s]
/proc/loadavg: 0.73 0.91 0.97 2/87 21745
/proc/meminfo: memFree=1655384/2055920 swapFree=4160348/4192956
[pid=21744] ppid=21736 vsize=5352 CPUtime=0
/proc/21744/stat : 21744 (solver2) S 21736 21744 17590 0 -1 4194304 353 334 0 0 0 0 0 0 17 0 1 0 177465875 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21744/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.51159 s]
/proc/loadavg: 0.73 0.91 0.97 2/87 21745
/proc/meminfo: memFree=1655384/2055920 swapFree=4160348/4192956
[pid=21744] ppid=21736 vsize=5352 CPUtime=0
/proc/21744/stat : 21744 (solver2) S 21736 21744 17590 0 -1 4194304 353 334 0 0 0 0 0 0 17 0 1 0 177465875 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21744/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.34075 s]
/proc/loadavg: 0.84 0.93 0.97 3/88 21766
/proc/meminfo: memFree=1586768/2055920 swapFree=4160348/4192956
[pid=21744] ppid=21736 vsize=5352 CPUtime=0.5
/proc/21744/stat : 21744 (solver2) S 21736 21744 17590 0 -1 4194304 376 2653 0 0 0 0 45 5 15 0 1 0 177465875 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21744/statm: 1338 242 203 169 0 49 0
[pid=21765] ppid=21744 vsize=36912 CPUtime=0.78
/proc/21765/stat : 21765 (bordewijk) R 21744 21744 17590 0 -1 4194304 8719 0 0 0 72 6 0 0 24 0 1 0 177465929 37797888 8691 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134561693 0 0 4096 0 0 0 0 17 1 0 0
/proc/21765/statm: 9228 8691 204 97 0 8509 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 42264
[startup+2.97804 s]
/proc/loadavg: 0.84 0.93 0.97 3/88 21766
/proc/meminfo: memFree=1476880/2055920 swapFree=4160348/4192956
[pid=21744] ppid=21736 vsize=5352 CPUtime=0.5
/proc/21744/stat : 21744 (solver2) S 21736 21744 17590 0 -1 4194304 376 2653 0 0 0 0 45 5 15 0 1 0 177465875 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21744/statm: 1338 242 203 169 0 49 0
[pid=21765] ppid=21744 vsize=93652 CPUtime=2.42
/proc/21765/stat : 21765 (bordewijk) R 21744 21744 17590 0 -1 4194304 22926 0 0 0 225 17 0 0 25 0 1 0 177465929 95899648 22896 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134788518 0 0 4096 0 0 0 0 17 1 0 0
/proc/21765/statm: 23413 22896 211 97 0 22694 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 99004
[startup+6.26263 s]
/proc/loadavg: 0.84 0.93 0.97 3/88 21766
/proc/meminfo: memFree=1284112/2055920 swapFree=4160348/4192956
[pid=21744] ppid=21736 vsize=5352 CPUtime=0.5
/proc/21744/stat : 21744 (solver2) S 21736 21744 17590 0 -1 4194304 376 2653 0 0 0 0 45 5 15 0 1 0 177465875 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21744/statm: 1338 242 203 169 0 49 0
[pid=21765] ppid=21744 vsize=156800 CPUtime=5.69
/proc/21765/stat : 21765 (bordewijk) R 21744 21744 17590 0 -1 4194304 43351 0 0 0 323 246 0 0 25 0 1 0 177465929 160563200 37963 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21765/statm: 39200 37963 217 97 0 38481 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 162152
[startup+12.7316 s]
/proc/loadavg: 1.09 0.98 0.99 3/88 21768
/proc/meminfo: memFree=1469408/2055920 swapFree=4160348/4192956
[pid=21744] ppid=21736 vsize=5352 CPUtime=10.36
/proc/21744/stat : 21744 (solver2) S 21736 21744 17590 0 -1 4194304 397 46005 0 0 0 0 389 647 16 0 1 0 177465875 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21744/statm: 1338 242 203 169 0 49 0
[pid=21767] ppid=21744 vsize=74028 CPUtime=2.15
/proc/21767/stat : 21767 (standalone) R 21744 21744 17590 0 -1 4194304 17809 0 0 0 99 116 0 0 25 0 1 0 177466930 75804672 17238 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134527024 0 0 4096 0 0 0 0 17 0 0 0
/proc/21767/statm: 18507 17238 136 64 0 17822 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 79380
Child status: 0
Real time (s): 16.7402
CPU time (s): 16.5075
CPU user time (s): 8.80966
CPU system time (s): 7.69783
CPU usage (%): 98.6101
Max. virtual memory (cumulated for all children) (KiB): 162152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.80966
system time used= 7.69783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64869
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= 607
involuntary context switches= 1042
runsolver used 0.020996 s user time and 0.048992 s system time
The end
Begin job on node12 on Mon Jan 8 21:11:48 UTC 2007
IDJOB= 202128
IDBENCH= 3814
FILE ID= node12/202128-1168290706
PBS_JOBID= 3501755
Free space on /tmp= 66301 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp21-25/fapp24/fapp24-2000-9.xml
COMMAND LINE= /tmp/evaluation/202128-1168290706/solver2 /tmp/evaluation/202128-1168290706/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-202128-1168290706 -o ROOT/results/node12/solver-202128-1168290706 -C 1800 -M 900 /tmp/evaluation/202128-1168290706/solver2 /tmp/evaluation/202128-1168290706/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 99b4a6f18c5a7267e849490799459a8e
RANDOM SEED= 82556970
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: 1655000 kB
Buffers: 69620 kB
Cached: 242264 kB
SwapCached: 5132 kB
Active: 220960 kB
Inactive: 124960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655000 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 28792 kB
Writeback: 0 kB
Mapped: 43300 kB
Slab: 40184 kB
Committed_AS: 5116932 kB
PageTables: 2000 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= 66277 MiB
End job on node12 on Mon Jan 8 21:12:05 UTC 2007