0.45
0.45 Abscon 109 (November, 2006)
0.45
0.45 configuration
0.45 name=esac.xml
0.48
0.48 instance
0.48 name=/tmp/evaluation/197296-1168125545/unknown.xml
0.51
0.51 domains being loaded...
0.54
0.54 variables being loaded...
0.58 nbVariables=141 nbDomainTypes=132 minDomainSize=1 maxDomainSize=7
0.58 => wckTime=0.128 cpuTime=0.11 mem=6M886
0.58
0.59 relations being loaded...
0.63
0.63 constraints being loaded...
0.80 nbConstraints=884 nbRelationTypes=229 nbSingletonDomainVariables=2 nbExtensionStructures=858
0.80 nbSharedExtensionStructures=26 nbConflictsStructures=858 nbSharedConflictsStructures=26
0.80 nbSharedBinaryRepresentations=6936 maxDegree=14 maxArity=2
0.80 => wckTime=0.344 cpuTime=0.25 mem=11M762
0.84
0.84 solver IterativeSystematicSolver being built...
1.00 => wckTime=0.544 cpuTime=0.37 mem=15M113
1.07
1.07 preprocessing
1.07 nbConstraintChecks=10624 nbPropagations=1364 nbRevisions=3441 nbUselessRevisions=2165 nbSingletonTests=203
1.07 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=5 detectedInconsistency=no
1.07 => wckTime=0.068 cpuTime=0.05 mem=15M113
1.10
1.10 search
1.10 run=0 nbConstraintChecks=3333 nbPropagations=1734 nbRevisions=4653 nbUselessRevisions=2869 nbAssignments=68
1.10 nbFailedAssignments=6 nbBacktracks=16 nbVisitedNodes=79 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.10 nbTooLargeKeys=0
1.10 => wckTime=0.099 cpuTime=0.07 mem=16M105
1.11
1.11 search
1.11 run=1 nbConstraintChecks=9321 nbPropagations=4126 nbRevisions=11251 nbUselessRevisions=6857 nbAssignments=184
1.11 nbFailedAssignments=9 nbBacktracks=39 nbVisitedNodes=132 nbRestartNogoods=2 mapSize=15 nbInferences=0
1.11 nbTooLargeKeys=0
1.11 => wckTime=0.11 cpuTime=0.08 mem=16M105
1.13
1.13 search
1.13 run=2 nbConstraintChecks=14542 nbPropagations=6969 nbRevisions=19836 nbUselessRevisions=12047
1.13 nbAssignments=248 nbFailedAssignments=14 nbBacktracks=73 nbVisitedNodes=210 nbRestartNogoods=3 mapSize=28
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.125 cpuTime=0.09 mem=16M105
1.14
1.14 search
1.14 run=3 nbConstraintChecks=20111 nbPropagations=10300 nbRevisions=30426 nbUselessRevisions=18360
1.14 nbAssignments=321 nbFailedAssignments=22 nbBacktracks=119 nbVisitedNodes=298 nbRestartNogoods=4 mapSize=42
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.135 cpuTime=0.1 mem=16M105
1.15
1.15 search
1.15 run=4 nbConstraintChecks=27899 nbPropagations=14283 nbRevisions=43945 nbUselessRevisions=26428
1.15 nbAssignments=420 nbFailedAssignments=35 nbBacktracks=174 nbVisitedNodes=421 nbRestartNogoods=5 mapSize=62
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.15 cpuTime=0.11 mem=16M105
1.17
1.17 search
1.17 run=5 nbConstraintChecks=35933 nbPropagations=19007 nbRevisions=60502 nbUselessRevisions=36296
1.17 nbAssignments=549 nbFailedAssignments=50 nbBacktracks=258 nbVisitedNodes=578 nbRestartNogoods=9 mapSize=88
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.168 cpuTime=0.12 mem=16M105
1.19
1.19 search
1.19 run=6 nbConstraintChecks=50146 nbPropagations=24891 nbRevisions=82648 nbUselessRevisions=49613
1.19 nbAssignments=712 nbFailedAssignments=68 nbBacktracks=374 nbVisitedNodes=785 nbRestartNogoods=11 mapSize=130
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.188 cpuTime=0.14 mem=16M105
1.22
1.22 search
1.22 run=7 nbConstraintChecks=70177 nbPropagations=32364 nbRevisions=112012 nbUselessRevisions=67025
1.22 nbAssignments=941 nbFailedAssignments=111 nbBacktracks=544 nbVisitedNodes=1097 nbRestartNogoods=13 mapSize=210
1.22 nbInferences=1 nbTooLargeKeys=0
1.22 => wckTime=0.214 cpuTime=0.17 mem=16M105
1.26
1.26 search
1.26 run=8 nbConstraintChecks=101267 nbPropagations=42326 nbRevisions=152828 nbUselessRevisions=91032
1.26 nbAssignments=1305 nbFailedAssignments=185 nbBacktracks=810 nbVisitedNodes=1620 nbRestartNogoods=14
1.26 mapSize=338 nbInferences=1 nbTooLargeKeys=0
1.26 => wckTime=0.257 cpuTime=0.2 mem=16M105
1.32
1.32 search
1.32 run=9 nbConstraintChecks=139451 nbPropagations=55151 nbRevisions=208869 nbUselessRevisions=124541
1.32 nbAssignments=1777 nbFailedAssignments=240 nbBacktracks=1200 nbVisitedNodes=2216 nbRestartNogoods=16
1.32 mapSize=456 nbInferences=1 nbTooLargeKeys=0
1.32 => wckTime=0.314 cpuTime=0.25 mem=16M105
1.41
1.41 search
1.41 run=10 nbConstraintChecks=217325 nbPropagations=73647 nbRevisions=299670 nbUselessRevisions=181139
1.41 nbAssignments=2503 nbFailedAssignments=344 nbBacktracks=1781 nbVisitedNodes=3151 nbRestartNogoods=20
1.41 mapSize=652 nbInferences=1 nbTooLargeKeys=0
1.41 => wckTime=0.407 cpuTime=0.32 mem=16M105
1.53
1.53 search
1.53 run=11 nbConstraintChecks=350435 nbPropagations=101627 nbRevisions=449140 nbUselessRevisions=277055
1.53 nbAssignments=3638 nbFailedAssignments=499 nbBacktracks=2648 nbVisitedNodes=4536 nbRestartNogoods=25
1.53 mapSize=932 nbInferences=1 nbTooLargeKeys=0
1.53 => wckTime=0.526 cpuTime=0.44 mem=16M105
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=16M105)
1.69
1.69 search
1.69 run=12 nbConstraintChecks=569410 nbPropagations=145543 nbRevisions=694159 nbUselessRevisions=436240
1.69 nbAssignments=5319 nbFailedAssignments=749 nbBacktracks=3955 nbVisitedNodes=6678 nbRestartNogoods=32
1.69 => wckTime=0.686 cpuTime=0.6 mem=16M105
1.71
1.71 search
1.71 run=13 nbConstraintChecks=592476 nbPropagations=191231 nbRevisions=948220 nbUselessRevisions=601134
1.71 nbAssignments=5654 nbFailedAssignments=794 nbBacktracks=4104 nbVisitedNodes=7111 nbRestartNogoods=36
1.71 => wckTime=0.708 cpuTime=0.62 mem=16M105
1.71
1.71 global
1.71 nbConstraintChecks=603100 nbPropagations=192595 nbRevisions=951661 nbUselessRevisions=603299
1.71 nbRestartNogoods=36 solvingWckTime=0.709 solvingCpuTime=0.62 expiredTime=no totalExploration=no
1.71 nbFoundSolutions=1 globalCpuTime=1.04
1.71 => wckTime=1.256 cpuTime=0.99 mem=16M105
1.71
1.71 s SATISFIABLE
1.71 v 3 13 0 15 8 1 2 10 0 14 4 7 8 15 9 12 17 5 10 1 9 6 2 8 17 3 15 14 12 4 1 10 9 6 8 11 10 4 3 5 12 6 3 11 8 17 10 16 0 3 1 11 6 15 7 15 8 5 3 0 1 2 13 9 10 7 17 16 1 4 6 5 1 2 10 12 14 17 15 4 6 9 10 8 14 11 11 15 10 12 17 1 5 0 12 0 5 11 2 16 9 1 15 2 10 6 16 9 13 11 8 9 6 10 11 4 3 5 6 3 13 7 2 10 16 10 6 2 17 12 16 0 1 16 1 8 9 5 7 11 13
1.71 d NODES 5654
1.72 d CHECKS 603100
1.72
1.72 totalWckTime=1.333 totalCpuTime=1.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-197296-1168125545 -o ROOT/results/node56/solver-197296-1168125545 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197296-1168125545/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.09 1.20 1.45 4/73 21060
/proc/meminfo: memFree=1543712/2055920 swapFree=4184772/4192956
[pid=21059] ppid=21057 vsize=18540 CPUtime=0
/proc/21059/stat : 21059 (runsolver) R 21057 21059 20992 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 160954202 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/21059/statm: 4635 279 244 17 0 2626 0
[startup+0.103119 s]
/proc/loadavg: 1.09 1.20 1.45 4/73 21060
/proc/meminfo: memFree=1543712/2055920 swapFree=4184772/4192956
[pid=21059] ppid=21057 vsize=906128 CPUtime=0.02
/proc/21059/stat : 21059 (java) R 21057 21059 20992 0 -1 0 1977 0 1 0 1 1 0 0 18 0 1 0 160954202 927875072 1726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153591260 0 4 0 7368 0 0 0 17 0 0 0
/proc/21059/statm: 226532 1726 992 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128
[startup+0.511155 s]
/proc/loadavg: 1.09 1.20 1.45 4/73 21060
/proc/meminfo: memFree=1543712/2055920 swapFree=4184772/4192956
[pid=21059] ppid=21057 vsize=915328 CPUtime=0.33
/proc/21059/stat : 21059 (java) R 21057 21059 20992 0 -1 0 5705 0 1 0 30 3 0 0 19 0 8 0 160954202 937295872 5444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21059/statm: 228832 5444 2086 14 0 215302 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 915328
[startup+1.33324 s]
/proc/loadavg: 1.09 1.20 1.45 3/80 21067
/proc/meminfo: memFree=1519208/2055920 swapFree=4184772/4192956
[pid=21059] ppid=21057 vsize=915568 CPUtime=1.14
/proc/21059/stat : 21059 (java) R 21057 21059 20992 0 -1 0 8934 0 1 0 108 6 0 0 25 0 8 0 160954202 937541632 8672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21059/statm: 228892 8672 2524 14 0 215362 0
[pid=21059/tid=21061] ppid=21057 vsize=915568 CPUtime=0.03
/proc/21059/task/21061/stat : 21061 (java) S 21057 21059 20992 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 160954213 937541632 8672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21059/tid=21062] ppid=21057 vsize=915568 CPUtime=0
/proc/21059/task/21062/stat : 21062 (java) S 21057 21059 20992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160954213 937541632 8672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21059/tid=21063] ppid=21057 vsize=915568 CPUtime=0
/proc/21059/task/21063/stat : 21063 (java) S 21057 21059 20992 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160954213 937541632 8672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21059/tid=21064] ppid=21057 vsize=915568 CPUtime=0
/proc/21059/task/21064/stat : 21064 (java) S 21057 21059 20992 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160954217 937541632 8672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21059/tid=21065] ppid=21057 vsize=915568 CPUtime=0.23
/proc/21059/task/21065/stat : 21065 (java) S 21057 21059 20992 0 -1 64 408 0 0 0 23 0 0 0 16 0 8 0 160954217 937541632 8672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21059/tid=21066] ppid=21057 vsize=915568 CPUtime=0
/proc/21059/task/21066/stat : 21066 (java) S 21057 21059 20992 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 160954217 937541632 8672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21059/tid=21067] ppid=21057 vsize=915568 CPUtime=0
/proc/21059/task/21067/stat : 21067 (java) S 21057 21059 20992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160954217 937541632 8672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 1.76787
CPU time (s): 1.53777
CPU user time (s): 1.46678
CPU system time (s): 0.070989
CPU usage (%): 86.984
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.46678
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= 9117
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= 1398
involuntary context switches= 1581
runsolver used 0.003999 s user time and 0.011998 s system time
The end
Begin job on node56 on Sat Jan 6 23:19:10 UTC 2007
IDJOB= 197296
IDBENCH= 3456
FILE ID= node56/197296-1168125545
PBS_JOBID= 3477602
Free space on /tmp= 66517 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197296-1168125545/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-197296-1168125545 -o ROOT/results/node56/solver-197296-1168125545 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197296-1168125545/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6615f5a96fd39816f718c580ffec48ff
RANDOM SEED= 849719701
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.232
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.232
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: 1544320 kB
Buffers: 43212 kB
Cached: 371296 kB
SwapCached: 2060 kB
Active: 142388 kB
Inactive: 301728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1544320 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 1980 kB
Writeback: 0 kB
Mapped: 39924 kB
Slab: 52844 kB
Committed_AS: 3012448 kB
PageTables: 1880 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= 66517 MiB
End job on node56 on Sat Jan 6 23:19:29 UTC 2007