0.30
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/222502-1168264552/unknown.xml
0.37
0.37 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=106 nbDomainTypes=98 minDomainSize=1 maxDomainSize=6
0.43 => wckTime=0.125 cpuTime=0.1 mem=6M886
0.43
0.43 relations being loaded...
0.46
0.46 constraints being loaded...
0.62 nbConstraints=608 nbRelationTypes=153 nbSingletonDomainVariables=1 nbExtensionStructures=594
0.62 nbSharedExtensionStructures=14 nbConflictsStructures=594 nbSharedConflictsStructures=14
0.62 nbSharedBinaryRepresentations=4385 maxDegree=13 maxArity=2
0.62 => wckTime=0.31 cpuTime=0.21 mem=10M819
0.66
0.66 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.517 cpuTime=0.35 mem=14M947
0.89
0.89 preprocessing
0.89 nbConstraintChecks=11317 nbPropagations=1341 nbRevisions=3953 nbUselessRevisions=2500 nbSingletonTests=214
0.89 nbEffectiveSingletonTests=1 nbESACBranches=15 nbRemovedValues=5 detectedInconsistency=no
0.89 => wckTime=0.065 cpuTime=0.04 mem=14M947
0.92
0.92 search
0.92 run=0 nbConstraintChecks=1639 nbPropagations=1547 nbRevisions=4540 nbUselessRevisions=2824 nbAssignments=47
0.92 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.089 cpuTime=0.06 mem=14M947
0.92
0.92 search
0.93 run=1 nbConstraintChecks=4999 nbPropagations=3415 nbRevisions=10566 nbUselessRevisions=6623 nbAssignments=115
0.93 nbFailedAssignments=8 nbBacktracks=46 nbVisitedNodes=131 nbRestartNogoods=1 mapSize=13 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.098 cpuTime=0.06 mem=14M947
0.93
0.93 search
0.93 run=2 nbConstraintChecks=7714 nbPropagations=5587 nbRevisions=17772 nbUselessRevisions=11183 nbAssignments=179
0.93 nbFailedAssignments=11 nbBacktracks=70 nbVisitedNodes=201 nbRestartNogoods=2 mapSize=18 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.105 cpuTime=0.07 mem=14M947
0.94
0.94 search
0.94 run=3 nbConstraintChecks=10426 nbPropagations=8068 nbRevisions=26079 nbUselessRevisions=16425
0.94 nbAssignments=239 nbFailedAssignments=15 nbBacktracks=108 nbVisitedNodes=267 nbRestartNogoods=3 mapSize=23
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.113 cpuTime=0.08 mem=14M947
0.95
0.95 search
0.95 run=4 nbConstraintChecks=17424 nbPropagations=11153 nbRevisions=37483 nbUselessRevisions=23694
0.95 nbAssignments=324 nbFailedAssignments=23 nbBacktracks=169 nbVisitedNodes=366 nbRestartNogoods=4 mapSize=35
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.124 cpuTime=0.09 mem=14M947
0.97
0.97 search
0.97 run=5 nbConstraintChecks=24124 nbPropagations=14889 nbRevisions=51702 nbUselessRevisions=32689
0.97 nbAssignments=445 nbFailedAssignments=37 nbBacktracks=244 nbVisitedNodes=514 nbRestartNogoods=6 mapSize=58
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.14 cpuTime=0.1 mem=14M947
0.99
0.99 search
0.99 run=6 nbConstraintChecks=37569 nbPropagations=19849 nbRevisions=71998 nbUselessRevisions=45639
0.99 nbAssignments=626 nbFailedAssignments=54 nbBacktracks=360 nbVisitedNodes=711 nbRestartNogoods=10 mapSize=91
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.159 cpuTime=0.12 mem=14M947
1.00
1.00 search
1.00 run=7 nbConstraintChecks=44731 nbPropagations=25505 nbRevisions=95002 nbUselessRevisions=60346
1.00 nbAssignments=800 nbFailedAssignments=60 nbBacktracks=384 nbVisitedNodes=860 nbRestartNogoods=14 mapSize=100
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.172 cpuTime=0.13 mem=14M947
1.00
1.00 global
1.00 nbConstraintChecks=56048 nbPropagations=26846 nbRevisions=98955 nbUselessRevisions=62846 nbRestartNogoods=14
1.00 solvingWckTime=0.173 solvingCpuTime=0.13 expiredTime=no totalExploration=no nbFoundSolutions=1
1.00 globalCpuTime=0.53
1.00 => wckTime=0.692 cpuTime=0.48 mem=14M947
1.00
1.00 s SATISFIABLE
1.00 v 4 9 11 5 14 12 1 9 8 0 4 1 11 13 10 1 3 13 11 8 2 4 1 9 11 2 10 12 11 5 12 2 14 4 3 13 6 1 0 5 8 14 11 6 12 5 4 8 14 7 8 14 10 3 2 12 7 13 12 9 0 14 4 1 12 14 5 3 8 11 8 5 7 12 11 9 6 7 2 12 4 11 0 8 14 1 11 3 13 6 7 4 14 7 3 1 11 0 12 3 0 5 10 4 6 1
1.00 d NODES 800
1.00 d CHECKS 56048
1.00
1.00 totalWckTime=0.769 totalCpuTime=0.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-222502-1168264552 -o ROOT/results/node7/solver-222502-1168264552 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222502-1168264552/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.18 0.92 1.42 3/78 25346
/proc/meminfo: memFree=1780576/2055920 swapFree=4192812/4192956
[pid=25345] ppid=25343 vsize=1784 CPUtime=0
/proc/25345/stat : 25345 (java) R 25343 25345 24299 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 174850947 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/25345/statm: 446 136 102 14 0 91 0
[startup+0.106249 s]
/proc/loadavg: 0.18 0.92 1.42 3/78 25346
/proc/meminfo: memFree=1780576/2055920 swapFree=4192812/4192956
[pid=25345] ppid=25343 vsize=914988 CPUtime=0.08
/proc/25345/stat : 25345 (java) D 25343 25345 24299 0 -1 0 2987 0 1 0 7 1 0 0 21 0 8 0 174850947 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25345/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514293 s]
/proc/loadavg: 0.18 0.92 1.42 3/78 25346
/proc/meminfo: memFree=1780576/2055920 swapFree=4192812/4192956
[pid=25345] ppid=25343 vsize=915328 CPUtime=0.48
/proc/25345/stat : 25345 (java) R 25343 25345 24299 0 -1 0 6345 0 1 0 44 4 0 0 16 0 8 0 174850947 937295872 6084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25345/statm: 228832 6084 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.03027
CPU time (s): 0.995848
CPU user time (s): 0.924859
CPU system time (s): 0.070989
CPU usage (%): 96.6594
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.924859
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8846
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= 836
involuntary context switches= 147
runsolver used 0.003999 s user time and 0.007998 s system time
The end
Begin job on node7 on Mon Jan 8 13:55:55 UTC 2007
IDJOB= 222502
IDBENCH= 5529
FILE ID= node7/222502-1168264552
PBS_JOBID= 3482453
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-15-106/bqwh-15-106-69_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222502-1168264552/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-222502-1168264552 -o ROOT/results/node7/solver-222502-1168264552 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222502-1168264552/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2061ea8961a80ee52653db0254824364
RANDOM SEED= 945685056
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.220
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.220
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: 1781248 kB
Buffers: 54392 kB
Cached: 113772 kB
SwapCached: 0 kB
Active: 140120 kB
Inactive: 83244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1781248 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1792 kB
Writeback: 0 kB
Mapped: 74156 kB
Slab: 36696 kB
Committed_AS: 5214400 kB
PageTables: 1976 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= 66561 MiB
End job on node7 on Mon Jan 8 13:55:58 UTC 2007