0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/198861-1168131038/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.49 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=37
0.49 => wckTime=0.169 cpuTime=0.14 mem=7M861
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
1.26 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=168061 nbExtensionStructures=173
1.26 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930
1.26 nbSharedBinaryRepresentations=10303 maxDegree=62 maxArity=2
1.26 => wckTime=0.936 cpuTime=0.76 mem=29M317
1.34
1.34 solver IterativeSystematicSolver being built...
1.54 => wckTime=1.219 cpuTime=0.93 mem=20M363
1.77
1.77 preprocessing
1.77 nbConstraintChecks=280381 nbPropagations=5510 nbRevisions=15316 nbUselessRevisions=8221 nbSingletonTests=739
1.77 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=4328 detectedInconsistency=no
1.77 => wckTime=0.222 cpuTime=0.19 mem=20M363
1.82
1.82 search
1.82 run=0 nbConstraintChecks=29938 nbPropagations=5990 nbRevisions=17487 nbUselessRevisions=9326 nbAssignments=40
1.82 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.82 nbTooLargeKeys=0
1.82 => wckTime=0.281 cpuTime=0.23 mem=20M363
1.86
1.86 search
1.86 run=1 nbConstraintChecks=97261 nbPropagations=12816 nbRevisions=40465 nbUselessRevisions=21692
1.86 nbAssignments=124 nbFailedAssignments=50 nbBacktracks=26 nbVisitedNodes=188 nbRestartNogoods=1 mapSize=13
1.86 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.318 cpuTime=0.26 mem=21M337
1.90
1.90 search
1.90 run=2 nbConstraintChecks=198359 nbPropagations=20548 nbRevisions=69569 nbUselessRevisions=36517
1.90 nbAssignments=218 nbFailedAssignments=96 nbBacktracks=48 nbVisitedNodes=339 nbRestartNogoods=4 mapSize=24
1.90 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.361 cpuTime=0.3 mem=21M337
1.95
1.95 search
1.95 run=3 nbConstraintChecks=324687 nbPropagations=29322 nbRevisions=107728 nbUselessRevisions=55975
1.95 nbAssignments=326 nbFailedAssignments=156 nbBacktracks=82 nbVisitedNodes=524 nbRestartNogoods=7 mapSize=41
1.95 nbInferences=0 nbTooLargeKeys=0
1.95 => wckTime=0.407 cpuTime=0.35 mem=21M337
2.01
2.01 search
2.01 run=4 nbConstraintChecks=494245 nbPropagations=39694 nbRevisions=159221 nbUselessRevisions=83404
2.01 nbAssignments=465 nbFailedAssignments=235 nbBacktracks=133 nbVisitedNodes=768 nbRestartNogoods=14 mapSize=66
2.01 nbInferences=5 nbTooLargeKeys=0
2.01 => wckTime=0.466 cpuTime=0.41 mem=21M337
2.11
2.11 search
2.11 run=5 nbConstraintChecks=799064 nbPropagations=52712 nbRevisions=231443 nbUselessRevisions=121029
2.11 nbAssignments=712 nbFailedAssignments=376 nbBacktracks=208 nbVisitedNodes=1184 nbRestartNogoods=32 mapSize=104
2.11 nbInferences=13 nbTooLargeKeys=0
2.11 => wckTime=0.567 cpuTime=0.51 mem=22M311
2.24
2.24 search
2.24 run=6 nbConstraintChecks=1143588 nbPropagations=68630 nbRevisions=328114 nbUselessRevisions=171006
2.24 nbAssignments=1018 nbFailedAssignments=559 nbBacktracks=321 nbVisitedNodes=1729 nbRestartNogoods=42
2.24 mapSize=158 nbInferences=21 nbTooLargeKeys=0
2.24 => wckTime=0.692 cpuTime=0.63 mem=22M311
2.45
2.45 search
2.45 run=7 nbConstraintChecks=1781222 nbPropagations=90185 nbRevisions=467240 nbUselessRevisions=241467
2.45 nbAssignments=1506 nbFailedAssignments=829 nbBacktracks=491 nbVisitedNodes=2593 nbRestartNogoods=53
2.45 mapSize=243 nbInferences=64 nbTooLargeKeys=0
2.45 => wckTime=0.91 cpuTime=0.83 mem=23M285
2.50
2.50 search
2.50 run=8 nbConstraintChecks=1904288 nbPropagations=112880 nbRevisions=614563 nbUselessRevisions=316296
2.50 nbAssignments=1583 nbFailedAssignments=860 nbBacktracks=524 nbVisitedNodes=2727 nbRestartNogoods=55
2.50 mapSize=259 nbInferences=78 nbTooLargeKeys=0
2.50 => wckTime=0.956 cpuTime=0.87 mem=23M285
2.50
2.50 global
2.50 nbConstraintChecks=2184669 nbPropagations=118390 nbRevisions=629879 nbUselessRevisions=324517
2.50 nbRestartNogoods=55 solvingWckTime=0.957 solvingCpuTime=0.87 expiredTime=no totalExploration=yes
2.50 nbFoundSolutions=0 globalCpuTime=1.85
2.50 => wckTime=2.179 cpuTime=1.81 mem=24M259
2.50
2.50 s UNSATISFIABLE
2.50 d NODES 1583
2.50 d CHECKS 2184669
2.50
2.50 totalWckTime=2.261 totalCpuTime=1.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-198861-1168131038 -o ROOT/results/node13/solver-198861-1168131038 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198861-1168131038/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.92 1.97 1.91 4/86 23209
/proc/meminfo: memFree=1384536/2055920 swapFree=4192812/4192956
[pid=23208] ppid=23206 vsize=18540 CPUtime=0
/proc/23208/stat : 23208 (runsolver) R 23206 23208 22787 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161498890 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23208/statm: 4635 279 244 17 0 2626 0
[startup+0.103109 s]
/proc/loadavg: 1.92 1.97 1.91 4/86 23209
/proc/meminfo: memFree=1384536/2055920 swapFree=4192812/4192956
[pid=23208] ppid=23206 vsize=913236 CPUtime=0.08
/proc/23208/stat : 23208 (java) R 23206 23208 22787 0 -1 0 2920 0 1 0 6 2 0 0 17 0 8 0 161498890 935153664 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23208/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.512173 s]
/proc/loadavg: 1.92 1.97 1.91 4/86 23209
/proc/meminfo: memFree=1384536/2055920 swapFree=4192812/4192956
[pid=23208] ppid=23206 vsize=915328 CPUtime=0.48
/proc/23208/stat : 23208 (java) R 23206 23208 22787 0 -1 0 6460 0 1 0 43 5 0 0 18 0 8 0 161498890 937295872 6199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23208/statm: 228832 6199 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33527 s]
/proc/loadavg: 1.92 1.97 1.91 4/93 23216
/proc/meminfo: memFree=1348832/2055920 swapFree=4192812/4192956
[pid=23208] ppid=23206 vsize=915720 CPUtime=1.3
/proc/23208/stat : 23208 (java) R 23206 23208 22787 0 -1 0 12713 0 1 0 104 26 0 0 24 0 8 0 161498890 937697280 12450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23208/statm: 228930 12450 2185 14 0 215400 0
[pid=23208/tid=23210] ppid=23206 vsize=915720 CPUtime=0.06
/proc/23208/task/23210/stat : 23210 (java) S 23206 23208 22787 0 -1 64 864 0 0 0 6 0 0 0 16 0 8 0 161498894 937697280 12450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23208/tid=23211] ppid=23206 vsize=915720 CPUtime=0
/proc/23208/task/23211/stat : 23211 (java) S 23206 23208 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161498895 937697280 12450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23208/tid=23212] ppid=23206 vsize=915720 CPUtime=0
/proc/23208/task/23212/stat : 23212 (java) S 23206 23208 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161498895 937697280 12450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23208/tid=23213] ppid=23206 vsize=915720 CPUtime=0
/proc/23208/task/23213/stat : 23213 (java) S 23206 23208 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161498898 937697280 12450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23208/tid=23214] ppid=23206 vsize=915720 CPUtime=0.21
/proc/23208/task/23214/stat : 23214 (java) R 23206 23208 22787 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 161498898 937697280 12450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153482432 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23208/tid=23215] ppid=23206 vsize=915720 CPUtime=0
/proc/23208/task/23215/stat : 23215 (java) S 23206 23208 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161498898 937697280 12450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23208/tid=23216] ppid=23206 vsize=915720 CPUtime=0
/proc/23208/task/23216/stat : 23216 (java) S 23206 23208 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161498898 937697280 12450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915720
Child status: 0
Real time (s): 2.54652
CPU time (s): 2.47762
CPU user time (s): 2.19067
CPU system time (s): 0.286956
CPU usage (%): 97.2945
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.19067
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13207
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= 1438
involuntary context switches= 1570
runsolver used 0.005999 s user time and 0.016997 s system time
The end
Begin job on node13 on Sun Jan 7 00:50:39 UTC 2007
IDJOB= 198861
IDBENCH= 3579
FILE ID= node13/198861-1168131038
PBS_JOBID= 3477728
Free space on /tmp= 66316 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198861-1168131038/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-198861-1168131038 -o ROOT/results/node13/solver-198861-1168131038 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198861-1168131038/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e4658453aeec06ccf8a04dbfac7676d7
RANDOM SEED= 505637746
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.247
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.247
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: 1384952 kB
Buffers: 47384 kB
Cached: 370544 kB
SwapCached: 0 kB
Active: 289480 kB
Inactive: 302856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1384952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2236 kB
Writeback: 0 kB
Mapped: 196752 kB
Slab: 63156 kB
Committed_AS: 4058436 kB
PageTables: 2588 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= 66316 MiB
End job on node13 on Sun Jan 7 00:50:42 UTC 2007