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/238433-1168355161/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=64 nbDomainTypes=4 minDomainSize=1 maxDomainSize=16
0.42 => wckTime=0.103 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.43
0.43 constraints being loaded...
0.55 nbConstraints=431 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.55 nbExtensionStructures=9 nbSharedExtensionStructures=422 nbConflictsStructures=9 nbSharedConflictsStructures=422
0.55 nbSharedBinaryRepresentations=120 maxDegree=32 maxArity=2
0.55 => wckTime=0.233 cpuTime=0.17 mem=8M902
0.58
0.58 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.435 cpuTime=0.31 mem=14M619
0.79
0.79 preprocessing
0.79 nbConstraintChecks=30428 nbPropagations=342 nbRevisions=3235 nbUselessRevisions=2913 nbSingletonTests=72
0.79 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=290 detectedInconsistency=no
0.79 => wckTime=0.036 cpuTime=0.02 mem=14M619
0.81
0.81 search
0.81 run=0 nbConstraintChecks=23175 nbPropagations=528 nbRevisions=5568 nbUselessRevisions=5039 nbAssignments=24
0.81 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.056 cpuTime=0.03 mem=14M619
0.82
0.82 search
0.82 run=1 nbConstraintChecks=53414 nbPropagations=1306 nbRevisions=14176 nbUselessRevisions=12823 nbAssignments=57
0.82 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=27 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.072 cpuTime=0.04 mem=14M619
0.83
0.83 search
0.83 run=2 nbConstraintChecks=95636 nbPropagations=2437 nbRevisions=27026 nbUselessRevisions=24431
0.83 nbAssignments=102 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=176 nbRestartNogoods=5 mapSize=49
0.83 nbInferences=1 nbTooLargeKeys=0
0.83 => wckTime=0.082 cpuTime=0.05 mem=14M619
0.85
0.85 search
0.85 run=3 nbConstraintChecks=152045 nbPropagations=4038 nbRevisions=45570 nbUselessRevisions=41176
0.85 nbAssignments=163 nbFailedAssignments=59 nbBacktracks=82 nbVisitedNodes=284 nbRestartNogoods=9 mapSize=82
0.85 nbInferences=2 nbTooLargeKeys=0
0.85 => wckTime=0.096 cpuTime=0.06 mem=14M619
0.86
0.86 search
0.86 run=4 nbConstraintChecks=234517 nbPropagations=6336 nbRevisions=72406 nbUselessRevisions=65389
0.86 nbAssignments=253 nbFailedAssignments=94 nbBacktracks=132 nbVisitedNodes=445 nbRestartNogoods=11 mapSize=132
0.86 nbInferences=3 nbTooLargeKeys=0
0.86 => wckTime=0.11 cpuTime=0.07 mem=14M619
0.89
0.89 search
0.89 run=5 nbConstraintChecks=364373 nbPropagations=9687 nbRevisions=112306 nbUselessRevisions=101452
0.89 nbAssignments=392 nbFailedAssignments=146 nbBacktracks=208 nbVisitedNodes=693 nbRestartNogoods=14 mapSize=208
0.89 nbInferences=9 nbTooLargeKeys=0
0.89 => wckTime=0.137 cpuTime=0.09 mem=14M619
0.92
0.92 search
0.92 run=6 nbConstraintChecks=553932 nbPropagations=14613 nbRevisions=171531 nbUselessRevisions=155017
0.92 nbAssignments=594 nbFailedAssignments=221 nbBacktracks=321 nbVisitedNodes=1054 nbRestartNogoods=17 mapSize=321
0.92 nbInferences=18 nbTooLargeKeys=0
0.92 => wckTime=0.165 cpuTime=0.12 mem=14M619
0.96
0.96 search
0.96 run=7 nbConstraintChecks=841339 nbPropagations=21963 nbRevisions=260111 nbUselessRevisions=235114
0.96 nbAssignments=899 nbFailedAssignments=336 nbBacktracks=491 nbVisitedNodes=1604 nbRestartNogoods=24 mapSize=491
0.96 nbInferences=33 nbTooLargeKeys=0
0.96 => wckTime=0.208 cpuTime=0.16 mem=14M619
1.02
1.02 search
1.02 run=8 nbConstraintChecks=1269724 nbPropagations=32900 nbRevisions=392436 nbUselessRevisions=354786
1.02 nbAssignments=1356 nbFailedAssignments=510 nbBacktracks=749 nbVisitedNodes=2431 nbRestartNogoods=29
1.02 mapSize=749 nbInferences=55 nbTooLargeKeys=0
1.02 => wckTime=0.272 cpuTime=0.22 mem=14M619
1.12
1.12 search
1.12 run=9 nbConstraintChecks=1948508 nbPropagations=49530 nbRevisions=595013 nbUselessRevisions=538285
1.12 nbAssignments=2073 nbFailedAssignments=755 nbBacktracks=1133 nbVisitedNodes=3720 nbRestartNogoods=34
1.12 mapSize=1133 nbInferences=139 nbTooLargeKeys=0
1.12 => wckTime=0.371 cpuTime=0.3 mem=14M619
1.25
1.25 search
1.25 run=10 nbConstraintChecks=2964365 nbPropagations=74559 nbRevisions=902721 nbUselessRevisions=817479
1.25 nbAssignments=3157 nbFailedAssignments=1133 nbBacktracks=1709 nbVisitedNodes=5664 nbRestartNogoods=39
1.25 mapSize=1707 nbInferences=265 nbTooLargeKeys=0
1.25 => wckTime=0.503 cpuTime=0.42 mem=15M594
1.43
1.43 search
1.43 run=11 nbConstraintChecks=4555347 nbPropagations=112462 nbRevisions=1374283 nbUselessRevisions=1246090
1.43 nbAssignments=4848 nbFailedAssignments=1713 nbBacktracks=2573 nbVisitedNodes=8666 nbRestartNogoods=45
1.43 mapSize=2570 nbInferences=509 nbTooLargeKeys=0
1.43 => wckTime=0.681 cpuTime=0.6 mem=15M594
1.48
1.48 search
1.48 run=12 nbConstraintChecks=5008589 nbPropagations=154039 nbRevisions=1892602 nbUselessRevisions=1717277
1.48 nbAssignments=5336 nbFailedAssignments=1892 nbBacktracks=2825 nbVisitedNodes=9533 nbRestartNogoods=53
1.48 mapSize=2820 nbInferences=567 nbTooLargeKeys=0
1.48 => wckTime=0.73 cpuTime=0.65 mem=15M594
1.48
1.48 global
1.48 nbConstraintChecks=5039017 nbPropagations=154381 nbRevisions=1895837 nbUselessRevisions=1720190
1.48 nbRestartNogoods=53 solvingWckTime=0.731 solvingCpuTime=0.65 expiredTime=no totalExploration=yes
1.48 nbFoundSolutions=0 globalCpuTime=1.01
1.48 => wckTime=1.17 cpuTime=0.96 mem=15M594
1.48
1.48 s UNSATISFIABLE
1.48 d NODES 5336
1.48 d CHECKS 5039017
1.48
1.49 totalWckTime=1.251 totalCpuTime=1.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-238433-1168355161 -o ROOT/results/node52/solver-238433-1168355161 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238433-1168355161/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.88 1.10 1.07 5/81 18885
/proc/meminfo: memFree=1804624/2055920 swapFree=4192812/4192956
[pid=18884] ppid=18882 vsize=9744 CPUtime=0
/proc/18884/stat : 18884 (java) R 18882 18884 18481 0 -1 0 600 0 0 0 0 0 0 0 18 0 1 0 183914610 9977856 379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18884/statm: 2436 379 299 14 0 1139 0
[startup+0.108291 s]
/proc/loadavg: 0.88 1.10 1.07 5/81 18885
/proc/meminfo: memFree=1804624/2055920 swapFree=4192812/4192956
[pid=18884] ppid=18882 vsize=914988 CPUtime=0.09
/proc/18884/stat : 18884 (java) R 18882 18884 18481 0 -1 0 3009 0 1 0 8 1 0 0 17 0 8 0 183914610 936947712 2755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153570715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18884/statm: 228747 2755 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516319 s]
/proc/loadavg: 0.88 1.10 1.07 5/81 18885
/proc/meminfo: memFree=1804624/2055920 swapFree=4192812/4192956
[pid=18884] ppid=18882 vsize=915328 CPUtime=0.49
/proc/18884/stat : 18884 (java) R 18882 18884 18481 0 -1 0 6495 0 1 0 46 3 0 0 18 0 8 0 183914610 937295872 6234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18884/statm: 228832 6234 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33837 s]
/proc/loadavg: 0.88 1.10 1.07 2/75 18901
/proc/meminfo: memFree=1807104/2055920 swapFree=4192812/4192956
[pid=18884] ppid=18882 vsize=915440 CPUtime=1.31
/proc/18884/stat : 18884 (java) R 18882 18884 18481 0 -1 0 8716 0 1 0 125 6 0 0 17 0 8 0 183914610 937410560 8454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795658 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18884/statm: 228860 8454 2524 14 0 215330 0
[pid=18884/tid=18886] ppid=18882 vsize=915440 CPUtime=0.02
/proc/18884/task/18886/stat : 18886 (java) S 18882 18884 18481 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 183914614 937410560 8454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18884/tid=18887] ppid=18882 vsize=915440 CPUtime=0
/proc/18884/task/18887/stat : 18887 (java) S 18882 18884 18481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183914615 937410560 8454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18884/tid=18888] ppid=18882 vsize=915440 CPUtime=0
/proc/18884/task/18888/stat : 18888 (java) S 18882 18884 18481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183914615 937410560 8454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18884/tid=18889] ppid=18882 vsize=915440 CPUtime=0
/proc/18884/task/18889/stat : 18889 (java) S 18882 18884 18481 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183914618 937410560 8454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18884/tid=18890] ppid=18882 vsize=915440 CPUtime=0.21
/proc/18884/task/18890/stat : 18890 (java) S 18882 18884 18481 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 183914618 937410560 8454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18884/tid=18891] ppid=18882 vsize=915440 CPUtime=0
/proc/18884/task/18891/stat : 18891 (java) S 18882 18884 18481 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183914618 937410560 8454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18884/tid=18892] ppid=18882 vsize=915440 CPUtime=0
/proc/18884/task/18892/stat : 18892 (java) S 18882 18884 18481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183914618 937410560 8454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 1.50505
CPU time (s): 1.47778
CPU user time (s): 1.40679
CPU system time (s): 0.070989
CPU usage (%): 98.1879
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40679
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8850
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= 816
involuntary context switches= 559
runsolver used 0.000999 s user time and 0.015997 s system time
The end
Begin job on node52 on Tue Jan 9 15:06:01 UTC 2007
IDJOB= 238433
IDBENCH= 7002
FILE ID= node52/238433-1168355161
PBS_JOBID= 3503958
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-4/BlackHole-4-4-e-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238433-1168355161/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-238433-1168355161 -o ROOT/results/node52/solver-238433-1168355161 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238433-1168355161/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ef03916b979808387e4c3458f5d951a4
RANDOM SEED= 449408067
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.232
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.232
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: 1805168 kB
Buffers: 24696 kB
Cached: 120960 kB
SwapCached: 0 kB
Active: 146780 kB
Inactive: 44732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1805168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5700 kB
Writeback: 0 kB
Mapped: 64832 kB
Slab: 44488 kB
Committed_AS: 5173704 kB
PageTables: 2028 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= 66557 MiB
End job on node52 on Tue Jan 9 15:06:03 UTC 2007