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/197657-1168126064/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.131 cpuTime=0.1 mem=6M886
0.43
0.43 relations being loaded...
0.47
0.47 constraints being loaded...
0.64 nbConstraints=860 nbRelationTypes=234 nbSingletonDomainVariables=2 nbExtensionStructures=854
0.64 nbSharedExtensionStructures=6 nbConflictsStructures=854 nbSharedConflictsStructures=6
0.64 nbSharedBinaryRepresentations=6704 maxDegree=14 maxArity=2
0.64 => wckTime=0.349 cpuTime=0.24 mem=11M770
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.554 cpuTime=0.37 mem=15M97
0.91
0.91 preprocessing
0.91 nbConstraintChecks=10201 nbPropagations=1350 nbRevisions=3367 nbUselessRevisions=2066 nbSingletonTests=180
0.91 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=10 detectedInconsistency=no
0.91 => wckTime=0.057 cpuTime=0.04 mem=15M97
0.94
0.94 search
0.94 run=0 nbConstraintChecks=2484 nbPropagations=1643 nbRevisions=4248 nbUselessRevisions=2577 nbAssignments=46
0.94 nbFailedAssignments=2 nbBacktracks=14 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.086 cpuTime=0.06 mem=16M88
0.95
0.95 search
0.95 run=1 nbConstraintChecks=6923 nbPropagations=3709 nbRevisions=10119 nbUselessRevisions=6113 nbAssignments=115
0.95 nbFailedAssignments=8 nbBacktracks=36 nbVisitedNodes=132 nbRestartNogoods=1 mapSize=13 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.095 cpuTime=0.06 mem=16M88
0.95
0.95 search
0.95 run=2 nbConstraintChecks=9300 nbPropagations=6008 nbRevisions=16777 nbUselessRevisions=10074 nbAssignments=162
0.95 nbFailedAssignments=12 nbBacktracks=58 nbVisitedNodes=190 nbRestartNogoods=3 mapSize=23 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.102 cpuTime=0.07 mem=16M88
0.96
0.96 search
0.96 run=3 nbConstraintChecks=14658 nbPropagations=8732 nbRevisions=25226 nbUselessRevisions=15020
0.96 nbAssignments=216 nbFailedAssignments=21 nbBacktracks=93 nbVisitedNodes=270 nbRestartNogoods=4 mapSize=48
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.11 cpuTime=0.08 mem=16M88
0.98
0.98 search
0.98 run=4 nbConstraintChecks=22879 nbPropagations=12132 nbRevisions=36799 nbUselessRevisions=21814
0.98 nbAssignments=312 nbFailedAssignments=32 nbBacktracks=152 nbVisitedNodes=390 nbRestartNogoods=5 mapSize=68
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.123 cpuTime=0.09 mem=16M88
1.00
1.00 search
1.00 run=5 nbConstraintChecks=32016 nbPropagations=16385 nbRevisions=51840 nbUselessRevisions=30593
1.00 nbAssignments=449 nbFailedAssignments=52 nbBacktracks=235 nbVisitedNodes=570 nbRestartNogoods=6 mapSize=104
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.143 cpuTime=0.11 mem=16M88
1.02
1.02 search
1.02 run=6 nbConstraintChecks=51251 nbPropagations=22470 nbRevisions=73956 nbUselessRevisions=43665
1.02 nbAssignments=759 nbFailedAssignments=67 nbBacktracks=356 nbVisitedNodes=771 nbRestartNogoods=12 mapSize=138
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.172 cpuTime=0.13 mem=16M88
1.05
1.05 search
1.05 run=7 nbConstraintChecks=74909 nbPropagations=30298 nbRevisions=105581 nbUselessRevisions=62658
1.05 nbAssignments=983 nbFailedAssignments=93 nbBacktracks=534 nbVisitedNodes=1056 nbRestartNogoods=15 mapSize=196
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.202 cpuTime=0.16 mem=16M88
1.10
1.10 search
1.10 run=8 nbConstraintChecks=102870 nbPropagations=40443 nbRevisions=148409 nbUselessRevisions=88312
1.10 nbAssignments=1322 nbFailedAssignments=148 nbBacktracks=796 nbVisitedNodes=1530 nbRestartNogoods=18
1.10 mapSize=317 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.244 cpuTime=0.2 mem=16M88
1.16
1.16 search
1.16 run=9 nbConstraintChecks=145498 nbPropagations=53974 nbRevisions=208726 nbUselessRevisions=125011
1.16 nbAssignments=1812 nbFailedAssignments=214 nbBacktracks=1193 nbVisitedNodes=2173 nbRestartNogoods=20
1.16 mapSize=459 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.308 cpuTime=0.25 mem=16M88
1.25
1.25 search
1.25 run=10 nbConstraintChecks=213009 nbPropagations=72842 nbRevisions=297556 nbUselessRevisions=180142
1.25 nbAssignments=2512 nbFailedAssignments=307 nbBacktracks=1778 nbVisitedNodes=3073 nbRestartNogoods=24
1.25 mapSize=649 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.395 cpuTime=0.32 mem=16M88
1.36
1.36 search
1.36 run=11 nbConstraintChecks=333086 nbPropagations=101054 nbRevisions=436769 nbUselessRevisions=267186
1.36 nbAssignments=3557 nbFailedAssignments=463 nbBacktracks=2645 nbVisitedNodes=4496 nbRestartNogoods=30
1.36 mapSize=1016 nbInferences=1 nbTooLargeKeys=0
1.36 => wckTime=0.511 cpuTime=0.44 mem=16M88
1.37
1.37 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=16M88)
1.52
1.52 search
1.52 run=12 nbConstraintChecks=538669 nbPropagations=143999 nbRevisions=665750 nbUselessRevisions=413816
1.52 nbAssignments=5140 nbFailedAssignments=721 nbBacktracks=3946 nbVisitedNodes=6634 nbRestartNogoods=35
1.52 => wckTime=0.669 cpuTime=0.59 mem=16M88
1.75
1.75 search
1.75 run=13 nbConstraintChecks=863461 nbPropagations=210451 nbRevisions=1030125 nbUselessRevisions=646569
1.75 nbAssignments=7536 nbFailedAssignments=1145 nbBacktracks=5895 nbVisitedNodes=9934 nbRestartNogoods=40
1.75 => wckTime=0.899 cpuTime=0.82 mem=16M88
2.08
2.08 search
2.08 run=14 nbConstraintChecks=1317295 nbPropagations=309588 nbRevisions=1592514 nbUselessRevisions=1009619
2.08 nbAssignments=11049 nbFailedAssignments=1714 nbBacktracks=8817 nbVisitedNodes=14749 nbRestartNogoods=44
2.08 => wckTime=1.224 cpuTime=1.14 mem=16M88
2.58
2.58 search
2.58 run=15 nbConstraintChecks=2028148 nbPropagations=459381 nbRevisions=2455296 nbUselessRevisions=1568008
2.58 nbAssignments=16372 nbFailedAssignments=2632 nbBacktracks=13196 nbVisitedNodes=21954 nbRestartNogoods=50
2.58 => wckTime=1.726 cpuTime=1.64 mem=16M88
2.82
2.82 search
2.82 run=16 nbConstraintChecks=2338121 nbPropagations=633378 nbRevisions=3450667 nbUselessRevisions=2211257
2.82 nbAssignments=19144 nbFailedAssignments=3140 nbBacktracks=15294 nbVisitedNodes=25760 nbRestartNogoods=57
2.82 => wckTime=1.964 cpuTime=1.88 mem=16M88
2.82
2.82 global
2.82 nbConstraintChecks=2348322 nbPropagations=634728 nbRevisions=3454034 nbUselessRevisions=2213323
2.82 nbRestartNogoods=57 solvingWckTime=1.966 solvingCpuTime=1.88 expiredTime=no totalExploration=no
2.82 nbFoundSolutions=1 globalCpuTime=2.32
2.82 => wckTime=2.522 cpuTime=2.26 mem=16M88
2.82
2.82 s SATISFIABLE
2.82 v 6 12 17 15 1 4 9 11 3 4 9 17 2 14 1 6 2 9 0 1 13 11 10 4 10 14 2 13 5 12 3 3 5 7 17 2 13 9 4 11 5 7 8 2 10 13 14 11 1 13 12 3 9 15 13 2 0 3 10 12 11 16 6 1 9 13 15 2 4 17 4 5 15 16 3 1 13 2 3 5 12 10 2 4 15 17 8 0 15 7 2 4 12 16 15 11 9 8 16 4 12 14 7 17 12 16 6 11 2 3 4 3 0 1 15 16 17 6 6 0 3 10 4 15 9 1 9 14 7 17 0 8 1 11 16 1 11 15 14 12 10
2.82 d NODES 19144
2.82 d CHECKS 2348322
2.82
2.82 totalWckTime=2.598 totalCpuTime=2.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-197657-1168126064 -o ROOT/results/node19/solver-197657-1168126064 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197657-1168126064/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.06 0.17 0.76 2/81 6033
/proc/meminfo: memFree=1800264/2055920 swapFree=4171244/4192956
[pid=6032] ppid=6030 vsize=1784 CPUtime=0
/proc/6032/stat : 6032 (java) D 6030 6032 5306 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 161002467 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/6032/statm: 446 160 125 14 0 91 0
[startup+0.102976 s]
/proc/loadavg: 0.06 0.17 0.76 2/81 6033
/proc/meminfo: memFree=1800264/2055920 swapFree=4171244/4192956
[pid=6032] ppid=6030 vsize=914988 CPUtime=0.09
/proc/6032/stat : 6032 (java) R 6030 6032 5306 0 -1 0 3061 0 1 0 7 2 0 0 17 0 8 0 161002467 936947712 2807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228747 2807 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511049 s]
/proc/loadavg: 0.06 0.17 0.76 2/81 6033
/proc/meminfo: memFree=1800264/2055920 swapFree=4171244/4192956
[pid=6032] ppid=6030 vsize=915328 CPUtime=0.48
/proc/6032/stat : 6032 (java) R 6030 6032 5306 0 -1 0 6409 0 1 0 44 4 0 0 16 0 8 0 161002467 937295872 6148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228832 6148 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3332 s]
/proc/loadavg: 0.06 0.17 0.76 2/88 6040
/proc/meminfo: memFree=1775440/2055920 swapFree=4171244/4192956
[pid=6032] ppid=6030 vsize=915568 CPUtime=1.31
/proc/6032/stat : 6032 (java) R 6030 6032 5306 0 -1 0 8983 0 1 0 124 7 0 0 16 0 8 0 161002467 937541632 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6032/statm: 228892 8721 2524 14 0 215362 0
[pid=6032/tid=6034] ppid=6030 vsize=915568 CPUtime=0.03
/proc/6032/task/6034/stat : 6034 (java) S 6030 6032 5306 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 161002471 937541632 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6035] ppid=6030 vsize=915568 CPUtime=0
/proc/6032/task/6035/stat : 6035 (java) S 6030 6032 5306 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161002471 937541632 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=915568 CPUtime=0
/proc/6032/task/6036/stat : 6036 (java) S 6030 6032 5306 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161002471 937541632 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=915568 CPUtime=0
/proc/6032/task/6037/stat : 6037 (java) S 6030 6032 5306 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161002474 937541632 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=915568 CPUtime=0.24
/proc/6032/task/6038/stat : 6038 (java) S 6030 6032 5306 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 161002474 937541632 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6032/tid=6039] ppid=6030 vsize=915568 CPUtime=0
/proc/6032/task/6039/stat : 6039 (java) S 6030 6032 5306 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161002474 937541632 8722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6032/tid=6040] ppid=6030 vsize=915568 CPUtime=0
/proc/6032/task/6040/stat : 6040 (java) S 6030 6032 5306 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161002474 937541632 8722 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): 2.84381
CPU time (s): 2.82557
CPU user time (s): 2.73758
CPU system time (s): 0.087986
CPU usage (%): 99.3584
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.73758
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= 9108
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1007
involuntary context switches= 133
runsolver used 0.005999 s user time and 0.017997 s system time
The end
Begin job on node19 on Sat Jan 6 23:27:52 UTC 2007
IDJOB= 197657
IDBENCH= 3494
FILE ID= node19/197657-1168126064
PBS_JOBID= 3477611
Free space on /tmp= 66309 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197657-1168126064/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-197657-1168126064 -o ROOT/results/node19/solver-197657-1168126064 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197657-1168126064/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dc3a2c478779b5c575b2b6f8a984731f
RANDOM SEED= 40797433
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.260
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.260
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: 1800744 kB
Buffers: 49404 kB
Cached: 110496 kB
SwapCached: 10440 kB
Active: 104212 kB
Inactive: 91436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1800744 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 44624 kB
Slab: 44528 kB
Committed_AS: 3861208 kB
PageTables: 2208 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= 66309 MiB
End job on node19 on Sat Jan 6 23:28:10 UTC 2007