0.30
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/222674-1168080352/unknown.xml
0.37
0.37 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=106 nbDomainTypes=100 minDomainSize=1 maxDomainSize=6
0.44 => wckTime=0.13 cpuTime=0.1 mem=6M886
0.44
0.44 relations being loaded...
0.46
0.46 constraints being loaded...
0.63 nbConstraints=624 nbRelationTypes=161 nbSingletonDomainVariables=1 nbExtensionStructures=616
0.63 nbSharedExtensionStructures=8 nbConflictsStructures=616 nbSharedConflictsStructures=8
0.63 nbSharedBinaryRepresentations=4933 maxDegree=13 maxArity=2
0.63 => wckTime=0.328 cpuTime=0.22 mem=10M803
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.538 cpuTime=0.36 mem=14M821
0.86
0.86 preprocessing
0.86 nbConstraintChecks=28 nbPropagations=106 nbRevisions=6 nbUselessRevisions=0 nbRemovedValues=6
0.86 detectedInconsistency=no
0.86 => wckTime=0.012 cpuTime=0.01 mem=14M821
0.90
0.90 search
0.90 run=0 nbConstraintChecks=2185 nbPropagations=387 nbRevisions=820 nbUselessRevisions=463 nbAssignments=50
0.90 nbFailedAssignments=1 nbBacktracks=13 nbVisitedNodes=57 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.053 cpuTime=0.03 mem=14M821
0.91
0.91 search
0.91 run=1 nbConstraintChecks=6202 nbPropagations=1154 nbRevisions=3208 nbUselessRevisions=1827 nbAssignments=108
0.91 nbFailedAssignments=7 nbBacktracks=29 nbVisitedNodes=130 nbRestartNogoods=1 mapSize=17 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.068 cpuTime=0.04 mem=14M821
0.93
0.94 search
0.94 run=2 nbConstraintChecks=12175 nbPropagations=2453 nbRevisions=8044 nbUselessRevisions=4633 nbAssignments=177
0.94 nbFailedAssignments=17 nbBacktracks=51 nbVisitedNodes=219 nbRestartNogoods=3 mapSize=34 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.09 cpuTime=0.06 mem=14M821
0.95
0.95 search
0.95 run=3 nbConstraintChecks=16147 nbPropagations=4159 nbRevisions=14471 nbUselessRevisions=8399 nbAssignments=251
0.95 nbFailedAssignments=23 nbBacktracks=85 nbVisitedNodes=304 nbRestartNogoods=5 mapSize=42 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.103 cpuTime=0.07 mem=14M821
0.96
0.96 search
0.96 run=4 nbConstraintChecks=23456 nbPropagations=6528 nbRevisions=23955 nbUselessRevisions=13990
0.96 nbAssignments=344 nbFailedAssignments=33 nbBacktracks=138 nbVisitedNodes=419 nbRestartNogoods=7 mapSize=61
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.116 cpuTime=0.08 mem=14M821
0.98
0.98 search
0.98 run=5 nbConstraintChecks=28866 nbPropagations=9415 nbRevisions=35865 nbUselessRevisions=21175
0.98 nbAssignments=448 nbFailedAssignments=36 nbBacktracks=217 nbVisitedNodes=534 nbRestartNogoods=9 mapSize=71
0.98 nbInferences=1 nbTooLargeKeys=0
0.98 => wckTime=0.129 cpuTime=0.09 mem=14M821
0.99
0.99 search
0.99 run=6 nbConstraintChecks=40157 nbPropagations=13354 nbRevisions=52175 nbUselessRevisions=30855
0.99 nbAssignments=609 nbFailedAssignments=59 nbBacktracks=330 nbVisitedNodes=753 nbRestartNogoods=10 mapSize=125
0.99 nbInferences=1 nbTooLargeKeys=0
0.99 => wckTime=0.149 cpuTime=0.11 mem=14M821
1.02
1.02 search
1.02 run=7 nbConstraintChecks=64172 nbPropagations=19214 nbRevisions=78370 nbUselessRevisions=46296
1.02 nbAssignments=843 nbFailedAssignments=102 nbBacktracks=504 nbVisitedNodes=1092 nbRestartNogoods=12 mapSize=221
1.02 nbInferences=1 nbTooLargeKeys=0
1.02 => wckTime=0.176 cpuTime=0.13 mem=14M821
1.04
1.04 search
1.04 run=8 nbConstraintChecks=79843 nbPropagations=26360 nbRevisions=111153 nbUselessRevisions=65845
1.04 nbAssignments=1064 nbFailedAssignments=124 nbBacktracks=597 nbVisitedNodes=1359 nbRestartNogoods=14
1.04 mapSize=261 nbInferences=1 nbTooLargeKeys=0
1.04 => wckTime=0.199 cpuTime=0.16 mem=14M821
1.05
1.05 global
1.05 nbConstraintChecks=79871 nbPropagations=26466 nbRevisions=111159 nbUselessRevisions=65845 nbRestartNogoods=14
1.05 solvingWckTime=0.201 solvingCpuTime=0.16 expiredTime=no totalExploration=no nbFoundSolutions=1
1.05 globalCpuTime=0.58
1.05 => wckTime=0.741 cpuTime=0.52 mem=14M821
1.05
1.05 s SATISFIABLE
1.05 v 2 1 4 5 14 6 10 1 4 5 0 14 2 9 9 1 4 13 10 0 2 11 12 14 4 13 7 10 13 7 2 14 6 9 5 13 8 14 1 12 2 7 5 14 3 1 11 13 7 4 14 7 1 2 6 3 4 14 7 0 12 8 5 7 1 10 13 5 4 12 7 6 2 10 3 14 4 4 9 13 10 5 11 14 14 6 10 4 11 1 5 12 0 3 10 14 1 2 9 5 11 7 6 12 13 14
1.05 d NODES 1064
1.05 d CHECKS 79871
1.05
1.05 totalWckTime=0.823 totalCpuTime=0.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-222674-1168080352 -o ROOT/results/node62/solver-222674-1168080352 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222674-1168080352/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.59 1.42 1.67 3/68 3418
/proc/meminfo: memFree=1132952/2055920 swapFree=4192812/4192956
[pid=3417] ppid=3415 vsize=172 CPUtime=0
/proc/3417/stat : 3417 (java) R 3415 3417 2895 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156433700 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8106283 0 0 4096 0 0 0 0 17 1 0 0
/proc/3417/statm: 43 24 18 14 0 3 0
[startup+0.103643 s]
/proc/loadavg: 0.59 1.42 1.67 3/68 3418
/proc/meminfo: memFree=1132952/2055920 swapFree=4192812/4192956
[pid=3417] ppid=3415 vsize=914988 CPUtime=0.09
/proc/3417/stat : 3417 (java) R 3415 3417 2895 0 -1 0 3036 0 1 0 7 2 0 0 22 0 8 0 156433700 936947712 2782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3417/statm: 228747 2782 1442 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511724 s]
/proc/loadavg: 0.59 1.42 1.67 3/68 3418
/proc/meminfo: memFree=1132952/2055920 swapFree=4192812/4192956
[pid=3417] ppid=3415 vsize=915328 CPUtime=0.49
/proc/3417/stat : 3417 (java) R 3415 3417 2895 0 -1 0 6304 0 1 0 45 4 0 0 19 0 8 0 156433700 937295872 6043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073645611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3417/statm: 228832 6043 2140 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.07275
CPU time (s): 1.04884
CPU user time (s): 0.969852
CPU system time (s): 0.078987
CPU usage (%): 97.7708
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.969852
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8765
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= 1076
involuntary context switches= 1198
runsolver used 0.002999 s user time and 0.007998 s system time
The end
Begin job on node62 on Sat Jan 6 10:45:53 UTC 2007
IDJOB= 222674
IDBENCH= 5549
FILE ID= node62/222674-1168080352
PBS_JOBID= 3476157
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-15-106/bqwh-15-106-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222674-1168080352/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-222674-1168080352 -o ROOT/results/node62/solver-222674-1168080352 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222674-1168080352/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 245b222be15f719c1f31e78c5d9f34d9
RANDOM SEED= 503549904
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.259
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.259
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: 1133304 kB
Buffers: 59388 kB
Cached: 764908 kB
SwapCached: 0 kB
Active: 123512 kB
Inactive: 720892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1133304 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1896 kB
Writeback: 0 kB
Mapped: 30312 kB
Slab: 63876 kB
Committed_AS: 2857136 kB
PageTables: 1684 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= 66549 MiB
End job on node62 on Sat Jan 6 10:46:02 UTC 2007