0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/242874-1168382892/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.43
0.43 constraints being loaded...
0.49 nbConstraints=156 nbRelationTypes=11 nbExtensionStructures=11 nbSharedExtensionStructures=145
0.49 nbConflictsStructures=11 nbSharedConflictsStructures=145 nbSharedBinaryRepresentations=0 maxDegree=7 maxArity=3
0.49 => wckTime=0.164 cpuTime=0.14 mem=7M937
0.52
0.52 solver IterativeSystematicSolver being built...
0.71 => wckTime=0.38 cpuTime=0.3 mem=15M400
0.74
0.74 preprocessing
0.74 nbConstraintChecks=250 nbValidityChecks=151 nbPropagations=308 nbRevisions=426 nbUselessRevisions=327
0.74 nbSingletonTests=119 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.74 => wckTime=0.034 cpuTime=0.02 mem=15M400
0.77
0.77 search
0.77 run=0 nbConstraintChecks=204 nbValidityChecks=162 nbPropagations=433 nbRevisions=715 nbUselessRevisions=507
0.77 nbAssignments=56 nbFailedAssignments=5 nbBacktracks=22 nbVisitedNodes=68 nbRestartNogoods=0 mapSize=9
0.77 nbInferences=0 nbTooLargeKeys=0
0.77 => wckTime=0.064 cpuTime=0.03 mem=16M375
0.78
0.78 search
0.78 run=1 nbConstraintChecks=314 nbValidityChecks=302 nbPropagations=939 nbRevisions=1613 nbUselessRevisions=1122
0.78 nbAssignments=81 nbFailedAssignments=10 nbBacktracks=37 nbVisitedNodes=103 nbRestartNogoods=1 mapSize=18
0.78 nbInferences=0 nbTooLargeKeys=0
0.78 => wckTime=0.07 cpuTime=0.04 mem=16M375
0.78
0.78 search
0.78 run=2 nbConstraintChecks=490 nbValidityChecks=501 nbPropagations=1539 nbRevisions=2726 nbUselessRevisions=1856
0.78 nbAssignments=119 nbFailedAssignments=21 nbBacktracks=61 nbVisitedNodes=163 nbRestartNogoods=2 mapSize=39
0.78 nbInferences=0 nbTooLargeKeys=0
0.78 => wckTime=0.078 cpuTime=0.05 mem=16M375
0.81
0.81 search
0.81 run=3 nbConstraintChecks=857 nbValidityChecks=977 nbPropagations=2392 nbRevisions=4494 nbUselessRevisions=2998
0.81 nbAssignments=204 nbFailedAssignments=33 nbBacktracks=99 nbVisitedNodes=271 nbRestartNogoods=3 mapSize=59
0.81 nbInferences=1 nbTooLargeKeys=0
0.81 => wckTime=0.098 cpuTime=0.06 mem=16M375
0.82
0.82 search
0.82 run=4 nbConstraintChecks=1288 nbValidityChecks=1588 nbPropagations=3544 nbRevisions=6975
0.82 nbUselessRevisions=4560 nbAssignments=299 nbFailedAssignments=53 nbBacktracks=155 nbVisitedNodes=407
0.82 nbRestartNogoods=6 mapSize=99 nbInferences=1 nbTooLargeKeys=0
0.82 => wckTime=0.113 cpuTime=0.07 mem=16M375
0.83
0.83 search
0.83 run=5 nbConstraintChecks=1766 nbValidityChecks=2303 nbPropagations=5036 nbRevisions=10244
0.83 nbUselessRevisions=6576 nbAssignments=403 nbFailedAssignments=75 nbBacktracks=231 nbVisitedNodes=557
0.83 nbRestartNogoods=7 mapSize=144 nbInferences=1 nbTooLargeKeys=0
0.83 => wckTime=0.127 cpuTime=0.08 mem=16M375
0.85
0.85 search
0.85 run=6 nbConstraintChecks=2448 nbValidityChecks=3351 nbPropagations=7001 nbRevisions=14655
0.85 nbUselessRevisions=9269 nbAssignments=565 nbFailedAssignments=100 nbBacktracks=344 nbVisitedNodes=779
0.85 nbRestartNogoods=8 mapSize=201 nbInferences=1 nbTooLargeKeys=0
0.85 => wckTime=0.144 cpuTime=0.09 mem=16M375
0.87
0.87 search
0.87 run=7 nbConstraintChecks=3547 nbValidityChecks=5214 nbPropagations=9754 nbRevisions=21018
0.87 nbUselessRevisions=13123 nbAssignments=786 nbFailedAssignments=142 nbBacktracks=514 nbVisitedNodes=1092
0.87 nbRestartNogoods=11 mapSize=291 nbInferences=2 nbTooLargeKeys=0
0.87 => wckTime=0.163 cpuTime=0.11 mem=16M375
0.90
0.90 search
0.90 run=8 nbConstraintChecks=4699 nbValidityChecks=7086 nbPropagations=13334 nbRevisions=29421
0.90 nbUselessRevisions=18181 nbAssignments=1107 nbFailedAssignments=186 nbBacktracks=773 nbVisitedNodes=1508
0.90 nbRestartNogoods=13 mapSize=378 nbInferences=2 nbTooLargeKeys=0
0.90 => wckTime=0.192 cpuTime=0.14 mem=16M375
0.91
0.91 search
0.92 run=9 nbConstraintChecks=5264 nbValidityChecks=7711 nbPropagations=17191 nbRevisions=38548
0.92 nbUselessRevisions=23698 nbAssignments=1286 nbFailedAssignments=200 nbBacktracks=837 nbVisitedNodes=1715
0.92 nbRestartNogoods=17 mapSize=401 nbInferences=3 nbTooLargeKeys=0
0.92 => wckTime=0.208 cpuTime=0.15 mem=16M375
0.92
0.92 global
0.92 nbConstraintChecks=5514 nbValidityChecks=7862 nbPropagations=17499 nbRevisions=38974 nbUselessRevisions=24025
0.92 nbRestartNogoods=17 solvingWckTime=0.209 solvingCpuTime=0.15 expiredTime=no totalExploration=no
0.92 nbFoundSolutions=1 globalCpuTime=0.49
0.92 => wckTime=0.59 cpuTime=0.45 mem=16M375
0.92
0.92 s SATISFIABLE
0.92 v 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 1 0
0.92 d NODES 1286
0.92 d CHECKS 5514
0.92
0.92 totalWckTime=0.666 totalCpuTime=0.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-242874-1168382892 -o ROOT/results/node5/solver-242874-1168382892 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242874-1168382892/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.09 1.03 1.08 2/78 14591
/proc/meminfo: memFree=1727680/2055920 swapFree=4192812/4192956
[pid=14590] ppid=14588 vsize=1788 CPUtime=0
/proc/14590/stat : 14590 (java) R 14588 14590 13689 0 -1 0 189 0 0 0 0 0 0 0 18 0 1 0 166903684 1830912 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14590/statm: 447 159 123 14 0 92 0
[startup+0.10571 s]
/proc/loadavg: 1.09 1.03 1.08 2/78 14591
/proc/meminfo: memFree=1727680/2055920 swapFree=4192812/4192956
[pid=14590] ppid=14588 vsize=912432 CPUtime=0.06
/proc/14590/stat : 14590 (java) R 14588 14590 13689 0 -1 0 2694 0 1 0 5 1 0 0 21 0 8 0 166903684 934330368 2441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14590/statm: 228108 2452 1341 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912432
[startup+0.513762 s]
/proc/loadavg: 1.09 1.03 1.08 2/78 14591
/proc/meminfo: memFree=1727680/2055920 swapFree=4192812/4192956
[pid=14590] ppid=14588 vsize=915328 CPUtime=0.46
/proc/14590/stat : 14590 (java) S 14588 14590 13689 0 -1 0 6400 0 1 0 42 4 0 0 16 0 8 0 166903684 937295872 6139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14590/statm: 228832 6139 2159 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 0.975555
CPU time (s): 0.889864
CPU user time (s): 0.819875
CPU system time (s): 0.069989
CPU usage (%): 91.2162
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.819875
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9039
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= 700
involuntary context switches= 111
runsolver used 0.001999 s user time and 0.008998 s system time
The end
Begin job on node5 on Tue Jan 9 22:48:12 UTC 2007
IDJOB= 242874
IDBENCH= 7425
FILE ID= node5/242874-1168382892
PBS_JOBID= 3522353
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-100/aim-100-1-6-sat-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242874-1168382892/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-242874-1168382892 -o ROOT/results/node5/solver-242874-1168382892 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242874-1168382892/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 51a478d46692e01da3ba52e38bc1bfa2
RANDOM SEED= 279016877
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.240
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.240
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: 1728288 kB
Buffers: 47392 kB
Cached: 184420 kB
SwapCached: 0 kB
Active: 162444 kB
Inactive: 112356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1728288 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1764 kB
Writeback: 0 kB
Mapped: 62084 kB
Slab: 38344 kB
Committed_AS: 4963200 kB
PageTables: 1804 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= 66558 MiB
End job on node5 on Tue Jan 9 22:48:14 UTC 2007