0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/210248-1168196089/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.53 nbVariables=570 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.142 cpuTime=0.12 mem=8M25
0.53
0.53 predicates being loaded...
0.55
0.55 constraints being loaded...
0.82 nbConstraints=438 nbConflictsStructures=3 nbSharedConflictsStructures=396 nbUnbuiltConflictsStructures=2
0.82 nbSharedBinaryRepresentations=0 nbEvaluationManagers=5 nbSharedEvaluationManagers=433 maxDegree=20 maxArity=20
0.82 => wckTime=0.426 cpuTime=0.32 mem=23M661
0.87
0.87 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.708 cpuTime=0.51 mem=26M918
2.18
2.18 preprocessing
2.18 nbConstraintChecks=527894 nbValidityChecks=20017 nbPropagations=1430 nbRevisions=11631 nbUselessRevisions=11341
2.18 nbSingletonTests=570 nbEffectiveSingletonTests=0 nbESACBranches=1 nbRemovedValues=0 detectedInconsistency=no
2.18 => wckTime=1.072 cpuTime=1.04 mem=27M894
2.18
2.18 global
2.18 nbConstraintChecks=527894 nbValidityChecks=20017 nbPropagations=1430 nbRevisions=11631 nbUselessRevisions=11341
2.18 nbRestartNogoods=0 solvingWckTime=1.074 solvingCpuTime=1.05 expiredTime=no totalExploration=no
2.18 nbFoundSolutions=1 globalCpuTime=1.61
2.18 => wckTime=1.784 cpuTime=1.56 mem=27M894
2.18
2.18 s SATISFIABLE
2.18 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
2.18 d NODES 0
2.18 d CHECKS 527894
2.18
2.18 totalWckTime=1.861 totalCpuTime=1.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-210248-1168196089 -o ROOT/results/node22/solver-210248-1168196089 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210248-1168196089/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: 0.92 1.01 1.31 2/78 11939
/proc/meminfo: memFree=1657136/2055920 swapFree=4157532/4192956
[pid=11938] ppid=11936 vsize=168 CPUtime=0
/proc/11938/stat : 11938 (java) R 11936 11938 10446 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 168003396 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4678436 0 0 4096 0 0 0 0 17 1 0 0
/proc/11938/statm: 42 23 18 14 0 2 0
[startup+0.101848 s]
/proc/loadavg: 0.92 1.01 1.31 2/78 11939
/proc/meminfo: memFree=1657136/2055920 swapFree=4157532/4192956
[pid=11938] ppid=11936 vsize=47892 CPUtime=0
/proc/11938/stat : 11938 (java) D 11936 11938 10446 0 -1 0 1219 0 1 0 0 0 0 0 18 0 1 0 168003396 49041408 968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/11938/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892
[startup+0.509911 s]
/proc/loadavg: 0.92 1.01 1.31 2/78 11939
/proc/meminfo: memFree=1657136/2055920 swapFree=4157532/4192956
[pid=11938] ppid=11936 vsize=915328 CPUtime=0.4
/proc/11938/stat : 11938 (java) R 11936 11938 10446 0 -1 0 6108 0 1 0 35 5 0 0 16 0 8 0 168003396 937295872 5847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073542797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 228832 5848 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33103 s]
/proc/loadavg: 0.92 1.01 1.31 2/85 11946
/proc/meminfo: memFree=1621048/2055920 swapFree=4157532/4192956
[pid=11938] ppid=11936 vsize=915560 CPUtime=1.22
/proc/11938/stat : 11938 (java) R 11936 11938 10446 0 -1 0 11730 0 1 0 112 10 0 0 17 0 8 0 168003396 937533440 11468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073710450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11938/statm: 228890 11468 2539 14 0 215360 0
[pid=11938/tid=11940] ppid=11936 vsize=915560 CPUtime=0.04
/proc/11938/task/11940/stat : 11940 (java) S 11936 11938 10446 0 -1 64 561 0 0 0 4 0 0 0 16 0 8 0 168003408 937533440 11468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11938/tid=11941] ppid=11936 vsize=915560 CPUtime=0
/proc/11938/task/11941/stat : 11941 (java) S 11936 11938 10446 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168003409 937533440 11468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11938/tid=11942] ppid=11936 vsize=915560 CPUtime=0
/proc/11938/task/11942/stat : 11942 (java) S 11936 11938 10446 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168003409 937533440 11468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11938/tid=11943] ppid=11936 vsize=915560 CPUtime=0
/proc/11938/task/11943/stat : 11943 (java) S 11936 11938 10446 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168003412 937533440 11468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11938/tid=11944] ppid=11936 vsize=915560 CPUtime=0.21
/proc/11938/task/11944/stat : 11944 (java) S 11936 11938 10446 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 168003412 937533440 11468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11938/tid=11945] ppid=11936 vsize=915560 CPUtime=0
/proc/11938/task/11945/stat : 11945 (java) S 11936 11938 10446 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168003412 937533440 11468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11938/tid=11946] ppid=11936 vsize=915560 CPUtime=0
/proc/11938/task/11946/stat : 11946 (java) S 11936 11938 10446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168003412 937533440 11468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915560
Child status: 0
Real time (s): 2.20557
CPU time (s): 2.09268
CPU user time (s): 1.9767
CPU system time (s): 0.115982
CPU usage (%): 94.8816
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9767
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11834
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 851
involuntary context switches= 137
runsolver used 0.006998 s user time and 0.006998 s system time
The end
Begin job on node22 on Sun Jan 7 18:54:50 UTC 2007
IDJOB= 210248
IDBENCH= 4605
FILE ID= node22/210248-1168196089
PBS_JOBID= 3479377
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-20-19.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210248-1168196089/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-210248-1168196089 -o ROOT/results/node22/solver-210248-1168196089 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210248-1168196089/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e422289bc6969984a6f7ba5d137fd82b
RANDOM SEED= 441467275
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.279
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.279
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: 1657552 kB
Buffers: 38780 kB
Cached: 252844 kB
SwapCached: 11248 kB
Active: 105648 kB
Inactive: 221520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1657552 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 53248 kB
Slab: 56628 kB
Committed_AS: 3026868 kB
PageTables: 1916 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= 66554 MiB
End job on node22 on Sun Jan 7 18:54:52 UTC 2007