0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=mac.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/222522-1168080333/unknown.xml
0.46
0.46 domains being loaded...
0.49
0.49 variables being loaded...
0.53 nbVariables=106 nbDomainTypes=95 minDomainSize=2 maxDomainSize=6
0.53 => wckTime=0.13 cpuTime=0.11 mem=6M886
0.53
0.53 relations being loaded...
0.56
0.56 constraints being loaded...
0.73 nbConstraints=606 nbRelationTypes=166 nbExtensionStructures=575 nbSharedExtensionStructures=31
0.73 nbConflictsStructures=575 nbSharedConflictsStructures=31 nbSharedBinaryRepresentations=4369 maxDegree=14
0.73 maxArity=2
0.73 => wckTime=0.327 cpuTime=0.23 mem=10M820
0.77
0.78 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.536 cpuTime=0.36 mem=14M793
0.95
0.95 preprocessing
0.95 nbConstraintChecks=0 nbPropagations=106 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.95 detectedInconsistency=no
0.95 => wckTime=0.012 cpuTime=0.01 mem=14M793
0.99
0.99 search
0.99 run=0 nbConstraintChecks=2665 nbPropagations=386 nbRevisions=1044 nbUselessRevisions=641 nbAssignments=45
0.99 nbFailedAssignments=2 nbBacktracks=11 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=4 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.052 cpuTime=0.03 mem=14M793
1.01
1.01 search
1.01 run=1 nbConstraintChecks=5612 nbPropagations=1063 nbRevisions=3246 nbUselessRevisions=1973 nbAssignments=89
1.01 nbFailedAssignments=6 nbBacktracks=27 nbVisitedNodes=103 nbRestartNogoods=1 mapSize=10 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.065 cpuTime=0.04 mem=14M793
1.03
1.03 search
1.03 run=2 nbConstraintChecks=10670 nbPropagations=2226 nbRevisions=7474 nbUselessRevisions=4435 nbAssignments=162
1.03 nbFailedAssignments=14 nbBacktracks=67 nbVisitedNodes=196 nbRestartNogoods=3 mapSize=28 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.084 cpuTime=0.05 mem=14M793
1.04
1.04 search
1.04 run=3 nbConstraintChecks=14974 nbPropagations=3792 nbRevisions=13357 nbUselessRevisions=7829 nbAssignments=225
1.04 nbFailedAssignments=17 nbBacktracks=111 nbVisitedNodes=272 nbRestartNogoods=4 mapSize=40 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.096 cpuTime=0.06 mem=14M793
1.05
1.05 search
1.05 run=4 nbConstraintChecks=20964 nbPropagations=5925 nbRevisions=21650 nbUselessRevisions=12654
1.05 nbAssignments=320 nbFailedAssignments=25 nbBacktracks=162 nbVisitedNodes=388 nbRestartNogoods=5 mapSize=57
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.108 cpuTime=0.07 mem=14M793
1.07
1.07 search
1.07 run=5 nbConstraintChecks=29994 nbPropagations=8875 nbRevisions=33930 nbUselessRevisions=19991
1.07 nbAssignments=446 nbFailedAssignments=39 nbBacktracks=249 nbVisitedNodes=544 nbRestartNogoods=9 mapSize=85
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.126 cpuTime=0.09 mem=14M793
1.09
1.09 search
1.09 run=6 nbConstraintChecks=42353 nbPropagations=12954 nbRevisions=51608 nbUselessRevisions=30691
1.09 nbAssignments=619 nbFailedAssignments=61 nbBacktracks=368 nbVisitedNodes=768 nbRestartNogoods=11 mapSize=128
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.147 cpuTime=0.1 mem=14M793
1.12
1.12 search
1.12 run=7 nbConstraintChecks=71644 nbPropagations=19305 nbRevisions=82023 nbUselessRevisions=49234
1.12 nbAssignments=852 nbFailedAssignments=103 nbBacktracks=544 nbVisitedNodes=1097 nbRestartNogoods=17 mapSize=212
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.18 cpuTime=0.13 mem=14M793
1.17
1.17 search
1.17 run=8 nbConstraintChecks=100047 nbPropagations=28092 nbRevisions=125117 nbUselessRevisions=75942
1.17 nbAssignments=1172 nbFailedAssignments=136 nbBacktracks=804 nbVisitedNodes=1503 nbRestartNogoods=19
1.17 mapSize=291 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.226 cpuTime=0.17 mem=14M793
1.23
1.23 search
1.23 run=9 nbConstraintChecks=144595 nbPropagations=40767 nbRevisions=187922 nbUselessRevisions=114867
1.23 nbAssignments=1649 nbFailedAssignments=210 nbBacktracks=1188 nbVisitedNodes=2139 nbRestartNogoods=23
1.23 mapSize=444 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.289 cpuTime=0.21 mem=14M793
1.32
1.32 search
1.32 run=10 nbConstraintChecks=221316 nbPropagations=59728 nbRevisions=284956 nbUselessRevisions=175578
1.32 nbAssignments=2373 nbFailedAssignments=336 nbBacktracks=1765 nbVisitedNodes=3127 nbRestartNogoods=27
1.32 mapSize=687 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.375 cpuTime=0.28 mem=14M793
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=15M768)
1.42
1.42 search
1.42 run=11 nbConstraintChecks=342079 nbPropagations=88520 nbRevisions=436225 nbUselessRevisions=270839
1.42 nbAssignments=3438 nbFailedAssignments=519 nbBacktracks=2631 nbVisitedNodes=4579 nbRestartNogoods=33
1.42 => wckTime=0.474 cpuTime=0.38 mem=15M768
1.55
1.55 search
1.55 run=12 nbConstraintChecks=542903 nbPropagations=133051 nbRevisions=675889 nbUselessRevisions=422123
1.55 nbAssignments=5042 nbFailedAssignments=811 nbBacktracks=3936 nbVisitedNodes=6827 nbRestartNogoods=37
1.55 => wckTime=0.613 cpuTime=0.52 mem=15M768
1.74
1.74 search
1.74 run=13 nbConstraintChecks=812670 nbPropagations=199867 nbRevisions=1033882 nbUselessRevisions=647649
1.74 nbAssignments=7507 nbFailedAssignments=1307 nbBacktracks=5892 nbVisitedNodes=10286 nbRestartNogoods=40
1.74 => wckTime=0.803 cpuTime=0.71 mem=15M768
2.04
2.04 search
2.04 run=14 nbConstraintChecks=1221108 nbPropagations=301314 nbRevisions=1562642 nbUselessRevisions=975096
2.04 nbAssignments=11335 nbFailedAssignments=2204 nbBacktracks=8811 nbVisitedNodes=15795 nbRestartNogoods=44
2.04 => wckTime=1.096 cpuTime=1.0 mem=15M768
2.49
2.49 search
2.49 run=15 nbConstraintChecks=1878920 nbPropagations=454970 nbRevisions=2390599 nbUselessRevisions=1499805
2.49 nbAssignments=16656 nbFailedAssignments=3129 nbBacktracks=13194 nbVisitedNodes=23058 nbRestartNogoods=51
2.49 => wckTime=1.553 cpuTime=1.45 mem=15M768
2.53
2.53 search
2.53 run=16 nbConstraintChecks=1927863 nbPropagations=612490 nbRevisions=3240532 nbUselessRevisions=2039093
2.53 nbAssignments=17101 nbFailedAssignments=3192 nbBacktracks=13470 nbVisitedNodes=23618 nbRestartNogoods=58
2.53 => wckTime=1.591 cpuTime=1.49 mem=15M768
2.53
2.53 global
2.53 nbConstraintChecks=1927863 nbPropagations=612596 nbRevisions=3240532 nbUselessRevisions=2039093
2.53 nbRestartNogoods=58 solvingWckTime=1.592 solvingCpuTime=1.49 expiredTime=no totalExploration=no
2.54 nbFoundSolutions=1 globalCpuTime=1.9
2.54 => wckTime=2.131 cpuTime=1.85 mem=15M768
2.54
2.54 s SATISFIABLE
2.54 v 10 2 4 3 13 5 11 14 14 7 13 9 5 12 11 1 9 2 11 14 5 3 5 0 13 11 1 9 6 1 5 14 10 6 9 7 12 3 6 2 13 1 14 0 9 6 8 10 7 1 3 1 10 0 2 11 6 3 11 9 14 4 6 10 5 3 14 4 11 2 7 11 1 13 7 14 8 5 0 2 3 14 9 11 12 10 9 2 13 6 3 14 14 10 0 5 13 8 1 7 1 5 8 11 9 3
2.54 d NODES 17101
2.54 d CHECKS 1927863
2.54
2.54 totalWckTime=2.215 totalCpuTime=1.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-222522-1168080333 -o ROOT/results/node18/solver-222522-1168080333 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222522-1168080333/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.49 1.67 1.76 4/93 25964
/proc/meminfo: memFree=1058968/2055920 swapFree=4192812/4192956
[pid=25963] ppid=25961 vsize=18540 CPUtime=0
/proc/25963/stat : 25963 (runsolver) R 25961 25963 25840 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156427978 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25963/statm: 4635 279 244 17 0 2626 0
[startup+0.110065 s]
/proc/loadavg: 1.49 1.67 1.76 4/93 25964
/proc/meminfo: memFree=1058968/2055920 swapFree=4192812/4192956
[pid=25963] ppid=25961 vsize=47892 CPUtime=0
/proc/25963/stat : 25963 (java) D 25961 25963 25840 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 156427978 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/25963/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892
[startup+0.518107 s]
/proc/loadavg: 1.49 1.67 1.76 4/93 25964
/proc/meminfo: memFree=1058968/2055920 swapFree=4192812/4192956
[pid=25963] ppid=25961 vsize=915328 CPUtime=0.41
/proc/25963/stat : 25963 (java) R 25961 25963 25840 0 -1 0 6040 0 1 0 37 4 0 0 18 0 8 0 156427978 937295872 5779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072930899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228832 5779 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.34218 s]
/proc/loadavg: 1.49 1.67 1.76 4/100 25971
/proc/meminfo: memFree=1035040/2055920 swapFree=4192812/4192956
[pid=25963] ppid=25961 vsize=915556 CPUtime=1.22
/proc/25963/stat : 25963 (java) R 25961 25963 25840 0 -1 0 8728 0 1 0 115 7 0 0 18 0 8 0 156427978 937529344 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228889 8466 2513 14 0 215359 0
[pid=25963/tid=25965] ppid=25961 vsize=915556 CPUtime=0.03
/proc/25963/task/25965/stat : 25965 (java) S 25961 25963 25840 0 -1 64 261 0 0 0 3 0 0 0 16 0 8 0 156427991 937529344 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25961 vsize=915556 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25961 25963 25840 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156427991 937529344 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25961 vsize=915556 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25961 25963 25840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156427991 937529344 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25961 vsize=915556 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25961 25963 25840 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156427994 937529344 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25961 vsize=915556 CPUtime=0.25
/proc/25963/task/25969/stat : 25969 (java) R 25961 25963 25840 0 -1 64 404 0 0 0 24 1 0 0 20 0 8 0 156427994 937529344 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25961 vsize=915556 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25961 25963 25840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156427994 937529344 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25961 vsize=915556 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25961 25963 25840 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156427994 937529344 8466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 2.58133
CPU time (s): 2.42163
CPU user time (s): 2.33465
CPU system time (s): 0.086986
CPU usage (%): 93.8132
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.33465
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8856
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= 909
involuntary context switches= 1197
runsolver used 0.006998 s user time and 0.017997 s system time
The end
Begin job on node18 on Sat Jan 6 10:45:33 UTC 2007
IDJOB= 222522
IDBENCH= 5532
FILE ID= node18/222522-1168080333
PBS_JOBID= 3475859
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-15-106/bqwh-15-106-59_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222522-1168080333/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-222522-1168080333 -o ROOT/results/node18/solver-222522-1168080333 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/222522-1168080333/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d84118bd07d741b32fb0cf4edaf4ff41
RANDOM SEED= 687268500
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: 1059384 kB
Buffers: 70448 kB
Cached: 708832 kB
SwapCached: 0 kB
Active: 493532 kB
Inactive: 403896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1059384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 147188 kB
Slab: 83848 kB
Committed_AS: 4918844 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:41 UTC 2007