0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/213195-1168225442/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.133 cpuTime=0.11 mem=7M50
0.46
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
0.85 nbConstraints=1395 nbMergedConstraints=5 nbConvertedConstraints=207 nbConvertConstraintsChecks=28
0.85 nbExtensionStructures=3 nbSharedExtensionStructures=204 nbConflictsStructures=5 nbSharedConflictsStructures=1390
0.85 nbSharedBinaryRepresentations=9 nbEvaluationManagers=2 nbSharedEvaluationManagers=1186 maxDegree=10 maxArity=3
0.85 => wckTime=0.523 cpuTime=0.39 mem=15M827
0.90
0.90 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.809 cpuTime=0.58 mem=23M201
1.29
1.29 preprocessing
1.29 nbConstraintChecks=4666 nbValidityChecks=1262 nbPropagations=2131 nbRevisions=4585 nbUselessRevisions=3076
1.29 nbSingletonTests=447 nbEffectiveSingletonTests=0 nbESACBranches=17 nbRemovedValues=0 detectedInconsistency=no
1.29 => wckTime=0.144 cpuTime=0.1 mem=23M201
1.32
1.32 search
1.32 run=0 nbConstraintChecks=569 nbValidityChecks=307 nbPropagations=2320 nbRevisions=5152 nbUselessRevisions=3435
1.32 nbAssignments=45 nbFailedAssignments=2 nbBacktracks=11 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=2
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.182 cpuTime=0.13 mem=23M201
1.34
1.34 search
1.34 run=1 nbConstraintChecks=2032 nbValidityChecks=1419 nbPropagations=5113 nbRevisions=11997
1.34 nbUselessRevisions=8015 nbAssignments=143 nbFailedAssignments=8 nbBacktracks=56 nbVisitedNodes=157
1.34 nbRestartNogoods=1 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.205 cpuTime=0.15 mem=23M201
1.37
1.37 search
1.37 run=2 nbConstraintChecks=3745 nbValidityChecks=2825 nbPropagations=8646 nbRevisions=20926
1.37 nbUselessRevisions=14058 nbAssignments=452 nbFailedAssignments=11 nbBacktracks=85 nbVisitedNodes=238
1.37 nbRestartNogoods=5 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.232 cpuTime=0.17 mem=23M201
1.38
1.38 search
1.38 run=3 nbConstraintChecks=3938 nbValidityChecks=2964 nbPropagations=12273 nbRevisions=30060
1.38 nbUselessRevisions=20199 nbAssignments=501 nbFailedAssignments=13 nbBacktracks=118 nbVisitedNodes=291
1.38 nbRestartNogoods=6 mapSize=17 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.24 cpuTime=0.18 mem=23M201
1.40
1.40 search
1.40 run=4 nbConstraintChecks=5927 nbValidityChecks=4883 nbPropagations=16610 nbRevisions=41812
1.40 nbUselessRevisions=28080 nbAssignments=603 nbFailedAssignments=20 nbBacktracks=170 nbVisitedNodes=408
1.40 nbRestartNogoods=7 mapSize=29 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.264 cpuTime=0.2 mem=23M201
1.44
1.44 search
1.44 run=5 nbConstraintChecks=8805 nbValidityChecks=7671 nbPropagations=22092 nbRevisions=57420
1.44 nbUselessRevisions=38549 nbAssignments=826 nbFailedAssignments=39 nbBacktracks=282 nbVisitedNodes=609
1.44 nbRestartNogoods=10 mapSize=60 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.3 cpuTime=0.24 mem=23M201
1.47
1.47 search
1.47 run=6 nbConstraintChecks=10477 nbValidityChecks=9128 nbPropagations=28301 nbRevisions=75031
1.47 nbUselessRevisions=50234 nbAssignments=1039 nbFailedAssignments=55 nbBacktracks=424 nbVisitedNodes=831
1.47 nbRestartNogoods=14 mapSize=89 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.336 cpuTime=0.27 mem=23M201
1.53
1.53 search
1.53 run=7 nbConstraintChecks=15598 nbValidityChecks=15303 nbPropagations=36595 nbRevisions=100636
1.53 nbUselessRevisions=67396 nbAssignments=1281 nbFailedAssignments=74 nbBacktracks=598 nbVisitedNodes=1093
1.53 nbRestartNogoods=17 mapSize=121 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.394 cpuTime=0.32 mem=23M201
1.60
1.60 search
1.60 run=8 nbConstraintChecks=20712 nbValidityChecks=21246 nbPropagations=47072 nbRevisions=133989
1.60 nbUselessRevisions=89752 nbAssignments=1625 nbFailedAssignments=96 nbBacktracks=870 nbVisitedNodes=1464
1.60 nbRestartNogoods=20 mapSize=154 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.467 cpuTime=0.39 mem=23M201
1.87
1.87 search
1.87 run=9 nbConstraintChecks=25810 nbValidityChecks=25758 nbPropagations=58923 nbRevisions=174063
1.87 nbUselessRevisions=117326 nbAssignments=2227 nbFailedAssignments=104 nbBacktracks=995 nbVisitedNodes=2011
1.87 nbRestartNogoods=25 mapSize=165 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.732 cpuTime=0.64 mem=23M201
1.87
1.87 global
1.87 nbConstraintChecks=30476 nbValidityChecks=27020 nbPropagations=61054 nbRevisions=178648
1.87 nbUselessRevisions=120402 nbRestartNogoods=25 solvingWckTime=0.733 solvingCpuTime=0.64 expiredTime=no
1.87 totalExploration=no nbFoundSolutions=1 globalCpuTime=1.28
1.87 => wckTime=1.543 cpuTime=1.22 mem=23M201
1.87
1.87 s SATISFIABLE
1.87 v 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1
1.87 d NODES 2227
1.87 d CHECKS 30476
1.87
1.87 totalWckTime=1.625 totalCpuTime=1.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-213195-1168225442 -o ROOT/results/node11/solver-213195-1168225442 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213195-1168225442/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.46 1.56 1.50 2/86 15327
/proc/meminfo: memFree=1768224/2055920 swapFree=4192812/4192956
[pid=15326] ppid=15324 vsize=18540 CPUtime=0
/proc/15326/stat : 15326 (runsolver) R 15324 15326 14425 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170940120 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15326/statm: 4635 279 244 17 0 2626 0
[startup+0.103225 s]
/proc/loadavg: 1.46 1.56 1.50 2/86 15327
/proc/meminfo: memFree=1768224/2055920 swapFree=4192812/4192956
[pid=15326] ppid=15324 vsize=913068 CPUtime=0.07
/proc/15326/stat : 15326 (java) S 15324 15326 14425 0 -1 0 2873 0 1 0 6 1 0 0 17 0 8 0 170940120 934981632 2619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15326/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.513305 s]
/proc/loadavg: 1.46 1.56 1.50 2/86 15327
/proc/meminfo: memFree=1768224/2055920 swapFree=4192812/4192956
[pid=15326] ppid=15324 vsize=915328 CPUtime=0.47
/proc/15326/stat : 15326 (java) R 15324 15326 14425 0 -1 0 6347 0 1 0 43 4 0 0 18 0 8 0 170940120 937295872 6086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15326/statm: 228832 6086 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33447 s]
/proc/loadavg: 1.58 1.58 1.51 3/93 15334
/proc/meminfo: memFree=1737512/2055920 swapFree=4192812/4192956
[pid=15326] ppid=15324 vsize=915576 CPUtime=1.29
/proc/15326/stat : 15326 (java) R 15324 15326 14425 0 -1 0 10750 0 1 0 115 14 0 0 24 0 8 0 170940120 937549824 10488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15326/statm: 228894 10488 2543 14 0 215364 0
[pid=15326/tid=15328] ppid=15324 vsize=915576 CPUtime=0.03
/proc/15326/task/15328/stat : 15328 (java) S 15324 15326 14425 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 170940125 937549824 10488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15326/tid=15329] ppid=15324 vsize=915576 CPUtime=0
/proc/15326/task/15329/stat : 15329 (java) S 15324 15326 14425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170940125 937549824 10488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15326/tid=15330] ppid=15324 vsize=915576 CPUtime=0
/proc/15326/task/15330/stat : 15330 (java) S 15324 15326 14425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170940125 937549824 10488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15326/tid=15331] ppid=15324 vsize=915576 CPUtime=0
/proc/15326/task/15331/stat : 15331 (java) S 15324 15326 14425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170940129 937549824 10488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15326/tid=15332] ppid=15324 vsize=915576 CPUtime=0.26
/proc/15326/task/15332/stat : 15332 (java) S 15324 15326 14425 0 -1 64 422 0 0 0 25 1 0 0 16 0 8 0 170940129 937549824 10488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15326/tid=15333] ppid=15324 vsize=915576 CPUtime=0
/proc/15326/task/15333/stat : 15333 (java) S 15324 15326 14425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170940129 937549824 10488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15326/tid=15334] ppid=15324 vsize=915576 CPUtime=0
/proc/15326/task/15334/stat : 15334 (java) S 15324 15326 14425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170940129 937549824 10488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 1.92464
CPU time (s): 1.84572
CPU user time (s): 1.68874
CPU system time (s): 0.156976
CPU usage (%): 95.8995
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.68874
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10943
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= 1357
involuntary context switches= 1524
runsolver used 0.005999 s user time and 0.012998 s system time
The end
Begin job on node11 on Mon Jan 8 03:04:07 UTC 2007
IDJOB= 213195
IDBENCH= 4829
FILE ID= node11/213195-1168225442
PBS_JOBID= 3481004
Free space on /tmp= 66340 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-6-0-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213195-1168225442/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-213195-1168225442 -o ROOT/results/node11/solver-213195-1168225442 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213195-1168225442/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 61d21028c0dfb9814b51d69054109a17
RANDOM SEED= 135752279
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.261
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 : 5931.00
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.261
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: 1768704 kB
Buffers: 43160 kB
Cached: 123780 kB
SwapCached: 0 kB
Active: 139408 kB
Inactive: 92340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1768704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 87196 kB
Slab: 40140 kB
Committed_AS: 5081556 kB
PageTables: 2344 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= 66340 MiB
End job on node11 on Mon Jan 8 03:04:15 UTC 2007