c
c
c
c solution file
c
c
SAT
-2516 -2540 -2632 -2576 -2436 -2556 -2516 -2352 -2616 -2336 2280 2328 -2608 -2656 -2280 -2544 -2436 -2324 -2280 -2284 -2420 -2320 2424 2440 -2416 -2564 -2372 -2568 2636 -2520 -2332 -2616 -2480 -2532 -2608 2392 -2344 -2460 -2480 2280 -2472 -2364 -2492 -2320 2476 -2656 2476 -2616 -2616 2308 -2376 -2524 -2656 -2616 -2656 2560 2436 -2280 -2548 -2636 2564 -2448 2348 -2364 2344 2564 -2324 -2656 -2584 2280 -2532 -2644 -2368 -2556 -2320 -2484 2332 2620 2444 2340 -2588 -2324 2556 2452 2616 -2296 -2428 2616 -2488 2332 -2408 2408 2500 -2328 2416 2492 -2656 2520 2428 -2516 -2328 -2552 2464 -2428 -2320 -2640 -2656 2376 -2416 -2480 -2496 -2368 -2324 2328 -2572 -2420 2552 -2656 -2452 -2396 2556 -2492 2592 -2560 2424 -2512 2504 -2436 -2552 2320 -2484 -2320 2560 2612 2368 -2512 2344 2400 2656 2320 2396 2300 -2640 -2324 -2516 -2656 2524 2468 -2600 2608 2480 -2428 -2428 -2364 -2580 -2556 -2328 -2468 2288 -2320 2284 2280 -2460 -2616 2500 2372 2472 -2596 -2340 -2528 2504 -2280 -2332 -2440 -2560 2348 -2376 -2580 -2348 -2284 2540 -2372 2280 2432 2588 2348 -2488 -2592 2604 2588 -2328 2416 2372 -2324 -2380 -2552 2288 -2344 2600 -2632 -2328 -2592 -2536 -2612 2608 -2564 2624 -2404 2436 -2484 2600 2448 -2368 -2364 -2564 2352 -2484 2568 -2468 -2372 2360 2616 -2288 -2360 -2508 -2524 -2616 -2484 -2312 2528 -2320 2592 -2356 -2604 2624 -2328 -2636 -2600 2512 -2628 2648 -2388 -2416 2284 -2396 -2524 -2492 2320 2320 -2652 -2600 2488 2588 2320 2596 -2364 2492 2516 2384 -2320 -2608 -2444 2404 2288 2516 2328 -2656 2328 -2628 -2656 -2392 2548 2596 -2584 -2512 -2616 -2328 2428 -2308 2320 2468 -2528 -2476 2380 -2616 -2464 2356 -2424 -2540 -2308 -2460 -2556 2408 2428 -2520 2384 -2424 2600 -2284 2588 -2464 2336 -2508 2636 -2472 2576 -2596 2332 2388 -2416 -2308 2440 -2432 -2616 2384 2500 2580 -2324 -2408 -2320 2600 -2440 -2616 2640 -2340 2480 2500 2324 -2340 2556 -2284 2512 2616 -2556 -2572 -2320 2444 -2368 -2376 2656 -2488 -2440 -2552 2644 -2420 -2532 -2528 2424 -2356 2532 -2428 2512 -2564 2544 2468 2492 2280 -2384 -2340 2388 2532 2344 -2576 -2296 -2656 -2608 2388 -2588 -2656 -2348 2284 2488 2368 2368 2596 -2608 2428 -2320 2428 -2460 2656 -2388 -2292 -2348 -2404 -2656 2532 -2512 -2456 -2608 2400 -2428 2528 2400 -2332 -2540 2328 -2324 -2508 -2572 -2500 -2320 -2536 2548 -2444 2472 2368 2504 2488 2412 -2500 2604 -2380 2628 -2560 -2656 2372 -2560 -2564 -2608 -2448 -2464 2356 -2340 -2604 2592 2516 -2524 2512 -2532 2468 2540 -2364 -2284 -2604 -2640 -2616 2600 -2304 2320 -2444 2464 -2656 2416 -2320 -2600 2432 -2328 -2656 2532 2320 -2280 -2404 2376 -2328 2588 -2540 2388 2424 2604 2484 -2568 -2628 2304 2372 -2416 -2480 2300 -2532 -2632 2456 2416 2364 2496 -2316 -2340 2284 2404 -2616 -2324 -2612 2488 -2620 -2572 2468 -2500 2528 -2424 -2600 -2336 2548 -2436 -2596 -2524 2356 2280 2340 2468 -2656 2388 2392 -2288 -2400 -2560 -2308 2280 -2584 -2628 -2596 -2352 -2420 -2460 2512 -2640 -2524 2380 2644 -2568 -2528 2596 -2460 -2416 2492 -2644 2596 -2488 -2364 -2396 -2468 -2408 2596 -2368 -2636 2320 -2652 2288 -2580 2500 2588 2412 -2384 -2656 2632 -2596 -2292 2624 2564 2280 -2568 -2616 -2656 2280 -2412 2360 2308 2540 -2380 -2340 -2328 -2620 -2612 2404 -2640 2444 -2280 -2600 2280 -2500 2320 2396 -2616 2568 -2504 -2608 2496 -2556 -2576 2324 -2628 -2656 2424 2332 2608 2320 -2280 2588 -2620 -2508 2588 -2604 2556 -2320 -2468 -2472 -2384 2452 -2324 -2568 -2596 -2596 -2540 -2340 -2624 2396 2332 -2412 2412 -2524 -2428 -2656 -2424 -2328 -2424 -2600 -2368 2316 -2308 -2460 2624 -2512 2596 -2600 2484 2380 -2580 2560 -2348 -2424 -2472 2572 -2340 -2284 2436 2656 2448 -2652 -2320 2588 2496 -2316 -2324 -2428 2364 -2624 -2320 -2456 2540 2396 -2300 2324 -2464 2544 -2504 2528 -2544 -2280 2588 -2604 -2516 -2324 2512 -2608 2548 -2468 2408 -2616 -2656 2568 -2452 2428 2440 2564 2584 2624 -2648 2644 -2424 2372 2532 -2288 -2600 -2348 -2372 2280 2320 -2656 2564 -2500 2280 2536 2388 2528 -2404 -2320 2304 2396 2308 -2372 -2568 2648 -2464 -2620 -2584 2360 2536 -2568 -2480 2640 -2508 -2544 -2580 -2476 2580 2284 -2416 2412 -2536 2396 -2616 -2336 2360 2384 -2616 -2620 -2464 -2280 -2608 2360 -2456 -2412 -2424 -2332 -2304 2492 -2520 2536 2624 -2292 2428 -2280 -2412 -2324 -2612 2380 2612 2440 2500 2492 -2532 2580 2472 -2340 -2548 2576 -2596 2616 2288 2484 -2512 -2324 2580 2472 -2388 2428 -2528 -2656 -2376 -2640 -2604 -2604 -2280 -2324 -2604 2364 -2320 2628 -2420 2552 2356 -2340 -2572 -2284 2556 -2616 -2616 2656 2488 -2464 2652 -2464 -2620 2328 2556 -2656 -2316 -2392 2512 -2300 -2412 2436 -2656 -2516 -2628 2512 2600 2540 2552 -2336 2532 -2312 2320 -2492 2616 -2364 2304 -2396 -2448 -2348 2280 -2464 -2280 -2360 -2300 -2612 -2480 -2400 -2452 -2332 -2508 -2508 -2504 2324 -2548 -2400 -2656 -2580 2644 2436 -2340 2400 2504 -2352 2344 2508 -2424 2572 2512 2288 -2588 -2308 2320 -2568 -2616 2472 -2344 2484 -2288 -2548 -2468 -2492 -2404 -2656 -2536 -2512 -2492 2308 -2644 2280 -2560 2572 2364 2320 -2328 -2340 -2360 -2540 2516 2464 2340 2616 -2364 -2532 2328 -2352 -2612 -2528 2524 2500 2496 2544 -2548 2488 -2656 2388 -2372 -2636 2320 -2536 -2380 2404 2480 2584 -2656 2296 2332 -2408 2604 2640 -2452 -2396 2524 2616 -2492 -2568 2580 2332 -2616 2636 2488 2588 2468 -2312 2544 2472 2652 2424 2304 2508 -2616 -2384 -2588 2472 -2656 -2616 2504 -2304 2524 2568 2408 2500 -2408 -2404 -2552 -2420 2568 2596 -2504 2580 -2384 -2332 -2540 -2584 -2472 -2508 -2436 -2444 -2488 -2568 -2464 -2324 -2616 2548 -2344 2600 2280 -2372 -2452 2636 -2488 -2520 -2392 -2528 -2316 2472 2368 -2296 2556 -2604 2436 2404 2368 -2544 2280 2608 -2600 -2656 -2452 -2548 -2360 -2388 2588 2456 2592 -2652 -2324 -2644 2520 2620 2572 -2440 -2476 2460 2628 2480 2464 2596 -2500 -2484 -2288 -2396 -2484 2336 2472 2288 -2564 -2384 -2556 2400 2352 -2504 -2412 -2616 2608 2624 -2408 2492 2568 2516 -2612 2520 2612 -2528 -2484 2512 2388 2428 -2596 -2588 -2612 -2608 2324 2456 2468 -2468 -2432 -2604 -2296 2436 -2556 2520 -2448 -2312 -2280 2616 -2320 -2436 -2300 -2560 2604 2448 -2560 -2416 -2420 -2296 -2560 -2640 -2300 2468 -2656 2320 -2320 2468 2636 -2320 2280 2488 -2608 -2376 2348 2648 -2332 -2320 2508 -2352 -2388 -2636 -2424 -2512 2296 2568 2520 -2608 2648 -2428 -2400 -2412 -2336 2412 2476 2444 -2356 2320 2592 2592 2440 2552 -2592 -2656 -2600 -2588 -2492 -2648 -2564 -2596 -2320 2372 2612 -2588 -2656 -2372 -2616 2420 2484 -2312 2500 -2352 -2596 -2464 -2396 2496 2592 2344 2584 -2652 2284 -2424 2364 -2500 -2496 -2496 -2584 2280 2280 -2380 2396 2320 -2408 2504 -2528 -2656 -2656 -2524 -2528 -2516 -2404 2392 -2560 -2396 -2632 -2612 -2576 -2388 2440 -2644 -2380 -2300 -2552 2600 -2436 2564 -2328 -2464 2460 2428 2424 2400 -2612 2396 -2524 2608 2592 -2444 -2568 -2356 2488 2280 -2624 -2348 -2292 2516 -2452 2520 -2616 -2616 -2528 -2404 -2580 2592 -2360 2560 -2320 2524 2348 -2632 2300 2380 -2604 2588 2460 2392 -2632 2568 2460 -2504 -2468 2636 -2356 2464 2644 -2520 2616 -2392 2600 2284 -2428 -2612 -2456 -2656 -2352 -2524 -2456 -2508 2460 -2612 2576 2640 2460 2500 -2628 2416 -2592 -2404 -2560 -2656 -2524 -2340 2320 -2344 2584 2400 -2436 -2452 2476 2280 -2332 -2556 2432 -2364 2528 -2600 -2620 2548 -2600 2280 2344 2300 -2364 -2588 -2608 2332 -2556 -2404 2484 2608 2452 -2560 -2428 2284 2392 2532 2344 -2608 -2492 2600 2568 2572 -2424 2616 -2556 -2300 2520 -2404 -2364 -2640 -2412 2636 2600 2388 2304 2648 -2440 -2616 -2320 -2548 -2280 -2292 -2300 -2500 -2340 2416 -2528 2376 -2580 -2568 2588 -2440 -2396 2572 2348 2596 -2596 2444 2404 2424 -2524 -2336 -2512 2280 2504 -2600 2308 2616 -2484 -2504 -2368 2648 2332 -2632 -2572 -2616 2432 -2420 2656 -2552 2616 2408 2540 2564 -2620 2280 -2380 2484 -2368 -2616 2320 2280 2372 2616 2444 2632 -2284 2284 -2452 2524 2344 -2532 -2532 2424 -2536 2504 2284 2576 -2500 2304 2304 -2616 2320 -2452 2408 -2644 2344 2548 2488 -2324 -2368 -2600 2592 -2312 -2332 -2336 -2572 2292 2640 2616 2604 -2576 -2524 -2640 -2516 -2420 2320 2496 2328 2604 2380 -2356 -2408 -2448 -2320 2308 -2536 2320 2380 2280 -2460 2484 -2316 -2624 -2616 2492 -2492 -2616 2440 2572 2596 -2348 -2468 2552 -2388 -2560 2652 -2596 -2512 -2576 -2512 -2348 2356 -2304 2600 2576 -2372 2552 2312 -2528 -2652 2356 -2340 -2328 2656 -2340 2508 2528 2588 2636 -2464 2584 2524 -2508 -2652 -2388 -2448 2616 2440 2584 2532 -2568 -2580 2464 -2380 2280 2508 -2640 2524 -2352 2460 -2612 -2600 -2340 -2332 -2348 -2380 -2640 -2656 -2568 -2452 2540 2476 2280 2444 2404 2404 -2424 -2320 2656 2432 -2556 -2640 2368 -2608 -2548 2364 2400 2616 2336 -2504 2360 2480 -2412 2388 -2496 2536 2520 2404 -2496 2280 -2612 -2324 -2612 2388 -2344 -2456 2564 2280 -2400 2396 2320 2640 -2412 -2292 2396 2604 2472 2468 2424 -2324 2400 -2436 2320 2280 2320 2612 -2596 2472 2560 2620 -2408 2584 2492 2388 -2588 -2544 -2328 -2388 2560 -2344 -2484 2636 2436 2472 -2392 -2640 -2608 2348 -2640 -2508 2416 2396 -2580 2472 -2532 -2620 2292 -2504 2308 -2540 2432 2612 2536 -2596 2316 -2636 2560 2280 -2280 2628 2652 -2380 2384 -2304 2612 2652 -2380 -2284 -2292 -2544 -2392 -2308 2320 2280 -2616 -2564 -2452 -2492 2428 -2556 2492 -2376 -2508 2280 -2488 -2448 -2432 2480 -2584 -2460 2572 -2600 -2616 -2656 -2428 2324 2452 -2592 2404 2300 -2440 -2552 -2580 2524 -2328 -2320 -2604 -2348 -2344 -2348 -2456 2464 2432 -2372 -2500 -2656 2424 -2608 -2564 2352 -2628 -2464 -2472 2500 -2424 -2616 -2616 2532 2556 2576 -2596 2640 -2616 -2596 2396 -2288 -2652 -2612 -2656 2320 2624 2472 2608 -2652 -2440 2328 -2324 2404 -2424 -2656 2340 2544 -2448 -2344 2280 2580 2620 -2596 -2284 2604 -2412 -2384 -2608 -2576 2628 -2472 -2408 -2524 -2340 -2644 -2552 -2600 -2600 2608 -2524 -2404 -2456 -2380 2528 2628 2568 2556 -2444 -2388 -2596 2412 -2436 2564 -2584 2568 -2352 -2484 2432 2292 2448 -2552 2280 2280 -2656 -2452 -2468 -2428 2580 2568 2644 -2524 -2412 2548 2404 2384 2632 -2652 2340 -2572 2656 -2556 -2476 -2544 -2632 -2428 -2368 2464 -2348 -2348 2460 -2472 -2556 -2380 2468 2284 -2484 -2408 2356 2464 -2560 -2432 2388 2600 2436 -2420 2564 -2532 2500 2648 2508 2564 -2600 2616 -2380 -2332 -2400 -2616 2532 -2360 2332 2484 -2656 -2600 2408 -2596 -2644 -2448 2512 -2544 -2600 -2572 -2320 2588 2500 2348 -2600 -2604 2584 -2636 2320 -2540 -2576 2612 -2280 -2616 2616 -2320 -2320 -2640 -2528 -2404 2616 -2460 2436 -2616 2488 -2564 -2656 -2604 -2636 -2364 -2656 2524 -2444 -2584 -2420 -2624 2648 -2340 2320 -2380 2372 2528 2580 2432 2516 2320 -2324 2548 2616 2440 -2600 -2320 2336 -2604 -2560 2460 2284 2456 2360 -2388 2604 -2440 -2444 2428 -2500 -2320 2324 -2528 -2340 -2596 2616 -2432 -2288 -2436 -2480 2448 -2364 -2412 -2396 -2444 2356 -2336 2652 -2504 -2532 2412 -2368 2564 -2512 2604 -2288 -2340 -2572 2616 2304 2368 -2360 2504 -2612 2592 -2288 -2384 2488 -2636 -2352 -2488 -2356 2520 -2464 2284 2648 -2300 2296 2280 -2628 2280 -2656 -2616 2568 -2376 -2348 2648 2532 -2376 -2572 -2392 2364 -2608 -2368 2464 -2324 -2424 2484 2480 2432 -2476 -2476 -2292 2420 2300 -2336 2544 2612 -2512 -2500 2400 -2452 -2492 2608 2320 -2304 -2616 -2428 -2348 -2448 2656 -2328 -2392 -2636 -2552 -2512 -2432 2312 2308 2464 -2612 -2384 2548 2652 -2656 2288 -2488 -2352 2616 -2532 -2512 2468 2480 -2288 -2312 -2592 -2408 -2648 2600 2612 -2552 -2328 2280 2444 -2364 2632 2584 -2656 -2428 -2376 -2376 2388 -2416 2348 -2616 -2512 2628 -2376 -2532 -2568 -2288 -2492 2324 2588
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-201589-1168290399 -o ROOT/results/node10/solver-201589-1168290399 -C 1800 -M 900 /tmp/evaluation/201589-1168290399/solver /tmp/evaluation/201589-1168290399/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: 2.08 1.99 1.83 5/87 20306
/proc/meminfo: memFree=1299104/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=0
/proc/20305/stat : 20305 (solver) R 20303 20305 17358 0 -1 4194304 313 190 0 0 0 0 0 0 19 0 1 0 177435311 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20305/statm: 1338 241 202 169 0 49 0
[pid=20309] ppid=20305 vsize=0 CPUtime=0
/proc/20309/stat : 20309 (solver) R 20305 20305 17358 0 -1 4194368 21 0 0 0 0 0 0 0 19 0 1 0 177435311 0 0 18446744073709551615 0 0 0 18446744073709551615 214919867687 0 0 4096 0 0 0 0 17 1 0 0
/proc/20309/statm: 0 0 0 0 0 0 0
[startup+0.108052 s]
/proc/loadavg: 2.08 1.99 1.83 5/87 20306
/proc/meminfo: memFree=1299104/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=0
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 354 334 0 0 0 0 0 0 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.516111 s]
/proc/loadavg: 2.08 1.99 1.83 5/87 20306
/proc/meminfo: memFree=1299104/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=0.38
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 376 2631 0 0 0 0 34 4 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5352
[startup+1.33722 s]
/proc/loadavg: 2.08 1.99 1.83 3/88 20318
/proc/meminfo: memFree=1216408/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=0.38
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 376 2631 0 0 0 0 34 4 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20318] ppid=20305 vsize=39932 CPUtime=0.88
/proc/20318/stat : 20318 (bordewijk) R 20305 20305 17358 0 -1 4194304 9480 0 0 0 80 8 0 0 25 0 1 0 177435355 40890368 9452 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 9340539 0 0 4096 0 0 0 0 17 1 0 0
/proc/20318/statm: 9983 9452 204 97 0 9264 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 45284
[startup+2.97444 s]
/proc/loadavg: 2.08 1.99 1.83 3/88 20318
/proc/meminfo: memFree=1134168/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=0.38
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 376 2631 0 0 0 0 34 4 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20318] ppid=20305 vsize=84556 CPUtime=2.53
/proc/20318/stat : 20318 (bordewijk) R 20305 20305 17358 0 -1 4194304 22354 0 0 0 231 22 0 0 25 0 1 0 177435355 86585344 20617 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20318/statm: 21139 20617 211 97 0 20420 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 89908
[startup+6.26388 s]
/proc/loadavg: 2.07 1.99 1.83 3/88 20318
/proc/meminfo: memFree=1029144/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=0.38
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 376 2631 0 0 0 0 34 4 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20318] ppid=20305 vsize=127288 CPUtime=5.81
/proc/20318/stat : 20318 (bordewijk) R 20305 20305 17358 0 -1 4194304 36171 0 0 0 311 270 0 0 25 0 1 0 177435355 130342912 30844 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20318/statm: 31822 30844 217 97 0 31103 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 132640
[startup+12.7198 s]
/proc/loadavg: 2.07 1.99 1.83 3/88 20320
/proc/meminfo: memFree=1212136/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47796 CPUtime=5.56
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11814 0 0 0 480 76 0 0 25 0 1 0 177436025 48943104 11230 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549724 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11949 11230 138 64 0 11264 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 53148
[startup+25.5415 s]
/proc/loadavg: 2.05 1.99 1.83 3/88 20320
/proc/meminfo: memFree=1212208/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47800 CPUtime=18.38
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11827 0 0 0 1762 76 0 0 25 0 1 0 177436025 48947200 11243 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549726 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11950 11243 138 64 0 11265 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 53152
[startup+51.18 s]
/proc/loadavg: 2.03 1.99 1.83 3/88 20320
/proc/meminfo: memFree=1212464/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47800 CPUtime=43.95
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11827 0 0 0 4318 77 0 0 25 0 1 0 177436025 48947200 11243 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4119057320 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11950 11243 138 64 0 11265 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 53152
[startup+102.451 s]
/proc/loadavg: 2.01 1.99 1.84 3/88 20320
/proc/meminfo: memFree=1212720/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47800 CPUtime=95.21
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11831 0 0 0 9443 78 0 0 25 0 1 0 177436025 48947200 11247 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554165 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11950 11247 138 64 0 11265 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 53152
[startup+162.519 s]
/proc/loadavg: 2.05 2.00 1.85 3/88 20320
/proc/meminfo: memFree=1211888/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=155.26
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 15448 78 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554283 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 53200
[startup+222.596 s]
/proc/loadavg: 2.08 2.02 1.86 3/88 20320
/proc/meminfo: memFree=1211824/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=215.31
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 21453 78 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4119774371 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 222.38
Current children cumulated vsize (KiB) 53200
[startup+282.666 s]
/proc/loadavg: 2.03 2.01 1.87 3/88 20320
/proc/meminfo: memFree=1211760/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=275.37
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 27458 79 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4119829433 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 282.44
Current children cumulated vsize (KiB) 53200
[startup+342.735 s]
/proc/loadavg: 2.01 2.00 1.87 3/88 20320
/proc/meminfo: memFree=1211696/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=335.42
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 33463 79 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554131 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 342.49
Current children cumulated vsize (KiB) 53200
[startup+402.802 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 20320
/proc/meminfo: memFree=1211632/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=395.46
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 39467 79 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554178 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 402.53
Current children cumulated vsize (KiB) 53200
[startup+462.873 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 20320
/proc/meminfo: memFree=1211632/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=455.52
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 45472 80 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554280 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 462.59
Current children cumulated vsize (KiB) 53200
[startup+522.945 s]
/proc/loadavg: 2.00 2.00 1.89 3/88 20320
/proc/meminfo: memFree=1211632/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=515.57
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 51477 80 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 522.64
Current children cumulated vsize (KiB) 53200
[startup+583.011 s]
/proc/loadavg: 2.00 2.00 1.90 3/88 20320
/proc/meminfo: memFree=1211632/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=575.62
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 57481 81 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118599000 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 582.69
Current children cumulated vsize (KiB) 53200
[startup+643.077 s]
/proc/loadavg: 2.00 2.00 1.90 3/88 20320
/proc/meminfo: memFree=1211568/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=635.67
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 63486 81 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519668 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 642.74
Current children cumulated vsize (KiB) 53200
[startup+703.143 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 20320
/proc/meminfo: memFree=1211568/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=695.71
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 69490 81 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134549726 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 702.78
Current children cumulated vsize (KiB) 53200
[startup+763.226 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 20320
/proc/meminfo: memFree=1211568/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=755.78
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 75496 82 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554146 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 762.85
Current children cumulated vsize (KiB) 53200
[startup+823.302 s]
/proc/loadavg: 2.00 2.00 1.91 4/88 20322
/proc/meminfo: memFree=1211376/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=815.83
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 81501 82 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134519668 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 822.9
Current children cumulated vsize (KiB) 53200
[startup+883.387 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 21005
/proc/meminfo: memFree=1278512/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=875.8
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 87494 86 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134554203 0 0 4096 0 0 0 0 17 0 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 882.87
Current children cumulated vsize (KiB) 53200
[startup+943.431 s]
/proc/loadavg: 1.72 1.93 1.89 2/79 22403
/proc/meminfo: memFree=1296200/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47848 CPUtime=935.59
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11877 0 0 0 93471 88 0 0 25 0 1 0 177436025 48996352 11293 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134516858 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11962 11293 138 64 0 11277 0
Current children cumulated CPU time (s) 942.66
Current children cumulated vsize (KiB) 53200
[startup+1003.5 s]
/proc/loadavg: 1.26 1.76 1.83 2/79 22403
/proc/meminfo: memFree=1296584/2055920 swapFree=4178216/4192956
[pid=20305] ppid=20303 vsize=5352 CPUtime=7.07
/proc/20305/stat : 20305 (solver) S 20303 20305 17358 0 -1 4194304 396 38803 0 0 0 0 351 356 16 0 1 0 177435311 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20305/statm: 1338 242 203 169 0 49 0
[pid=20320] ppid=20305 vsize=47876 CPUtime=995.64
/proc/20320/stat : 20320 (standalone) R 20305 20305 17358 0 -1 4194304 11906 0 0 0 99475 89 0 0 25 0 1 0 177436025 49025024 11322 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20320/statm: 11969 11322 146 64 0 11284 0
Current children cumulated CPU time (s) 1002.71
Current children cumulated vsize (KiB) 53228
Child status: 0
Real time (s): 1003.55
CPU time (s): 1002.78
CPU user time (s): 998.306
CPU system time (s): 4.47332
CPU usage (%): 99.9232
Max. virtual memory (cumulated for all children) (KiB): 132640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 998.306
system time used= 4.47332
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51116
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= 556
involuntary context switches= 21769
runsolver used 0.998848 s user time and 2.66859 s system time
The end
Begin job on node10 on Mon Jan 8 21:06:41 UTC 2007
IDJOB= 201589
IDBENCH= 3772
FILE ID= node10/201589-1168290399
PBS_JOBID= 3501734
Free space on /tmp= 66351 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-7.xml
COMMAND LINE= /tmp/evaluation/201589-1168290399/solver /tmp/evaluation/201589-1168290399/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-201589-1168290399 -o ROOT/results/node10/solver-201589-1168290399 -C 1800 -M 900 /tmp/evaluation/201589-1168290399/solver /tmp/evaluation/201589-1168290399/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= 0afc8cfff921a2b2bb2e875a86dffcb1
RANDOM SEED= 661080434
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.232
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.232
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: 1328704 kB
Buffers: 68496 kB
Cached: 553116 kB
SwapCached: 2628 kB
Active: 306012 kB
Inactive: 359796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1328704 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 33664 kB
Writeback: 0 kB
Mapped: 54612 kB
Slab: 46312 kB
Committed_AS: 4841452 kB
PageTables: 2220 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= 66350 MiB
End job on node10 on Mon Jan 8 21:23:25 UTC 2007