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/196954-1168125058/unknown.xml
0.37
0.37 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=141 nbDomainTypes=134 minDomainSize=1 maxDomainSize=6
0.44 => wckTime=0.15 cpuTime=0.1 mem=6M886
0.44
0.44 relations being loaded...
0.49
0.50 constraints being loaded...
0.68 nbConstraints=895 nbRelationTypes=238 nbSingletonDomainVariables=1 nbExtensionStructures=875
0.68 nbSharedExtensionStructures=20 nbConflictsStructures=875 nbSharedConflictsStructures=20
0.68 nbSharedBinaryRepresentations=6845 maxDegree=14 maxArity=2
0.68 => wckTime=0.382 cpuTime=0.23 mem=11M762
0.72
0.72 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.597 cpuTime=0.38 mem=15M122
0.96
0.96 preprocessing
0.96 nbConstraintChecks=10202 nbPropagations=1340 nbRevisions=3260 nbUselessRevisions=1881 nbSingletonTests=158
0.96 nbEffectiveSingletonTests=0 nbESACBranches=13 nbRemovedValues=10 detectedInconsistency=no
0.96 => wckTime=0.066 cpuTime=0.04 mem=15M122
0.99
0.99 search
0.99 run=0 nbConstraintChecks=3165 nbPropagations=1634 nbRevisions=4381 nbUselessRevisions=2531 nbAssignments=46
0.99 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=2 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.097 cpuTime=0.06 mem=16M114
1.01
1.01 search
1.01 run=1 nbConstraintChecks=12132 nbPropagations=4217 nbRevisions=11711 nbUselessRevisions=6852 nbAssignments=198
1.01 nbFailedAssignments=8 nbBacktracks=26 nbVisitedNodes=101 nbRestartNogoods=4 mapSize=9 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.113 cpuTime=0.07 mem=16M114
1.01
1.01 search
1.01 run=2 nbConstraintChecks=14871 nbPropagations=7082 nbRevisions=19883 nbUselessRevisions=11619
1.01 nbAssignments=244 nbFailedAssignments=18 nbBacktracks=49 nbVisitedNodes=166 nbRestartNogoods=5 mapSize=26
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.121 cpuTime=0.08 mem=16M114
1.02
1.02 search
1.02 run=3 nbConstraintChecks=18206 nbPropagations=10226 nbRevisions=29121 nbUselessRevisions=16965
1.02 nbAssignments=298 nbFailedAssignments=26 nbBacktracks=85 nbVisitedNodes=237 nbRestartNogoods=6 mapSize=41
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.128 cpuTime=0.09 mem=16M114
1.04
1.04 search
1.04 run=4 nbConstraintChecks=25289 nbPropagations=14001 nbRevisions=41082 nbUselessRevisions=23945
1.04 nbAssignments=403 nbFailedAssignments=38 nbBacktracks=136 nbVisitedNodes=363 nbRestartNogoods=8 mapSize=59
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.143 cpuTime=0.1 mem=16M114
1.06
1.06 search
1.06 run=5 nbConstraintChecks=35306 nbPropagations=18552 nbRevisions=56891 nbUselessRevisions=33136
1.06 nbAssignments=518 nbFailedAssignments=51 nbBacktracks=214 nbVisitedNodes=507 nbRestartNogoods=11 mapSize=85
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.163 cpuTime=0.11 mem=16M114
1.08
1.08 search
1.08 run=6 nbConstraintChecks=51085 nbPropagations=24307 nbRevisions=78358 nbUselessRevisions=45484
1.08 nbAssignments=682 nbFailedAssignments=82 nbBacktracks=331 nbVisitedNodes=739 nbRestartNogoods=14 mapSize=144
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.186 cpuTime=0.13 mem=16M114
1.10
1.10 search
1.10 run=7 nbConstraintChecks=68407 nbPropagations=31470 nbRevisions=107018 nbUselessRevisions=62370
1.11 nbAssignments=915 nbFailedAssignments=107 nbBacktracks=504 nbVisitedNodes=1035 nbRestartNogoods=20 mapSize=203
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.211 cpuTime=0.16 mem=16M114
1.15
1.15 search
1.15 run=8 nbConstraintChecks=92378 nbPropagations=40796 nbRevisions=144730 nbUselessRevisions=84733
1.15 nbAssignments=1279 nbFailedAssignments=154 nbBacktracks=764 nbVisitedNodes=1475 nbRestartNogoods=23
1.15 mapSize=314 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.257 cpuTime=0.2 mem=16M114
1.22
1.23 search
1.23 run=9 nbConstraintChecks=141236 nbPropagations=53848 nbRevisions=201162 nbUselessRevisions=118181
1.23 nbAssignments=1784 nbFailedAssignments=260 nbBacktracks=1150 nbVisitedNodes=2203 nbRestartNogoods=26
1.23 mapSize=512 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.331 cpuTime=0.26 mem=16M114
1.32
1.32 search
1.32 run=10 nbConstraintChecks=224777 nbPropagations=73132 nbRevisions=289945 nbUselessRevisions=170931
1.32 nbAssignments=2538 nbFailedAssignments=431 nbBacktracks=1728 nbVisitedNodes=3293 nbRestartNogoods=29
1.32 mapSize=784 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.429 cpuTime=0.34 mem=16M114
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=16M114)
1.44
1.44 search
1.44 run=11 nbConstraintChecks=361642 nbPropagations=101936 nbRevisions=438835 nbUselessRevisions=264326
1.44 nbAssignments=3591 nbFailedAssignments=596 nbBacktracks=2592 nbVisitedNodes=4695 nbRestartNogoods=33
1.44 => wckTime=0.548 cpuTime=0.46 mem=16M114
1.63
1.63 search
1.63 run=12 nbConstraintChecks=630806 nbPropagations=148605 nbRevisions=702173 nbUselessRevisions=434270
1.63 nbAssignments=5233 nbFailedAssignments=928 nbBacktracks=3889 nbVisitedNodes=7047 nbRestartNogoods=36
1.63 => wckTime=0.734 cpuTime=0.64 mem=16M114
1.69
1.69 search
1.69 run=13 nbConstraintChecks=709618 nbPropagations=201123 nbRevisions=999815 nbUselessRevisions=627309
1.69 nbAssignments=5970 nbFailedAssignments=1021 nbBacktracks=4392 nbVisitedNodes=7986 nbRestartNogoods=43
1.69 => wckTime=0.799 cpuTime=0.7 mem=16M114
1.69
1.69 global
1.69 nbConstraintChecks=719820 nbPropagations=202463 nbRevisions=1003075 nbUselessRevisions=629190
1.69 nbRestartNogoods=43 solvingWckTime=0.8 solvingCpuTime=0.7 expiredTime=no totalExploration=no
1.69 nbFoundSolutions=1 globalCpuTime=1.13
1.69 => wckTime=1.4 cpuTime=1.08 mem=16M114
1.70
1.70 s SATISFIABLE
1.70 v 8 9 2 7 0 4 11 6 16 12 7 2 0 13 4 11 11 15 3 5 0 1 4 13 7 5 0 6 3 2 1 1 16 5 3 12 10 13 6 3 15 7 0 16 2 1 5 8 2 16 5 3 4 7 0 3 14 11 10 17 5 16 7 0 4 1 2 7 5 12 10 3 10 12 7 1 17 14 4 15 4 7 6 13 10 0 3 12 4 8 13 16 6 14 11 6 10 11 12 1 0 16 9 0 13 17 8 4 15 12 17 6 14 8 1 9 12 0 10 14 0 8 5 6 12 4 13 11 6 1 14 2 5 5 12 3 1 16 13 14 4
1.70 d NODES 5970
1.70 d CHECKS 719820
1.70
1.70 totalWckTime=1.476 totalCpuTime=1.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-196954-1168125058 -o ROOT/results/node43/solver-196954-1168125058 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196954-1168125058/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.44 1.18 1.53 4/70 24501
/proc/meminfo: memFree=1838576/2055920 swapFree=4192812/4192956
[pid=24500] ppid=24497 vsize=172 CPUtime=0
/proc/24500/stat : 24500 (java) R 24497 24500 23588 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 160905617 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4731684 0 0 4096 0 0 0 0 17 1 0 0
/proc/24500/statm: 43 24 18 14 0 3 0
[startup+0.103387 s]
/proc/loadavg: 0.44 1.18 1.53 4/70 24501
/proc/meminfo: memFree=1838576/2055920 swapFree=4192812/4192956
[pid=24500] ppid=24497 vsize=914988 CPUtime=0.09
/proc/24500/stat : 24500 (java) R 24497 24500 23588 0 -1 0 3044 0 1 0 7 2 0 0 23 0 8 0 160905617 936947712 2790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609868 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24500/statm: 228747 2790 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511453 s]
/proc/loadavg: 0.44 1.18 1.53 4/70 24501
/proc/meminfo: memFree=1838576/2055920 swapFree=4192812/4192956
[pid=24500] ppid=24497 vsize=915328 CPUtime=0.48
/proc/24500/stat : 24500 (java) R 24497 24500 23588 0 -1 0 6292 0 1 0 43 5 0 0 25 0 8 0 160905617 937295872 6031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24500/statm: 228832 6031 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33259 s]
/proc/loadavg: 0.44 1.18 1.53 3/81 24534
/proc/meminfo: memFree=1812696/2055920 swapFree=4192812/4192956
[pid=24500] ppid=24497 vsize=915568 CPUtime=1.29
/proc/24500/stat : 24500 (java) R 24497 24500 23588 0 -1 0 8961 0 1 0 121 8 0 0 18 0 8 0 160905617 937541632 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24500/statm: 228892 8699 2524 14 0 215362 0
[pid=24500/tid=24517] ppid=24497 vsize=915568 CPUtime=0.03
/proc/24500/task/24517/stat : 24517 (java) S 24497 24500 23588 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 160905621 937541632 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24500/tid=24518] ppid=24497 vsize=915568 CPUtime=0
/proc/24500/task/24518/stat : 24518 (java) S 24497 24500 23588 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160905621 937541632 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24500/tid=24519] ppid=24497 vsize=915568 CPUtime=0
/proc/24500/task/24519/stat : 24519 (java) S 24497 24500 23588 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160905621 937541632 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24500/tid=24522] ppid=24497 vsize=915568 CPUtime=0
/proc/24500/task/24522/stat : 24522 (java) S 24497 24500 23588 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160905624 937541632 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24500/tid=24523] ppid=24497 vsize=915568 CPUtime=0.27
/proc/24500/task/24523/stat : 24523 (java) S 24497 24500 23588 0 -1 64 414 0 0 0 25 2 0 0 15 0 8 0 160905624 937541632 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24500/tid=24524] ppid=24497 vsize=915568 CPUtime=0
/proc/24500/task/24524/stat : 24524 (java) S 24497 24500 23588 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 160905624 937541632 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24500/tid=24525] ppid=24497 vsize=915568 CPUtime=0
/proc/24500/task/24525/stat : 24525 (java) S 24497 24500 23588 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160905624 937541632 8699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 1.74976
CPU time (s): 1.67274
CPU user time (s): 1.58076
CPU system time (s): 0.091986
CPU usage (%): 95.5984
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.58076
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9088
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= 1359
involuntary context switches= 1556
runsolver used 0.006998 s user time and 0.009998 s system time
The end
Begin job on node43 on Sat Jan 6 23:11:01 UTC 2007
IDJOB= 196954
IDBENCH= 3429
FILE ID= node43/196954-1168125058
PBS_JOBID= 3477535
Free space on /tmp= 66480 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-73_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196954-1168125058/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-196954-1168125058 -o ROOT/results/node43/solver-196954-1168125058 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196954-1168125058/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e682b54b715363b526e2e75596c15034
RANDOM SEED= 382910580
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: 1839392 kB
Buffers: 45916 kB
Cached: 96068 kB
SwapCached: 0 kB
Active: 86936 kB
Inactive: 75276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1839392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5312 kB
Writeback: 0 kB
Mapped: 30380 kB
Slab: 40052 kB
Committed_AS: 3109300 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= 66480 MiB
End job on node43 on Sat Jan 6 23:11:08 UTC 2007