0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/197182-1168125374/unknown.xml
0.36
0.36 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=141 nbDomainTypes=135 minDomainSize=1 maxDomainSize=6
0.44 => wckTime=0.131 cpuTime=0.1 mem=6M886
0.44
0.44 relations being loaded...
0.47
0.47 constraints being loaded...
0.66 nbConstraints=882 nbRelationTypes=215 nbSingletonDomainVariables=2 nbExtensionStructures=863
0.66 nbSharedExtensionStructures=19 nbConflictsStructures=863 nbSharedConflictsStructures=19
0.66 nbSharedBinaryRepresentations=6636 maxDegree=14 maxArity=2
0.66 => wckTime=0.353 cpuTime=0.23 mem=11M762
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.56 cpuTime=0.37 mem=15M109
0.94
0.94 preprocessing
0.94 nbConstraintChecks=12212 nbPropagations=1369 nbRevisions=4229 nbUselessRevisions=2680 nbSingletonTests=171
0.94 nbEffectiveSingletonTests=0 nbESACBranches=15 nbRemovedValues=15 detectedInconsistency=no
0.94 => wckTime=0.078 cpuTime=0.05 mem=15M109
0.98
0.98 search
0.98 run=0 nbConstraintChecks=5695 nbPropagations=1833 nbRevisions=6680 nbUselessRevisions=4289 nbAssignments=61
0.98 nbFailedAssignments=4 nbBacktracks=27 nbVisitedNodes=71 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.109 cpuTime=0.07 mem=16M100
0.99
0.99 search
0.99 run=1 nbConstraintChecks=15521 nbPropagations=4585 nbRevisions=17119 nbUselessRevisions=11023
0.99 nbAssignments=213 nbFailedAssignments=6 nbBacktracks=53 nbVisitedNodes=133 nbRestartNogoods=3 mapSize=15
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.124 cpuTime=0.08 mem=16M100
1.00
1.00 search
1.00 run=2 nbConstraintChecks=18723 nbPropagations=7629 nbRevisions=28694 nbUselessRevisions=18409
1.00 nbAssignments=266 nbFailedAssignments=11 nbBacktracks=84 nbVisitedNodes=195 nbRestartNogoods=4 mapSize=23
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.132 cpuTime=0.09 mem=16M100
1.01
1.01 search
1.01 run=3 nbConstraintChecks=24509 nbPropagations=11171 nbRevisions=42532 nbUselessRevisions=27198
1.01 nbAssignments=335 nbFailedAssignments=14 nbBacktracks=118 nbVisitedNodes=282 nbRestartNogoods=5 mapSize=39
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.143 cpuTime=0.09 mem=16M100
1.02
1.02 search
1.02 run=4 nbConstraintChecks=29995 nbPropagations=15240 nbRevisions=58484 nbUselessRevisions=37284
1.02 nbAssignments=437 nbFailedAssignments=22 nbBacktracks=182 nbVisitedNodes=402 nbRestartNogoods=7 mapSize=54
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.157 cpuTime=0.11 mem=16M100
1.04
1.04 search
1.04 run=5 nbConstraintChecks=38578 nbPropagations=20023 nbRevisions=77830 nbUselessRevisions=49499
1.04 nbAssignments=566 nbFailedAssignments=30 nbBacktracks=260 nbVisitedNodes=551 nbRestartNogoods=9 mapSize=72
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.174 cpuTime=0.12 mem=16M100
1.06
1.06 search
1.06 run=6 nbConstraintChecks=55162 nbPropagations=26102 nbRevisions=104596 nbUselessRevisions=66706
1.06 nbAssignments=759 nbFailedAssignments=49 nbBacktracks=397 nbVisitedNodes=789 nbRestartNogoods=11 mapSize=114
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.197 cpuTime=0.14 mem=16M100
1.09
1.09 search
1.09 run=7 nbConstraintChecks=75935 nbPropagations=33704 nbRevisions=140623 nbUselessRevisions=90218
1.09 nbAssignments=985 nbFailedAssignments=65 nbBacktracks=574 nbVisitedNodes=1059 nbRestartNogoods=14 mapSize=154
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.225 cpuTime=0.16 mem=16M100
1.14
1.14 search
1.14 run=8 nbConstraintChecks=111174 nbPropagations=43857 nbRevisions=191865 nbUselessRevisions=123777
1.14 nbAssignments=1318 nbFailedAssignments=104 nbBacktracks=842 nbVisitedNodes=1484 nbRestartNogoods=17
1.14 mapSize=242 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.269 cpuTime=0.2 mem=16M100
1.21
1.21 search
1.21 run=9 nbConstraintChecks=157436 nbPropagations=57566 nbRevisions=262879 nbUselessRevisions=170204
1.21 nbAssignments=1786 nbFailedAssignments=163 nbBacktracks=1227 nbVisitedNodes=2085 nbRestartNogoods=20
1.21 mapSize=367 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.339 cpuTime=0.26 mem=16M100
1.30
1.30 search
1.30 run=10 nbConstraintChecks=260518 nbPropagations=78344 nbRevisions=379208 nbUselessRevisions=247332
1.30 nbAssignments=2536 nbFailedAssignments=301 nbBacktracks=1817 nbVisitedNodes=3110 nbRestartNogoods=23
1.30 mapSize=622 nbInferences=2 nbTooLargeKeys=0
1.30 => wckTime=0.436 cpuTime=0.34 mem=16M100
1.43
1.43 search
1.43 run=11 nbConstraintChecks=405784 nbPropagations=109300 nbRevisions=559306 nbUselessRevisions=367338
1.43 nbAssignments=3614 nbFailedAssignments=495 nbBacktracks=2690 nbVisitedNodes=4599 nbRestartNogoods=26
1.43 mapSize=1008 nbInferences=2 nbTooLargeKeys=0
1.43 => wckTime=0.562 cpuTime=0.46 mem=16M100
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=16M100)
1.59
1.59 search
1.59 run=12 nbConstraintChecks=627476 nbPropagations=156327 nbRevisions=845064 nbUselessRevisions=562291
1.59 nbAssignments=5224 nbFailedAssignments=782 nbBacktracks=3993 nbVisitedNodes=6790 nbRestartNogoods=28
1.59 => wckTime=0.723 cpuTime=0.62 mem=16M100
1.62
1.62 search
1.62 run=13 nbConstraintChecks=663530 nbPropagations=205719 nbRevisions=1146067 nbUselessRevisions=767393
1.62 nbAssignments=5549 nbFailedAssignments=826 nbBacktracks=4121 nbVisitedNodes=7184 nbRestartNogoods=36
1.62 => wckTime=0.751 cpuTime=0.65 mem=16M100
1.62
1.62 global
1.62 nbConstraintChecks=675742 nbPropagations=207088 nbRevisions=1150296 nbUselessRevisions=770073
1.62 nbRestartNogoods=36 solvingWckTime=0.753 solvingCpuTime=0.65 expiredTime=no totalExploration=no
1.62 nbFoundSolutions=1 globalCpuTime=1.07
1.62 => wckTime=1.314 cpuTime=1.02 mem=16M100
1.62
1.62 s SATISFIABLE
1.62 v 15 5 12 4 9 7 3 8 2 3 16 5 17 13 11 7 5 14 17 2 7 12 0 16 9 15 14 7 0 13 11 16 1 2 14 15 17 6 11 7 10 11 5 2 0 14 13 4 6 5 17 2 7 3 12 16 11 6 4 1 9 2 17 14 8 0 7 1 6 15 13 1 16 4 7 9 14 5 7 9 17 4 0 13 5 8 2 16 10 11 3 13 1 16 8 15 10 12 5 13 7 8 9 0 11 4 17 3 10 11 14 13 9 1 5 0 12 10 9 16 0 17 6 14 1 5 16 7 14 8 6 9 15 12 13 17 9 11 2 5 7
1.62 d NODES 5549
1.62 d CHECKS 675742
1.62
1.62 totalWckTime=1.393 totalCpuTime=1.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-197182-1168125374 -o ROOT/results/node7/solver-197182-1168125374 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197182-1168125374/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.15 1.20 1.60 3/88 2213
/proc/meminfo: memFree=1771008/2055920 swapFree=4192812/4192956
[pid=2212] ppid=2210 vsize=18540 CPUtime=0
/proc/2212/stat : 2212 (runsolver) R 2210 2212 1850 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 160933953 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2212/statm: 4635 279 244 17 0 2626 0
[startup+0.102734 s]
/proc/loadavg: 1.15 1.20 1.60 3/88 2213
/proc/meminfo: memFree=1771008/2055920 swapFree=4192812/4192956
[pid=2212] ppid=2210 vsize=914988 CPUtime=0.08
/proc/2212/stat : 2212 (java) R 2210 2212 1850 0 -1 0 2986 0 1 0 6 2 0 0 25 0 8 0 160933953 936947712 2732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2212/statm: 228747 2732 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510772 s]
/proc/loadavg: 1.15 1.20 1.60 3/88 2213
/proc/meminfo: memFree=1771008/2055920 swapFree=4192812/4192956
[pid=2212] ppid=2210 vsize=915328 CPUtime=0.48
/proc/2212/stat : 2212 (java) R 2210 2212 1850 0 -1 0 6339 0 1 0 43 5 0 0 25 0 8 0 160933953 937295872 6078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2212/statm: 228832 6078 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33486 s]
/proc/loadavg: 1.22 1.21 1.61 4/95 2220
/proc/meminfo: memFree=1746248/2055920 swapFree=4192812/4192956
[pid=2212] ppid=2210 vsize=915568 CPUtime=1.3
/proc/2212/stat : 2212 (java) R 2210 2212 1850 0 -1 0 8969 0 1 0 122 8 0 0 25 0 8 0 160933953 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2212/statm: 228892 8707 2524 14 0 215362 0
[pid=2212/tid=2214] ppid=2210 vsize=915568 CPUtime=0.03
/proc/2212/task/2214/stat : 2214 (java) S 2210 2212 1850 0 -1 64 331 0 0 0 3 0 0 0 16 0 8 0 160933958 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2212/tid=2215] ppid=2210 vsize=915568 CPUtime=0
/proc/2212/task/2215/stat : 2215 (java) S 2210 2212 1850 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160933958 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2212/tid=2216] ppid=2210 vsize=915568 CPUtime=0
/proc/2212/task/2216/stat : 2216 (java) S 2210 2212 1850 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160933958 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2212/tid=2217] ppid=2210 vsize=915568 CPUtime=0
/proc/2212/task/2217/stat : 2217 (java) S 2210 2212 1850 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 160933961 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2212/tid=2218] ppid=2210 vsize=915568 CPUtime=0.27
/proc/2212/task/2218/stat : 2218 (java) S 2210 2212 1850 0 -1 64 413 0 0 0 26 1 0 0 15 0 8 0 160933961 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2212/tid=2219] ppid=2210 vsize=915568 CPUtime=0
/proc/2212/task/2219/stat : 2219 (java) S 2210 2212 1850 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 160933961 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2212/tid=2220] ppid=2210 vsize=915568 CPUtime=0
/proc/2212/task/2220/stat : 2220 (java) S 2210 2212 1850 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160933961 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 1.65742
CPU time (s): 1.60176
CPU user time (s): 1.51377
CPU system time (s): 0.087986
CPU usage (%): 96.6417
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.51377
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9101
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= 1380
involuntary context switches= 1569
runsolver used 0.003999 s user time and 0.016997 s system time
The end
Begin job on node7 on Sat Jan 6 23:16:22 UTC 2007
IDJOB= 197182
IDBENCH= 3448
FILE ID= node7/197182-1168125374
PBS_JOBID= 3477564
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197182-1168125374/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-197182-1168125374 -o ROOT/results/node7/solver-197182-1168125374 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197182-1168125374/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0a71e44451c9cf4ac9bd4756d5ff63fb
RANDOM SEED= 868823829
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: 1771488 kB
Buffers: 45796 kB
Cached: 115024 kB
SwapCached: 0 kB
Active: 142004 kB
Inactive: 84676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1771488 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1820 kB
Writeback: 0 kB
Mapped: 86408 kB
Slab: 42468 kB
Committed_AS: 4484776 kB
PageTables: 2392 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= 66548 MiB
End job on node7 on Sat Jan 6 23:16:29 UTC 2007