0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/222920-1168265065/unknown.xml
0.37
0.37 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=106 nbDomainTypes=97 minDomainSize=1 maxDomainSize=6
0.43 => wckTime=0.124 cpuTime=0.11 mem=6M886
0.43
0.43 relations being loaded...
0.46
0.46 constraints being loaded...
0.62 nbConstraints=601 nbRelationTypes=132 nbSingletonDomainVariables=1 nbExtensionStructures=583
0.62 nbSharedExtensionStructures=18 nbConflictsStructures=583 nbSharedConflictsStructures=18
0.62 nbSharedBinaryRepresentations=4297 maxDegree=13 maxArity=2
0.62 => wckTime=0.306 cpuTime=0.21 mem=10M803
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.51 cpuTime=0.36 mem=14M940
0.87
0.87 preprocessing
0.87 nbConstraintChecks=7142 nbPropagations=923 nbRevisions=2518 nbUselessRevisions=1563 nbSingletonTests=129
0.87 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=3 detectedInconsistency=no
0.87 => wckTime=0.051 cpuTime=0.03 mem=14M940
0.90
0.90 search
0.90 run=0 nbConstraintChecks=2939 nbPropagations=1206 nbRevisions=3685 nbUselessRevisions=2256 nbAssignments=35
0.90 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.079 cpuTime=0.05 mem=14M940
0.91
0.91 search
0.91 run=1 nbConstraintChecks=5368 nbPropagations=2649 nbRevisions=8321 nbUselessRevisions=5104 nbAssignments=76
0.91 nbFailedAssignments=7 nbBacktracks=32 nbVisitedNodes=90 nbRestartNogoods=3 mapSize=11 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.087 cpuTime=0.06 mem=14M940
0.92
0.92 search
0.92 run=2 nbConstraintChecks=10533 nbPropagations=4517 nbRevisions=15242 nbUselessRevisions=9471 nbAssignments=128
0.92 nbFailedAssignments=11 nbBacktracks=65 nbVisitedNodes=154 nbRestartNogoods=4 mapSize=22 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.097 cpuTime=0.06 mem=14M940
0.93
0.93 search
0.93 run=3 nbConstraintChecks=14870 nbPropagations=6783 nbRevisions=24037 nbUselessRevisions=15042
0.93 nbAssignments=187 nbFailedAssignments=15 nbBacktracks=104 nbVisitedNodes=220 nbRestartNogoods=5 mapSize=27
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.105 cpuTime=0.07 mem=14M940
0.94
0.94 search
0.94 run=4 nbConstraintChecks=22201 nbPropagations=9641 nbRevisions=35937 nbUselessRevisions=22518
0.94 nbAssignments=268 nbFailedAssignments=24 nbBacktracks=166 nbVisitedNodes=320 nbRestartNogoods=7 mapSize=45
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.117 cpuTime=0.08 mem=14M940
0.95
0.95 search
0.95 run=5 nbConstraintChecks=31092 nbPropagations=13248 nbRevisions=51382 nbUselessRevisions=32101
0.95 nbAssignments=377 nbFailedAssignments=38 nbBacktracks=246 nbVisitedNodes=456 nbRestartNogoods=8 mapSize=67
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.133 cpuTime=0.1 mem=14M940
0.97
0.97 search
0.97 run=6 nbConstraintChecks=41275 nbPropagations=17795 nbRevisions=70942 nbUselessRevisions=44071
0.97 nbAssignments=531 nbFailedAssignments=57 nbBacktracks=359 nbVisitedNodes=654 nbRestartNogoods=12 mapSize=107
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.15 cpuTime=0.11 mem=14M940
1.00
1.00 search
1.00 run=7 nbConstraintChecks=60853 nbPropagations=23884 nbRevisions=98690 nbUselessRevisions=61114
1.00 nbAssignments=760 nbFailedAssignments=85 nbBacktracks=549 nbVisitedNodes=941 nbRestartNogoods=16 mapSize=161
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.174 cpuTime=0.13 mem=14M940
1.03
1.03 search
1.03 run=8 nbConstraintChecks=88271 nbPropagations=32278 nbRevisions=137667 nbUselessRevisions=84950
1.03 nbAssignments=1091 nbFailedAssignments=132 nbBacktracks=808 nbVisitedNodes=1350 nbRestartNogoods=20
1.03 mapSize=247 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.211 cpuTime=0.17 mem=15M915
1.05
1.05 search
1.05 run=9 nbConstraintChecks=97202 nbPropagations=41375 nbRevisions=180611 nbUselessRevisions=111537
1.05 nbAssignments=1250 nbFailedAssignments=140 nbBacktracks=853 nbVisitedNodes=1525 nbRestartNogoods=25
1.05 mapSize=259 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.225 cpuTime=0.18 mem=15M915
1.05
1.05 global
1.05 nbConstraintChecks=104344 nbPropagations=42298 nbRevisions=183129 nbUselessRevisions=113100 nbRestartNogoods=25
1.05 solvingWckTime=0.226 solvingCpuTime=0.18 expiredTime=no totalExploration=no nbFoundSolutions=1
1.05 globalCpuTime=0.59
1.05 => wckTime=0.738 cpuTime=0.54 mem=15M915
1.05
1.05 s SATISFIABLE
1.05 v 1 0 6 7 10 14 2 12 9 1 0 14 13 6 1 12 14 11 6 7 8 14 5 12 2 13 10 1 14 3 13 2 6 10 11 2 10 6 4 1 14 0 6 7 12 5 14 4 0 10 4 9 13 7 12 14 8 6 1 7 13 3 14 11 3 0 14 7 10 8 6 0 2 10 5 11 13 14 9 13 2 14 8 5 7 11 3 13 14 7 8 0 6 2 12 1 0 5 10 4 3 7 12 0 2 8
1.05 d NODES 1250
1.05 d CHECKS 104344
1.05
1.05 totalWckTime=0.812 totalCpuTime=0.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-222920-1168265065 -o ROOT/results/node3/solver-222920-1168265065 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222920-1168265065/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.23 0.42 0.82 3/81 2540
/proc/meminfo: memFree=1759560/2055920 swapFree=4192812/4192956
[pid=2539] ppid=2537 vsize=1784 CPUtime=0
/proc/2539/stat : 2539 (java) R 2537 2539 1286 0 -1 0 193 0 0 0 0 0 0 0 18 0 1 0 174903014 1826816 159 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11733600 0 0 4096 0 0 0 0 17 1 0 0
/proc/2539/statm: 446 160 125 14 0 91 0
[startup+0.105442 s]
/proc/loadavg: 0.23 0.42 0.82 3/81 2540
/proc/meminfo: memFree=1759560/2055920 swapFree=4192812/4192956
[pid=2539] ppid=2537 vsize=913228 CPUtime=0.08
/proc/2539/stat : 2539 (java) D 2537 2539 1286 0 -1 0 2920 0 1 0 7 1 0 0 22 0 8 0 174903014 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2539/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.513512 s]
/proc/loadavg: 0.23 0.42 0.82 3/81 2540
/proc/meminfo: memFree=1759560/2055920 swapFree=4192812/4192956
[pid=2539] ppid=2537 vsize=915328 CPUtime=0.48
/proc/2539/stat : 2539 (java) R 2537 2539 1286 0 -1 0 6339 0 1 0 45 3 0 0 16 0 8 0 174903014 937295872 6078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2539/statm: 228832 6078 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.12597
CPU time (s): 1.04784
CPU user time (s): 0.98285
CPU system time (s): 0.06499
CPU usage (%): 93.0608
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.98285
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8868
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= 839
involuntary context switches= 102
runsolver used 0.003999 s user time and 0.006998 s system time
The end
Begin job on node3 on Mon Jan 8 14:04:28 UTC 2007
IDJOB= 222920
IDBENCH= 5576
FILE ID= node3/222920-1168265065
PBS_JOBID= 3482506
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-15-106/bqwh-15-106-61_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222920-1168265065/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-222920-1168265065 -o ROOT/results/node3/solver-222920-1168265065 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222920-1168265065/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bf05f3881d36aa98c4a2df151eb87fd3
RANDOM SEED= 458142914
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.279
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.279
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: 1759840 kB
Buffers: 42740 kB
Cached: 135488 kB
SwapCached: 0 kB
Active: 153312 kB
Inactive: 81108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1759840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1928 kB
Writeback: 0 kB
Mapped: 75148 kB
Slab: 47048 kB
Committed_AS: 4839604 kB
PageTables: 1936 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= 66560 MiB
End job on node3 on Mon Jan 8 14:04:39 UTC 2007