c
c
c
c solution file
c
c
SAT
-2604 2280 -2592 2604 -2608 2484 2516 -2288 2604 -2436 2340 2340 -2604 -2616 -2300 -2488 -2380 -2344 -2372 -2280 -2428 -2340 -2420 -2452 2364 2584 2368 2504 -2656 -2460 -2352 2588 -2564 -2504 2588 2568 -2368 -2356 2488 2340 -2616 -2324 2464 -2300 -2436 2552 -2644 2424 -2636 -2320 -2392 -2544 2544 -2616 2648 -2616 2516 -2332 2548 -2608 2532 -2408 -2328 2292 2320 -2576 2320 -2568 -2568 -2344 2536 2620 -2492 -2616 -2332 -2504 -2356 -2624 -2532 2328 2488 -2396 -2552 -2460 -2656 -2320 -2504 -2580 2516 2280 2412 -2392 -2576 -2360 2404 2464 2596 -2508 -2456 -2604 2356 -2608 2384 -2456 -2356 2608 2648 2440 -2380 2464 -2460 2328 2320 -2364 -2604 2416 -2560 -2584 -2476 -2536 -2556 2480 -2648 -2504 2412 -2564 2588 -2420 -2592 -2344 -2444 -2328 2604 -2632 2328 2416 2380 -2480 -2640 2360 -2396 -2320 2464 -2356 -2472 2636 2532 2600 -2656 2556 2512 2412 -2416 -2284 2588 -2512 -2372 2300 -2332 -2316 -2444 2280 -2444 2648 2492 -2332 2332 -2508 -2372 -2552 2512 -2296 -2380 2280 -2560 2280 -2328 -2624 -2416 2292 2500 -2368 2408 -2320 -2620 2404 2464 2512 2624 -2552 -2288 -2316 2292 -2312 2332 -2484 2396 2304 -2580 2652 2380 -2596 2564 2616 2500 -2516 -2636 2388 -2484 2420 2544 -2320 -2356 2324 -2640 2396 -2616 2640 2464 -2340 -2408 -2640 -2352 -2320 -2536 -2464 2596 2500 -2328 2556 -2400 -2616 -2364 2652 -2564 -2304 -2636 -2584 -2632 2552 -2616 -2392 -2368 2304 2396 -2616 -2420 -2436 2396 -2612 -2640 -2492 2560 2284 2540 2356 2412 2512 -2328 -2304 -2596 -2484 2420 -2320 -2504 -2296 -2656 -2312 -2600 -2656 -2336 2580 -2524 -2572 -2600 -2596 -2368 -2368 -2340 2352 2496 -2464 2456 -2396 2588 2420 -2464 2536 -2536 2400 2460 -2624 -2412 -2452 -2536 -2436 -2500 -2640 -2356 2588 2384 -2280 -2484 -2632 2420 2548 2588 -2516 2320 2356 -2348 2540 -2392 -2556 2332 2588 2576 2364 2384 -2320 -2656 -2412 -2588 -2616 -2316 -2496 -2588 -2320 -2376 2644 2328 -2484 2584 -2536 2500 -2280 2448 -2392 -2324 2656 -2484 2408 -2604 -2592 -2400 -2552 -2556 2356 2388 -2492 2404 2500 -2580 -2648 -2492 2488 -2312 -2420 -2300 -2320 2524 -2304 -2608 -2344 -2332 -2652 2440 2612 2604 -2348 -2284 2616 -2472 2336 -2496 -2552 2464 2340 -2440 2568 2616 -2420 -2440 2380 -2328 -2616 2504 -2544 -2320 2616 -2464 -2452 2444 -2416 -2348 2484 2280 2404 -2540 2468 -2476 2292 -2484 -2600 -2504 -2500 -2432 -2424 2372 -2280 2468 2632 -2420 2656 2568 -2656 2376 -2656 2576 2580 2348 -2520 2444 -2416 -2616 -2636 2464 2512 2596 -2572 -2416 2588 -2352 2288 -2564 -2656 2656 -2568 -2300 -2340 2436 2552 -2628 2460 -2412 -2648 -2320 2280 -2588 2440 -2332 -2304 -2396 2392 -2292 -2632 -2580 -2464 -2416 -2612 -2496 -2636 2508 -2408 2316 2304 -2288 2356 2516 -2580 -2344 2432 2496 2280 -2412 2280 -2484 -2324 -2608 2320 -2540 -2368 -2616 -2612 -2524 -2440 2452 2504 2540 -2340 2524 -2328 -2596 -2460 -2320 2324 2356 2440 2572 -2408 -2352 2316 -2468 -2588 -2296 -2572 -2604 2656 -2568 -2420 2460 2504 2520 -2608 -2524 2396 -2656 2564 -2532 -2596 -2460 -2284 -2508 -2604 -2576 -2656 2380 -2308 -2480 2344 -2604 2328 -2596 2312 -2572 -2404 -2572 -2500 2596 2384 2376 2620 2616 -2608 -2280 2616 2524 -2384 -2576 2588 -2644 2332 -2324 2320 2372 2436 -2396 -2296 2356 2616 2508 -2360 -2616 2280 -2364 2644 -2616 2496 -2336 2408 -2656 -2556 -2456 -2604 2528 -2552 2524 2280 -2628 2656 2476 -2280 2616 -2344 -2356 -2580 2604 -2552 2556 -2608 -2544 -2316 -2500 2504 -2360 2424 -2292 2564 2548 -2592 -2628 -2436 -2616 2468 2392 2356 -2424 2544 -2340 2636 -2424 2288 2656 -2600 -2384 2404 -2508 -2456 2528 -2476 -2616 2636 2572 -2376 -2464 -2600 2468 2464 2280 2592 -2352 -2332 -2396 2600 2384 2648 2344 2616 2468 -2324 2348 -2496 -2392 2652 -2280 2408 2452 2344 2292 -2444 -2444 2436 2464 -2532 2584 -2320 2592 -2508 2472 2336 2532 -2652 2504 2436 -2304 -2392 -2384 2612 2400 2384 2376 2584 -2656 2608 -2656 2596 -2560 2384 -2528 -2304 -2540 2288 -2320 2320 -2340 2608 -2536 -2444 -2380 -2564 2416 2460 2424 -2292 2280 -2444 -2368 2320 2500 2612 -2464 -2636 -2616 -2432 2564 -2596 2500 -2652 -2540 -2492 -2656 -2412 -2572 2280 -2452 -2420 -2508 -2420 -2656 -2324 2340 -2372 -2540 -2560 -2540 2332 2608 -2380 -2544 2384 2424 2332 2292 -2580 -2448 -2536 2564 2280 -2396 -2288 2392 -2296 2564 -2368 -2608 -2328 -2528 -2504 -2520 -2524 -2508 -2360 2596 2496 2584 -2616 2292 -2500 -2360 -2332 -2556 -2500 -2424 2292 -2544 2656 -2336 2600 2496 2596 -2360 -2284 -2636 -2416 -2344 -2592 -2308 -2636 -2452 -2308 2524 -2420 2600 -2564 -2616 -2648 -2376 2444 2584 -2596 -2592 2304 2588 2600 2280 -2392 2396 -2320 2372 -2416 2540 -2524 -2528 -2532 2612 -2596 2320 2380 2540 2324 2280 2400 -2612 -2368 -2280 -2424 -2392 -2348 2436 -2504 -2364 -2384 -2320 2612 -2560 -2412 -2448 2328 -2484 2468 2448 2324 2556 -2448 2592 2588 -2616 2508 -2360 -2352 -2608 -2340 2340 -2544 -2300 -2600 -2544 -2344 -2616 2288 2324 2360 -2532 -2520 2320 -2368 -2328 -2596 -2504 -2512 -2436 -2620 -2580 2540 2488 -2292 2572 -2336 -2552 -2500 -2320 2360 -2344 -2392 2428 -2452 2464 -2464 2384 -2604 -2396 -2452 2340 -2312 -2612 -2616 -2560 2620 -2472 2432 2512 -2504 2628 -2472 -2396 -2568 -2340 2500 -2360 -2452 -2600 2528 -2656 -2288 2332 -2296 2600 -2640 -2432 -2648 2460 2556 -2452 2492 -2520 2400 -2628 2624 2596 2616 -2452 -2292 2396 -2492 2656 2460 -2356 2548 -2580 -2340 -2588 -2476 -2656 -2580 -2452 -2340 2564 2540 -2476 2480 -2428 -2356 -2560 2280 -2616 2452 2484 2552 -2420 2320 2516 2568 2516 -2500 -2496 -2348 -2444 2504 -2452 -2368 2608 2528 -2332 -2616 2352 2364 -2452 2580 2280 -2520 -2516 -2524 2348 2524 -2320 -2320 2572 2576 2476 2456 -2388 -2508 2280 -2616 -2504 2588 -2464 -2564 -2392 -2464 2548 2444 -2616 -2656 -2328 2584 2504 2532 -2556 -2428 2492 2460 2620 -2476 2396 -2612 -2504 -2508 2328 -2356 2472 -2288 2476 2604 -2584 -2344 2548 2372 2384 -2556 -2436 -2616 -2612 -2656 -2424 2592 2620 -2512 -2604 2532 2624 -2616 -2484 2528 2320 2400 2640 -2560 2580 -2556 -2316 -2540 -2456 -2496 2440 -2552 -2284 -2608 -2556 -2524 -2516 2380 -2292 -2648 -2324 -2304 -2344 2588 -2656 -2504 -2616 2376 -2408 -2340 2576 2616 2284 2492 -2648 2344 2364 2424 2656 -2320 2320 2492 -2616 -2404 2332 2548 2408 -2320 2600 -2280 -2380 -2636 -2384 2516 2280 2548 -2536 -2604 -2644 -2424 -2380 -2376 2320 -2336 -2424 2360 -2376 2336 2540 2592 2428 -2656 -2616 2596 -2536 2524 2580 -2644 -2592 -2608 -2300 -2392 2596 2552 -2560 -2476 -2452 2436 -2628 -2320 -2460 -2332 -2560 -2464 2324 -2520 -2656 2324 -2656 2592 -2296 2304 2316 -2488 2504 2524 2604 -2316 2320 2396 -2348 -2364 2348 -2404 -2596 2504 -2608 2460 -2508 2440 2396 -2344 -2608 -2476 -2632 2616 -2492 -2328 -2448 -2612 -2496 -2376 2460 2616 -2452 -2592 -2316 -2488 2532 -2596 -2488 2388 -2460 -2568 -2504 -2600 2632 -2440 2556 -2368 2484 -2396 -2616 -2412 2312 -2548 -2448 2612 -2636 -2564 2536 2368 -2320 -2640 2360 -2512 -2388 2540 -2336 2596 -2320 2332 -2560 -2612 -2484 -2388 -2616 2564 2520 -2524 2508 2468 -2364 -2496 2468 2528 -2604 -2432 2612 2396 2340 2560 -2396 2524 2280 2492 2356 -2464 -2544 2576 -2620 -2632 2440 -2492 2580 -2356 2524 -2384 2492 -2624 -2476 -2332 2280 -2376 -2472 -2380 -2436 2344 -2524 2320 -2328 2544 2464 2336 -2656 2628 -2612 2524 -2576 -2356 2412 -2340 2408 2556 2616 -2352 2552 2320 -2496 -2656 -2456 2528 2484 2492 2336 -2492 -2368 -2588 2512 -2616 2548 -2548 -2524 2596 2504 2416 2568 -2536 -2292 -2624 2448 2608 2564 2444 -2452 -2656 -2400 -2584 -2320 -2588 -2400 -2384 -2312 -2492 -2356 2400 2400 -2396 -2636 2596 -2488 -2452 -2408 2592 -2352 2564 -2576 -2476 -2440 -2492 -2600 -2352 -2584 2404 -2548 -2656 2308 -2292 -2504 -2508 -2320 -2656 2320 -2632 -2616 2608 -2656 2356 2588 -2436 2580 2388 2628 -2636 -2596 -2292 -2396 2400 -2444 -2520 -2392 2320 2356 -2624 2384 2636 2280 2400 -2476 -2556 2280 -2584 -2552 -2400 2588 2624 2284 2604 -2472 -2344 -2284 -2628 -2360 2488 -2484 -2656 -2300 2448 -2364 -2396 -2344 2616 -2388 2300 2344 -2328 -2600 -2352 2524 -2624 -2580 2636 -2544 -2600 2512 2344 2532 2540 -2332 -2644 -2348 -2368 2532 -2484 -2372 2308 -2568 -2376 -2336 2280 2360 -2436 -2320 -2644 -2616 2496 -2496 -2544 2516 2604 -2596 -2388 -2596 -2600 -2432 -2580 2584 -2584 -2520 -2596 2460 -2352 2372 -2336 -2632 2652 -2388 -2544 2332 2528 -2636 2280 -2400 -2336 2352 -2320 2452 2524 -2640 2632 -2468 -2620 -2576 2492 -2640 2464 -2464 -2536 -2520 2472 -2656 -2656 -2608 -2408 -2352 -2444 -2636 2616 -2580 2372 2452 -2612 -2640 -2280 -2344 -2280 2284 -2656 2576 -2460 -2460 2424 -2288 2356 2436 2432 -2456 -2388 -2280 2564 -2428 -2492 -2652 2372 -2656 -2512 2356 -2400 -2560 -2372 2556 -2376 -2488 2360 -2332 -2580 2548 -2536 2488 -2524 -2300 2616 -2320 2652 2412 -2412 -2512 -2576 -2280 -2440 2416 2320 2596 -2400 -2280 -2540 -2616 -2456 -2472 2460 -2320 -2320 2460 -2280 -2304 -2396 -2640 -2616 -2480 -2616 2584 -2424 2608 2612 2412 -2616 -2596 2280 2364 2592 -2280 -2480 -2636 -2452 2428 -2436 2500 2500 -2332 2496 -2532 -2432 -2420 -2596 -2496 2552 2628 2320 -2528 -2312 2508 -2432 -2604 -2556 -2596 -2412 -2636 -2540 2584 2324 -2572 2620 -2468 -2428 -2344 2600 -2600 -2320 -2324 -2292 2532 2320 -2456 2624 -2300 -2616 -2524 2412 2516 -2424 -2568 2492 -2380 -2512 2384 -2656 -2400 -2280 2468 -2596 2456 -2644 2592 2588 2644 2432 -2460 -2620 2592 -2396 2432 -2560 -2656 2548 2468 -2644 -2448 2580 -2328 -2316 2360 -2444 -2496 -2476 -2336 -2500 2616 2372 -2580 -2604 2296 -2656 -2448 2504 2492 2448 -2616 2600 -2532 -2588 -2604 -2604 -2604 -2640 2596 2424 2300 -2656 2608 -2628 2416 2580 2544 -2528 -2644 -2472 -2352 -2452 -2544 -2460 -2656 -2324 -2648 -2324 -2348 2320 -2644 -2648 -2592 -2280 2564 -2372 2340 -2616 -2588 -2656 2548 -2512 -2328 -2536 -2640 -2504 -2656 -2552 2596 -2564 -2408 2492 -2360 -2544 2600 -2568 2644 2400 2348 -2648 2412 -2580 2540 -2604 -2540 -2304 -2572 2292 2384 -2412 -2568 -2292 -2304 -2516 2336 -2456 2388 -2636 -2656 -2648 -2536 2408 2640 2436 2424 2552 -2624 -2344 -2600 2520 -2604 -2480 -2512 2348 -2432 -2384 -2616 2280 -2380 -2448 -2280 -2556 -2320 -2540 2360 -2464 -2432 -2284 -2564 -2564 -2376 -2472 -2604 -2484 2280 2524 -2548 -2500 2612 2560 -2568 2568 -2592 -2368 -2320 2448 -2616 -2572 -2284 -2376 -2540 -2580 2564 2440 2556 -2536 2452 -2468 -2548 -2656 -2536 -2324 -2488 -2484 2412 2600 -2632 -2576 -2536 -2280 -2628 -2596 2508 -2336 2648 2648 2404 2332 2656 -2416 -2332 -2608 -2480 -2384 2628 -2488 2520 2548 -2616 2600 -2400 -2616 2588 -2412 2612 -2544 -2568 2572 2324 -2656 -2304 -2416 -2516 -2584 2432 2584 -2380 2332 2652 2564 -2472 -2512 -2356 -2304 2536 -2652 -2432 -2388 2480 2340 2372 -2608 -2504 -2456 2480 2320 -2296 -2364 2524 -2292 2596 2588 -2436 -2296 2436 -2496 2448 -2344 -2316 -2404 2520 2348 2280 -2648 -2476 -2560 2376 -2424 -2520 -2480 -2544 -2332 -2392 2624 2608 2320 2372 2296 -2468 -2624 2656 -2300 -2344 -2488 2484 -2284 2572 2308 -2548 -2508 2280 2512 2348 2320 -2280 2592 -2316 -2608 2632 2648 -2340 2348 -2656 -2644 -2332 -2572 -2392 2416 -2528 2344 -2380 2360 2424 2480 -2500 2456 -2512 -2460 -2288 -2316 -2304 2280 2484 2584 -2504 -2496 -2412 2440 -2484 2652 -2424 -2388 -2644 -2376 -2424 -2388 -2548 -2368 -2320 -2564 2572 -2548 -2528 -2384 -2308 -2532 2640 2320 2452 2652 -2584 -2336 -2512 -2344 2616 2472 2508 2556 2512 -2340 -2344 -2612 2424 2556 2656 2552 2480 -2368 -2340 -2448 -2436 -2656 2436 -2628 -2280 2316 -2472 2372 2404 -2392 -2656 2460 -2596 -2420 -2564 -2568 -2320 -2532 2324 2556
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-201691-1168290508 -o ROOT/results/node17/solver-201691-1168290508 -C 1800 -M 900 /tmp/evaluation/201691-1168290508/solver2 /tmp/evaluation/201691-1168290508/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.03 2.01 1.84 5/87 15603
/proc/meminfo: memFree=1371216/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=0
/proc/15602/stat : 15602 (solver2) R 15600 15602 12640 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 177445806 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482711711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15602/statm: 1338 231 193 169 0 49 0
[pid=15604] ppid=15602 vsize=5352 CPUtime=0
/proc/15604/stat : 15604 (solver2) R 15602 15602 12640 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 177445806 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482711711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15604/statm: 1338 231 193 169 0 49 0
[startup+0.104657 s]
/proc/loadavg: 2.03 2.01 1.84 5/87 15603
/proc/meminfo: memFree=1371216/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=0
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 353 334 0 0 0 0 0 0 21 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.512702 s]
/proc/loadavg: 2.03 2.01 1.84 5/87 15603
/proc/meminfo: memFree=1371216/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=0.39
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 376 2630 0 0 0 0 34 5 15 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 5352
[startup+1.33379 s]
/proc/loadavg: 2.03 2.01 1.84 3/88 15615
/proc/meminfo: memFree=1332488/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=0.39
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 376 2630 0 0 0 0 34 5 15 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
[pid=15615] ppid=15602 vsize=40328 CPUtime=0.89
/proc/15615/stat : 15615 (bordewijk) R 15602 15602 12640 0 -1 4194304 9573 0 0 0 82 7 0 0 25 0 1 0 177445848 41295872 9545 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 2976884 0 0 4096 0 0 0 0 17 1 0 0
/proc/15615/statm: 10082 9545 204 97 0 9363 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 45680
[startup+2.97096 s]
/proc/loadavg: 2.03 2.01 1.84 3/88 15615
/proc/meminfo: memFree=1282440/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=0.39
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 376 2630 0 0 0 0 34 5 15 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
[pid=15615] ppid=15602 vsize=84556 CPUtime=2.51
/proc/15615/stat : 15615 (bordewijk) R 15602 15602 12640 0 -1 4194304 22354 0 0 0 232 19 0 0 25 0 1 0 177445848 86585344 20617 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134589862 0 0 4096 0 0 0 0 17 1 0 0
/proc/15615/statm: 21139 20617 211 97 0 20420 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 89908
[startup+6.2653 s]
/proc/loadavg: 2.02 2.01 1.84 3/88 15615
/proc/meminfo: memFree=1215232/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=0.39
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 376 2630 0 0 0 0 34 5 15 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
[pid=15615] ppid=15602 vsize=127292 CPUtime=5.77
/proc/15615/stat : 15615 (bordewijk) R 15602 15602 12640 0 -1 4194304 36132 0 0 0 320 257 0 0 25 0 1 0 177445848 130347008 30844 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15615/statm: 31823 30844 217 97 0 31104 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 132644
[startup+12.722 s]
/proc/loadavg: 2.02 2.01 1.84 3/88 15616
/proc/meminfo: memFree=1305608/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=7.01
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 397 38763 0 0 0 0 360 341 16 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
[pid=15616] ppid=15602 vsize=47764 CPUtime=5.54
/proc/15616/stat : 15616 (standalone) R 15602 15602 12640 0 -1 4194304 11595 0 0 0 478 76 0 0 25 0 1 0 177446518 48910336 11011 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4119612365 0 0 4096 0 0 0 0 17 1 0 0
/proc/15616/statm: 11941 11011 137 64 0 11256 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 53116
[startup+25.5503 s]
/proc/loadavg: 2.10 2.02 1.85 3/88 16296
/proc/meminfo: memFree=1412544/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=7.01
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 397 38763 0 0 0 0 360 341 16 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
[pid=15616] ppid=15602 vsize=47764 CPUtime=18.29
/proc/15616/stat : 15616 (standalone) R 15602 15602 12640 0 -1 4194304 11595 0 0 0 1749 80 0 0 25 0 1 0 177446518 48910336 11011 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4119803192 0 0 4096 0 0 0 0 17 0 0 0
/proc/15616/statm: 11941 11011 137 64 0 11256 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 53116
[startup+51.207 s]
/proc/loadavg: 2.13 2.04 1.85 3/88 16297
/proc/meminfo: memFree=1383240/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=7.01
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 397 38763 0 0 0 0 360 341 16 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
[pid=15616] ppid=15602 vsize=47764 CPUtime=43.91
/proc/15616/stat : 15616 (standalone) R 15602 15602 12640 0 -1 4194304 11595 0 0 0 4309 82 0 0 25 0 1 0 177446518 48910336 11011 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 134555360 0 0 4096 0 0 0 0 17 0 0 0
/proc/15616/statm: 11941 11011 137 64 0 11256 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 53116
[startup+102.505 s]
/proc/loadavg: 2.10 2.04 1.86 3/88 16297
/proc/meminfo: memFree=1383496/2055920 swapFree=4192812/4192956
[pid=15602] ppid=15600 vsize=5352 CPUtime=7.01
/proc/15602/stat : 15602 (solver2) S 15600 15602 12640 0 -1 4194304 397 38763 0 0 0 0 360 341 16 0 1 0 177445806 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15602/statm: 1338 242 203 169 0 49 0
[pid=15616] ppid=15602 vsize=47764 CPUtime=95.16
/proc/15616/stat : 15616 (standalone) R 15602 15602 12640 0 -1 4194304 11595 0 0 0 9434 82 0 0 25 0 1 0 177446518 48910336 11011 18446744073709551615 134512640 134775488 4294956896 18446744073709551615 4118386644 0 0 4096 0 0 0 0 17 0 0 0
/proc/15616/statm: 11941 11011 137 64 0 11256 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 53116
Child status: 0
Real time (s): 145.839
CPU time (s): 145.479
CPU user time (s): 141.21
CPU system time (s): 4.26935
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 132644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.21
system time used= 4.26935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51077
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= 557
involuntary context switches= 2309
runsolver used 0.172973 s user time and 0.481926 s system time
The end
Begin job on node17 on Mon Jan 8 21:08:30 UTC 2007
IDJOB= 201691
IDBENCH= 3778
FILE ID= node17/201691-1168290508
PBS_JOBID= 3501739
Free space on /tmp= 66265 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
COMMAND LINE= /tmp/evaluation/201691-1168290508/solver2 /tmp/evaluation/201691-1168290508/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-201691-1168290508 -o ROOT/results/node17/solver-201691-1168290508 -C 1800 -M 900 /tmp/evaluation/201691-1168290508/solver2 /tmp/evaluation/201691-1168290508/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 6d1268141c16c5921f55653855a956f2
RANDOM SEED= 902530528
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.236
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.236
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: 1371696 kB
Buffers: 75292 kB
Cached: 373168 kB
SwapCached: 0 kB
Active: 430412 kB
Inactive: 184560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1371696 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 13648 kB
Writeback: 0 kB
Mapped: 186592 kB
Slab: 53864 kB
Committed_AS: 5252808 kB
PageTables: 2460 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= 66260 MiB
End job on node17 on Mon Jan 8 21:10:56 UTC 2007