0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/197505-1168125847/unknown.xml
0.35
0.35 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=141 nbDomainTypes=139 minDomainSize=2 maxDomainSize=6
0.42 => wckTime=0.131 cpuTime=0.11 mem=6M886
0.42
0.42 relations being loaded...
0.46
0.46 constraints being loaded...
0.64 nbConstraints=886 nbRelationTypes=212 nbExtensionStructures=880 nbSharedExtensionStructures=6
0.64 nbConflictsStructures=880 nbSharedConflictsStructures=6 nbSharedBinaryRepresentations=6624 maxDegree=14
0.64 maxArity=2
0.64 => wckTime=0.349 cpuTime=0.25 mem=11M762
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.555 cpuTime=0.38 mem=15M117
0.92
0.92 preprocessing
0.92 nbConstraintChecks=13919 nbPropagations=1513 nbRevisions=4749 nbUselessRevisions=2973 nbSingletonTests=176
0.92 nbEffectiveSingletonTests=0 nbESACBranches=12 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.069 cpuTime=0.04 mem=15M117
0.94
0.94 search
0.94 run=0 nbConstraintChecks=2089 nbPropagations=1754 nbRevisions=5426 nbUselessRevisions=3355 nbAssignments=42
0.94 nbFailedAssignments=3 nbBacktracks=14 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=4 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.093 cpuTime=0.06 mem=16M108
0.95
0.95 search
0.95 run=1 nbConstraintChecks=6324 nbPropagations=3917 nbRevisions=12550 nbUselessRevisions=7785 nbAssignments=110
0.95 nbFailedAssignments=8 nbBacktracks=33 nbVisitedNodes=127 nbRestartNogoods=1 mapSize=13 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.102 cpuTime=0.08 mem=16M108
0.96
0.96 search
0.96 run=2 nbConstraintChecks=13762 nbPropagations=6783 nbRevisions=22345 nbUselessRevisions=13809
0.97 nbAssignments=212 nbFailedAssignments=16 nbBacktracks=56 nbVisitedNodes=206 nbRestartNogoods=3 mapSize=28
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.115 cpuTime=0.09 mem=16M108
0.97
0.97 search
0.97 run=3 nbConstraintChecks=17614 nbPropagations=9977 nbRevisions=33468 nbUselessRevisions=20568
0.97 nbAssignments=261 nbFailedAssignments=25 nbBacktracks=90 nbVisitedNodes=275 nbRestartNogoods=6 mapSize=46
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.122 cpuTime=0.1 mem=16M108
0.98
0.98 search
0.98 run=4 nbConstraintChecks=22182 nbPropagations=13601 nbRevisions=46131 nbUselessRevisions=28156
0.98 nbAssignments=330 nbFailedAssignments=36 nbBacktracks=140 nbVisitedNodes=367 nbRestartNogoods=7 mapSize=67
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.133 cpuTime=0.1 mem=16M108
1.00
1.00 search
1.00 run=5 nbConstraintChecks=30827 nbPropagations=18007 nbRevisions=62072 nbUselessRevisions=37692
1.00 nbAssignments=463 nbFailedAssignments=50 nbBacktracks=225 nbVisitedNodes=538 nbRestartNogoods=9 mapSize=101
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.152 cpuTime=0.12 mem=16M108
1.02
1.02 search
1.02 run=6 nbConstraintChecks=40829 nbPropagations=23278 nbRevisions=81469 nbUselessRevisions=49144
1.02 nbAssignments=606 nbFailedAssignments=72 nbBacktracks=339 nbVisitedNodes=729 nbRestartNogoods=13 mapSize=141
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.17 cpuTime=0.14 mem=16M108
1.05
1.05 search
1.05 run=7 nbConstraintChecks=61176 nbPropagations=30038 nbRevisions=109466 nbUselessRevisions=66254
1.05 nbAssignments=832 nbFailedAssignments=94 nbBacktracks=523 nbVisitedNodes=1008 nbRestartNogoods=17 mapSize=189
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.197 cpuTime=0.16 mem=16M108
1.09
1.09 search
1.09 run=8 nbConstraintChecks=91531 nbPropagations=39112 nbRevisions=150603 nbUselessRevisions=91995
1.09 nbAssignments=1173 nbFailedAssignments=132 nbBacktracks=781 nbVisitedNodes=1436 nbRestartNogoods=20
1.09 mapSize=265 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.238 cpuTime=0.2 mem=16M108
1.17
1.17 search
1.17 run=9 nbConstraintChecks=150545 nbPropagations=52520 nbRevisions=217785 nbUselessRevisions=135419
1.17 nbAssignments=1691 nbFailedAssignments=176 nbBacktracks=1177 nbVisitedNodes=2014 nbRestartNogoods=25
1.17 mapSize=373 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.316 cpuTime=0.27 mem=16M108
1.24
1.24 search
1.24 run=10 nbConstraintChecks=204546 nbPropagations=69810 nbRevisions=308232 nbUselessRevisions=194581
1.24 nbAssignments=2278 nbFailedAssignments=224 nbBacktracks=1554 nbVisitedNodes=2691 nbRestartNogoods=28
1.24 mapSize=478 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.39 cpuTime=0.33 mem=16M108
1.24
1.24 global
1.24 nbConstraintChecks=218465 nbPropagations=71323 nbRevisions=312981 nbUselessRevisions=197554 nbRestartNogoods=28
1.24 solvingWckTime=0.392 solvingCpuTime=0.33 expiredTime=no totalExploration=no nbFoundSolutions=1
1.24 globalCpuTime=0.76
1.24 => wckTime=0.949 cpuTime=0.72 mem=16M108
1.24
1.24 s SATISFIABLE
1.24 v 1 14 0 2 12 17 13 6 7 13 3 2 0 12 6 14 5 15 6 9 12 8 4 1 11 0 5 7 2 17 8 9 10 11 16 17 5 12 6 3 2 5 10 14 6 9 7 1 12 5 13 14 17 2 16 0 9 10 12 11 14 7 8 3 17 15 6 14 5 1 16 2 9 1 8 0 3 5 17 12 4 10 17 11 16 15 2 16 11 14 15 3 7 17 12 1 6 0 3 16 8 7 3 12 11 6 0 4 10 9 2 3 12 10 14 11 1 2 15 12 10 6 5 7 11 13 17 15 8 4 16 7 2 12 1 5 16 11 6 10 13
1.24 d NODES 2278
1.24 d CHECKS 218465
1.24
1.25 totalWckTime=1.024 totalCpuTime=0.76
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-197505-1168125847 -o ROOT/results/node17/solver-197505-1168125847 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197505-1168125847/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.22 0.94 1.43 4/81 30223
/proc/meminfo: memFree=1774952/2055920 swapFree=4192812/4192956
[pid=30222] ppid=30220 vsize=1784 CPUtime=0
/proc/30222/stat : 30222 (java) R 30220 30222 29819 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 160980790 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30222/statm: 446 140 106 14 0 91 0
[startup+0.102581 s]
/proc/loadavg: 0.22 0.94 1.43 4/81 30223
/proc/meminfo: memFree=1774952/2055920 swapFree=4192812/4192956
[pid=30222] ppid=30220 vsize=914988 CPUtime=0.08
/proc/30222/stat : 30222 (java) R 30220 30222 29819 0 -1 0 3065 0 1 0 7 1 0 0 16 0 8 0 160980790 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30222/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510622 s]
/proc/loadavg: 0.22 0.94 1.43 4/81 30223
/proc/meminfo: memFree=1774952/2055920 swapFree=4192812/4192956
[pid=30222] ppid=30220 vsize=915328 CPUtime=0.49
/proc/30222/stat : 30222 (java) S 30220 30222 29819 0 -1 0 6409 0 1 0 45 4 0 0 16 0 8 0 160980790 937295872 6148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30222/statm: 228832 6148 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.28082
CPU time (s): 1.25781
CPU user time (s): 1.17882
CPU system time (s): 0.078987
CPU usage (%): 98.2033
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17882
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9045
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= 940
involuntary context switches= 100
runsolver used 0.003999 s user time and 0.012998 s system time
The end
Begin job on node17 on Sat Jan 6 23:24:13 UTC 2007
IDJOB= 197505
IDBENCH= 3476
FILE ID= node17/197505-1168125847
PBS_JOBID= 3477598
Free space on /tmp= 66317 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197505-1168125847/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-197505-1168125847 -o ROOT/results/node17/solver-197505-1168125847 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197505-1168125847/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 17d78d174acd04e2accd64314fbd2069
RANDOM SEED= 648031136
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.236
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.236
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: 1775560 kB
Buffers: 47832 kB
Cached: 116796 kB
SwapCached: 0 kB
Active: 129620 kB
Inactive: 93376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1775560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4800 kB
Writeback: 0 kB
Mapped: 77372 kB
Slab: 42436 kB
Committed_AS: 4082256 kB
PageTables: 2076 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= 66317 MiB
End job on node17 on Sat Jan 6 23:24:26 UTC 2007