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 -2660 2524 -2208 2596 -2368 2720 2488 2636 2320 2512 -2396 -2316 -2676 2516 2240 2584 -2708 -2264 2292 2172 2592 2332 -2120 -2464 -2676 2272 2612 -2208 2316 -2372 -2552 2220 -2172 2224 -2416 2456 -2716 -2176 -2296 -2420 2524 -2544 -2344 2560 -2164 2564 2552 2656 2680 -2632 -2660 2524 2544 -2624 2284 2600 -2656 2264 -2716 -2124 2416 2472 2412 -2716 -2192 2660 2408 -2496 -2612 2428 -2204 2540 2444 -2292 2252 2336 2328 -2252 -2272 2264 2716 2468 2468 2440 2128 2452 -2120 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 -2136 -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 -2304 -2632 -2680 -2704 2612 2356 -2168 2380 2384 2500 -2412 -2164 2160 2668 -2212 -2544 -2644 -2360 -2248 -2588 -2492 2708 -2300 -2204 -2216 -2608 2452 -2260 -2676 -2200 2400 2488 -2696 -2716 2372 2292 2720 2640 -2212 2680 2364 -2676 -2156 2296 2484 2488 -2432 2368 -2324 -2192 2256 2264 2472 2608 -2168 -2380 -2536 2476 -2664 -2172 -2676 -2160 2308 -2364 -2232 2464 2608 -2720 2148 -2368 2552 2708 -2708 2296 -2568 2540 2400 -2448 -2148 2156 2668 2184 2180 -2248 2416 -2232 2676 -2296 2492 2292 2296 -2656 2160 -2268 -2148 -2508 2272 2680 2160 2236 2536 2328 -2504 2292 2456 -2300 -2160 -2172 2540 2576 2160 -2256 2120 2624 2440 -2672 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 -2164 -2248 2340 2120 2696 -2620 -2188 -2332 -2160 -2364 -2128 -2176 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 -2624 2316 2328 -2420 -2168 -2196 -2184 -2492 2344 -2532 -2640 -2592 2408 -2324 2332 2380 -2672 2320 2604 2436 -2548 -2716 2492 2720 2208 -2544 -2480 -2260 -2676 2544 2616 -2156 2544 2416 2164 2500 2648 -2472 2468 -2412 2676 -2664 2596 2360 -2168 -2344 2456 -2716 -2720 -2276 2216 -2192 -2716 2228 2676 2516 2132 -2160 2328 2476 -2396 2664 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 2124 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 -2292 -2124 2196 -2704 2480 -2400 2428 2668 -2480 2228 2396 2492 2220 2244 -2600 2432 2384 -2172 2548 2672 2680 2668 -2244 -2700 -2164 2428 -2628 -2616 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 -2164 -2296 -2668 2132 2372 2304 2232 -2132 2672 -2600 -2564 2284 2560 -2184 2400 2160 2620 2276 2316 -2256 2580 2632 2696 2680 2408 -2196 -2200 -2676 2652 2396 -2632 -2312 -2172 -2252 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 -2280 2480 2256 2592 -2680 -2172 2324 -2160 -2504 2396 -2520 -2220 -2132 -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 -2132 -2196 2400 -2716 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 -2240 2396 -2624 2264 -2160 -2264 -2472 2476 2444 -2716 2400 -2636 2260 -2648 -2176 -2716 2172 2532 -2120 -2696 2580 2224 -2316 2472 2188 2704 2496 2620 -2172 -2192 2312 2396 2168 2196 -2160 2472 -2228 -2160 -2188 2660 2380 2672 -2700 2492 2280 2428 -2676 -2132 -2696 2188 -2676 2608 2536 2184 2496 2268 2576 2636 2160 -2148 -2504 2164 -2272 -2584 -2172 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 -2132 2704 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 -2700 -2356 2288 2576 2356 -2380 -2404 -2448 -2132 2260 -2716 2464 -2512 2292 2136 2288 -2676 2660 2404 -2564 -2500 -2676 2712 -2716 2348 -2420 2340 -2648 2532 2452 -2376 2444 2460 2188 -2276 2620 -2656 -2256 2364 2628 2456 2208 2420 -2348 2676 2384 -2120 2660 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 -2136 2144 -2152 2556 2260 2500 2592 2528 2320 -2224 -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 -2132 -2340 2196 2528 2552 -2452 2452 2496 2460 2180 -2352 -2160 2696 -2184 -2520 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 -2604 2416 -2120 2552 2548 2540 2248 2584 2492 2376 -2436 2444 -2144 -2668 2544 -2176 -2184 2672 -2500 -2712 2396 -2584 -2716 2660 -2676 2236 2316 -2188 -2172 2220 2332 2504 -2140 -2316 2332 2552 2424 2516 2452 2516 2436 -2344 2676 2280 -2224 2144 2664 -2716 -2188 2576 -2424 -2120 -2288 -2716 -2136 -2676 2640 2460 -2416 -2228 2188 -2292 2560 -2292 -2680 -2556 2572 2424 2180 -2484 2284 -2360 -2652 -2492 2320 2500 2176 -2424 -2316 2684 2156 2160 2564 2536 -2532 -2192 -2312 2660 2536 2708 2452 2472 2408 2560 -2520 2456 -2720 2556 -2224 -2168 2620 2536 -2484 2372 2648 2568 2660 2420 2440 2504 2356 2268 2492 2248 2196 2272 2712 -2460 2524 2556 2344 2308 -2204 2324 2304 2356 -2280 -2664 2632 -2372 -2292 2196 -2624 2616 -2380 -2128 -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 2704 -2680 2672 2580 2484 2344 2216 -2184 2636 -2328 -2608 2456 2672 2464 -2172 2124 -2716 2356 2324 2672 -2448 -2188 2504 -2156 -2240 -2324 2672 -2664 2540 2368 -2496 2248 -2572 -2272 2564 2576 -2232 2288 2420 2580 2460 2668 -2632 2492 -2200 2472 -2120 -2656 2568 2424 2720 -2716 -2264 -2584 2592 2476 2304 -2128 2648 2532 2520 2200 2444 -2256 -2468 -2200 -2716 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 -2244 -2620 -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 -2688 -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 2680 2636 -2220 -2456 2432 2308 2508 2152 2352 -2536 -2580 -2436 -2252 2440 -2696 2432 2352 -2132 2704 -2532 2636 2348 -2328 -2664 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 -2228 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 -2316 -2648 2656 2512 2252 2676 2484 2432 2368 -2376 2208 2528 2696 2344 2444 2412 -2352 2420 -2216 -2676 -2596 -2568 -2388 2668 2324 -2564 -2264 -2628 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 -2644 2188 2208 -2464 2252 2348 2544 -2568 2164 -2188 -2676 -2216 2324 -2288 -2308 -2144 2508 -2160 2420 -2248 -2544 2492 2640 2224 2424 -2676 -2476 -2132 -2388 -2472 -2720 -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 2664 -2612 -2188 -2452 -2344 -2716 2216 2400 -2352 -2120 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 -2704 2648 2680 2228 -2204 2292 2592 2460 -2716 -2128 2568 2260 -2680 -2716 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 -2716 -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 2664 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 -2656 2572 -2716 2564 2720 -2240 2272 -2428 2392 2332 -2176 -2556 -2676 2420 2692 2368 2260 2456 2656 2228 2268 2460 2228 -2360 -2152 -2460 2328 -2120 2380 2512 2584 -2208 -2688 -2200 2516 -2160 -2700 2572 2704 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-202240-1168290753 -o ROOT/results/node12/solver-202240-1168290753 -C 1800 -M 900 /tmp/evaluation/202240-1168290753/solver2 /tmp/evaluation/202240-1168290753/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.46 1.08 1.02 5/81 24528
/proc/meminfo: memFree=1616272/2055920 swapFree=4160348/4192956
[pid=24527] ppid=24525 vsize=5352 CPUtime=0
/proc/24527/stat : 24527 (solver2) R 24525 24527 17590 0 -1 4194304 313 190 0 0 0 0 0 0 19 0 1 0 177470565 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/24527/statm: 1338 241 202 169 0 49 0
[pid=24531] ppid=24527 vsize=144 CPUtime=0
/proc/24531/stat : 24531 (rm) R 24527 24527 17590 0 -1 4194304 43 0 0 0 0 0 0 0 19 0 1 0 177470566 147456 22 18446744073709551615 4194304 4227748 548682069488 18446744073709551615 252426909065 0 0 4096 0 0 0 0 17 0 0 0
/proc/24531/statm: 36 22 16 8 0 3 0
[startup+0.106554 s]
/proc/loadavg: 1.46 1.08 1.02 5/81 24528
/proc/meminfo: memFree=1616272/2055920 swapFree=4160348/4192956
[pid=24527] ppid=24525 vsize=5352 CPUtime=0
/proc/24527/stat : 24527 (solver2) S 24525 24527 17590 0 -1 4194304 353 334 0 0 0 0 0 0 20 0 1 0 177470565 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24527/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.515625 s]
/proc/loadavg: 1.46 1.08 1.02 5/81 24528
/proc/meminfo: memFree=1616272/2055920 swapFree=4160348/4192956
[pid=24527] ppid=24525 vsize=5352 CPUtime=0
/proc/24527/stat : 24527 (solver2) S 24525 24527 17590 0 -1 4194304 353 334 0 0 0 0 0 0 20 0 1 0 177470565 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24527/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33977 s]
/proc/loadavg: 1.46 1.08 1.02 2/79 24546
/proc/meminfo: memFree=1624352/2055920 swapFree=4160348/4192956
[pid=24527] ppid=24525 vsize=5352 CPUtime=0.52
/proc/24527/stat : 24527 (solver2) S 24525 24527 17590 0 -1 4194304 376 2652 0 0 0 0 47 5 16 0 1 0 177470565 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24527/statm: 1338 242 203 169 0 49 0
[pid=24544] ppid=24527 vsize=37572 CPUtime=0.79
/proc/24544/stat : 24544 (bordewijk) R 24527 24527 17590 0 -1 4194304 8894 0 0 0 73 6 0 0 24 0 1 0 177470619 38473728 8866 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24544/statm: 9393 8866 204 97 0 8674 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 42924
[startup+2.97606 s]
/proc/loadavg: 1.46 1.08 1.02 2/79 24546
/proc/meminfo: memFree=1570080/2055920 swapFree=4160348/4192956
[pid=24527] ppid=24525 vsize=5352 CPUtime=0.52
/proc/24527/stat : 24527 (solver2) S 24525 24527 17590 0 -1 4194304 376 2652 0 0 0 0 47 5 16 0 1 0 177470565 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24527/statm: 1338 242 203 169 0 49 0
[pid=24544] ppid=24527 vsize=93924 CPUtime=2.43
/proc/24544/stat : 24544 (bordewijk) R 24527 24527 17590 0 -1 4194304 22994 0 0 0 226 17 0 0 25 0 1 0 177470619 96178176 22964 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24544/statm: 23481 22964 211 97 0 22762 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 99276
[startup+6.25965 s]
/proc/loadavg: 1.51 1.09 1.02 2/79 24546
/proc/meminfo: memFree=1474080/2055920 swapFree=4160348/4192956
[pid=24527] ppid=24525 vsize=5352 CPUtime=0.52
/proc/24527/stat : 24527 (solver2) S 24525 24527 17590 0 -1 4194304 376 2652 0 0 0 0 47 5 16 0 1 0 177470565 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24527/statm: 1338 242 203 169 0 49 0
[pid=24544] ppid=24527 vsize=156800 CPUtime=5.69
/proc/24544/stat : 24544 (bordewijk) R 24527 24527 17590 0 -1 4194304 43351 0 0 0 320 249 0 0 25 0 1 0 177470619 160563200 37963 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24544/statm: 39200 37963 217 97 0 38481 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 162152
[startup+12.7178 s]
/proc/loadavg: 1.55 1.11 1.03 2/79 24547
/proc/meminfo: memFree=1566520/2055920 swapFree=4160348/4192956
[pid=24527] ppid=24525 vsize=5352 CPUtime=8.94
/proc/24527/stat : 24527 (solver2) S 24525 24527 17590 0 -1 4194304 397 46004 0 0 0 0 382 512 16 0 1 0 177470565 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24527/statm: 1338 242 203 169 0 49 0
[pid=24547] ppid=24527 vsize=74028 CPUtime=3.72
/proc/24547/stat : 24547 (standalone) R 24527 24527 17590 0 -1 4194304 17836 0 0 0 255 117 0 0 25 0 1 0 177471464 75804672 17265 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4091173529 0 0 4096 0 0 0 0 17 1 0 0
/proc/24547/statm: 18507 17265 137 64 0 17822 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 79380
Child status: 0
Real time (s): 15.3413
CPU time (s): 15.3077
CPU user time (s): 8.97663
CPU system time (s): 6.33104
CPU usage (%): 99.7808
Max. virtual memory (cumulated for all children) (KiB): 162152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.97663
system time used= 6.33104
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64868
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= 627
involuntary context switches= 670
runsolver used 0.021996 s user time and 0.039993 s system time
The end
Begin job on node12 on Mon Jan 8 21:12:35 UTC 2007
IDJOB= 202240
IDBENCH= 3821
FILE ID= node12/202240-1168290753
PBS_JOBID= 3501755
Free space on /tmp= 66278 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp21-25/fapp24/fapp24-2000-10.xml
COMMAND LINE= /tmp/evaluation/202240-1168290753/solver2 /tmp/evaluation/202240-1168290753/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-202240-1168290753 -o ROOT/results/node12/solver-202240-1168290753 -C 1800 -M 900 /tmp/evaluation/202240-1168290753/solver2 /tmp/evaluation/202240-1168290753/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 3d29592ccda6f316a3f5a0f1f3824f71
RANDOM SEED= 420836744
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: 1616688 kB
Buffers: 70744 kB
Cached: 280512 kB
SwapCached: 5132 kB
Active: 251492 kB
Inactive: 133772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1616688 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 52200 kB
Writeback: 0 kB
Mapped: 43220 kB
Slab: 39220 kB
Committed_AS: 5117088 kB
PageTables: 1920 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= 66291 MiB
End job on node12 on Mon Jan 8 21:12:51 UTC 2007