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/242614-1168381458/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.104 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.49 nbConstraints=157 nbRelationTypes=13 nbExtensionStructures=13 nbSharedExtensionStructures=144
0.49 nbConflictsStructures=13 nbSharedConflictsStructures=144 nbSharedBinaryRepresentations=5 maxDegree=8 maxArity=3
0.49 => wckTime=0.179 cpuTime=0.13 mem=7M937
0.53
0.53 solver IterativeSystematicSolver being built...
0.71 => wckTime=0.403 cpuTime=0.28 mem=15M409
0.75
0.75 preprocessing
0.75 nbConstraintChecks=265 nbValidityChecks=160 nbPropagations=341 nbRevisions=416 nbUselessRevisions=322
0.75 nbSingletonTests=156 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
0.75 => wckTime=0.033 cpuTime=0.03 mem=15M409
0.78
0.78 search
0.78 run=0 nbConstraintChecks=130 nbValidityChecks=99 nbPropagations=420 nbRevisions=584 nbUselessRevisions=437
0.78 nbAssignments=52 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=62 nbRestartNogoods=0 mapSize=7
0.78 nbInferences=0 nbTooLargeKeys=0
0.78 => wckTime=0.063 cpuTime=0.05 mem=16M384
0.79
0.79 search
0.79 run=1 nbConstraintChecks=337 nbValidityChecks=349 nbPropagations=985 nbRevisions=1480 nbUselessRevisions=1058
0.79 nbAssignments=112 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=137 nbRestartNogoods=1 mapSize=19
0.79 nbInferences=0 nbTooLargeKeys=0
0.79 => wckTime=0.076 cpuTime=0.06 mem=16M384
0.80
0.80 search
0.80 run=2 nbConstraintChecks=553 nbValidityChecks=613 nbPropagations=1681 nbRevisions=2700 nbUselessRevisions=1891
0.80 nbAssignments=178 nbFailedAssignments=27 nbBacktracks=50 nbVisitedNodes=225 nbRestartNogoods=2 mapSize=35
0.80 nbInferences=0 nbTooLargeKeys=0
0.80 => wckTime=0.087 cpuTime=0.07 mem=16M384
0.82
0.82 search
0.82 run=3 nbConstraintChecks=762 nbValidityChecks=886 nbPropagations=2532 nbRevisions=4240 nbUselessRevisions=2900
0.82 nbAssignments=244 nbFailedAssignments=37 nbBacktracks=85 nbVisitedNodes=308 nbRestartNogoods=4 mapSize=57
0.82 nbInferences=0 nbTooLargeKeys=0
0.82 => wckTime=0.1 cpuTime=0.07 mem=16M384
0.83
0.83 search
0.83 run=4 nbConstraintChecks=1034 nbValidityChecks=1283 nbPropagations=3570 nbRevisions=6227
0.83 nbUselessRevisions=4176 nbAssignments=333 nbFailedAssignments=60 nbBacktracks=135 nbVisitedNodes=440
0.83 nbRestartNogoods=6 mapSize=97 nbInferences=0 nbTooLargeKeys=0
0.83 => wckTime=0.114 cpuTime=0.08 mem=16M384
0.85
0.85 search
0.85 run=5 nbConstraintChecks=1509 nbValidityChecks=1935 nbPropagations=4953 nbRevisions=8918
0.85 nbUselessRevisions=5834 nbAssignments=471 nbFailedAssignments=89 nbBacktracks=211 nbVisitedNodes=619
0.85 nbRestartNogoods=9 mapSize=150 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.132 cpuTime=0.1 mem=16M384
0.87
0.87 search
0.87 run=6 nbConstraintChecks=2289 nbValidityChecks=3097 nbPropagations=6894 nbRevisions=12820
0.87 nbUselessRevisions=8163 nbAssignments=655 nbFailedAssignments=131 nbBacktracks=324 nbVisitedNodes=872
0.87 nbRestartNogoods=14 mapSize=225 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.153 cpuTime=0.11 mem=16M384
0.89
0.89 search
0.89 run=7 nbConstraintChecks=3253 nbValidityChecks=4495 nbPropagations=9504 nbRevisions=18204
0.89 nbUselessRevisions=11338 nbAssignments=912 nbFailedAssignments=195 nbBacktracks=494 nbVisitedNodes=1226
0.89 nbRestartNogoods=18 mapSize=339 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.172 cpuTime=0.13 mem=16M384
0.92
0.92 search
0.92 run=8 nbConstraintChecks=4903 nbValidityChecks=6775 nbPropagations=13301 nbRevisions=26007
0.92 nbUselessRevisions=15755 nbAssignments=1281 nbFailedAssignments=294 nbBacktracks=753 nbVisitedNodes=1792
0.92 nbRestartNogoods=20 mapSize=530 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.203 cpuTime=0.16 mem=16M384
0.97
0.97 search
0.97 run=9 nbConstraintChecks=7234 nbValidityChecks=10254 nbPropagations=18770 nbRevisions=37429
0.97 nbUselessRevisions=22120 nbAssignments=1832 nbFailedAssignments=435 nbBacktracks=1138 nbVisitedNodes=2620
0.97 nbRestartNogoods=26 mapSize=822 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.254 cpuTime=0.18 mem=16M384
0.98
0.98 search
0.98 run=10 nbConstraintChecks=7618 nbValidityChecks=10913 nbPropagations=24546 nbRevisions=49532
0.98 nbUselessRevisions=28846 nbAssignments=1928 nbFailedAssignments=458 nbBacktracks=1212 nbVisitedNodes=2763
0.98 nbRestartNogoods=30 mapSize=868 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.264 cpuTime=0.19 mem=16M384
0.98
0.98 global
0.98 nbConstraintChecks=7883 nbValidityChecks=11073 nbPropagations=24887 nbRevisions=49948 nbUselessRevisions=29168
0.98 nbRestartNogoods=30 solvingWckTime=0.265 solvingCpuTime=0.19 expiredTime=no totalExploration=yes
0.98 nbFoundSolutions=0 globalCpuTime=0.54
0.98 => wckTime=0.67 cpuTime=0.47 mem=16M384
0.98
0.98 s UNSATISFIABLE
0.98 d NODES 1928
0.98 d CHECKS 7883
0.98
0.98 totalWckTime=0.75 totalCpuTime=0.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-242614-1168381458 -o ROOT/results/node3/solver-242614-1168381458 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242614-1168381458/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.72 1.08 1.41 3/87 25715
/proc/meminfo: memFree=1724760/2055920 swapFree=4192812/4192956
[pid=25714] ppid=25712 vsize=18540 CPUtime=0
/proc/25714/stat : 25714 (runsolver) R 25712 25714 25467 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 186541436 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25714/statm: 4635 279 244 17 0 2626 0
[startup+0.103017 s]
/proc/loadavg: 0.72 1.08 1.41 3/87 25715
/proc/meminfo: memFree=1724760/2055920 swapFree=4192812/4192956
[pid=25714] ppid=25712 vsize=914988 CPUtime=0.08
/proc/25714/stat : 25714 (java) R 25712 25714 25467 0 -1 0 2995 0 1 0 8 0 0 0 20 0 8 0 186541436 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25714/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511082 s]
/proc/loadavg: 0.72 1.08 1.41 3/87 25715
/proc/meminfo: memFree=1724760/2055920 swapFree=4192812/4192956
[pid=25714] ppid=25712 vsize=915328 CPUtime=0.49
/proc/25714/stat : 25714 (java) R 25712 25714 25467 0 -1 0 6412 0 1 0 46 3 0 0 18 0 8 0 186541436 937295872 6150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25714/statm: 228832 6150 2160 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.02662
CPU time (s): 0.972851
CPU user time (s): 0.912861
CPU system time (s): 0.05999
CPU usage (%): 94.7628
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.912861
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9057
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= 1017
involuntary context switches= 1212
runsolver used 0.003999 s user time and 0.012998 s system time
The end
Begin job on node3 on Tue Jan 9 22:24:18 UTC 2007
IDJOB= 242614
IDBENCH= 7405
FILE ID= node3/242614-1168381458
PBS_JOBID= 3522406
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/aim-100/aim-100-1-6-unsat-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242614-1168381458/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-242614-1168381458 -o ROOT/results/node3/solver-242614-1168381458 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242614-1168381458/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dca806e3737fb43b4e6a4223fe0aab32
RANDOM SEED= 197271227
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.279
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.279
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: 1725176 kB
Buffers: 51040 kB
Cached: 168260 kB
SwapCached: 0 kB
Active: 178240 kB
Inactive: 98912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1725176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3148 kB
Writeback: 0 kB
Mapped: 78076 kB
Slab: 38572 kB
Committed_AS: 5611964 kB
PageTables: 2024 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= 66559 MiB
End job on node3 on Tue Jan 9 22:24:20 UTC 2007