c
c
c
c solution file
c
c
SAT
-2564 -2468 -2640 2612 -2280 2460 -2352 -2284 -2656 -2336 2388 2304 -2572 -2616 2280 2504 2372 -2304 -2324 2396 2408 2316 -2424 -2496 -2392 -2620 -2396 2580 -2656 -2464 -2324 -2460 -2632 -2288 -2656 2456 2320 -2280 -2456 -2328 2324 2320 -2328 -2304 -2480 -2640 -2524 2384 -2656 -2352 -2404 2512 2652 -2656 2572 -2604 2480 -2344 2548 -2544 2392 -2456 2320 -2356 -2392 -2616 2356 2620 -2648 -2376 -2656 2528 2428 2580 -2320 -2544 -2324 2536 -2552 -2336 -2492 2300 2524 2480 -2652 2356 -2520 -2532 -2532 -2320 -2432 -2360 -2536 -2280 -2468 -2508 2508 -2580 -2532 -2632 2400 -2656 -2404 -2436 -2320 2576 2592 -2412 -2320 -2532 2488 2324 -2340 -2292 -2604 2472 2528 -2644 -2504 -2536 -2312 -2480 -2616 2608 2404 2592 -2556 2432 -2652 2312 -2456 -2412 2520 -2588 -2336 -2500 2368 -2416 2616 -2468 -2372 -2360 -2640 2424 2524 2588 2584 -2556 -2608 -2564 2456 -2404 2280 2304 2564 -2564 2280 -2384 -2468 -2328 2400 -2588 -2480 2640 -2496 -2396 -2396 -2616 -2372 -2564 2452 2300 -2348 -2352 2636 2292 -2404 -2616 -2444 2520 2544 -2616 -2328 -2588 -2592 2460 -2524 -2604 2580 -2488 2320 2280 -2480 2324 2280 -2560 -2440 -2400 2612 2460 2280 -2592 -2604 -2596 2448 2608 2616 -2464 -2384 -2544 2648 -2364 2428 -2324 -2656 2332 2508 2632 2480 -2388 2372 -2652 2284 -2408 -2408 -2504 2628 -2464 -2324 2572 -2332 -2612 -2296 2632 -2640 -2404 2616 2552 -2612 -2640 2640 2372 -2436 -2344 2296 -2576 -2440 -2364 -2408 -2580 -2556 2492 2544 2404 -2616 -2340 2512 2652 2320 -2336 2580 -2496 -2400 2424 2476 -2280 2536 2324 -2636 -2616 -2308 -2492 2520 2492 2488 -2464 2372 -2320 -2416 -2284 2492 2500 -2416 -2404 -2612 2436 -2396 2368 -2576 -2328 -2520 -2596 -2460 -2392 -2520 -2448 -2500 2596 2352 2548 -2448 2448 2616 -2616 -2464 2572 2520 2384 2300 -2296 -2320 2460 2420 2588 -2352 -2428 2644 2280 -2396 2336 -2560 -2416 -2616 -2656 2280 -2496 -2540 -2320 2308 2592 2380 -2496 -2612 2592 2540 2392 -2392 2320 -2388 2500 -2500 2280 -2632 -2632 -2320 -2552 -2564 -2532 -2388 -2492 -2424 2504 -2552 -2572 2480 -2524 -2324 2360 -2396 2332 -2560 -2300 -2596 2300 -2656 2612 -2420 2560 2508 -2340 -2328 2468 -2408 2408 2572 -2448 -2476 -2324 -2468 2548 2656 -2432 -2432 -2392 -2336 2612 -2548 -2604 2320 -2488 -2656 2412 2540 2404 -2488 -2520 2332 2360 2364 -2572 -2512 2348 -2464 -2584 -2488 -2460 -2400 2444 -2364 -2324 2488 2604 -2388 -2656 -2500 -2616 -2420 -2648 -2604 2596 -2296 -2532 -2428 -2372 -2596 -2612 2572 2508 2496 -2560 -2456 -2460 2364 -2312 -2560 2564 2608 2544 2308 -2320 2472 -2492 -2652 2356 2284 -2616 2348 2280 2492 -2504 -2328 -2280 -2464 2396 -2428 -2596 -2580 2512 2480 -2616 2504 2420 2652 -2280 -2284 -2432 -2512 2320 -2612 2604 -2392 2436 -2452 -2280 -2348 -2500 -2280 -2344 -2632 -2416 -2592 2496 -2616 -2600 -2544 -2360 2604 2428 2584 -2388 -2656 -2320 -2428 -2584 -2408 2380 2444 -2504 -2636 2280 -2656 2280 -2280 -2596 2388 -2516 -2652 2280 2504 -2432 2428 -2552 -2616 -2656 2476 2328 2624 2556 -2568 2624 -2488 -2348 2516 2592 2632 2420 -2440 -2356 -2508 2384 -2616 -2280 2480 2284 -2612 2332 -2580 -2500 2576 -2452 2440 2616 2628 -2620 -2280 -2576 -2520 -2280 2628 -2592 -2656 -2388 -2328 -2352 2368 -2472 -2364 -2368 2320 2604 -2612 2320 2600 2476 -2308 -2560 -2564 -2292 -2340 2396 -2616 2620 -2332 -2320 -2412 -2580 -2500 -2412 -2588 -2656 -2488 -2356 2484 2320 -2300 -2564 2608 -2576 2556 2612 2516 2320 -2404 2528 -2352 2492 -2304 -2468 -2596 2572 -2580 2320 -2532 -2468 -2348 2396 -2388 2484 -2460 2424 -2488 -2296 -2508 -2600 -2424 2468 2548 -2332 2608 -2616 -2616 -2604 -2512 2432 -2524 -2596 2588 -2372 -2548 2592 -2400 -2344 -2360 -2616 2436 -2640 2332 -2616 -2524 2316 2312 2540 -2280 -2620 -2376 -2476 2404 -2316 -2304 -2320 2488 -2384 2480 -2532 2584 -2280 -2600 2592 2504 -2412 2548 2568 -2564 2464 2392 2364 -2344 -2608 -2392 2296 -2444 2552 -2536 2620 -2528 2632 -2572 -2428 -2484 2332 2320 2320 -2360 -2352 -2328 -2600 2652 -2456 -2356 2540 -2476 2444 -2424 -2304 2336 2344 2280 2284 2404 -2320 2404 -2596 -2640 -2356 2564 -2552 2504 2656 2532 -2328 2576 -2460 2628 -2300 -2432 2452 -2564 2472 2656 -2356 -2448 -2436 -2652 2624 -2540 -2344 2616 -2492 -2516 2308 -2424 2396 -2344 -2656 2496 2608 -2540 2308 2504 -2452 2320 -2328 -2536 -2380 -2616 2552 -2588 2476 -2520 2560 -2512 -2300 -2516 2568 2588 2576 -2452 -2512 2456 2560 2604 -2468 -2336 -2460 -2516 2532 -2360 -2640 -2612 -2596 -2372 2280 -2592 -2456 2320 2528 -2508 2536 -2444 -2432 -2576 -2380 -2640 -2648 -2468 2280 -2464 2568 -2652 -2616 2612 -2356 2556 2612 -2448 2416 -2388 2340 2364 -2456 -2424 -2500 -2532 -2416 -2616 -2616 2416 2340 2508 2280 2320 2464 -2616 -2376 -2432 2436 -2448 2284 -2448 -2440 -2280 -2292 -2332 -2652 -2624 -2364 -2320 2316 -2496 2464 -2464 -2288 2536 -2320 2548 -2560 -2572 2428 -2372 2340 -2532 -2280 -2348 -2524 2540 -2600 -2548 -2364 -2616 -2280 2348 2536 2596 -2320 2296 -2284 -2320 2616 -2516 2584 2340 2492 -2564 2500 2280 -2296 -2656 -2280 -2656 2632 -2452 2332 -2292 -2388 -2412 2560 -2364 -2468 -2384 -2616 2380 -2552 2296 -2616 -2572 -2516 -2564 2540 -2484 2472 -2448 2476 -2652 -2428 2436 2580 -2452 2528 -2420 2432 -2592 2644 2552 2432 -2440 -2448 -2636 -2640 2280 -2656 2472 -2364 2516 -2644 -2584 -2392 -2420 2448 -2604 2616 -2444 2324 -2444 -2508 2624 -2400 2516 -2528 -2656 -2388 -2588 -2612 -2652 -2464 2288 -2408 -2552 2616 2484 2532 -2412 2280 -2616 2376 2656 -2604 -2528 -2572 2376 -2320 2644 2580 -2656 2516 -2496 -2424 -2524 2460 -2444 -2340 2612 -2324 2304 -2608 2324 -2288 -2472 -2656 -2404 -2584 2448 -2516 2288 -2536 2292 -2408 2552 -2632 -2440 2496 -2372 -2472 -2284 -2596 -2600 -2568 2516 2588 -2380 -2428 -2612 -2508 -2616 2596 -2352 -2532 -2492 -2588 -2652 -2484 2528 2460 -2604 2528 -2492 2592 2492 2472 -2412 2400 -2548 -2444 -2524 -2616 2524 2336 -2560 -2376 -2348 -2596 -2388 -2616 2592 2600 -2428 2484 -2632 -2540 -2656 -2460 -2612 -2460 2516 2560 -2404 2380 -2624 -2580 2576 -2592 -2344 -2528 2320 -2448 2488 -2592 -2316 -2616 -2552 2592 -2524 2472 -2332 -2636 2320 2356 -2424 2552 -2612 -2484 -2624 -2320 -2340 -2300 2560 2612 -2364 -2520 -2652 2320 -2576 2436 2600 -2344 -2352 2508 2516 -2352 2332 -2616 2656 -2324 -2504 -2320 -2420 2584 2384 -2572 -2452 2612 2496 2608 2280 -2552 -2368 -2404 2492 -2380 2324 -2336 -2424 2280 2564 -2612 2320 2652 -2540 -2324 -2532 2628 -2548 -2648 2564 -2636 -2288 -2344 2544 -2568 2616 -2424 2516 -2288 -2600 -2416 2504 -2364 -2600 -2464 -2336 2452 -2656 -2280 -2492 2548 -2372 -2296 2320 -2452 -2556 2564 -2580 2280 -2336 -2280 -2428 2340 -2376 2528 2460 -2320 -2648 -2504 2652 -2520 -2432 2388 -2508 2440 -2632 -2636 -2556 -2280 2500 2592 2496 -2412 -2464 2516 2420 -2592 2388 -2476 2460 -2592 2396 -2444 2500 -2320 -2540 2592 -2600 2424 2528 -2304 2528 -2404 -2620 2336 -2284 -2484 -2520 -2492 -2548 -2572 2588 -2368 -2428 2620 -2280 -2604 2372 2512 2348 -2652 -2540 2332 -2592 2540 2496 -2500 -2616 -2612 2492 -2508 2504 -2656 -2296 -2292 2632 2460 -2608 2380 2552 2384 -2344 2532 -2336 -2608 2376 -2432 -2320 -2396 2452 -2516 -2616 2572 -2280 -2600 -2632 2364 2520 -2396 -2500 -2592 -2520 -2344 2312 -2288 -2512 -2408 -2412 -2348 2432 2336 -2356 2548 -2568 -2288 2508 2636 -2620 -2456 -2564 2288 -2396 -2356 2328 2656 -2640 -2304 -2612 -2516 -2568 -2616 -2432 -2504 -2504 -2488 2280 -2556 -2360 -2576 2592 2608 -2536 -2592 -2508 -2532 2532 -2348 -2468 2412 2324 -2592 -2612 2604 2516 -2420 -2320 2636 -2400 -2632 -2628 -2568 2428 2304 -2440 2500 -2404 -2452 -2496 -2296 2592 -2604 2364 2404 2344 -2560 2412 -2612 2620 2576 2416 -2500 -2616 -2364 -2556 2536 -2588 2584 -2324 2616 -2472 -2532 -2320 -2656 -2348 2572 2508 2612 2284 -2384 -2380 2428 -2656 -2336 -2468 -2636 -2632 -2280 -2424 -2296 2372 2656 2396 2320 -2300 -2656 -2464 2632 -2340 -2288 -2428 -2648 -2352 2540 -2524 -2392 -2612 -2624 2284 2604 2500 2340 2320 2608 -2368 2652 -2332 -2636 -2348 -2656 -2500 -2392 -2316 2604 -2456 2320 -2344 -2392 -2572 -2308 2556 2604 -2588 2572 -2512 -2636 -2484 2296 2556 2524 2412 2632 2468 -2356 2468 -2484 -2384 -2308 -2372 -2356 -2328 -2296 2356 -2480 2424 2612 -2572 2616 -2472 2280 2488 -2656 2568 2280 2588 -2580 2400 2544 2584 2488 2656 2556 -2508 -2280 2388 -2328 -2608 -2656 -2528 2516 2316 -2480 2504 2464 -2424 -2404 -2324 2380 -2520 -2428 2596 -2612 -2492 -2604 -2548 -2576 2628 -2416 -2468 -2604 2456 -2484 -2468 -2476 2596 2368 -2388 -2344 2628 -2616 -2544 -2356 2456 -2580 2600 -2320 -2324 2392 -2392 2556 -2644 -2488 -2492 -2564 2280 -2280 -2424 2320 -2444 -2320 -2376 -2616 -2460 -2564 -2592 2392 -2600 -2536 -2304 2320 2644 2348 -2656 -2320 -2460 -2352 2420 -2568 2516 -2536 -2352 2424 -2284 2584 2320 -2620 2432 2280 2524 2520 2384 2360 -2464 -2332 -2564 2388 -2372 2288 2564 -2460 -2528 -2476 -2300 -2312 -2512 2312 2280 -2340 2640 -2560 -2528 -2648 -2656 -2476 -2656 -2400 -2452 -2320 -2556 -2464 2384 2568 -2280 -2464 -2636 -2488 -2468 2292 2280 -2576 2336 -2572 2480 -2420 -2412 -2636 -2492 -2552 -2600 -2316 -2516 2320 2528 -2432 2576 -2516 -2592 -2404 -2388 -2652 2384 -2364 2580 -2616 -2448 2360 2440 2588 2592 -2396 -2320 -2356 2532 -2360 -2404 -2344 -2288 -2656 -2544 2404 -2464 -2456 -2596 2508 2428 -2488 -2616 2476 -2424 -2400 2540 -2576 -2552 -2616 2532 2628 2648 -2616 -2340 -2616 -2592 2396 -2428 2552 -2580 2420 -2512 -2656 2368 2568 -2320 -2556 -2368 2416 -2408 2408 -2320 -2448 2648 -2312 2592 2572 2348 -2656 2436 -2644 -2444 2328 -2540 -2656 -2548 2524 2592 2616 -2584 -2656 -2576 -2436 -2336 -2636 2600 2552 2360 -2644 -2536 -2600 -2616 2484 2360 -2448 -2448 -2416 -2428 -2352 -2616 -2460 -2360 2292 -2648 -2556 -2656 2280 -2612 -2436 -2500 -2616 2556 -2656 2644 2368 -2324 2536 -2596 -2508 -2616 -2564 -2640 2504 2372 2472 2384 -2540 2620 -2640 2656 2280 -2332 2564 -2432 2328 -2548 2600 -2556 2280 -2624 -2436 -2364 2404 -2600 -2288 -2352 2548 2444 -2500 -2292 -2656 2524 2652 -2528 -2480 -2544 2616 -2412 -2564 -2656 -2420 -2588 2604 -2572 -2480 -2524 -2496 2388 -2344 -2548 2340 -2456 2492 -2308 -2608 2336 2476 -2280 2500 2408 -2356 -2548 -2568 2320 -2656 2528 -2392 -2436 -2512 2556 -2480 -2652 -2596 -2632 -2616 2600 2376 -2332 -2412 -2592 -2360 2292 2280 2584 2612 -2624 -2464 2520 -2592 -2468 2428 -2596 2572 2556 2332 -2616 2440 -2328 2596 -2632 -2580 -2532 -2280 2604 -2616 2552 -2396 2612 2608 -2384 -2292 -2648 2504 2316 -2320 2400 -2396 2532 2440 2524 2588 2584 2584 2376 -2656 -2640 -2472 2580 2592 -2604 -2632 -2404 2524 2336 2404 2488 -2576 -2456 -2636 -2348 2364 2600 -2632 2416 -2616 -2396 -2340 -2560 -2532 -2460 -2352 -2492 -2328 -2376 2592 -2616 -2464 2464 -2316 2320 -2364 -2568 -2320 -2596 2612 -2484 -2364 -2336 -2456 2280 -2356 -2340 -2336 2424 -2396 2392 2576 -2424 2548 -2364 -2436 -2552 2280 2572 2320 -2428 2580 2580 2320 -2420 2320 -2512 -2624 2588 -2344 2344 2320 2560 2320 -2528 2328 2512 2628 -2376 2408 2392 -2432 -2292 -2636 -2356 -2652 2508 -2656 2280 -2348 2600 -2616 -2388 2612 -2392 2404 -2600 -2432 -2464 2328 2364 2464 -2500 -2532 -2464 -2472 -2356 -2320 2380 2316 -2468 -2616 -2496 2512 2456 2428 -2520 2280 -2656 2320 -2548 -2416 -2388 2416 -2576 -2364 -2360 -2656 -2456 -2552 2496 -2392 2300 -2540 2632 -2312 -2536 2620 2616 2320 -2524 -2432 2612 -2624 2604 2552 2444 -2320 -2320 2420 2464 -2600 -2656 2520 -2656 2360 -2344 -2412 -2356 2656 2484 2420 2364 2324 -2460 2292 -2456 -2360 -2616 2424 2624 -2396 -2564 -2560 -2320 -2532 -2324 -2584
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-201676-1168290503 -o ROOT/results/node5/solver-201676-1168290503 -C 1800 -M 900 /tmp/evaluation/201676-1168290503/solver /tmp/evaluation/201676-1168290503/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.03 1.05 1.18 4/78 19944
/proc/meminfo: memFree=1214936/2055920 swapFree=4192812/4192956
[pid=19943] ppid=19941 vsize=5352 CPUtime=0
/proc/19943/stat : 19943 (solver) R 19941 19943 14345 0 -1 4194304 303 190 0 0 0 0 0 0 19 0 1 0 157664859 5480448 233 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 4429680 0 0 4100 65536 0 0 0 17 1 0 0
/proc/19943/statm: 1338 234 196 169 0 49 0
[startup+0.103695 s]
/proc/loadavg: 1.03 1.05 1.18 4/78 19944
/proc/meminfo: memFree=1214936/2055920 swapFree=4192812/4192956
[pid=19943] ppid=19941 vsize=5352 CPUtime=0
/proc/19943/stat : 19943 (solver) S 19941 19943 14345 0 -1 4194304 354 334 0 0 0 0 0 0 16 0 1 0 157664859 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19943/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511744 s]
/proc/loadavg: 1.03 1.05 1.18 4/78 19944
/proc/meminfo: memFree=1214936/2055920 swapFree=4192812/4192956
[pid=19943] ppid=19941 vsize=5352 CPUtime=0.37
/proc/19943/stat : 19943 (solver) S 19941 19943 14345 0 -1 4194304 376 2630 0 0 0 0 33 4 16 0 1 0 157664859 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19943/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 5352
[startup+1.33183 s]
/proc/loadavg: 1.03 1.05 1.18 2/79 19956
/proc/meminfo: memFree=1173200/2055920 swapFree=4192812/4192956
[pid=19943] ppid=19941 vsize=5352 CPUtime=0.37
/proc/19943/stat : 19943 (solver) S 19941 19943 14345 0 -1 4194304 376 2630 0 0 0 0 33 4 16 0 1 0 157664859 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19943/statm: 1338 242 203 169 0 49 0
[pid=19956] ppid=19943 vsize=44288 CPUtime=0.93
/proc/19956/stat : 19956 (bordewijk) R 19943 19943 14345 0 -1 4194304 10559 0 0 0 85 8 0 0 25 0 1 0 157664898 45350912 10531 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19956/statm: 11072 10531 204 97 0 10353 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 49640
[startup+2.96802 s]
/proc/loadavg: 1.03 1.05 1.18 2/79 19956
/proc/meminfo: memFree=1126416/2055920 swapFree=4192812/4192956
[pid=19943] ppid=19941 vsize=5352 CPUtime=0.37
/proc/19943/stat : 19943 (solver) S 19941 19943 14345 0 -1 4194304 376 2630 0 0 0 0 33 4 16 0 1 0 157664859 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19943/statm: 1338 242 203 169 0 49 0
[pid=19956] ppid=19943 vsize=84556 CPUtime=2.57
/proc/19956/stat : 19956 (bordewijk) R 19943 19943 14345 0 -1 4194304 22354 0 0 0 237 20 0 0 25 0 1 0 157664898 86585344 20617 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19956/statm: 21139 20617 211 97 0 20420 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 89908
[startup+6.24539 s]
/proc/loadavg: 1.10 1.06 1.18 2/79 19956
/proc/meminfo: memFree=1059984/2055920 swapFree=4192812/4192956
[pid=19943] ppid=19941 vsize=5352 CPUtime=0.37
/proc/19943/stat : 19943 (solver) S 19941 19943 14345 0 -1 4194304 376 2630 0 0 0 0 33 4 16 0 1 0 157664859 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19943/statm: 1338 242 203 169 0 49 0
[pid=19956] ppid=19943 vsize=127272 CPUtime=5.83
/proc/19956/stat : 19956 (bordewijk) R 19943 19943 14345 0 -1 4194304 36083 0 0 0 311 272 0 0 25 0 1 0 157664898 130326528 30843 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19956/statm: 31818 30843 217 97 0 31099 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 132624
[startup+12.7081 s]
/proc/loadavg: 1.09 1.06 1.18 2/79 19957
/proc/meminfo: memFree=1150176/2055920 swapFree=4192812/4192956
[pid=19943] ppid=19941 vsize=5352 CPUtime=6.74
/proc/19943/stat : 19943 (solver) S 19941 19943 14345 0 -1 4194304 396 38714 0 0 0 0 348 326 16 0 1 0 157664859 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19943/statm: 1338 242 203 169 0 49 0
[pid=19957] ppid=19943 vsize=47780 CPUtime=5.9
/proc/19957/stat : 19957 (standalone) R 19943 19943 14345 0 -1 4194304 11726 0 0 0 514 76 0 0 25 0 1 0 157665538 48926720 11142 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4121682466 0 0 4096 0 0 0 0 17 1 0 0
/proc/19957/statm: 11945 11142 138 64 0 11260 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 53132
Child status: 0
Real time (s): 20.1725
CPU time (s): 20.1339
CPU user time (s): 16.0816
CPU system time (s): 4.05238
CPU usage (%): 99.8086
Max. virtual memory (cumulated for all children) (KiB): 132624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0816
system time used= 4.05238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51026
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= 567
involuntary context switches= 878
runsolver used 0.016997 s user time and 0.058991 s system time
The end
Begin job on node5 on Mon Jan 8 21:08:24 UTC 2007
IDJOB= 201676
IDBENCH= 3777
FILE ID= node5/201676-1168290503
PBS_JOBID= 3501746
Free space on /tmp= 66344 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-9.xml
COMMAND LINE= /tmp/evaluation/201676-1168290503/solver /tmp/evaluation/201676-1168290503/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-201676-1168290503 -o ROOT/results/node5/solver-201676-1168290503 -C 1800 -M 900 /tmp/evaluation/201676-1168290503/solver /tmp/evaluation/201676-1168290503/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= 5b72c86380aa44432a29d477c7fa6640
RANDOM SEED= 495506706
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.240
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.240
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: 1215224 kB
Buffers: 71612 kB
Cached: 660544 kB
SwapCached: 0 kB
Active: 256796 kB
Inactive: 517952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1215224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 14408 kB
Writeback: 0 kB
Mapped: 61564 kB
Slab: 51528 kB
Committed_AS: 4246164 kB
PageTables: 1800 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= 66324 MiB
End job on node5 on Mon Jan 8 21:08:44 UTC 2007