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/238376-1168355033/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=64 nbDomainTypes=4 minDomainSize=1 maxDomainSize=16
0.40 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.53 nbConstraints=431 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.53 nbExtensionStructures=9 nbSharedExtensionStructures=422 nbConflictsStructures=9 nbSharedConflictsStructures=422
0.53 nbSharedBinaryRepresentations=120 maxDegree=32 maxArity=2
0.53 => wckTime=0.225 cpuTime=0.17 mem=8M902
0.56
0.56 solver IterativeSystematicSolver being built...
0.72 => wckTime=0.422 cpuTime=0.31 mem=14M619
0.76
0.76 preprocessing
0.76 nbConstraintChecks=30428 nbPropagations=342 nbRevisions=3235 nbUselessRevisions=2913 nbSingletonTests=72
0.76 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=290 detectedInconsistency=no
0.76 => wckTime=0.036 cpuTime=0.02 mem=14M619
0.78
0.78 search
0.78 run=0 nbConstraintChecks=23175 nbPropagations=528 nbRevisions=5568 nbUselessRevisions=5039 nbAssignments=24
0.78 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.78 nbTooLargeKeys=0
0.78 => wckTime=0.056 cpuTime=0.04 mem=14M619
0.80
0.80 search
0.80 run=1 nbConstraintChecks=53414 nbPropagations=1306 nbRevisions=14176 nbUselessRevisions=12823 nbAssignments=57
0.80 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=27 nbInferences=0
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.072 cpuTime=0.05 mem=14M619
0.81
0.81 search
0.81 run=2 nbConstraintChecks=95636 nbPropagations=2437 nbRevisions=27026 nbUselessRevisions=24431
0.81 nbAssignments=102 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=176 nbRestartNogoods=5 mapSize=49
0.81 nbInferences=1 nbTooLargeKeys=0
0.81 => wckTime=0.083 cpuTime=0.06 mem=14M619
0.82
0.82 search
0.82 run=3 nbConstraintChecks=152045 nbPropagations=4038 nbRevisions=45570 nbUselessRevisions=41176
0.82 nbAssignments=163 nbFailedAssignments=59 nbBacktracks=82 nbVisitedNodes=284 nbRestartNogoods=9 mapSize=82
0.82 nbInferences=2 nbTooLargeKeys=0
0.82 => wckTime=0.096 cpuTime=0.07 mem=14M619
0.84
0.84 search
0.84 run=4 nbConstraintChecks=234517 nbPropagations=6336 nbRevisions=72406 nbUselessRevisions=65389
0.84 nbAssignments=253 nbFailedAssignments=94 nbBacktracks=132 nbVisitedNodes=445 nbRestartNogoods=11 mapSize=132
0.84 nbInferences=3 nbTooLargeKeys=0
0.84 => wckTime=0.11 cpuTime=0.08 mem=14M619
0.86
0.86 search
0.86 run=5 nbConstraintChecks=364373 nbPropagations=9687 nbRevisions=112306 nbUselessRevisions=101452
0.86 nbAssignments=392 nbFailedAssignments=146 nbBacktracks=208 nbVisitedNodes=693 nbRestartNogoods=14 mapSize=208
0.86 nbInferences=9 nbTooLargeKeys=0
0.86 => wckTime=0.136 cpuTime=0.1 mem=14M619
0.89
0.89 search
0.89 run=6 nbConstraintChecks=553932 nbPropagations=14613 nbRevisions=171531 nbUselessRevisions=155017
0.89 nbAssignments=594 nbFailedAssignments=221 nbBacktracks=321 nbVisitedNodes=1054 nbRestartNogoods=17 mapSize=321
0.89 nbInferences=18 nbTooLargeKeys=0
0.89 => wckTime=0.165 cpuTime=0.13 mem=14M619
0.93
0.93 search
0.93 run=7 nbConstraintChecks=841339 nbPropagations=21963 nbRevisions=260111 nbUselessRevisions=235114
0.93 nbAssignments=899 nbFailedAssignments=336 nbBacktracks=491 nbVisitedNodes=1604 nbRestartNogoods=24 mapSize=491
0.93 nbInferences=33 nbTooLargeKeys=0
0.93 => wckTime=0.207 cpuTime=0.17 mem=14M619
1.00
1.00 search
1.00 run=8 nbConstraintChecks=1269724 nbPropagations=32900 nbRevisions=392436 nbUselessRevisions=354786
1.00 nbAssignments=1356 nbFailedAssignments=510 nbBacktracks=749 nbVisitedNodes=2431 nbRestartNogoods=29
1.00 mapSize=749 nbInferences=55 nbTooLargeKeys=0
1.00 => wckTime=0.271 cpuTime=0.23 mem=14M619
1.10
1.10 search
1.10 run=9 nbConstraintChecks=1948508 nbPropagations=49530 nbRevisions=595013 nbUselessRevisions=538285
1.10 nbAssignments=2073 nbFailedAssignments=755 nbBacktracks=1133 nbVisitedNodes=3720 nbRestartNogoods=34
1.10 mapSize=1133 nbInferences=139 nbTooLargeKeys=0
1.10 => wckTime=0.37 cpuTime=0.32 mem=14M619
1.23
1.23 search
1.23 run=10 nbConstraintChecks=2964365 nbPropagations=74559 nbRevisions=902721 nbUselessRevisions=817479
1.23 nbAssignments=3157 nbFailedAssignments=1133 nbBacktracks=1709 nbVisitedNodes=5664 nbRestartNogoods=39
1.23 mapSize=1707 nbInferences=265 nbTooLargeKeys=0
1.23 => wckTime=0.5 cpuTime=0.43 mem=15M594
1.40
1.40 search
1.40 run=11 nbConstraintChecks=4555347 nbPropagations=112462 nbRevisions=1374283 nbUselessRevisions=1246090
1.40 nbAssignments=4848 nbFailedAssignments=1713 nbBacktracks=2573 nbVisitedNodes=8666 nbRestartNogoods=45
1.40 mapSize=2570 nbInferences=509 nbTooLargeKeys=0
1.40 => wckTime=0.671 cpuTime=0.6 mem=15M594
1.45
1.45 search
1.45 run=12 nbConstraintChecks=5008589 nbPropagations=154039 nbRevisions=1892602 nbUselessRevisions=1717277
1.45 nbAssignments=5336 nbFailedAssignments=1892 nbBacktracks=2825 nbVisitedNodes=9533 nbRestartNogoods=53
1.45 mapSize=2820 nbInferences=567 nbTooLargeKeys=0
1.45 => wckTime=0.72 cpuTime=0.65 mem=15M594
1.45
1.45 global
1.45 nbConstraintChecks=5039017 nbPropagations=154381 nbRevisions=1895837 nbUselessRevisions=1720190
1.45 nbRestartNogoods=53 solvingWckTime=0.72 solvingCpuTime=0.65 expiredTime=no totalExploration=yes
1.45 nbFoundSolutions=0 globalCpuTime=1.01
1.45 => wckTime=1.146 cpuTime=0.96 mem=15M594
1.45
1.45 s UNSATISFIABLE
1.45 d NODES 5336
1.45 d CHECKS 5039017
1.45
1.45 totalWckTime=1.221 totalCpuTime=1.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-238376-1168355033 -o ROOT/results/node43/solver-238376-1168355033 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238376-1168355033/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.97 1.49 1.73 3/65 5200
/proc/meminfo: memFree=1797992/2055920 swapFree=4192812/4192956
[pid=5199] ppid=5197 vsize=1452 CPUtime=0
/proc/5199/stat : 5199 (java) R 5197 5199 4403 0 -1 0 105 0 0 0 0 0 0 0 20 0 1 0 183902391 1486848 77 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5199/statm: 365 90 70 14 0 10 0
[startup+0.107245 s]
/proc/loadavg: 0.97 1.49 1.73 3/65 5200
/proc/meminfo: memFree=1797992/2055920 swapFree=4192812/4192956
[pid=5199] ppid=5197 vsize=915876 CPUtime=0.08
/proc/5199/stat : 5199 (java) R 5197 5199 4403 0 -1 0 3055 0 1 0 8 0 0 0 16 0 8 0 183902391 937857024 2801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5199/statm: 228969 2802 1448 14 0 215464 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915876
[startup+0.517312 s]
/proc/loadavg: 0.97 1.49 1.73 3/65 5200
/proc/meminfo: memFree=1797992/2055920 swapFree=4192812/4192956
[pid=5199] ppid=5197 vsize=916108 CPUtime=0.5
/proc/5199/stat : 5199 (java) R 5197 5199 4403 0 -1 0 6660 0 1 0 46 4 0 0 16 0 8 0 183902391 938094592 6399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5199/statm: 229027 6400 2148 14 0 215497 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 916108
[startup+1.34245 s]
/proc/loadavg: 0.97 1.49 1.73 2/72 5207
/proc/meminfo: memFree=1774128/2055920 swapFree=4192812/4192956
[pid=5199] ppid=5197 vsize=916220 CPUtime=1.33
/proc/5199/stat : 5199 (java) R 5197 5199 4403 0 -1 0 8746 0 1 0 126 7 0 0 17 0 8 0 183902391 938209280 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5199/statm: 229055 8484 2524 14 0 215525 0
[pid=5199/tid=5201] ppid=5197 vsize=916220 CPUtime=0.02
/proc/5199/task/5201/stat : 5201 (java) S 5197 5199 4403 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 183902395 938209280 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5199/tid=5202] ppid=5197 vsize=916220 CPUtime=0
/proc/5199/task/5202/stat : 5202 (java) S 5197 5199 4403 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 183902395 938209280 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5199/tid=5203] ppid=5197 vsize=916220 CPUtime=0
/proc/5199/task/5203/stat : 5203 (java) S 5197 5199 4403 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183902395 938209280 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5199/tid=5204] ppid=5197 vsize=916220 CPUtime=0
/proc/5199/task/5204/stat : 5204 (java) S 5197 5199 4403 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183902398 938209280 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5199/tid=5205] ppid=5197 vsize=916220 CPUtime=0.19
/proc/5199/task/5205/stat : 5205 (java) S 5197 5199 4403 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 183902398 938209280 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5199/tid=5206] ppid=5197 vsize=916220 CPUtime=0
/proc/5199/task/5206/stat : 5206 (java) S 5197 5199 4403 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 183902398 938209280 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5199/tid=5207] ppid=5197 vsize=916220 CPUtime=0
/proc/5199/task/5207/stat : 5207 (java) S 5197 5199 4403 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183902398 938209280 8484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 916220
Child status: 0
Real time (s): 1.49281
CPU time (s): 1.45078
CPU user time (s): 1.37279
CPU system time (s): 0.077988
CPU usage (%): 97.1845
Max. virtual memory (cumulated for all children) (KiB): 916224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.37279
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8872
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= 830
involuntary context switches= 137
runsolver used 0.005999 s user time and 0.011998 s system time
The end
Begin job on node43 on Tue Jan 9 15:03:53 UTC 2007
IDJOB= 238376
IDBENCH= 6999
FILE ID= node43/238376-1168355033
PBS_JOBID= 3503939
Free space on /tmp= 66499 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-4/BlackHole-4-4-e-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238376-1168355033/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-238376-1168355033 -o ROOT/results/node43/solver-238376-1168355033 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238376-1168355033/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 88ad794ea96dee418b209b9058e3ba0d
RANDOM SEED= 396040052
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.278
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.278
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: 1798472 kB
Buffers: 23404 kB
Cached: 170600 kB
SwapCached: 0 kB
Active: 115760 kB
Inactive: 93540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 25492 kB
Slab: 34236 kB
Committed_AS: 4309468 kB
PageTables: 1392 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= 66499 MiB
End job on node43 on Tue Jan 9 15:03:54 UTC 2007