0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/197353-1168125624/unknown.xml
0.45
0.45 domains being loaded...
0.48
0.48 variables being loaded...
0.52 nbVariables=141 nbDomainTypes=135 minDomainSize=2 maxDomainSize=6
0.52 => wckTime=0.131 cpuTime=0.1 mem=6M886
0.52
0.52 relations being loaded...
0.56
0.56 constraints being loaded...
0.74 nbConstraints=869 nbRelationTypes=207 nbExtensionStructures=853 nbSharedExtensionStructures=16
0.74 nbConflictsStructures=853 nbSharedConflictsStructures=16 nbSharedBinaryRepresentations=6488 maxDegree=14
0.74 maxArity=2
0.74 => wckTime=0.348 cpuTime=0.23 mem=11M762
0.78
0.78 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.552 cpuTime=0.37 mem=15M98
1.01
1.01 preprocessing
1.01 nbConstraintChecks=12013 nbPropagations=1495 nbRevisions=3957 nbUselessRevisions=2314 nbSingletonTests=170
1.01 nbEffectiveSingletonTests=0 nbESACBranches=16 nbRemovedValues=0 detectedInconsistency=no
1.01 => wckTime=0.065 cpuTime=0.04 mem=15M98
1.04
1.04 search
1.04 run=0 nbConstraintChecks=3219 nbPropagations=1721 nbRevisions=5032 nbUselessRevisions=2888 nbAssignments=26
1.04 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.09 cpuTime=0.06 mem=16M90
1.05
1.05 search
1.05 run=1 nbConstraintChecks=9418 nbPropagations=3954 nbRevisions=12283 nbUselessRevisions=7046 nbAssignments=96
1.05 nbFailedAssignments=13 nbBacktracks=29 nbVisitedNodes=107 nbRestartNogoods=2 mapSize=21 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.1 cpuTime=0.06 mem=16M90
1.06
1.06 search
1.06 run=2 nbConstraintChecks=15191 nbPropagations=6784 nbRevisions=21527 nbUselessRevisions=12323
1.06 nbAssignments=187 nbFailedAssignments=20 nbBacktracks=56 nbVisitedNodes=173 nbRestartNogoods=6 mapSize=32
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.111 cpuTime=0.07 mem=16M90
1.08
1.08 search
1.08 run=3 nbConstraintChecks=26928 nbPropagations=10481 nbRevisions=35443 nbUselessRevisions=20486
1.08 nbAssignments=289 nbFailedAssignments=33 nbBacktracks=96 nbVisitedNodes=294 nbRestartNogoods=9 mapSize=51
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.129 cpuTime=0.09 mem=16M90
1.09
1.09 search
1.10 run=4 nbConstraintChecks=37375 nbPropagations=15084 nbRevisions=53516 nbUselessRevisions=31241
1.10 nbAssignments=426 nbFailedAssignments=49 nbBacktracks=154 nbVisitedNodes=443 nbRestartNogoods=16 mapSize=77
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.147 cpuTime=0.1 mem=16M90
1.12
1.12 search
1.12 run=5 nbConstraintChecks=52125 nbPropagations=21054 nbRevisions=77052 nbUselessRevisions=45372
1.12 nbAssignments=656 nbFailedAssignments=62 nbBacktracks=248 nbVisitedNodes=606 nbRestartNogoods=21 mapSize=104
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.169 cpuTime=0.12 mem=16M90
1.14
1.14 search
1.14 run=6 nbConstraintChecks=71270 nbPropagations=28571 nbRevisions=108316 nbUselessRevisions=64347
1.14 nbAssignments=867 nbFailedAssignments=100 nbBacktracks=361 nbVisitedNodes=859 nbRestartNogoods=24 mapSize=158
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.194 cpuTime=0.15 mem=16M90
1.17
1.17 search
1.17 run=7 nbConstraintChecks=95399 nbPropagations=38004 nbRevisions=149947 nbUselessRevisions=90085
1.17 nbAssignments=1122 nbFailedAssignments=126 nbBacktracks=540 nbVisitedNodes=1154 nbRestartNogoods=29
1.17 mapSize=214 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.224 cpuTime=0.18 mem=16M90
1.22
1.22 search
1.22 run=8 nbConstraintChecks=130792 nbPropagations=50069 nbRevisions=206544 nbUselessRevisions=125451
1.22 nbAssignments=1445 nbFailedAssignments=163 nbBacktracks=810 nbVisitedNodes=1565 nbRestartNogoods=34
1.22 mapSize=294 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.27 cpuTime=0.22 mem=16M90
1.28
1.28 search
1.28 run=9 nbConstraintChecks=176212 nbPropagations=65767 nbRevisions=282348 nbUselessRevisions=173255
1.28 nbAssignments=1928 nbFailedAssignments=214 nbBacktracks=1197 nbVisitedNodes=2141 nbRestartNogoods=38
1.28 mapSize=395 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.333 cpuTime=0.28 mem=16M90
1.37
1.37 search
1.37 run=10 nbConstraintChecks=253319 nbPropagations=87293 nbRevisions=392482 nbUselessRevisions=244355
1.37 nbAssignments=2600 nbFailedAssignments=285 nbBacktracks=1782 nbVisitedNodes=2971 nbRestartNogoods=46
1.37 mapSize=544 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.425 cpuTime=0.35 mem=16M90
1.39
1.39 search
1.39 run=11 nbConstraintChecks=270301 nbPropagations=110006 nbRevisions=509169 nbUselessRevisions=319629
1.39 nbAssignments=2825 nbFailedAssignments=303 nbBacktracks=1839 nbVisitedNodes=3227 nbRestartNogoods=50
1.39 mapSize=576 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.445 cpuTime=0.37 mem=16M90
1.39
1.39 global
1.39 nbConstraintChecks=282314 nbPropagations=111501 nbRevisions=513126 nbUselessRevisions=321943
1.39 nbRestartNogoods=50 solvingWckTime=0.446 solvingCpuTime=0.37 expiredTime=no totalExploration=no
1.39 nbFoundSolutions=1 globalCpuTime=0.79
1.39 => wckTime=1.001 cpuTime=0.74 mem=16M90
1.40
1.40 s SATISFIABLE
1.40 v 15 16 3 9 7 11 8 1 11 3 2 10 9 6 17 0 6 5 9 3 11 4 12 14 6 12 7 1 9 8 15 4 1 9 4 6 14 13 0 11 8 12 5 17 2 10 16 3 7 9 1 3 0 2 6 10 1 17 9 14 4 2 17 4 6 1 13 2 14 0 9 2 13 3 10 4 11 5 4 12 3 10 17 0 2 1 9 2 13 0 14 11 10 17 0 3 8 2 12 1 17 6 13 11 5 2 15 4 0 1 16 14 1 15 6 13 4 3 13 4 8 17 12 10 1 0 6 13 14 10 7 5 8 15 14 5 16 11 3 9 13
1.40 d NODES 2825
1.40 d CHECKS 282314
1.40
1.40 totalWckTime=1.076 totalCpuTime=0.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-197353-1168125624 -o ROOT/results/node43/solver-197353-1168125624 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197353-1168125624/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.17 0.59 1.07 2/68 25758
/proc/meminfo: memFree=1839808/2055920 swapFree=4192812/4192956
[pid=25757] ppid=25755 vsize=216 CPUtime=0
/proc/25757/stat : 25757 (java) R 25755 25757 25688 0 -1 0 46 0 0 0 0 0 0 0 19 0 1 0 160962784 221184 30 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4731684 0 0 4096 0 0 0 0 17 1 0 0
/proc/25757/statm: 73 33 26 14 0 5 0
[startup+0.102754 s]
/proc/loadavg: 0.17 0.59 1.07 2/68 25758
/proc/meminfo: memFree=1839808/2055920 swapFree=4192812/4192956
[pid=25757] ppid=25755 vsize=47976 CPUtime=0
/proc/25757/stat : 25757 (java) D 25755 25757 25688 0 -1 0 1223 0 1 0 0 0 0 0 18 0 1 0 160962784 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/25757/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.510821 s]
/proc/loadavg: 0.17 0.59 1.07 2/68 25758
/proc/meminfo: memFree=1839808/2055920 swapFree=4192812/4192956
[pid=25757] ppid=25755 vsize=915328 CPUtime=0.39
/proc/25757/stat : 25757 (java) S 25755 25757 25688 0 -1 0 6045 0 1 0 36 3 0 0 17 0 8 0 160962784 937295872 5784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25757/statm: 228832 5784 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33396 s]
/proc/loadavg: 0.17 0.59 1.07 2/75 25765
/proc/meminfo: memFree=1815112/2055920 swapFree=4192812/4192956
[pid=25757] ppid=25755 vsize=915568 CPUtime=1.2
/proc/25757/stat : 25757 (java) R 25755 25757 25688 0 -1 0 8944 0 1 0 114 6 0 0 16 0 8 0 160962784 937541632 8682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25757/statm: 228892 8682 2524 14 0 215362 0
[pid=25757/tid=25759] ppid=25755 vsize=915568 CPUtime=0.03
/proc/25757/task/25759/stat : 25759 (java) S 25755 25757 25688 0 -1 64 330 0 0 0 3 0 0 0 16 0 8 0 160962797 937541632 8682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25757/tid=25760] ppid=25755 vsize=915568 CPUtime=0
/proc/25757/task/25760/stat : 25760 (java) S 25755 25757 25688 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 160962798 937541632 8682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25757/tid=25761] ppid=25755 vsize=915568 CPUtime=0
/proc/25757/task/25761/stat : 25761 (java) S 25755 25757 25688 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160962798 937541632 8682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25757/tid=25762] ppid=25755 vsize=915568 CPUtime=0
/proc/25757/task/25762/stat : 25762 (java) S 25755 25757 25688 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160962801 937541632 8682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25757/tid=25763] ppid=25755 vsize=915568 CPUtime=0.23
/proc/25757/task/25763/stat : 25763 (java) S 25755 25757 25688 0 -1 64 411 0 0 0 22 1 0 0 16 0 8 0 160962801 937541632 8682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25757/tid=25764] ppid=25755 vsize=915568 CPUtime=0
/proc/25757/task/25764/stat : 25764 (java) S 25755 25757 25688 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160962801 937541632 8682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25757/tid=25765] ppid=25755 vsize=915568 CPUtime=0
/proc/25757/task/25765/stat : 25765 (java) S 25755 25757 25688 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160962801 937541632 8682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 1.42987
CPU time (s): 1.2918
CPU user time (s): 1.21581
CPU system time (s): 0.075988
CPU usage (%): 90.3442
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.21582
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9064
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= 976
involuntary context switches= 85
runsolver used 0.003999 s user time and 0.014997 s system time
The end
Begin job on node43 on Sat Jan 6 23:20:29 UTC 2007
IDJOB= 197353
IDBENCH= 3461
FILE ID= node43/197353-1168125624
PBS_JOBID= 3477613
Free space on /tmp= 66483 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197353-1168125624/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-197353-1168125624 -o ROOT/results/node43/solver-197353-1168125624 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197353-1168125624/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 179006d7787e6e23cf760ba9cb84e403
RANDOM SEED= 101818755
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.278
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.278
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: 1840288 kB
Buffers: 47028 kB
Cached: 94480 kB
SwapCached: 0 kB
Active: 90624 kB
Inactive: 70944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840288 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1812 kB
Writeback: 0 kB
Mapped: 30268 kB
Slab: 39900 kB
Committed_AS: 3143304 kB
PageTables: 1592 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= 66483 MiB
End job on node43 on Sat Jan 6 23:20:43 UTC 2007