0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/222065-1168263974/unknown.xml
0.36
0.36 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=106 nbDomainTypes=98 minDomainSize=1 maxDomainSize=6
0.43 => wckTime=0.125 cpuTime=0.1 mem=6M886
0.43
0.43 relations being loaded...
0.45
0.45 constraints being loaded...
0.61 nbConstraints=582 nbRelationTypes=158 nbSingletonDomainVariables=1 nbExtensionStructures=553
0.61 nbSharedExtensionStructures=29 nbConflictsStructures=553 nbSharedConflictsStructures=29
0.61 nbSharedBinaryRepresentations=4055 maxDegree=13 maxArity=2
0.61 => wckTime=0.305 cpuTime=0.21 mem=10M803
0.65
0.65 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.51 cpuTime=0.35 mem=14M919
0.86
0.86 preprocessing
0.86 nbConstraintChecks=7210 nbPropagations=1001 nbRevisions=2536 nbUselessRevisions=1515 nbSingletonTests=133
0.86 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=3 detectedInconsistency=no
0.86 => wckTime=0.052 cpuTime=0.03 mem=14M919
0.89
0.89 search
0.89 run=0 nbConstraintChecks=1765 nbPropagations=1235 nbRevisions=3173 nbUselessRevisions=1867 nbAssignments=47
0.89 nbFailedAssignments=3 nbBacktracks=12 nbVisitedNodes=54 nbRestartNogoods=0 mapSize=3 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.078 cpuTime=0.05 mem=14M919
0.90
0.90 search
0.90 run=1 nbConstraintChecks=4083 nbPropagations=2726 nbRevisions=7221 nbUselessRevisions=4243 nbAssignments=94
0.90 nbFailedAssignments=6 nbBacktracks=31 nbVisitedNodes=109 nbRestartNogoods=3 mapSize=9 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.088 cpuTime=0.05 mem=14M919
0.91
0.91 search
0.91 run=2 nbConstraintChecks=6320 nbPropagations=4471 nbRevisions=12114 nbUselessRevisions=7093 nbAssignments=140
0.91 nbFailedAssignments=11 nbBacktracks=58 nbVisitedNodes=163 nbRestartNogoods=5 mapSize=16 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.095 cpuTime=0.06 mem=14M919
0.92
0.92 search
0.92 run=3 nbConstraintChecks=11573 nbPropagations=6700 nbRevisions=19228 nbUselessRevisions=11265
0.92 nbAssignments=204 nbFailedAssignments=19 nbBacktracks=96 nbVisitedNodes=244 nbRestartNogoods=6 mapSize=32
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.104 cpuTime=0.06 mem=14M919
0.93
0.93 search
0.93 run=4 nbConstraintChecks=17197 nbPropagations=9481 nbRevisions=28649 nbUselessRevisions=16844
0.93 nbAssignments=307 nbFailedAssignments=28 nbBacktracks=171 nbVisitedNodes=364 nbRestartNogoods=7 mapSize=47
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.116 cpuTime=0.08 mem=14M919
0.94
0.94 search
0.94 run=5 nbConstraintChecks=23674 nbPropagations=12919 nbRevisions=40775 nbUselessRevisions=24075
0.94 nbAssignments=409 nbFailedAssignments=38 nbBacktracks=246 nbVisitedNodes=485 nbRestartNogoods=9 mapSize=64
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.131 cpuTime=0.09 mem=14M919
0.96
0.96 search
0.96 run=6 nbConstraintChecks=37175 nbPropagations=17545 nbRevisions=58403 nbUselessRevisions=34546
0.96 nbAssignments=561 nbFailedAssignments=62 nbBacktracks=359 nbVisitedNodes=684 nbRestartNogoods=11 mapSize=106
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.151 cpuTime=0.1 mem=14M919
0.99
0.99 search
0.99 run=7 nbConstraintChecks=55420 nbPropagations=23781 nbRevisions=83960 nbUselessRevisions=49926
0.99 nbAssignments=791 nbFailedAssignments=95 nbBacktracks=531 nbVisitedNodes=976 nbRestartNogoods=14 mapSize=164
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.174 cpuTime=0.12 mem=14M919
1.02
1.02 search
1.02 run=8 nbConstraintChecks=92073 nbPropagations=32899 nbRevisions=125000 nbUselessRevisions=74825
1.02 nbAssignments=1123 nbFailedAssignments=152 nbBacktracks=787 nbVisitedNodes=1429 nbRestartNogoods=18
1.02 mapSize=273 nbInferences=3 nbTooLargeKeys=0
1.03 => wckTime=0.213 cpuTime=0.16 mem=15M895
1.08
1.08 search
1.08 run=9 nbConstraintChecks=133108 nbPropagations=45554 nbRevisions=184707 nbUselessRevisions=111742
1.08 nbAssignments=1612 nbFailedAssignments=233 nbBacktracks=1175 nbVisitedNodes=2088 nbRestartNogoods=21
1.08 mapSize=421 nbInferences=3 nbTooLargeKeys=0
1.08 => wckTime=0.272 cpuTime=0.21 mem=15M895
1.11
1.11 search
1.11 run=10 nbConstraintChecks=145612 nbPropagations=59403 nbRevisions=249526 nbUselessRevisions=151923
1.11 nbAssignments=1864 nbFailedAssignments=252 nbBacktracks=1279 nbVisitedNodes=2362 nbRestartNogoods=25
1.11 mapSize=460 nbInferences=3 nbTooLargeKeys=0
1.11 => wckTime=0.3 cpuTime=0.23 mem=15M895
1.11
1.11 global
1.11 nbConstraintChecks=152822 nbPropagations=60404 nbRevisions=252062 nbUselessRevisions=153438 nbRestartNogoods=25
1.11 solvingWckTime=0.3 solvingCpuTime=0.23 expiredTime=no totalExploration=no nbFoundSolutions=1
1.11 globalCpuTime=0.62
1.11 => wckTime=0.812 cpuTime=0.58 mem=15M895
1.11
1.11 s SATISFIABLE
1.11 v 6 9 0 3 8 4 12 13 3 6 10 1 0 9 8 9 11 7 5 4 0 10 0 1 13 5 10 14 3 11 10 9 2 4 8 7 6 1 7 2 9 5 0 2 10 8 5 6 0 3 3 5 11 14 1 6 13 14 1 12 7 2 5 4 7 0 13 2 14 3 1 9 4 12 7 3 5 10 2 1 0 9 7 4 14 4 9 0 2 8 11 1 7 6 2 3 10 1 5 14 8 3 4 5 7 11
1.12 d NODES 1864
1.12 d CHECKS 152822
1.12
1.12 totalWckTime=0.888 totalCpuTime=0.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-222065-1168263974 -o ROOT/results/node41/solver-222065-1168263974 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222065-1168263974/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.12 1.64 1.74 3/65 2617
/proc/meminfo: memFree=1813712/2055920 swapFree=4191892/4192956
[pid=2616] ppid=2614 vsize=168 CPUtime=0
/proc/2616/stat : 2616 (java) R 2614 2616 1993 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 174796641 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 1962283 0 0 4096 0 0 0 0 17 1 0 0
/proc/2616/statm: 42 23 18 14 0 2 0
[startup+0.105047 s]
/proc/loadavg: 1.12 1.64 1.74 3/65 2617
/proc/meminfo: memFree=1813712/2055920 swapFree=4191892/4192956
[pid=2616] ppid=2614 vsize=914988 CPUtime=0.08
/proc/2616/stat : 2616 (java) R 2614 2616 1993 0 -1 0 3019 0 1 0 7 1 0 0 22 0 8 0 174796641 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2616/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513083 s]
/proc/loadavg: 1.12 1.64 1.74 3/65 2617
/proc/meminfo: memFree=1813712/2055920 swapFree=4191892/4192956
[pid=2616] ppid=2614 vsize=915328 CPUtime=0.49
/proc/2616/stat : 2616 (java) S 2614 2616 1993 0 -1 0 6377 0 1 0 44 5 0 0 16 0 8 0 174796641 937295872 6116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2616/statm: 228832 6116 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.17823
CPU time (s): 1.11183
CPU user time (s): 1.02184
CPU system time (s): 0.089986
CPU usage (%): 94.3644
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.02184
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8891
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= 901
involuntary context switches= 66
runsolver used 0.003999 s user time and 0.010998 s system time
The end
Begin job on node41 on Mon Jan 8 13:46:14 UTC 2007
IDJOB= 222065
IDBENCH= 5482
FILE ID= node41/222065-1168263974
PBS_JOBID= 3482659
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-15-106/bqwh-15-106-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222065-1168263974/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-222065-1168263974 -o ROOT/results/node41/solver-222065-1168263974 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222065-1168263974/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 59aecc988989f6dd3fdfdc5e42cfd367
RANDOM SEED= 548111656
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: 1814128 kB
Buffers: 47544 kB
Cached: 126616 kB
SwapCached: 396 kB
Active: 101036 kB
Inactive: 87944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1814128 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 23656 kB
Slab: 38756 kB
Committed_AS: 3456128 kB
PageTables: 1476 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= 66561 MiB
End job on node41 on Mon Jan 8 13:46:16 UTC 2007