0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/197201-1168125404/unknown.xml
0.35
0.35 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=141 nbDomainTypes=138 minDomainSize=1 maxDomainSize=6
0.43 => wckTime=0.13 cpuTime=0.1 mem=6M886
0.43
0.43 relations being loaded...
0.47
0.47 constraints being loaded...
0.64 nbConstraints=887 nbRelationTypes=217 nbSingletonDomainVariables=1 nbExtensionStructures=876
0.64 nbSharedExtensionStructures=11 nbConflictsStructures=876 nbSharedConflictsStructures=11
0.64 nbSharedBinaryRepresentations=6608 maxDegree=14 maxArity=2
0.64 => wckTime=0.348 cpuTime=0.23 mem=11M770
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.55 cpuTime=0.37 mem=15M116
0.91
0.91 preprocessing
0.91 nbConstraintChecks=11331 nbPropagations=1312 nbRevisions=3859 nbUselessRevisions=2406 nbSingletonTests=162
0.91 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=6 detectedInconsistency=no
0.91 => wckTime=0.063 cpuTime=0.04 mem=15M116
0.94
0.94 search
0.94 run=0 nbConstraintChecks=3727 nbPropagations=1605 nbRevisions=5328 nbUselessRevisions=3332 nbAssignments=41
0.94 nbFailedAssignments=2 nbBacktracks=18 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=3 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.093 cpuTime=0.05 mem=16M107
0.95
0.95 search
0.95 run=1 nbConstraintChecks=7908 nbPropagations=3568 nbRevisions=12227 nbUselessRevisions=7639 nbAssignments=91
0.95 nbFailedAssignments=4 nbBacktracks=45 nbVisitedNodes=101 nbRestartNogoods=1 mapSize=6 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.102 cpuTime=0.06 mem=16M107
0.96
0.96 search
0.96 run=2 nbConstraintChecks=11866 nbPropagations=5872 nbRevisions=20446 nbUselessRevisions=12646
0.96 nbAssignments=140 nbFailedAssignments=12 nbBacktracks=68 nbVisitedNodes=168 nbRestartNogoods=3 mapSize=23
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.109 cpuTime=0.07 mem=16M107
0.97
0.97 search
0.97 run=3 nbConstraintChecks=16185 nbPropagations=8599 nbRevisions=30185 nbUselessRevisions=18526
0.97 nbAssignments=218 nbFailedAssignments=20 nbBacktracks=109 nbVisitedNodes=263 nbRestartNogoods=4 mapSize=36
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.119 cpuTime=0.08 mem=16M107
0.98
0.98 search
0.98 run=4 nbConstraintChecks=25520 nbPropagations=12138 nbRevisions=43391 nbUselessRevisions=26467
0.98 nbAssignments=337 nbFailedAssignments=29 nbBacktracks=168 nbVisitedNodes=374 nbRestartNogoods=8 mapSize=55
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.135 cpuTime=0.09 mem=16M107
1.00
1.00 search
1.00 run=5 nbConstraintChecks=33594 nbPropagations=16386 nbRevisions=59801 nbUselessRevisions=36404
1.00 nbAssignments=465 nbFailedAssignments=42 nbBacktracks=245 nbVisitedNodes=527 nbRestartNogoods=10 mapSize=77
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.153 cpuTime=0.1 mem=16M107
1.03
1.03 search
1.03 run=6 nbConstraintChecks=55158 nbPropagations=22079 nbRevisions=84683 nbUselessRevisions=51523
1.03 nbAssignments=633 nbFailedAssignments=70 nbBacktracks=361 nbVisitedNodes=754 nbRestartNogoods=13 mapSize=127
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.179 cpuTime=0.13 mem=16M107
1.06
1.06 search
1.06 run=7 nbConstraintChecks=82295 nbPropagations=29769 nbRevisions=120762 nbUselessRevisions=73808
1.06 nbAssignments=897 nbFailedAssignments=98 nbBacktracks=541 nbVisitedNodes=1045 nbRestartNogoods=18 mapSize=182
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.21 cpuTime=0.16 mem=16M107
1.11
1.11 search
1.11 run=8 nbConstraintChecks=122717 nbPropagations=40183 nbRevisions=172831 nbUselessRevisions=106077
1.11 nbAssignments=1231 nbFailedAssignments=148 nbBacktracks=797 nbVisitedNodes=1483 nbRestartNogoods=20
1.11 mapSize=279 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.257 cpuTime=0.2 mem=16M107
1.17
1.17 search
1.17 run=9 nbConstraintChecks=162869 nbPropagations=53703 nbRevisions=241106 nbUselessRevisions=148533
1.17 nbAssignments=1703 nbFailedAssignments=214 nbBacktracks=1181 nbVisitedNodes=2096 nbRestartNogoods=23
1.17 mapSize=416 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.326 cpuTime=0.25 mem=16M107
1.28
1.28 search
1.28 run=10 nbConstraintChecks=264183 nbPropagations=74146 nbRevisions=353645 nbUselessRevisions=220454
1.28 nbAssignments=2436 nbFailedAssignments=345 nbBacktracks=1760 nbVisitedNodes=3126 nbRestartNogoods=26
1.28 mapSize=686 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.428 cpuTime=0.33 mem=16M107
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=16M107)
1.41
1.41 search
1.41 run=11 nbConstraintChecks=431171 nbPropagations=105769 nbRevisions=539922 nbUselessRevisions=341942
1.41 nbAssignments=3524 nbFailedAssignments=545 nbBacktracks=2626 nbVisitedNodes=4646 nbRestartNogoods=30
1.41 => wckTime=0.558 cpuTime=0.46 mem=16M107
1.46
1.46 search
1.46 run=12 nbConstraintChecks=502331 nbPropagations=142124 nbRevisions=756694 nbUselessRevisions=483864
1.46 nbAssignments=4113 nbFailedAssignments=624 nbBacktracks=2995 nbVisitedNodes=5401 nbRestartNogoods=35
1.46 => wckTime=0.612 cpuTime=0.51 mem=16M107
1.46
1.46 global
1.46 nbConstraintChecks=513662 nbPropagations=143436 nbRevisions=760553 nbUselessRevisions=486270
1.46 nbRestartNogoods=35 solvingWckTime=0.613 solvingCpuTime=0.51 expiredTime=no totalExploration=no
1.46 nbFoundSolutions=1 globalCpuTime=0.93
1.46 => wckTime=1.166 cpuTime=0.88 mem=16M107
1.46
1.46 s SATISFIABLE
1.46 v 17 1 4 14 3 2 5 2 0 17 10 6 8 9 14 3 4 0 13 17 8 12 9 7 4 17 16 5 6 11 13 7 11 13 10 6 15 4 5 14 15 9 8 11 4 3 10 15 12 14 16 17 0 8 3 1 8 14 0 5 3 4 6 3 5 8 0 11 2 1 4 5 3 1 6 13 7 14 0 4 15 2 8 13 11 16 9 9 13 14 2 7 12 16 15 8 2 3 10 5 4 11 17 15 12 10 1 11 13 16 8 5 3 13 10 15 2 6 2 11 12 5 15 17 3 9 4 15 17 14 6 8 0 7 13 4 2 12 3 16 9
1.46 d NODES 4113
1.46 d CHECKS 513662
1.46
1.46 totalWckTime=1.242 totalCpuTime=0.94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-197201-1168125404 -o ROOT/results/node39/solver-197201-1168125404 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197201-1168125404/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: 1.00 1.23 1.71 5/73 2281
/proc/meminfo: memFree=1792488/2055920 swapFree=4187312/4192956
[pid=2280] ppid=2278 vsize=18540 CPUtime=0
/proc/2280/stat : 2280 (runsolver) R 2278 2280 2213 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 160941513 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2280/statm: 4635 279 244 17 0 2626 0
[startup+0.10652 s]
/proc/loadavg: 1.00 1.23 1.71 5/73 2281
/proc/meminfo: memFree=1792488/2055920 swapFree=4187312/4192956
[pid=2280] ppid=2278 vsize=914988 CPUtime=0.08
/proc/2280/stat : 2280 (java) R 2278 2280 2213 0 -1 0 3048 0 1 0 7 1 0 0 24 0 8 0 160941513 936947712 2794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154124906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2280/statm: 228747 2794 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518556 s]
/proc/loadavg: 1.00 1.23 1.71 5/73 2281
/proc/meminfo: memFree=1792488/2055920 swapFree=4187312/4192956
[pid=2280] ppid=2278 vsize=915328 CPUtime=0.49
/proc/2280/stat : 2280 (java) R 2278 2280 2213 0 -1 0 6439 0 1 0 45 4 0 0 25 0 8 0 160941513 937295872 6178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927748 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2280/statm: 228832 6178 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34263 s]
/proc/loadavg: 1.00 1.23 1.71 3/80 2288
/proc/meminfo: memFree=1767664/2055920 swapFree=4187312/4192956
[pid=2280] ppid=2278 vsize=915568 CPUtime=1.31
/proc/2280/stat : 2280 (java) R 2278 2280 2213 0 -1 0 8986 0 1 0 123 8 0 0 25 0 8 0 160941513 937541632 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868804 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2280/statm: 228892 8724 2524 14 0 215362 0
[pid=2280/tid=2282] ppid=2278 vsize=915568 CPUtime=0.03
/proc/2280/task/2282/stat : 2282 (java) S 2278 2280 2213 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 160941517 937541632 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2280/tid=2283] ppid=2278 vsize=915568 CPUtime=0
/proc/2280/task/2283/stat : 2283 (java) S 2278 2280 2213 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160941518 937541632 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2280/tid=2284] ppid=2278 vsize=915568 CPUtime=0
/proc/2280/task/2284/stat : 2284 (java) S 2278 2280 2213 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160941518 937541632 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2280/tid=2285] ppid=2278 vsize=915568 CPUtime=0
/proc/2280/task/2285/stat : 2285 (java) S 2278 2280 2213 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 160941521 937541632 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2280/tid=2286] ppid=2278 vsize=915568 CPUtime=0.27
/proc/2280/task/2286/stat : 2286 (java) S 2278 2280 2213 0 -1 64 415 0 0 0 26 1 0 0 15 0 8 0 160941521 937541632 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2280/tid=2287] ppid=2278 vsize=915568 CPUtime=0
/proc/2280/task/2287/stat : 2287 (java) S 2278 2280 2213 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 160941521 937541632 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2280/tid=2288] ppid=2278 vsize=915568 CPUtime=0
/proc/2280/task/2288/stat : 2288 (java) S 2278 2280 2213 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160941521 937541632 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 1.49479
CPU time (s): 1.44978
CPU user time (s): 1.35879
CPU system time (s): 0.090986
CPU usage (%): 96.9889
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.35879
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9099
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= 1365
involuntary context switches= 1551
runsolver used 0.004999 s user time and 0.008998 s system time
The end
Begin job on node39 on Sat Jan 6 23:16:48 UTC 2007
IDJOB= 197201
IDBENCH= 3449
FILE ID= node39/197201-1168125404
PBS_JOBID= 3477579
Free space on /tmp= 66527 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197201-1168125404/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-197201-1168125404 -o ROOT/results/node39/solver-197201-1168125404 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197201-1168125404/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6da6a16f69b041bb32886b9ac52b1fa1
RANDOM SEED= 568967372
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.236
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.236
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: 1793160 kB
Buffers: 20024 kB
Cached: 161984 kB
SwapCached: 1388 kB
Active: 125656 kB
Inactive: 89640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1793160 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 2088 kB
Writeback: 0 kB
Mapped: 43908 kB
Slab: 32992 kB
Committed_AS: 3259264 kB
PageTables: 1812 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= 66527 MiB
End job on node39 on Sat Jan 6 23:17:06 UTC 2007