0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/216685-1168079289/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.44 nbVariables=200 nbDomainTypes=3 minDomainSize=22 maxDomainSize=42
0.44 => wckTime=0.127 cpuTime=0.1 mem=6M886
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
0.68 nbConstraints=319 nbConvertedConstraints=319 nbConvertConstraintsChecks=135276 nbExtensionStructures=96
0.68 nbSharedExtensionStructures=223 nbConflictsStructures=96 nbSharedConflictsStructures=223
0.68 nbSharedBinaryRepresentations=6430 maxDegree=10 maxArity=2
0.68 => wckTime=0.363 cpuTime=0.26 mem=9M828
0.72
0.72 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.581 cpuTime=0.41 mem=14M741
0.92
0.92 preprocessing
0.92 nbConstraintChecks=12430 nbPropagations=307 nbRevisions=354 nbUselessRevisions=95 nbRemovedValues=1146
0.92 detectedInconsistency=no
0.92 => wckTime=0.022 cpuTime=0.01 mem=14M741
0.98
0.98 search
0.98 run=0 nbConstraintChecks=25395 nbPropagations=941 nbRevisions=2156 nbUselessRevisions=970 nbAssignments=82
0.98 nbFailedAssignments=36 nbBacktracks=11 nbVisitedNodes=125 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.078 cpuTime=0.04 mem=15M733
0.99
0.99 search
0.99 run=1 nbConstraintChecks=46978 nbPropagations=2440 nbRevisions=5953 nbUselessRevisions=2727 nbAssignments=147
0.99 nbFailedAssignments=86 nbBacktracks=26 nbVisitedNodes=250 nbRestartNogoods=6 mapSize=17 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.095 cpuTime=0.06 mem=15M733
1.01
1.01 search
1.01 run=2 nbConstraintChecks=88737 nbPropagations=4986 nbRevisions=12978 nbUselessRevisions=6011 nbAssignments=251
1.01 nbFailedAssignments=167 nbBacktracks=49 nbVisitedNodes=455 nbRestartNogoods=6 mapSize=39 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.116 cpuTime=0.08 mem=15M733
1.02
1.02 search
1.02 run=3 nbConstraintChecks=112158 nbPropagations=8150 nbRevisions=22150 nbUselessRevisions=10425
1.02 nbAssignments=311 nbFailedAssignments=215 nbBacktracks=62 nbVisitedNodes=574 nbRestartNogoods=6 mapSize=51
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.126 cpuTime=0.09 mem=15M733
1.03
1.03 global
1.03 nbConstraintChecks=124588 nbPropagations=8457 nbRevisions=22504 nbUselessRevisions=10520 nbRestartNogoods=6
1.03 solvingWckTime=0.127 solvingCpuTime=0.09 expiredTime=no totalExploration=yes nbFoundSolutions=0
1.03 globalCpuTime=0.56
1.03 => wckTime=0.71 cpuTime=0.51 mem=15M733
1.03
1.03 s UNSATISFIABLE
1.03 d NODES 311
1.03 d CHECKS 124588
1.03
1.03 totalWckTime=0.792 totalCpuTime=0.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-216685-1168079289 -o ROOT/results/node18/solver-216685-1168079289 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216685-1168079289/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.90 1.99 1.96 2/93 23282
/proc/meminfo: memFree=1031704/2055920 swapFree=4192812/4192956
[pid=23281] ppid=23279 vsize=18540 CPUtime=0
/proc/23281/stat : 23281 (runsolver) R 23279 23281 23158 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156323578 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23281/statm: 4635 279 244 17 0 2626 0
[startup+0.102776 s]
/proc/loadavg: 1.90 1.99 1.96 2/93 23282
/proc/meminfo: memFree=1031704/2055920 swapFree=4192812/4192956
[pid=23281] ppid=23279 vsize=914988 CPUtime=0.08
/proc/23281/stat : 23281 (java) R 23279 23281 23158 0 -1 0 2985 0 1 0 7 1 0 0 20 0 8 0 156323578 936947712 2731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8063463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23281/statm: 228747 2731 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510813 s]
/proc/loadavg: 1.90 1.99 1.96 2/93 23282
/proc/meminfo: memFree=1031704/2055920 swapFree=4192812/4192956
[pid=23281] ppid=23279 vsize=915328 CPUtime=0.49
/proc/23281/stat : 23281 (java) R 23279 23281 23158 0 -1 0 6373 0 1 0 45 4 0 0 19 0 8 0 156323578 937295872 6112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23281/statm: 228832 6112 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
Child status: 0
Real time (s): 1.08752
CPU time (s): 1.02984
CPU user time (s): 0.943856
CPU system time (s): 0.085986
CPU usage (%): 94.6961
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.943856
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8893
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= 947
involuntary context switches= 1086
runsolver used 0.002999 s user time and 0.008998 s system time
The end
Begin job on node18 on Sat Jan 6 10:28:09 UTC 2007
IDJOB= 216685
IDBENCH= 5095
FILE ID= node18/216685-1168079289
PBS_JOBID= 3475834
Free space on /tmp= 66283 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen6-w1-f2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216685-1168079289/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-216685-1168079289 -o ROOT/results/node18/solver-216685-1168079289 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216685-1168079289/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6fbd240d740bc22047b5cfdb2c43f8c9
RANDOM SEED= 844720210
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: 1032120 kB
Buffers: 69940 kB
Cached: 703152 kB
SwapCached: 0 kB
Active: 526440 kB
Inactive: 398476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1032120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2052 kB
Writeback: 0 kB
Mapped: 180876 kB
Slab: 83592 kB
Committed_AS: 4822492 kB
PageTables: 2300 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= 66283 MiB
End job on node18 on Sat Jan 6 10:28:10 UTC 2007