0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=esac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/242206-1168377586/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.37 nbVariables=75 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.37 => wckTime=0.089 cpuTime=0.08 mem=6M951
0.37
0.37 relations being loaded...
0.38
0.38 constraints being loaded...
0.41 nbConstraints=50 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=48
0.41 nbConflictsStructures=2 nbSharedConflictsStructures=48 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.41 => wckTime=0.126 cpuTime=0.11 mem=6M951
0.44
0.44 solver IterativeSystematicSolver being built...
0.62 => wckTime=0.332 cpuTime=0.25 mem=15M341
0.65
0.65 preprocessing
0.65 nbConstraintChecks=236 nbValidityChecks=843 nbPropagations=313 nbRevisions=439 nbUselessRevisions=341
0.65 nbSingletonTests=144 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.65 => wckTime=0.028 cpuTime=0.01 mem=15M341
0.68
0.68 search
0.68 run=0 nbConstraintChecks=110 nbValidityChecks=453 nbPropagations=413 nbRevisions=640 nbUselessRevisions=465
0.68 nbAssignments=57 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=64 nbRestartNogoods=0 mapSize=3
0.68 nbInferences=0 nbTooLargeKeys=0
0.68 => wckTime=0.057 cpuTime=0.03 mem=15M341
0.70
0.70 search
0.70 run=1 nbConstraintChecks=265 nbValidityChecks=1024 nbPropagations=953 nbRevisions=1527 nbUselessRevisions=1073
0.70 nbAssignments=122 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=140 nbRestartNogoods=2 mapSize=12
0.70 nbInferences=0 nbTooLargeKeys=0
0.70 => wckTime=0.077 cpuTime=0.04 mem=15M341
0.71
0.71 search
0.71 run=2 nbConstraintChecks=480 nbValidityChecks=1704 nbPropagations=1643 nbRevisions=2715
0.71 nbUselessRevisions=1857 nbAssignments=193 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=225
0.71 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.71 => wckTime=0.089 cpuTime=0.05 mem=15M341
0.72
0.72 search
0.72 run=3 nbConstraintChecks=764 nbValidityChecks=2617 nbPropagations=2530 nbRevisions=4292
0.72 nbUselessRevisions=2871 nbAssignments=280 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=332
0.72 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.72 => wckTime=0.105 cpuTime=0.05 mem=15M341
0.74
0.74 search
0.74 run=4 nbConstraintChecks=1078 nbValidityChecks=3613 nbPropagations=3642 nbRevisions=6291
0.74 nbUselessRevisions=4120 nbAssignments=390 nbFailedAssignments=31 nbBacktracks=139 nbVisitedNodes=467
0.74 nbRestartNogoods=8 mapSize=63 nbInferences=16 nbTooLargeKeys=0
0.74 => wckTime=0.118 cpuTime=0.06 mem=15M341
0.75
0.75 search
0.75 run=5 nbConstraintChecks=1553 nbValidityChecks=5039 nbPropagations=5060 nbRevisions=8882
0.75 nbUselessRevisions=5704 nbAssignments=533 nbFailedAssignments=45 nbBacktracks=216 nbVisitedNodes=649
0.75 nbRestartNogoods=10 mapSize=100 nbInferences=28 nbTooLargeKeys=0
0.75 => wckTime=0.135 cpuTime=0.07 mem=15M341
0.77
0.77 search
0.77 run=6 nbConstraintChecks=2665 nbValidityChecks=8485 nbPropagations=7301 nbRevisions=13009
0.77 nbUselessRevisions=8130 nbAssignments=727 nbFailedAssignments=50 nbBacktracks=329 nbVisitedNodes=907
0.77 nbRestartNogoods=12 mapSize=162 nbInferences=83 nbTooLargeKeys=0
0.77 => wckTime=0.154 cpuTime=0.09 mem=15M341
0.80
0.80 search
0.80 run=7 nbConstraintChecks=5639 nbValidityChecks=17319 nbPropagations=11722 nbRevisions=20875
0.80 nbUselessRevisions=12416 nbAssignments=1067 nbFailedAssignments=53 nbBacktracks=505 nbVisitedNodes=1388
0.80 nbRestartNogoods=14 mapSize=301 nbInferences=220 nbTooLargeKeys=0
0.80 => wckTime=0.178 cpuTime=0.11 mem=15M341
0.83
0.83 search
0.83 run=8 nbConstraintChecks=7529 nbValidityChecks=23021 nbPropagations=17509 nbRevisions=31213
0.83 nbUselessRevisions=17983 nbAssignments=1450 nbFailedAssignments=77 nbBacktracks=763 nbVisitedNodes=1898
0.83 nbRestartNogoods=16 mapSize=425 nbInferences=299 nbTooLargeKeys=0
0.83 => wckTime=0.209 cpuTime=0.14 mem=15M341
0.88
0.88 search
0.88 run=9 nbConstraintChecks=11923 nbValidityChecks=35534 nbPropagations=26295 nbRevisions=46851
0.88 nbUselessRevisions=26347 nbAssignments=2111 nbFailedAssignments=82 nbBacktracks=1147 nbVisitedNodes=2806
0.88 nbRestartNogoods=19 mapSize=667 nbInferences=537 nbTooLargeKeys=0
0.88 => wckTime=0.256 cpuTime=0.17 mem=15M341
0.92
0.92 search
0.92 run=10 nbConstraintChecks=18306 nbValidityChecks=53846 nbPropagations=39500 nbRevisions=70350
0.92 nbUselessRevisions=38938 nbAssignments=3111 nbFailedAssignments=88 nbBacktracks=1724 nbVisitedNodes=4197
0.92 nbRestartNogoods=24 mapSize=1053 nbInferences=916 nbTooLargeKeys=0
0.92 => wckTime=0.301 cpuTime=0.2 mem=15M341
0.97
0.97 search
0.97 run=11 nbConstraintChecks=25253 nbValidityChecks=74020 nbPropagations=57319 nbRevisions=102425
0.97 nbUselessRevisions=56498 nbAssignments=4486 nbFailedAssignments=91 nbBacktracks=2592 nbVisitedNodes=6077
0.97 nbRestartNogoods=29 mapSize=1554 nbInferences=1415 nbTooLargeKeys=0
0.97 => wckTime=0.35 cpuTime=0.25 mem=16M316
1.01
1.01 search
1.01 run=12 nbConstraintChecks=31799 nbValidityChecks=94170 nbPropagations=79808 nbRevisions=143368
1.01 nbUselessRevisions=79378 nbAssignments=5990 nbFailedAssignments=91 nbBacktracks=3537 nbVisitedNodes=8140
1.01 nbRestartNogoods=33 mapSize=2112 nbInferences=1975 nbTooLargeKeys=0
1.01 => wckTime=0.395 cpuTime=0.29 mem=16M316
1.02
1.02 global
1.02 nbConstraintChecks=32035 nbValidityChecks=95013 nbPropagations=80121 nbRevisions=143807
1.02 nbUselessRevisions=79719 nbRestartNogoods=33 solvingWckTime=0.396 solvingCpuTime=0.3 expiredTime=no
1.02 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.6
1.02 => wckTime=0.73 cpuTime=0.56 mem=16M316
1.02
1.02 s UNSATISFIABLE
1.02 d NODES 5990
1.02 d CHECKS 32035
1.02
1.02 totalWckTime=0.805 totalCpuTime=0.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-242206-1168377586 -o ROOT/results/node10/solver-242206-1168377586 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242206-1168377586/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.93 0.97 0.89 4/87 4700
/proc/meminfo: memFree=1754192/2055920 swapFree=4178216/4192956
[pid=4699] ppid=4697 vsize=1784 CPUtime=0
/proc/4699/stat : 4699 (java) R 4697 4699 4412 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 186153734 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8905508 0 0 4096 0 0 0 0 17 0 0 0
/proc/4699/statm: 2400 165 129 14 0 1138 0
[startup+0.10442 s]
/proc/loadavg: 0.93 0.97 0.89 4/87 4700
/proc/meminfo: memFree=1754192/2055920 swapFree=4178216/4192956
[pid=4699] ppid=4697 vsize=914988 CPUtime=0.09
/proc/4699/stat : 4699 (java) R 4697 4699 4412 0 -1 0 3100 0 1 0 8 1 0 0 22 0 8 0 186153734 936947712 2846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4699/statm: 228747 2847 1462 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516483 s]
/proc/loadavg: 0.93 0.97 0.89 4/87 4700
/proc/meminfo: memFree=1754192/2055920 swapFree=4178216/4192956
[pid=4699] ppid=4697 vsize=915460 CPUtime=0.5
/proc/4699/stat : 4699 (java) R 4697 4699 4412 0 -1 0 6704 0 1 0 47 3 0 0 25 0 8 0 186153734 937431040 6442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4699/statm: 228865 6442 2473 14 0 215335 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1.06941
CPU time (s): 1.01684
CPU user time (s): 0.952855
CPU system time (s): 0.06399
CPU usage (%): 95.0843
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.952855
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8945
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= 1006
involuntary context switches= 1221
runsolver used 0.002999 s user time and 0.007998 s system time
The end
Begin job on node10 on Tue Jan 9 21:19:46 UTC 2007
IDJOB= 242206
IDBENCH= 7375
FILE ID= node10/242206-1168377586
PBS_JOBID= 3522345
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242206-1168377586/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-242206-1168377586 -o ROOT/results/node10/solver-242206-1168377586 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242206-1168377586/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c8d9181936a64a100d65217b65ed3de1
RANDOM SEED= 79668319
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: 1754608 kB
Buffers: 62700 kB
Cached: 145368 kB
SwapCached: 2596 kB
Active: 137544 kB
Inactive: 106952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1754608 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 3132 kB
Writeback: 0 kB
Mapped: 46736 kB
Slab: 41752 kB
Committed_AS: 5452324 kB
PageTables: 2184 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= 66560 MiB
End job on node10 on Tue Jan 9 21:19:47 UTC 2007