c
c
c
c solution file
c
c
SAT
2540 -2556 2136 2580 2668 -2560 2556 -2112 -2624 -2716 -2488 2656 -2184 -2256 -2640 -2588 -2696 -2264 -2352 2628 -2544 -2488 -2600 -2312 -2484 -2600 -2020 -2512 -2480 -2600 -2584 2120 -2136 -2660 2268 -2232 -2020 -2652 -2684 -2452 2248 -2644 -2208 -2440 -2600 2360 -2396 -2492 -2588 -2524 -2092 -2560 -2520 2068 -2580 -2340 -2228 -2552 2260 2140 -2280 -2224 -2448 -2188 -2664 -2364 2020 -2524 -2544 -2664 -2520 2304 -2192 2296 -2288 2160 -2312 -2512 -2628 -2680 -2476 -2648 -2716 -2208 2528 2572 2020 -2640 2152 -2348 -2584 2544 2384 -2468 2160 2652 -2612 2604 -2160 -2568 2020 -2656 2636 -2252 2688 -2588 2608 2212 -2368 -2684 -2680 -2456 -2240 -2684 -2584 -2084 -2592 2052 2212 -2404 -2620 2480 -2292 -2648 2496 -2644 -2628 -2280 2260 -2560 -2544 -2252 2556 -2676 -2116 -2344 -2564 2584 -2684 2268 2444 -2100 -2176 -2604 2060 -2588 -2504 -2272 -2556 -2060 -2624 -2100 -2688 2176 -2484 2332 -2704 -2652 -2692 -2648 -2644 -2640 -2636 -2612 -2704 -2616 2320 -2568 -2348 2192 -2172 2580 -2676 2160 2240 -2440 -2524 -2660 -2268 -2540 -2492 -2056 2668 -2520 -2588 -2328 -2192 -2656 -2344 -2036 -2400 -2228 -2568 2648 -2308 -2408 -2672 -2256 -2484 2288 -2592 -2668 -2324 -2460 -2540 -2256 2060 -2092 -2628 2364 -2160 -2540 2232 2456 -2172 -2480 -2468 2152 -2624 -2092 -2432 -2132 -2580 -2280 2036 -2276 -2304 -2620 -2372 -2600 2120 -2392 -2692 -2636 2580 -2640 -2200 -2124 -2220 2584 -2444 -2224 -2544 2376 -2256 -2532 -2204 -2620 -2328 -2688 -2164 -2704 2472 -2536 -2700 2200 -2560 -2504 -2452 -2060 -2360 -2676 -2148 2664 -2656 2620 2476 2076 -2020 -2620 -2672 -2656 2548 -2060 -2668 -2528 2360 2540 -2640 2192 -2496 -2500 -2020 2652 -2580 2252 -2684 -2576 -2368 2460 2528 2648 -2620 -2224 -2524 -2612 -2508 2560 -2660 -2616 -2460 -2308 -2364 -2228 -2616 -2564 -2692 -2516 -2696 -2348 2160 -2560 -2288 -2564 -2528 -2500 -2288 2536 2320 -2264 -2588 2328 -2640 -2264 -2596 2588 -2160 -2704 2488 -2124 -2320 -2576 -2324 -2664 2400 2144 -2244 -2584 -2604 -2332 2076 -2432 -2644 2508 2132 -2488 -2148 2580 -2260 2644 2644 -2696 -2684 -2648 2268 -2400 2060 -2228 -2108 2376 -2580 2360 -2680 2060 2300 -2328 2616 -2516 -2536 -2640 2244 2432 -2440 -2484 -2676 -2272 -2524 -2320 -2656 -2540 -2240 2496 2492 -2620 -2200 -2648 -2280 -2524 2020 -2500 -2260 2624 2400 -2600 2376 2500 2296 -2648 2368 2308 -2316 2020 2648 2416 2156 -2428 2628 2488 -2284 -2540 2676 -2236 2660 -2640 2600 -2560 -2092 -2444 2448 -2660 -2656 -2716 -2684 -2476 2436 2628 2436 2060 -2688 2656 -2640 2172 -2120 -2440 -2532 -2640 2072 -2236 -2540 -2540 -2276 -2520 -2224 -2224 -2408 -2560 -2176 -2632 -2680 -2540 -2028 -2584 -2644 -2660 -2192 -2420 -2580 -2620 -2304 -2436 2604 -2384 -2688 2120 -2572 -2620 -2240 -2408 -2644 2660 -2512 2412 -2520 2628 -2548 -2580 -2528 -2356 -2220 -2664 -2276 2204 2580 -2288 2328 2112 -2488 2176 -2536 -2220 -2616 -2628 -2588 -2644 2276 -2472 2388 -2664 2676 -2344 -2252 -2436 -2520 -2476 -2492 2020 -2204 -2640 2488 -2600 2700 -2324 -2240 -2596 -2232 -2520 -2308 -2336 -2460 -2336 -2268 -2060 -2520 -2248 -2624 2388 -2656 -2412 2484 2532 -2384 -2272 2552 -2132 -2604 -2648 -2560 2592 -2580 2364 -2588 -2348 -2612 -2628 -2176 -2628 2096 -2628 -2472 2624 2440 -2068 -2580 -2636 -2240 2592 -2084 2560 2292 -2488 2180 -2624 -2336 -2640 -2320 2484 2160 2248 -2488 2508 2292 -2248 -2316 -2628 2516 2036 -2400 2232 -2616 -2344 -2136 -2216 -2280 -2624 2400 -2468 -2200 2472 -2528 2432 2448 -2512 -2664 -2280 -2472 2660 -2532 -2476 -2264 2320 2208 2664 -2684 2072 -2360 2508 -2520 -2216 -2560 -2672 -2296 2584 -2688 -2424 -2636 -2188 -2232 -2060 -2308 -2492 -2464 -2528 2612 2084 2608 -2700 -2696 -2464 2496 -2500 2600 -2696 -2572 -2504 -2428 -2580 2356 -2660 2132 2556 -2528 -2580 2120 2360 -2160 -2600 -2588 -2312 -2652 2264 2616 -2528 -2688 -2564 -2188 2576 -2396 -2296 2632 -2360 -2504 -2160 2540 -2108 -2160 -2340 -2408 -2660 -2308 2456 -2480 -2200 -2640 2124 -2612 -2572 -2340 2632 -2520 -2308 -2548 -2320 2384 -2680 -2200 -2136 -2392 2132 2148 -2368 -2580 -2060 -2680 -2216 2608 -2220 -2560 -2344 -2448 -2092 -2360 -2684 2428 2592 -2280 -2304 2120 2184 -2268 -2220 -2076 -2484 -2656 2524 -2372 -2120 2052 -2544 -2544 -2644 -2320 -2596 -2264 -2436 -2688 2184 -2212 2028 2300 -2424 -2232 2052 2092 -2624 2404 2076 -2036 -2628 -2272 -2684 -2632 -2628 2516 2324 2160 -2644 -2644 -2552 2600 -2120 2380 -2260 2580 2564 -2164 2544 -2560 2224 -2620 -2596 -2440 -2124 -2676 2656 2716 -2504 2248 -2684 -2596 -2564 2640 -2472 -2620 -2272 -2700 -2696 -2620 2600 -2232 2532 -2588 -2620 2632 -2496 -2680 -2576 -2488 -2424 -2336 -2556 -2380 -2316 -2496 -2620 -2628 2652 -2696 -2272 2320 -2688
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-196543-1168284459 -o ROOT/results/node1/solver-196543-1168284459 -C 1800 -M 900 /tmp/evaluation/196543-1168284459/solver /tmp/evaluation/196543-1168284459/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
/proc/loadavg: 2.14 2.03 1.95 5/87 12895
/proc/meminfo: memFree=1310160/2055920 swapFree=4165612/4192956
[pid=12894] ppid=12892 vsize=18540 CPUtime=0
/proc/12894/stat : 12894 (runsolver) R 12892 5779 5779 0 -1 4194368 8 0 0 0 0 0 0 0 19 0 1 0 176841771 18984960 277 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 259362150618 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12894/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108194 s]
/proc/loadavg: 2.14 2.03 1.95 5/87 12895
/proc/meminfo: memFree=1310160/2055920 swapFree=4165612/4192956
[pid=12894] ppid=12892 vsize=5352 CPUtime=0
/proc/12894/stat : 12894 (solver) S 12892 12894 5779 0 -1 4194304 354 334 0 0 0 0 0 0 21 0 1 0 176841771 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12894/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.516246 s]
/proc/loadavg: 2.14 2.03 1.95 5/87 12895
/proc/meminfo: memFree=1310160/2055920 swapFree=4165612/4192956
[pid=12894] ppid=12892 vsize=5352 CPUtime=0.19
/proc/12894/stat : 12894 (solver) S 12892 12894 5779 0 -1 4194304 376 2376 0 0 0 0 17 2 15 0 1 0 176841771 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12894/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5352
[startup+1.33735 s]
/proc/loadavg: 2.14 2.03 1.95 3/88 12907
/proc/meminfo: memFree=1272968/2055920 swapFree=4165612/4192956
[pid=12894] ppid=12892 vsize=5352 CPUtime=0.19
/proc/12894/stat : 12894 (solver) S 12892 12894 5779 0 -1 4194304 376 2376 0 0 0 0 17 2 15 0 1 0 176841771 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12894/statm: 1338 242 203 169 0 49 0
[pid=12907] ppid=12894 vsize=47412 CPUtime=1.1
/proc/12907/stat : 12907 (bordewijk) R 12894 12894 5779 0 -1 4194304 13020 0 0 0 100 10 0 0 25 0 1 0 176841793 48549888 11147 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12907/statm: 11853 11147 217 97 0 11134 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 52764
[startup+2.98153 s]
/proc/loadavg: 2.13 2.03 1.95 3/88 12907
/proc/meminfo: memFree=1255176/2055920 swapFree=4165612/4192956
[pid=12894] ppid=12892 vsize=5352 CPUtime=2.5
/proc/12894/stat : 12894 (solver) S 12892 12894 5779 0 -1 4194304 396 15397 0 0 0 0 124 126 16 0 1 0 176841771 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12894/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 5352
Child status: 0
Real time (s): 4.15248
CPU time (s): 4.10937
CPU user time (s): 2.53261
CPU system time (s): 1.57676
CPU usage (%): 98.962
Max. virtual memory (cumulated for all children) (KiB): 52764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.53261
system time used= 1.57676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20266
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= 243
involuntary context switches= 352
runsolver used 0.007998 s user time and 0.014997 s system time
The end
Begin job on node1 on Mon Jan 8 19:27:40 UTC 2007
IDJOB= 196543
IDBENCH= 3357
FILE ID= node1/196543-1168284459
PBS_JOBID= 3501625
Free space on /tmp= 66290 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp06-10/fapp09/fapp09-0800-4.xml
COMMAND LINE= /tmp/evaluation/196543-1168284459/solver /tmp/evaluation/196543-1168284459/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-196543-1168284459 -o ROOT/results/node1/solver-196543-1168284459 -C 1800 -M 900 /tmp/evaluation/196543-1168284459/solver /tmp/evaluation/196543-1168284459/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= 6ce7ac5fe2095794bf8df2c927925b53
RANDOM SEED= 883422744
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.234
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.234
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: 1310640 kB
Buffers: 70284 kB
Cached: 572164 kB
SwapCached: 3620 kB
Active: 328356 kB
Inactive: 355168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1310640 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 12468 kB
Writeback: 0 kB
Mapped: 52144 kB
Slab: 46356 kB
Committed_AS: 5466052 kB
PageTables: 2332 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= 66283 MiB
End job on node1 on Mon Jan 8 19:27:44 UTC 2007