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/238395-1168355071/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=64 nbDomainTypes=4 minDomainSize=1 maxDomainSize=16
0.41 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.42
0.42 constraints being loaded...
0.54 nbConstraints=431 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.54 nbExtensionStructures=9 nbSharedExtensionStructures=422 nbConflictsStructures=9 nbSharedConflictsStructures=422
0.54 nbSharedBinaryRepresentations=120 maxDegree=32 maxArity=2
0.54 => wckTime=0.233 cpuTime=0.17 mem=8M902
0.57
0.57 solver IterativeSystematicSolver being built...
0.74 => wckTime=0.437 cpuTime=0.31 mem=14M619
0.78
0.78 preprocessing
0.78 nbConstraintChecks=30323 nbPropagations=341 nbRevisions=3220 nbUselessRevisions=2898 nbSingletonTests=72
0.78 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=290 detectedInconsistency=no
0.78 => wckTime=0.038 cpuTime=0.02 mem=14M619
0.80
0.80 search
0.80 run=0 nbConstraintChecks=23175 nbPropagations=527 nbRevisions=5553 nbUselessRevisions=5024 nbAssignments=24
0.80 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.059 cpuTime=0.04 mem=14M619
0.82
0.82 search
0.82 run=1 nbConstraintChecks=53414 nbPropagations=1304 nbRevisions=14146 nbUselessRevisions=12793 nbAssignments=57
0.82 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=27 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.077 cpuTime=0.04 mem=14M619
0.83
0.83 search
0.83 run=2 nbConstraintChecks=95636 nbPropagations=2434 nbRevisions=26981 nbUselessRevisions=24386
0.83 nbAssignments=102 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=176 nbRestartNogoods=5 mapSize=49
0.83 nbInferences=1 nbTooLargeKeys=0
0.83 => wckTime=0.088 cpuTime=0.05 mem=14M619
0.85
0.85 search
0.85 run=3 nbConstraintChecks=152045 nbPropagations=4034 nbRevisions=45510 nbUselessRevisions=41116
0.85 nbAssignments=163 nbFailedAssignments=59 nbBacktracks=82 nbVisitedNodes=284 nbRestartNogoods=9 mapSize=82
0.85 nbInferences=2 nbTooLargeKeys=0
0.85 => wckTime=0.102 cpuTime=0.06 mem=14M619
0.86
0.86 search
0.86 run=4 nbConstraintChecks=234517 nbPropagations=6331 nbRevisions=72331 nbUselessRevisions=65314
0.86 nbAssignments=253 nbFailedAssignments=94 nbBacktracks=132 nbVisitedNodes=445 nbRestartNogoods=11 mapSize=132
0.86 nbInferences=3 nbTooLargeKeys=0
0.86 => wckTime=0.116 cpuTime=0.08 mem=14M619
0.89
0.89 search
0.89 run=5 nbConstraintChecks=364373 nbPropagations=9681 nbRevisions=112216 nbUselessRevisions=101362
0.89 nbAssignments=392 nbFailedAssignments=146 nbBacktracks=208 nbVisitedNodes=693 nbRestartNogoods=14 mapSize=208
0.89 nbInferences=9 nbTooLargeKeys=0
0.89 => wckTime=0.143 cpuTime=0.1 mem=14M619
0.92
0.92 search
0.92 run=6 nbConstraintChecks=553932 nbPropagations=14606 nbRevisions=171426 nbUselessRevisions=154912
0.92 nbAssignments=594 nbFailedAssignments=221 nbBacktracks=321 nbVisitedNodes=1054 nbRestartNogoods=17 mapSize=321
0.92 nbInferences=18 nbTooLargeKeys=0
0.92 => wckTime=0.172 cpuTime=0.13 mem=14M619
0.96
0.96 search
0.96 run=7 nbConstraintChecks=841339 nbPropagations=21955 nbRevisions=259991 nbUselessRevisions=234994
0.96 nbAssignments=899 nbFailedAssignments=336 nbBacktracks=491 nbVisitedNodes=1604 nbRestartNogoods=24 mapSize=491
0.96 nbInferences=33 nbTooLargeKeys=0
0.96 => wckTime=0.215 cpuTime=0.17 mem=14M619
1.03
1.03 search
1.03 run=8 nbConstraintChecks=1269724 nbPropagations=32891 nbRevisions=392301 nbUselessRevisions=354651
1.03 nbAssignments=1356 nbFailedAssignments=510 nbBacktracks=749 nbVisitedNodes=2431 nbRestartNogoods=29
1.03 mapSize=749 nbInferences=55 nbTooLargeKeys=0
1.03 => wckTime=0.28 cpuTime=0.23 mem=14M619
1.13
1.13 search
1.13 run=9 nbConstraintChecks=1948508 nbPropagations=49520 nbRevisions=594863 nbUselessRevisions=538135
1.13 nbAssignments=2073 nbFailedAssignments=755 nbBacktracks=1133 nbVisitedNodes=3720 nbRestartNogoods=34
1.13 mapSize=1133 nbInferences=139 nbTooLargeKeys=0
1.13 => wckTime=0.387 cpuTime=0.31 mem=14M619
1.27
1.27 search
1.27 run=10 nbConstraintChecks=2964365 nbPropagations=74548 nbRevisions=902556 nbUselessRevisions=817314
1.27 nbAssignments=3157 nbFailedAssignments=1133 nbBacktracks=1709 nbVisitedNodes=5664 nbRestartNogoods=39
1.27 mapSize=1707 nbInferences=265 nbTooLargeKeys=0
1.27 => wckTime=0.522 cpuTime=0.43 mem=15M594
1.45
1.45 search
1.45 run=11 nbConstraintChecks=4555347 nbPropagations=112450 nbRevisions=1374103 nbUselessRevisions=1245910
1.45 nbAssignments=4848 nbFailedAssignments=1713 nbBacktracks=2573 nbVisitedNodes=8666 nbRestartNogoods=45
1.45 mapSize=2570 nbInferences=509 nbTooLargeKeys=0
1.45 => wckTime=0.706 cpuTime=0.62 mem=15M594
1.50
1.50 search
1.50 run=12 nbConstraintChecks=5008589 nbPropagations=154026 nbRevisions=1892407 nbUselessRevisions=1717082
1.50 nbAssignments=5336 nbFailedAssignments=1892 nbBacktracks=2825 nbVisitedNodes=9533 nbRestartNogoods=53
1.50 mapSize=2820 nbInferences=567 nbTooLargeKeys=0
1.50 => wckTime=0.759 cpuTime=0.67 mem=15M594
1.51
1.51 global
1.51 nbConstraintChecks=5038912 nbPropagations=154367 nbRevisions=1895627 nbUselessRevisions=1719980
1.51 nbRestartNogoods=53 solvingWckTime=0.76 solvingCpuTime=0.67 expiredTime=no totalExploration=yes
1.51 nbFoundSolutions=0 globalCpuTime=1.03
1.51 => wckTime=1.201 cpuTime=0.98 mem=15M594
1.51
1.51 s UNSATISFIABLE
1.51 d NODES 5336
1.51 d CHECKS 5038912
1.51
1.51 totalWckTime=1.281 totalCpuTime=1.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-238395-1168355071 -o ROOT/results/node43/solver-238395-1168355071 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238395-1168355071/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.11 1.46 1.71 4/74 5804
/proc/meminfo: memFree=1785640/2055920 swapFree=4192812/4192956
[pid=5803] ppid=5801 vsize=906644 CPUtime=0.02
/proc/5803/stat : 5803 (java) S 5801 5803 5410 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 183906279 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5803/statm: 226661 1818 1036 14 0 214244 0
[pid=5803/tid=5805] ppid=5801 vsize=906644 CPUtime=0
/proc/5803/task/5805/stat : 5805 (java) R 5801 5803 5410 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 183906282 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103164 s]
/proc/loadavg: 1.11 1.46 1.71 4/74 5804
/proc/meminfo: memFree=1785640/2055920 swapFree=4192812/4192956
[pid=5803] ppid=5801 vsize=914988 CPUtime=0.09
/proc/5803/stat : 5803 (java) R 5801 5803 5410 0 -1 0 3024 0 1 0 8 1 0 0 17 0 8 0 183906279 936947712 2770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5803/statm: 228747 2770 1436 14 0 215242 0
[pid=5803/tid=5805] ppid=5801 vsize=914988 CPUtime=0
/proc/5803/task/5805/stat : 5805 (java) S 5801 5803 5410 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 183906282 936947712 2770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511232 s]
/proc/loadavg: 1.11 1.46 1.71 4/74 5804
/proc/meminfo: memFree=1785640/2055920 swapFree=4192812/4192956
[pid=5803] ppid=5801 vsize=915328 CPUtime=0.49
/proc/5803/stat : 5803 (java) R 5801 5803 5410 0 -1 0 6522 0 1 0 46 3 0 0 18 0 8 0 183906279 937295872 6261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5803/statm: 228832 6261 2147 14 0 215302 0
[pid=5803/tid=5805] ppid=5801 vsize=915328 CPUtime=0
/proc/5803/task/5805/stat : 5805 (java) S 5801 5803 5410 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 183906282 937295872 6261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33736 s]
/proc/loadavg: 1.11 1.46 1.71 4/81 5811
/proc/meminfo: memFree=1761904/2055920 swapFree=4192812/4192956
[pid=5803] ppid=5801 vsize=915440 CPUtime=1.31
/proc/5803/stat : 5803 (java) R 5801 5803 5410 0 -1 0 8714 0 1 0 126 5 0 0 19 0 8 0 183906279 937410560 8452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759115 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5803/statm: 228860 8452 2524 14 0 215330 0
[pid=5803/tid=5805] ppid=5801 vsize=915440 CPUtime=0.02
/proc/5803/task/5805/stat : 5805 (java) S 5801 5803 5410 0 -1 64 179 0 0 0 2 0 0 0 16 0 8 0 183906282 937410560 8452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5803/tid=5806] ppid=5801 vsize=915440 CPUtime=0
/proc/5803/task/5806/stat : 5806 (java) S 5801 5803 5410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183906283 937410560 8452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5803/tid=5807] ppid=5801 vsize=915440 CPUtime=0
/proc/5803/task/5807/stat : 5807 (java) S 5801 5803 5410 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183906283 937410560 8452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5803/tid=5808] ppid=5801 vsize=915440 CPUtime=0
/proc/5803/task/5808/stat : 5808 (java) S 5801 5803 5410 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183906286 937410560 8452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5803/tid=5809] ppid=5801 vsize=915440 CPUtime=0.22
/proc/5803/task/5809/stat : 5809 (java) S 5801 5803 5410 0 -1 64 384 0 0 0 22 0 0 0 17 0 8 0 183906286 937410560 8452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5803/tid=5810] ppid=5801 vsize=915440 CPUtime=0
/proc/5803/task/5810/stat : 5810 (java) S 5801 5803 5410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183906286 937410560 8452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5803/tid=5811] ppid=5801 vsize=915440 CPUtime=0
/proc/5803/task/5811/stat : 5811 (java) S 5801 5803 5410 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183906286 937410560 8452 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.54126
CPU time (s): 1.50377
CPU user time (s): 1.43878
CPU system time (s): 0.06499
CPU usage (%): 97.5673
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43878
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8852
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= 777
involuntary context switches= 977
runsolver used 0.003999 s user time and 0.018997 s system time
The end
Begin job on node43 on Tue Jan 9 15:04:32 UTC 2007
IDJOB= 238395
IDBENCH= 7000
FILE ID= node43/238395-1168355071
PBS_JOBID= 3503954
Free space on /tmp= 66498 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-4/BlackHole-4-4-e-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238395-1168355071/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-238395-1168355071 -o ROOT/results/node43/solver-238395-1168355071 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238395-1168355071/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7c18cc3c8a1f5ce244a2eb0f8ea5cd4e
RANDOM SEED= 895901619
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: 1786056 kB
Buffers: 23608 kB
Cached: 174748 kB
SwapCached: 0 kB
Active: 124820 kB
Inactive: 95920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1786056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3148 kB
Writeback: 0 kB
Mapped: 33792 kB
Slab: 34604 kB
Committed_AS: 4405792 kB
PageTables: 1716 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= 66498 MiB
End job on node43 on Tue Jan 9 15:04:33 UTC 2007