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/244462-1168385827/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.61 nbConstraints=849 nbRelationTypes=223 nbExtensionStructures=223 nbSharedExtensionStructures=626
0.62 nbConflictsStructures=223 nbSharedConflictsStructures=626 nbSharedBinaryRepresentations=17 maxDegree=59
0.62 maxArity=10
0.62 => wckTime=0.304 cpuTime=0.22 mem=11M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.561 cpuTime=0.39 mem=23M30
0.95
0.95 preprocessing
0.95 nbConstraintChecks=1462 nbValidityChecks=398 nbPropagations=501 nbRevisions=1441 nbUselessRevisions=1092
0.95 nbSingletonTests=124 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=0 detectedInconsistency=no
0.95 => wckTime=0.08 cpuTime=0.06 mem=23M30
0.98
0.98 search
0.98 run=0 nbConstraintChecks=396 nbValidityChecks=206 nbPropagations=570 nbRevisions=1914 nbUselessRevisions=1488
0.98 nbAssignments=25 nbFailedAssignments=1 nbBacktracks=14 nbVisitedNodes=28 nbRestartNogoods=0 mapSize=1
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.109 cpuTime=0.08 mem=23M30
1.01
1.01 search
1.01 run=1 nbConstraintChecks=1309 nbValidityChecks=980 nbPropagations=1310 nbRevisions=5088
1.01 nbUselessRevisions=4016 nbAssignments=67 nbFailedAssignments=6 nbBacktracks=43 nbVisitedNodes=80
1.01 nbRestartNogoods=1 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.135 cpuTime=0.11 mem=23M30
1.03
1.03 search
1.03 run=2 nbConstraintChecks=2322 nbValidityChecks=2068 nbPropagations=2238 nbRevisions=9804
1.03 nbUselessRevisions=7829 nbAssignments=128 nbFailedAssignments=13 nbBacktracks=88 nbVisitedNodes=153
1.03 nbRestartNogoods=2 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.156 cpuTime=0.13 mem=23M30
1.06
1.06 search
1.06 run=3 nbConstraintChecks=3732 nbValidityChecks=3487 nbPropagations=3456 nbRevisions=16509
1.06 nbUselessRevisions=13262 nbAssignments=196 nbFailedAssignments=23 nbBacktracks=127 nbVisitedNodes=238
1.06 nbRestartNogoods=3 mapSize=35 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.185 cpuTime=0.15 mem=23M30
1.09
1.09 search
1.09 run=4 nbConstraintChecks=4988 nbValidityChecks=4807 nbPropagations=4944 nbRevisions=24955
1.09 nbUselessRevisions=20105 nbAssignments=276 nbFailedAssignments=31 nbBacktracks=181 nbVisitedNodes=335
1.09 nbRestartNogoods=5 mapSize=51 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.211 cpuTime=0.18 mem=23M30
1.12
1.12 search
1.12 run=5 nbConstraintChecks=7230 nbValidityChecks=7081 nbPropagations=6883 nbRevisions=36588
1.12 nbUselessRevisions=29584 nbAssignments=382 nbFailedAssignments=40 nbBacktracks=270 nbVisitedNodes=467
1.12 nbRestartNogoods=7 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.251 cpuTime=0.21 mem=23M30
1.15
1.15 search
1.15 run=6 nbConstraintChecks=8747 nbValidityChecks=8786 nbPropagations=9113 nbRevisions=50542
1.15 nbUselessRevisions=41004 nbAssignments=443 nbFailedAssignments=48 nbBacktracks=324 nbVisitedNodes=541
1.15 nbRestartNogoods=9 mapSize=88 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.272 cpuTime=0.23 mem=23M30
1.15
1.15 global
1.15 nbConstraintChecks=10209 nbValidityChecks=9184 nbPropagations=9614 nbRevisions=51983 nbUselessRevisions=42096
1.15 nbRestartNogoods=9 solvingWckTime=0.273 solvingCpuTime=0.23 expiredTime=no totalExploration=yes
1.15 nbFoundSolutions=0 globalCpuTime=0.66
1.15 => wckTime=0.836 cpuTime=0.62 mem=23M30
1.15
1.15 s UNSATISFIABLE
1.15 d NODES 443
1.15 d CHECKS 10209
1.15
1.15 totalWckTime=0.911 totalCpuTime=0.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-244462-1168385827 -o ROOT/results/node4/solver-244462-1168385827 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/244462-1168385827/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.57 1.49 1.66 2/82 2669
/proc/meminfo: memFree=1772800/2055920 swapFree=4182144/4192956
[pid=2668] ppid=2665 vsize=1784 CPUtime=0
/proc/2668/stat : 2668 (java) D 2665 2668 1529 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 186978328 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/2668/statm: 446 140 106 14 0 91 0
[startup+0.102079 s]
/proc/loadavg: 0.57 1.49 1.66 2/82 2669
/proc/meminfo: memFree=1772800/2055920 swapFree=4182144/4192956
[pid=2668] ppid=2665 vsize=913068 CPUtime=0.07
/proc/2668/stat : 2668 (java) S 2665 2668 1529 0 -1 0 2874 0 1 0 6 1 0 0 16 0 8 0 186978328 934981632 2620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2668/statm: 228267 2620 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.510115 s]
/proc/loadavg: 0.57 1.49 1.66 2/82 2669
/proc/meminfo: memFree=1772800/2055920 swapFree=4182144/4192956
[pid=2668] ppid=2665 vsize=916352 CPUtime=0.49
/proc/2668/stat : 2668 (java) R 2665 2668 1529 0 -1 0 6332 0 1 0 45 4 0 0 16 0 8 0 186978328 938344448 6071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073542774 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2668/statm: 229088 6071 2137 14 0 215558 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916352
Child status: 0
Real time (s): 1.18851
CPU time (s): 1.14082
CPU user time (s): 1.05484
CPU system time (s): 0.085986
CPU usage (%): 95.9878
Max. virtual memory (cumulated for all children) (KiB): 916580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.05484
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10820
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= 793
involuntary context switches= 77
runsolver used 0.005999 s user time and 0.008998 s system time
The end
Begin job on node4 on Tue Jan 9 23:37:08 UTC 2007
IDJOB= 244462
IDBENCH= 8480
FILE ID= node4/244462-1168385827
PBS_JOBID= 3522618
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh09_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/244462-1168385827/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-244462-1168385827 -o ROOT/results/node4/solver-244462-1168385827 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/244462-1168385827/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f6e54ff320cd918b79a790bf638f0193
RANDOM SEED= 633295342
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.223
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.223
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: 1773544 kB
Buffers: 56236 kB
Cached: 128788 kB
SwapCached: 2520 kB
Active: 163280 kB
Inactive: 63664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1773544 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 51444 kB
Slab: 40472 kB
Committed_AS: 5892364 kB
PageTables: 2232 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= 66531 MiB
End job on node4 on Tue Jan 9 23:37:11 UTC 2007