19.30 s SATISFIABLE
19.30 v -2632 2624 -2496 2280 -2604 2644 -2188 -2448 -2700 -2688 -2544 -2644 -2296 -2680 -2176 2276 -2588 -2660 -2128 -2672 -2700 -2700 -2468 2632 -2324 -2192 2612 -2316 2660 -2524 -2200 -2644 -2648 -2676 -2704 -2560 -2228 -2180 -2564 -2252 -2472 -2560 -2660 -2292 -2168 -2220 -2524 -2340 2720 -2552 -2660 -2428 -2700 -2604 2384 -2664 -2700 -2288 -2424 -2168 -2600 -2688 -2688 -2188 -2632 2604 2364 2620 -2136 -2240 -2668 -2660 -2636 2648 2660 -2220 -2504 -2300 2628 -2160 2356 -2680 -2324 -2260 -2512 -2632 2336 -2504 -2632 2380 -2648 2520 -2660 2564 2340 2584 -2628 2248 -2544 2396 2180 -2660 2644 2472 -2484 -2700 2376 -2228 -2684 -2604 -2700 2180 -2572 -2700 2256 -2592 2360 -2684 -2660 -2364 2208 -2544 -2700 2644 -2220 -2664 -2320 2672 -2644 -2684 -2604 2360 -2432 2660 -2300 -2512 2196 -2700 2672 -2336 -2156 2232 -2408 2660 -2296 -2456 2644 -2400 2592 2640
19.30 d CHECKS 1.39943e+07
19.30 d NODES 150
19.30
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-207737-1168183038 -o ROOT/results/node34/solver-207737-1168183038 -C 1800 -M 900 /tmp/evaluation/207737-1168183038/VALCSP /tmp/evaluation/207737-1168183038/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.90 2.00 1.99 5/80 10507
/proc/meminfo: memFree=1599624/2055920 swapFree=4192812/4192956
[pid=10506] ppid=10504 vsize=3856 CPUtime=0.09
/proc/10506/stat : 10506 (VALCSP) R 10504 10506 9954 0 -1 4194304 696 0 0 0 9 0 0 0 20 0 1 0 166697664 3948544 674 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530319 0 0 4096 0 0 0 0 17 1 0 0
/proc/10506/statm: 964 674 64 8 0 636 0
[startup+0.210043 s]
/proc/loadavg: 1.90 2.00 1.99 5/80 10507
/proc/meminfo: memFree=1599624/2055920 swapFree=4192812/4192956
[pid=10506] ppid=10504 vsize=5044 CPUtime=0.2
/proc/10506/stat : 10506 (VALCSP) R 10504 10506 9954 0 -1 4194304 1017 0 0 0 20 0 0 0 20 0 1 0 166697664 5165056 995 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530192 0 0 4096 0 0 0 0 17 1 0 0
/proc/10506/statm: 1261 995 64 8 0 933 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5044
[startup+0.618074 s]
/proc/loadavg: 1.90 2.00 1.99 5/80 10507
/proc/meminfo: memFree=1599624/2055920 swapFree=4192812/4192956
[pid=10506] ppid=10504 vsize=9004 CPUtime=0.6
/proc/10506/stat : 10506 (VALCSP) R 10504 10506 9954 0 -1 4194304 1989 0 0 0 60 0 0 0 24 0 1 0 166697664 9220096 1967 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134531022 0 0 4096 0 0 0 0 17 1 0 0
/proc/10506/statm: 2251 1967 64 8 0 1923 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9004
[startup+1.43914 s]
/proc/loadavg: 1.90 2.00 1.99 3/80 10507
/proc/meminfo: memFree=1582088/2055920 swapFree=4192812/4192956
[pid=10506] ppid=10504 vsize=17848 CPUtime=1.42
/proc/10506/stat : 10506 (VALCSP) R 10504 10506 9954 0 -1 4194304 4189 0 0 0 141 1 0 0 25 0 1 0 166697664 18276352 4167 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530948 0 0 4096 0 0 0 0 17 1 0 0
/proc/10506/statm: 4462 4167 64 8 0 4134 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 17848
[startup+3.08627 s]
/proc/loadavg: 1.90 2.00 1.99 3/80 10507
/proc/meminfo: memFree=1566344/2055920 swapFree=4192812/4192956
[pid=10506] ppid=10504 vsize=37516 CPUtime=3.07
/proc/10506/stat : 10506 (VALCSP) R 10504 10506 9954 0 -1 4194304 9122 0 0 0 303 4 0 0 25 0 1 0 166697664 38416384 9100 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530957 0 0 4096 0 0 0 0 17 1 0 0
/proc/10506/statm: 9379 9100 64 8 0 9051 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 37516
[startup+6.36554 s]
/proc/loadavg: 1.91 2.00 1.99 3/80 10507
/proc/meminfo: memFree=1511048/2055920 swapFree=4192812/4192956
[pid=10506] ppid=10504 vsize=73948 CPUtime=6.33
/proc/10506/stat : 10506 (VALCSP) R 10504 10506 9954 0 -1 4194304 18224 0 0 0 625 8 0 0 25 0 1 0 166697664 75722752 18202 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530234 0 0 4096 0 0 0 0 17 1 0 0
/proc/10506/statm: 18487 18202 64 8 0 18159 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 73948
[startup+12.8281 s]
/proc/loadavg: 1.84 1.98 1.99 3/84 10558
/proc/meminfo: memFree=1414304/2055920 swapFree=4192812/4192956
[pid=10506] ppid=10504 vsize=148396 CPUtime=12.7
/proc/10506/stat : 10506 (VALCSP) R 10504 10506 9954 0 -1 4194304 36857 0 0 0 1254 16 0 0 25 0 1 0 166697664 151957504 36835 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530537 0 0 4096 0 0 0 0 17 1 0 0
/proc/10506/statm: 37099 36835 64 8 0 36771 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 148396
Child status: 0
Real time (s): 19.3504
CPU time (s): 19.1811
CPU user time (s): 18.8831
CPU system time (s): 0.297954
CPU usage (%): 99.1248
Max. virtual memory (cumulated for all children) (KiB): 223768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8831
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55708
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= 8
involuntary context switches= 539
runsolver used 0.014997 s user time and 0.06199 s system time
The end
Begin job on node34 on Sun Jan 7 15:17:19 UTC 2007
IDJOB= 207737
IDBENCH= 4309
FILE ID= node34/207737-1168183038
PBS_JOBID= 3479163
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test01/test01-0150-9.xml
COMMAND LINE= /tmp/evaluation/207737-1168183038/VALCSP /tmp/evaluation/207737-1168183038/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-207737-1168183038 -o ROOT/results/node34/solver-207737-1168183038 -C 1800 -M 900 /tmp/evaluation/207737-1168183038/VALCSP /tmp/evaluation/207737-1168183038/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= 1ea2073ca53e8d5ab77539c3dac5b806
RANDOM SEED= 127923444
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: 1600040 kB
Buffers: 36584 kB
Cached: 283900 kB
SwapCached: 0 kB
Active: 237700 kB
Inactive: 151144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1600040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2276 kB
Writeback: 0 kB
Mapped: 87780 kB
Slab: 52416 kB
Committed_AS: 3636768 kB
PageTables: 1892 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= 66543 MiB
End job on node34 on Sun Jan 7 15:17:39 UTC 2007