c
c
c
c solution file
c
c
SAT
-2580 2596 2528 -2560 -2424 2504 -2612 -2400 2584 -2392 -2344 -2388 -2556 -2616 -2604 -2596 2340 -2324 -2364 -2516 -2464 2332 -2552 -2320 2320 2560 -2372 -2544 2572 -2492 -2612 2460 -2504 -2600 2612 2432 -2460 2432 -2456 -2296 2336 2332 -2640 2380 2452 -2520 -2540 -2436 -2656 2532 -2328 -2428 -2584 -2568 2284 -2580 2580 -2328 -2356 -2604 -2516 -2432 -2352 -2328 2284 2552 -2556 -2644 2632 2324 2484 2504 -2524 -2296 -2320 -2504 -2616 2588 -2536 2584 -2616 -2488 -2556 2440 2556 -2428 -2424 -2624 2580 2556 -2396 -2348 -2536 2504 2396 2452 -2396 -2524 -2656 -2616 -2364 -2576 -2480 -2540 -2336 -2616 2628 2360 -2320 2472 -2452 2552 -2372 2340 -2616 -2616 -2520 -2396 -2572 2468 -2652 -2604 -2616 -2592 -2424 -2560 -2652 -2444 2480 -2560 2500 2288 -2616 -2280 -2328 -2476 2336 -2320 -2616 2364 -2420 -2368 -2640 -2408 -2636 2648 -2316 -2484 -2448 -2588 2432 -2432 -2616 2340 2564 -2596 -2352 -2296 -2372 2312 -2324 -2320 -2464 2540 2492 -2468 -2564 2564 -2348 -2496 2368 -2420 2432 2388 -2600 -2372 -2408 2584 2432 2304 -2516 2324 -2288 2644 2628 -2460 2508 2544 -2600 -2504 2388 2440 -2448 -2380 -2352 2328 2324 -2456 2640 -2480 -2368 2612 -2540 -2588 -2628 -2524 -2628 -2492 -2384 -2472 -2632 2448 -2308 2320 -2604 2332 -2492 -2600 -2464 2472 -2432 2568 2340 -2384 -2536 2464 2608 2480 -2360 -2620 2296 -2556 2448 -2612 2620 -2464 -2596 2552 -2520 -2616 2584 -2376 2284 -2284 -2280 -2592 -2480 2364 2396 -2600 -2604 -2492 -2600 -2404 -2444 2528 -2552 -2304 2352 -2284 -2628 2460 -2408 2364 -2500 2316 2568 -2300 2600 -2608 -2308 -2540 2540 2472 -2480 2484 -2512 2368 -2320 -2320 2616 -2408 2280 -2352 -2616 -2364 -2412 -2484 -2576 -2332 -2540 -2656 -2408 2436 -2536 -2484 -2500 -2652 -2460 2540 2448 -2532 -2344 -2656 2392 -2596 2496 2412 2392 -2448 -2516 -2640 -2428 -2604 2336 -2384 -2424 -2320 -2376 -2320 2648 2428 2616 -2568 2320 -2492 2568 -2392 -2452 2656 2372 -2512 2544 -2596 -2596 2356 2476 2320 -2320 2488 -2360 2288 -2600 -2280 2480 2576 2444 2448 2332 -2488 -2428 -2424 -2588 -2476 2472 -2536 2280 -2388 -2376 -2412 2580 2300 -2616 -2656 2296 -2616 2416 -2648 -2280 -2420 2324 2612 -2380 -2316 -2520 2516 -2476 -2404 -2500 2512 -2616 2420 -2476 -2380 -2404 2596 -2492 -2564 -2436 -2472 -2416 -2436 2400 -2432 2472 -2492 -2404 -2284 -2372 -2540 -2324 2504 -2496 -2560 -2408 -2548 2388 -2520 -2320 2360 -2468 2480 2408 -2656 2580 2616 -2476 2628 -2656 2600 2324 -2460 -2384 2504 2352 2652 -2532 -2480 2576 -2628 -2448 -2564 -2420 2360 -2636 -2596 2620 2528 -2344 2644 -2476 2408 -2636 -2508 -2324 -2616 -2424 2416 2608 -2296 -2292 -2320 -2396 2288 -2332 2556 -2624 2508 -2400 -2616 2500 -2592 -2656 -2420 -2656 -2348 2584 2280 2396 -2532 2308 -2328 -2464 -2396 -2324 -2280 -2412 -2380 -2588 -2404 2536 2472 -2656 -2588 2372 -2488 2464 2448 2556 -2376 2304 -2452 2596 -2512 -2428 2412 -2392 -2392 -2280 2328 -2400 2292 2512 2596 -2364 -2504 -2596 2612 2564 2380 -2448 2280 -2292 -2656 -2536 -2380 -2544 2476 -2640 -2616 -2440 -2280 -2648 -2616 -2636 -2368 -2368 -2368 -2540 -2368 -2320 -2428 -2580 2300 -2612 2380 -2560 2500 2280 -2432 -2360 -2632 -2588 -2596 -2344 -2612 2596 -2280 -2620 -2604 -2656 2464 -2388 -2308 2420 2364 -2464 -2432 2332 2384 -2580 2320 2608 -2456 2292 -2656 -2472 2280 -2380 2440 -2656 2588 -2388 -2616 -2308 2544 2428 -2392 -2580 2616 -2524 2308 -2496 2324 -2412 -2584 -2536 -2568 -2648 -2392 2460 2296 -2412 -2480 -2408 -2392 2348 -2608 -2560 -2484 -2608 2332 -2544 -2384 2364 2348 -2436 -2556 -2616 2444 2488 2288 2416 -2612 -2456 2344 2596 -2320 -2592 2616 2532 -2588 -2576 -2656 -2560 -2564 -2636 2352 -2604 -2536 -2364 -2388 -2320 -2636 2640 2648 -2316 -2564 -2516 2336 -2320 2488 -2396 -2616 2400 2324 2280 -2404 -2284 -2452 -2484 -2516 -2504 -2532 -2632 -2444 -2656 -2412 2340 -2364 -2296 -2536 2300 -2432 2388 -2340 -2396 2576 -2324 -2388 2392 2388 2572 -2572 2432 2624 2420 -2396 -2496 -2324 -2600 2280 -2596 2316 2364 2500 2560 2328 -2372 2468 -2580 -2656 2444 -2288 -2320 2424 2536 -2320 -2616 2280 2380 -2596 -2616 -2380 -2544 -2588 2452 2616 2580 -2600 -2616 -2616 -2632 -2332 -2560 -2472 2476 -2656 -2656 -2320 -2416 -2396 -2616 -2560 -2540 -2656 -2616 -2348 -2288 2288 -2416 -2320 -2316 2604 -2496 2580 2536 -2312 2392 2328 -2436 -2368 -2556 -2320 -2616 -2544 2552 -2504 2564 2532 -2420 -2328 2608 2620 2556 2528 -2320 -2492 2380 -2344 2556 -2468 2348 -2484 -2524 2628 2416 -2636 -2600 -2596 2336 -2292 -2584 2336 2280 -2612 2356 -2616 -2320 -2488 -2596 -2488 2516 -2432 2616 -2640 -2320 -2368 2644 -2472 2416 2368 2520 2608 -2388 -2616 -2376 -2368 -2344 -2320 2552 -2544 -2656 -2344 -2656 -2572 -2340 -2396 -2448 2320 2484 2336 2616 2444 -2324 -2424 -2432 2392 -2356 -2464 -2300 -2356 -2352 2572 -2616 2600 2476 -2320 2384 2528 2556 2364 -2320 -2328 -2656 -2544 2616 2424 2312 2340 -2516 -2292 2304 -2340 2496 -2592 2472 2424 -2616 -2312 -2332 -2548 -2320 -2328 2280 2280 2616 2544 -2516 -2400 2344 2584 -2576 -2588 2436 -2280 -2656 2324 -2656 -2496 -2432 -2320 -2284 2340 -2316 -2520 -2480 -2488 2412 -2616 -2384 -2512 2380 -2360 -2580 -2496 -2308 -2584 -2524 -2544 -2464 -2484 -2656 -2428 2388 -2636 -2308 2492 -2356 -2432 -2492 2568 -2616 -2284 2408 2356 2296 2572 -2396 2596 -2532 -2444 -2552 -2504 -2520 -2436 -2388 2444 2484 2628 -2392 -2356 -2572 -2336 -2588 -2428 -2408 -2612 2592 2348 2316 -2612 2508 -2512 -2640 -2296 -2540 -2656 -2472 2460 -2408 -2320 -2500 2324 2552 2588 -2524 2376 2368 -2304 -2596 -2612 2656 2392 -2508 -2532 -2548 -2448 2384 -2412 2284 2544 2356 2588 -2340 -2348 -2448 2484 2488 -2656 -2456 2516 -2332 -2472 2364 2492 -2604 2444 -2492 2376 2448 2516 -2440 -2436 2600 2280 -2464 2332 2380 -2320 -2616 -2436 -2632 2580 -2400 -2584 -2512 2592 2436 2284 -2652 -2460 -2624 -2528 -2488 2564 -2516 -2528 2472 2280 2440 -2448 2536 2616 -2596 2576 -2456 2388 -2540 2488 -2452 -2656 2580 -2656 2324 2540 -2636 -2504 -2656 2500 -2604 -2408 -2496 -2572 2428 2376 -2612 -2584 -2592 -2628 -2380 -2500 2656 2496 2424 2320 2280 -2636 -2584 2544 -2512 -2420 -2320 -2656 -2340 -2364 2452 2468 -2656 -2468 -2596 2456 -2280 -2356 -2496 -2656 2324 -2636 2324 -2320 2636 -2512 2320 2320 -2344 -2640 -2656 2280 2352 -2652 2284 2400 -2656 -2288 2656 -2656 -2368 -2572 -2444 2536 2592 -2616 2656 2548 -2344 2280 2404 2516 2440 2324 -2328 2324 2492 2580 -2552 2516 -2616 -2404 2504 2292 2408 -2656 2520 -2612 -2336 -2456 -2608 2652 -2504 2372 -2640 -2420 -2424 -2416 2476 -2316 -2476 2456 2488 -2516 -2648 -2424 -2584 2320 2324 -2616 2280 2340 2328 -2500 -2576 -2296 -2440 2292 2372 -2452 -2320 -2408 -2552 -2656 2608 -2520 -2496 2488 -2436 -2500 2540 -2540 -2480 2620 -2600 -2320 -2456 2652 -2476 -2544 -2464 -2340 2656 -2588 -2348 2476 2532 2476 -2404 -2324 -2556 2464 -2528 -2640 2568 -2444 -2592 -2316 -2432 -2324 2320 -2340 -2652 -2556 -2472 -2648 -2436 2600 2580 -2424 -2636 2592 2452 -2556 2356 2628 -2324 2612 2320 -2388 -2372 -2572 2368 2424 -2608 2596 -2500 2420 2488 2604 -2448 -2348 2372 -2540 2592 -2388 -2636 -2448 2336 -2592 -2488 -2472 2376 -2556 2400 2472 -2476 2508 -2656 2588 2440 2480 -2588 -2408 -2368 -2344 -2540 -2588 -2508 2324 2348 -2312 -2584 -2376 -2460 2328 2464 2348 -2332 2516 -2520 2408 -2652 2556 2600 2424 -2620 -2352 -2436 2336 -2384 -2584 -2616 2496 -2344 -2416 -2516 -2592 -2488 -2488 -2332 -2588 -2412 -2592 2392 -2608 2536 2476 -2568 2568 2536 2600 -2572 2412 -2500 2424 -2332 2592 -2516 -2648 2628 2500 -2288 -2396 -2452 -2628 2280 -2572 -2404 2280 -2404 -2492 -2504 -2400 2508 2352 -2620 -2628 -2504 2640 -2356 2592 -2416 -2572 -2336 2500 2404 -2500 -2644 -2368 -2524 2596 -2644 2556 -2432 -2336 -2468 -2500 -2464 2480 2352 -2620 -2556 -2324 -2376 -2376 2348 2416 -2616 -2284 2424 -2636 -2580 2280 -2416 2364 2476 -2544 -2340 -2324 -2328 -2656 2404 -2652 -2348 -2348 -2492 2484 2280 -2584 2500 2448 -2636 -2592 2460 2584 -2548 2340 2464 -2320 -2344 2476 2516 2312 2388 -2612 2356 2500 -2328 2636 2564 -2332 2320 -2324 2552 2404 -2588 -2436 2564 -2640 -2428 -2612 2516 -2320 -2464 -2536 2280 -2656 -2396 -2400 -2484 -2508 -2616 -2444 -2348 -2356 2392 2280 2392 -2468 -2368 2556 -2588 -2444 -2448 2616 2488 -2588 -2564 -2556 2572 -2552 -2552 2516 -2328 -2404 2540 2648 -2508 -2320 -2364 2352 -2532 2576 -2512 2564 -2280 2480 2568 2408 2352 -2340 2300 2396 2512 -2648 -2640 2524 -2460 2612 2452 2508 -2648 -2320 2284 -2372 2280 -2616 -2516 -2616 -2540 -2368 -2384 2320 2532 -2592 -2524 2320 2452 2612 2596 2328 -2400 -2492 -2324 -2300 2332 -2588 -2432 2520 -2492 -2336 2436 2356 -2408 2340 2308 -2624 -2464 -2548 2596 -2356 2544 2528 2420 2412 -2592 2380 -2432 -2456 -2496 2284 -2444 2540 -2568 2532 -2516 -2456 2364 2628 -2320 -2640 -2396 2328 2484 2596 2280 2412 -2288 2308 -2548 -2480 -2616 -2504 -2616 2436 -2480 -2324 -2308 -2428 2616 2384 -2364 -2372 -2552 -2280 -2464 -2408 -2624 2600 -2300 -2488 2396 -2652 -2528 2324 -2388 2492 -2344 -2484 -2604 -2612 -2532 -2372 -2560 2616 -2320 2464 -2596 -2412 -2380 -2636 -2572 -2576 2584 2348 2516 -2280 2428 -2432 -2624 -2608 -2624 -2280 -2636 2600 -2648 -2364 2612 -2632 -2424 -2380 -2416 2608 -2640 -2388 -2280 2280 -2512 -2328 -2392 2608 -2324 -2656 -2548 2384 -2532 2280 2572 2472 2416 -2520 -2356 -2456 -2348 -2368 2484 -2588 2428 2584 -2628 -2492 -2632 -2352 -2448 -2644 -2440 2380 -2300 2452 -2656 -2604 -2488 -2656 -2328 2464 -2576 2368 -2372 -2416 -2444 2416 2344 -2480 -2580 2296 -2596 2548 -2348 -2588 -2444 2524 2320 2328 -2528 2656 -2512 -2516 2608 -2644 -2600 2596 -2636 -2452 -2340 2548 -2608 -2644 -2496 2572 2444 -2620 2616 2528 2360 -2548 -2368 -2408 -2656 -2284 -2340 2316 -2360 2280 -2576 2500 2616 -2352 -2508 -2508 -2456 2440 -2608 -2604 -2564 2420 2320 -2516 -2336 -2512 -2528 2596 2580 -2588 -2424 2520 2312 2504 -2624 2580 2280 -2280 -2516 -2608 2488 2464 -2524 2580 2560 2652 -2356 -2524 2440 -2360 -2612 -2332 2520 -2644 2320 2448 -2476 -2532 -2536 -2432 2476 -2432 -2616 -2540 2392 2584 2460 -2316 2536 2552 -2612 -2448 -2576 -2524 -2388 -2408 2456 -2432 2280 -2300 -2464 2604 -2364 -2432 2280 -2568 -2392 -2376 2576 -2604 -2372 2312 2564 -2504 -2428 -2500 2608 2500 2656 -2524 -2620 -2576 2480 -2544 -2656 -2472 -2656 -2448 -2312 2384 -2564 -2656 -2640 -2388 2540 -2404 2600 -2492 2612 2616 -2548 -2352 -2652 2504 -2460 -2640 -2628 -2280 -2480 -2284 -2604 -2616 2608 2316 -2644 2568 -2360 -2280 -2516 2280 -2288 -2600 -2528 2384 2568 -2440 -2348 2532 -2504 2652 -2364 -2620 -2464 -2472 -2656 2320 -2608 -2620 -2284 2432 -2360 -2588 2552 -2548 2656 -2616 -2384 -2292 2608 -2568 2472 -2616 -2340 -2616 -2636 2608 -2508 -2280 2476 2304 2380 -2580 2456 -2460 -2432 2432 -2284 -2360 2472 2392 -2564 -2596 -2496 2300 2320 -2632 -2464 2304 2368 -2488 2468 -2408 -2356 -2656 -2476 -2576 -2628 -2336 -2412 -2288 2624 2312 -2424 2624 2604 -2304 -2368 2284 2476 -2288 2628 2428 2328 -2504 -2580 2280 2600 -2292 -2428 2604 -2364 -2476 2448 2396 -2348 -2596 -2300 -2604 -2616 2656 2280 -2404 -2656 2548 -2420 2540 -2392 -2368 -2620 -2348 -2512 2388 -2420 -2508 2600 2532 -2380 -2484 2280 -2392 2356 -2388 2380 2500 -2484 -2468 -2280 -2520 -2540 2320 -2316 -2400 2320 2408 2280 -2280 -2656 -2592 -2328 -2604 2384 2380 -2472 2448 -2380 -2540 2600 -2320 -2548 -2652 -2616 -2356 -2536 2408 -2548 -2440 2524 -2516 2488 -2408 -2612 -2440 -2416 -2620 2632 2552 -2332 -2656 -2420 2464 -2340 2592 -2532 -2420 -2388 2368 -2452 -2312 -2456 2512 2580 -2432 -2596 -2468 -2656 2580 -2456 -2528 -2500 -2636
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-201572-1168290374 -o ROOT/results/node14/solver-201572-1168290374 -C 1800 -M 900 /tmp/evaluation/201572-1168290374/solver2 /tmp/evaluation/201572-1168290374/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 2.02 1.83 5/87 16561
/proc/meminfo: memFree=1767104/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=18540 CPUtime=0
/proc/16560/stat : 16560 (runsolver) R 16558 12898 12898 0 -1 4194368 13 0 0 0 0 0 0 0 19 0 1 0 177432554 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 212243361807 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16560/statm: 4635 277 242 17 0 2626 0
[startup+0.108347 s]
/proc/loadavg: 2.08 2.02 1.83 5/87 16561
/proc/meminfo: memFree=1767104/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=0
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.520395 s]
/proc/loadavg: 2.08 2.02 1.83 5/87 16561
/proc/meminfo: memFree=1767104/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=0.39
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 376 2629 0 0 0 0 34 5 15 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 5352
[startup+1.34948 s]
/proc/loadavg: 2.08 2.02 1.83 3/88 16573
/proc/meminfo: memFree=1727928/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=0.39
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 376 2629 0 0 0 0 34 5 15 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
[pid=16573] ppid=16560 vsize=40856 CPUtime=0.92
/proc/16573/stat : 16573 (bordewijk) R 16560 16560 12898 0 -1 4194304 9714 0 0 0 84 8 0 0 25 0 1 0 177432595 41836544 9686 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134523144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16573/statm: 10214 9686 204 97 0 9495 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 46208
[startup+2.98662 s]
/proc/loadavg: 2.08 2.02 1.83 3/88 16573
/proc/meminfo: memFree=1678456/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=0.39
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 376 2629 0 0 0 0 34 5 15 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
[pid=16573] ppid=16560 vsize=84556 CPUtime=2.54
/proc/16573/stat : 16573 (bordewijk) R 16560 16560 12898 0 -1 4194304 22354 0 0 0 234 20 0 0 25 0 1 0 177432595 86585344 20617 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 7386908 0 0 4096 0 0 0 0 17 1 0 0
/proc/16573/statm: 21139 20617 211 97 0 20420 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 89908
[startup+6.26592 s]
/proc/loadavg: 2.15 2.03 1.83 3/88 16573
/proc/meminfo: memFree=1610936/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=0.39
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 376 2629 0 0 0 0 34 5 15 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
[pid=16573] ppid=16560 vsize=127288 CPUtime=5.78
/proc/16573/stat : 16573 (bordewijk) R 16560 16560 12898 0 -1 4194304 36171 0 0 0 322 256 0 0 25 0 1 0 177432595 130342912 30844 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16573/statm: 31822 30844 217 97 0 31103 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 132640
[startup+12.7425 s]
/proc/loadavg: 2.14 2.03 1.83 3/88 16574
/proc/meminfo: memFree=1701432/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=7.03
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 397 38801 0 0 0 0 362 341 16 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
[pid=16574] ppid=16560 vsize=47764 CPUtime=5.55
/proc/16574/stat : 16574 (standalone) R 16560 16560 12898 0 -1 4194304 11538 0 0 0 478 77 0 0 25 0 1 0 177433267 48910336 10954 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118319429 0 0 4096 0 0 0 0 17 1 0 0
/proc/16574/statm: 11941 10954 137 64 0 11256 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 53116
[startup+25.5577 s]
/proc/loadavg: 2.11 2.03 1.83 3/88 16574
/proc/meminfo: memFree=1701624/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=7.03
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 397 38801 0 0 0 0 362 341 16 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
[pid=16574] ppid=16560 vsize=47764 CPUtime=18.27
/proc/16574/stat : 16574 (standalone) R 16560 16560 12898 0 -1 4194304 11538 0 0 0 1750 77 0 0 25 0 1 0 177433267 48910336 10954 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4121751229 0 0 4096 0 0 0 0 17 1 0 0
/proc/16574/statm: 11941 10954 137 64 0 11256 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 53116
[startup+51.2052 s]
/proc/loadavg: 2.13 2.04 1.84 3/88 16574
/proc/meminfo: memFree=1701816/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=7.03
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 397 38801 0 0 0 0 362 341 16 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
[pid=16574] ppid=16560 vsize=47764 CPUtime=43.71
/proc/16574/stat : 16574 (standalone) R 16560 16560 12898 0 -1 4194304 11538 0 0 0 4293 78 0 0 25 0 1 0 177433267 48910336 10954 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118574588 0 0 4096 0 0 0 0 17 1 0 0
/proc/16574/statm: 11941 10954 137 64 0 11256 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 53116
[startup+102.493 s]
/proc/loadavg: 2.06 2.03 1.85 3/88 16574
/proc/meminfo: memFree=1701880/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=7.03
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 397 38801 0 0 0 0 362 341 16 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
[pid=16574] ppid=16560 vsize=47764 CPUtime=94.58
/proc/16574/stat : 16574 (standalone) R 16560 16560 12898 0 -1 4194304 11538 0 0 0 9380 78 0 0 25 0 1 0 177433267 48910336 10954 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4120446213 0 0 4096 0 0 0 0 17 1 0 0
/proc/16574/statm: 11941 10954 137 64 0 11256 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 53116
[startup+162.505 s]
/proc/loadavg: 2.08 2.04 1.86 3/88 16574
/proc/meminfo: memFree=1701880/2055920 swapFree=4163780/4192956
[pid=16560] ppid=16558 vsize=5352 CPUtime=7.03
/proc/16560/stat : 16560 (solver2) S 16558 16560 12898 0 -1 4194304 397 38801 0 0 0 0 362 341 16 0 1 0 177432554 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16560/statm: 1338 242 203 169 0 49 0
[pid=16574] ppid=16560 vsize=47764 CPUtime=154.11
/proc/16574/stat : 16574 (standalone) R 16560 16560 12898 0 -1 4194304 11538 0 0 0 15332 79 0 0 25 0 1 0 177433267 48910336 10954 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118707630 0 0 4096 0 0 0 0 17 1 0 0
/proc/16574/statm: 11941 10954 137 64 0 11256 0
Current children cumulated CPU time (s) 161.14
Current children cumulated vsize (KiB) 53116
Child status: 0
Real time (s): 218.793
CPU time (s): 216.973
CPU user time (s): 212.736
CPU system time (s): 4.23735
CPU usage (%): 99.1682
Max. virtual memory (cumulated for all children) (KiB): 132640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.736
system time used= 4.23735
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51111
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= 554
involuntary context switches= 9179
runsolver used 0.210967 s user time and 0.622905 s system time
The end
Begin job on node14 on Mon Jan 8 21:06:16 UTC 2007
IDJOB= 201572
IDBENCH= 3771
FILE ID= node14/201572-1168290374
PBS_JOBID= 3501737
Free space on /tmp= 66298 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-10.xml
COMMAND LINE= /tmp/evaluation/201572-1168290374/solver2 /tmp/evaluation/201572-1168290374/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-201572-1168290374 -o ROOT/results/node14/solver-201572-1168290374 -C 1800 -M 900 /tmp/evaluation/201572-1168290374/solver2 /tmp/evaluation/201572-1168290374/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 63ed4f91155f2b79f30edca48a7e3b10
RANDOM SEED= 199277797
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.227
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.227
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: 1767584 kB
Buffers: 13544 kB
Cached: 137168 kB
SwapCached: 4056 kB
Active: 177412 kB
Inactive: 72256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1767584 kB
SwapTotal: 4192956 kB
SwapFree: 4163780 kB
Dirty: 13680 kB
Writeback: 0 kB
Mapped: 108608 kB
Slab: 23508 kB
Committed_AS: 5944872 kB
PageTables: 2296 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 node14 on Mon Jan 8 21:09:55 UTC 2007