0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/222655-1168080347/unknown.xml
0.38
0.38 domains being loaded...
0.40
0.40 variables being loaded...
0.45 nbVariables=106 nbDomainTypes=97 minDomainSize=1 maxDomainSize=6
0.45 => wckTime=0.128 cpuTime=0.11 mem=6M886
0.45
0.45 relations being loaded...
0.47
0.47 constraints being loaded...
0.63 nbConstraints=582 nbRelationTypes=144 nbSingletonDomainVariables=2 nbExtensionStructures=559
0.63 nbSharedExtensionStructures=23 nbConflictsStructures=559 nbSharedConflictsStructures=23
0.63 nbSharedBinaryRepresentations=4081 maxDegree=13 maxArity=2
0.63 => wckTime=0.308 cpuTime=0.2 mem=10M803
0.67
0.67 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.504 cpuTime=0.33 mem=14M774
0.84
0.84 preprocessing
0.84 nbConstraintChecks=129 nbPropagations=106 nbRevisions=42 nbUselessRevisions=17 nbRemovedValues=25
0.84 detectedInconsistency=no
0.84 => wckTime=0.011 cpuTime=0.01 mem=14M774
0.88
0.88 search
0.88 run=0 nbConstraintChecks=2446 nbPropagations=362 nbRevisions=959 nbUselessRevisions=554 nbAssignments=51
0.88 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.049 cpuTime=0.03 mem=14M774
0.89
0.89 search
0.89 run=1 nbConstraintChecks=5322 nbPropagations=992 nbRevisions=3101 nbUselessRevisions=1868 nbAssignments=93
0.89 nbFailedAssignments=9 nbBacktracks=25 nbVisitedNodes=109 nbRestartNogoods=5 mapSize=8 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.063 cpuTime=0.04 mem=14M774
0.90
0.90 search
0.90 run=2 nbConstraintChecks=8839 nbPropagations=1968 nbRevisions=6810 nbUselessRevisions=4197 nbAssignments=152
0.90 nbFailedAssignments=12 nbBacktracks=47 nbVisitedNodes=175 nbRestartNogoods=7 mapSize=13 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.078 cpuTime=0.05 mem=14M774
0.92
0.92 search
0.92 run=3 nbConstraintChecks=14085 nbPropagations=3413 nbRevisions=12648 nbUselessRevisions=7803 nbAssignments=224
0.92 nbFailedAssignments=23 nbBacktracks=84 nbVisitedNodes=267 nbRestartNogoods=9 mapSize=29 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.091 cpuTime=0.06 mem=14M774
0.93
0.93 search
0.93 run=4 nbConstraintChecks=19764 nbPropagations=5409 nbRevisions=20755 nbUselessRevisions=12713
0.93 nbAssignments=330 nbFailedAssignments=39 nbBacktracks=155 nbVisitedNodes=403 nbRestartNogoods=13 mapSize=54
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.107 cpuTime=0.07 mem=14M774
0.95
0.95 search
0.95 run=5 nbConstraintChecks=28817 nbPropagations=8147 nbRevisions=32662 nbUselessRevisions=19934
0.95 nbAssignments=443 nbFailedAssignments=52 nbBacktracks=239 nbVisitedNodes=549 nbRestartNogoods=16 mapSize=84
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.122 cpuTime=0.08 mem=14M774
0.96
0.96 search
0.96 run=6 nbConstraintChecks=39614 nbPropagations=11852 nbRevisions=49210 nbUselessRevisions=29952
0.96 nbAssignments=594 nbFailedAssignments=70 nbBacktracks=352 nbVisitedNodes=741 nbRestartNogoods=19 mapSize=123
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.139 cpuTime=0.1 mem=14M774
0.99
0.99 search
0.99 run=7 nbConstraintChecks=57826 nbPropagations=17084 nbRevisions=74234 nbUselessRevisions=45581
0.99 nbAssignments=827 nbFailedAssignments=101 nbBacktracks=536 nbVisitedNodes=1044 nbRestartNogoods=21 mapSize=187
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.163 cpuTime=0.12 mem=14M774
1.02
1.02 search
1.02 run=8 nbConstraintChecks=90565 nbPropagations=25064 nbRevisions=114531 nbUselessRevisions=71260
1.02 nbAssignments=1151 nbFailedAssignments=145 nbBacktracks=800 nbVisitedNodes=1475 nbRestartNogoods=25
1.02 mapSize=289 nbInferences=2 nbTooLargeKeys=0
1.03 => wckTime=0.2 cpuTime=0.15 mem=14M774
1.04
1.04 search
1.04 run=9 nbConstraintChecks=100257 nbPropagations=33844 nbRevisions=159117 nbUselessRevisions=99834
1.04 nbAssignments=1324 nbFailedAssignments=157 nbBacktracks=855 nbVisitedNodes=1669 nbRestartNogoods=28
1.04 mapSize=304 nbInferences=2 nbTooLargeKeys=0
1.04 => wckTime=0.215 cpuTime=0.17 mem=14M774
1.04
1.04 global
1.04 nbConstraintChecks=100386 nbPropagations=33950 nbRevisions=159159 nbUselessRevisions=99851 nbRestartNogoods=28
1.04 solvingWckTime=0.217 solvingCpuTime=0.17 expiredTime=no totalExploration=no nbFoundSolutions=1
1.04 globalCpuTime=0.54
1.04 => wckTime=0.723 cpuTime=0.5 mem=14M774
1.04
1.04 s SATISFIABLE
1.04 v 0 1 2 7 10 3 13 2 9 5 6 4 1 11 11 10 3 13 9 8 7 9 1 13 6 11 2 7 8 9 5 1 13 14 10 2 12 14 8 1 0 6 9 1 7 10 11 5 3 9 9 10 13 14 1 4 11 3 4 5 1 12 10 14 13 14 12 4 10 1 5 7 11 9 6 10 14 0 6 14 13 11 10 7 1 3 6 8 12 0 5 10 9 5 12 3 11 13 1 7 3 2 4 0 12 11
1.04 d NODES 1324
1.04 d CHECKS 100386
1.04
1.04 totalWckTime=0.798 totalCpuTime=0.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-222655-1168080347 -o ROOT/results/node18/solver-222655-1168080347 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222655-1168080347/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.38 1.64 1.74 2/93 26020
/proc/meminfo: memFree=1058712/2055920 swapFree=4192812/4192956
[pid=26019] ppid=26017 vsize=18540 CPUtime=0
/proc/26019/stat : 26019 (runsolver) R 26017 26019 25840 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156429426 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26019/statm: 4635 279 244 17 0 2626 0
[startup+0.102708 s]
/proc/loadavg: 1.38 1.64 1.74 2/93 26020
/proc/meminfo: memFree=1058712/2055920 swapFree=4192812/4192956
[pid=26019] ppid=26017 vsize=914988 CPUtime=0.08
/proc/26019/stat : 26019 (java) R 26017 26019 25840 0 -1 0 2980 0 1 0 7 1 0 0 20 0 8 0 156429426 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26019/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510747 s]
/proc/loadavg: 1.38 1.64 1.74 2/93 26020
/proc/meminfo: memFree=1058712/2055920 swapFree=4192812/4192956
[pid=26019] ppid=26017 vsize=915328 CPUtime=0.47
/proc/26019/stat : 26019 (java) R 26017 26019 25840 0 -1 0 6266 0 1 0 43 4 0 0 19 0 8 0 156429426 937295872 6005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26019/statm: 228832 6005 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.09076
CPU time (s): 1.02384
CPU user time (s): 0.949855
CPU system time (s): 0.073988
CPU usage (%): 93.8653
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.949855
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8762
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= 1073
involuntary context switches= 1233
runsolver used 0.001999 s user time and 0.008998 s system time
The end
Begin job on node18 on Sat Jan 6 10:45:47 UTC 2007
IDJOB= 222655
IDBENCH= 5547
FILE ID= node18/222655-1168080347
PBS_JOBID= 3475859
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-15-106/bqwh-15-106-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222655-1168080347/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-222655-1168080347 -o ROOT/results/node18/solver-222655-1168080347 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222655-1168080347/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6e93b898aa1aa2c4e525091a04cb85c0
RANDOM SEED= 545127525
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.231
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.231
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: 1059192 kB
Buffers: 70464 kB
Cached: 708884 kB
SwapCached: 0 kB
Active: 493620 kB
Inactive: 403920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1059192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1840 kB
Writeback: 0 kB
Mapped: 147208 kB
Slab: 83836 kB
Committed_AS: 4921088 kB
PageTables: 2244 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= 66285 MiB
End job on node18 on Sat Jan 6 10:45:51 UTC 2007