0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/241528-1168375257/unknown.xml
0.37
0.37 domains being loaded...
0.40
0.40 variables being loaded...
0.45 nbVariables=141 nbDomainTypes=132 minDomainSize=1 maxDomainSize=7
0.45 => wckTime=0.139 cpuTime=0.12 mem=6M886
0.45
0.45 constraints being loaded...
0.48 nbConstraints=36 nbGlobalConstraints=36 nbSingletonDomainVariables=2 nbSharedBinaryRepresentations=0
0.48 maxDegree=2 maxArity=8
0.48 => wckTime=0.171 cpuTime=0.14 mem=7M861
0.52
0.52 solver IterativeSystematicSolver being built...
0.71 => wckTime=0.393 cpuTime=0.3 mem=15M411
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=5271 nbRevisions=0 nbUselessRevisions=0 nbSingletonTests=857
0.84 nbEffectiveSingletonTests=18 nbESACBranches=49 nbRemovedValues=36 detectedInconsistency=no
0.84 => wckTime=0.132 cpuTime=0.12 mem=17M361
0.87
0.87 search
0.87 run=0 nbConstraintChecks=0 nbPropagations=5729 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95
0.87 nbFailedAssignments=4 nbBacktracks=25 nbVisitedNodes=105 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.159 cpuTime=0.13 mem=17M361
0.88
0.88 search
0.88 run=1 nbConstraintChecks=0 nbPropagations=11993 nbRevisions=0 nbUselessRevisions=0 nbAssignments=193
0.88 nbFailedAssignments=10 nbBacktracks=68 nbVisitedNodes=218 nbRestartNogoods=1 mapSize=20 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.172 cpuTime=0.14 mem=17M361
0.89
0.89 search
0.89 run=2 nbConstraintChecks=0 nbPropagations=18654 nbRevisions=0 nbUselessRevisions=0 nbAssignments=265
0.89 nbFailedAssignments=16 nbBacktracks=100 nbVisitedNodes=301 nbRestartNogoods=3 mapSize=29 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.181 cpuTime=0.15 mem=18M336
0.90
0.90 search
0.90 run=3 nbConstraintChecks=0 nbPropagations=26134 nbRevisions=0 nbUselessRevisions=0 nbAssignments=366
0.90 nbFailedAssignments=27 nbBacktracks=137 nbVisitedNodes=408 nbRestartNogoods=5 mapSize=43 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.194 cpuTime=0.16 mem=18M336
0.92
0.92 search
0.92 run=4 nbConstraintChecks=0 nbPropagations=34637 nbRevisions=0 nbUselessRevisions=0 nbAssignments=566
0.92 nbFailedAssignments=37 nbBacktracks=204 nbVisitedNodes=550 nbRestartNogoods=9 mapSize=60 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.215 cpuTime=0.18 mem=18M336
0.95
0.95 search
0.95 run=5 nbConstraintChecks=0 nbPropagations=44088 nbRevisions=0 nbUselessRevisions=0 nbAssignments=695
0.95 nbFailedAssignments=50 nbBacktracks=294 nbVisitedNodes=708 nbRestartNogoods=11 mapSize=87 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.238 cpuTime=0.2 mem=19M311
0.97
0.97 search
0.97 run=6 nbConstraintChecks=0 nbPropagations=54724 nbRevisions=0 nbUselessRevisions=0 nbAssignments=881
0.97 nbFailedAssignments=75 nbBacktracks=407 nbVisitedNodes=941 nbRestartNogoods=12 mapSize=126 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.261 cpuTime=0.22 mem=19M311
1.00
1.00 search
1.00 run=7 nbConstraintChecks=0 nbPropagations=67541 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1213
1.00 nbFailedAssignments=110 nbBacktracks=600 nbVisitedNodes=1276 nbRestartNogoods=19 mapSize=194 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.296 cpuTime=0.26 mem=20M287
1.05
1.05 search
1.05 run=8 nbConstraintChecks=0 nbPropagations=82527 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1577
1.05 nbFailedAssignments=147 nbBacktracks=863 nbVisitedNodes=1735 nbRestartNogoods=22 mapSize=282 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.34 cpuTime=0.3 mem=20M287
1.12
1.12 search
1.12 run=9 nbConstraintChecks=0 nbPropagations=101064 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2162
1.12 nbFailedAssignments=215 nbBacktracks=1249 nbVisitedNodes=2385 nbRestartNogoods=29 mapSize=409 nbInferences=0
1.12 nbTooLargeKeys=0
1.12 => wckTime=0.407 cpuTime=0.35 mem=22M237
1.19
1.19 search
1.19 run=10 nbConstraintChecks=0 nbPropagations=123752 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2892
1.19 nbFailedAssignments=297 nbBacktracks=1836 nbVisitedNodes=3260 nbRestartNogoods=34 mapSize=590 nbInferences=0
1.19 nbTooLargeKeys=0
1.19 => wckTime=0.485 cpuTime=0.41 mem=23M212
1.25
1.25 search
1.25 run=11 nbConstraintChecks=36 nbPropagations=150229 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3535
1.25 nbFailedAssignments=367 nbBacktracks=2268 nbVisitedNodes=4043 nbRestartNogoods=37 mapSize=716 nbInferences=0
1.25 nbTooLargeKeys=0
1.25 => wckTime=0.543 cpuTime=0.47 mem=24M187
1.25
1.25 global
1.25 nbConstraintChecks=36 nbPropagations=155500 nbRestartNogoods=37 solvingWckTime=0.545 solvingCpuTime=0.47
1.25 expiredTime=no totalExploration=no nbFoundSolutions=1 globalCpuTime=0.82
1.25 => wckTime=0.941 cpuTime=0.77 mem=24M187
1.26
1.26 s SATISFIABLE
1.26 v 16 14 12 3 2 9 17 15 8 12 14 5 0 16 3 2 6 3 16 12 17 11 7 15 4 7 5 16 6 1 3 10 9 5 16 8 3 15 5 7 0 12 6 9 14 4 6 14 16 8 2 17 3 0 5 6 14 3 10 12 9 9 16 14 3 5 15 6 4 17 3 0 10 11 15 9 16 9 0 1 5 7 13 3 16 8 16 12 4 6 5 3 13 17 4 14 3 5 1 16 9 10 15 4 9 8 14 16 5 0 1 5 2 10 12 14 8 7 1 6 8 4 14 10 5 14 7 12 9 13 5 11 10 0 15 6 17 9 4 5 14
1.26 d NODES 3535
1.26 d CHECKS 36
1.26
1.26 totalWckTime=1.023 totalCpuTime=0.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-241528-1168375257 -o ROOT/results/node15/solver-241528-1168375257 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241528-1168375257/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.13 0.09 0.27 4/94 28239
/proc/meminfo: memFree=1697824/2055920 swapFree=4174172/4192956
[pid=28238] ppid=28236 vsize=308 CPUtime=0
/proc/28238/stat : 28238 (java) R 28236 28238 27964 0 -1 0 231 0 0 0 0 0 0 0 19 0 1 0 185921350 315392 37 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7517191 0 0 4096 0 0 0 0 17 1 0 0
/proc/28238/statm: 77 40 31 14 0 5 0
[startup+0.105394 s]
/proc/loadavg: 0.13 0.09 0.27 4/94 28239
/proc/meminfo: memFree=1697824/2055920 swapFree=4174172/4192956
[pid=28238] ppid=28236 vsize=914988 CPUtime=0.09
/proc/28238/stat : 28238 (java) R 28236 28238 27964 0 -1 0 3024 0 1 0 8 1 0 0 20 0 8 0 185921350 936947712 2770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153548762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28238/statm: 228747 2770 1436 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513468 s]
/proc/loadavg: 0.13 0.09 0.27 4/94 28239
/proc/meminfo: memFree=1697824/2055920 swapFree=4174172/4192956
[pid=28238] ppid=28236 vsize=915328 CPUtime=0.5
/proc/28238/stat : 28238 (java) R 28236 28238 27964 0 -1 0 6275 0 1 0 46 4 0 0 18 0 8 0 185921350 937295872 6013 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28238/statm: 228832 6013 2157 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.28361
CPU time (s): 1.25581
CPU user time (s): 1.15882
CPU system time (s): 0.096985
CPU usage (%): 97.8339
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.15882
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11006
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= 892
involuntary context switches= 604
runsolver used 0.002999 s user time and 0.013997 s system time
The end
Begin job on node15 on Tue Jan 9 20:41:00 UTC 2007
IDJOB= 241528
IDBENCH= 7286
FILE ID= node15/241528-1168375257
PBS_JOBID= 3522230
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141_glb/bqwh-18-141-31_glb.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241528-1168375257/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-241528-1168375257 -o ROOT/results/node15/solver-241528-1168375257 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241528-1168375257/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f4dbda96bfdda4667c2d072e1e9d6817
RANDOM SEED= 934855421
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.276
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.276
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: 1741352 kB
Buffers: 62264 kB
Cached: 156076 kB
SwapCached: 6400 kB
Active: 174384 kB
Inactive: 84184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1741352 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 5200 kB
Writeback: 0 kB
Mapped: 55068 kB
Slab: 40612 kB
Committed_AS: 6673904 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= 66559 MiB
End job on node15 on Tue Jan 9 20:41:09 UTC 2007