0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.33 name=/tmp/evaluation/232727-1168323947/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=16 nbDomainTypes=16 minDomainSize=187 maxDomainSize=255
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M919
0.39
0.39 predicates being loaded...
0.40
0.40 constraints being loaded...
1.14 nbConstraints=48 nbConvertedConstraints=48 nbConvertConstraintsChecks=2234052 nbExtensionStructures=48
1.14 nbSharedExtensionStructures=0 nbConflictsStructures=48 nbSharedConflictsStructures=0
1.14 nbSharedBinaryRepresentations=10885 maxDegree=6 maxArity=2
1.14 => wckTime=0.838 cpuTime=0.81 mem=9M844
1.17
1.17 solver IterativeSystematicSolver being built...
1.33 => wckTime=1.029 cpuTime=0.93 mem=14M89
1.55
1.55 preprocessing
1.55 nbConstraintChecks=4620358 nbPropagations=4502 nbRevisions=15369 nbUselessRevisions=7833 nbSingletonTests=474
1.55 nbEffectiveSingletonTests=54 nbESACBranches=161 nbRemovedValues=54 detectedInconsistency=no
1.55 => wckTime=0.223 cpuTime=0.2 mem=14M89
1.67
1.67 search
1.67 run=0 nbConstraintChecks=2594670 nbPropagations=7527 nbRevisions=26694 nbUselessRevisions=13895
1.67 nbAssignments=393 nbFailedAssignments=382 nbBacktracks=10 nbVisitedNodes=786 nbRestartNogoods=0 mapSize=10
1.67 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.344 cpuTime=0.31 mem=15M80
1.72
1.72 search
1.72 run=1 nbConstraintChecks=3764158 nbPropagations=16622 nbRevisions=59201 nbUselessRevisions=30969
1.72 nbAssignments=638 nbFailedAssignments=611 nbBacktracks=25 nbVisitedNodes=1274 nbRestartNogoods=1 mapSize=24
1.72 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.394 cpuTime=0.36 mem=15M80
1.78
1.78 search
1.78 run=2 nbConstraintChecks=5227199 nbPropagations=27418 nbRevisions=98248 nbUselessRevisions=51653
1.78 nbAssignments=853 nbFailedAssignments=785 nbBacktracks=47 nbVisitedNodes=1662 nbRestartNogoods=29 mapSize=45
1.78 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.456 cpuTime=0.42 mem=15M80
2.14
2.14 search
2.14 run=3 nbConstraintChecks=15291588 nbPropagations=50427 nbRevisions=173753 nbUselessRevisions=90098
2.14 nbAssignments=2520 nbFailedAssignments=2323 nbBacktracks=80 nbVisitedNodes=4803 nbRestartNogoods=66 mapSize=77
2.14 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.807 cpuTime=0.75 mem=15M80
2.44
2.44 search
2.44 run=4 nbConstraintChecks=25384364 nbPropagations=86369 nbRevisions=284025 nbUselessRevisions=144853
2.44 nbAssignments=4265 nbFailedAssignments=4018 nbBacktracks=130 nbVisitedNodes=8293 nbRestartNogoods=66
2.44 mapSize=127 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=1.112 cpuTime=1.06 mem=15M80
2.53
2.53 search
2.53 run=5 nbConstraintChecks=28373274 nbPropagations=125758 nbRevisions=405410 nbUselessRevisions=205250
2.53 nbAssignments=4710 nbFailedAssignments=4433 nbBacktracks=161 nbVisitedNodes=9183 nbRestartNogoods=66
2.53 mapSize=157 nbInferences=0 nbTooLargeKeys=0
2.53 => wckTime=1.202 cpuTime=1.15 mem=15M80
2.53
2.53 global
2.53 nbConstraintChecks=32993632 nbPropagations=130260 nbRevisions=420779 nbUselessRevisions=213083
2.53 nbRestartNogoods=66 solvingWckTime=1.203 solvingCpuTime=1.15 expiredTime=no totalExploration=yes
2.53 nbFoundSolutions=0 globalCpuTime=2.12
2.53 => wckTime=2.236 cpuTime=2.08 mem=15M80
2.53
2.53 s UNSATISFIABLE
2.53 d NODES 4710
2.53 d CHECKS 32993632
2.53
2.53 totalWckTime=2.311 totalCpuTime=2.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-232727-1168323947 -o ROOT/results/node52/solver-232727-1168323947 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232727-1168323947/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.76 1.52 1.72 5/69 26707
/proc/meminfo: memFree=1479632/2055920 swapFree=4192812/4192956
[pid=26706] ppid=26703 vsize=172 CPUtime=0
/proc/26706/stat : 26706 (java) R 26703 26706 25901 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 180793394 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4309291 0 0 4096 0 0 0 0 17 0 0 0
/proc/26706/statm: 43 24 18 14 0 3 0
[startup+0.105422 s]
/proc/loadavg: 0.76 1.52 1.72 5/69 26707
/proc/meminfo: memFree=1479632/2055920 swapFree=4192812/4192956
[pid=26706] ppid=26703 vsize=914988 CPUtime=0.08
/proc/26706/stat : 26706 (java) R 26703 26706 25901 0 -1 0 3046 0 1 0 7 1 0 0 22 0 8 0 180793394 936947712 2792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476988 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26706/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513446 s]
/proc/loadavg: 0.76 1.52 1.72 5/69 26707
/proc/meminfo: memFree=1479632/2055920 swapFree=4192812/4192956
[pid=26706] ppid=26703 vsize=915328 CPUtime=0.5
/proc/26706/stat : 26706 (java) R 26703 26706 25901 0 -1 0 6448 0 1 0 46 4 0 0 16 0 8 0 180793394 937295872 6187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073580627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26706/statm: 228832 6187 2166 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3345 s]
/proc/loadavg: 0.76 1.52 1.72 2/75 26715
/proc/meminfo: memFree=1462496/2055920 swapFree=4192812/4192956
[pid=26706] ppid=26703 vsize=915452 CPUtime=1.31
/proc/26706/stat : 26706 (java) R 26703 26706 25901 0 -1 0 8477 0 1 0 126 5 0 0 16 0 8 0 180793394 937422848 8214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26706/statm: 228863 8214 2538 14 0 215333 0
[pid=26706/tid=26709] ppid=26703 vsize=915452 CPUtime=0.02
/proc/26706/task/26709/stat : 26709 (java) S 26703 26706 25901 0 -1 64 311 0 0 0 2 0 0 0 16 0 8 0 180793398 937422848 8214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26706/tid=26710] ppid=26703 vsize=915452 CPUtime=0
/proc/26706/task/26710/stat : 26710 (java) S 26703 26706 25901 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180793398 937422848 8214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26706/tid=26711] ppid=26703 vsize=915452 CPUtime=0
/proc/26706/task/26711/stat : 26711 (java) S 26703 26706 25901 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180793398 937422848 8214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26706/tid=26712] ppid=26703 vsize=915452 CPUtime=0
/proc/26706/task/26712/stat : 26712 (java) S 26703 26706 25901 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 180793401 937422848 8214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26706/tid=26713] ppid=26703 vsize=915452 CPUtime=0.11
/proc/26706/task/26713/stat : 26713 (java) S 26703 26706 25901 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 180793401 937422848 8214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26706/tid=26714] ppid=26703 vsize=915452 CPUtime=0
/proc/26706/task/26714/stat : 26714 (java) S 26703 26706 25901 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180793401 937422848 8214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26706/tid=26715] ppid=26703 vsize=915452 CPUtime=0
/proc/26706/task/26715/stat : 26715 (java) S 26703 26706 25901 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 180793401 937422848 8214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 2.63143
CPU time (s): 2.53061
CPU user time (s): 2.45063
CPU system time (s): 0.079987
CPU usage (%): 96.1686
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.45063
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8735
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= 770
involuntary context switches= 203
runsolver used 0.004999 s user time and 0.014997 s system time
The end
Begin job on node52 on Tue Jan 9 06:25:48 UTC 2007
IDJOB= 232727
IDBENCH= 6548
FILE ID= node52/232727-1168323947
PBS_JOBID= 3502918
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-4/os-taillard-4-95-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232727-1168323947/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-232727-1168323947 -o ROOT/results/node52/solver-232727-1168323947 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232727-1168323947/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 47e575d2887d6b0f285692c2f4055baa
RANDOM SEED= 52599126
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.232
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.232
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: 1478648 kB
Buffers: 74024 kB
Cached: 422172 kB
SwapCached: 0 kB
Active: 212220 kB
Inactive: 304088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1478648 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4672 kB
Writeback: 0 kB
Mapped: 30288 kB
Slab: 46532 kB
Committed_AS: 4221604 kB
PageTables: 1704 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= 66557 MiB
End job on node52 on Tue Jan 9 06:25:53 UTC 2007