0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/222768-1168264875/unknown.xml
0.36
0.36 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=106 nbDomainTypes=102 minDomainSize=2 maxDomainSize=6
0.42 => wckTime=0.122 cpuTime=0.1 mem=6M886
0.42
0.42 relations being loaded...
0.45
0.45 constraints being loaded...
0.60 nbConstraints=591 nbRelationTypes=155 nbExtensionStructures=582 nbSharedExtensionStructures=9
0.60 nbConflictsStructures=582 nbSharedConflictsStructures=9 nbSharedBinaryRepresentations=4222 maxDegree=14
0.60 maxArity=2
0.60 => wckTime=0.301 cpuTime=0.2 mem=10M852
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.503 cpuTime=0.33 mem=14M932
0.86
0.86 preprocessing
0.86 nbConstraintChecks=7687 nbPropagations=1003 nbRevisions=2803 nbUselessRevisions=1718 nbSingletonTests=128
0.86 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.86 => wckTime=0.053 cpuTime=0.03 mem=14M932
0.89
0.89 search
0.89 run=0 nbConstraintChecks=2227 nbPropagations=1261 nbRevisions=3705 nbUselessRevisions=2271 nbAssignments=54
0.89 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=63 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.081 cpuTime=0.05 mem=14M932
0.89
0.90 search
0.90 run=1 nbConstraintChecks=4858 nbPropagations=2754 nbRevisions=8439 nbUselessRevisions=5133 nbAssignments=87
0.90 nbFailedAssignments=8 nbBacktracks=28 nbVisitedNodes=103 nbRestartNogoods=1 mapSize=13 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.089 cpuTime=0.06 mem=14M932
0.90
0.90 search
0.90 run=2 nbConstraintChecks=8189 nbPropagations=4586 nbRevisions=14438 nbUselessRevisions=8685 nbAssignments=140
0.90 nbFailedAssignments=16 nbBacktracks=54 nbVisitedNodes=172 nbRestartNogoods=2 mapSize=27 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.097 cpuTime=0.06 mem=14M932
0.91
0.91 search
0.91 run=3 nbConstraintChecks=12496 nbPropagations=6828 nbRevisions=22055 nbUselessRevisions=13120
0.91 nbAssignments=204 nbFailedAssignments=23 nbBacktracks=92 nbVisitedNodes=248 nbRestartNogoods=4 mapSize=45
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.105 cpuTime=0.07 mem=14M932
0.92
0.92 search
0.92 run=4 nbConstraintChecks=19314 nbPropagations=9622 nbRevisions=32558 nbUselessRevisions=19338
0.92 nbAssignments=284 nbFailedAssignments=30 nbBacktracks=148 nbVisitedNodes=352 nbRestartNogoods=5 mapSize=66
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.117 cpuTime=0.08 mem=14M932
0.94
0.94 search
0.94 run=5 nbConstraintChecks=26808 nbPropagations=13079 nbRevisions=45974 nbUselessRevisions=27220
0.94 nbAssignments=394 nbFailedAssignments=48 nbBacktracks=230 nbVisitedNodes=497 nbRestartNogoods=8 mapSize=97
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.132 cpuTime=0.09 mem=14M932
0.96
0.96 search
0.96 run=6 nbConstraintChecks=38992 nbPropagations=17557 nbRevisions=64505 nbUselessRevisions=38189
0.96 nbAssignments=546 nbFailedAssignments=73 nbBacktracks=343 nbVisitedNodes=699 nbRestartNogoods=10 mapSize=143
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.15 cpuTime=0.11 mem=14M932
0.98
0.98 search
0.98 run=7 nbConstraintChecks=56111 nbPropagations=23524 nbRevisions=90293 nbUselessRevisions=53616
0.98 nbAssignments=785 nbFailedAssignments=99 nbBacktracks=519 nbVisitedNodes=987 nbRestartNogoods=14 mapSize=202
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.173 cpuTime=0.13 mem=14M932
1.02
1.02 search
1.02 run=8 nbConstraintChecks=85480 nbPropagations=32152 nbRevisions=128266 nbUselessRevisions=76365
1.02 nbAssignments=1140 nbFailedAssignments=156 nbBacktracks=783 nbVisitedNodes=1450 nbRestartNogoods=19
1.02 mapSize=322 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.211 cpuTime=0.17 mem=15M908
1.08
1.08 search
1.08 run=9 nbConstraintChecks=134796 nbPropagations=44691 nbRevisions=185623 nbUselessRevisions=110371
1.08 nbAssignments=1633 nbFailedAssignments=259 nbBacktracks=1167 nbVisitedNodes=2152 nbRestartNogoods=22
1.08 mapSize=509 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.278 cpuTime=0.23 mem=15M908
1.17
1.17 search
1.17 run=10 nbConstraintChecks=209821 nbPropagations=63393 nbRevisions=275806 nbUselessRevisions=165631
1.17 nbAssignments=2348 nbFailedAssignments=382 nbBacktracks=1746 nbVisitedNodes=3113 nbRestartNogoods=26
1.17 mapSize=746 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.363 cpuTime=0.29 mem=15M908
1.22
1.22 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=15M908)
1.25
1.25 search
1.25 run=11 nbConstraintChecks=325100 nbPropagations=91362 nbRevisions=416622 nbUselessRevisions=253282
1.25 nbAssignments=3425 nbFailedAssignments=578 nbBacktracks=2610 nbVisitedNodes=4628 nbRestartNogoods=29
1.25 => wckTime=0.449 cpuTime=0.38 mem=15M908
1.38
1.38 search
1.38 run=12 nbConstraintChecks=506935 nbPropagations=133790 nbRevisions=637620 nbUselessRevisions=391732
1.38 nbAssignments=5042 nbFailedAssignments=874 nbBacktracks=3916 nbVisitedNodes=6940 nbRestartNogoods=35
1.38 => wckTime=0.57 cpuTime=0.5 mem=15M908
1.38
1.38 search
1.38 run=13 nbConstraintChecks=510508 nbPropagations=176520 nbRevisions=859975 nbUselessRevisions=531124
1.38 nbAssignments=5152 nbFailedAssignments=877 nbBacktracks=3917 nbVisitedNodes=7054 nbRestartNogoods=37
1.38 => wckTime=0.577 cpuTime=0.5 mem=15M908
1.38
1.38 global
1.38 nbConstraintChecks=518195 nbPropagations=177523 nbRevisions=862778 nbUselessRevisions=532842
1.38 nbRestartNogoods=37 solvingWckTime=0.578 solvingCpuTime=0.5 expiredTime=no totalExploration=no
1.38 nbFoundSolutions=1 globalCpuTime=0.88
1.38 => wckTime=1.083 cpuTime=0.83 mem=15M908
1.39
1.39 s SATISFIABLE
1.39 v 5 8 9 4 10 7 12 0 11 2 6 12 5 7 8 10 7 11 13 4 8 6 9 12 4 14 2 6 11 6 9 0 13 2 3 11 10 11 5 14 6 9 2 5 12 9 14 8 13 3 5 13 4 6 11 0 9 8 10 14 3 2 7 1 9 11 7 2 10 13 1 13 1 8 11 12 14 7 12 6 13 11 0 9 8 1 0 8 12 13 2 5 6 11 13 10 14 2 3 2 8 9 0 14 12 10
1.39 d NODES 5152
1.39 d CHECKS 518195
1.39
1.39 totalWckTime=1.158 totalCpuTime=0.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-222768-1168264875 -o ROOT/results/node17/solver-222768-1168264875 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222768-1168264875/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.08 0.28 0.92 3/87 25384
/proc/meminfo: memFree=1644112/2055920 swapFree=4192812/4192956
[pid=25383] ppid=25381 vsize=1452 CPUtime=0
/proc/25383/stat : 25383 (java) R 25381 25383 24168 0 -1 0 101 0 0 0 0 0 0 0 19 0 1 0 174883170 1486848 74 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 3760043 0 0 4096 0 0 0 0 17 1 0 0
/proc/25383/statm: 363 80 62 14 0 8 0
[startup+0.104847 s]
/proc/loadavg: 0.08 0.28 0.92 3/87 25384
/proc/meminfo: memFree=1644112/2055920 swapFree=4192812/4192956
[pid=25383] ppid=25381 vsize=914988 CPUtime=0.07
/proc/25383/stat : 25383 (java) R 25381 25383 24168 0 -1 0 2964 0 1 0 5 2 0 0 16 0 8 0 174883170 936947712 2710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25383/statm: 228747 2710 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.512891 s]
/proc/loadavg: 0.08 0.28 0.92 3/87 25384
/proc/meminfo: memFree=1644112/2055920 swapFree=4192812/4192956
[pid=25383] ppid=25381 vsize=915328 CPUtime=0.49
/proc/25383/stat : 25383 (java) R 25381 25383 24168 0 -1 0 6396 0 1 0 43 6 0 0 16 0 8 0 174883170 937295872 6135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552365 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25383/statm: 228832 6136 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33597 s]
/proc/loadavg: 0.15 0.29 0.92 2/94 25391
/proc/meminfo: memFree=1619928/2055920 swapFree=4192812/4192956
[pid=25383] ppid=25381 vsize=915556 CPUtime=1.32
/proc/25383/stat : 25383 (java) R 25381 25383 24168 0 -1 0 8838 0 1 0 123 9 0 0 17 0 8 0 174883170 937529344 8576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850071 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25383/statm: 228889 8576 2524 14 0 215359 0
[pid=25383/tid=25385] ppid=25381 vsize=915556 CPUtime=0.03
/proc/25383/task/25385/stat : 25385 (java) S 25381 25383 24168 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 174883174 937529344 8576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25383/tid=25386] ppid=25381 vsize=915556 CPUtime=0
/proc/25383/task/25386/stat : 25386 (java) S 25381 25383 24168 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174883175 937529344 8576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25383/tid=25387] ppid=25381 vsize=915556 CPUtime=0
/proc/25383/task/25387/stat : 25387 (java) S 25381 25383 24168 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174883175 937529344 8576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25383/tid=25388] ppid=25381 vsize=915556 CPUtime=0
/proc/25383/task/25388/stat : 25388 (java) S 25381 25383 24168 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174883178 937529344 8576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25383/tid=25389] ppid=25381 vsize=915556 CPUtime=0.25
/proc/25383/task/25389/stat : 25389 (java) S 25381 25383 24168 0 -1 64 407 0 0 0 23 2 0 0 16 0 8 0 174883178 937529344 8576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25383/tid=25390] ppid=25381 vsize=915556 CPUtime=0
/proc/25383/task/25390/stat : 25390 (java) S 25381 25383 24168 0 -1 64 1 0 0 0 0 0 0 0 16 0 8 0 174883178 937529344 8576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25383/tid=25391] ppid=25381 vsize=915556 CPUtime=0
/proc/25383/task/25391/stat : 25391 (java) S 25381 25383 24168 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174883178 937529344 8576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 1.44316
CPU time (s): 1.38379
CPU user time (s): 1.2858
CPU system time (s): 0.097985
CPU usage (%): 95.8857
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2858
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8934
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= 941
involuntary context switches= 178
runsolver used 0.004999 s user time and 0.010998 s system time
The end
Begin job on node17 on Mon Jan 8 14:01:17 UTC 2007
IDJOB= 222768
IDBENCH= 5559
FILE ID= node17/222768-1168264875
PBS_JOBID= 3482490
Free space on /tmp= 66327 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-15-106/bqwh-15-106-81_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222768-1168264875/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-222768-1168264875 -o ROOT/results/node17/solver-222768-1168264875 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/222768-1168264875/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d55378fe8c837fed74edf4032f0074c5
RANDOM SEED= 878125046
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.236
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.236
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: 1644720 kB
Buffers: 66196 kB
Cached: 221648 kB
SwapCached: 0 kB
Active: 201992 kB
Inactive: 144464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1644720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 78032 kB
Slab: 49404 kB
Committed_AS: 4989972 kB
PageTables: 2320 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= 66327 MiB
End job on node17 on Mon Jan 8 14:01:29 UTC 2007